-
ROM inversion of monostatic data lifted to full MIMO
Authors:
V. Druskin,
S. Moskow,
M. Zaslavsky
Abstract:
The Lippmann--Schwinger--Lanczos (LSL) algorithm has recently been shown to provide an efficient tool for imaging and direct inversion of synthetic aperture radar data in multi-scattering environments \cite{DrMoZa3}, where the data set is limited to the monostatic, a.k.a. single input/single output (SISO) measurements. The approach is based on constructing data-driven estimates of internal fields…
▽ More
The Lippmann--Schwinger--Lanczos (LSL) algorithm has recently been shown to provide an efficient tool for imaging and direct inversion of synthetic aperture radar data in multi-scattering environments \cite{DrMoZa3}, where the data set is limited to the monostatic, a.k.a. single input/single output (SISO) measurements. The approach is based on constructing data-driven estimates of internal fields via a reduced-order model (ROM) framework and then plugging them into the Lippmann-Schwinger integral equation. However, the approximations of the internal solutions may have more error due to missing the off diagonal elements of the multiple input/multiple output (MIMO) matrix valued transfer function. This, in turn, may result in multiple echoes in the image. Here we present a ROM-based data completion algorithm to mitigate this problem. First, we apply the LSL algorithm to the SISO data as in \cite{DrMoZa3} to obtain approximate reconstructions as well as the estimate of internal field. Next, we use these estimates to calculate a forward Lippmann-Schwinger integral to populate the missing off-diagonal data (the lifting step). Finally, to update the reconstructions, we solve the Lippmann-Schwinger equation using the original SISO data, where the internal fields are constructed from the lifted MIMO data. The steps of obtaining the approximate reconstructions and internal fields and populating the missing MIMO data entries can be repeated for complex models to improve the images even further. Efficiency of the proposed approach is demonstrated on 2D and 2.5D numerical examples, where we see reconstructions are improved substantially.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Regularized Reduced Order Lippman-Schwinger-Lanczos Method for Inverse Scattering Problems in the Frequency Domain
Authors:
Justin Baker,
Elena Cherkaev,
Vladimir Druskin,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
Inverse scattering has a broad applicability in quantum mechanics, remote sensing, geophysical, and medical imaging. This paper presents a robust direct reduced order model (ROM) method for solving inverse scattering problems based on an efficient approximation of the resolvent operator regularizing the Lippmann-Schwinger-Lanczos (LSL) algorithm. We show that the efficiency of the method relies up…
▽ More
Inverse scattering has a broad applicability in quantum mechanics, remote sensing, geophysical, and medical imaging. This paper presents a robust direct reduced order model (ROM) method for solving inverse scattering problems based on an efficient approximation of the resolvent operator regularizing the Lippmann-Schwinger-Lanczos (LSL) algorithm. We show that the efficiency of the method relies upon the weak dependence of the orthogonalized basis on the unknown potential in the Schrödinger equation by demonstrating that the Lanczos orthogonalization is equivalent to performing Gram-Schmidt on the ROM time snapshots. We then develop the LSL algorithm in the frequency domain with two levels of regularization. We show that the same procedure can be extended beyond the Schrödinger formulation to the Helmholtz equation, e.g., to imaging the conductivity using diffusive electromagnetic fields in conductive media with localized positive conductivity perturbations. Numerical experiments for Helmholtz and Schrödinger problems show that the proposed bi-level regularization scheme significantly improves the performance of the LSL algorithm, allowing for good reconstructions with noisy data and large data sets.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Reduced order modeling inversion of mono static data in a multi-scattering environment
Authors:
V. Druskin,
S. Moskow,
M. Zaslavsky
Abstract:
The data-driven reduced order models (ROMs) have recently emerged as an efficient tool for the solution of the inverse scattering problems with applications to seismic and sonar imaging. One specification of this approach is that it requires the full square multiple-output/multiple-input (MIMO) matrix valued transfer function as data for multidimensional problems. The synthetic aperture radar (SAR…
▽ More
The data-driven reduced order models (ROMs) have recently emerged as an efficient tool for the solution of the inverse scattering problems with applications to seismic and sonar imaging. One specification of this approach is that it requires the full square multiple-output/multiple-input (MIMO) matrix valued transfer function as data for multidimensional problems. The synthetic aperture radar (SAR), however, is limited to single input/single output (SISO) measurements corresponding to the diagonal of the matrix transfer function. Here we present a ROM based Lippmann-Schwinger approach overcoming this drawback. The ROMs are constructed to match the data for each source-receiver pair separately, and these are used to construct internal solutions for the corresponding source using only the data-driven Gramian. Efficiency of the proposed approach is demonstrated on 2D and 2.5D (3D propagation and 2D reflectors) numerical examples. The new algorithm not only suppresses multiple echoes seen in the Born imaging, but also takes advantage of illumination by them of some back sides of the reflectors, improving the quality of their map**.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Born and inverse Born series for scattering problems with Kerr nonlinearities
Authors:
Nicholas Defilippis,
Shari Moskow,
John C. Schotland
Abstract:
We consider the Born and inverse Born series for scalar waves with a cubic nonlinearity of Kerr type. We find a recursive formula for the operators in the Born series and prove their boundedness. This result gives conditions which guarantee convergence of the Born series, and subsequently yields conditions which guarantee convergence of the inverse Born series. We also use fixed point theory to gi…
▽ More
We consider the Born and inverse Born series for scalar waves with a cubic nonlinearity of Kerr type. We find a recursive formula for the operators in the Born series and prove their boundedness. This result gives conditions which guarantee convergence of the Born series, and subsequently yields conditions which guarantee convergence of the inverse Born series. We also use fixed point theory to give alternate explicit conditions for convergence of the Born series. We illustrate our results with numerical experiments.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Stability and reconstruction of a special type of anisotropic conductivity in magneto-acoustic tomography with magnetic induction
Authors:
Niall Donlon,
Romina Gaburro,
Shari Moskow,
Isaac Woods
Abstract:
We consider the issues of stability and reconstruction of the electrical anisotropic conductivity of biological tissues in a domain $Ω\subset\mathbb{R}^3$ by means of the hybrid inverse problem of magneto-acoustic tomography with magnetic induction (MAT-MI). The class of anisotropic conductivities considered here is of type $σ(\cdot)=A(\cdot,γ(\cdot))$ in $Ω$, where…
▽ More
We consider the issues of stability and reconstruction of the electrical anisotropic conductivity of biological tissues in a domain $Ω\subset\mathbb{R}^3$ by means of the hybrid inverse problem of magneto-acoustic tomography with magnetic induction (MAT-MI). The class of anisotropic conductivities considered here is of type $σ(\cdot)=A(\cdot,γ(\cdot))$ in $Ω$, where $[λ^{-1}, λ]\ni t\mapsto A(\cdot, t)$ is a one-parameter family of matrix-valued functions which are \textit{a-priori} known to be $C^{1,β}$, allowing us to stably reconstruct $γ$ in $Ω$ in terms of an internal functional $F(σ)$. Our results also extend previous results in MAT-MI where $σ(\cdot) = γ(\cdot) D(\cdot)$, with $D$ an \textit{a-priori} known matrix-valued function on $Ω$ to a more general anisotropic structure which depends non-linearly on the scalar function $γ$ to be reconstructed.
△ Less
Submitted 29 July, 2022;
originally announced July 2022.
-
On extension of the data driven ROM inverse scattering framework to partially nonreciprocal arrays
Authors:
Vladimir Druskin,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
Data-driven reduced order models (ROMs) recently emerged as powerful tool for the solution of inverse scattering problems. The main drawback of this approach is that it was limited to the measurement arrays with reciprocally collocated transmitters and receivers, that is, square symmetric matrix (data) transfer functions. To relax this limitation, we use our previous work [14], where the ROMs were…
▽ More
Data-driven reduced order models (ROMs) recently emerged as powerful tool for the solution of inverse scattering problems. The main drawback of this approach is that it was limited to the measurement arrays with reciprocally collocated transmitters and receivers, that is, square symmetric matrix (data) transfer functions. To relax this limitation, we use our previous work [14], where the ROMs were combined with the Lippmann-Schwinger integral equation to produce a direct nonlinear inversion method. In this work we extend this approach to more general transfer functions, including those that are non-symmetric, e.g., obtained by adding only receivers or sources. The ROM is constructed based on the symmetric subset of the data and is used to construct all internal solutions. Remaining receivers are then used directly in the Lippmann-Schwinger equation. We demonstrate the new approach on a number of 1D and 2D examples with non-reciprocal arrays, including a single input/multiple outputs (SIMO) inverse problem, where the data is given by just a single-row matrix transfer function.
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
Lippmann-Schwinger-Lanczos algorithm for inverse scattering problems
Authors:
Vladimir Druskin,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
Data-driven reduced order models (ROMs) are combined with the Lippmann-Schwinger integral equation to produce a direct nonlinear inversion method. The ROM is viewed as a Galerkin projection and is sparse due to Lanczos orthogonalization. Embedding into the continuous problem, a data-driven internal solution is produced. This internal solution is then used in the Lippmann-Schwinger equation, thus m…
▽ More
Data-driven reduced order models (ROMs) are combined with the Lippmann-Schwinger integral equation to produce a direct nonlinear inversion method. The ROM is viewed as a Galerkin projection and is sparse due to Lanczos orthogonalization. Embedding into the continuous problem, a data-driven internal solution is produced. This internal solution is then used in the Lippmann-Schwinger equation, thus making further iterative updates unnecessary. We show numerical experiments for spectral domain domain data for which our inversion is far superior to the Born inversion and works as well as when the true internal solution is known.
△ Less
Submitted 10 April, 2021; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Reduced order models for spectral domain inversion: Embedding into the continuous problem and generation of internal data
Authors:
Liliana Borcea,
Vladimir Druskin,
Alexander V. Mamonov,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
We generate data-driven reduced order models (ROMs) for inversion of the one and two dimensional Schrödinger equation in the spectral domain given boundary data at a few frequencies. The ROM is the Galerkin projection of the Schrödinger operator onto the space spanned by solutions at these sample frequencies. The ROM matrix is in general full, and not good for extracting the potential. However, us…
▽ More
We generate data-driven reduced order models (ROMs) for inversion of the one and two dimensional Schrödinger equation in the spectral domain given boundary data at a few frequencies. The ROM is the Galerkin projection of the Schrödinger operator onto the space spanned by solutions at these sample frequencies. The ROM matrix is in general full, and not good for extracting the potential. However, using an orthogonal change of basis via Lanczos iteration, we can transform the ROM to a block triadiagonal form from which it is easier to extract $q$. In one dimension, the tridiagonal matrix corresponds to a three-point staggered finite-difference system for the Schrödinger operator discretized on a so-called spectrally matched grid which is almost independent of the medium. In higher dimensions, the orthogonalized basis functions play the role of the grid steps. The orthogonalized basis functions are localized and also depend only very weakly on the medium, and thus by embedding into the continuous problem, the reduced order model yields highly accurate internal solutions. That is to say, we can obtain, just from boundary data, very good approximations of the solution of the Schrödinger equation in the whole domain for a spectral interval that includes the sample frequencies. We present inversion experiments based on the internal solutions in one and two dimensions.
△ Less
Submitted 13 September, 2019;
originally announced September 2019.
-
The Imaging of Small Perturbations in an Anisotropic Media
Authors:
Fioralba Cakoni,
Isaac Harris,
Shari Moskow
Abstract:
In this paper, we employ asymptotic analysis to determine information about small volume defects in a known anisotropic scattering medium from far field scattering data. The location of the defects is reconstructed via the MUSIC algorithm from the range of the multi-static response matrix derived from the asymptotic expansion of the far field pattern in the presence of small defects. Since the sam…
▽ More
In this paper, we employ asymptotic analysis to determine information about small volume defects in a known anisotropic scattering medium from far field scattering data. The location of the defects is reconstructed via the MUSIC algorithm from the range of the multi-static response matrix derived from the asymptotic expansion of the far field pattern in the presence of small defects. Since the same data determines the transmission eigenvalues corre- sponding to the perturbed media, we investigate how the presence of the defects changes the transmission eigenvalues and use this information to recover the strength of the small defects. We provide convergence results on transmission eigenvalues as the size of the defects tends to zero as well as derive the first correction term in the asymptotic expansion of the simple transmission eigen- values. Numerical examples are presented to show the viability of our imaging method.
△ Less
Submitted 20 February, 2017;
originally announced February 2017.
-
Local Inversions in Ultrasound Modulated Optical Tomography
Authors:
Guillaume Bal,
Shari Moskow
Abstract:
Ultrasound modulated optical tomography, also called acousto-optics tomography, is a hybrid imaging modality that aims to combine the high contrast of optical waves with the high resolution of ultrasound. We follow the model of the influence of ultrasound modulation on the light intensity measurements developed in [Bal Schotland PRL 2010]. We present sufficient conditions ensuring that the absorpt…
▽ More
Ultrasound modulated optical tomography, also called acousto-optics tomography, is a hybrid imaging modality that aims to combine the high contrast of optical waves with the high resolution of ultrasound. We follow the model of the influence of ultrasound modulation on the light intensity measurements developed in [Bal Schotland PRL 2010]. We present sufficient conditions ensuring that the absorption and diffusion coefficients modeling light propagation can locally be uniquely and stably reconstructed from the corresponding available information. We present an iterative procedure to solve such a problem based on the analysis of linear elliptic systems of redundant partial differential equations.
△ Less
Submitted 21 March, 2013;
originally announced March 2013.
-
Convergence and Stability of the Inverse Scattering Series for Diffuse Waves
Authors:
Shari Moskow,
John C. Schotland
Abstract:
We analyze the inverse scattering series for diffuse waves in random media. In previous work the inverse series was used to develop fast, direct image reconstruction algorithms in optical tomography. Here we characterize the convergence, stability and approximation error of the series
We analyze the inverse scattering series for diffuse waves in random media. In previous work the inverse series was used to develop fast, direct image reconstruction algorithms in optical tomography. Here we characterize the convergence, stability and approximation error of the series
△ Less
Submitted 16 April, 2008;
originally announced April 2008.