arXiv Science⌕ Search

arXiv subjects

Tanja Tarvainen

Publications and source records attributed to Tanja Tarvainen.

At least 19 recordsLinked to original sources

Bayesian Sequential Optimal Experimental Design for Single-Pixel Imaging using Reinforcement Learning

Adaptive compressed sensing (CS) aims to select the most informative measurements sequentially, which is crucial for many modern imaging systems. This task can be formulated as a Bayesian sequential optimal experimental design (sOED) problem, where each new acquisition is chosen to maximally reduce uncertainty about the unknown image given prior information and subsequent data provided by acquisitions. However, in single-pixel imaging (SPI), the large design space consists of all possible binary illumination patterns. Directly optimizing the Bayesian sOED objective over this space using conventional methods is generally challenging. In this work, we reformulate sOED for SPI as a reinforcement learning (RL) problem. In RL, an agent learns a policy through repeated experimental trials to maximize a reward, here given as the expected information gain, the most complete measure of uncertainty reduction in Bayesian OED. This avoids the need to directly optimize complex information-theoretic objectives during a measurement to obtain the next design. Instead, the result is a learned policy function that directly maps the current posterior belief about the image to the next optimal binary measurement pattern, in a computationally efficient way. Using a simple yet representative SPI imaging scenario, this work evaluates the scalability of the learned policy under two different policy parameterizations. Furthermore, we investigate how performance deteriorates when only approximate posterior information is available or the measurements are impaired by noise, and propose several strategies to introduce additional design constraints motivated by biomedical applications. The numerical experiments demonstrate that the proposed Bayesian sOED-RL framework remains robust and can be extended to more complex, large-scale SPI scenarios.

cs.CV↗

Score-based diffusion models for severely ill-posed problems in diffuse optical tomography

Score-based diffusion models are a recently developed framework for posterior sampling in Bayesian inverse problems, enabling high-quality reconstructions in inverse problems by leveraging expressive prior distributions learned from empirical data. Despite their strong empirical performance and growing interest within the machine learning community, their behaviour in realistic, severely ill-posed inverse problems with experimental measurement data remains under-explored. Diffuse optical tomography (DOT) is an inverse boundary value problem that uses boundary measurements of near-infrared light to recover spatially varying absorption and scattering parameters in biological tissue. The problem is highly ill-posed and particularly sensitive to both measurement noise and modelling errors. We introduce a regularization strategy by constructing a mixed score consisting of a learned component and a model-based component. We show that the resulting mixed score approximates the score of a corresponding mixture distribution locally and in the small diffusion-time regime, providing a theoretical justification for the approach. We compare four approaches for difference imaging in DOT: a classical model-based method, an approximate score-based diffusion method (DPS), an exact posterior sampling method (UCoS) and a novel, regularized version of UCoS. We show that both the model-based approach and approximate diffusion-based sampling degrade significantly in the presence of limited-view geometry and real experimental data, whereas UCoS yields more accurate reconstructions.

stat.ML↗

3D Uncertainty Quantification for Photoacoustic Tomography

Photoacoustic tomography (PAT) is a promising modality for high-resolution biomedical imaging, motivating the need for reliable uncertainty quantification (UQ) of reconstructed images. Bayesian approaches provide a rigorous framework for UQ but remain computationally challenging for realistic three-dimensional PAT and are sensitive to numerical approximations in the governing wave equation. We develop a finite-element Bayesian UQ framework for PAT that accommodates complex computational domains and detector geometries while enabling large-scale three-dimensional inference. The proposed methodology reformulates the randomize-then-optimize (RTO) sampling strategy as a matrix-free algorithm that generates independent posterior samples using only forward and adjoint wave propagations. Particular attention is given to constructing an adjoint discretization that forms an exact transpose pair with the discrete forward operator while remaining consistent with the continuous PAT adjoint, enabling efficient least-squares solvers within the sampling procedure. We investigate the influence of temporal discretization, artificial boundary conditions, and adjoint consistency on posterior uncertainty and identify discretization strategies that avoid numerical artifacts. The framework is validated against exact posterior statistics, existing Bayesian PAT methods, and Hamiltonian Monte Carlo using the No-U-Turn Sampler (NUTS), and is demonstrated on a three-dimensional problem with approximately $2\times 10^5$ unknowns on a general finite-element domain. To the best of our knowledge, this is the first large-scale Bayesian PAT study on general three-dimensional finite-element geometries, and the methodology extends naturally to a broad class of linear PDE-constrained inverse problems.

