arXiv subjects

Jeremy Hoskins

Publications and source records attributed to Jeremy Hoskins.

At least 19 recordsLinked to original sources

arXiv2026

A parametrix for the surface Stokes equation

We introduce an integral equation formulation of the surface Stokes equations, constructed using two-dimensional Stokeslets. The resulting integral equations are Fredholm integral equations of the second kind and can be discretized to high order using standard tools. Since the resulting discrete linear systems are dense, we describe and analyze a proxy shell method to construct fast direct solvers for these systems. The properties of our integral equation, and the performance of the resulting numerical scheme, are illustrated with several representative numerical examples.

math.NA↗

arXiv2026

A Boundary Integral Method for Generalized Impedance Boundary Conditions in 2D

Generalized impedance boundary conditions for the Helmholtz equation arise in a number of acoustic and electromagnetic models that approximate boundary effects, including thin coatings and the viscous and thermal losses that can occur in boundary layers. Here we present a well-conditioned numerical method for this class of boundary conditions based on a boundary integral re-formulation of the equations. The formulation applies a combined layer representation together with a surface preconditioner to obtain an integral equation of the second kind. Additionally, by using appropriate image sources, we construct well-conditioned representations of impedance-to-impedance maps for subdomains carrying these boundary conditions on part of their boundary, so that the method can be used within a domain-decomposition framework. Several numerical examples in geometries inspired by acoustic applications demonstrate the efficacy of the method.

math.NA↗

arXiv2025

Self-Affine Scaling of Earth's Islands

Earth's relief is approximately self-affine, meaning a zoom-in on a small region looks statistically similar to a large region upon rescaling. Fractional Brownian surfaces give an idealized self-affine model of Earth's relief with one parameter, the Hurst exponent $H$, characterizing the roughness of the surface. We compile a large dataset of topographic profiles of islands (N=131,063 with the range of areas covering 8+ orders of magnitude) and obtain four estimates for the Hurst exponent of Earth's surface by fitting four statistical laws from the theory of self-affine surfaces concerning islands: (i) distribution of areas, (ii) volume-area relationship, (iii) perimeter-area relationship, and (iv) maximum height-area relationship. The estimated Hurst exponents indicate different fractal scaling behavior for different geometric features, and are sorted in order of increasing expected influence of coastal processes. This sheds light on the impact of coastal erosion and sedimentation on island geomorphology.

physics.geo-ph↗

arXiv2025

A Model-Guided Neural Network Method for the Inverse Scattering Problem

Inverse medium scattering is an ill-posed, nonlinear wave-based imaging problem arising in medical imaging, remote sensing, and non-destructive testing. Machine learning (ML) methods offer increased inference speed and flexibility in capturing prior knowledge of imaging targets relative to classical optimization-based approaches; however, they perform poorly in regimes where the scattering behavior is highly nonlinear. A key limitation is that ML methods struggle to incorporate the physics governing the scattering process, which are typically inferred implicitly from the training data or loosely enforced via architectural design. In this paper, we present a method that endows a machine learning framework with explicit knowledge of problem physics, in the form of a differentiable solver representing the forward model. The proposed method progressively refines reconstructions of the scattering potential using measurements at increasing wave frequencies, following a classical strategy to stabilize recovery. Empirically, we find that our method provides high-quality reconstructions at a fraction of the computational or sampling costs of competing approaches.

physics.comp-ph↗

arXiv2025

High-order integral methods for the Neumann Green's function: applications to capture and signaling problems in two dimensions

We present a high order numerical method for the solution of the Neumann Green's function in two dimensions. For a general closed planar curve, our computational method resolves both the interior and exterior Green's functions with the source placed either in the bulk or on the surface -- yielding four distinct functions. Our method exactly represents the singular nature of the Green's function by decomposing the singular and regular components. In the case of the interior function, we exactly prescribe an integral constraint which is necessary to obtain a unique solution given the arbitrary constant solution associated with Neumann boundary conditions. Our implementation is based on a fast integral method for the regular part of the Green's function which allows for a rapid and high order discretization for general domains. We demonstrate the accuracy of our method for simple geometries such as disks and ellipses where closed form solutions are available. To exhibit the usefulness of these new routines, we demonstrate several applications to open problems in the capture of Brownian particles, specifically, how the small traps or boundary windows should be configured to maximize the capture rate of Brownian particles.

