Showing 1–50 of 53 results for author: Siltanen, S

Helsinki Speech Challenge 2024

Authors: Martin Ludvigsen, Elli Karvonen, Markus Juvonen, Samuli Siltanen

Abstract: The Helsinki Speech Challenge 2024 (HSC2024) invites researchers to enhance and deconvolve speech audio recordings. We recorded a dataset that challenges participants to apply speech enhancement and inverse problems techniques to recorded speech data. This dataset includes paired samples of AI-generated clean speech and corresponding recordings, which feature varying levels of corruption, includin… ▽ More The Helsinki Speech Challenge 2024 (HSC2024) invites researchers to enhance and deconvolve speech audio recordings. We recorded a dataset that challenges participants to apply speech enhancement and inverse problems techniques to recorded speech data. This dataset includes paired samples of AI-generated clean speech and corresponding recordings, which feature varying levels of corruption, including frequency attenuation and reverberation. The challenge focuses on develo** innovative deconvolution methods to accurately recover the original audio. The effectiveness of these methods will be quantitatively assessed using a speech recognition model, providing a relevant metric for evaluating enhancements in real-world scenarios. △ Less

Submitted 6 June, 2024; originally announced June 2024.

TILT: topological interface recovery in limited-angle tomography

Authors: Elli Karvonen, Matti Lassas, Pekka Pankka, Samuli Siltanen

Abstract: A novel reconstruction method is introduced for the severely ill-posed inverse problem of limited-angle tomography. It is well known that, depending on the available measurement, angles specify a subset of the wavefront set of the unknown target, while some oriented singularities remain invisible in the data. Topological Interface recovery for Limited-angle Tomography, or TILT, is based on lifting… ▽ More A novel reconstruction method is introduced for the severely ill-posed inverse problem of limited-angle tomography. It is well known that, depending on the available measurement, angles specify a subset of the wavefront set of the unknown target, while some oriented singularities remain invisible in the data. Topological Interface recovery for Limited-angle Tomography, or TILT, is based on lifting the visible part of the wavefront set under a universal covering map. In the space provided, it is possible to connect the appropriate pieces of the lifted wavefront set correctly using dual-tree complex wavelets, a dedicated metric, and persistent homology. The result is not only a suggested invisible boundary but also a computational representation for all interfaces in the target. △ Less

Submitted 25 October, 2023; originally announced October 2023.

MSC Class: 65R32; 65T60; 65F22; 92C55; 55N35

Inner product regularized multi-energy X-ray tomography for material decomposition

Authors: Salla-Maaria Latva-Äijö, Filippo Zanetti, Ari-Pekka Honkanen, Simo Huotari, Jacek Gondzio, Matti Lassas, Samuli Siltanen

Abstract: Multi-energy X-ray tomography is studied for decomposing three materials using three X-ray energies and a classical energy-integrating detector. A novel regularization term comprises inner products between the material distribution functions, penalizing any overlap of different materials. The method is tested on real data measured of a phantom embedded with Na$_2$SeO$_3$, Na$_2$SeO$_4$, and elemen… ▽ More Multi-energy X-ray tomography is studied for decomposing three materials using three X-ray energies and a classical energy-integrating detector. A novel regularization term comprises inner products between the material distribution functions, penalizing any overlap of different materials. The method is tested on real data measured of a phantom embedded with Na$_2$SeO$_3$, Na$_2$SeO$_4$, and elemental selenium. It is found that the two-dimensional distributions of selenium in different oxidation states can be mapped and distinguished from each other with the new algorithm. The results have applications in material science, chemistry, biology and medicine. △ Less

Submitted 4 August, 2023; originally announced September 2023.

Learning a microlocal prior for limited-angle tomography

Authors: Siiri Rautio, Rashmi Murthy, Tatiana A. Bubba, Matti Lassas, Samuli Siltanen

