Searcharxiv⌕ Search

arXiv subjects

Maarten V. de Hoop

Publications and source records attributed to Maarten V. de Hoop.

At least 73 records · Page 4Linked to original sources

Convergence Rates for Learning Linear Operators from Noisy Data

This paper studies the learning of linear operators between infinite-dimensional Hilbert spaces. The training data comprises pairs of random input vectors in a Hilbert space and their noisy images under an unknown self-adjoint linear operator. Assuming that the operator is diagonalizable in a known basis, this work solves the equivalent inverse problem of estimating the operator's eigenvalues given the data. Adopting a Bayesian approach, the theoretical analysis establishes posterior contraction rates in the infinite data limit with Gaussian priors that are not directly linked to the forward map of the inverse problem. The main results also include learning-theoretic generalization error guarantees for a wide range of distribution shifts. These convergence rates quantify the effects of data smoothness and true eigenvalue decay or growth, for compact or unbounded operators, respectively, on sample complexity. Numerical evidence supports the theory in diagonal and non-diagonal settings.

math.ST↗

Local recovery of a piecewise constant anisotropic conductivity in EIT on domains with exposed corners

We study the local recovery of an unknown piecewise constant anisotropic conductivity in EIT (electric impedance tomography) on certain bounded Lipschitz domains $Ω$ in $\mathbb{R}^2$ with corners. The measurement is conducted on a connected open subset of the boundary $\partialΩ$ of $Ω$ containing corners and is given as a localized Neumann-to-Dirichlet map. The above unknown conductivity is defined via a decomposition of $Ω$ into polygonal cells. Specifically, we consider a parallelogram-based decomposition and a trapezoid-based decomposition. We assume that the decomposition is known, but the conductivity on each cell is unknown. We prove that the local recovery is almost surely true near a known piecewise constant anisotropic conductivity $γ_0$. We do so by proving that the injectivity of the Fréchet derivative $F'(γ_0)$ of the forward map $F$, say, at $γ_0$ is almost surely true. The proof presented, here, involves defining different classes of decompositions for $γ_0$ and a perturbation or contrast $H$ in a proper way so that we can find in the interior of a cell for $γ_0$ exposed single or double corners of a cell of $\mbox{supp}H$ for the former decomposition and latter decomposition, respectively. Then, by adapting the usual proof near such corners, we establish the aforementioned injectivity.

math.AP↗

The Cost-Accuracy Trade-Off In Operator Learning With Neural Networks

