-
Material-separating regularizer for multi-energy X-ray tomography
Authors:
Jacek Gondzio,
Matti Lassas,
Salla-Maaria Latva-Äijö,
Samuli Siltanen,
Filippo Zanetti
Abstract:
Dual-energy X-ray tomography is considered in a context where the target under imaging consists of two distinct materials. The materials are assumed to be possibly intertwined in space, but at any given location there is only one material present. Further, two X-ray energies are chosen so that there is a clear difference in the spectral dependence of the attenuation coefficients of the two materia…
▽ More
Dual-energy X-ray tomography is considered in a context where the target under imaging consists of two distinct materials. The materials are assumed to be possibly intertwined in space, but at any given location there is only one material present. Further, two X-ray energies are chosen so that there is a clear difference in the spectral dependence of the attenuation coefficients of the two materials. A novel regularizer is presented for the inverse problem of reconstructing separate tomographic images for the two materials. A combination of two things, (a) non-negativity constraint, and (b) penalty term containing the inner product between the two material images, promotes the presence of at most one material in a given pixel. A preconditioned interior point method is derived for the minimization of the regularization functional. Numerical tests with digital phantoms suggest that the new algorithm outperforms the baseline method, Joint Total Variation regularization, in terms of correctly material-characterized pixels. While the method is tested only in a two-dimensional setting with two materials and two energies, the approach readily generalizes to three dimensions and more materials. The number of materials just needs to match the number of energies used in imaging.
△ Less
Submitted 28 June, 2021;
originally announced July 2021.
-
Simultaneous reconstruction of conductivity, boundary shape and contact impedances in electrical impedance tomography
Authors:
J. P. Agnelli,
V. Kolehmainen,
M. Lassas,
P. Ola,
S. Siltanen
Abstract:
The objective of electrical impedance tomography (EIT) is to reconstruct the internal conductivity of a physical body based on current and voltage measurements at the boundary of the body. In many medical applications the exact shape of the domain boundary and contact impedances are not available. This is problematic as even small errors in the boundary shape of the computation domain or in the co…
▽ More
The objective of electrical impedance tomography (EIT) is to reconstruct the internal conductivity of a physical body based on current and voltage measurements at the boundary of the body. In many medical applications the exact shape of the domain boundary and contact impedances are not available. This is problematic as even small errors in the boundary shape of the computation domain or in the contact impedance values can produce large artifacts in the reconstructed images which results in a loss of relevant information. A method is proposed that simultaneously reconstructs the conductivity, the contact impedances and the boundary shape from EIT data. The approach consists of three steps: first, the unknown contact impedances and an anisotropic conductivity reproducing the measured EIT data in a model domain are computed. Second, using isothermal coordinates, a deformation is constructed that makes the conductivity isotropic. The final step minimizes the error of true and reconstructed known geometric properties (like the electrode lengths) using conformal deformations. The feasibility of the method is illustrated with experimental EIT data, with robust and accurate reconstructions of both conductivity and boundary shape.
△ Less
Submitted 8 July, 2021; v1 submitted 5 April, 2021;
originally announced April 2021.
-
4D Dual-Tree Complex Wavelets for Time-Dependent Data
Authors:
Tatiana A. Bubba,
Tommi Heikkilä,
Samuli Siltanen
Abstract:
The dual-tree complex wavelet transform (DT-$\mathbb{C}$WT) is extended to the 4D setting. Key properties of 4D DT-$\mathbb{C}$WT, such as directional sensitivity and shift-invariance, are discussed and illustrated in a tomographic application. The inverse problem of reconstructing a dynamic three-dimensional target from X-ray projection measurements can be formulated as 4D space-time tomography.…
▽ More
The dual-tree complex wavelet transform (DT-$\mathbb{C}$WT) is extended to the 4D setting. Key properties of 4D DT-$\mathbb{C}$WT, such as directional sensitivity and shift-invariance, are discussed and illustrated in a tomographic application. The inverse problem of reconstructing a dynamic three-dimensional target from X-ray projection measurements can be formulated as 4D space-time tomography. The results suggest that 4D DT-$\mathbb{C}$WT offers simple implementations combined with useful theoretical properties for tomographic reconstruction.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Random tree Besov priors -- Towards fractal imaging
Authors:
Hanne Kekkonen,
Matti Lassas,
Eero Saksman,
Samuli Siltanen
Abstract:
We propose alternatives to Bayesian a priori distributions that are frequently used in the study of inverse problems. Our aim is to construct priors that have similar good edge-preserving properties as total variation or Mumford-Shah priors but correspond to well defined infinite-dimensional random variables, and can be approximated by finite-dimensional random variables. We introduce a new wavele…
▽ More
We propose alternatives to Bayesian a priori distributions that are frequently used in the study of inverse problems. Our aim is to construct priors that have similar good edge-preserving properties as total variation or Mumford-Shah priors but correspond to well defined infinite-dimensional random variables, and can be approximated by finite-dimensional random variables. We introduce a new wavelet-based model, where the non zero coefficient are chosen in a systematic way so that prior draws have certain fractal behaviour. We show that realisations of this new prior take values in some Besov spaces and have singularities only on a small set $τ$ that has a certain Hausdorff dimension. We also introduce an efficient algorithm for calculating the MAP estimator, arising from the the new prior, in denoising problem.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
-
Synergistic Multi-spectral CT Reconstruction with Directional Total Variation
Authors:
Evelyn Cueva,
Alexander Meaney,
Samuli Siltanen,
Matthias J. Ehrhardt
Abstract:
This work considers synergistic multi-spectral CT reconstruction where information from all available energy channels is combined to improve the reconstruction of each individual channel, we propose to fuse this available data (represented by a single sinogram) to obtain a polyenergetic image which keeps structural information shared by the energy channels with increased signal-to-noise-ratio. Thi…
▽ More
This work considers synergistic multi-spectral CT reconstruction where information from all available energy channels is combined to improve the reconstruction of each individual channel, we propose to fuse this available data (represented by a single sinogram) to obtain a polyenergetic image which keeps structural information shared by the energy channels with increased signal-to-noise-ratio. This new image is used as prior information during a channel-by-channel minimization process through the directional total variation. We analyze the use of directional total variation within variational regularization and iterative regularization. Our numerical results on simulated and experimental data show improvements in terms of image quality and in computational speed.
△ Less
Submitted 22 April, 2021; v1 submitted 5 January, 2021;
originally announced January 2021.
-
Deep neural networks for inverse problems with pseudodifferential operators: an application to limited-angle tomography
Authors:
Tatiana A. Bubba,
Mathilde Galinier,
Matti Lassas,
Marco Prato,
Luca Ratti,
Samuli Siltanen
Abstract:
We propose a novel convolutional neural network (CNN), called $Ψ$DONet, designed for learning pseudodifferential operators ($Ψ$DOs) in the context of linear inverse problems. Our starting point is the Iterative Soft Thresholding Algorithm (ISTA), a well-known algorithm to solve sparsity-promoting minimization problems. We show that, under rather general assumptions on the forward operator, the unf…
▽ More
We propose a novel convolutional neural network (CNN), called $Ψ$DONet, designed for learning pseudodifferential operators ($Ψ$DOs) in the context of linear inverse problems. Our starting point is the Iterative Soft Thresholding Algorithm (ISTA), a well-known algorithm to solve sparsity-promoting minimization problems. We show that, under rather general assumptions on the forward operator, the unfolded iterations of ISTA can be interpreted as the successive layers of a CNN, which in turn provides fairly general network architectures that, for a specific choice of the parameters involved, allow to reproduce ISTA, or a perturbation of ISTA for which we can bound the coefficients of the filters. Our case study is the limited-angle X-ray transform and its application to limited-angle computed tomography (LA-CT). In particular, we prove that, in the case of LA-CT, the operations of upscaling, downscaling and convolution, which characterize our $Ψ$DONet and most deep learning schemes, can be exactly determined by combining the convolutional nature of the limited angle X-ray transform and basic properties defining an orthogonal wavelet system. We test two different implementations of $Ψ$DONet on simulated data from limited-angle geometry, generated from the ellipse data set. Both implementations provide equally good and noteworthy preliminary results, showing the potential of the approach we propose and paving the way to applying the same idea to other convolutional operators which are $Ψ$DOs or Fourier integral operators.
△ Less
Submitted 2 June, 2020;
originally announced June 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.
-
Sparse dynamic tomography. A shearlet-based approach for iodine perfusion in plant stems
Authors:
Tatiana A. Bubba,
Tommi Heikkilä,
Hanna Help,
Simo Huotari,
Yann Salmon,
Samuli Siltanen
Abstract:
In this paper we propose a motion-aware variational approach to reconstruct moving objects from sparse dynamic data. The motivation of this work stems from X-ray imaging of plants perfused with a liquid contrast agent, aimed at increasing the contrast of the images and studying the phloem transport in plants over time. The key idea of our approach is to deploy 3D shearlets as a space-temporal prio…
▽ More
In this paper we propose a motion-aware variational approach to reconstruct moving objects from sparse dynamic data. The motivation of this work stems from X-ray imaging of plants perfused with a liquid contrast agent, aimed at increasing the contrast of the images and studying the phloem transport in plants over time. The key idea of our approach is to deploy 3D shearlets as a space-temporal prior, treating time as the third dimension. The rationale behind this model is that a continuous evolution of a cartoon-like object is well suited for the use of 3D shearlets. We provide a basic mathematical analysis of the variational model for the image reconstruction. The numerical minimization is carried out with primal-dual scheme coupled with an automated choice of regularization parameter. We test our model on different measurement setups: a simulated phantom especially designed to resemble a plant stem, with spreading points to simulate a spreading contrast agent; a measured agarose gel phantom to demonstrate iodide diffusion and geometry prior to imaging living sample; a measured living tree grown \textit{in vitro} and perfused with a liquid sugar-iodine-mix. The results, compared against a 2D static model, show that our approach provides reconstructions that capture well the time dynamic of the contrast agent onset and are encouraging to develop microCT as a tool to study phloem transport using iodine tracer.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Nachman's reconstruction for the Calderon problem with discontinuous conductivities
Authors:
George Lytle,
Peter Perry,
Samuli Siltanen
Abstract:
We show that Nachman's integral equations for the Calderón problem, derived for conductivities in $W^{2,p}(Ω)$, still hold for $L^\infty$ conductivities which are $1$ in a neighborhood of the boundary. We also prove convergence of scattering transforms for smooth approximations to the scattering transform of $L^\infty$ conductivities. We rely on Astala-Päivärinta's formulation of the Calderón prob…
▽ More
We show that Nachman's integral equations for the Calderón problem, derived for conductivities in $W^{2,p}(Ω)$, still hold for $L^\infty$ conductivities which are $1$ in a neighborhood of the boundary. We also prove convergence of scattering transforms for smooth approximations to the scattering transform of $L^\infty$ conductivities. We rely on Astala-Päivärinta's formulation of the Calderón problem for a framework in which these convergence results make sense.
△ Less
Submitted 24 September, 2018;
originally announced September 2018.
-
Revealing cracks inside conductive bodies by electric surface measurements
Authors:
Andreas Hauptmann,
Masaru Ikehata,
Hiromichi Itou,
Samuli Siltanen
Abstract:
An algorithm is introduced for using electrical surface measurements to detect and monitor cracks inside a two-dimensional conductive body. The technique is based on transforming the probing functions of the classical enclosure method by the Kelvin transform. The transform makes it possible to use virtual discs for probing the interior of the body using electric measurements performed on a flat su…
▽ More
An algorithm is introduced for using electrical surface measurements to detect and monitor cracks inside a two-dimensional conductive body. The technique is based on transforming the probing functions of the classical enclosure method by the Kelvin transform. The transform makes it possible to use virtual discs for probing the interior of the body using electric measurements performed on a flat surface. Theoretical results are presented to enable probing of the full domain to create a profile indicating cracks in the domain. Feasibility of the method is demonstrated with a simulated model of attaching metal sheets together by resistance spot welding.
△ Less
Submitted 4 July, 2018;
originally announced July 2018.
-
An automatic regularization method: An application for 3D X-ray micro-CT reconstruction using sparse data
Authors:
Zenith Purisha,
Sakari S. Karhula,
Juuso Ketola,
Juho Rimpeläinen,
Miika T. Nieminen,
Simo Saarakkala,
Heikki Kröger,
Samuli Siltanen
Abstract:
X-ray tomography is a reliable tool for determining the inner structure of 3D object with penetrating X-rays. However, traditional reconstruction methods such as FDK require dense angular sampling in the data acquisition phase leading to long measurement times, especially in X-ray micro-tomography to obtain high resolution scans. Acquiring less data using greater angular steps is an obvious way fo…
▽ More
X-ray tomography is a reliable tool for determining the inner structure of 3D object with penetrating X-rays. However, traditional reconstruction methods such as FDK require dense angular sampling in the data acquisition phase leading to long measurement times, especially in X-ray micro-tomography to obtain high resolution scans. Acquiring less data using greater angular steps is an obvious way for speeding up the process and avoiding the need to save huge data sets available memory. However, computing 3D reconstruction from such a sparsely sampled dataset is very sensitive to measurement noise and modelling errors. An automatic regularization method is proposed for robust reconstruction, based on enforcing sparsity in the three-dimensional shearlet transform domain. The inputs of the algorithm are the projection data and {\it a priori} known expected degree of sparsity, denoted $0<{\mathcal C}_{pr}\leq 1$. The number ${\mathcal C}_{pr}$ can be calibrated from a few dense-angle reconstructions and fixed. Human subchondral bone samples were tested and morphometric parameters of the bone reconstructions were then analyzed using standard metrics. The proposed method is shown to outperform the baseline algorithm (FDK) in the case of sparsely collected data. The number of X-ray projections can be reduced up to 10\% of the total amount while retaining the quality of the reconstruction images and of the morphometric paramaters.
△ Less
Submitted 6 April, 2018; v1 submitted 4 August, 2017;
originally announced August 2017.
-
A Variational Reconstruction Method for Undersampled Dynamic X-ray Tomography based on Physical Motion Models
Authors:
Martin Burger,
Hendrik Dirks,
Lena Frerking,
Andreas Hauptmann,
Tapio Helin,
Samuli Siltanen
Abstract:
In this paper we study the reconstruction of moving object densities from undersampled dynamic X-ray tomography in two dimensions. A particular motivation of this study is to use realistic measurement protocols for practical applications, i.e. we do not assume to have a full Radon transform in each time step, but only projections in few angular directions. This restriction enforces a space-time re…
▽ More
In this paper we study the reconstruction of moving object densities from undersampled dynamic X-ray tomography in two dimensions. A particular motivation of this study is to use realistic measurement protocols for practical applications, i.e. we do not assume to have a full Radon transform in each time step, but only projections in few angular directions. This restriction enforces a space-time reconstruction, which we perform by incorporating physical motion models and regularization of motion vectors in a variational framework. The methodology of optical flow, which is one of the most common methods to estimate motion between two images, is utilized to formulate a joint variational model for reconstruction and motion estimation.
We provide a basic mathematical analysis of the forward model and the variational model for the image reconstruction. Moreover, we discuss the efficient numerical minimization based on alternating minimizations between images and motion vectors. A variety of results are presented for simulated and real measurement data with different sampling strategy. A key observation is that random sampling combined with our model allows reconstructions of similar amount of measurements and quality as a single static reconstruction.
△ Less
Submitted 17 May, 2017;
originally announced May 2017.
-
Controlled Wavelet Domain Sparsity in X-ray Tomography
Authors:
Zenith Purisha,
Juho Rimpeläinen,
Tatiana Bubba,
Samuli Siltanen
Abstract:
Tomographic reconstruction is an ill-posed inverse problem that calls for regularization. One possibility is to require sparsity of the unknown in an orthonormal wavelet basis. This in turn can be achieved by variational regularization where the penalty term is the sum of absolute values of wavelet coefficients. Daubechies, Defrise and De Mol (Comm. Pure Appl. Math. 57) showed that the minimizer o…
▽ More
Tomographic reconstruction is an ill-posed inverse problem that calls for regularization. One possibility is to require sparsity of the unknown in an orthonormal wavelet basis. This in turn can be achieved by variational regularization where the penalty term is the sum of absolute values of wavelet coefficients. Daubechies, Defrise and De Mol (Comm. Pure Appl. Math. 57) showed that the minimizer of the variational regularization functional can be computed iteratively using a soft thresholding operation. Choosing the soft threshold parameter $μ>0$ is analogous to the notoriously difficult problem of picking the optimal regularization parameter in Tikhonov regularization. Here a novel automatic method is introduced for choosing $μ$, based on a control algorithm driving the sparsity of the reconstruction to an {\it a priori} known ratio of nonzero versus zero wavelet coefficients in the unknown function.
△ Less
Submitted 4 August, 2017; v1 submitted 28 March, 2017;
originally announced March 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.
-
Shape recovery from sparse tomographic X-ray data
Authors:
Heikki Haario,
Aki Kallonen,
Marko Laine,
Esa Niemi,
Zenith Purisha,
Samuli Siltanen
Abstract:
A two-dimensional tomographic problem is studied. The target is assumed to be a homogeneous object bounded by a smooth curve. A Non Uniform Rational Basis Splines (NURBS) curve is used as computational representation of the boundary. This approach conveniently provides the result in a format readily compatible with computer-aided design (CAD) software. However, the linear tomography task becomes a…
▽ More
A two-dimensional tomographic problem is studied. The target is assumed to be a homogeneous object bounded by a smooth curve. A Non Uniform Rational Basis Splines (NURBS) curve is used as computational representation of the boundary. This approach conveniently provides the result in a format readily compatible with computer-aided design (CAD) software. However, the linear tomography task becomes a nonlinear inverse problem due to the NURBS-based parameterization. Therefore, Bayesian inversion with Markov chain Monte Carlo (MCMC) sampling is used for calculating an estimate of the NURBS control points. The reconstruction method is tested with both simulated data and measured X-ray projection data. The proposed method recovers the shape and the attenuation coefficient significantly better than the baseline algorithm (optimally thresholded total variation regularization), but at the cost of heavier computation.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
The D-bar Method for Diffuse Optical Tomography: a computational study
Authors:
Janne P. Tamminen,
Tanja Tarvainen,
Samuli Siltanen
Abstract:
The D-bar method at negative energy is numerically implemented. Using the method we are able to numerically reconstruct potentials and investigate exceptional points at negative energy. Subsequently, applying the method to Diffusive Optical Tomography, a new way of reconstructing the diffusion coefficient from the associated Complex Geometrics Optics solution is suggested and numerically validated…
▽ More
The D-bar method at negative energy is numerically implemented. Using the method we are able to numerically reconstruct potentials and investigate exceptional points at negative energy. Subsequently, applying the method to Diffusive Optical Tomography, a new way of reconstructing the diffusion coefficient from the associated Complex Geometrics Optics solution is suggested and numerically validated.
△ Less
Submitted 2 February, 2016; v1 submitted 18 January, 2016;
originally announced January 2016.
-
Posterior consistency and convergence rates for Bayesian inversion with hypoelliptic operators
Authors:
Hanne Kekkonen,
Matti Lassas,
Samuli Siltanen
Abstract:
Bayesian approach to inverse problems is studied in the case where the forward map is a linear hypoelliptic pseudodifferential operator and measurement error is additive white Gaussian noise. The measurement model for an unknown Gaussian random variable $U(x,ω)$ is \begin{eqnarray*} M(y,ω) = A(U(x,ω) )+ δ\hspace{.2mm}\mathcal{E}(y,ω), \end{eqnarray*} where $A$ is a finitely many times smoothing li…
▽ More
Bayesian approach to inverse problems is studied in the case where the forward map is a linear hypoelliptic pseudodifferential operator and measurement error is additive white Gaussian noise. The measurement model for an unknown Gaussian random variable $U(x,ω)$ is \begin{eqnarray*} M(y,ω) = A(U(x,ω) )+ δ\hspace{.2mm}\mathcal{E}(y,ω), \end{eqnarray*} where $A$ is a finitely many times smoothing linear hypoelliptic operator and $δ>0$ is the noise magnitude. The covariance operator $C_U$ of $U$ is $2r$ times smoothing, self-adjoint, injective and elliptic pseudodifferential operator.
If $\mathcal{E}$ was taking values in $L^2$ then in Gaussian case solving the conditional mean (and maximum a posteriori) estimate is linked to solving the minimisation problem \begin{eqnarray*} T_δ(M) = \text{argmin}_{u\in H^r}
\big\{\|A u-m\|_{L^2}^2+ δ^2\|C_U^{-1/2}u\|_{L^2}^2 \big\}. \end{eqnarray*} However, Gaussian white noise does not take values in $L^2$ but in $H^{-s}$ where $s>0$ is big enough. A modification of the above approach to solve the inverse problem is presented, covering the case of white Gaussian measurement noise. Furthermore, the convergence of conditional mean estimate to the correct solution as $δ\rightarrow 0$ is proven in appropriate function spaces using microlocal analysis. Also the contraction of the confidence regions is studied.
△ Less
Submitted 24 May, 2016; v1 submitted 7 July, 2015;
originally announced July 2015.
-
A Hybrid Segmentation and D-bar Method for Electrical Impedance Tomography
Authors:
Sarah Hamilton,
Juan Manuel Reyes,
Samuli Siltanen,
Xiaoqun Zhang
Abstract:
The Regularized D-bar method for Electrical Impedance Tomography provides a rigorous mathematical approach for solving the full nonlinear inverse problem directly, i.e. without iterations. It is based on a low-pass filtering in the (nonlinear) frequency domain. However, the resulting D-bar reconstructions are inherently smoothed leading to a loss of edge distinction. In this paper, a novel approac…
▽ More
The Regularized D-bar method for Electrical Impedance Tomography provides a rigorous mathematical approach for solving the full nonlinear inverse problem directly, i.e. without iterations. It is based on a low-pass filtering in the (nonlinear) frequency domain. However, the resulting D-bar reconstructions are inherently smoothed leading to a loss of edge distinction. In this paper, a novel approach that combines the rigor of the D-bar approach with the edge-preserving nature of Total Variation regularization is presented. The method also includes a data-driven contrast adjustment technique guided by the key functions (CGO solutions) of the D-bar method. The new TV-Enhanced D-bar Method produces reconstructions with sharper edges and improved contrast while still solving the full nonlinear problem. This is achieved by using the TV-induced edges to increase the truncation radius of the scattering data in the nonlinear frequency domain thereby increasing the radius of the low pass filter. The algorithm is tested on numerically simulated noisy EIT data and demonstrates significant improvements in edge preservation and contrast which can be highly valuable for absolute EIT imaging.
△ Less
Submitted 18 June, 2015;
originally announced June 2015.
-
Multi-resolution parameter choice method for total variation regularized tomography
Authors:
Kati Niinimäki,
Matti Lassas,
Keijo Hämäläinen,
Aki Kallonen,
Ville Kolehmainen,
Esa Niemi,
Samuli Siltanen
Abstract:
A computational method is introduced for choosing the regularization parameter for total variation (TV) regularization. The approach is based on computing reconstructions at a few different resolutions and various values of regularization parameter. The chosen parameter is the smallest one resulting in approximately discretization-invariant TV norms of the reconstructions. The method is tested wit…
▽ More
A computational method is introduced for choosing the regularization parameter for total variation (TV) regularization. The approach is based on computing reconstructions at a few different resolutions and various values of regularization parameter. The chosen parameter is the smallest one resulting in approximately discretization-invariant TV norms of the reconstructions. The method is tested with X-ray tomography data measured from a walnut and compared to the S-curve method. The proposed method seems to automatically adapt to the desired resolution and noise level, and it yields useful results in the tests. The results are comparable to those of the S-curve method; however, the S-curve method needs a priori information about the sparsity of the unknown, while the proposed method does not need any a priori information (apart from the choice of a desired resolution). Mathematical analysis is presented for (partial) understanding of the properties of the proposed parameter choice method. It is rigorously proven that the TV norms of the reconstructions converge with any choice of regularization parameter.
△ Less
Submitted 11 August, 2015; v1 submitted 9 July, 2014;
originally announced July 2014.
-
A Direct Reconstruction Method for Anisotropic Electrical Impedance Tomography
Authors:
Sarah Jane Hamilton,
Matti Lassas,
Samuli Siltanen
Abstract:
A novel computational, non-iterative and noise-robust reconstruction method is introduced for the planar anisotropic inverse conductivity problem. The method is based on bypassing the unstable step of the reconstruction of the values of the isothermal coordinates on the boundary of the domain. Non-uniqueness of the inverse problem is dealt with by recovering the unique isotropic conductivity that…
▽ More
A novel computational, non-iterative and noise-robust reconstruction method is introduced for the planar anisotropic inverse conductivity problem. The method is based on bypassing the unstable step of the reconstruction of the values of the isothermal coordinates on the boundary of the domain. Non-uniqueness of the inverse problem is dealt with by recovering the unique isotropic conductivity that can be achieved as a deformation of the measured anisotropic conductivity by \emph{isothermal coordinates}. The method shows how isotropic D-bar reconstruction methods have produced reasonable and informative reconstructions even when used on EIT data known to come from anisotropic media, and when the boundary shape is not known precisely. Furthermore, the results pave the way for regularized anisotropic EIT. Key aspects of the approach involve D-bar methods and inverse scattering theory, complex geometrical optics solutions, and quasi-conformal map** techniques.
△ Less
Submitted 24 June, 2015; v1 submitted 5 February, 2014;
originally announced February 2014.
-
A Data-Driven Edge-Preserving D-bar Method for Electrical Impedance Tomography
Authors:
Sarah Hamilton,
Andreas Hauptmann,
Samuli Siltanen
Abstract:
In Electrical Impedance Tomography (EIT), the internal conductivity of a body is recovered via current and voltage measurements taken at its surface. The reconstruction task is a highly ill-posed nonlinear inverse problem, which is very sensitive to noise, and requires the use of regularized solution methods, of which D-bar is the only proven method. The resulting EIT images have low spatial resol…
▽ More
In Electrical Impedance Tomography (EIT), the internal conductivity of a body is recovered via current and voltage measurements taken at its surface. The reconstruction task is a highly ill-posed nonlinear inverse problem, which is very sensitive to noise, and requires the use of regularized solution methods, of which D-bar is the only proven method. The resulting EIT images have low spatial resolution due to smoothing caused by low-pass filtered regularization. In many applications, such as medical imaging, it is known \emph{a priori} that the target contains sharp features such as organ boundaries, as well as approximate ranges for realistic conductivity values. In this paper, we use this information in a new edge-preserving EIT algorithm, based on the original D-bar method coupled with a deblurring flow stopped at a minimal data discrepancy. The method makes heavy use of a novel data fidelity term based on the so-called {\em CGO sinogram}. This nonlinear data step provides superior robustness over traditional EIT data formats such as current-to-voltage matrices or Dirichlet-to-Neumann operators, for commonly used current patterns.
△ Less
Submitted 24 June, 2015; v1 submitted 19 December, 2013;
originally announced December 2013.
-
The Novikov-Veselov Equation: Theory and Computation
Authors:
Ryan Croke,
Jennifer L Mueller,
Michael Music,
Peter Perry,
Samuli Siltanen,
Andreas Stahel
Abstract:
Recent progress in the theory and computation for the Novikov-Veselov (NV) equation is reviewed with initial potentials decaying at infinity, focusing mainly on the zero-energy case. The inverse scattering method for the zero-energy NV equation is presented in the context of Manakov triples, treating initial data of conductivity type rigorously. Special closed-form solutions are presented, includi…
▽ More
Recent progress in the theory and computation for the Novikov-Veselov (NV) equation is reviewed with initial potentials decaying at infinity, focusing mainly on the zero-energy case. The inverse scattering method for the zero-energy NV equation is presented in the context of Manakov triples, treating initial data of conductivity type rigorously. Special closed-form solutions are presented, including multisolitons, ring solitons, and breathers. The computational inverse scattering method is used to study zero-energy exceptional points and the relationship between supercritical, critical, and subcritical potentials.
△ Less
Submitted 19 December, 2013;
originally announced December 2013.
-
Analysis of regularized inversion of data corrupted by white Gaussian noise
Authors:
Hanne Kekkonen,
Matti Lassas,
Samuli Siltanen
Abstract:
Tikhonov regularization is studied in the case of linear pseudodifferential operator as the forward map and additive white Gaussian noise as the measurement error. The measurement model for an unknown function $u(x)$ is \begin{eqnarray*} m(x) = Au(x) + δ\hspace{.2mm}\varepsilon(x), \end{eqnarray*} where $δ>0$ is the noise magnitude. If $\varepsilon$ was an $L^2$-function, Tikhonov regularization g…
▽ More
Tikhonov regularization is studied in the case of linear pseudodifferential operator as the forward map and additive white Gaussian noise as the measurement error. The measurement model for an unknown function $u(x)$ is \begin{eqnarray*} m(x) = Au(x) + δ\hspace{.2mm}\varepsilon(x), \end{eqnarray*} where $δ>0$ is the noise magnitude. If $\varepsilon$ was an $L^2$-function, Tikhonov regularization gives an estimate \begin{eqnarray*} T_α(m) = \text{argmin}_{u\in H^r}\big\{\|A u-m\|_{L^2}^2+ α\|u\|_{H^r}^2 \big\}\end{eqnarray*} for $u$ where $α=α(δ)$ is the regularization parameter. Here penalization of the Sobolev norm $ \|u\|_{H^r}$ covers the cases of standard Tikhonov regularization ($r=0$) and first derivative penalty ($r=1$).
Realizations of white Gaussian noise are almost never in $L^2$, but do belong to $H^s$ with probability one if $s<0$ is small enough. A modification of Tikhonov regularization theory is presented, covering the case of white Gaussian measurement noise. Furthermore, the convergence of regularized reconstructions to the correct solution as $δ\rightarrow 0$ is proven in appropriate function spaces using microlocal analysis. The convergence of the related finite-dimensional problems to the infinite-dimensional problem is also analysed.
△ Less
Submitted 2 June, 2016; v1 submitted 25 November, 2013;
originally announced November 2013.
-
Nonlinear Fourier analysis for discontinuous conductivities: computational results
Authors:
Kari Astala,
Lassi Päivärinta,
Juan Manuel Reyes,
Samuli Siltanen
Abstract:
Two reconstruction methods of Electrical Impedance Tomography (EIT) are numerically compared for nonsmooth conductivities in the plane based on the use of complex geometrical optics (CGO) solutions to D-bar equations involving the global uniqueness proofs for Calderón problem exposed in [Nachman; Annals of Mathematics 143, 1996] and [Astala and Päivärinta; Annals of Mathematics 163, 2006]: the Ast…
▽ More
Two reconstruction methods of Electrical Impedance Tomography (EIT) are numerically compared for nonsmooth conductivities in the plane based on the use of complex geometrical optics (CGO) solutions to D-bar equations involving the global uniqueness proofs for Calderón problem exposed in [Nachman; Annals of Mathematics 143, 1996] and [Astala and Päivärinta; Annals of Mathematics 163, 2006]: the Astala-Päivärinta theory-based "low-pass transport matrix method" implemented in [Astala et al.; Inverse Problems and Imaging 5, 2011] and the "shortcut method" which considers ingredients of both theories. The latter method is formally similar to the Nachman theory-based regularized EIT reconstruction algorithm studied in [Knudsen, Lassas, Mueller and Siltanen; Inverse Problems and Imaging 3, 2009] and several references from there.
New numerical results are presented using parallel computation with size parameters larger than ever, leading mainly to two conclusions as follows. First, both methods can approximate piecewise constant conductivities better and better as the cutoff frequency increases, and there seems to be a Gibbs-like phenomenon producing ringing artifacts. Second, the transport matrix method loses accuracy away from a (freely chosen) pivot point located outside of the object to be studied, whereas the shortcut method produces reconstructions with more uniform quality.
△ Less
Submitted 17 June, 2014; v1 submitted 25 October, 2013;
originally announced October 2013.
-
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.
-
Nonlinear Inversion from Partial EIT Data: Computational Experiments
Authors:
Sarah Jane Hamilton,
Samuli Siltanen
Abstract:
Electrical impedance tomography (EIT) is a non-invasive imaging method in which an unknown physical body is probed with electric currents applied on the boundary, and the internal conductivity distribution is recovered from the measured boundary voltage data. The reconstruction task is a nonlinear and ill-posed inverse problem, whose solution calls for special regularized algorithms, such as D-bar…
▽ More
Electrical impedance tomography (EIT) is a non-invasive imaging method in which an unknown physical body is probed with electric currents applied on the boundary, and the internal conductivity distribution is recovered from the measured boundary voltage data. The reconstruction task is a nonlinear and ill-posed inverse problem, whose solution calls for special regularized algorithms, such as D-bar methods which are based on complex geometrical optics solutions (CGOs). In many applications of EIT, such as monitoring the heart and lungs of unconscious intensive care patients or locating the focus of an epileptic seizure, data acquisition on the entire boundary of the body is impractical, restricting the boundary area available for EIT measurements. An extension of the D-bar method to the case when data is collected only on a subset of the boundary is studied by computational simulation. The approach is based on solving a boundary integral equation for the traces of the CGOs using localized basis functions (Haar wavelets). The numerical evidence suggests that the D-bar method can be applied to partial-boundary data in dimension two and that the traces of the partial data CGOs approximate the full data CGO solutions on the available portion of the boundary, for the necessary small $k$ frequencies.
△ Less
Submitted 5 February, 2014; v1 submitted 13 March, 2013;
originally announced March 2013.
-
Exceptional circles of radial potentials
Authors:
Michael Music,
Peter Perry,
Samuli Siltanen
Abstract:
A nonlinear scattering transform is studied for the two-dimensional Schrodinger equation at zero energy with a radial potential. First explicit examples are presented, both theoretically and computationally, of potentials with nontrivial singularities in the scattering transform. The singularities arise from non-uniqueness of the complex geometric optics solutions that define the scattering transf…
▽ More
A nonlinear scattering transform is studied for the two-dimensional Schrodinger equation at zero energy with a radial potential. First explicit examples are presented, both theoretically and computationally, of potentials with nontrivial singularities in the scattering transform. The singularities arise from non-uniqueness of the complex geometric optics solutions that define the scattering transform. The values of the complex spectral parameter at which the singularities appear are called exceptional points. The singularity formation is closely related to the fact that potentials of conductivity type are critical in the sense of Murata.
△ Less
Submitted 15 November, 2012;
originally announced November 2012.
-
Reconstructing conductivities with boundary corrected D-bar method
Authors:
Samuli Siltanen,
Janne P. Tamminen
Abstract:
The aim of electrical impedance tomography is to form an image of the conductivity distribution inside an unknown body using electric boundary measurements. The computation of the image from measurement data is a non-linear ill-posed inverse problem and calls for a special regularized algorithm. One such algorithm, the so-called D-bar method, is improved in this work by introducing new computation…
▽ More
The aim of electrical impedance tomography is to form an image of the conductivity distribution inside an unknown body using electric boundary measurements. The computation of the image from measurement data is a non-linear ill-posed inverse problem and calls for a special regularized algorithm. One such algorithm, the so-called D-bar method, is improved in this work by introducing new computational steps that remove the so far necessary requirement that the conductivity should be constant near the boundary. The numerical experiments presented suggest two conclusions. First, for most conductivities arising in medical imaging, it seems the previous approach of using a best possible constant near the boundary is sufficient. Second, for conductivities that have high contrast features at the boundary, the new approach produces reconstructions with smaller quantitative error and with better visual quality.
△ Less
Submitted 27 September, 2011;
originally announced September 2011.
-
The Novikov-Veselov Equation and the Inverse Scattering Method, Part I: Analysis
Authors:
Matti Lassas,
Jennifer L Mueller,
Samuli Siltanen,
Andreas Stahel
Abstract:
The Novikov-Veselov (NV) equation is a
(2+1)-dimensional nonlinear evolution equation that generalizes the
(1+1)-dimensional Korteweg-deVries (KdV) equation. Solution of the NV equation using the inverse scattering method has been discussed in the literature, but only formally (or with smallness assumptions in case of nonzero energy) because of the possibility of exceptional points, or singula…
▽ More
The Novikov-Veselov (NV) equation is a
(2+1)-dimensional nonlinear evolution equation that generalizes the
(1+1)-dimensional Korteweg-deVries (KdV) equation. Solution of the NV equation using the inverse scattering method has been discussed in the literature, but only formally (or with smallness assumptions in case of nonzero energy) because of the possibility of exceptional points, or singularities in the scattering data. In this work, absence of exceptional points is proved at zero energy for evolutions with compactly supported, smooth and rotationally symmetric initial data of the conductivity type: $q_0=γ^{-1/2}Δγ^{1/2}$ with a strictly positive function $γ$. The inverse scattering evolution is shown to be well-defined, real-valued, and preserving conductivity-type. There is no smallness assumption on the initial data.
△ Less
Submitted 19 May, 2011;
originally announced May 2011.
-
Determining electrical and heat transfer parameters using coupled boundary measurements
Authors:
Katsiaryna Krupchyk,
Matti Lassas,
Samuli Siltanen
Abstract:
Let $Ω\subset\R^n$, $n\ge 3$, be a smooth bounded domain and consider a coupled system in $Ω$ consisting of a conductivity equation $\nabla \cdot γ(x) \nabla u(t,x)=0$ and an anisotropic heat equation $κ^{-1}(x)\partial_tψ(t,x)=\nabla\cdot (A(x)\nabla ψ(t,x))+(γ\nabla u(t,x))\cdot \nabla u(t,x), \quad t\ge 0$. It is shown that the coefficients $γ$, $κ$ and $A=(a_{jk})$ are uniquely determined from…
▽ More
Let $Ω\subset\R^n$, $n\ge 3$, be a smooth bounded domain and consider a coupled system in $Ω$ consisting of a conductivity equation $\nabla \cdot γ(x) \nabla u(t,x)=0$ and an anisotropic heat equation $κ^{-1}(x)\partial_tψ(t,x)=\nabla\cdot (A(x)\nabla ψ(t,x))+(γ\nabla u(t,x))\cdot \nabla u(t,x), \quad t\ge 0$. It is shown that the coefficients $γ$, $κ$ and $A=(a_{jk})$ are uniquely determined from the knowledge of the boundary map $u|_{\partialΩ}\mapsto ν\cdot A\nabla ψ|_{\partialΩ}$, where $ν$ is the unit outer normal to $\partialΩ$. The coupled system models the following physical phenomenon. Given a fixed voltage distribution, maintained on the boundary $\partialΩ$, an electric current distribution appears inside $Ω$. The current in turn acts as a source of heat inside $Ω$, and the heat flows out of the body through the boundary. The boundary measurements above then correspond to the map taking a voltage distribution on the boundary to the resulting heat flow through the boundary. The presented mathematical results suggest a new hybrid diffuse imaging modality combining electrical prospecting and heat transfer-based probing.
△ Less
Submitted 14 December, 2010;
originally announced December 2010.
-
Discretization-invariant Bayesian inversion and Besov space priors
Authors:
Matti Lassas. Eero Saksman,
Samuli Siltanen
Abstract:
Bayesian solution of an inverse problem for indirect measurement $M = AU + {\mathcal{E}}$ is considered, where $U$ is a function on a domain of $R^d$. Here $A$ is a smoothing linear operator and $ {\mathcal{E}}$ is Gaussian white noise. The data is a realization $m_k$ of the random variable $M_k = P_kA U+P_k {\mathcal{E}}$, where $P_k$ is a linear, finite dimensional operator related to measurem…
▽ More
Bayesian solution of an inverse problem for indirect measurement $M = AU + {\mathcal{E}}$ is considered, where $U$ is a function on a domain of $R^d$. Here $A$ is a smoothing linear operator and $ {\mathcal{E}}$ is Gaussian white noise. The data is a realization $m_k$ of the random variable $M_k = P_kA U+P_k {\mathcal{E}}$, where $P_k$ is a linear, finite dimensional operator related to measurement device. To allow computerized inversion, the unknown is discretized as $U_n=T_nU$, where $T_n$ is a finite dimensional projection, leading to the computational measurement model $M_{kn}=P_k A U_n + P_k {\mathcal{E}}$. Bayes formula gives then the posterior distribution $π_{kn}(u_n | m_{kn})\simπ_n(u_n) \exp(-{1/2}\|m_{kn} - P_kA u_n\|_2^2)$ in $R^d$, and the mean $U^{CM}_{kn}:=\int u_n π_{kn}(u_n | m_k) du_n$ is considered as the reconstruction of $U$. We discuss a systematic way of choosing prior distributions $\prior_n$ for all $n\geq n_0>0$ by achieving them as projections of a distribution in a infinite-dimensional limit case. Such choice of prior distributions is {\em discretization-invariant} in the sense that $\prior_n$ represent the same {\em a priori} information for all $n$ and that the mean $U^{CM}_{kn}$ converges to a limit estimate as $k,n\to\infty$. Gaussian smoothness priors and wavelet-based Besov space priors are shown to be discretization invariant. In particular, Bayesian inversion in dimension two with $B^1_{11}$ prior is related to penalizing the $\ell^1$ norm of the wavelet coefficients of $U$.
△ Less
Submitted 27 January, 2009;
originally announced January 2009.
-
Time reversal methods in unknown medium and inverse problems
Authors:
Kenrick Bingham,
Yaroslav Kurylev,
Matti Lassas,
Samuli Siltanen
Abstract:
A novel method to solve inverse problems for the wave equation is introduced. The method is a combination of the boundary control method and an iterative time reversal scheme, leading to adaptive imaging of coefficient functions of the wave equation using focusing waves in unknown medium. The approach is computationally effective since the iteration lets the medium do most of the processing of t…
▽ More
A novel method to solve inverse problems for the wave equation is introduced. The method is a combination of the boundary control method and an iterative time reversal scheme, leading to adaptive imaging of coefficient functions of the wave equation using focusing waves in unknown medium. The approach is computationally effective since the iteration lets the medium do most of the processing of the data.
The iterative time reversal scheme also gives an algorithm for constructing boundary controls for which the corresponding final values are as close as possible to the final values of a given wave in a part of the domain, and as close as possible to zero elsewhere. The algorithm does not assume that the coefficients of the wave equation are known.
△ Less
Submitted 4 January, 2007;
originally announced January 2007.