Abstract: Limited-angle tomography is a highly ill-posed linear inverse problem. It arises in many applications, such as digital breast tomosynthesis. Reconstructions from limited-angle data typically suffer from severe stretching of features along the central direction of projections, leading to poor separation between slices perpendicular to the central direction. A new method is introduced, based on mach… ▽ More Limited-angle tomography is a highly ill-posed linear inverse problem. It arises in many applications, such as digital breast tomosynthesis. Reconstructions from limited-angle data typically suffer from severe stretching of features along the central direction of projections, leading to poor separation between slices perpendicular to the central direction. A new method is introduced, based on machine learning and geometry, producing an estimate for interfaces between regions of different X-ray attenuation. The estimate can be presented on top of the reconstruction, indicating more reliably the true form and extent of features. The method uses directional edge detection, implemented using complex wavelets and enhanced with morphological operations. By using machine learning, the visible part of the wavefront set is first extracted and then extended to the full domain, filling in the parts of the wavefront set that would otherwise be hidden due to the lack of measurement directions. △ Less

Submitted 21 April, 2022; v1 submitted 31 December, 2021; originally announced January 2022.

Anatomical atlas of the upper part of the human head for electroencephalography and bioimpedance applications

Authors: Fernando S Moura, Roberto G Beraldo, Leonardo A Ferreira, Samuli Siltanen

Abstract: Volume conductor problems in cerebral electrophysiology and bioimpedance do not have analytical solutions for nontrivial geometries and require a 3D model of the head and its electrical properties for solving the associated PDEs numerically. Ideally, the model should be made with patient-specific information. In clinical practice, this is not always the case and an average head model is often used… ▽ More Volume conductor problems in cerebral electrophysiology and bioimpedance do not have analytical solutions for nontrivial geometries and require a 3D model of the head and its electrical properties for solving the associated PDEs numerically. Ideally, the model should be made with patient-specific information. In clinical practice, this is not always the case and an average head model is often used. Also, the electrical properties of the tissues might not be completely known due to natural variability. The objective of this work is to develop a 4D (3D+T) statistical anatomical atlas of the electrical properties of the upper part of the human head for cerebral electrophysiology and bioimpedance applications. The atlas is an important tool for in silico studies on cerebral circulation and electrophysiology that require statistically consistent data, e.g., machine learning, sensitivity analyses, and as a benchmark to test inverse problem solvers. The atlas was constructed based on MRI images of human individuals and comprises the electrical properties of the main internal structures and can be adjusted for specific electrical frequencies. The proposed atlas also comprises a time-varying model of arterial brain circulation, based on the solution of the Navier-Stokes equation in the main arteries and their vascular territories. The atlas was successfully used to simulate electrical impedance tomography measurements indicating the necessity of signal-to-noise between 100 and 125dB to identify vascular changes due to the cardiac cycle, corroborating previous studies. △ Less

Submitted 19 August, 2021; originally announced August 2021.

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.

Comments: 31 pages, 11 figures, 4 tables

Helsinki Deblur Challenge 2021: description of photographic data

Authors: Markus Juvonen, Samuli Siltanen, Fernando Silva de Moura

Abstract: The photographic dataset collected for the Helsinki Deblur Challenge 2021 (HDC2021) contains pairs of images taken by two identical cameras of the same target but with different conditions. One camera is always in focus and produces sharp and low-noise images the other camera produces blurred and noisy images as it is gradually more and more out of focus and has a higher ISO setting. Even though t… ▽ More The photographic dataset collected for the Helsinki Deblur Challenge 2021 (HDC2021) contains pairs of images taken by two identical cameras of the same target but with different conditions. One camera is always in focus and produces sharp and low-noise images the other camera produces blurred and noisy images as it is gradually more and more out of focus and has a higher ISO setting. Even though the dataset was designed and captured with the HDC2021 in mind it can be used for any testing and benchmarking of image deblurring algorithms. The data is available here: https://doi.org/10.5281/zenodo.477228 △ Less

Submitted 21 May, 2021; originally announced May 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.

Comments: 34 pages, 17 figures; typos corrected, references added

MSC Class: 35R30; 65N21; 65J20; 30C35

Journal ref: SIAM J. Imaging Sci., 14 (2021), pp. 1407-1438

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.

Journal ref: 21st International Conference on Computational Science and Its Applications (ICCSA), 2021, pp. 146-156

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.

MSC Class: math.PR; math.FA

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.

Comments: 17 pages, 17 figures

MSC Class: 65K10 (Primarly) 94A08; 68U10 (Secondary)

Fuel rod classification from Passive Gamma Emission Tomography (PGET) of spent nuclear fuel assemblies

