SearcharxivSearch

arXiv subjects

Kim Knudsen

Publications and source records attributed to Kim Knudsen.

At least 19 recordsLinked to original sources

Deep Learning Based Reconstruction Methods for Electrical Impedance Tomography

Electrical Impedance Tomography (EIT) is a powerful imaging modality widely used in medical diagnostics, industrial monitoring, and environmental studies. The EIT inverse problem is about inferring the internal conductivity distribution of the concerned object from the voltage measurements taken on its boundary. This problem is severely ill-posed, and requires advanced computational approaches for accurate and reliable image reconstruction. Recent innovations in both model-based reconstruction and deep learning have driven significant progress in the field. In this review, we explore learned reconstruction methods that employ deep neural networks for solving the EIT inverse problem. The discussion focuses on the complete electrode model, one popular mathematical model for real-world applications of EIT. We compare a wide variety of learned approaches, including fully-learned, post-processing and learned iterative methods, with several conventional model-based reconstruction techniques, e.g., sparsity regularization, regularized Gauss-Newton iteration and level set method. The evaluation is based on three datasets: a simulated dataset of ellipses, an out-of-distribution simulated dataset, and the KIT4 dataset, including real-world measurements. Our results demonstrate that learned methods outperform model-based methods for in-distribution data but face challenges in generalization, where hybrid methods exhibit a good balance of accuracy and adaptability.

eess.IV

Fictitious null spaces for improving the solution of injective inverse problems

For linear ill-posed problems with nontrivial null spaces, Tikhonov regularization and truncated singular value decomposition (TSVD) typically yield solutions that are close to the minimum norm solution. Such a bias is not always desirable, and we have therefore in a series of papers developed a weighting procedure which produces solutions with a different and controlled bias. This methodology can also conveniently be invoked when sparsity regularization is employed. The purpose of the present work is to study the potential use of this weighting applied to injective operators. The image under a compact operator of the singular vectors/functions associated with very small singular values will be almost zero. Consequently, one may regard these singular vectors/functions to constitute a basis for a fictitious null space that allows us to mimic the previous weighting procedure. It turns out that this regularization by weighting can improve the solution of injective inverse problems compared with more traditional approaches. We present some analysis of this methodology and exemplify it numerically, using sparsity regularization, for three PDE-driven inverse problems: the inverse heat conduction problem, the Cauchy problem for Laplace's equation, and the (linearized) Electrical Impedance Tomography problem with experimental data.

math.NA

A Bayesian approach for consistent reconstruction of inclusions

This paper considers a Bayesian approach for inclusion detection in nonlinear inverse problems using two known and popular push-forward prior distributions: the star-shaped and level set prior distributions. We analyze the convergence of the corresponding posterior distributions in a small measurement noise limit. The methodology is general; it works for priors arising from any H\"older continuous transformation of Gaussian random fields and is applicable to a range of inverse problems. The level set and star-shaped prior distributions are examples of push-forward priors under H\"older continuous transformations that take advantage of the structure of inclusion detection problems. We show that the corresponding posterior mean converges to the ground truth in a proper probabilistic sense. Numerical tests on a two-dimensional quantitative photoacoustic tomography problem showcase the approach. The results highlight the convergence properties of the posterior distributions and the ability of the methodology to detect inclusions with sufficiently regular boundaries.

math.ST

Conductivity reconstruction from power density data in limited view

In Acousto-Electric tomography, the objective is to extract information about the interior electrical conductivity in a physical body from knowledge of the interior power density data generated from prescribed boundary conditions for the governing elliptic partial differential equation. In this note, we consider the problem when the controlled boundary conditions are applied only on a small subset of the full boundary. We demonstrate using the unique continuation principle that the Runge approximation property is valid also for this special case of limited view data. As a consequence, we guarantee the existence of finitely many boundary conditions such that the corresponding solutions locally satisfy a non-vanishing gradient condition. This condition is essential for conductivity reconstruction from power density data. In addition, we adapt an existing reconstruction method intended for the full data situation to our setting. We implement the method numerically and investigate the opportunities and shortcomings when reconstructing from two fixed boundary conditions.