math.NA↗

Efficient TV regularization of large-scale linear inverse problems via the SCD semismooth* Newton method with applications in tomography

In this paper, we consider the efficient numerical minimization of Tikhonov functionals resulting from total-variation (TV) regularization of linear inverse problems. Since the TV penalty is non-smooth, this is typically done either via smooth approximations, which are inexact, or using non-smooth optimization techniques, which can often be numerically expensive, in particular for large-scale problems. Here, we present a numerically efficient minimization approach based on the recently proposed semismooth* Newton method, which employs a novel concept of graphical derivatives and exhibits locally superlinear convergence. The proposed approach is specifically tailored to TV regularization, suitable for large-scale inverse problems, and supported by strong mathematical convergence guarantees. Furthermore, we demonstrate its performance on two (large-scale) tomographic imaging problems and compare our results to those obtained via other state-of-the-art TV regularization approaches. Finally, an open-source Matlab implementation of the proposed method is made available online at https://github.com/HGfrerer/TVReg-2D-Semismoothstar-Newton.

math.NA↗

Estimation of Dielectric Parameters from Ultrasound Waves in Quantitative Thermoacoustic Tomography

Thermoacoustic tomography (TAT) is an imaging technique based on the thermoacoustic effect, combining electromagnetic contrast and high resolution of ultrasound imaging. In TAT, a short micro- or radio wave pulse is directed to the imaged target. Energy of this pulse is absorbed depending on the dielectric parameters of the target, resulting in a spatially varying pressure distribution via the thermoacoustic effect. This pressure, known as the initial pressure distribution, propagates as acoustic waves that are measured on the boundary of the target using ultrasound sensors. In the inverse problem of TAT, the initial pressure is estimated from the measured ultrasound waves. TAT can further be extended to quantitative TAT (QTAT), where the aim is to estimate the dielectric parameters of the target from the measured ultrasound waves, utilizing a model for electromagnetic wave propagation. In this work, we study the inverse problem of QTAT, and propose an approach for simultaneous estimation of electrical conductivity and permittivity from the ultrasound waves. This problem is approached in the framework of Bayesian inverse problems, enabling incorporation of prior and noise models. The forward model describing electromagnetic and acoustic wave propagation is based on the Maxwell's equations and the acoustic wave-equation, respectively. The approach is evaluated with numerical simulations. The results show that the dielectric parameters can be estimated using the proposed approach with good precision. However, the ultrasound sensor geometry and the number of electromagnetic pulses have a significant effect on the accuracy of the estimated parameters.

physics.comp-ph↗

Utilising a learned forward operator in the inverse problem of photoacoustic tomography

We study the use of a learned forward operator in the inverse problem of photoacoustic tomography. The Fourier neural operator to approximate the photoacoustic wave propagation is used. Further, the inverse problem is solved using a gradient-based approach with automatic differentiation. The methodology is evaluated using numerical simulations, and the results are compared to a conventional approach, where the forward operator is approximated using the pseudospectral $k$-space method. The results show that the learned forward operator can be used to approximate the photoacoustic wave propagation with good accuracy, and that it can be utilised as a computationally efficient forward operator in solving the inverse problem of photoacoustic tomography.

physics.comp-ph↗

Fast reconstruction approaches for photoacoustic tomography with smoothing Sobolev/Matérn priors