Authors: Riina Virta, Rasmus Backholm, Tatiana A. Bubba, Tapio Helin, Mikael Moring, Samuli Siltanen, Peter Dendooven, Tapani Honkamaa

Abstract: Safeguarding the disposal of spent nuclear fuel in a geological repository needs an effective, efficient, reliable and robust non-destructive assay (NDA) system to ensure the integrity of the fuel prior to disposal. In the context of the Finnish geological repository, Passive Gamma Emission Tomography (PGET) will be a part of such an NDA system. We report here on the results of PGET measurements a… ▽ More Safeguarding the disposal of spent nuclear fuel in a geological repository needs an effective, efficient, reliable and robust non-destructive assay (NDA) system to ensure the integrity of the fuel prior to disposal. In the context of the Finnish geological repository, Passive Gamma Emission Tomography (PGET) will be a part of such an NDA system. We report here on the results of PGET measurements at the Finnish nuclear power plants during the years 2017-2020. Gamma activity profiles are recorded from all angles by rotating the detector arrays around the fuel assembly that has been inserted into the center of the torus. Image reconstruction from the resulting tomographic data is defined as a constrained minimization problem with a data fidelity term and regularization terms. The activity and attenuation maps, as well as detector sensitivity corrections, are the variables in the minimization process. The regularization terms ensure that prior information on the (possible) locations of fuel rods and their diameter are taken into account. Fuel rod classification, the main purpose of the PGET method, is based on the difference of the activity of a fuel rod from its immediate neighbors, taking into account its distance from the assembly center. The classification is carried out by a support vector machine. We report on the results for ten different fuel types with burnups between 5.72 and 55.0 GWd/tU, cooling times between 1.87 and 34.6 years and initial enrichments between 1.9 and 4.4%. For all fuel assemblies measured, missing fuel rods, partial fuel rods and water channels were correctly classified. Burnable absorber fuel rods were classified as fuel rods. On rare occasions, a fuel rod that is present was falsely classified as missing. We conclude that the combination of the PGET device and our image reconstruction method provides a reliable base for fuel rod classification. △ Less

Submitted 24 September, 2020; originally announced September 2020.

Comments: 14 pages, 12 figures, 1 table

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.

MSC Class: 44A12; 68T07; 35S30; 58J40; 92C55

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.

Journal ref: Inverse Problems 36 (2020) 115008

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.

Journal ref: Inverse Problems, 36, [094002] (2020)

Simultaneous Reconstruction of Emission and Attenuation in Passive Gamma Emission Tomography of Spent Nuclear Fuel

Authors: Rasmus Backholm, Tatiana A. Bubba, Camille Bélanger-Champagne, Tapio Helin, Peter Dendooven, Samuli Siltanen

Abstract: The International Atomic Energy Agency (IAEA) has recently approved passive gamma emission tomography (PGET) as a method for inspecting spent nuclear fuel assemblies (SFAs), an important aspect of international nuclear safeguards which aim at preventing the proliferation of nuclear weapons. The PGET instrument is essentially a single photon emission computed tomography (SPECT) system that allows t… ▽ More The International Atomic Energy Agency (IAEA) has recently approved passive gamma emission tomography (PGET) as a method for inspecting spent nuclear fuel assemblies (SFAs), an important aspect of international nuclear safeguards which aim at preventing the proliferation of nuclear weapons. The PGET instrument is essentially a single photon emission computed tomography (SPECT) system that allows the reconstruction of axial cross-sections of the emission map of the SFA. The fuel material heavily self-attenuates its gamma-ray emissions, so that correctly accounting for the attenuation is a critical factor in producing accurate images. Due to the nature of the inspections, it is desirable to use as little a priori information as possible about the fuel, including the attenuation map, in the reconstruction process. Current reconstruction methods either do not correct for attenuation, assume a uniform attenuation throughout the fuel assembly, or assume an attenuation map based on an initial filtered back projection (FBP) reconstruction. Here, we propose a method to simultaneously reconstruct the emission and attenuation maps by formulating the reconstruction as a constrained minimization problem with a least squares data fidelity term and regularization terms. Using simulated data, we compare the proposed method to FBP, showing that our approach produces significantly better reconstructions by various numerical metrics and a much better classification of spent, missing, and fresh fuel rods. △ Less

