Practical applications of thermoacoustic tomography require numerical inversion of the spherical mean Radon transform with the centers of integration spheres occupying an open surface. Solution of this problem is needed (both in 2-D and 3-D) because frequently the region of interest cannot be completely surrounded by the detectors, as it happens, for example, in breast imaging. We present an efficient numerical algorithm for solving this problem in 2-D (similar methods are applicable in the 3-D case). Our method is based on the numerical approximation of plane waves by certain single layer potentials related to the acquisition geometry. After the densities of these potentials have been precomputed, each subsequent image reconstruction has the complexity of the regular filtration backprojection algorithm for the classical Radon transform. The peformance of the method is demonstrated in several numerical examples: one can see that the algorithm produces very accurate reconstructions if the data are accurate and sufficiently well sampled, on the other hand, it is sufficiently stable with respect to noise in the data.
We present a family of closed form inversion formulas in thermoacoustic tomography in the case of a constant sound speed. The formulas are presented in both time-domain and frequency-domain versions. As special cases, they imply most of the previously known filtered backprojection type formulas.
We consider the problem of thermoacoustic tomography (TAT), in which one needs to reconstruct the initial value of a solution of the wave equation from its value on an observation surface. We show that if some geometric rays for the equation do not intersect the observation surface, the reconstruction in TAT is not Hölder stable.
We prove a uniqueness theorem for compactly supported initial data for the variable speed wave equation arising in models of thermoacoustic tomography, given measurements on a part of the boundary. The proof is based on domain of dependence arguments and D. Tataru's unique continuation theorem.
We derive an explicit method for reconstructing singularities of the initial data in a thermoacoustic tomography problem, in the case of variable sound speed and limited boundary data. In order to obtain this explicit formula we assume the metric induced by the sound speed does not have conjugate points inside the region to be observed.
We consider the mathematical model of photoacoustic and thermoacoustic tomography in media with a variable sound speed. When the sound speed is known, the explicit reconstruction formula by P. Stefanov and G. Uhlmann (Inverse Problems, 25(7):075011, 16, 2009) can be used. We study how a modelling error in the sound speed affects the reconstruction formula and quantify the effect in terms of a stability estimate.
The spectrum of the interior transmission problem is related to the unique determination of the acoustic properties of a body in thermoacoustic imaging. Under a non-trapping hypothesis, we show that sparsity of the interior transmission spectrum implies a range separation condition for the thermoacoustic operator. In odd dimension greater than or equal to three, we prove that the transmission spectrum for a pair of radially symmetric non-trapping sound speeds is countable, and conclude that the ranges of the associated thermoacoustic maps have only trivial intersection.
In this article, we consider the inverse source problem arising in photoacoustic tomography in elastic media. We show that the time reversal method, proposed by Tittelfitz [Inverse Problems 28.5 (2012): 055004], converges with the sharp observation time without any constraint on the speeds of the longitudinal and shear waves.
We explore Thermoacoustic Tomography with circular integrating detectors assuming variable, smooth wave speed. We show that the measurement operator in this case is a Fourier Integral Operator and examine how the singularities in initial data and measured data are related through the canonical relation of this operator. We prove which of those singularities in the initial data are visible from a fixed open subset of the set on which measurements are taken. In addition, numerical results are shown for both full and partial data.
In this article we study the inverse problem of thermoacoustic tomography (TAT) on a medium with attenuation represented by a time- convolution (or memory) term, and whose consideration is motivated by the modeling of ultrasound waves in heterogeneous tissue via fractional derivatives with spatially dependent parameters. Under the assumption of being able to measure data on the whole boundary, we prove uniqueness and stability, and propose a convergent reconstruction method for a class of smooth variable sound speeds. By a suitable modification of the time reversal technique, we obtain a Neuma…
We consider the inverse source problem of thermo- and photoacoustic tomography, with data registered on an open surface partially surrounding the source of acoustic waves. Under the assumption of constant speed of sound we develop an explicit non-iterative reconstruction procedure that recovers the Radon transform of the sought source, up to an infinitely smooth additive error term. The source then can be found by inverting the Radon transform. Our analysis is microlocal in nature and does not provide a norm estimate on the error in the so obtained image. However, numerical simulations show th…
The time reversal method in thermoacoustic tomography is used for approximating the initial pressure inside a biological object using measurements of the pressure wave made on a surface surrounding the object. This article presents error estimates for the time reversal method in the cases of variable, non-trapping sound speeds.
We propose three fast algorithms for solving the inverse problem of the thermoacoustic tomography corresponding to certain acquisition geometries. Two of these methods are designed to process the measurements done with point-like detectors placed on a circle (in 2D) or a sphere (in 3D) surrounding the object of interest. The third inversion algorithm works with the data measured by the integrating line detectors arranged in a cylindrical assembly rotating around the object. The number of operations required by these techniques is equal to O(n^3 log n) and O(n^3 log^2 n) for the 3D techniques (…
We study the mathematical model of thermoacoustic and photoacoustic tomography when the sound speed has a jump across a smooth surface. This models the change of the sound speed in the skull when trying to image the human brain. We derive an explicit inversion formula in the form of a convergent Neumann series under the assumptions that all singularities from the support of the source reach the boundary.
We study the mathematical model of thermoacoustic tomography in media with a variable speed for a fixed time interval, greater than the diameter of the domain. In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. We give necessary and sufficient conditions for uniqueness and stability when the measurements are taken on a part of the boundary.
We investigate the problem of recovering the initial displacement f for a solution u of a linear, isotropic, non-homogeneous elastic wave equation, given measurements of u on [0,T] x \partial Ω, where Ω\subset\R^3 is some bounded domain containing the support of f. For the acoustic wave equation, this problem is known as thermoacoustic tomography (TAT), and has been well-studied; for the elastic wave equation, the situation is somewhat more subtle, and we give sufficient conditions on the Lamé parameters to ensure that recovery is possible.
We explore the effect of sampling rates when measuring data given by $Mf$ for special operators $M$ arising in Thermoacoustic Tomography. We start with sampling requirements on $Mf$ given $f$ satisfying certain conditions. After this we discuss the resolution limit on $f$ posed by the sampling rate of $Mf$ without assuming any conditions on these sampling rates. Next we discuss aliasing artifacts when $Mf$ is known to be under sampled in one or more of its variables. Finally, we discuss averaging of measurement data and resulting aliasing and artifacts, along with a scheme for anti-aliasing.
Thermoacoustic tomography is a term for the inverse problem of determining of one of initial conditions of a hyperbolic equation from boundary measurements. In the past publications both stability estimates and convergent numerical methods for this problem were obtained only under some restrictive conditions imposed on the principal part of the elliptic operator. In this paper logarithmic stability estimates are obatined for an arbitrary variable principal part of that operator. Convergence of the Quasi-Reversibility Method to the exact solution is also established for this case. Both complete…
The circular Radon transform integrates a function over the set of all spheres with a given set of centers. The problem of injectivity of this transform (as well as inversion formulas, range descriptions, etc.) arises in many fields from approximation theory to integral geometry, to inverse problems for PDEs, and recently to newly developing types of tomography. The article discusses known and provides new results that one can obtain by methods that essentially involve only the finite speed of propagation and domain dependence for the wave equation.
In this paper we consider the linearized problem of recovering both the sound speed and the thermal absorption arising in thermoacoustic and photoacoustic tomography. We show that the problem is unstable in any scale of Sobolev spaces.
We develop a paradigm using microlocal analysis that allows one to characterize the visible and added singularities in a broad range of incomplete data tomography problems. We give precise characterizations for photo- and thermoacoustic tomography and Sonar, and provide artifact reduction strategies. In particular, our theorems show that it is better to arrange Sonar detectors so that the boundary of the set of detectors does not have corners and is smooth. To illustrate our results, we provide reconstructions from synthetic spherical mean data as well as from experimental photoacoustic data.
In thermoacoustic and photoacoustic tomography an electromagnetic wave is sent through a medium, heating it and therefore generating an elastic expansion that in turns generates an acoustic wave that is measured outside the medium. The general problem is to recover both the inhomogeneous sound speed and the initial pressure from the boundary measurements of the solution of the acoustic wave equation with a single measurement of the pressure. We show that one can recover both the sound speed and the initial pressure assuming a monocitiy condition on the sound speed that includes the physically …
This paper concerns thermoacoustic tomography and photoacoustic tomography, two couple-physics imaging modalities that attempt to combine the high resolution of ultrasound and the high contrast capabilities of electromagnetic waves. We give sufficient conditions to recover both the sound speed of the medium being probed and the source.
Almost all known image reconstruction algorithms for photoacoustic and thermoacoustic tomography assume that the acoustic waves leave the region of interest after a finite time. This assumption is reasonable if the reflections from the detectors and surrounding surfaces can be neglected or filtered out (for example, by time-gating). However, when the object is surrounded by acoustically hard detector arrays, and/or by additional acoustic mirrors, the acoustic waves will undergo multiple reflections. (In the absence of absorption they would bounce around in such a reverberant cavity forever). T…
The attenuation of ultrasound waves in photoacoustic and thermoacoustic imaging presents an important drawback in the applicability of these modalities. This issue has been addressed previously in the applied and theoretical literature, and some advances have been made on the topic. In particular, stability inequalities have been proposed for the inverse problem of initial source recovery with partial observations under the assumption of unique determination of the initial pressure. The main goal of this work is to fill this gap, this is, we prove the uniqueness property for the inverse proble…
We consider a mathematical model of thermoacoustic tomography and other multi-wave imaging techniques with variable sound speed and attenuation. We find that a Neumann series reconstruction algorithm, previously studied under the assumption of zero attenuation, still converges if attenuation is sufficiently small. With complete boundary data, we show the inverse problem has a unique solution, and modified time reversal provides a stable reconstruction. We also consider partial boundary data, and in this case study those singularities that can be stably recovered.
The development of efficient and accurate image reconstruction algorithms is one of the cornerstones of computed tomography. Existing algorithms for quantitative photoacoustic tomography currently operate in a two-stage procedure: First an inverse source problem for the acoustic wave propagation is solved, whereas in a second step the optical parameters are estimated from the result of the first step. Such an approach has several drawbacks. In this paper we therefore propose the use of single-stage reconstruction algorithms for quantitative photoacoustic tomography, where the optical parameter…
In electrical impedance tomography, algorithms based on minimizing a linearized residual functional have been widely used due to their flexibility and good performance in practice. However, no rigorous convergence results have been available in the literature yet, and reconstructions tend to contain ringing artifacts. In this work, we shall minimize the linearized residual functional under a linear constraint defined by a monotonicity test, which plays a role of a special regularizer. Global convergence is then established to guarantee that this method is stable under the effects of noise. Mor…
The inverse problem of electrical impedance tomography is severely ill-posed, meaning that, only limited information about the conductivity can in practice be recovered from boundary measurements of electric current and voltage. Recently it was shown that a simple monotonicity property of the related Neumann-to-Dirichlet map can be used to characterize shapes of inhomogeneities in a known background conductivity. In this paper we formulate a monotonicity-based shape reconstruction scheme that applies to approximative measurement models, and regularizes against noise and modelling error. We dem…
The reconstruction problem in electrical impedance tomography is highly ill-posed, and it is often observed numerically that reconstructions have poor resolution far away from the measurement boundary but better resolution near the measurement boundary. The observation can be quantified by the concept of distinguishability of inclusions. This paper provides mathematically rigorous results supporting the intuition. Indeed, for a model problem lower and upper bounds on the distinguishability of an inclusion are derived in terms of the boundary data. These bounds depend explicitly on the distance…
We propose and test stable algorithms for the reconstruction of the internal conductivity of a biological object using acousto-electric measurements. Namely, the conventional impedance tomography scheme is supplemented by scanning the object with acoustic waves that slightly perturb the conductivity and cause the change in the electric potential measured on the boundary of the object. These perturbations of the potential are then used as the data for the reconstruction of the conductivity. The present method does not rely on "perfectly focused" acoustic beams. Instead, more realistic propagati…
We present a paradigm for characterization of artifacts in limited data tomography problems. In particular, we use this paradigm to characterize artifacts that are generated in reconstructions from limited angle data with generalized Radon transforms and general filtered backprojection type operators. In order to find when visible singularities are imaged, we calculate the symbol of our reconstruction operator as a pseudodifferential operator.
Photoacoustic computed tomography (PACT), also known as optoacoustic tomography, is an emerging imaging modality that has great potential for a wide range of biomedical imaging applications. In this Note, we derive a hybrid reconstruction formula that is mathematically exact and operates on a data function that is expressed in the temporal frequency and spatial domains. This formula explicitly reveals new insights into how the spatial frequency components of the sought-after object function are determined by the temporal frequency components of the data function measured with a circular or sph…
Iterative image reconstruction algorithms for optoacoustic tomography (OAT), also known as photoacoustic tomography, have the ability to improve image quality over analytic algorithms due to their ability to incorporate accurate models of the imaging physics, instrument response, and measurement noise. However, to date, there have been few reported attempts to employ advanced iterative image reconstruction algorithms for improving image quality in three-dimensional (3D) OAT. In this work, we implement and investigate two iterative image reconstruction methods for use with a 3D OAT small animal…
We introduce a mathematical model for ultrasound modulated optical tomography and present a simple reconstruction scheme for recovering the spatially varying optical absorption coefficient from scanning measurements with narrowly focused ultrasound signals. Computational results for this model show that the reconstruction of sharp features of the absorption coefficient is possible. A formal linearization of the model leads to an equation with a Fredholm operator, which explains the stability observed in our numerical experiments.
We present a new nonlinear optimization approach for the sparse reconstruction of single-photon absorption and two-photon absorption coefficients in photoacoustic tomography (PAT). This framework comprises of minimizing an objective functional involving a least squares fit of the interior pressure field data corresponding to two boundary source functions, where the absorption coefficients and the photon density are related through a semi-linear elliptic partial differential equation (PDE) arising in PAT. Further, the objective functional consists of an $L^1$ regularization term that promotes s…
In this paper we perform quantitative reconstruction of the electric susceptibility and the Grüneisen parameter of a non-magnetic linear dielectric medium using measurement of a multi-modal photoacoustic and optical coherence tomography system. We consider the mathematical model presented in [11], where a Fredholm integral equation of the first kind for the Grüneisen parameter was derived. For the numerical solution of the integral equation we consider a Galerkin type method.
Photoacoustic tomography (PAT) is a hybrid imaging modality that intends to construct high-resolution images of optical properties of heterogeneous media from measured acoustic data generated by the photoacoustic effect. To date, most of the model-based quantitative image reconstructions in PAT are performed with either the radiative transport equation or its classical diffusion approximation as the model of light propagation. In this work, we study quantitative image reconstructions in PAT using the simplified $P_2$ equations as the light propagation model. We provide numerical evidences on t…
We give uniqueness theorem and reconstruction algorithm for the nonlinearized problem of finding the dielectric anisotropy f of the medium from non-overdetermined polarization tomography data. We assume that the medium has uniform background parameters and that the anisotropic (dielectric permeability) perturbation is described by symmetric and sufficiently small matrix-function f . On a pure mathematical level this article contributes to the theory of non-abelian Radon transforms and to iterative methods of inverse scattering.