math.AP

Sound speed uncertainty in Acousto-Electric Tomography

The goal in acousto-electric tomography (AET) is to reconstruct an image of the unknown electric conductivity in an object from exterior electrostatic currents and voltages that are measured on the boundary of the object while the object is penetrated by propagating ultrasound waves. This problem is a coupled-physics inverse problem. Accurate knowledge of the propagating ultrasound wave is usually assumed and required, but in practice tracking the propagating wave is very hard, or potentially impossible, due inexact knowledge of the object's interior acoustic wave speed. In this work, we model uncertainty in the wave speed, and formulate a suitable reconstruction method for the power density and conductivity. We also establish theoretical error bounds, and show that the suggested approach can be understood as a regularization scheme for the inverse problem. Finally, we simulate the wave speed from a numerical breast tissue model, and computationally explore the severity of the error in the reconstructions. Our results show that with reasonable sound speed uncertainty, reliable reconstruction is possible.

math.NA

Reconstructing anisotropic conductivities on two-dimensional Riemannian manifolds from power densities

We consider an electrically conductive compact two-dimensional Riemannian manifold with smooth boundary. This setting defines a natural conductive Laplacian on the manifold and hence also voltage potentials, current fields and corresponding power densities arising from suitable boundary conditions. Motivated by Acousto-Electric Tomography we show that if the manifold has genus zero and the metric is known, then the anisotropic conductivity can be recovered uniquely and constructively from knowledge of a few power densities. We illustrate the procedure numerically by reconstructing an anisotropic conductivity on the catenoid, i.e. the classical genus zero minimal surface in three-space.

math.AP

Direct regularized reconstruction for the three-dimensional Calderón problem

Electrical Impedance Tomography gives rise to the severely ill-posed Calderón problem of determining the electrical conductivity distribution in a bounded domain from knowledge of the associated Dirichlet-to-Neumann map for the governing equation. The uniqueness and stability questions for the three-dimensional problem were largely answered in the affirmative in the 1980's using complex geometrical optics solutions, and this led further to a direct reconstruction method relying on a non-physical scattering transform. In this paper, the reconstruction problem is taken one step further towards practical applications by considering data contaminated by noise. Indeed, a regularization strategy for the three-dimensional Calderón problem is presented based on a suitable and explicit truncation of the scattering transform. This gives a certified, stable and direct reconstruction method that is robust to small perturbations of the data. Numerical tests on simulated noisy data illustrate the feasibility and regularizing effect of the method, and suggest that the numerical implementation performs better than predicted by theory.

math.AP

Efficient Uncertainty Quantification and Sensitivity Analysis in Epidemic Modelling using Polynomial Chaos

In the political decision process and control of COVID-19 (and other epidemic diseases), mathematical models play an important role. It is crucial to understand and quantify the uncertainty in models and their predictions in order to take the right decisions and trustfully communicate results and limitations. We propose to do uncertainty quantification in SIR-type models using the efficient framework of generalized Polynomial Chaos. Through two particular case studies based on Danish data for the spread of Covid-19 we demonstrate the applicability of the technique. The test cases are related to peak time estimation and superspeading and illustrate how very few model evaluations can provide insightful statistics.

stat.AP

Levenberg-Marquardt algorithm for acousto-electric tomography based on the complete electrode model