Submitted 17 April, 2019; originally announced May 2019.

Comments: 21 pages, 9 figures

Joint Reconstruction in Low Dose Multi-Energy CT

Authors: Jussi Toivanen, Alexander Meaney, Samuli Siltanen, Ville Kolehmainen

Abstract: Multi-energy CT takes advantage of the non-linearly varying attenuation properties of elemental media with respect to energy, enabling more precise material identification than single-energy CT. The increased precision comes with the cost of a higher radiation dose. A straightforward way to lower the dose is to reduce the number of projections per energy, but this makes tomographic reconstruction… ▽ More Multi-energy CT takes advantage of the non-linearly varying attenuation properties of elemental media with respect to energy, enabling more precise material identification than single-energy CT. The increased precision comes with the cost of a higher radiation dose. A straightforward way to lower the dose is to reduce the number of projections per energy, but this makes tomographic reconstruction more ill-posed. In this paper, we propose how this problem can be overcome with a combination of a regularization method that promotes structural similarity between images at different energies and a suitably selected low-dose data acquisition protocol using non-overlap** projections. The performance of various joint regularization models is assessed with both simulated and experimental data, using the novel low-dose data acquisition protocol. Three of the models are well-established, namely the joint total variation, the linear parallel level sets and the spectral smoothness promoting regularization models. Furthermore, one new joint regularization model is introduced for multi-energy CT: a regularization based on the structure function from the structural similarity index. The findings show that joint regularization outperforms individual channel-by-channel reconstruction. Furthermore, the proposed combination of joint reconstruction and non-overlap** projection geometry enables significant reduction of radiation dose. △ Less

Submitted 13 February, 2020; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 29 pages. Final version: Switched to non-stacked bar graphs for added readability, fixed a typo in the abstract, split previous Figure 5 into 2 Figures (now 5 and 6) for better placement of Figures

Learning The Invisible: A Hybrid Deep Learning-Shearlet Framework for Limited Angle Computed Tomography

Authors: T. A. Bubba, G. Kutyniok, M. Lassas, M. März, W. Samek, S. Siltanen, V. Srinivasan

Abstract: The high complexity of various inverse problems poses a significant challenge to model-based reconstruction schemes, which in such situations often reach their limits. At the same time, we witness an exceptional success of data-based methodologies such as deep learning. However, in the context of inverse problems, deep neural networks mostly act as black box routines, used for instance for a somew… ▽ More The high complexity of various inverse problems poses a significant challenge to model-based reconstruction schemes, which in such situations often reach their limits. At the same time, we witness an exceptional success of data-based methodologies such as deep learning. However, in the context of inverse problems, deep neural networks mostly act as black box routines, used for instance for a somewhat unspecified removal of artifacts in classical image reconstructions. In this paper, we will focus on the severely ill-posed inverse problem of limited angle computed tomography, in which entire boundary sections are not captured in the measurements. We will develop a hybrid reconstruction framework that fuses model-based sparse regularization with data-driven deep learning. Our method is reliable in the sense that we only learn the part that can provably not be handled by model-based methods, while applying the theoretically controllable sparse regularization technique to the remaining parts. Such a decomposition into visible and invisible segments is achieved by means of the shearlet transform that allows to resolve wavefront sets in the phase space. Furthermore, this split enables us to assign the clear task of inferring unknown shearlet coefficients to the neural network and thereby offering an interpretation of its performance in the context of limited angle computed tomography. Our numerical experiments show that our algorithm significantly surpasses both pure model- and more data-based reconstruction methods. △ Less

Submitted 12 November, 2018; originally announced November 2018.

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.

Comments: 14 pages

MSC Class: 35R30; 35P25; 35J25; 30C62

Tomographic X-ray data of 3D cross phantom

Authors: Salla Latva-Äijö, Alexander Meaney, Samuli Siltanen

