Publications

2026

• Poisson-type problems with transmission conditions at boundaries of infinite metric trees
  
  • Kachanovska Maryna
  • Naderi Kiyan
  • Pankrashkin Konstantin
  Journal of Mathematical Analysis and Applications, Elsevier, 2026, 557 (1), pp.130261. The paper introduces a Poisson-type problem on a mixed-dimensional structure combining a Euclidean domain and a lower-dimensional self-similar component touching along a compact surface (interface). The lower-dimensional piece is a so-called infinite metric tree (one-dimensional branching structure), and the key ingredient of the study is a rigorous definition of the gluing conditions between the two components. These constructions are based on the recent concept of embedded trace maps and some abstract machineries derived from a suitable Green-type formula. The problem is then reduced to the study of Fredholm properties of a linear combination of Dirichlet-to-Neumann maps for the tree and the Euclidean domain, which yields desired existence and uniqueness results. One also shows that large finite sections of the tree can be used for an efficient approximation of solutions (10.1016/j.jmaa.2025.130261)
  DOI : 10.1016/j.jmaa.2025.130261
• Slip optimization on arbitrary 3D microswimmers: a reduced-dimension and boundary-integral framework
  
  • Bonnet Marc
  • Das Kausik
  • Veerapaneni Shravan
  • Zhu Hai
  , 2026. This article presents a computational framework for determining the optimal slip velocity of a microswimmer with arbitrary three-dimensional geometry suspended in a viscous fluid. The objective is to minimize the hydrodynamic power dissipation required to maintain unit speed along the net swimming direction. By exploiting the linearity of the Stokes equations and the Lorentz reciprocal theorem, we derive an explicit linear operator that maps the tangential surface slip velocity to the resulting rigid-body translational and rotational velocities, effectively decoupling the hydrodynamic boundary value problem from the optimization loop. The a priori infinite-dimensional search space for the slip optimization is reduced to the finite dimension $r$ of rigid-body motions by finding an appropriate subspace of the operator's domain. This reduces the PDE-constrained optimization to a low-dimensional programming problem that can be solved at negligible computational cost once the system matrices are assembled. The optimization algorithm requires 2$r$ auxiliary flow problems that are solved numerically using a high-order boundary integral method. We validate the accuracy of the proposed method and present optimal slip profiles and swimming trajectories for a variety of microswimmer shapes. We investigate the effect of some common geometrical symmetries of the swimmer shape on the resulting optimal motion, and in particular present a modified version of the slip optimization algorithm for axisymmetric shapes, where tangential rigid-body velocities may occur
• A posteriori error estimates for mixed finite element discretization of the multigroup Neutron Simplified Transport equations with Robin boundary condition
  
  • Ciarlet Patrick
  • Do Minh-Hieu
  • Gervais Mario
  • Madiot François
  , 2026. We analyse a posteriori error estimates for the discretization with mixed finite elements on simplicial or Cartesian meshes of the multigroup neutron simplified transport (SPN ) equations, in the case where a Robin (or Fourier type) boundary condition is imposed on the boundary. This boundary condition is of particular importance in neutronics, since it corresponds to the well-known vacuum boundary condition. We provide guaranteed and locally efficient estimators. In particular, a specific estimator is designed to handle the Robin boundary condition. We also develop the theory in the case of mixed imposed boundary conditions, of Dirichlet, Neumann or Fourier type. The approach is further extended to a Domain Decomposition Method, the so-called DD+L 2 jumps method. In this framework, the adaptive mesh refinement strategy is implemented for a discretization using Cartesian meshes on each subdomain. Numerical experiments illustrate the theory.
• Analysis of a two-level domain decomposition preconditioner for the time-harmonic Maxwell equations in anisotropic media
  
  • Bonazzoli Marcella
  • Ciarlet Patrick
  • Modave Axel
  • Rappaport Ari
  , 2026. We analyze a domain decomposition preconditioner, namely a two-level additive Schwarz method, for the time-harmonic Maxwell equations in anisotropic media. The material law is described by a tensor-valued electric permittivity ε, magnetic permeability µ and conductivity σ which are assumed to be uniformly symmetric positive definite in the physical domain. Convergence estimates for the preconditioned GMRES solver are obtained through bounds on the norm and the field-of-values (FOV) of the preconditioned operator. Our purpose is to extend the convergence analysis available for scalar and constant coefficients established in Bonazzoli et al. [5] to this tensorial setting. While the overall argument follows the additive Schwarz framework therein, the anisotropic case requires substantial new ingredients. Among these are a coefficient-weighted discrete Helmholtz decomposition, regularity estimates adapted to the anisotropic setting, and a stronger "high frequency regime" assumption. The latter allows control of unsigned terms that vanish via orthogonality in the scalar case. These tools are crucial for the main technical result: bounding the FOV away from the origin through estimates explicit in the frequency and anisotropy parameters, under suitable resolution assumptions.