In photoacoustic tomography (PAT), the computation of the initial pressure distribution within an object from its time-dependent boundary measurements over time is considered. This problem can be approached from two well-established points of view: deterministically using regularisation methods, or stochastically using the Bayesian framework. Both approaches frequently require the solution of a variational problem. In the paper we elaborate the connection between these approaches by establishing the equivalence between a smoothing Mat{é}rn class of covariance operators and Sobolev embedding operator $E_s: H^s \hookrightarrow L^2$. We further discuss the use of a Wavelet-based implementation of the adjoint operator $E_s^*$ which also allows for efficient evaluations for certain Mat{é}rn covariance operators, leading to efficient implementations both in terms of computational effort as well as memory requirements. The proposed methods are validated with reconstructions for the photoacoustic problem.

math.NA↗

Reconstructing initial pressure and speed of sound distributions simultaneously in photoacoustic tomography

Image reconstruction in photoacoustic tomography relies on an accurate knowledge of the speed of sound in the target. However, the speed of sound distribution is not generally known, which may result in artefacts in the reconstructed distribution of initial pressure. Therefore, reconstructing the speed of sound simultaneously with the initial pressure would be valuable for accurate imaging in photoacoustic tomography. Furthermore, the speed of sound distribution could provide additional valuable information about the imaged target. In this work, simultaneous reconstruction of initial pressure and speed of sound in photoacoustic tomography is studied. This inverse problem is known to be highly ill-posed. To overcome this, we study an approach where the ill-posedness is alleviated by utilising multiple photoacoustic data sets that are generated by different initial pressure distributions within the same imaged target. Then, these initial pressure distributions are reconstructed simultaneously with the speed of sound distribution. A methodology for solving this minimisation problem is formulated using a gradient-based iterative approach equipped with bound constraints and a multigrid approach. The methodology was evaluated with numerical simulations. Different approaches for generating multiple initial pressure distributions and their effect on the solution of the image reconstruction problem were studied. The results show that initial pressure and speed of sound can be simultaneously reconstructed from photoacoustic data. Furthermore, utilising multiple initial pressure distributions improves the reconstructions such that the locations of initial pressure and speed of sound inhomogeneities can be better distinguished and image artifacts are reduced.

physics.med-ph↗

Simultaneous estimation of electrical conductivity and permittivity in quantitative thermoacoustic tomography

In this work, the inverse problem of quantitative thermoacoustic tomography is studied. In quantitative thermoacoustic tomography, dielectric parameters of an imaged target are estimated from an absorbed energy density induced by an externally introduced electromagnetic excitation. In this work, simultaneous estimation of electrical conductivity and permittivity is considered. We approach this problem in the framework of Bayesian inverse problems. The dielectric parameters are estimated by computing maximum a posteriori estimates, and the reliability of the estimates is studied using the Laplace's approximation. The forward model to describe electromagnetic wave propagation is based on a vectorial Maxwell's equation, that is numerically approximated using a finite element method with edge elements. The proposed methodology is evaluated using numerical simulations utilising one or two electromagnetic excitations at multiple excitation frequencies. The results show that the electrical conductivity and permittivity can be simultaneously estimated in quantitative thermoacoustic tomography. However, the problem can suffer from non-uniqueness, which could be overcome using multiple electromagnetic excitations.

physics.comp-ph↗

Sparsity promoting reconstructions via hierarchical prior models in diffuse optical tomography

Diffuse optical tomography (DOT) is a severely ill-posed nonlinear inverse problem that seeks to estimate optical parameters from boundary measurements. In the Bayesian framework, the ill-posedness is diminished by incorporating {\em a priori} information of the optical parameters via the prior distribution. In case the target is sparse or sharp-edged, the common choice as the prior model are non-differentiable total variation and $\ell^1$ priors. Alternatively, one can hierarchically extend the variances of a Gaussian prior to obtain differentiable sparsity promoting priors. By doing this, the variances are treated as unknowns allowing the estimation to locate the discontinuities. In this work, we formulate hierarchical prior models for the nonlinear DOT inverse problem using exponential, standard gamma and inverse-gamma hyperpriors. Depending on the hyperprior and the hyperparameters, the hierarchical models promote different levels of sparsity and smoothness. To compute the MAP estimates, the previously proposed alternating algorithm is adapted to work with the nonlinear model. We then propose an approach based on the cumulative distribution function of the hyperpriors to select the hyperparameters. We evaluate the performance of the hyperpriors with numerical simulations and show that the hierarchical models can improve the localization, contrast and edge sharpness of the reconstructions.

