Searcharxiv⌕ Search

arXiv subjects

Paul Escapil-Inchauspé

Publications and source records attributed to Paul Escapil-Inchauspé.

11 recordsLinked to original sources

Shape Holomorphy and Sparse Approximation of the Maxwell Electric Field Integral Operator

Time-harmonic Maxwell scattering by a perfectly conducting obstacle is governed by the electric field integral equation (EFIE), whose natural energy space is $\boldsymbol H^{-1/2}(\mathrm{div}_Γ,Γ)$. For countably parametrized surface deformations, both the operator and its energy space depend on the geometry. We establish operator-valued shape holomorphy of the EFIE operator on a fixed reference space and derive dimension-independent sparse approximation rates. The main analytical difficulty is a fractional mapping property absent from existing $L^2$-based operator-valued shape-holomorphy theory for weakly singular kernels: the Maxwell graph norm requires uniform holomorphy of the complex-deformed scalar single layer as an operator from $H^{-1/2}$ to $H^{1/2}$. We prove this one-order smoothing by realizing the Laplace principal part as the trace of a uniformly sectorial complex-coefficient divergence-form problem on a fixed real ambient domain. Combined with a surface contravariant Piola transformation, which identifies the geometry-dependent Maxwell trace spaces and cancels the surface Jacobians in the pulled-back EFIE exactly, this yields $(\mathbf b,p,\varepsilon)$-holomorphy of the EFIE operator family for $\ell^p$-summable shape deformations, $0<p<1$. Under pointwise exclusion of interior electric resonances, parameter-uniform invertibility is derived rather than assumed, and the surface current and far field inherit the same parametric regularity. Their Legendre coefficients are $\ell^p$-summable, yielding dimension-independent best $N$-term approximation rates. The operator-level results also transfer to Galerkin boundary element operators on a single reference mesh, with constants independent of the discretization dimension, and provide reusable surrogates for multiple incident fields and bounded linear observables.

math.NA↗

Local Multiple Traces Formulation for Heterogeneous Electromagnetic Scattering: Implementation and Preconditioning

We consider the three-dimensional time-harmonic electromagnetic (EM) wave scattering transmission problem involving heterogeneous scatterers. The fields are approximated using the local multiple traces formulation (MTF), originally introduced for acoustic scattering. This scheme assigns independent boundary unknowns to each subdomain and weakly enforces Calderón identities along with interface transmission conditions. As a result, the MTF effectively handles shared points or edges among multiple subdomains, while supporting various preconditioning and parallelization strategies. Nevertheless, implementing standard solvers presents significant challenges, particularly in managing the degrees of freedom associated with subdomains and their interfaces. To address these difficulties, we propose a novel framework that suitably defines approximation spaces and enables the efficient exchange of normal vectors across subdomain boundaries. This framework leverages the skeleton mesh, representing the union of all interfaces, as the computational backbone, and constitutes the first scalable implementation of the EM MTF. Furthermore, we conduct several numerical experiments, exploring the effects of increasing subdomains and block On-Surface-Raditation-Condition (OSRC) preconditioning, to validate our approach and provide insights for future developments.

cs.CE↗

Physics-informed neural networks for operator equations with stochastic data

We consider the computation of statistical moments to operator equations with stochastic data. We remark that application of PINNs -- referred to as TPINNs -- allows to solve the induced tensor operator equations under minimal changes of existing PINNs code, and enabling handling of non-linear and time-dependent operators. We propose two types of architectures, referred to as vanilla and multi-output TPINNs, and investigate their benefits and limitations. Exhaustive numerical experiments are performed; demonstrating applicability and performance; raising a variety of new promising research avenues.

cs.LG↗

h-analysis and data-parallel physics-informed neural networks

We explore the data-parallel acceleration of physics-informed machine learning (PIML) schemes, with a focus on physics-informed neural networks (PINNs) for multiple graphics processing units (GPUs) architectures. In order to develop scale-robust and high-throughput PIML models for sophisticated applications which may require a large number of training points (e.g., involving complex and high-dimensional domains, non-linear operators or multi-physics), we detail a novel protocol based on $h$-analysis and data-parallel acceleration through the Horovod training framework. The protocol is backed by new convergence bounds for the generalization error and the train-test gap. We show that the acceleration is straightforward to implement, does not compromise training, and proves to be highly efficient and controllable, paving the way towards generic scale-robust PIML. Extensive numerical experiments with increasing complexity illustrate its robustness and consistency, offering a wide range of possibilities for real-world simulations.

cs.CE↗

Shape Uncertainty Quantification for Electromagnetic Wave Scattering via First-Order Sparse Boundary Element Approximation

Quantifying the effects on electromagnetic waves scattered by objects of uncertain shape is key for robust design, particularly in high precision applications. Assuming small random perturbations departing from a nominal domain, the first-order sparse boundary element method (FOSB) has been proven to directly compute statistical moments with poly-logarithmic complexity for a prescribed accuracy, without resorting to computationally intense Monte Carlo simulations. However, implementing the FOSB is not straightforward. To this end, we introduce an easy-to-use with open-source framework to directly apply the technique when dealing with complex objects. Exhaustive computational experiments confirm our claims and demonstrate the technique's applicability as well as provide pathways for further improvement.