• Exponential twist of probability measures: drift correction in term of a generalized gradient
  
  • Bourdais Thibaut
  • Oudjane Nadia
  • Russo Francesco
  , 2026. In this paper we study the exponential twist, i.e. a path-integral exponential change of measure, of a Markovian reference probability measure $\P$. This type of transformation naturally appears in variational representation formulae originating from the theory of large deviations and can be interpreted in some cases, as the solution of a specific stochastic control problem. Under a very general Markovian assumption on $\P$, we fully characterize the exponential twist probability measure as the solution of a martingale problem and prove that it inherits the Markov property of the reference measure. The ''generator'' of the martingale problem shows a drift depending on a {\it generalized gradient} of some suitable {\it value function} $v$.
• High-Resolution Inertial Dynamics with Time-Rescaled Gradients for Nonsmooth Convex Optimization
  
  • Le Manh Hung
  • Simonetto Andrea
  , 2026. We study nonsmooth convex minimization through a continuous-time dynamical system that can be seen as a high-resolution ODE of Nesterov Accelerated Gradient (NAG) adapted to the nonsmooth case. We apply a time-varying Moreau envelope smoothing to a proper convex lower semicontinuous objective function and introduce a controlled time-rescaling of the gradient, coupled with a Hessian-driven damping term, leading to our proposed inertial dynamic. We provide a well-posedness result for this dynamical system, and construct a Lyapunov energy function capturing the combined effects of inertia, damping, and smoothing. For an appropriate scaling, the energy dissipates and yields fast decay of the objective function and gradient, stabilization of velocities, and weak convergence of trajectories to minimizers under mild assumptions. Conceptually, the system is a nonsmooth high-resolution model of Nesterov's method that clarifies how time-varying smoothing and time rescaling jointly govern acceleration and stability. We further extend the framework to the setting of maximally monotone operators, for which we propose and analyze a corresponding dynamical system and establish analogous convergence results. We also present numerical experiments illustrating the effect of the main parameters and comparing the proposed system with several benchmark dynamics. (10.48550/arXiv.2603.25401)
  DOI : 10.48550/arXiv.2603.25401
• Waves within a network of slowly time-modulated interfaces: time-dependent effective properties, reciprocity and high-order dispersion
  
  • Darche Michaël
  • Assier Raphaël
  • Guenneau Sebastien
  • Lombard Bruno
  • Touboul Marie
  , 2026. We consider wave propagation through a 1D periodic network of slowly time-modulated interfaces. Each interface is modelled by time-dependent spring-mass jump conditions, where mass and rigidity interface parameters are modulated in time. Low-frequency homogenisation yields a leading-order model described by an effective time-dependent wave equation, i.e. a wave equation with effective mass density and Young's modulus which are homogeneous in space but depend on time. This means that time-dependent bulk effective properties can be created by an array where only interfaces are modulated in time. The occurrence of k-gaps in case of a periodic modulation is also analysed. Second-order homogenisation is then performed and leads to an effective model which is reciprocal but encapsulates higher-order dispersive effects. These findings and the limitations of the models are illustrated through time-domain simulations.
• A neural operator framework for solving inverse scattering problems
  
  • Chenu Victor
  • Haddar Houssem
  • Montanelli Hadrien
  , 2026. We present a neural operator framework for solving inverse scattering problems. A neural operator produces a preliminary indicator function for the scatterer, which, after appropriate rescaling, is used as a regularization parameter within the Linear Sampling Method to validate the initial reconstruction. The neural operator is implemented as a DeepONet with a fixed radial-basis-function trunk, while the noise level required for rescaling is estimated using a dedicated neural network. A neural tangent kernel analysis guides the architectural design, reducing the network tuning to a single discretization parameter, adjustable according to the wavelength. Two-dimensional numerical experiments demonstrate the method's effectiveness, with a Python toolbox provided for reproducibility.