Abstract: This is the documentation of the tomographic X-ray data of cross phantom made available at this https URL The data can be freely used for scientific purposes with appropriate references to the data and to this document in arxiv.longhoe.net. The data set consists of (1) the X-ray sinogram with 16 or 30 time frames (depending on theresolution) of 2D slices of the phantom and (2) the corresponding static and… ▽ More This is the documentation of the tomographic X-ray data of cross phantom made available at this https URL The data can be freely used for scientific purposes with appropriate references to the data and to this document in arxiv.longhoe.net. The data set consists of (1) the X-ray sinogram with 16 or 30 time frames (depending on theresolution) of 2D slices of the phantom and (2) the corresponding static and dynamic measurement matrices modeling the linear operation of the X-ray transform. Each of these sinograms was obtained from a measured 360-projection fan-beam sinogram by down-sampling and taking logarithms. The original (measured) sinogram is also provided in its original form and resolution. △ Less

Submitted 1 September, 2018; originally announced September 2018.

Comments: 14 pages, 24 figures. arXiv admin note: substantial text overlap with arXiv:1802.09397, arXiv:1609.07299, arXiv:1705.05732, arXiv:1502.04064

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.

MSC Class: 35R30; 35J65

Undersampled dynamic X-ray tomography with dimension reduction Kalman filter

Authors: Janne Hakkarainen, Zenith Purisha, Antti Solonen, Samuli Siltanen

Abstract: In this paper, we consider prior-based dimension reduction Kalman filter for undersampled dynamic X-ray tomography. With this method, the X-ray reconstructions are parameterized by a low-dimensional basis. Thus, the proposed method is a) computationally very light; and b) extremely robust as all the computations can be done explicitly. With real and simulated measurement data, we show that the met… ▽ More In this paper, we consider prior-based dimension reduction Kalman filter for undersampled dynamic X-ray tomography. With this method, the X-ray reconstructions are parameterized by a low-dimensional basis. Thus, the proposed method is a) computationally very light; and b) extremely robust as all the computations can be done explicitly. With real and simulated measurement data, we show that the method provides accurate reconstructions even with very limited number of angular directions. △ Less

Submitted 2 May, 2018; originally announced May 2018.

Tomographic X-ray data of 3D emoji

Authors: Alexander Meaney, Zenith Purisha, Samuli Siltanen

Abstract: This is the documentation of the tomographic X-ray data of emoji phantom made available at https://zenodo.org/record/1183532#.WpA35Y5rIy1. The data can be freely used for scientific purposes with appropriate references to the data and to this document in arxiv.longhoe.net. The data set consists of (1) the X-ray sinogram of a single 2D slice of 33 emoji faces (contains 15 different emoji faces) made by sma… ▽ More This is the documentation of the tomographic X-ray data of emoji phantom made available at https://zenodo.org/record/1183532#.WpA35Y5rIy1. The data can be freely used for scientific purposes with appropriate references to the data and to this document in arxiv.longhoe.net. The data set consists of (1) the X-ray sinogram of a single 2D slice of 33 emoji faces (contains 15 different emoji faces) made by small squared ceramic stones and (2) the corresponding static and dynamic measurement matrices modeling the linear operation of the X-ray transform. Each of these sinograms was obtained from a measured 60-projection fan-beam sinogram by down-sampling and taking logarithms. The original (measured) sinogram is also provided in its original form and resolution. The original (measured) sinogram is also provided in its original form and resolution. △ Less

Submitted 23 February, 2018; originally announced February 2018.

Comments: arXiv admin note: substantial text overlap with arXiv:1609.07299, arXiv:1705.05732, arXiv:1502.04064

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.

MSC Class: 15A29; 94A08; 65K10

Journal ref: Inverse Problems, Volume 33, Number 12, 124008 (2017)

Tomographic X-ray data of carved cheese

Authors: Tatiana A. Bubba, Markus Juvonen, Jonatan Lehtonen, Maximilian März, Alexander Meaney, Zenith Purisha, Samuli Siltanen

Abstract: This is the documentation of the tomographic X-ray data of a carved cheese slice. Data are available at www.fips.fi/dataset.php, and can be freely used for scientific purposes with appropriate references to them, and to this document in http://arxiv.longhoe.net/. The data set consists of (1) the X-ray sinogram of a single 2D slice of the cheese slice with three different resolutions and (2) the correspond… ▽ More This is the documentation of the tomographic X-ray data of a carved cheese slice. Data are available at www.fips.fi/dataset.php, and can be freely used for scientific purposes with appropriate references to them, and to this document in http://arxiv.longhoe.net/. The data set consists of (1) the X-ray sinogram of a single 2D slice of the cheese slice with three different resolutions and (2) the corresponding measurement matrices modeling the linear operation of the X-ray transform. Each of these sinograms was obtained from a measured 360-projection fan-beam sinogram by down-sampling and taking logarithms. The original (measured) sinogram is also provided in its original form and resolution. △ Less