cs.CE↗

Hyper-parameter tuning of physics-informed neural networks: Application to Helmholtz problems

We consider physics-informed neural networks (PINNs) [Raissi et al., J.~Comput. Phys. 278 (2019) 686-707] for forward physical problems. In order to find optimal PINNs configuration, we introduce a hyper-parameter optimization (HPO) procedure via Gaussian processes-based Bayesian optimization. We apply the HPO to Helmholtz equation for bounded domains and conduct a thorough study, focusing on: (i) performance, (ii) the collocation points density $r$ and (iii) the frequency $κ$, confirming the applicability and necessity of the method. Numerical experiments are performed in two and three dimensions, including comparison to finite element methods.

math.NA↗

Local Multiple Traces Formulation for Electromagnetics: Stability and Preconditioning for Smooth Geometries

We consider the time-harmonic electromagnetic transmission problem for the unit sphere. Appealing to a vector spherical harmonics analysis, we prove the first stability result of the local multiple trace formulation (MTF) for electromagnetics, originally introduced by Hiptmair and Jerez-Hanckes [Adv. Comp. Math. 37 (2012), 37-91] for the acoustic case, paving the way towards an extension to general piecewise homogeneous scatterers. Moreover, we investigate preconditioning techniques for the local MTF scheme and study the accumulation points of induced operators. In particular, we propose a novel second-order inverse approximation of the operator. Numerical experiments validate our claims and confirm the relevance of the preconditioning strategies.

math.NA↗

Bi-Parametric Operator Preconditioning

We extend the operator preconditioning framework [R. Hiptmair, Comput. Math. with Appl. 52 (2006), pp.~699--706] to Petrov-Galerkin methods while accounting for parameter-dependent perturbations of both variational forms and their preconditioners, as occurs when performing numerical approximations. By considering different perturbation parameters for the original form and its preconditioner, our bi-parametric abstract setting leads to robust and controlled schemes. For Hilbert spaces, we derive exhaustive linear and super-linear convergence estimates for iterative solvers, such as $h$-independent convergence bounds, when preconditioning with low-accuracy or, equivalently, with highly compressed approximations.

math.NA↗

Accelerated Calderón preconditioning for Maxwell transmission problems

We investigate a range of techniques for the acceleration of Calderón (operator) preconditioning in the context of boundary integral equation methods for electromagnetic transmission problems. Our objective is to mitigate as far as possible the high computational cost of the barycentrically-refined meshes necessary for the stable discretisation of operator products. Our focus is on the well-known PMCHWT formulation, but the techniques we introduce can be applied generically. By using barycentric meshes only for the preconditioner and not for the original boundary integral operator, we achieve significant reductions in computational cost by (i) using "reduced" Calderón preconditioners obtained by discarding constituent boundary integral operators that are not essential for regularisation, and (ii) adopting a "bi-parametric" approach in which we use a lower quality (cheaper) $\mathcal{H}$-matrix assembly routine for the preconditioner than for the original operator, including a novel approach of discarding far-field interactions in the preconditioner. Using the boundary element software Bempp (www.bempp.com), we compare the performance of different combinations of these techniques in the context of scattering by multiple dielectric particles. Applying our accelerated implementation to 3D electromagnetic scattering by an aggregate consisting of 8 monomer ice crystals of overall diameter 1cm at 664GHz leads to a 99% reduction in memory cost and at least a 75% reduction in total computation time compared to a non-accelerated implementation.

math.NA↗

Shape differentiability of Helmholtz scattering problems via explicit shape calculus

We consider the time-harmonic scalar wave scattering problems with Dirichlet, Neumann, impedance and transmission boundary conditions. Under this setting, we analyze how sensitive diffracted fields and Cauchy data are to small perturbations of a given nominal shape. To this end, we follow [K. Eppler, Int.~J.~Appl. Math. Comput. Sci. 10(3) (2000), pp. 487-516], referred to as explicit shape calculus, and which places great emphasis on the characterization of the domain derivatives as boundary value problems. It consists in combining elliptic regularity theorems, shape calculus and functional analysis, allowing to deduce sharp differentiability results for the domain-to-solution and domain-to-Cauchy data mappings. The technique is applied to both classic and limit Sobolev regularity cases, leading to new and comprehensive differentiability results.

math.AP↗

Helmholtz scattering by random domains: first-order sparse boundary element approximation

We consider the numerical solution of time-harmonic acoustic scattering by obstacles with uncertain geometries for Dirichlet, Neumann, impedance and transmission boundary conditions. In particular, we aim to quantify diffracted fields originated by small stochastic perturbations of a given relatively smooth nominal shape. Using first-order shape Taylor expansions, we derive tensor deterministic first kind boundary integral equations for the statistical moments of the scattering problems considered. These are then approximated by sparse tensor Galerkin discretizations via the combination technique (Griebel et al.). We supply extensive numerical experiments confirming the predicted error convergence rates with poly-logarithmic growth in the number of degrees of freedom and accuracy in approximation of the moments. Moreover, we discuss implementation details such as preconditioning to finally point out further research avenues.

math.NA↗