• Degenerate McKean-Vlasov equations with drift in anisotropic negative Besov spaces
  
  • Issoglio Elena
  • Pagliarani Stefano
  • Russo Francesco
  • Trevisani Davide
  , 2024. The paper is concerned with a McKean-Vlasov type SDE with drift in anisotropic Besov spaces with negative regularity and with degenerate diffusion matrix under the weak Hörmander condition. The main result is of existence and uniqueness of a solution in law for the McKean-Vlasov equation, which is formulated as a suitable martingale problem. All analytical tools needed are derived in the paper, such as the well-posedness of the Fokker-Planck and Kolmogorov PDEs with distributional drift, as well as continuity dependence on the coefficients. The solutions to these PDEs naturally live in anisotropic Besov spaces, for which we developed suitable analytical inequalities, such as Schauder estimates.
• Accelerating the Method of Reflections with Domain Decomposition techniques for Boundary Integral Equations in Multiple Scattering
  
  • Chaillat Stéphanie
  • Darbas Marion
  • Gander Martin J
  • Halpern Laurence
  , 2026. The Method of Reflections was historically introduced to obtain approximate solu-tions as series expansions for the motion of particles in suspension. It can however equally well be used for solving multiple scattering problems numerically. We show for Helmholtz multiple scattering problems that the Method of Reflections, whether applied in its alternating or parallel version, suffers from convergence problems when scatterers are close. We use boundary integral equations to formulate the methods, and then identify them as algebraic Schwarz methods, thereby interpreting them as boundary domain decomposition techniques. This connection allows us to introduce remedies such as overlap (which can be partial, covering only the illuminating region of the obstacles) and coarse spaces from domain decomposition into the Method of Reflections. This leads to substantially accelerated variants, and also naturally makes them suitable preconditioners for GMRES. These new approaches are particularly efficient for closeby obstacles. Moreover, numerical experiments show that the number of iterations remains robust with respect to the wavenumber.
• A comparative analysis of different carbon cap policies on the economic lot-sizing problem with remanufacturing
  
  • Vallecilla Andrés
  • Dávila-Gálvez Sebastián
  • Quezada Franco
  International Journal of Production Research, Taylor & Francis, 2026. <div><p>This paper investigates the implementation of carbon cap policies within a remanufacturing production system, focusing on a single-item lot-sizing problem aimed at meeting the demand for end-of-life products under four distinct carbon cap policies. Our study, motivated by the operational dynamics of ECOCITEX, a Chilean textile remanufacturing company, explores the balance between operational costs, carbon emissions, and production levels in response to environmental policies. We introduce a mixed-integer linear programming (MILP) formulation to address economic lot-sizing with considerations for both remanufacturing and carbon emissions constraints. Through extensive computational experiments, we assess the impact of various carbon emissions policies on production and emissions levels and their associated costs, finding that global and rolling-horizon policies offer the best tradeoff between emission reductions and production cost increases. This leads to more environmentally friendly production policies for remanufactured products without compromising financial sustainability. The findings underscore the importance of flexibility in environmental policies for remanufacturing operations, suggesting that stringent carbon caps, while beneficial for emission reductions, may pose challenges to demand fulfillment and cost management. For managers, this highlights the critical need for adaptive policy frameworks that support sustainable production objectives without impeding operational efficiency.</p></div>
• State-constrained optimal control on Wasserstein spaces over Riemannian manifolds
  
  • Treumún Ernesto
  • Zidani Hasnaa
  , 2026. We study a state-constrained optimal control problem in Mayer form on the Wasserstein space P 2 (M ) of a complete (possibly non-compact) Riemannian manifold M . The controlled dynamics is given by a nonlocal continuity equation, where the velocity field depends on both the space variable and the evolving probability measure. In the presence of state constraints, the associated value function may fail to be continuous, which prevents a direct characterization through Hamilton-Jacobi-Bellman equations (HJB). Following a level-set approach, we introduce an auxiliary value function defined on an extended space and prove that its zero-sublevel set recovers the epigraph of the original value function. Our main result shows that this auxiliary function is the unique viscosity solution of a suitable HJB equation on P 2 (M ). To prove uniqueness, we develop a comparison principle based on directional differentiability properties of the squared Wasserstein distance. These properties are shown to hold under a geometric assumption on the underlying manifold, satisfied in particular by Cartan-Hadamard manifolds and spaces with sectional curvature bounded from below. This extends previous results obtained in the unconstrained case and in Euclidean or compact settings to the state-constrained framework on general complete Riemannian manifolds.