math.NA↗

arXiv2025

Fast Multipole Method with Complex Coordinates

In this work we present a variant of the fast multipole method (FMM) for efficiently evaluating standard layer potentials on geometries with complex coordinates in two and three dimensions. The complex scaled boundary integral method for the efficient solution of scattering problems on unbounded domains results in complex point locations upon discretization. Classical real-coordinate FMMs are no longer applicable, hindering the use of this approach for large-scale problems. Here we develop the complex-coordinate FMM based on the analytic continuation of certain special function identities used in the construction of the classical FMM. To achieve the same linear time complexity as the classical FMM, we construct a hierarchical tree based solely on the real parts of the complex point locations, and derive convergence rates for truncated expansions when the imaginary parts of the locations are a Lipschitz function of the corresponding real parts. We demonstrate the efficiency of our approach through several numerical examples and illustrate its application for solving large-scale time-harmonic water wave problems and Helmholtz transmission problems.

math.NA↗

arXiv2025

Complex Scaling for the Junction of Semi-infinite Gratings

We present and analyze an integral equation method for the scattering of a non-periodic source from a geometry consisting of two semi-infinite, periodic structures glued together in two dimensions. The two structures may involve a periodic wall, several layers of transmission surfaces with a shared period, or periodic sets of obstacles. This integral equation is posed on the infinite interface between the two periodic structures using kernels built out of the Green's function for each structure. To combat the slow decay of the Green's function, we also show that our integral equation can be analytically continued into the complex plane, where it can be truncated with exponential accuracy. A careful analysis of the domain Green's functions far from the periodic structure is then used to prove that the analytically continued equation is Fredholm index zero. Finally, we show that the solution we generate satisfies a radiation condition and demonstrate an efficient and high order solver for this problem.

math.NA↗

arXiv2025

Complex scaling for open waveguides