Submitted 14 June, 2017; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: arXiv admin note: substantial text overlap with arXiv:1609.07299, arXiv:1502.04064

Open 2D Electrical Impedance Tomography data archive

Authors: Andreas Hauptmann, Ville Kolehmainen, Nguyet Minh Mach, Tuomo Savolainen, Aku Seppänen, Samuli Siltanen

Abstract: This document reports an Open 2D Electrical Impedance Tomography (EIT) data set. The EIT measurements were collected from a circular body (a flat tank filled with saline) with various choices of conductive and resistive inclusions. Data are available at http://fips.fi/ EIT_dataset.php and can be freely used for scientific purposes with appropriate references to them, and to this document at https:… ▽ More This document reports an Open 2D Electrical Impedance Tomography (EIT) data set. The EIT measurements were collected from a circular body (a flat tank filled with saline) with various choices of conductive and resistive inclusions. Data are available at http://fips.fi/ EIT_dataset.php and can be freely used for scientific purposes with appropriate references to them, and to this document at https://arxiv.longhoe.net. The data set consists of (1) current patterns and voltage measurements of a circular tank containing different targets, (2) photos of the tank and targets and (3) a MATLAB-code for reading the data. A video report of the data collection session is available at https://www.youtube.com/watch?v=65Zca_qd1Y8. △ Less

Submitted 4 April, 2017; originally announced April 2017.

Comments: 15 pages, 16 figures, open dataset

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.

Photographic dataset: playing cards

Authors: David Villacis, Santeri Kaupinmäki, Samuli Siltanen, Teemu Helenius

Abstract: This is a photographic dataset collected for testing image processing algorithms. The idea is to have images that can exploit the properties of total variation, therefore a set of playing cards was distributed on the scene. The dataset is made available at www.fips.fi/photographic_dataset2.php This is a photographic dataset collected for testing image processing algorithms. The idea is to have images that can exploit the properties of total variation, therefore a set of playing cards was distributed on the scene. The dataset is made available at www.fips.fi/photographic_dataset2.php △ Less

Submitted 25 January, 2017; originally announced January 2017.

Comments: 9 pages, 12 figures

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.

Comments: Revised with additional commentary and references. 54 pages, 10 figures

MSC Class: 35R30; 35S30

Journal ref: Analysis & PDE 11 (2018) 1901-1943

Tomographic X-ray data of a lotus root filled with attenuating objects

Authors: Tatiana A. Bubba, Andreas Hauptmann, Simo Huotari, Juho Rimpeläinen, Samuli Siltanen

Abstract: This is the documentation of the tomographic X-ray data of a lotus root, filled with four different attenuating objects, of different sizes. Data are available at www.fips.fi/dataset.php, and can be freely used for scientific purposes with appropriate references to them, and to this document in http://arxiv.longhoe.net/arXiv. The data set consists of (1) the X-ray sinogram of a single 2D slice of the lotu… ▽ More This is the documentation of the tomographic X-ray data of a lotus root, filled with four different attenuating objects, of different sizes. Data are available at www.fips.fi/dataset.php, and can be freely used for scientific purposes with appropriate references to them, and to this document in http://arxiv.longhoe.net/arXiv. The data set consists of (1) the X-ray sinogram of a single 2D slice of the lotus root with two different resolutions and (2) the corresponding measurement matrices modeling the linear operation of the X-ray transform. Each of these sinograms was obtained from a measured 360-projection fan-beam sinogram by down-sampling and taking logarithms. The original (measured) sinogram is also provided in its original form and resolution. △ Less

Submitted 13 October, 2016; v1 submitted 23 September, 2016; originally announced September 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1502.04064

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.

MSC Class: 65N21 (primary); 94A08; 35J25 (secondary)

Journal ref: Inverse Problems, Volume 33, Number 2, 025009 (2017)

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.

Photographic dataset: random peppercorns

Authors: Teemu Helenius, Samuli Siltanen