• Fluid-structure Green's functions via BEM/BEM coupling for flow induced noise in arbitrary elastic geometries
  
  • Pacaut Louise
  • Chaillat Stéphanie
  • Mercier Jean-François
  • Serre Gilles
  , 2026. We address the challenge of efficiently simulating the noise generated by the interaction of a turbulent flow noise with complex elastic structures, a coupled fluid/structure interaction (FSI) problem. Current approaches typically separate vibro-acoustic and hydro-acoustic contributions, limiting the accuracy of hydrodynamic noise predictions. To overcome this limitation, we develop a numerical method for computing a Green's function tailored to the coupled FSI problem, enabling a monolithic prediction of the radiated noise without separating the two components. This approach not only improves the accuracy of hydrodynamic noise simulations but also significantly reduces computational costs. The Green's function is constructed using a novel integral formulation and solved numerically via a coupled fast BEM/ BEM solver.
• Stochastic Optimal Feedforward-Feedback Control for Partially Observable Sensorimotor Systems
  
  • Berret Bastien
  • Jean Frédéric
  , 2026. Robust control of complex engineered and biological systems hinges on the integration of feedforward and feedback mechanisms. This is exemplified in neural motor control, where feedforward muscle co-contraction complements sensory-driven feedback corrections to ensure stable behaviors. However, deriving a general continuous-time framework to determine such optimal control policies for partially observable, stochastic, nonlinear, and high-dimensional systems remains a formidable computational challenge. Here, we introduce a framework that extends neighboring optimal control by enabling the feedforward plan to explicitly account for feedback uncertainties and latencies. Using statistical linearization, we transform the stochastic problem into an approximately equivalent deterministic optimization within a tractable, augmented state space that retains critical nonlinearities, offering both mechanistic interpretability and theoretical guarantees on approximation fidelity. We apply this framework to human neuromechanics, demonstrating that muscle co-contraction emerges as an optimal adaptation to task demands, given the characteristics of our sensorimotor system. Our results provide a computational foundation for neuromotor control and a generalizable tool for the control of nonlinear stochastic systems.
• Metamaterials and Fluid Flows
  
  • Avallone Francesco
  • Bosia Federico
  • Chen Yi
  • Colombo Giada
  • Craster Richard
  • de Ponti Jacopo Maria
  • Fabbiane Nicolò
  • Haberman Michael
  • Hussein Mahmoud
  • Hwang Wontae
  • Iemma Umberto
  • Juhl Abigail
  • Kadic Muamer
  • Kotsonis Marios
  • Laude Vincent
  • Marquet Olivier
  • Mery Fabien
  • Michelis Theodoros
  • Nouh Mostafa
  • Ragni Daniele
  • Touboul Marie
  • Wegener Martin
  • Krushynska Anastasiia
  Nature Communications, Nature Publishing Group, 2026. (10.1038/s41467-026-70163-2)
  DOI : 10.1038/s41467-026-70163-2
• Dominance Properties for Fair Electricity Supply Planning in Collective Self-Consumption
  
  • Jorquera-Bravo Natalia
  • Elloumi Sourour
  • Kedad-Sidhoum Safia
  • Plateau Agnès
  , 2026. <div><p>This study addresses the problem of fair electricity supply planning within collective self-consumption communities, focusing on shared distributed energy sources and a common electricity storage system. The objective is to determine an electricity supply plan that ensures a fair allocation of shared resources. We formulate the electricity supply planning problem as a mixed integer linear programming (MILP) model, subsequently reformulated into a linear programming (LP) model thanks to some dominance properties. We then propose a series of fairness measures for the allocation of green electricity and shared economic benefits, including proportional allocation and max-min fairness. We prove that the dominance properties can be extended in most of these fairness models. We conduct numerical experiments based on a real case study, as well as on a set of generated instances. The results illustrate their impact on the use of green electricity produced, resource allocation, and participant costs. They also underscore the trade-offs between achieving fairness and maintaining operational efficiency, thereby offering insights for the fair management of energy resources in self-consumption communities.</p></div>
• On the Low Autocorrelation Binary Sequence Problem
  
  • Elloumi Sourour
  • Palagi Laura
  , 2026. On the Low Autocorrelation Binary Sequence Problem
