-
Bayesian optimal experimental design with Wasserstein information criteria
Authors:
Tapio Helin,
Youssef Marzouk,
Jose Rodrigo Rojo-Garcia
Abstract:
Bayesian optimal experimental design (OED) provides a principled framework for selecting the most informative observational settings in experiments. With rapid advances in computational power, Bayesian OED has become increasingly feasible for inference problems involving large-scale simulations, attracting growing interest in fields such as inverse problems. In this paper, we introduce a novel des…
▽ More
Bayesian optimal experimental design (OED) provides a principled framework for selecting the most informative observational settings in experiments. With rapid advances in computational power, Bayesian OED has become increasingly feasible for inference problems involving large-scale simulations, attracting growing interest in fields such as inverse problems. In this paper, we introduce a novel design criterion based on the expected Wasserstein-$p$ distance between the prior and posterior distributions. Especially, for $p=2$, this criterion shares key parallels with the widely used expected information gain (EIG), which relies on the Kullback--Leibler divergence instead. First, the Wasserstein-2 criterion admits a closed-form solution for Gaussian regression, a property which can be also leveraged for approximative schemes. Second, it can be interpreted as maximizing the information gain measured by the transport cost incurred when updating the prior to the posterior. Our main contribution is a stability analysis of the Wasserstein-1 criterion, where we provide a rigorous error analysis under perturbations of the prior or likelihood. We partially extend this study also to the Wasserstein-2 criterion. In particular, these results yield error rates when empirical approximations of priors are used. Finally, we demonstrate the computability of the Wasserstein-2 criterion and demonstrate our approximation rates through simulations.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Recovering a (1+1)-dimensional wave equation from a single white noise boundary measurement
Authors:
Emilia L. K. Blåsten,
Tapio Helin,
Antti Kujanpää,
Lauri Oksanen,
Jesse Railo
Abstract:
We consider the following inverse problem: Suppose a $(1+1)$-dimensional wave equation on $\mathbb R_+$ with zero initial conditions is excited with a Neumann boundary data modelled as a white noise process. Given also the Dirichlet data at the same point, determine the unknown first order coefficient function of the system.
We first establish that direct problem is well-posed. The inverse probl…
▽ More
We consider the following inverse problem: Suppose a $(1+1)$-dimensional wave equation on $\mathbb R_+$ with zero initial conditions is excited with a Neumann boundary data modelled as a white noise process. Given also the Dirichlet data at the same point, determine the unknown first order coefficient function of the system.
We first establish that direct problem is well-posed. The inverse problem is then solved by showing that correlations of the boundary data determine the Neumann-to-Dirichlet operator in the sense of distributions, which is known to uniquely identify the coefficient. This approach has applications in acoustic measurements of internal cross-sections of fluid pipes such as pressurised water supply pipes and vocal tract shape determination.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
Learning sparsity-promoting regularizers for linear inverse problems
Authors:
Giovanni S. Alberti,
Ernesto De Vito,
Tapio Helin,
Matti Lassas,
Luca Ratti,
Matteo Santacesaria
Abstract:
This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge…
▽ More
This paper introduces a novel approach to learning sparsity-promoting regularizers for solving linear inverse problems. We develop a bilevel optimization framework to select an optimal synthesis operator, denoted as $B$, which regularizes the inverse problem while promoting sparsity in the solution. The method leverages statistical properties of the underlying data and incorporates prior knowledge through the choice of $B$. We establish the well-posedness of the optimization problem, provide theoretical guarantees for the learning process, and present sample complexity bounds. The approach is demonstrated through examples, including compact perturbations of a known operator and the problem of learning the mother wavelet, showcasing its flexibility in incorporating prior knowledge into the regularization framework. This work extends previous efforts in Tikhonov regularization by addressing non-differentiable norms and proposing a data-driven approach for sparse regularization in infinite dimensions.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Surrogate model for Bayesian optimal experimental design in chromatography
Authors:
Jose Rodrigo Rojo-Garcia,
Heikki Haario,
Tapio Helin,
Tuomo Sainio
Abstract:
We applied Bayesian Optimal Experimental Design (OED) in the estimation of parameters involved in the Equilibrium Dispersive Model for chromatography with two components with the Langmuir adsorption isotherm. The coefficients estimated were Henry's coefficients, the total absorption capacity and the number of theoretical plates, while the design variables were the injection time and the initial co…
▽ More
We applied Bayesian Optimal Experimental Design (OED) in the estimation of parameters involved in the Equilibrium Dispersive Model for chromatography with two components with the Langmuir adsorption isotherm. The coefficients estimated were Henry's coefficients, the total absorption capacity and the number of theoretical plates, while the design variables were the injection time and the initial concentration. The Bayesian OED algorithm is based on nested Monte Carlo estimation, which becomes computationally challenging due to the simulation time of the PDE involved in the dispersive model. This complication was relaxed by introducing a surrogate model based on Piecewise Sparse Linear Interpolation. Using the surrogate model instead the original reduces significantly the simulation time and it approximates the solution of the PDE with high degree of accuracy. The estimation of the parameters over strategical design points provided by OED reduces the uncertainty in the estimation of parameters. Additionally, the Bayesian OED methodology indicates no improvements when increasing the number of measurements in temporal nodes above a threshold value.
△ Less
Submitted 7 October, 2024; v1 submitted 28 June, 2024;
originally announced June 2024.
-
Scalable diffusion posterior sampling in infinite-dimensional inverse problems
Authors:
Fabian Schneider,
Duc-Lam Duong,
Matti Lassas,
Maarten V. de Hoop,
Tapio Helin
Abstract:
Score-based diffusion models (SDMs) have emerged as a powerful tool for sampling from the posterior distribution in Bayesian inverse problems. However, existing methods often require multiple evaluations of the forward mapping to generate a single sample, resulting in significant computational costs for large-scale inverse problems. To address this issue, we propose a scalable diffusion posterior…
▽ More
Score-based diffusion models (SDMs) have emerged as a powerful tool for sampling from the posterior distribution in Bayesian inverse problems. However, existing methods often require multiple evaluations of the forward mapping to generate a single sample, resulting in significant computational costs for large-scale inverse problems. To address this issue, we propose a scalable diffusion posterior sampling (SDPS) method to bypass forward mapping evaluations during sampling by shifting computational effort to an offline training phase, where a task-dependent score is learned based on the forward mapping. Crucially, the conditional posterior score is then derived from this trained score using affine transformations, ensuring no conditional score approximation is needed. The approach is shown to generalize to infinite-dimensional diffusion models and is validated through rigorous convergence analysis and high-dimensional CT imaging experiments.
△ Less
Submitted 3 February, 2025; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Recovery of transversely-isotropic elastic material parameters in induction motor rotors
Authors:
Hanz Martin Cheng,
Tapio Helin,
Ville-Petteri Manninen,
Timo Holopainen,
Juha Jokinen,
Samu Sorvari,
Andreas Rupp
Abstract:
We propose numerical algorithms for recovering parameters in eigenvalue problems for linear elasticity of transversely isotropic materials. Specifically, the algorithms are used to recover the elastic constants of a rotor core. Numerical tests show that in the noiseless setup, two pairs of bending modes are sufficient for recovering one to four parameters accurately. To recover all five parameters…
▽ More
We propose numerical algorithms for recovering parameters in eigenvalue problems for linear elasticity of transversely isotropic materials. Specifically, the algorithms are used to recover the elastic constants of a rotor core. Numerical tests show that in the noiseless setup, two pairs of bending modes are sufficient for recovering one to four parameters accurately. To recover all five parameters that govern the elastic properties of electric engines accurately, we require three pairs of bending modes and one torsional mode. Moreover, we study the stability of the inversion method against multiplicative noise; for tests in which the data contained multiplicative noise of at most $1\%$, we find that all parameters can be recovered with an error less than $10\%$.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Statistical inverse learning problems with random observations
Authors:
Abhishake,
Tapio Helin,
Nicole Mücke
Abstract:
We provide an overview of recent progress in statistical inverse problems with random experimental design, covering both linear and nonlinear inverse problems. Different regularization schemes have been studied to produce robust and stable solutions. We discuss recent results in spectral regularization methods and regularization by projection, exploring both approaches within the context of Hilber…
▽ More
We provide an overview of recent progress in statistical inverse problems with random experimental design, covering both linear and nonlinear inverse problems. Different regularization schemes have been studied to produce robust and stable solutions. We discuss recent results in spectral regularization methods and regularization by projection, exploring both approaches within the context of Hilbert scales and presenting new insights particularly in regularization by projection. Additionally, we overview recent advancements in regularization using convex penalties. Convergence rates are analyzed in terms of the sample size in a probabilistic sense, yielding minimax rates in both expectation and probability. To achieve these results, the structure of reproducing kernel Hilbert spaces is leveraged to establish minimax rates in the statistical learning setting. We detail the assumptions underpinning these key elements of our proofs. Finally, we demonstrate the application of these concepts to nonlinear inverse problems in pharmacokinetic/pharmacodynamic (PK/PD) models, where the task is to predict changes in drug concentrations in patients.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
Bayesian design of measurements for magnetorelaxometry imaging
Authors:
Tapio Helin,
Nuutti Hyvönen,
Jarno Maaninen,
Juha-Pekka Puska
Abstract:
The aim of magnetorelaxometry imaging is to determine the distribution of magnetic nanoparticles inside a subject by measuring the relaxation of the superposition magnetic field generated by the nanoparticles after they have first been aligned using an external activation magnetic field that has subsequently been switched off. This work applies techniques of Bayesian optimal experimental design to…
▽ More
The aim of magnetorelaxometry imaging is to determine the distribution of magnetic nanoparticles inside a subject by measuring the relaxation of the superposition magnetic field generated by the nanoparticles after they have first been aligned using an external activation magnetic field that has subsequently been switched off. This work applies techniques of Bayesian optimal experimental design to (sequentially) selecting the positions for the activation coil in order to increase the value of data and enable more accurate reconstructions in a simplified measurement setup. Both Gaussian and total variation prior models are considered for the distribution of the nanoparticles. The former allows simultaneous offline computation of optimized designs for multiple consecutive activations, while the latter introduces adaptability into the algorithm by using previously measured data in choosing the position of the next activation. The total variation prior has a desirable edge-enhancing characteristic, but with the downside that the computationally attractive Gaussian form of the posterior density is lost. To overcome this challenge, the lagged diffusivity iteration is used to provide an approximate Gaussian posterior model and allow the use of the standard Bayesian A- and D-optimality criteria for the total variation prior as well. Two-dimensional numerical experiments are performed on a few sample targets, with the conclusion that the optimized activation positions lead, in general, to better reconstructions than symmetric reference setups when the target distribution or region of interest are nonsymmetric in shape.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Bayesian Posterior Perturbation Analysis with Integral Probability Metrics
Authors:
Alfredo Garbuno-Inigo,
Tapio Helin,
Franca Hoffmann,
Bamdad Hosseini
Abstract:
In recent years, Bayesian inference in large-scale inverse problems found in science, engineering and machine learning has gained significant attention. This paper examines the robustness of the Bayesian approach by analyzing the stability of posterior measures in relation to perturbations in the likelihood potential and the prior measure. We present new stability results using a family of integra…
▽ More
In recent years, Bayesian inference in large-scale inverse problems found in science, engineering and machine learning has gained significant attention. This paper examines the robustness of the Bayesian approach by analyzing the stability of posterior measures in relation to perturbations in the likelihood potential and the prior measure. We present new stability results using a family of integral probability metrics (divergences) akin to dual problems that arise in optimal transport. Our results stand out from previous works in three directions: (1) We construct new families of integral probability metrics that are adapted to the problem at hand; (2) These new metrics allow us to study both likelihood and prior perturbations in a convenient way; and (3) our analysis accommodates likelihood potentials that are only locally Lipschitz, making them applicable to a wide range of nonlinear inverse problems. Our theoretical findings are further reinforced through specific and novel examples where the approximation rates of posterior measures are obtained for different types of perturbations and provide a path towards the convergence analysis of recently adapted machine learning techniques for Bayesian inverse problems such as data-driven priors and neural network surrogates.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
Introduction To Gaussian Process Regression In Bayesian Inverse Problems, With New ResultsOn Experimental Design For Weighted Error Measures
Authors:
Tapio Helin,
Andrew Stuart,
Aretha Teckentrup,
Konstantinos Zygalakis
Abstract:
Bayesian posterior distributions arising in modern applications, including inverse problems in partial differential equation models in tomography and subsurface flow, are often computationally intractable due to the large computational cost of evaluating the data likelihood. To alleviate this problem, we consider using Gaussian process regression to build a surrogate model for the likelihood, resu…
▽ More
Bayesian posterior distributions arising in modern applications, including inverse problems in partial differential equation models in tomography and subsurface flow, are often computationally intractable due to the large computational cost of evaluating the data likelihood. To alleviate this problem, we consider using Gaussian process regression to build a surrogate model for the likelihood, resulting in an approximate posterior distribution that is amenable to computations in practice. This work serves as an introduction to Gaussian process regression, in particular in the context of building surrogate models for inverse problems, and presents new insights into a suitable choice of training points. We show that the error between the true and approximate posterior distribution can be bounded by the error between the true and approximate likelihood, measured in the $L^2$-norm weighted by the true posterior, and that efficiently bounding the error between the true and approximate likelihood in this norm suggests choosing the training points in the Gaussian process surrogate model based on the true posterior.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Least squares approximations in linear statistical inverse learning problems
Authors:
Tapio Helin
Abstract:
Statistical inverse learning aims at recovering an unknown function $f$ from randomly scattered and possibly noisy point evaluations of another function $g$, connected to $f$ via an ill-posed mathematical model. In this paper we blend statistical inverse learning theory with the classical regularization strategy of applying finite-dimensional projections. Our key finding is that coupling the numbe…
▽ More
Statistical inverse learning aims at recovering an unknown function $f$ from randomly scattered and possibly noisy point evaluations of another function $g$, connected to $f$ via an ill-posed mathematical model. In this paper we blend statistical inverse learning theory with the classical regularization strategy of applying finite-dimensional projections. Our key finding is that coupling the number of random point evaluations with the choice of projection dimension, one can derive probabilistic convergence rates for the reconstruction error of the maximum likelihood (ML) estimator. Convergence rates in expectation are derived with a ML estimator complemented with a norm-based cut-off operation. Moreover, we prove that the obtained rates are minimax optimal.
△ Less
Submitted 19 January, 2024; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Stability estimates for the expected utility in Bayesian optimal experimental design
Authors:
Duc-Lam Duong,
Tapio Helin,
Jose Rodrigo Rojo-Garcia
Abstract:
We study stability properties of the expected utility function in Bayesian optimal experimental design. We provide a framework for this problem in a non-parametric setting and prove a convergence rate of the expected utility with respect to a likelihood perturbation. This rate is uniform over the design space and its sharpness in the general setting is demonstrated by proving a lower bound in a sp…
▽ More
We study stability properties of the expected utility function in Bayesian optimal experimental design. We provide a framework for this problem in a non-parametric setting and prove a convergence rate of the expected utility with respect to a likelihood perturbation. This rate is uniform over the design space and its sharpness in the general setting is demonstrated by proving a lower bound in a special case. To make the problem more concrete we proceed by considering non-linear Bayesian inverse problems with Gaussian likelihood and prove that the assumptions set out for the general case are satisfied and regain the stability of the expected utility with respect to perturbations to the observation map. Theoretical convergence rates are demonstrated numerically in three different examples.
△ Less
Submitted 3 November, 2023; v1 submitted 8 November, 2022;
originally announced November 2022.
-
Edge-promoting adaptive Bayesian experimental design for X-ray imaging
Authors:
Tapio Helin,
Nuutti Hyvönen,
Juha-Pekka Puska
Abstract:
This work considers sequential edge-promoting Bayesian experimental design for (discretized) linear inverse problems, exemplified by X-ray tomography. The process of computing a total variation type reconstruction of the absorption inside the imaged body via lagged diffusivity iteration is interpreted in the Bayesian framework. Assuming a Gaussian additive noise model, this leads to an approximate…
▽ More
This work considers sequential edge-promoting Bayesian experimental design for (discretized) linear inverse problems, exemplified by X-ray tomography. The process of computing a total variation type reconstruction of the absorption inside the imaged body via lagged diffusivity iteration is interpreted in the Bayesian framework. Assuming a Gaussian additive noise model, this leads to an approximate Gaussian posterior with a covariance structure that contains information on the location of edges in the posterior mean. The next projection geometry is then chosen through A-optimal Bayesian design, which corresponds to minimizing the trace of the updated posterior covariance matrix that accounts for the new projection. Two and three-dimensional numerical examples based on simulated data demonstrate the functionality of the introduced approach.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Convex regularization in statistical inverse learning problems
Authors:
Tatiana A. Bubba,
Martin Burger,
Tapio Helin,
Luca Ratti
Abstract:
We consider a statistical inverse learning problem, where the task is to estimate a function $f$ based on noisy point evaluations of $Af$, where $A$ is a linear operator. The function $Af$ is evaluated at i.i.d. random design points $u_n$, $n=1,...,N$ generated by an unknown general probability distribution. We consider Tikhonov regularization with general convex and $p$-homogeneous penalty functi…
▽ More
We consider a statistical inverse learning problem, where the task is to estimate a function $f$ based on noisy point evaluations of $Af$, where $A$ is a linear operator. The function $Af$ is evaluated at i.i.d. random design points $u_n$, $n=1,...,N$ generated by an unknown general probability distribution. We consider Tikhonov regularization with general convex and $p$-homogeneous penalty functionals and derive concentration rates of the regularized solution to the ground truth measured in the symmetric Bregman distance induced by the penalty functional. We derive concrete rates for Besov norm penalties and numerically demonstrate the correspondence with the observed rates in the context of X-ray tomography.
△ Less
Submitted 1 November, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Non-asymptotic error estimates for the Laplace approximation in Bayesian inverse problems
Authors:
Tapio Helin,
Remo Kretschmann
Abstract:
In this paper we study properties of the Laplace approximation of the posterior distribution arising in nonlinear Bayesian inverse problems. Our work is motivated by Schillings et al. (2020), where it is shown that in such a setting the Laplace approximation error in Hellinger distance converges to zero in the order of the noise level. Here, we prove novel error estimates for a given noise level t…
▽ More
In this paper we study properties of the Laplace approximation of the posterior distribution arising in nonlinear Bayesian inverse problems. Our work is motivated by Schillings et al. (2020), where it is shown that in such a setting the Laplace approximation error in Hellinger distance converges to zero in the order of the noise level. Here, we prove novel error estimates for a given noise level that also quantify the effect due to the nonlinearity of the forward mapping and the dimension of the problem. In particular, we are interested in settings in which a linear forward mapping is perturbed by a small nonlinear mapping. Our results indicate that in this case, the Laplace approximation error is of the size of the perturbation. The paper provides insight into Bayesian inference in nonlinear inverse problems, where linearization of the forward mapping has suitable approximation properties.
△ Less
Submitted 27 October, 2021; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Sequentially optimized projections in X-ray imaging
Authors:
Martin Burger,
Andreas Hauptmann,
Tapio Helin,
Nuutti Hyvönen,
Juha-Pekka Puska
Abstract:
This work applies Bayesian experimental design to selecting optimal projection geometries in (discretized) parallel beam X-ray tomography assuming the prior and the additive noise are Gaussian. The introduced greedy exhaustive optimization algorithm proceeds sequentially, with the posterior distribution corresponding to the previous projections serving as the prior for determining the design param…
▽ More
This work applies Bayesian experimental design to selecting optimal projection geometries in (discretized) parallel beam X-ray tomography assuming the prior and the additive noise are Gaussian. The introduced greedy exhaustive optimization algorithm proceeds sequentially, with the posterior distribution corresponding to the previous projections serving as the prior for determining the design parameters, i.e. the imaging angle and the lateral position of the source-receiver pair, for the next one. The algorithm allows redefining the region of interest after each projection as well as adapting parameters in the (original) prior to the measured data. Both A and D-optimality are considered, with emphasis on efficient evaluation of the corresponding objective functions. Two-dimensional numerical experiments demonstrate the functionality of the approach.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Hyperparameter Estimation in Bayesian MAP Estimation: Parameterizations and Consistency
Authors:
Matthew M. Dunlop,
Tapio Helin,
Andrew M. Stuart
Abstract:
The Bayesian formulation of inverse problems is attractive for three primary reasons: it provides a clear modelling framework; means for uncertainty quantification; and it allows for principled learning of hyperparameters. The posterior distribution may be explored by sampling methods, but for many problems it is computationally infeasible to do so. In this situation maximum a posteriori (MAP) est…
▽ More
The Bayesian formulation of inverse problems is attractive for three primary reasons: it provides a clear modelling framework; means for uncertainty quantification; and it allows for principled learning of hyperparameters. The posterior distribution may be explored by sampling methods, but for many problems it is computationally infeasible to do so. In this situation maximum a posteriori (MAP) estimators are often sought. Whilst these are relatively cheap to compute, and have an attractive variational formulation, a key drawback is their lack of invariance under change of parameterization. This is a particularly significant issue when hierarchical priors are employed to learn hyperparameters. In this paper we study the effect of the choice of parameterization on MAP estimators when a conditionally Gaussian hierarchical prior distribution is employed. Specifically we consider the centred parameterization, the natural parameterization in which the unknown state is solved for directly, and the noncentred parameterization, which works with a whitened Gaussian as the unknown state variable, and arises when considering dimension-robust MCMC algorithms; MAP estimation is well-defined in the nonparametric setting only for the noncentred parameterization. However, we show that MAP estimates based on the noncentred parameterization are not consistent as estimators of hyperparameters; conversely, we show that limits of finite-dimensional centred MAP estimators are consistent as the dimension tends to infinity. We also consider empirical Bayesian hyperparameter estimation, show consistency of these estimates, and demonstrate that they are more robust with respect to noise than centred MAP estimates. An underpinning concept throughout is that hyperparameters may only be recovered up to measure equivalence, a well-known phenomenon in the context of the Ornstein-Uhlenbeck process.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Inverse problems for heat equation and space-time fractional diffusion equation with one measurement
Authors:
Tapio Helin,
Matti Lassas,
Lauri Ylinen,
Zhidong Zhang
Abstract:
Given a connected compact Riemannian manifold $(M,g)$ without boundary, $\dim M\ge 2$, we consider a space--time fractional diffusion equation with an interior source that is supported on an open subset $V$ of the manifold. The time-fractional part of the equation is given by the Caputo derivative of order $α\in(0,1]$, and the space fractional part by $(-Δ_g)^β$, where $β\in(0,1]$ and $Δ_g$ is the…
▽ More
Given a connected compact Riemannian manifold $(M,g)$ without boundary, $\dim M\ge 2$, we consider a space--time fractional diffusion equation with an interior source that is supported on an open subset $V$ of the manifold. The time-fractional part of the equation is given by the Caputo derivative of order $α\in(0,1]$, and the space fractional part by $(-Δ_g)^β$, where $β\in(0,1]$ and $Δ_g$ is the Laplace--Beltrami operator on the manifold. The case $α=β=1$, which corresponds to the standard heat equation on the manifold, is an important special case. We construct a specific source such that measuring the evolution of the corresponding solution on $V$ determines the manifold up to a Riemannian isometry.
△ Less
Submitted 11 March, 2019;
originally announced March 2019.
-
Inverse random source problems for time-harmonic acoustic and elastic waves
Authors:
Jianliang Li,
Tapio Helin,
Peijun Li
Abstract:
This paper concerns the random source problems for the time-harmonic acoustic and elastic wave equations in two and three dimensions. The goal is to determine the compactly supported external force from the radiated wave field measured in a domain away from the source region. The source is assumed to be a microlocally isotropic generalized Gaussian random function such that its covariance operator…
▽ More
This paper concerns the random source problems for the time-harmonic acoustic and elastic wave equations in two and three dimensions. The goal is to determine the compactly supported external force from the radiated wave field measured in a domain away from the source region. The source is assumed to be a microlocally isotropic generalized Gaussian random function such that its covariance operator is a classical pseudo-differential operator. Given such a distributional source, the direct problem is shown to have a unique solution by using an integral equation approach and the Sobolev embedding theorem. For the inverse problem, we demonstrate that the amplitude of the scattering field averaged over the frequency band, obtained from a single realization of the random source, determines uniquely the principle symbol of the covariance operator. The analysis employs asymptotic expansions of the Green functions and microlocal analysis of the Fourier integral operators associated with the Helmholtz and Navier equations.
△ Less
Submitted 29 November, 2018;
originally announced November 2018.
-
Rates of contraction of posterior distributions based on $p$-exponential priors
Authors:
Sergios Agapiou,
Masoumeh Dashti,
Tapio Helin
Abstract:
We consider a family of infinite dimensional product measures with tails between Gaussian and exponential, which we call $p$-exponential measures. We study their measure-theoretic properties and in particular their concentration. Our findings are used to develop a general contraction theory of posterior distributions on nonparametric models with $p$-exponential priors in separable Banach parameter…
▽ More
We consider a family of infinite dimensional product measures with tails between Gaussian and exponential, which we call $p$-exponential measures. We study their measure-theoretic properties and in particular their concentration. Our findings are used to develop a general contraction theory of posterior distributions on nonparametric models with $p$-exponential priors in separable Banach parameter spaces. Our approach builds on the general contraction theory for Gaussian process priors in van der Vaart and van Zanten 2008, namely we use prior concentration to verify prior mass and entropy conditions sufficient for posterior contraction. However, the specific concentration properties of $p$-exponential priors lead to a more complex entropy bound which can influence negatively the obtained rate of contraction, depending on the topology of the parameter space. Subject to the more complex entropy bound, we show that the rate of contraction depends on the position of the true parameter relative to a certain Banach space associated to $p$-exponential measures and on the small ball probabilities of these measures. For example, we apply our theory in the white noise model under Besov regularity of the truth and obtain minimax rates of contraction using (rescaled) $α$-regular $p$-exponential priors. In particular, our results suggest that when interested in spatially inhomogeneous unknown functions, in terms of posterior contraction, it is preferable to use Laplace rather than Gaussian priors.
△ Less
Submitted 8 October, 2020; v1 submitted 29 November, 2018;
originally announced November 2018.
-
An inverse random source problem in a stochastic fractional diffusion equation
Authors:
Pingping Niu,
Tapio Helin,
Zhidong Zhang
Abstract:
In this work the authors consider an inverse source problem in the following stochastic fractional diffusion equation $$\partial_t^αu(x,t)+\mathcal{A} u(x,t)=f(x)h(t)+g(x) \dot{\mathbb{W}}(t).$$ The interested inverse problem is to reconstruct $f(x)$ and $g(x)$ by the statistics of the final time data $u(x,T).$ Some direct problem results are proved at first, such as the existence, uniqueness, rep…
▽ More
In this work the authors consider an inverse source problem in the following stochastic fractional diffusion equation $$\partial_t^αu(x,t)+\mathcal{A} u(x,t)=f(x)h(t)+g(x) \dot{\mathbb{W}}(t).$$ The interested inverse problem is to reconstruct $f(x)$ and $g(x)$ by the statistics of the final time data $u(x,T).$ Some direct problem results are proved at first, such as the existence, uniqueness, representation and regularity of the solution. Then the reconstruction scheme for $f$ and $g$ is given. To tackle the ill-posedness, the Tikhonov regularization is adopted. Finally we give a regularized reconstruction algorithm and some numerical results are displayed.
△ Less
Submitted 7 October, 2018;
originally announced October 2018.
-
Generalized modes in Bayesian inverse problems
Authors:
Christian Clason,
Tapio Helin,
Remo Kretschmann,
Petteri Piiroinen
Abstract:
Uncertainty quantification requires efficient summarization of high- or even infinite-dimensional (i.e., non-parametric) distributions based on, e.g., suitable point estimates (modes) for posterior distributions arising from model-specific prior distributions. In this work, we consider non-parametric modes and MAP estimates for priors that do not admit continuous densities, for which previous appr…
▽ More
Uncertainty quantification requires efficient summarization of high- or even infinite-dimensional (i.e., non-parametric) distributions based on, e.g., suitable point estimates (modes) for posterior distributions arising from model-specific prior distributions. In this work, we consider non-parametric modes and MAP estimates for priors that do not admit continuous densities, for which previous approaches based on small ball probabilities fail. We propose a novel definition of generalized modes based on the concept of approximating sequences, which reduce to the classical mode in certain situations that include Gaussian priors but also exist for a more general class of priors. The latter includes the case of priors that impose strict bounds on the admissible parameters and in particular of uniform priors. For uniform priors defined by random series with uniformly distributed coefficients, we show that generalized MAP estimates -- but not classical MAP estimates -- can be characterized as minimizers of a suitable functional that plays the role of a generalized Onsager--Machlup functional. This is then used to show consistency of nonlinear Bayesian inverse problems with uniform priors and Gaussian noise.
△ Less
Submitted 14 January, 2019; v1 submitted 1 June, 2018;
originally announced June 2018.
-
Correlation imaging in inverse scattering is tomography on probability distributions
Authors:
Pedro Caro,
Tapio Helin,
Antti Kujanpää,
Matti Lassas
Abstract:
Scattering from a non-smooth random field on the time domain is studied for plane waves that propagate simultaneously through the potential in variable angles. We first derive sufficient conditions for stochastic moments of the field to be recovered from correlations between amplitude measurements of the leading singularities, detected in the exterior of a region where the potential is almost sure…
▽ More
Scattering from a non-smooth random field on the time domain is studied for plane waves that propagate simultaneously through the potential in variable angles. We first derive sufficient conditions for stochastic moments of the field to be recovered from correlations between amplitude measurements of the leading singularities, detected in the exterior of a region where the potential is almost surely supported. The result is then applied to show that if two sufficiently regular random fields yield the same data, they have identical laws as function-valued random variables.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Atmospheric turbulence profiling with unknown power spectral density
Authors:
Tapio Helin,
Stefan Kindermann,
Jonatan Lehtonen,
Ronny Ramlau
Abstract:
Adaptive optics (AO) is a technology in modern ground-based optical telescopes to compensate the wavefront distortions caused by atmospheric turbulence. One method that allows to retrieve information about the atmosphere from telescope data is so-called SLODAR, where the atmospheric turbulence profile is estimated based on correlation data of Shack--Hartmann wavefront measurements. This approach r…
▽ More
Adaptive optics (AO) is a technology in modern ground-based optical telescopes to compensate the wavefront distortions caused by atmospheric turbulence. One method that allows to retrieve information about the atmosphere from telescope data is so-called SLODAR, where the atmospheric turbulence profile is estimated based on correlation data of Shack--Hartmann wavefront measurements. This approach relies on a layered Kolmogorov turbulence model. In this article, we propose a novel extension of the SLODAR concept by including a general non-Kolmogorov turbulence layer close to the ground with an unknown power spectral density. We prove that the joint estimation problem of the turbulence profile above ground simultaneously with the unknown power spectral density at the ground is ill-posed and propose three numerical reconstruction methods. We demonstrate by numerical simulations that our methods lead to substantial improvements in the turbulence profile reconstruction, compared to standard SLODAR-type approach. Also, our methods can accurately locate local perturbations in non-Kolmogorov power spectral densities.
△ Less
Submitted 13 February, 2018; v1 submitted 7 July, 2017;
originally announced July 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.
-
Sparsity-promoting and edge-preserving maximum a posteriori estimators in non-parametric Bayesian inverse problems
Authors:
Sergios Agapiou,
Martin Burger,
Masoumeh Dashti,
Tapio Helin
Abstract:
We consider the inverse problem of recovering an unknown functional parameter $u$ in a separable Banach space, from a noisy observation $y$ of its image through a known possibly non-linear ill-posed map ${\mathcal G}$. The data $y$ is finite-dimensional and the noise is Gaussian. We adopt a Bayesian approach to the problem and consider Besov space priors (see Lassas et al. 2009), which are well-kn…
▽ More
We consider the inverse problem of recovering an unknown functional parameter $u$ in a separable Banach space, from a noisy observation $y$ of its image through a known possibly non-linear ill-posed map ${\mathcal G}$. The data $y$ is finite-dimensional and the noise is Gaussian. We adopt a Bayesian approach to the problem and consider Besov space priors (see Lassas et al. 2009), which are well-known for their edge-preserving and sparsity-promoting properties and have recently attracted wide attention especially in the medical imaging community.
Our key result is to show that in this non-parametric setup the maximum a posteriori (MAP) estimates are characterized by the minimizers of a generalized Onsager--Machlup functional of the posterior. This is done independently for the so-called weak and strong MAP estimates, which as we show coincide in our context. In addition, we prove a form of weak consistency for the MAP estimators in the infinitely informative data limit. Our results are remarkable for two reasons: first, the prior distribution is non-Gaussian and does not meet the smoothness conditions required in previous research on non-parametric MAP estimates. Second, the result analytically justifies existing uses of the MAP estimate in finite but high dimensional discretizations of Bayesian inverse problems with the considered Besov priors.
△ Less
Submitted 23 May, 2017; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Correlation based passive imaging with a white noise source
Authors:
Tapio Helin,
Matti Lassas,
Lauri Oksanen,
Teemu Saksala
Abstract:
Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white nois…
▽ More
Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white noise statistics on ${\mathbb R}^{1+n}$, $n \ge 3$, $χ$ is a smooth function vanishing for negative times and outside a compact set in space, and $Δ_g$ is the Laplace-Beltrami operator associated to a smooth non-trapping Riemannian metric tensor $g$ on ${\mathbb R}^n$. The metric tensor $g$ models the medium to be imaged, and we assume that it coincides with the Euclidean metric outside a compact set. We consider the empirical correlations on an open set $\mathcal X \subset {\mathbb R}^n$, $$ C_T(t_1, x_1, t_2, x_2) = \frac 1 T \int_0^T u(t_1+s,x_1) u(t_2+s,x_2) ds, \quad t_1,t_2>0,\ x_1,x_2\in \mathcal X, $$ for $T>0$. Supposing that $χ$ is non-zero on $\mathcal X$ and constant in time after $t > 1$, we show that in the limit $T \to \infty$, the data $C_T$ becomes statistically stable, that is, independent of the realization of $W$. Our main result is that, with probability one, this limit determines the Riemannian manifold $({\mathbb R}^n,g)$ up to an isometry. To our knowledge, this is the first result showing that a medium can be determined in a passive imaging setting, without assuming a separation of scales.
△ Less
Submitted 4 November, 2016; v1 submitted 26 September, 2016;
originally announced September 2016.
-
Inverse scattering for a random potential
Authors:
Pedro Caro,
Tapio Helin,
Matti Lassas
Abstract:
In this paper we consider an inverse problem for the $n$-dimensional random Schrödinger equation $(Δ-q+k^2)u = 0$. We study the scattering of plane waves in the presence of a potential $q$ which is assumed to be a Gaussian random function such that its covariance is described by a pseudodifferential operator. Our main result is as follows: given the backscattered far field, obtained from a single…
▽ More
In this paper we consider an inverse problem for the $n$-dimensional random Schrödinger equation $(Δ-q+k^2)u = 0$. We study the scattering of plane waves in the presence of a potential $q$ which is assumed to be a Gaussian random function such that its covariance is described by a pseudodifferential operator. Our main result is as follows: given the backscattered far field, obtained from a single realization of the random potential $q$, we uniquely determine the principal symbol of the covariance operator of $q$. Especially, for $n=3$ this result is obtained for the full non-linear inverse backscattering problem. Finally, we present a physical scaling regime where the method is of practical importance.
△ Less
Submitted 12 July, 2016; v1 submitted 27 May, 2016;
originally announced May 2016.
-
Large Noise in Variational Regularization
Authors:
Martin Burger,
Tapio Helin,
Hanne Kekkonen
Abstract:
In this paper we consider variational regularization methods for inverse problems with large noise that is in general unbounded in the image space of the forward operator. We introduce a Banach space setting that allows to define a reasonable notion of solutions for more general noise in a larger space provided one has sufficient mapping properties of the forward operators.
A key observation, wh…
▽ More
In this paper we consider variational regularization methods for inverse problems with large noise that is in general unbounded in the image space of the forward operator. We introduce a Banach space setting that allows to define a reasonable notion of solutions for more general noise in a larger space provided one has sufficient mapping properties of the forward operators.
A key observation, which guides us through the subsequent analysis, is that such a general noise model can be understood with the same setting as approximate source conditions (while a standard model of bounded noise is related directly to classical source conditions). Based on this insight we obtain a quite general existence result for regularized variational problems and derive error estimates in terms of Bregman distances. The latter are specialized for the particularly important cases of one- and p-homogeneous regularization functionals.
As a natural further step we study stochastic noise models and in particular white noise, for which we derive error estimates in terms of the expectation of the Bregman distance. The finiteness of certain expectations leads to a novel class of abstract smoothness conditions on the forward operator, which can be easily interpreted in the Hilbert space case. We finally exemplify the approach and in particular the conditions for popular examples of regularization functionals given by squared norm, Besov norm and total variation, respectively.
△ Less
Submitted 8 February, 2018; v1 submitted 1 February, 2016;
originally announced February 2016.
-
Towards analytical model optimization in atmospheric tomography
Authors:
Tapio Helin,
Stefan Kindermann,
Daniela Saxenhuber
Abstract:
Modern ground-based telescopes rely on a technology called adaptive optics (AO) in order to compensate for the loss of image quality caused by atmospheric turbulence. Next-generation AO systems designed for a wide field of view require a stable and high-resolution reconstruction of the refractive index fluctuations in the atmosphere. By introducing a novel Bayesian method, we address the problem o…
▽ More
Modern ground-based telescopes rely on a technology called adaptive optics (AO) in order to compensate for the loss of image quality caused by atmospheric turbulence. Next-generation AO systems designed for a wide field of view require a stable and high-resolution reconstruction of the refractive index fluctuations in the atmosphere. By introducing a novel Bayesian method, we address the problem of estimating an atmospheric turbulence strength profile and reconstructing the refractive index fluctuations simultaneously, where we only use wavefront measurements of incoming light from guide stars. Most importantly, we demonstrate how this method can be used for model optimization as well. We propose two different algorithms for solving the maximum a posteriori estimate: the first approach is based on alternating minimization and has the advantage of integrability into existing atmospheric tomography methods. In the second approach, we formulate a convex non-differentiable optimization problem, which is solved by an iterative thresholding method. This approach clearly illustrates the underlying sparsity-enforcing mechanism for the strength profile. By introducing a tuning/regularization parameter, an automated model reduction of the layer structure of the atmosphere is achieved. Using numerical simulations, we demonstrate the performance of our method in practice.
△ Less
Submitted 23 November, 2015;
originally announced November 2015.
-
Maximum a posteriori probability estimates in infinite-dimensional Bayesian inverse problems
Authors:
Tapio Helin,
Martin Burger
Abstract:
A demanding challenge in Bayesian inversion is to efficiently characterize the posterior distribution. This task is problematic especially in high-dimensional non-Gaussian problems, where the structure of the posterior can be very chaotic and difficult to analyse. Current inverse problem literature often approaches the problem by considering suitable point estimators for the task. Typically the ch…
▽ More
A demanding challenge in Bayesian inversion is to efficiently characterize the posterior distribution. This task is problematic especially in high-dimensional non-Gaussian problems, where the structure of the posterior can be very chaotic and difficult to analyse. Current inverse problem literature often approaches the problem by considering suitable point estimators for the task. Typically the choice is made between the maximum a posteriori (MAP) or the conditional mean (CM) estimate.
The benefits of either choice are not well-understood from the perspective of infinite-dimensional theory. Most importantly, there exists no general scheme regarding how to connect the topological description of a MAP estimate to a variational problem. The results by Dashti et. al. (2013) resolve this issue for non-linear inverse problems in Gaussian framework. In this work we improve the current understanding by introducing a novel concept called the weak MAP (wMAP) estimate. We show that any MAP estimate in the sense of Dashti et. al. (2013) is a wMAP estimate and, moreover, how in general infinite-dimensional non-Gaussian problems the wMAP estimate connects to a variational formulation. Such a formulation yields many properties of the estimate that were earlier impossible to study.
In a recent work by Burger and Lucka (2014) the MAP estimator was studied in the context of Bayes cost method. Using Bregman distances, proper convex Bayes cost functions were introduced for which the MAP estimator is the Bayes estimator. Here, we generalize these results to the infinite-dimensional setting. Moreover, we discuss the implications of our results for some examples of prior models such as the Besov prior and hierarchical prior.
△ Less
Submitted 2 June, 2015; v1 submitted 18 December, 2014;
originally announced December 2014.
-
Inverse acoustic scattering problem in half-space with anisotropic random impedance
Authors:
Tapio Helin,
Matti Lassas,
Lassi Päivärinta
Abstract:
We study an inverse acoustic scattering problem in half-space with a probabilistic impedance boundary value condition. The Robin coefficient (surface impedance) is assumed to be a Gaussian random function $λ= λ(x)$ with a pseudodifferential operator describing the covariance. We measure the amplitude of the backscattered field averaged over the frequency band and assume that the data is generated…
▽ More
We study an inverse acoustic scattering problem in half-space with a probabilistic impedance boundary value condition. The Robin coefficient (surface impedance) is assumed to be a Gaussian random function $λ= λ(x)$ with a pseudodifferential operator describing the covariance. We measure the amplitude of the backscattered field averaged over the frequency band and assume that the data is generated by a single realization of $λ$. Our main result is to show that under certain conditions the principal symbol of the covariance operator of $λ$ is uniquely determined. Most importantly, no approximations are needed and we can solve the full non-linear inverse problem. We concentrate on anisotropic models for the principal symbol, which leads to the analysis of a novel anisotropic spherical Radon transform and its invertibility.
△ Less
Submitted 15 August, 2014; v1 submitted 9 July, 2014;
originally announced July 2014.
-
Inverse problem for the wave equation with a white noise source
Authors:
Tapio Helin,
Matti Lassas,
Lauri Oksanen
Abstract:
We consider a smooth Riemannian metric tensor $g$ on $\R^n$ and study the stochastic wave equation for the Laplace-Beltrami operator $\p_t^2 u - Δ_g u = F$. Here, $F=F(t,x,ω)$ is a random source that has white noise distribution supported on the boundary of some smooth compact domain $M \subset \R^n$. We study the following formally posed inverse problem with only one measurement. Suppose that…
▽ More
We consider a smooth Riemannian metric tensor $g$ on $\R^n$ and study the stochastic wave equation for the Laplace-Beltrami operator $\p_t^2 u - Δ_g u = F$. Here, $F=F(t,x,ω)$ is a random source that has white noise distribution supported on the boundary of some smooth compact domain $M \subset \R^n$. We study the following formally posed inverse problem with only one measurement. Suppose that $g$ is known only outside of a compact subset of $M^{int}$ and that a solution $u(t,x,ω_0)$ is produced by a single realization of the source $F(t,x,ω_0)$. We ask what information regarding $g$ can be recovered by measuring $u(t,x,ω_0)$ on $\R_+ \times \p M$? We prove that such measurement together with the realization of the source determine the scattering relation of the Riemannian manifold $(M, g)$ with probability one. That is, for all geodesics passing through $M$, the travel times together with the entering and exit points and directions are determined. In particular, if $(M,g)$ is a simple Riemannian manifold and $g$ is conformally Euclidian in $M$, the measurement determines the metric $g$ in $M$.
△ Less
Submitted 23 August, 2013; v1 submitted 22 August, 2013;
originally announced August 2013.
-
Wavelet methods in multi-conjugate adaptive optics
Authors:
Tapio Helin,
Mykhaylo Yudytskiy
Abstract:
The next generation ground-based telescopes rely heavily on adaptive optics for overcoming the limitation of atmospheric turbulence. In the future adaptive optics modalities, like multi-conjugate adaptive optics (MCAO), atmospheric tomography is the major mathematical and computational challenge. In this severely ill-posed problem a fast and stable reconstruction algorithm is needed that can take…
▽ More
The next generation ground-based telescopes rely heavily on adaptive optics for overcoming the limitation of atmospheric turbulence. In the future adaptive optics modalities, like multi-conjugate adaptive optics (MCAO), atmospheric tomography is the major mathematical and computational challenge. In this severely ill-posed problem a fast and stable reconstruction algorithm is needed that can take into account many real-life phenomena of telescope imaging. We introduce a novel reconstruction method for the atmospheric tomography problem and demonstrate its performance and flexibility in the context of MCAO. Our method is based on using locality properties of compactly supported wavelets, both in the spatial and frequency domain. The reconstruction in the atmospheric tomography problem is obtained by solving the Bayesian MAP estimator with a conjugate gradient based algorithm. An accelerated algorithm with preconditioning is also introduced. Numerical performance is demonstrated on the official end-to-end simulation tool OCTOPUS of European Southern Observatory.
△ Less
Submitted 15 February, 2013;
originally announced February 2013.
-
An inverse problem for the wave equation with one measurement and the pseudorandom noise
Authors:
Tapio Helin,
Matti Lassas,
Lauri Oksanen
Abstract:
We consider the wave equation $(\p_t^2-Δ_g)u(t,x)=f(t,x)$, in $\R^n$, $u|_{\R_-\times \R^n}=0$, where the metric $g=(g_{jk}(x))_{j,k=1}^n$ is known outside an open and bounded set $M\subset \R^n$ with smooth boundary $\p M$. We define a deterministic source $f(t,x)$ called the pseudorandom noise as a sum of point sources, $f(t,x)=\sum_{j=1}^\infty a_jδ_{x_j}(x)δ(t)$, where the points…
▽ More
We consider the wave equation $(\p_t^2-Δ_g)u(t,x)=f(t,x)$, in $\R^n$, $u|_{\R_-\times \R^n}=0$, where the metric $g=(g_{jk}(x))_{j,k=1}^n$ is known outside an open and bounded set $M\subset \R^n$ with smooth boundary $\p M$. We define a deterministic source $f(t,x)$ called the pseudorandom noise as a sum of point sources, $f(t,x)=\sum_{j=1}^\infty a_jδ_{x_j}(x)δ(t)$, where the points $x_j,\ j\in\Z_+$, form a dense set on $\p M$. We show that when the weights $a_j$ are chosen appropriately, $u|_{\R\times \p M}$ determines the scattering relation on $\p M$, that is, it determines for all geodesics which pass through $M$ the travel times together with the entering and exit points and directions. The wave $u(t,x)$ contains the singularities produced by all point sources, but when $a_j=λ^{-λ^{j}}$ for some $λ>1$, we can trace back the point source that produced a given singularity in the data. This gives us the distance in $(\R^n, g)$ between a source point $x_j$ and an arbitrary point $y \in \p M$. In particular, if $(\bar M,g)$ is a simple Riemannian manifold and $g$ is conformally Euclidian in $\bar M$, these distances are known to determine the metric $g$ in $M$. In the case when $(\bar M,g)$ is non-simple we present a more detailed analysis of the wave fronts yielding the scattering relation on $\p M$.
△ Less
Submitted 10 November, 2010;
originally announced November 2010.
-
Hierarchical models in statistical inverse problems and the Mumford--Shah functional
Authors:
Tapio Helin,
Matti Lassas
Abstract:
The Bayesian methods for linear inverse problems is studied using hierarchical Gaussian models. The problems are considered with different discretizations, and we analyze the phenomena which appear when the discretization becomes finer. A hierarchical solution method for signal restoration problems is introduced and studied with arbitrarily fine discretization. We show that the maximum a posteri…
▽ More
The Bayesian methods for linear inverse problems is studied using hierarchical Gaussian models. The problems are considered with different discretizations, and we analyze the phenomena which appear when the discretization becomes finer. A hierarchical solution method for signal restoration problems is introduced and studied with arbitrarily fine discretization. We show that the maximum a posteriori estimate converges to a minimizer of the Mumford--Shah functional, up to a subsequence. A new result regarding the existence of a minimizer of the Mumford--Shah functional is proved.
Moreover, we study the inverse problem under different assumptions on the asymptotic behavior of the noise as discretization becomes finer. We show that the maximum a posteriori and conditional mean estimates converge under different conditions.
△ Less
Submitted 14 September, 2009; v1 submitted 24 August, 2009;
originally announced August 2009.
-
On infinite-dimensional hierarchical probability models in statistical inverse problems
Authors:
Tapio Helin
Abstract:
In this article, the solution of a statistical inverse problem $M = AU+\mathcal{E}$ by the Bayesian approach is studied where $U$ is a function on the unit circle $\mathbb{T}$, i.e., a periodic signal. The mapping $A$ is a smoothing linear operator and $\mathcal{E}$ a Gaussian noise. The connection to the solution of a finite-dimensional computational model $M_{kn} = A_k U_n + \mathcal{E}_k$ is…
▽ More
In this article, the solution of a statistical inverse problem $M = AU+\mathcal{E}$ by the Bayesian approach is studied where $U$ is a function on the unit circle $\mathbb{T}$, i.e., a periodic signal. The mapping $A$ is a smoothing linear operator and $\mathcal{E}$ a Gaussian noise. The connection to the solution of a finite-dimensional computational model $M_{kn} = A_k U_n + \mathcal{E}_k$ is discussed. Furthermore, a novel hierarchical prior model for obtaining edge-preserving conditional mean estimates is introduced. The convergence of the method with respect to finer discretization is studied and the posterior distribution is shown to converge weakly. Finally, theoretical findings are illustrated by a numerical example with simulated data.
△ Less
Submitted 31 July, 2009; v1 submitted 30 July, 2009;
originally announced July 2009.