math.NA↗

Model-based reconstructions for quantitative imaging in photoacoustic tomography

The reconstruction task in photoacoustic tomography can vary a lot depending on measured targets, geometry, and especially the quantity we want to recover. Specifically, as the signal is generated due to the coupling of light and sound by the photoacoustic effect, we have the possibility to recover acoustic as well as optical tissue parameters. This is referred to as quantitative imaging, i.e, correct recovery of physical parameters and not just a qualitative image. In this chapter, we aim to give an overview on established reconstruction techniques in photoacoustic tomography. We start with modelling of the optical and acoustic phenomena, necessary for a reliable recovery of quantitative values. Furthermore, we give an overview of approaches for the tomographic reconstruction problem with an emphasis on the recovery of quantitative values, from direct and fast analytic approaches to computationally involved optimisation based techniques and recent data-driven approaches.

physics.med-ph↗

A Bayesian approach for consistent reconstruction of inclusions

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

math.ST↗

Utilising nanosecond sources in diffuse optical tomography

Diffuse optical tomography (DOT) use near-infrared light for imaging optical properties of biological tissues. Time-domain DOT systems use pulsed lasers and measure time-varying temporal point spread function (TPSF), carrying information from both superficial and deep layers of imaged target. In this work, feasibility of nanosecond scale light pulses as sources for time-domain DOT is studied. Nanosecond sources enable using relatively robust measurement setups with standard analog-to-digital converter waveform digitizers, such as digital oscilloscopes. However, this type of systems have variations in source pulses and limited temporal sampling, that could limit their usage. In this work, these different aspects and possible limitations were studied with simulations and experiments. Simulations showed that information carried by time-domain data of diffuse medium is on low frequencies. This enables usage of relatively slow response time measurement electronics, and image processing using Fourier-transformed time-domain data. Furthermore, the temporal sampling in measurements needs to be high enough to capture the TPSF, but this rate can be achieved with standard digital oscilloscopes. It was shown that, although variations in light pulses of nanosecond lasers are larger than those of picosecond sources, they do not affect significantly on image quality. In this work, a prototype time-domain DOT experimental system utilising a high-energy nanosecond laser was constructed. The system consisted of a nanosecond Nd-YAG laser combined with optical parametric oscillator for light input, and avalanche photodetector and high-bandwidth oscilloscope for TPSF measurements. The system was used in both absolute and difference imaging of two phantoms. The experiments verified that both absorbing and scattering objects can be reconstructed with time-domain DOT using a nanosecond laser.

physics.optics↗

Utilizing variational autoencoders in the Bayesian inverse problem of photoacoustic tomography

There has been an increasing interest in utilizing machine learning methods in inverse problems and imaging. Most of the work has, however, concentrated on image reconstruction problems, and the number of studies regarding the full solution of the inverse problem is limited. In this work, we study a machine learning based approach for the Bayesian inverse problem of photoacoustic tomography. We develop an approach for estimating the posterior distribution in photoacoustic tomography using an approach based on the variational autoencoder. The approach is evaluated with numerical simulations and compared to the solution of the inverse problem using a Bayesian approach.

physics.comp-ph↗

A model-based iterative learning approach for diffuse optical tomography