In this work we analyze the complex scaling method applied to the problem of time-harmonic scalar wave propagation in junctions between `leaky,' or open dielectric waveguides. In [arXiv:2302.04353, arXiv:2310.05816, arXiv:2401.04674, arXiv:2411.11204], it was shown that under suitable assumptions the problem can be reduced to a system of Fredholm second-kind integral equations on an infinite interface, transverse to the waveguides. Here, we show that the kernels appearing in the integral equation admit a rapidly decaying analytic continuation on certain natural totally real submanifolds of $\mathbb{C}^2.$ We then show that for suitable, physically-meaningful, boundary data the resulting solutions to the integral equations themselves admit analytic continuation and satisfy related asymptotic estimates. By deforming the integral equation to a suitable contour, the decay in the kernels, density, and data enable straightforward discretization and truncation, with an error that decays exponentially in the truncation length. We illustrate our results with several representative numerical examples.

math.NA↗

arXiv2025

Hardware Acceleration for HPS Algorithms in Two and Three Dimensions

We provide a flexible, open-source framework for hardware acceleration, namely massively-parallel execution on general-purpose graphics processing units (GPUs), applied to the hierarchical Poincar\'e--Steklov (HPS) family of algorithms for building fast direct solvers for linear elliptic partial differential equations. To take full advantage of the power of hardware acceleration, we propose two variants of HPS algorithms to improve performance on two- and three-dimensional problems. In the two-dimensional setting, we introduce a novel recomputation strategy that minimizes costly data transfers to and from the GPU; in three dimensions, we modify and extend the adaptive discretization technique of Geldermans and Gillman [2019] to greatly reduce peak memory usage. We provide an open-source implementation of these methods written in JAX, a high-level accelerated linear algebra package, which allows for the first integration of a high-order fast direct solver with automatic differentiation tools. We conclude with extensive numerical examples showing our methods are fast and accurate on two- and three-dimensional problems.

math.NA↗

arXiv2024

Subspace method of moments for ab initio 3-D single-particle cryo-EM reconstruction

Cryo-electron microscopy (cryo-EM) is a widely used technique for recovering the 3-D structure of biological molecules from a large number of experimentally generated noisy 2-D tomographic projection images of the 3-D structure, taken from unknown viewing angles. Through computationally intensive algorithms, these observed images are processed to reconstruct the 3-D structures. Many popular computational methods rely on estimating the unknown angles as part of the reconstruction process, which becomes particularly challenging at low signal-to-noise ratios. The method of moments (MoM) offers an alternative approach that circumvents the estimation of viewing orientations of individual projection images by instead estimating the underlying distribution of the viewing angles, and is robust to noise given sufficiently many images. However, the method of moments typically entails computing higher-order moments of the projection images, incurring significant computational and memory costs. To mitigate this, we propose a new approach called the subspace method of moments (SubspaceMoM), which compresses the first three moments using data-driven low-rank tensor techniques as well as expansion into a suitable function basis. The compressed moments can be efficiently computed from the set of projection images using numerical quadrature and can be employed to jointly reconstruct the 3-D structure and the distribution of viewing orientations. We illustrate the practical applicability of SubspaceMoM through numerical experiments using up to the third-order moment on synthetic datasets with a simplified cryo-EM image formation model, which significantly improves the reconstruction resolution compared to previous MoM approaches.

math.NA↗

arXiv2024

Coordinate complexification for the Helmholtz equation with Dirichlet boundary conditions in a perturbed half-space

We present a new complexification scheme based on the classical double layer potential for the solution of the Helmholtz equation with Dirichlet boundary conditions in compactly perturbed half-spaces in two and three dimensions. The kernel for the double layer potential is the normal derivative of the free-space Green's function, which has a well-known analytic continuation into the complex plane as a function of both target and source locations. Here, we prove that - when the incident data are analytic and satisfy a precise asymptotic estimate - the solution to the boundary integral equation itself admits an analytic continuation into specific regions of the complex plane, and satisfies a related asymptotic estimate (this class of data includes both plane waves and the field induced by point sources). We then show that, with a carefully chosen contour deformation, the oscillatory integrals are converted to exponentially decaying integrals, effectively reducing the infinite domain to a domain of finite size. Our scheme is different from existing methods that use complex coordinate transformations, such as perfectly matched layers, or absorbing regions, such as the gradual complexification of the governing wavenumber. More precisely, in our method, we are still solving a boundary integral equation, albeit on a truncated, complexified version of the original boundary. In other words, no volumetric/domain modifications are introduced. The scheme can be extended to other boundary conditions, to open wave guides and to layered media. We illustrate the performance of the scheme with two and three dimensional examples.

math.NA↗

arXiv2024

Integral formulation of Klein-Gordon singular waveguides

We consider the analysis of singular waveguides separating insulating phases in two-space dimensions. The insulating domains are modeled by a massive Schrödinger equation and the singular waveguide by appropriate jump conditions along the one-dimensional interface separating the insulators. We present an integral formulation of the problem and analyze its mathematical properties. We also implement a fast multipole and sweeping-accelerated iterative algorithm for solving the integral equations, and demonstrate numerically the fast convergence of this method. Several numerical examples of solutions and scattering effects illustrate our theory.

math-ph↗

arXiv2024

Multi-Frequency Progressive Refinement for Learned Inverse Scattering

Interpreting scattered acoustic and electromagnetic wave patterns is a computational task that enables remote imaging in a number of important applications, including medical imaging, geophysical exploration, sonar and radar detection, and nondestructive testing of materials. However, accurately and stably recovering an inhomogeneous medium from far-field scattered wave measurements is a computationally difficult problem, due to the nonlinear and non-local nature of the forward scattering process. We design a neural network, called Multi-Frequency Inverse Scattering Network (MFISNet), and a training method to approximate the inverse map from far-field scattered wave measurements at multiple frequencies. We consider three variants of MFISNet, with the strongest performing variant inspired by the recursive linearization method--a commonly used technique for stably inverting scattered wavefield data--that progressively refines the estimate with higher frequency content. MFISNet outperforms past methods in regimes with high-contrast, heterogeneous large objects, and inhomogeneous unknown backgrounds.

physics.comp-ph↗

arXiv2023

Integral formulation of Dirac singular waveguides

This paper concerns a boundary integral formulation for the two-dimensional massive Dirac equation. The mass term is assumed to jump across a one-dimensional interface, which models a transition between two insulating materials. This jump induces surface waves that propagate outward along the interface but decay exponentially in the transverse direction. After providing a derivation of our integral equation, we prove that it has a unique solution for almost all choices of parameters using holomorphic perturbation theory. We then extend these results to a Dirac equation with two interfaces. Finally, we implement a fast numerical method for solving our boundary integral equations and present several numerical examples of solutions and scattering effects.

math-ph↗

arXiv2023

On quadrature for singular integral operators with complex symmetric quadratic forms

This paper describes a trapezoidal quadrature method for the discretization of weakly singular, singular and hypersingular boundary integral operators with complex symmetric quadratic forms. Such integral operators naturally arise when complex coordinate methods or complexified contour methods are used for the solution of time-harmonic acoustic and electromagnetic interface problems in three dimensions. The quadrature is an extension of a locally corrected punctured trapezoidal rule in parameter space wherein the correction weights are determined by fitting moments of error in the punctured trapezoidal rule, which is known analytically in terms of the Epstein zeta function. In this work, we analyze the analytic continuation of the Epstein zeta function and the generalized Wigner limits to complex quadratic forms; this analysis is essential to apply the fitting procedure for computing the correction weights. We illustrate the high-order convergence of this approach through several numerical examples.

math.NA↗

arXiv2023

On the inverse scattering problem for radially-symmetric domains in two dimensions

In the present paper we describe a method for solving inverse problems for the Helmholtz equation in radially-symmetric domains given multi-frequency data. Our approach is based on the construction of suitable trace formulas which relate the impedance of the total field at multiple frequencies to derivatives of the potential. Using this trace formula we obtain a system of coupled differential equations which can be solved to obtain the potential in a stable manner. Finally, the performance of the reconstruction algorithm is illustrated with several numerical examples.

math.NA↗

arXiv2023

Random walks in frequency and the reconstruction of obstacles with cavities from multi-frequency data

Inverse obstacle scattering is the recovery of an obstacle boundary from the scattering data produced by incident waves. This shape recovery can be done by iteratively solving a PDE-constrained optimization problem for the obstacle boundary. While it is well known that this problem is typically non-convex and ill-posed, previous investigations have shown that in many settings these issues can be alleviated by using a continuation-in-frequency method and introducing a regularization that limits the frequency content of the obstacle boundary. It has been recently observed that these techniques can fail for obstacles with pronounced cavities, even in the case of penetrable obstacles where similar optimization and regularization methods work for the equivalent problem of recovering a piecewise constant wave speed. The present work investigates the recovery of obstacle boundaries for impenetrable, sound-soft media with pronounced cavities, given multi-frequency scattering data. Numerical examples demonstrate that the problem is sensitive to the choice of iterative solver used at each frequency and the initial guess at the lowest frequency. We propose a modified continuation-in-frequency method which follows a random walk in frequency, as opposed to the standard monotonically increasing path. This method shows some increased robustness in recovering cavities, but can also fail for more extreme examples. An interesting phenomenon is observed that while the obstacle reconstructions obtained over several random trials can vary significantly near the cavity, the results are consistent for non-cavity parts of the boundary.

math.NA↗

arXiv2023

Quantum electrodynamics of chiral waveguide arrays

We consider the quantum electrodynamics of a binary array of chiral waveguides, each containing many atoms. We show that the one-photon amplitude of a single-excitation state obeys a two-dimensional Dirac equation. Using this result, we develop the scattering theory for the Dirac equation in this setting and illustrate our results with numerical simulations.

physics.optics↗