Abstract: This is a photographic dataset collected for testing image processing algorithms. The idea is to have sets of different but statistically similar images. In this work the images show randomly distributed peppercorns. The dataset is made available at www.fips.fi/photographic_dataset.php . This is a photographic dataset collected for testing image processing algorithms. The idea is to have sets of different but statistically similar images. In this work the images show randomly distributed peppercorns. The dataset is made available at www.fips.fi/photographic_dataset.php . △ Less

Submitted 3 March, 2016; originally announced March 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.

Comments: Updated: added references to the work of E. Lakshtanov et al

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.

Tomographic X-ray data of a walnut

Authors: Keijo Hämäläinen, Lauri Harhanen, Aki Kallonen, Antti Kujanpää, Esa Niemi, Samuli Siltanen

Abstract: This is the documentation of the tomographic X-ray data of a walnut made available at http://www.fips.fi/dataset.php . The data can be freely used for scientific purposes with appropriate references to the data and to this document in arXiv. The data set consists of (1) the X-ray sinogram of a single 2D slice of the walnut with three different resolutions and (2) the corresponding measurement matr… ▽ More This is the documentation of the tomographic X-ray data of a walnut made available at http://www.fips.fi/dataset.php . The data can be freely used for scientific purposes with appropriate references to the data and to this document in arXiv. The data set consists of (1) the X-ray sinogram of a single 2D slice of the walnut with three different resolutions and (2) the corresponding measurement matrices modeling the linear operation of the X-ray transform. Each of these sinograms was obtained from a measured 120-projection fan-beam sinogram by down-sampling and taking logarithms. The original (measured) sinogram is also provided in its original form and resolution. In addition, a larger set of 1200 projections of the same walnut was measured and a high-resolution filtered back-projection reconstruction was computed from this data; both the sinogram and the FBP reconstruction are included in the data set, the latter serving as a ground truth reconstruction. △ Less

Submitted 11 February, 2015; originally announced February 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.

Estimation of conductivity changes in a region of interest with electrical impedance tomography

Authors: Dong Liu, Ville Kolehmainen, Samuli Siltanen, Anne maria Laukkanen, Aku Seppanen

Abstract: This paper proposes a novel approach to reconstruct changes in a target conductivity from electrical impedance tomography measurements. As in the conventional difference imaging, the reconstruction of the conductivity change is based on electrical potential measurements from the exterior boundary of the target before and after the change. In this paper, however, images of the conductivity before a… ▽ More This paper proposes a novel approach to reconstruct changes in a target conductivity from electrical impedance tomography measurements. As in the conventional difference imaging, the reconstruction of the conductivity change is based on electrical potential measurements from the exterior boundary of the target before and after the change. In this paper, however, images of the conductivity before and after the change are reconstructed simultaneously based on the two data sets. The key feature of the approach is that the conductivity after the change is parameterized as a linear combination of the initial state and the change. This allows for modeling independently the spatial characteristics of the background conductivity and the change of the conductivity - by separate regularization functionals. The approach also allows in a straightforward way the restriction of the conductivity change to a localized region of interest inside the domain. While conventional difference imaging reconstruction is based on a global linearization of the observation model, the proposed approach amounts to solving a non-linear inverse problem. The feasibility of the proposed reconstruction method is tested experimentally and with a simulation which demonstrates a potential new medical application of electrical impedance tomography: imaging of vocal folds in voice loading studies. △ Less

Submitted 26 March, 2014; originally announced March 2014.

Comments: 19 pages

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.

Comments: 30 pages, 8 figures

MSC Class: 35R30; 65N21

Journal ref: Inverse Problems, 30(7):133, 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.

Comments: 24 pages, 11 figures

MSC Class: 65N21 (Primary); 42B37 (Secondary)

Journal ref: Inverse Problems and Imaging, 8(4):1053-1072 (2014)

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.

MSC Class: 37K15; 35Q51; 35Q53

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.

MSC Class: 60H40 (Primary); 45Q05 (Secondary)

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.

Comments: 29 pages

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.

MSC Class: 35R30

Journal ref: Inverse Problems 32, 2 (2016), 025003

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.

Comments: 24 pages, 12 figures

MSC Class: Primary 65N21; 35R30; Secondary 45Q05

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.

MSC Class: 37K15