Diffuse optical tomography (DOT) utilises near-infrared light for imaging spatially distributed optical parameters, typically the absorption and scattering coefficients. The image reconstruction problem of DOT is an ill-posed inverse problem, due to the non-linear light propagation in tissues and limited boundary measurements. The ill-posedness means that the image reconstruction is sensitive to measurement and modelling errors. The Bayesian approach for the inverse problem of DOT offers the possibility of incorporating prior information about the unknowns, rendering the problem less ill-posed. It also allows marginalisation of modelling errors utilising the so-called Bayesian approximation error method. A more recent trend in image reconstruction techniques is the use of deep learning techniques, which have shown promising results in various applications from image processing to tomographic reconstructions. In this work, we study the non-linear DOT inverse problem of estimating the absorption and scattering coefficients utilising a `model-based' learning approach, essentially intertwining learned components with the model equations of DOT. The proposed approach was validated with 2D simulations and 3D experimental data. We demonstrated improved absorption and scattering estimates for targets with a mix of smooth and sharp image features, implying that the proposed approach could learn image features that are difficult to model using standard Gaussian priors. Furthermore, it was shown that the approach can be utilised in compensating for modelling errors due to coarse discretisation enabling computationally efficient solutions. Overall, the approach provided improved computation times compared to a standard Gauss-Newton iteration.

physics.comp-ph↗

On Learned Operator Correction in Inverse Problems

We discuss the possibility to learn a data-driven explicit model correction for inverse problems and whether such a model correction can be used within a variational framework to obtain regularised reconstructions. This paper discusses the conceptual difficulty to learn such a forward model correction and proceeds to present a possible solution as forward-adjoint correction that explicitly corrects in both data and solution spaces. We then derive conditions under which solutions to the variational problem with a learned correction converge to solutions obtained with the correct operator. The proposed approach is evaluated on an application to limited view photoacoustic tomography and compared to the established framework of Bayesian approximation error method.

math.NA↗

Perturbation Monte Carlo Method for Quantitative Photoacoustic Tomography

Quantitative photoacoustic tomography aims at estimating optical parameters from photoacoustic images that are formed utilizing the photoacoustic effect caused by the absorption of an externally introduced light pulse. This optical parameter estimation is an ill-posed inverse problem, and thus it is sensitive to measurement and modeling errors. In this work, we propose a novel way to solve the inverse problem of quantitative photoacoustic tomography based on the perturbation Monte Carlo method. Monte Carlo method for light propagation is a stochastic approach for simulating photon trajectories in a medium with scattering particles. It is widely accepted as an accurate method to simulate light propagation in tissues. Furthermore, it is numerically robust and easy to implement. Perturbation Monte Carlo maintains this robustness and enables forming gradients for the solution of the inverse problem. We validate the method and apply it in the framework of Bayesian inverse problems. The simulations show that the perturbation Monte Carlo method can be used to estimate spatial distributions of both absorption and scattering parameters simultaneously. These estimates are qualitatively good and quantitatively accurate also in parameter scales that are realistic for biological tissues.

physics.med-ph↗

Coupled Elastic-Acoustic Modelling for Quantitative Photoacoustic Tomography

Quantitative photoacoustic tomography (qPAT) is an imaging technique aimed at estimating chromophore concentrations inside tissues from photoacoustic images, which are formed by combining optical information and ultrasonic propagation. The application of qPAT as a transcranial imaging modality is complicated by shear waves that can be produced when ultrasound waves travel from soft tissue to bone. Because of this, the estimation of chromophores distributions near the skull can be problematic. In this paper, we take steps towards compensating for aberrations of the recorded photoacoustic signals caused by elastic wave propagation. With photoacoustic data simulated in a coupled elastic-acoustic domain, we conduct inversions in a purely acoustic domain. Estimation of the posterior density of the initial pressure is achieved by inversion under the Bayesian framework. We utilize the Bayesian approximation error approach to compensate for the modelling errors arising from approximating a coupled elastic-acoustic domain with a purely fluid domain. The resulting reconstructions and corresponding uncertainty estimates are then used to evaluate the posterior density of the optical absorption parameter. In the sense of the posterior uncertainty, the results show that the Bayesian approximation error approach yields a more feasible estimate for the posterior model of the initial pressure which, in turn, yields a more feasible estimate for the posterior model of the absorption coefficient.

physics.comp-ph↗