-
Is in-domain data beneficial in transfer learning for landmarks detection in x-ray images?
Authors:
Roberto Di Via,
Matteo Santacesaria,
Francesca Odone,
Vito Paolo Pastore
Abstract:
In recent years, deep learning has emerged as a promising technique for medical image analysis. However, this application domain is likely to suffer from a limited availability of large public datasets and annotations. A common solution to these challenges in deep learning is the usage of a transfer learning framework, typically with a fine-tuning protocol, where a large-scale source dataset is us…
▽ More
In recent years, deep learning has emerged as a promising technique for medical image analysis. However, this application domain is likely to suffer from a limited availability of large public datasets and annotations. A common solution to these challenges in deep learning is the usage of a transfer learning framework, typically with a fine-tuning protocol, where a large-scale source dataset is used to pre-train a model, further fine-tuned on the target dataset. In this paper, we present a systematic study analyzing whether the usage of small-scale in-domain x-ray image datasets may provide any improvement for landmark detection over models pre-trained on large natural image datasets only. We focus on the multi-landmark localization task for three datasets, including chest, head, and hand x-ray images. Our results show that using in-domain source datasets brings marginal or no benefit with respect to an ImageNet out-of-domain pre-training. Our findings can provide an indication for the development of robust landmark detection systems in medical images when no large annotated dataset is available.
△ Less
Submitted 3 March, 2024;
originally announced March 2024.
-
Localization of point scatterers via sparse optimization on measures
Authors:
Giovanni S. Alberti,
Romain Petit,
Matteo Santacesaria
Abstract:
We consider the inverse scattering problem for time-harmonic acoustic waves in a medium with pointwise inhomogeneities. In the Foldy-Lax model, the estimation of the scatterers' locations and intensities from far field measurements can be recast as the recovery of a discrete measure from nonlinear observations. We propose a "linearize and locally optimize" approach to perform this reconstruction.…
▽ More
We consider the inverse scattering problem for time-harmonic acoustic waves in a medium with pointwise inhomogeneities. In the Foldy-Lax model, the estimation of the scatterers' locations and intensities from far field measurements can be recast as the recovery of a discrete measure from nonlinear observations. We propose a "linearize and locally optimize" approach to perform this reconstruction. We first solve a convex program in the space of measures (known as the Beurling LASSO), which involves a linearization of the forward operator (the far field pattern in the Born approximation). Then, we locally minimize a second functional involving the nonlinear forward map, using the output of the first step as initialization. We provide guarantees that the output of the first step is close to the sought-after measure when the scatterers have small intensities and are sufficiently separated. We also provide numerical evidence that the second step still allows for accurate recovery in settings that are more involved.
△ Less
Submitted 23 April, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Learning a Gaussian Mixture for Sparsity Regularization in Inverse Problems
Authors:
Giovanni S. Alberti,
Luca Ratti,
Matteo Santacesaria,
Silvia Sciutto
Abstract:
In inverse problems, it is widely recognized that the incorporation of a sparsity prior yields a regularization effect on the solution. This approach is grounded on the a priori assumption that the unknown can be appropriately represented in a basis with a limited number of significant components, while most coefficients are close to zero. This occurrence is frequently observed in real-world scena…
▽ More
In inverse problems, it is widely recognized that the incorporation of a sparsity prior yields a regularization effect on the solution. This approach is grounded on the a priori assumption that the unknown can be appropriately represented in a basis with a limited number of significant components, while most coefficients are close to zero. This occurrence is frequently observed in real-world scenarios, such as with piecewise smooth signals. In this study, we propose a probabilistic sparsity prior formulated as a mixture of degenerate Gaussians, capable of modeling sparsity with respect to a generic basis. Under this premise, we design a neural network that can be interpreted as the Bayes estimator for linear inverse problems. Additionally, we put forth both a supervised and an unsupervised training strategy to estimate the parameters of this network. To evaluate the effectiveness of our approach, we conduct a numerical comparison with commonly employed sparsity-promoting regularization techniques, namely LASSO, group LASSO, iterative hard thresholding, and sparse coding/dictionary learning. Notably, our reconstructions consistently exhibit lower mean square error values across all $1$D datasets utilized for the comparisons, even in cases where the datasets significantly deviate from a Gaussian mixture model.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Manifold Learning by Mixture Models of VAEs for Inverse Problems
Authors:
Giovanni S. Alberti,
Johannes Hertrich,
Matteo Santacesaria,
Silvia Sciutto
Abstract:
Representing a manifold of very high-dimensional data with generative models has been shown to be computationally efficient in practice. However, this requires that the data manifold admits a global parameterization. In order to represent manifolds of arbitrary topology, we propose to learn a mixture model of variational autoencoders. Here, every encoder-decoder pair represents one chart of a mani…
▽ More
Representing a manifold of very high-dimensional data with generative models has been shown to be computationally efficient in practice. However, this requires that the data manifold admits a global parameterization. In order to represent manifolds of arbitrary topology, we propose to learn a mixture model of variational autoencoders. Here, every encoder-decoder pair represents one chart of a manifold. We propose a loss function for maximum likelihood estimation of the model weights and choose an architecture that provides us the analytical expression of the charts and of their inverses. Once the manifold is learned, we use it for solving inverse problems by minimizing a data fidelity term restricted to the learned manifold. To solve the arising minimization problem we propose a Riemannian gradient descent algorithm on the learned manifold. We demonstrate the performance of our method for low-dimensional toy examples as well as for deblurring and electrical impedance tomography on certain image manifolds.
△ Less
Submitted 12 June, 2024; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform
Authors:
Giovanni S. Alberti,
Alessandro Felisi,
Matteo Santacesaria,
S. Ivan Trapasso
Abstract:
Compressed sensing allows for the recovery of sparse signals from few measurements, whose number is proportional to the sparsity of the unknown signal, up to logarithmic factors. The classical theory typically considers either random linear measurements or subsampled isometries and has found many applications, including accelerated magnetic resonance imaging, which is modeled by the subsampled Fou…
▽ More
Compressed sensing allows for the recovery of sparse signals from few measurements, whose number is proportional to the sparsity of the unknown signal, up to logarithmic factors. The classical theory typically considers either random linear measurements or subsampled isometries and has found many applications, including accelerated magnetic resonance imaging, which is modeled by the subsampled Fourier transform. In this work, we develop a general theory of infinite-dimensional compressed sensing for abstract inverse problems, possibly ill-posed, involving an arbitrary forward operator. This is achieved by considering a generalized restricted isometry property, and a quasi-diagonalization property of the forward map.
As a notable application, for the first time, we obtain rigorous recovery estimates for the sparse Radon transform (i.e., with a finite number of angles $θ_1,\dots,θ_m$), which models computed tomography, in both the parallel-beam and the fan-beam settings. In the case when the unknown signal is $s$-sparse with respect to an orthonormal basis of compactly supported wavelets, we prove stable recovery under the condition \[ m\gtrsim s, \] up to logarithmic factors.
△ Less
Submitted 3 May, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Continuous Generative Neural Networks
Authors:
Giovanni S. Alberti,
Matteo Santacesaria,
Silvia Sciutto
Abstract:
In this work, we present and study Continuous Generative Neural Networks (CGNNs), namely, generative models in the continuous setting: the output of a CGNN belongs to an infinite-dimensional function space. The architecture is inspired by DCGAN, with one fully connected layer, several convolutional layers and nonlinear activation functions. In the continuous $L^2$ setting, the dimensions of the sp…
▽ More
In this work, we present and study Continuous Generative Neural Networks (CGNNs), namely, generative models in the continuous setting: the output of a CGNN belongs to an infinite-dimensional function space. The architecture is inspired by DCGAN, with one fully connected layer, several convolutional layers and nonlinear activation functions. In the continuous $L^2$ setting, the dimensions of the spaces of each layer are replaced by the scales of a multiresolution analysis of a compactly supported wavelet. We present conditions on the convolutional filters and on the nonlinearity that guarantee that a CGNN is injective. This theory finds applications to inverse problems, and allows for deriving Lipschitz stability estimates for (possibly nonlinear) infinite-dimensional inverse problems with unknowns belonging to the manifold generated by a CGNN. Several numerical simulations, including signal deblurring, illustrate and validate this approach.
△ Less
Submitted 20 April, 2023; v1 submitted 29 May, 2022;
originally announced May 2022.
-
Market Areas in General Equilibrium
Authors:
Gianandrea Lanzara,
Matteo Santacesaria
Abstract:
This paper proposes a spatial model with a realistic geography where a continuous distribution of agents (e.g., farmers) engages in economic interactions with one location from a finite set (e.g., cities). The spatial structure of the equilibrium consists of a tessellation, i.e., a partition of space into a collection of mutually exclusive market areas. After proving the existence of a unique equi…
▽ More
This paper proposes a spatial model with a realistic geography where a continuous distribution of agents (e.g., farmers) engages in economic interactions with one location from a finite set (e.g., cities). The spatial structure of the equilibrium consists of a tessellation, i.e., a partition of space into a collection of mutually exclusive market areas. After proving the existence of a unique equilibrium, we characterize how the location of borders and, in the case with mobile labor, the set of inhabited cities change in response to economic shocks. To deal with a two-dimensional space, we draw on tools from computational geometry and from the theory of shape optimization. Finally, we provide an empirical application to illustrate the usefulness of the framework for applied work.
△ Less
Submitted 23 February, 2023; v1 submitted 29 October, 2021;
originally announced October 2021.
-
Learning the optimal Tikhonov regularizer for inverse problems
Authors:
Giovanni S. Alberti,
Ernesto De Vito,
Matti Lassas,
Luca Ratti,
Matteo Santacesaria
Abstract:
In this work, we consider the linear inverse problem $y=Ax+ε$, where $A\colon X\to Y$ is a known linear operator between the separable Hilbert spaces $X$ and $Y$, $x$ is a random variable in $X$ and $ε$ is a zero-mean random process in $Y$. This setting covers several inverse problems in imaging including denoising, deblurring, and X-ray tomography. Within the classical framework of regularization…
▽ More
In this work, we consider the linear inverse problem $y=Ax+ε$, where $A\colon X\to Y$ is a known linear operator between the separable Hilbert spaces $X$ and $Y$, $x$ is a random variable in $X$ and $ε$ is a zero-mean random process in $Y$. This setting covers several inverse problems in imaging including denoising, deblurring, and X-ray tomography. Within the classical framework of regularization, we focus on the case where the regularization functional is not given a priori but learned from data. Our first result is a characterization of the optimal generalized Tikhonov regularizer, with respect to the mean squared error. We find that it is completely independent of the forward operator $A$ and depends only on the mean and covariance of $x$. Then, we consider the problem of learning the regularizer from a finite training set in two different frameworks: one supervised, based on samples of both $x$ and $y$, and one unsupervised, based only on samples of $x$. In both cases, we prove generalization bounds, under some weak assumptions on the distribution of $x$ and $ε$, including the case of sub-Gaussian variables. Our bounds hold in infinite-dimensional spaces, thereby showing that finer and finer discretizations do not make this learning problem harder. The results are validated through numerical simulations.
△ Less
Submitted 22 November, 2021; v1 submitted 11 June, 2021;
originally announced June 2021.
-
Neural networks for classification of strokes in electrical impedance tomography on a 3D head model
Authors:
Valentina Candiani,
Matteo Santacesaria
Abstract:
We consider the problem of the detection of brain hemorrhages from three dimensional (3D) electrical impedance tomography (EIT) measurements. This is a condition requiring urgent treatment for which EIT might provide a portable and quick diagnosis. We employ two neural network architectures -- a fully connected and a convolutional one -- for the classification of hemorrhagic and ischemic strokes.…
▽ More
We consider the problem of the detection of brain hemorrhages from three dimensional (3D) electrical impedance tomography (EIT) measurements. This is a condition requiring urgent treatment for which EIT might provide a portable and quick diagnosis. We employ two neural network architectures -- a fully connected and a convolutional one -- for the classification of hemorrhagic and ischemic strokes. The networks are trained on a dataset with $40\,000$ samples of synthetic electrode measurements generated with the complete electrode model on realistic heads with a 3-layer structure. We consider changes in head anatomy and layers, electrode position, measurement noise and conductivity values. We then test the networks on several datasets of unseen EIT data, with more complex stroke modeling (different shapes and volumes), higher levels of noise and different amounts of electrode misplacement. On most test datasets we achieve $\geq 90\%$ average accuracy with fully connected neural networks, while the convolutional ones display an average accuracy $\geq 80\%$. Despite the use of simple neural network architectures, the results obtained are very promising and motivate the applications of EIT-based classification methods on real phantoms and ultimately on human patients.
△ Less
Submitted 30 August, 2021; v1 submitted 5 November, 2020;
originally announced November 2020.
-
Compressed sensing photoacoustic tomography reduces to compressed sensing for undersampled Fourier measurements
Authors:
Giovanni S. Alberti,
Paolo Campodonico,
Matteo Santacesaria
Abstract:
Photoacoustic tomography (PAT) is an emerging imaging modality that aims at measuring the high-contrast optical properties of tissues by means of high-resolution ultrasonic measurements. The interaction between these two types of waves is based on the thermoacoustic effect. In recent years, many works have investigated the applicability of compressed sensing to PAT, in order to reduce measuring ti…
▽ More
Photoacoustic tomography (PAT) is an emerging imaging modality that aims at measuring the high-contrast optical properties of tissues by means of high-resolution ultrasonic measurements. The interaction between these two types of waves is based on the thermoacoustic effect. In recent years, many works have investigated the applicability of compressed sensing to PAT, in order to reduce measuring times while maintaining a high reconstruction quality. However, in most cases, theoretical guarantees are missing. In this work, we show that in many measurement setups of practical interest, compressed sensing PAT reduces to compressed sensing for undersampled Fourier measurements. This is achieved by applying known reconstruction formulae in the case of the free-space model for wave propagation, and by applying the theories of Riesz bases and nonuniform Fourier series in the case of the bounded domain model. Extensive numerical simulations illustrate and validate the approach.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Inverse problems on low-dimensional manifolds
Authors:
Giovanni S. Alberti,
Ángel Arroyo,
Matteo Santacesaria
Abstract:
We consider abstract inverse problems between infinite-dimensional Banach spaces. These inverse problems are typically nonlinear and ill-posed, making the inversion with limited and noisy measurements a delicate process. In this work, we assume that the unknown belongs to a finite-dimensional manifold: this assumption arises in many real-world scenarios where natural objects have a low intrinsic d…
▽ More
We consider abstract inverse problems between infinite-dimensional Banach spaces. These inverse problems are typically nonlinear and ill-posed, making the inversion with limited and noisy measurements a delicate process. In this work, we assume that the unknown belongs to a finite-dimensional manifold: this assumption arises in many real-world scenarios where natural objects have a low intrinsic dimension and belong to a certain submanifold of a much larger ambient space. We prove uniqueness and Hölder and Lipschitz stability results in this general setting, also in the case when only a finite discretization of the measurements is available. Then, a Landweber-type reconstruction algorithm from a finite number of measurements is proposed, for which we prove global convergence, thanks to a new criterion for finding a suitable initial guess.
These general results are then applied to several examples, including two classical nonlinear ill-posed inverse boundary value problems. The first is Calderón's inverse conductivity problem, for which we prove a Lipschitz stability estimate from a finite number of measurements for piece-wise constant conductivities with discontinuities on an unknown triangle. A similar stability result is then obtained for Gel'fand-Calderón's problem for the Schrödinger equation, in the case of piece-wise constant potentials with discontinuities on a finite number of non-intersecting balls.
△ Less
Submitted 23 April, 2022; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Classification of stroke using Neural Networks in Electrical Impedance Tomography
Authors:
Juan Pablo Agnelli,
Aynur Çöl,
Matti Lassas,
Rashmi Murthy,
Matteo Santacesaria,
Samuli Siltanen
Abstract:
Electrical Impedance Tomography (EIT) is an emerging non-invasive medical imaging modality. It is based on feeding electrical currents into the patient, measuring the resulting voltages at the skin, and recovering the internal conductivity distribution. The mathematical task of EIT image reconstruction is a nonlinear and ill-posed inverse problem. Therefore any EIT image reconstruction method need…
▽ More
Electrical Impedance Tomography (EIT) is an emerging non-invasive medical imaging modality. It is based on feeding electrical currents into the patient, measuring the resulting voltages at the skin, and recovering the internal conductivity distribution. The mathematical task of EIT image reconstruction is a nonlinear and ill-posed inverse problem. Therefore any EIT image reconstruction method needs to be regularized, typically resulting in blurred images. One promising application is stroke-EIT, or classification of stroke into either ischemic or hemorrhagic. Ischemic stroke involves a blood clot, preventing blood flow to a part of the brain causing a low-conductivity region. Hemorrhagic stroke means bleeding in the brain causing a high-conductivity region. In both cases the symptoms are identical, so a cost-effective and portable classification device is needed. Typical EIT are not optimal for stroke-EIT because of blurriness. This paper explores the possibilities of machine learning in improving the classification results. Two paradigms are compared: (a) learning from the EIT data, that is Dirichlet-to-Neumann (DN) maps and (b) extracting robust features from data and learning from them. The features of choice are Virtual Hybrid Edge Detection (VHED) functions [Greenleaf {\it et al.}, Analysis \& PDE 11, 2018] that have a geometric interpretation and whose computation from EIT data does not involve calculating a full image of the conductivity. We report the measures of accuracy, sensitivity and specificity of the networks trained with EIT data and VHED functions separately. Computational evidence based on simulated noisy EIT data suggests that the regularized grey-box paradigm (b) leads to significantly better classification results than the black-box paradigm (a).
△ Less
Submitted 2 September, 2020; v1 submitted 14 April, 2020;
originally announced April 2020.
-
Calderón's Inverse Problem with a Finite Number of Measurements II: Independent Data
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We prove a local Lipschitz stability estimate for Gel'fand-Calderón's inverse problem for the Schrödinger equation. The main novelty is that only a finite number of boundary input data is available, and those are independent of the unknown potential, provided it belongs to a known finite-dimensional subspace of $L^\infty$. A similar result for Calderón's problem is obtained as a corollary. This im…
▽ More
We prove a local Lipschitz stability estimate for Gel'fand-Calderón's inverse problem for the Schrödinger equation. The main novelty is that only a finite number of boundary input data is available, and those are independent of the unknown potential, provided it belongs to a known finite-dimensional subspace of $L^\infty$. A similar result for Calderón's problem is obtained as a corollary. This improves upon two previous results of the authors on several aspects, namely the number of measurements and the stability with respect to mismodeling errors. A new iterative reconstruction scheme based on the stability result is also presented, for which we prove exponential convergence in the number of iterations and stability with respect to noise in the data and to mismodeling errors.
△ Less
Submitted 23 March, 2020; v1 submitted 29 January, 2020;
originally announced January 2020.
-
On an inverse Robin spectral problem
Authors:
Matteo Santacesaria,
Toshiaki Yachimura
Abstract:
We consider the problem of the recovery of a Robin coefficient on a part $γ\subset \partial Ω$ of the boundary of a bounded domain $Ω$ from the principal eigenvalue and the boundary values of the normal derivative of the principal eigenfunction of the Laplace operator with Dirichlet boundary condition on $\partial Ω\setminus γ$. We prove uniqueness, as well as local Lipschitz stability of the inve…
▽ More
We consider the problem of the recovery of a Robin coefficient on a part $γ\subset \partial Ω$ of the boundary of a bounded domain $Ω$ from the principal eigenvalue and the boundary values of the normal derivative of the principal eigenfunction of the Laplace operator with Dirichlet boundary condition on $\partial Ω\setminus γ$. We prove uniqueness, as well as local Lipschitz stability of the inverse problem. Moreover, we present an iterative reconstruction algorithm with numerical computations in two dimensions showing the accuracy of the method.
△ Less
Submitted 28 March, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Infinite-dimensional inverse problems with finite measurements
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We present a general framework to study uniqueness, stability and reconstruction for infinite-dimensional inverse problems when only a finite-dimensional approximation of the measurements is available. For a large class of inverse problems satisfying Lipschitz stability we show that the same estimate holds even with a finite number of measurements. We also derive a globally convergent reconstructi…
▽ More
We present a general framework to study uniqueness, stability and reconstruction for infinite-dimensional inverse problems when only a finite-dimensional approximation of the measurements is available. For a large class of inverse problems satisfying Lipschitz stability we show that the same estimate holds even with a finite number of measurements. We also derive a globally convergent reconstruction algorithm based on the Landweber iteration. This theory applies to nonlinear ill-posed problems such as electrical impedance tomography, inverse scattering and quantitative photoacoustic tomography, under the assumption that the unknown belongs to a finite-dimensional subspace.
△ Less
Submitted 7 December, 2020; v1 submitted 24 June, 2019;
originally announced June 2019.
-
Note on Calderón's inverse problem for measurable conductivities
Authors:
Matteo Santacesaria
Abstract:
The unique determination of a measurable conductivity from the Dirichlet-to-Neumann map of the equation $\mathrm{div} (σ\nabla u) = 0$ is the subject of this note. A new strategy, based on Clifford algebras and a higher dimensional analogue of the Beltrami equation, is here proposed. This represents a possible first step for a proof of uniqueness for the Calderón problem in three and higher dimens…
▽ More
The unique determination of a measurable conductivity from the Dirichlet-to-Neumann map of the equation $\mathrm{div} (σ\nabla u) = 0$ is the subject of this note. A new strategy, based on Clifford algebras and a higher dimensional analogue of the Beltrami equation, is here proposed. This represents a possible first step for a proof of uniqueness for the Calderón problem in three and higher dimensions in the $L^\infty$ case.
△ Less
Submitted 25 June, 2019; v1 submitted 19 March, 2018;
originally announced March 2018.
-
Calderón's Inverse Problem with a Finite Number of Measurements
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We prove that an $L^\infty$ potential in the Schrödinger equation in three and higher dimensions can be uniquely determined from a finite number of boundary measurements, provided it belongs to a known finite dimensional subspace $\mathcal W$. As a corollary, we obtain a similar result for Calderón's inverse conductivity problem. Lipschitz stability estimates and a globally convergent nonlinear re…
▽ More
We prove that an $L^\infty$ potential in the Schrödinger equation in three and higher dimensions can be uniquely determined from a finite number of boundary measurements, provided it belongs to a known finite dimensional subspace $\mathcal W$. As a corollary, we obtain a similar result for Calderón's inverse conductivity problem. Lipschitz stability estimates and a globally convergent nonlinear reconstruction algorithm for both inverse problems are also presented. These are the first results on global uniqueness, stability and reconstruction for nonlinear inverse boundary value problems with finitely many measurements. We also discuss a few relevant examples of finite dimensional subspaces $\mathcal W$, including bandlimited and piecewise constant potentials, and explicitly compute the number of required measurements as a function of $\dim \mathcal W$.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Infinite dimensional compressed sensing from anisotropic measurements and applications to inverse problems in PDE
Authors:
Giovanni S. Alberti,
Matteo Santacesaria
Abstract:
We consider a compressed sensing problem in which both the measurement and the sparsifying systems are assumed to be frames (not necessarily tight) of the underlying Hilbert space of signals, which may be finite or infinite dimensional. The main result gives explicit bounds on the number of measurements in order to achieve stable recovery, which depends on the mutual coherence of the two systems.…
▽ More
We consider a compressed sensing problem in which both the measurement and the sparsifying systems are assumed to be frames (not necessarily tight) of the underlying Hilbert space of signals, which may be finite or infinite dimensional. The main result gives explicit bounds on the number of measurements in order to achieve stable recovery, which depends on the mutual coherence of the two systems. As a simple corollary, we prove the efficiency of nonuniform sampling strategies in cases when the two systems are not incoherent, but only asymptotically incoherent, as with the recovery of wavelet coefficients from Fourier samples. This general framework finds applications to inverse problems in partial differential equations, where the standard assumptions of compressed sensing are often not satisfied. Several examples are discussed, with a special focus on electrical impedance tomography.
△ Less
Submitted 25 May, 2019; v1 submitted 30 October, 2017;
originally announced October 2017.
-
Reconstruction of a piecewise constant conductivity on a polygonal partition via shape optimization in EIT
Authors:
Elena Beretta,
Stefano Micheletti,
Simona Perotto,
Matteo Santacesaria
Abstract:
In this paper, we develop a shape optimization-based algorithm for the electrical impedance tomography (EIT) problem of determining a piecewise constant conductivity on a polygonal partition from boundary measurements. The key tool is to use a distributed shape derivative of a suitable cost functional with respect to movements of the partition. Numerical simulations showing the robustness and accu…
▽ More
In this paper, we develop a shape optimization-based algorithm for the electrical impedance tomography (EIT) problem of determining a piecewise constant conductivity on a polygonal partition from boundary measurements. The key tool is to use a distributed shape derivative of a suitable cost functional with respect to movements of the partition. Numerical simulations showing the robustness and accuracy of the method are presented for simulated test cases in two dimensions.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
Propagation and recovery of singularities in the inverse conductivity problem
Authors:
Allan Greenleaf,
Matti Lassas,
Matteo Santacesaria,
Samuli Siltanen,
Gunther Uhlmann
Abstract:
The ill-posedness of Calderón's inverse conductivity problem, responsible for the poor spatial resolution of Electrical Impedance Tomography (EIT), has been an impetus for the development of hybrid imaging techniques, which compensate for this lack of resolution by coupling with a second type of physical wave, typically modeled by a hyperbolic PDE. Here we show how, using EIT data alone, to effici…
▽ More
The ill-posedness of Calderón's inverse conductivity problem, responsible for the poor spatial resolution of Electrical Impedance Tomography (EIT), has been an impetus for the development of hybrid imaging techniques, which compensate for this lack of resolution by coupling with a second type of physical wave, typically modeled by a hyperbolic PDE. Here we show how, using EIT data alone, to efficiently detect interior jumps and other singularities of the conductivity. Analysis of the complex geometrical optics solutions of Astala and Päivärinta [\emph{Ann. Math.}, {\bf 163} (2006)] in 2D makes it possible to exploit an underlying complex principal type structure of the problem. We show that the leading term in a Neumann series is an invertible nonlinear generalized Radon transform of the conductivity. The wave front set of all higher-order terms can be characterized, and, under a prior, some are smoother than the leading term. Numerics indicate that this approach effectively detects inclusions within inclusions via EIT.
△ Less
Submitted 11 September, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Direct inversion from partial-boundary data in electrical impedance tomography
Authors:
Andreas Hauptmann,
Matteo Santacesaria,
Samuli Siltanen
Abstract:
In Electrical Impedance Tomography (EIT) one wants to image the conductivity distribution of a body from current and voltage measurements carried out on its boundary. In this paper we consider the underlying mathematical model, the inverse conductivity problem, in two dimensions and under the realistic assumption that only a part of the boundary is accessible to measurements. In this framework our…
▽ More
In Electrical Impedance Tomography (EIT) one wants to image the conductivity distribution of a body from current and voltage measurements carried out on its boundary. In this paper we consider the underlying mathematical model, the inverse conductivity problem, in two dimensions and under the realistic assumption that only a part of the boundary is accessible to measurements. In this framework our data are modeled as a partial Neumann-to-Dirichlet map (ND map). We compare this data to the full-boundary ND map and prove that the error depends linearly on the size of the missing part of the boundary. The same linear dependence is further proved for the difference of the reconstructed conductivities -- from partial and full boundary data. The reconstruction is based on a truncated and linearized D-bar method. Auxiliary results include an extrapolation method to obtain the full-boundary data from the measured one, an approximation of the complex geometrical optics solutions computed directly from the ND map as well as an approximate scattering transform for reconstructing the conductivity. Numerical verification of the convergence results and reconstructions are presented for simulated test cases.
△ Less
Submitted 7 April, 2017; v1 submitted 4 May, 2016;
originally announced May 2016.
-
Positive-energy D-bar method for acoustic tomography: a computational study
Authors:
Maarten de Hoop,
Matti Lassas,
Matteo Santacesaria,
Samuli Siltanen,
Janne P. Tamminen
Abstract:
A new computational method for reconstructing a potential from the Dirichlet-to-Neumann map at positive energy is developed. The method is based on D-bar techniques and it works in absence of exceptional points -- in particular, if the potential is small enough compared to the energy. Numerical tests reveal exceptional points for perturbed, radial potentials. Reconstructions for several potentials…
▽ More
A new computational method for reconstructing a potential from the Dirichlet-to-Neumann map at positive energy is developed. The method is based on D-bar techniques and it works in absence of exceptional points -- in particular, if the potential is small enough compared to the energy. Numerical tests reveal exceptional points for perturbed, radial potentials. Reconstructions for several potentials are computed using simulated Dirichlet-to-Neumann maps with and without added noise. The new reconstruction method is shown to work well for energy values between $10^{-5}$ and $5$, smaller values giving better results.
△ Less
Submitted 14 December, 2015; v1 submitted 8 July, 2013;
originally announced July 2013.
-
A Holder-logarithmic stability estimate for an inverse problem in two dimensions
Authors:
Matteo Santacesaria
Abstract:
The problem of the recovery of a real-valued potential in the two-dimensional Schrodinger equation at positive energy from the Dirichlet-to-Neumann map is considered. It is know that this problem is severely ill-posed and the reconstruction of the potential is only logarithmic stable in general. In this paper a new stability estimate is proved, which is explicitly dependent on the regularity of th…
▽ More
The problem of the recovery of a real-valued potential in the two-dimensional Schrodinger equation at positive energy from the Dirichlet-to-Neumann map is considered. It is know that this problem is severely ill-posed and the reconstruction of the potential is only logarithmic stable in general. In this paper a new stability estimate is proved, which is explicitly dependent on the regularity of the potentials and on the energy. Its main feature is an efficient increasing stability phenomenon at sufficiently high energies: in some sense, the stability rapidly changes from logarithmic type to Holder type. The paper develops also several estimates for a non-local Riemann-Hilbert problem which could be of independent interest.
△ Less
Submitted 27 June, 2013; v1 submitted 4 June, 2013;
originally announced June 2013.
-
Stability estimates for an inverse problem for the Schrödinger equation at negative energy in two dimensions
Authors:
Matteo Santacesaria
Abstract:
We study the inverse problem of determining a real-valued potential in the two-dimensional Schrödinger equation at negative energy from the Dirichlet-to-Neumann map. It is known that the problem is ill-posed and a stability estimate of logarithmic type holds. In this paper we prove three new stability estimates. The main feature of the first one is that the stability increases exponentially with r…
▽ More
We study the inverse problem of determining a real-valued potential in the two-dimensional Schrödinger equation at negative energy from the Dirichlet-to-Neumann map. It is known that the problem is ill-posed and a stability estimate of logarithmic type holds. In this paper we prove three new stability estimates. The main feature of the first one is that the stability increases exponentially with respect to the smoothness of the potential, in a sense to be made precise. The others show how the first estimate depends on the energy, for low and high energies (in modulus). In particular it is found that for high energies the stability estimate changes, in some sense, from logarithmic type to Lipschitz type: in this sense the ill-posedness of the problem decreases when increasing the energy (in modulus).
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
-
New global stability estimates for the Calderón problem in two dimensions
Authors:
Matteo Santacesaria
Abstract:
We prove a new global stability estimate for the Gel'fand-Calderón inverse problem on a two-dimensional bounded domain or, more precisely, the inverse boundary value problem for the equation $-Δψ+ v\, ψ= 0$ on $D$, where $v$ is a smooth real-valued potential of conductivity type defined on a bounded planar domain $D$. The principal feature of this estimate is that it shows that the more a potentia…
▽ More
We prove a new global stability estimate for the Gel'fand-Calderón inverse problem on a two-dimensional bounded domain or, more precisely, the inverse boundary value problem for the equation $-Δψ+ v\, ψ= 0$ on $D$, where $v$ is a smooth real-valued potential of conductivity type defined on a bounded planar domain $D$. The principal feature of this estimate is that it shows that the more a potential is smooth, the more its reconstruction is stable, and the stability varies exponentially with respect to the smoothness (in a sense to be made precise). As a corollary we obtain a similar estimate for the Calderón problem for the electrical impedance tomography.
△ Less
Submitted 11 March, 2012; v1 submitted 3 October, 2011;
originally announced October 2011.
-
Monochromatic reconstruction algorithms for two-dimensional multi-channel inverse problems
Authors:
Roman Novikov,
Matteo Santacesaria
Abstract:
We consider two inverse problems for the multi-channel two-dimensional Schrödinger equation at fixed positive energy, i.e. the equation $-Δψ+ V(x)ψ= E ψ$ at fixed positive $E$, where $V$ is a matrix-valued potential. The first is the Gel'fand inverse problem on a bounded domain $D$ at fixed energy and the second is the inverse fixed-energy scattering problem on the whole plane $\R^2$. We present i…
▽ More
We consider two inverse problems for the multi-channel two-dimensional Schrödinger equation at fixed positive energy, i.e. the equation $-Δψ+ V(x)ψ= E ψ$ at fixed positive $E$, where $V$ is a matrix-valued potential. The first is the Gel'fand inverse problem on a bounded domain $D$ at fixed energy and the second is the inverse fixed-energy scattering problem on the whole plane $\R^2$. We present in this paper two algorithms which give efficient approximate solutions to these problems: in particular, in both cases we show that the potential $V$ is reconstructed with Lipschitz stability by these algorithms up to $O(E^{-(m-2)/2})$ in the uniform norm as $E \to +\infty$, under the assumptions that $V$ is $m$-times differentiable in $L^1$, for $m \geq 3$, and has sufficient boundary decay.
△ Less
Submitted 9 November, 2011; v1 submitted 20 May, 2011;
originally announced May 2011.
-
Global stability for the multi-channel Gel'fand-Calderón inverse problem in two dimensions
Authors:
Matteo Santacesaria
Abstract:
We prove a global logarithmic stability estimate for the multi-channel Gel'fand-Calderón inverse problem on a two-dimensional bounded domain, i.e. the inverse boundary value problem for the equation $-Δψ+ v\, ψ= 0$ on $D$, where $v$ is a smooth matrix-valued potential defined on a bounded planar domain $D$.
We prove a global logarithmic stability estimate for the multi-channel Gel'fand-Calderón inverse problem on a two-dimensional bounded domain, i.e. the inverse boundary value problem for the equation $-Δψ+ v\, ψ= 0$ on $D$, where $v$ is a smooth matrix-valued potential defined on a bounded planar domain $D$.
△ Less
Submitted 25 February, 2011;
originally announced February 2011.
-
Global uniqueness and reconstruction for the multi-channel Gel'fand-Calderón inverse problem in two dimensions
Authors:
Roman Novikov,
Matteo Santacesaria
Abstract:
We study the multi-channel Gel'fand-Calderón inverse problem in two dimensions, i.e. the inverse boundary value problem for the equation $-Δψ+ v(x) ψ= 0$, $x\in D$, where $v$ is a smooth matrix-valued potential defined on a bounded planar domain $D$. We give an exact global reconstruction method for finding $v$ from the associated Dirichlet-to-Neumann operator. This also yields a global uniqueness…
▽ More
We study the multi-channel Gel'fand-Calderón inverse problem in two dimensions, i.e. the inverse boundary value problem for the equation $-Δψ+ v(x) ψ= 0$, $x\in D$, where $v$ is a smooth matrix-valued potential defined on a bounded planar domain $D$. We give an exact global reconstruction method for finding $v$ from the associated Dirichlet-to-Neumann operator. This also yields a global uniqueness results: if two smooth matrix-valued potentials defined on a bounded planar domain have the same Dirichlet-to-Neumann operator then they coincide.
△ Less
Submitted 9 March, 2011; v1 submitted 21 December, 2010;
originally announced December 2010.
-
A global stability estimate for the Gel'fand-Calderon inverse problem in two dimensions
Authors:
Roman Novikov,
Matteo Santacesaria
Abstract:
We prove a global logarithmic stability estimate for the Gel'fand-Calderon inverse problem on a two-dimensional domain.
We prove a global logarithmic stability estimate for the Gel'fand-Calderon inverse problem on a two-dimensional domain.
△ Less
Submitted 4 December, 2010; v1 submitted 28 August, 2010;
originally announced August 2010.
-
Gel'fand-Calderón's inverse problem for anisotropic conductivities on bordered surfaces in $\mathbb{R}^3$
Authors:
Gennadi Henkin,
Matteo Santacesaria
Abstract:
Let $X$ be a smooth bordered surface in $\real^3$ with smooth boundary and $\hat σ$ a smooth anisotropic conductivity on $X$. If the genus of $X$ is given, then starting from the Dirichlet-to-Neumann operator $Λ_{\hat σ}$ on $\partial X$, we give an explicit procedure to find a unique Riemann surface $Y$ (up to a biholomorphism), an isotropic conductivity $σ$ on $Y$ and the boundary values of a qu…
▽ More
Let $X$ be a smooth bordered surface in $\real^3$ with smooth boundary and $\hat σ$ a smooth anisotropic conductivity on $X$. If the genus of $X$ is given, then starting from the Dirichlet-to-Neumann operator $Λ_{\hat σ}$ on $\partial X$, we give an explicit procedure to find a unique Riemann surface $Y$ (up to a biholomorphism), an isotropic conductivity $σ$ on $Y$ and the boundary values of a quasiconformal diffeomorphism $F: X \to Y$ which transforms $\hat σ$ into $σ$.
As a corollary we obtain the following uniqueness result: if $σ_1, σ_2$ are two smooth anisotropic conductivities on $X$ with $Λ_{σ_1}= Λ_{σ_2}$, then there exists a smooth diffeomorphism $Φ: \bar X \to \bar X$ which transforms $σ_1$ into $σ_2$.
△ Less
Submitted 9 February, 2011; v1 submitted 3 June, 2010;
originally announced June 2010.
-
On an inverse problem for anisotropic conductivity in the plane
Authors:
Gennadi Henkin,
Matteo Santacesaria
Abstract:
Let $\hat Ω\subset \mathbb R^2$ be a bounded domain with smooth boundary and $\hat σ$ a smooth anisotropic conductivity on $\hat Ω$. Starting from the Dirichlet-to-Neumann operator $Λ_{\hat σ}$ on $\partial \hat Ω$, we give an explicit procedure to find a unique domain $Ω$, an isotropic conductivity $σ$ on $Ω$ and the boundary values of a quasiconformal diffeomorphism $F:\hat Ω\to Ω$ which transfo…
▽ More
Let $\hat Ω\subset \mathbb R^2$ be a bounded domain with smooth boundary and $\hat σ$ a smooth anisotropic conductivity on $\hat Ω$. Starting from the Dirichlet-to-Neumann operator $Λ_{\hat σ}$ on $\partial \hat Ω$, we give an explicit procedure to find a unique domain $Ω$, an isotropic conductivity $σ$ on $Ω$ and the boundary values of a quasiconformal diffeomorphism $F:\hat Ω\to Ω$ which transforms $\hat σ$ into $σ$.
△ Less
Submitted 6 February, 2014; v1 submitted 9 March, 2010;
originally announced March 2010.