The inverse problem in Acousto-Electric tomography concerns the reconstruction of the electric conductivity in a domain from knowledge of the power density function in the interior of the body. This interior power density results from currents prescribed at boundary electrodes (and can be obtained through electro-static boundary measurements together with auxiliary acoustic measurement. In Electrical Impedance Tomography, the complete electrode model is known to be the most accurate model for the forward modelling. In this paper, the reconstruction problem of Acousto-Electric tomography is posed using the (smooth) complete electrode model, and a Levenberg-Marquardt iteration is formulated in appropriate function spaces. This results in a system of partial differential equations to be solved in each iteration. To increase the computational efficiency and stability, a strategy based on both the complete electrode model and the continuum model with Dirichlet boundary condition is proposed. The system of equations is implemented numerically for a two dimensional scenario and the algorithm is tested on two different numerical phantoms, a heart and lung model and a human brain model. Several numerical experiments are carried out confirming the feasibility, accuracy and stability of the methods.

math.NA

Feasibility of Acousto-Electric Tomography

In acousto-electric tomography the goal is to reconstruct the electric conductivity in a domain from electrostatic boundary measurements of corresponding currents and voltages, while the domain is penetrated by a time-dependent acoustic wave. We explicitly model the phenomena, and we propose a complete inversion framework for acousto-electric tomography in two steps: First the interior power density is obtained from boundary measurements by solving a linear, ill-posed problem; second the interior conductivity is reconstructed from the power density by solving a non-linear, fairly well-posed problem. We perform numerical experiments on synthetic data with realistically chosen parameters. We investigate how feasibility of reconstructing the electrical conductivity from boundary measurements depends on the acousto-electric coupling constant and measurement noise. Our findings are positive, and indicate that AET is indeed feasible for interesting applications in for example medical imaging. Finally, we consider a limited angle setup and show that the conductivity is well reconstructed near the measurement boundary.

physics.med-ph

Acousto-Electric Tomography with Total Variation Regularization

We study the numerical reconstruction problem in acousto-electric tomography of recovering the conductivity distribution in a bounded domain from interior power density data. We propose a numerical method for recovering discontinuous conductivity distributions, by reformulating it as an optimization problem with $ L^1 $ fitting and total variation penalty subject to PDE constraints. We establish continuity and differentiability results for the forward map, the well-posedness of the optimization problem, and present an easy-to-implement and robust numerical method based on successive linearization, smoothing and iterative reweighing. Extensive numerical experiments are presented to illustrate the feasibility of the proposed approach.

math.OC

A fully non-linear optimization approach to acousto-electric tomography

This paper considers the non-linear inverse problem of reconstructing an electric conductivity distribution from the interior power density in a bounded domain. Applications include the novel tomographic method known as acousto-electric tomography, in which the measurement setup in Electrical Impedance Tomography is modulated by ultrasonic waves thus giving rise to a method potentially having both high contrast and high resolution. We formulate the inverse problem as a regularized non-linear optimization problem, show the existence of a minimizer, and derive optimality conditions. We propose a non-linear conjugate gradient scheme for finding a minimizer based on the optimality conditions. All our numerical experiments are done in two-dimensions. The experiments reveal new insight into the non-linear effects in the reconstruction. One of the interesting features we observe is that, depending on the choice of regularization, there is a trade-off between high resolution and high contrast in the reconstructed images. Our proposed non-linear optimization framework can be generalized to other hybrid imaging modalities.

math.OC

Stable source reconstruction from a finite number of measurements in the Multi-frequency Inverse Source Problem

We consider the multi-frequency inverse source problem for the scalar Helmholtz equation in the plane. The goal is to reconstruct the source term in the equation from measurements of the solution on a surface outside the support of the source. We study the problem in a certain finite dimensional setting: From measurements made at a finite set of frequencies we uniquely determine and reconstruct sources in a subspace spanned by finitely many Fourier-Bessel functions. Further, we obtain a constructive criterion for identifying a minimal set of measurement frequencies sufficient for reconstruction, and under an additional, mild assumption, the reconstruction method is shown to be stable. Our analysis is based on a singular value decomposition of the source-to-measurement forward operators and the distribution of positive zeros of the Bessel functions of the first kind. The reconstruction method is implemented numerically and our theoretical findings are supported by numerical experiments.

math.NA

Limited Angle Acousto-Electrical Tomography

This paper considers the reconstruction problem in Acousto-Electrical Tomography, i.e., the problem of estimating a spatially varying conductivity in a bounded domain from measurements of the internal power densities resulting from different prescribed boundary conditions. Particular emphasis is placed on the limited angle scenario, in which the boundary conditions are supported only on a part of the boundary. The reconstruction problem is formulated as an optimization problem in a Hilbert space setting and solved using Landweber iteration. The resulting algorithm is implemented numerically in two spatial dimensions and tested on simulated data. The results quantify the intuition that features close to the measurement boundary are stably reconstructed and features further away are less well reconstructed. Finally, the ill-posedness of the limited angle problem is quantified numerically using the singular value decomposition of the corresponding linearized problem.

math.NA

On the propagation of singularities for a class of linearised hybrid inverse problems

For a general formulation of linearised hybrid inverse problems in impedance tomography, the qualitative properties of the solutions are analysed. Using an appropriate scalar pseudo-differential formulation, the problems are shown to permit propagating singularities under certain non-elliptic conditions, and the associated directions of propagation are precisely identified relative to the directions in which ellipticity is lost. The same result is found in the setting for the corresponding normal formulation of the scalar pseudo-differential equations. A numerical reconstruction procedure based of the least squares finite element method is derived, and a series of numerical experiments visualise exactly how the loss of ellipticity manifests itself as propagating singularities.

math.AP

Distinguishability revisited: depth dependent bounds on reconstruction quality in electrical impedance tomography

The reconstruction problem in electrical impedance tomography is highly ill-posed, and it is often observed numerically that reconstructions have poor resolution far away from the measurement boundary but better resolution near the measurement boundary. The observation can be quantified by the concept of distinguishability of inclusions. This paper provides mathematically rigorous results supporting the intuition. Indeed, for a model problem lower and upper bounds on the distinguishability of an inclusion are derived in terms of the boundary data. These bounds depend explicitly on the distance of the inclusion to the boundary, i.e. the depth of the inclusion. The results are obtained for disk inclusions in a homogeneous background in the unit disk. The theoretical bounds are verified numerically using a novel, exact characterization of the forward map as a tridiagonal matrix.

math.AP

Directional Total Generalized Variation Regularization

In inverse problems, prior information and a priori-based regularization techniques play important roles. In this paper, we focus on image restoration problems, especially on restoring images whose texture mainly follow one direction. In order to incorporate the directional information, we propose a new directional total generalized variation (DTGV) functional, which is based on total generalized variation (TGV) by Bredies \textit{et al}. [SIAM J. Imaging Sci., 3 (2010)]. After studying the mathematical properties of DTGV, we utilize it as regularizer and propose the L$^2$-DTGV variational model for solving image restoration problems. Due to the requirement of the directional information in DTGV, we give a direction estimation algorithm, and then apply a primal-dual algorithm to solve the minimization problem. Experimental results show the effectiveness of the proposed method for restoring the directional images. In comparison with isotropic regularizers like total variation and TGV, the improvement of texture preservation and noise removal is significant.

math.NA

3D Reconstruction for Partial Data Electrical Impedance Tomography Using a Sparsity Prior

In electrical impedance tomography the electrical conductivity inside a physical body is computed from electro-static boundary measurements. The focus of this paper is to extend recent result for the 2D problem to 3D. Prior information about the sparsity and spatial distribution of the conductivity is used to improve reconstructions for the partial data problem with Cauchy data measured only on a subset of the boundary. A sparsity prior is enforced using the $\ell_1$ norm in the penalty term of a Tikhonov functional, and spatial prior information is incorporated by applying a spatially distributed regularization parameter. The optimization problem is solved numerically using a generalized conditional gradient method with soft thresholding. Numerical examples show the effectiveness of the suggested method even for the partial data problem with measurements affected by noise.

math.NA