-
On spatial systems of cities
Authors:
Gianandrea Lanzara,
Matteo Santacesaria
Abstract:
Are there multiple equilibria in the spatial economy? This paper develops a unified framework that integrates systems of cities and regional models to address this question within a general geographic space. A key feature is the endogenous formation of commuting areas linking a continuum of residential locations to a finite set of potential business districts. Using tools from computational geomet…
▽ More
Are there multiple equilibria in the spatial economy? This paper develops a unified framework that integrates systems of cities and regional models to address this question within a general geographic space. A key feature is the endogenous formation of commuting areas linking a continuum of residential locations to a finite set of potential business districts. Using tools from computational geometry and shape optimization, we derive sufficient conditions for the existence and uniqueness of spatial equilibria. For plausible parameter values, urban location is indeterminate, but, conditional on an urban system, city sizes are uniquely determined. The framework reconciles seemingly conflicting empirical findings on the role of geography and scale economies in shaping the spatial economy.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Assessing the use of Diffusion models for motion artifact correction in brain MRI
Authors:
Paolo Angella,
Vito Paolo Pastore,
Matteo Santacesaria
Abstract:
Magnetic Resonance Imaging generally requires long exposure times, while being sensitive to patient motion, resulting in artifacts in the acquired images, which may hinder their diagnostic relevance. Despite research efforts to decrease the acquisition time, and designing efficient acquisition sequences, motion artifacts are still a persistent problem, pushing toward the need for the development o…
▽ More
Magnetic Resonance Imaging generally requires long exposure times, while being sensitive to patient motion, resulting in artifacts in the acquired images, which may hinder their diagnostic relevance. Despite research efforts to decrease the acquisition time, and designing efficient acquisition sequences, motion artifacts are still a persistent problem, pushing toward the need for the development of automatic motion artifact correction techniques. Recently, diffusion models have been proposed as a solution for the task at hand. While diffusion models can produce high-quality reconstructions, they are also susceptible to hallucination, which poses risks in diagnostic applications. In this study, we critically evaluate the use of diffusion models for correcting motion artifacts in 2D brain MRI scans. Using a popular benchmark dataset, we compare a diffusion model-based approach with state-of-the-art methods consisting of Unets trained in a supervised fashion on motion-affected images to reconstruct ground truth motion-free images. Our findings reveal mixed results: diffusion models can produce accurate predictions or generate harmful hallucinations in this context, depending on data heterogeneity and the acquisition planes considered as input.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
Compressed sensing for inverse problems II: applications to deconvolution, source recovery, and MRI
Authors:
Giovanni S. Alberti,
Alessandro Felisi,
Matteo Santacesaria,
S. Ivan Trapasso
Abstract:
This paper extends the sample complexity theory for ill-posed inverse problems developed in a recent work by the authors [`Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform', J. Eur. Math. Soc., to appear], which was originally focused on the sparse Radon transform. We demonstrate that the underlying abstract framework, based on infinite-dimensional co…
▽ More
This paper extends the sample complexity theory for ill-posed inverse problems developed in a recent work by the authors [`Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform', J. Eur. Math. Soc., to appear], which was originally focused on the sparse Radon transform. We demonstrate that the underlying abstract framework, based on infinite-dimensional compressed sensing and generalized sampling techniques, can effectively handle a variety of practical applications. Specifically, we analyze three case studies: (1) The reconstruction of a sparse signal from a finite number of pointwise blurred samples; (2) The recovery of the (sparse) source term of an elliptic partial differential equation from finite samples of the solution; and (3) A moderately ill-posed variation of the classical sensing problem of recovering a wavelet-sparse signal from finite Fourier samples, motivated by magnetic resonance imaging. For each application, we establish rigorous recovery guarantees by verifying the key theoretical requirements, including quasi-diagonalization and coherence bounds. Our analysis reveals that careful consideration of balancing properties and optimized sampling strategies can lead to improved reconstruction performance. The results provide a unified theoretical foundation for compressed sensing approaches to inverse problems while yielding practical insights for specific applications.
△ Less
Submitted 3 January, 2025;
originally announced January 2025.
-
Learning sparsity-promoting regularizers for linear inverse problems
Authors:
Giovanni S. Alberti,
Ernesto De Vito,
Tapio Helin,
Matti Lassas,
Luca Ratti,
Matteo Santacesaria
Abstract:
This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge…
▽ More
This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge through the choice of $B$. We establish the well-posedness of the optimization problem, provide theoretical guarantees for the learning process, and present sample complexity bounds. The approach is demonstrated through examples, including compact perturbations of a known operator and the problem of learning the mother wavelet, showcasing its flexibility in incorporating prior knowledge into the regularization framework. This work extends previous efforts in Tikhonov regularization by addressing non-differentiable norms and proposing a data-driven approach for sparse regularization in infinite dimensions.
△ Less
Submitted 20 December, 2024;
originally announced December 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 24 July, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
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.
-
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.