• Discretization in multilayered media with high contrasts: is it all about the boundaries?
  
  • Carvalho Camille
  • Chaillat Stéphanie
  • Tsogka Chrysoula
  • Cortes Elsie A
  , 2026. Wave propagation in multilayered media with high material contrasts poses significant numerical challenges, as large variations in wavenumbers lead to strong reflections and complex transmission of the incoming wave field. To address these difficulties, we employ a boundary integral formulation thereby avoiding volumetric discretization. In this framework, the accuracy of the numerical solution depends strongly on how the material interfaces are discretized. In this work, we demonstrate that standard meshing strategies based on resolving the maximum wavenumber across the domain become computationally inefficient in multilayered configurations, where high wavenumbers are confined to localized subdomains. Through a systematic study of multilayer transmission problems, we show that no simple discretization rule based on the maximum wavenumber or material contrasts emerges. Instead, the wavenumber of the background (exterior) medium plays a dominant role in determining the optimal boundary resolution. Building on these insights, we propose an adaptive approach that achieves uniform accuracy and efficient computation across multiple layers. Numerical experiments for a range of multilayer configurations demonstrate the scalability and robustness of the proposed approach.
• Htool-DDM: A C++ library for parallel solvers and compressed linear systems.
  
  • Marchand Pierre
  • Tournier Pierre-Henri
  • Jolivet Pierre
  Journal of Open Source Software, Open Journals, 2026, 11 (118), pp.9279. (10.21105/joss.09279)
  DOI : 10.21105/joss.09279
• Automated far-field sound field estimation combining robotized acoustic measurements and the boundary elements method
  
  • Pascal Caroline
  • Marchand Pierre
  • Chapoutot Alexandre
  • Doaré Olivier
  Acta Acustica, EDP Sciences, 2026. The identification and reconstruction of acoustic fields radiated by unknown structures is usually performed using either Sound Field Estimation or Near-field Acoustic Holography techniques. The latter turns out to be especially useful when data is only available close to the source, but information throughout the whole space is needed. Yet, the lack of amendable and efficient implementations of state-of-the-art solutions, as well as the laborious and often lengthy deployment of acoustic measurements continue to be significant obstacles to the practical application of such methods. The purpose of this work is to address both problems. First, a completely automated metrology setup is proposed, in which a robotic arm is used to gather extensive and accurately positioned acoustic data without any human intervention. The impact of the robot on acoustic pressure measurements is cautiously evaluated, and proved to remain limited below 1 kHz. The Sound Field Estimation is then tackled using the Boundary Element Method, and implemented using the FreeFEM software. Numerically simulated measurements have allowed us to assess the method accuracy, which matches theoretically expected results and proves to remain robust against positioning inaccuracies, provided that the robot is carefully calibrated. The overall solution has been successfully tested using actual robotized measurements of an unknown loudspeaker, with a reconstruction error of less than 30 %. (10.1051/aacus/2026017)
  DOI : 10.1051/aacus/2026017
• Asymptotic analysis at any order of Helmholtz's problem in a corner with a thin layer: an algebraic approach
  
  • Baudet Cédric
  Asymptotic Analysis, IOS Press, 2026. We consider the Helmholtz equation in an angular sector partially covered by a homogeneous layer of small thickness, denoted ε. We propose in this work an asymptotic expansion of the solution with respect to ε at any order. This is done using matched asymptotic expansion, which consists here in introducing different asymptotic expansions of the solution in three subdomains: the vicinity of the corner, the layer and the rest of the domain. These expansions are linked through matching conditions. The presence of the corner makes these matching conditions delicate to derive because the fields have singular behaviors. Our approach is to reformulate these matching conditions purely algebraically by writing all asymptotic expansions as formal series. By using algebraic calculus we reduce the matching conditions to scalar relations linking the singular behaviors of the fields. These relations have a convolutive structure and involve some coefficients that can be computed analytically. Our asymptotic expansion is justified rigorously with error estimates. (10.1177/09217134251389983)
  DOI : 10.1177/09217134251389983
• Variational quantum algorithms for permutation-based combinatorial problems: Optimal ansatz generation with applications to quadratic assignment problems and beyond
  
  • Laplace Mermoud Dylan
  • Simonetto Andrea
  • Elloumi Sourour
  Quantum, Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2026, 10, pp.1998. We present a quantum variational algorithm based on a novel circuit that generates all permutations that can be spanned by one- and two-qubits permutation gates. The construction of the circuits follows from group-theoretical results, most importantly the Bruhat decomposition of the group generated by the cx gates. These circuits require a number of qubits that scale logarithmically with the permutation dimension, and are therefore employable in near-term applications. We further augment the circuits with ancilla qubits to enlarge their span, and with these we build ansatze to tackle permutation-based optimization problems such as quadratic assignment problems, and graph isomorphisms. The resulting quantum algorithm, QuPer, is competitive with respect to classical heuristics and we could simulate its behavior up to a problem with 256 variables, requiring 20 qubits. (10.22331/q-2026-02-09-1998)
  DOI : 10.22331/q-2026-02-09-1998