The term `surrogate modeling' in computational science and engineering refers to the development of computationally efficient approximations for expensive simulations, such as those arising from numerical solution of partial differential equations (PDEs). Surrogate modeling is an enabling methodology for many-query computations in science and engineering, which include iterative methods in optimization and sampling methods in uncertainty quantification. Over the last few years, several approaches to surrogate modeling for PDEs using neural networks have emerged, motivated by successes in using neural networks to approximate nonlinear maps in other areas. In principle, the relative merits of these different approaches can be evaluated by understanding, for each one, the cost required to achieve a given level of accuracy. However, the absence of a complete theory of approximation error for these approaches makes it difficult to assess this cost-accuracy trade-off. The purpose of the paper is to provide a careful numerical study of this issue, comparing a variety of different neural network architectures for operator approximation across a range of problems arising from PDE models in continuum mechanics.

math.NA↗

Recovery of piecewise smooth density and Lamé parameters from high-frequency exterior Cauchy data

We consider an isotropic elastic medium occupying a bounded domain D whose density and Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside the domain D and only for initial data supported outside D, and we study the recovery of the density and Lamé parameters. For known density, results have recently been obtained using the scattering control method to recover wave speeds. Here, we extend this result to include the recovery of the density in addition to the Lamé parameters under certain geometric conditions using techniques from microlocal analysis and a connection to local tensor tomography.

math.AP↗

Recovery of wave speeds and density of mass across a heterogeneous smooth interface from acoustic and elastic wave reflection operators

We revisit the problem of recovering wave speeds and density across a curved interface from reflected wave amplitudes. Such amplitudes have been exploited for decades in (exploration) seismology in this context. However, the analysis in seismology has been based on linearization and mostly flat interfaces. Here, we present a nonlinear analysis allowing curved interfaces, establish uniqueness and provide a reconstruction, while making the notion of amplitude precise through a procedure rooted in microlocal analysis.

math.AP↗

Deep learning architectures for nonlinear operator functions and nonlinear inverse problems

We develop a theoretical analysis for special neural network architectures, termed operator recurrent neural networks, for approximating nonlinear functions whose inputs are linear operators. Such functions commonly arise in solution algorithms for inverse boundary value problems. Traditional neural networks treat input data as vectors, and thus they do not effectively capture the multiplicative structure associated with the linear operators that correspond to the data in such inverse problems. We therefore introduce a new family that resembles a standard neural network architecture, but where the input data acts multiplicatively on vectors. Motivated by compact operators appearing in boundary control and the analysis of inverse boundary value problems for the wave equation, we promote structure and sparsity in selected weight matrices in the network. After describing this architecture, we study its representation properties as well as its approximation properties. We furthermore show that an explicit regularization can be introduced that can be derived from the mathematical analysis of the mentioned inverse problems, and which leads to certain guarantees on the generalization properties. We observe that the sparsity of the weight matrices improves the generalization estimates. Lastly, we discuss how operator recurrent networks can be viewed as a deep learning analogue to deterministic algorithms such as boundary control for reconstructing the unknown wavespeed in the acoustic wave equation from boundary measurements.

math.OC↗

Inverse problem for the Rayleigh system with spectral data

We analyze an inverse problem associated with the time-harmonic Rayleigh system on a flat elastic half-space concerning the recovery of Lamé parameters in a slab beneath a traction-free surface. We employ the Markushevich substitution, while the data are captured in a Jost function, and point out parallels with a corresponding problem for the Schrödinger equation. The Jost function can be identified with spectral data. We derive a Gel'fand-Levitan type equation and obtain uniqueness with two distinct frequencies.

math.AP↗

A non-perturbative approach to computing seismic normal modes in rotating planets

A Continuous Galerkin method-based approach is presented to compute the seismic normal modes of rotating planets. Special care is taken to separate out the essential spectrum in the presence of a fluid outer core using a polynomial filtering eigensolver. The relevant elastic-gravitational system of equations, including the Coriolis force, is subjected to a mixed finite-element method, while self-gravitation is accounted for with the fast multipole method. Our discretization utilizes fully unstructured tetrahedral meshes for both solid and fluid regions. The relevant eigenvalue problem is solved by a combination of several highly parallel and computationally efficient methods. We validate our three-dimensional results in the non-rotating case using analytical results for constant elastic balls, as well as numerical results for an isotropic Earth model from standard ``radial" algorithms. We also validate the computations in the rotating case, but only in the slowly-rotating regime where perturbation theory applies, because no other independent algorithms are available in the general case. The algorithm and code are used to compute the point spectra of eigenfrequencies in several Earth and Mars models studying the effects of heterogeneity on a large range of scales.

physics.comp-ph↗

The computation of seismic normal modes with rotation as a quadratic eigenvalue problem

A new approach is presented to compute the seismic normal modes of a fully heterogeneous, rotating planet. Special care is taken to separate out the essential spectrum in the presence of a fluid outer core. The relevant elastic-gravitational system of equations, including the Coriolis force, is subjected to a mixed finite-element method, while self-gravitation is accounted for with the fast multipole method (FMM). To solve the resulting quadratic eigenvalue problem (QEP), the approach utilizes extended Lanczos vectors forming a subspace computed from a non-rotating planet -- with the shape of boundaries of a rotating planet and accounting for the centrifugal potential -- to reduce the dimension of the original problem significantly. The subspace is guaranteed to be contained in the space of functions to which the seismic normal modes belong. The reduced system can further be solved with a standard eigensolver. The computational accuracy is illustrated using all the modes with relative small meshes and also tested against standard perturbation calculations relative to a standard Earth model. The algorithm and code are used to compute the point spectra of eigenfrequencies in several Mars models studying the effects of heterogeneity on a large range of scales.

physics.comp-ph↗

Attention network forecasts time-to-failure in laboratory shear experiments

Rocks under stress deform by creep mechanisms that include formation and slip on small-scale internal cracks. Intragranular cracks and slip along grain contacts release energy as elastic waves termed acoustic emissions (AE). AEs are thought to contain predictive information that can be used for fault failure forecasting. Here we present a method using unsupervised classification and an attention network to forecast labquakes using AE waveform features. Our data were generated in a laboratory setting using a biaxial shearing device with granular fault gouge intended to mimic the conditions of tectonic faults. Here we analyzed the temporal evolution of AEs generated throughout several hundred laboratory earthquake cycles. We used a Conscience Self-Organizing Map (CSOM) to perform topologically ordered vector quantization based on waveform properties. The resulting map was used to interactively cluster AEs. We examined the clusters over time to identify those with predictive ability. Finally, we used a variety of LSTM and attention-based networks to test the predictive power of the AE clusters. By tracking cumulative waveform features over the seismic cycle, the network is able to forecast the time-to-failure (TTF) of lab earthquakes. Our results show that analyzing the data to isolate predictive signals and using a more sophisticated network architecture are key to robustly forecasting labquakes. In the future, this method could be applied on tectonic faults monitor earthquakes and augment current early warning systems.

physics.geo-ph↗

A foliated and reversible Finsler manifold is determined by its broken scattering relation

The broken scattering relation consists of the total lengths of broken geodesics that start from the boundary, change direction once inside the manifold, and propagate to the boundary. We show that if two reversible Finsler manifolds satisfying a convex foliation condition have the same broken scattering relation, then they are isometric. This implies that some anisotropic material parameters of the Earth can be in principle reconstructed from single scattering measurements at the surface.

math.DG↗

Stable reconstruction of simple Riemannian manifolds from unknown interior sources

Consider the geometric inverse problem: There is a set of delta-sources in spacetime that emit waves travelling at unit speed. If we know all the arrival times at the boundary cylinder of the spacetime, can we reconstruct the space, a Riemannian manifold with boundary? With a finite set of sources we can only hope to get an approximate reconstruction, and we indeed provide a discrete metric approximation to the manifold with explicit data-driven error bounds when the manifold is simple. This is the geometrization of a seismological inverse problem where we measure the arrival times on the surface of waves from an unknown number of unknown interior microseismic events at unknown times. The closeness of two metric spaces with a marked boundary is measured by a labeled Gromov--Hausdorff distance. If measurements are done for infinite time and spatially dense sources, our construction produces the true Riemannian manifold and the finite-time approximations converge to it in the metric sense.

math.DG↗

Unique recovery of electrical conductivity and magnetic permeability from Magneto-Telluric data

We present a comprehensive mathematical study of the Magneto-Telluric (MT) method, on bounded domain in $\mathbb{R}^3$. We show that electrical conductivity and magnetic permeability, assumed to be $C^2$, can be uniquely recovered from MT data measured on the boundary of the domain. The proof is based on the construction of complex geometric optics solutions. Furthermore, we obtain a unique determination result in the case when the MT data are measured only on an open subset of the boundary. Here, we assume that the part of the boundary inaccessible for measurements is a subset of a sphere.

math.AP↗

Reciprocity-gap misfit functional for Distributed Acoustic Sensing, combining data from passive and active sources

Quantitative imaging of sub-surface Earth's properties in elastic media is performed from Distributed Acoustic Sensing data. A new misfit functional based upon the reciprocity-gap is designed, taking cross-correlations of displacement and strain, and these products further associate an observation with a simulation. In comparison with other misfit functionals, this one has the advantage to only require little a-priori information on the exciting sources. In particular, the misfit criterion enables the use of data from regional earthquakes (teleseismic events can be included as well), followed by exploration data to perform a multi-resolution reconstruction. The data from regional earthquakes contain the low-frequency content which is missing in the exploration ones, allowing for the recovery of the long spatial wavelength, even with very few sources. These data are used to build prior models for the subsequent reconstruction from the higher-frequency exploration data. This gives the elastic Full Reciprocity-gap Waveform Inversion method, and we demonstrate its performance with a pilot experiment for elastic isotropic reconstruction.

physics.geo-ph↗

A high order discontinuous Galerkin method for the symmetric form of the anisotropic viscoelastic wave equation

Wave propagation in real media is affected by various non-trivial physical phenomena, e.g., anisotropy, an-elasticity and dissipation. Assumptions on the stress-strain relationship are an integral part of seismic modeling and determine the deformation and relaxation of the medium. Stress-strain relationships based on simplified rheologies will incorrectly predict seismic amplitudes, which are used for quantitative reservoir characterization. Constitutive equations for the rheological model include the generalized Hooke's law and Boltzmann's superposition principal with dissipation models based on standard linear solids or a Zener approximation. In this work, we introduce a high-order discontinuous Galerkin finite element method for wave equation in inhomogeneous and anisotropic dissipative medium. This method is based on a new symmetric treatment of the anisotropic viscoelastic terms, as well as an appropriate memory variable treatment of the stress-strain convolution terms. Together, these result in a symmetric system of first order linear hyperbolic partial differential equations. The accuracy of the proposed numerical scheme is proven and verified using convergence studies against analytical plane wave solutions and analytical solutions of viscoelastic wave equation. Computational experiments are shown for various combinations of homogeneous and heterogeneous viscoelastic media in two and three dimensions.

math.NA↗

Generic uniqueness and stability for the mixed ray transform

We consider the mixed ray transform of tensor fields on a three-dimensional compact simple Riemannian manifold with boundary. We prove the injectivity of the transform, up to natural obstructions, and establish stability estimates for the normal operator on generic three dimensional simple manifold in the case of 1+1 and 2+2 tensors fields. We show how the anisotropic perturbations of averaged isotopic travel-times of qS-polarized elastic waves provide partial information about the mixed ray transform of 2+2 tensors fields. If in addition we include the measurement of the shear wave amplitude, the complete mixed ray transform can be recovered. We also show how one can obtain the mixed ray transform from an anisotropic perturbation of the Dirichlet-to-Neumann map of an isotropic elastic wave equation on a smooth and bounded domain in three dimensional Euclidean space.

math.DG↗

Full Reciprocity-Gap Waveform Inversion in the frequency domain, enabling sparse-source acquisition

The quantitative reconstruction of sub-surface Earth properties from the propagation of waves follows an iterative minimization of a misfit functional. In marine seismic exploration, the observed data usually consist of measurements of the pressure field but dual-sensor devices also provide the normal velocity. Consequently, a reciprocity-based misfit functional is specifically designed, and defines the Full Reciprocity-gap Waveform Inversion (FRgWI ) method. This misfit functional provides additional features compared to the more traditional least-squares approaches with, in particular, that the observational and computational acquisitions can be different. Therefore, the positions and wavelets of the sources from which the measurements are acquired are not needed in the reconstruction procedure and, in fact, the numerical acquisition (for the simulations) can be arbitrarily chosen. Based on three-dimensional experiments, FRgWI is shown to behave better than Full Waveform Inversion (FWI) in the same context. Then, it allows for arbitrary numerical acquisitions in two ways: when few measurements are given, a dense numerical acquisition (compared to the observational one) can be used to compensate. On the other hand, with a dense observational acquisition, a sparse computational one is shown to be sufficient, for instance with multiple-point sources, hence reducing the numerical cost. FRgWI displays accurate reconstructions in both situations and appears more robust with respect to cross-talk than the least-squares shot-stacking.

physics.geo-ph↗

Analysis of a model of elastic dislocations in geophysics

We analyze a mathematical model of elastic dislocations with applications to geophysics, where by an elastic dislocation we mean an open, oriented Lipschitz surface in the interior of an elastic solid, across which there is a discontinuity of the displacement. We model the Earth as an infinite, isotropic, inhomogeneous, elastic medium occupying a half space, and assume only Lipschitz continuity of the Lamé parameters. We study the well posedness of very weak solutions to the forward problem of determining the displacement by imposing traction-free boundary conditions at the surface, continuity of the traction and a given jump on the displacement across the fault. We employ suitable weighted Sobolev spaces for the analysis. We utilize the well posedness of the forward problem and unique-continuation arguments to establish uniqueness in the inverse problem of determining the dislocation surface and the displacement jump from measuring the displacement at the surface of the Earth. Uniqueness holds for tangential or normal jumps and under some geometric conditions on the surface.

math.AP↗