• Wave propagation in the frequency regime in one-dimensional quasiperiodic media -Limiting absorption principle
  
  • Amenoagbadji Pierre
  • Fliss Sonia
  • Joly Patrick
  , 2026. <div><p>We study the one-dimensional Helmholtz equation with (possibly perturbed) quasiperiodic coefficients. Quasiperiodic functions are the restriction of higher dimensional periodic functions along a certain (irrational) direction. In classical settings, for real-valued frequencies, this equation is generally not well-posed: existence of solutions in L 2 is not guaranteed and uniqueness in L ∞ may fail. This is a well-known difficulty of Helmholtz equations, but it has never been addressed in the quasiperiodic case. We tackle this issue by using the limiting absorption principle, which consists in adding some imaginary part (also called absorption) to the frequency in order to make the equation well-posed in L 2 , and then defining the physically relevant solution by making the absorption tend to zero. In previous work, we introduced a definition of the solution of the equation with absorption based on Dirichlet-to-Neumann (DtN) boundary conditions. This approach offers two key advantages: it facilitates the limiting process and has a direct numerical counterpart. In this work, we first explain why the DtN boundary conditions have to be replaced by Robin-to-Robin boundary conditions to make the absorption go to zero. We then prove, under technical assumptions on the frequency, that the limiting absorption principle holds and we propose a numerical method to compute the physical solution.</p></div>
• A theoretical and computational framework for three dimensional inverse medium scattering using the linearized low-rank structure
  
  • Zhou Yuyuan
  • Audibert Lorenzo
  • Meng Shixu
  • Zhang Bo
  , 2026. In this work we propose a theoretical and computational framework for solving the three dimensional inverse medium scattering problem, based on a set of data-driven basis arising from the linearized problem. This set of data-driven basis consists of generalizations of prolate spheroidal wave functions to three dimensions (3D PSWFs), the main ingredients to explore a low-rank approximation of the inverse solution. We first establish the fundamentals of the inverse scattering analysis, including regularity in a customized Sobolev space and new a priori estimate. This is followed by a computational framework showcasing computing the 3D PSWFs and the low-rank approximation of the inverse solution. These results rely heavily on the fact that the 3D PSWFs are eigenfunctions of both a restricted Fourier integral operator and a Sturm-Liouville differential operator. Furthermore we propose a Tikhonov regularization method with a customized penalty norm and a localized imaging technique to image a targeting object despite the possible presence of its surroundings. Finally various numerical examples are provided to demonstrate the potential of the proposed method.
• Discrete FEM-BEM coupling with the Generalized Optimized Schwarz Method
  
  • Boisneault Antonin
  • Bonazzoli Marcella
  • Claeys Xavier
  • Marchand Pierre
  , 2026. The present contribution aims at developing a non-overlapping Domain Decomposition (DD) approach to the solution of acoustic wave propagation boundary value problems based on the Helmholtz equation, on both bounded and unbounded domains. This DD solver, called Generalized Optimized Schwarz Method (GOSM), is a substructuring method, that is, the unknowns of an iteration are associated with the subdomains interfaces. We extend the analysis presented in a previous paper of one of the author to a fully discrete setting. We do not consider only a specific set of boundary conditions, but a whole class including, e.g., Dirichlet, Neumann, and Robin conditions. Our analysis will also cover interface conditions corresponding to a Finite Element Method - Boundary Element Method (FEM-BEM) coupling. In particular, we shall focus on three classical FEM-BEM couplings, namely the Costabel, Johnson-Nédélec and Bielak-MacCamy couplings. As a remarkable outcome, the present contribution yields well-posed substructured formulations of these classical FEM-BEM couplings for wavenumbers different from classical spurious resonances. We also establish an explicit relation between the dimensions of the kernels of the initial variational formulation, the local problems and the substructured formulation. That relation especially holds for any wavenumber for the substructured formulation of Costabel FEM-BEM coupling, which allows us to prove that the latter formulation is well-posed even at spurious resonances. Besides, we introduce a systematically geometrically convergent iterative method for the Costabel FEM-BEM coupling, with estimates on the convergence speed.