Table of Contents
Fetching ...

Maximum a posteriori testing in statistical inverse problems

Remo Kretschmann, Frank Werner

TL;DR

The paper develops a MAP-based Bayesian testing framework for local features in linear inverse problems with Gaussian priors, establishing that the MAP test is a regularized hypothesis test with explicit probe $\Phi_{\mathrm MAP}$. It provides both a priori and a posteriori strategies for prior covariance, deriving power bounds under spectral source conditions and analyzing asymptotic behavior as noise $\sigma$ decreases. The approach is validated through numerical simulations on deconvolution, differentiation, and backward heat problems, showing strong, often superior, finite-sample power and controlled size, even in severely ill-posed settings. The work advances local feature inference in Bayesian inverse problems, offering practical, data-driven testing procedures and paving the way for broader priors and feature choices in future research.

Abstract

This paper is concerned with a Bayesian approach to testing hypotheses in statistical inverse problems. Based on the posterior distribution $Π\left(\cdot |Y = y\right)$, we want to infer whether a feature $\langle\varphi, u^\dagger\rangle$ of the unknown quantity of interest $u^\dagger$ is positive. This can be done by the so-called maximum a posteriori test. We provide a frequentistic analysis of this test's properties such as level and power, and prove that it is a regularized test in the sense of Kretschmann et al. (2024). Furthermore we provide lower bounds for its power under classical spectral source conditions in case of Gaussian priors. Numerical simulations illustrate its superior performance both in moderately and severely ill-posed situations.

Maximum a posteriori testing in statistical inverse problems

TL;DR

The paper develops a MAP-based Bayesian testing framework for local features in linear inverse problems with Gaussian priors, establishing that the MAP test is a regularized hypothesis test with explicit probe . It provides both a priori and a posteriori strategies for prior covariance, deriving power bounds under spectral source conditions and analyzing asymptotic behavior as noise decreases. The approach is validated through numerical simulations on deconvolution, differentiation, and backward heat problems, showing strong, often superior, finite-sample power and controlled size, even in severely ill-posed settings. The work advances local feature inference in Bayesian inverse problems, offering practical, data-driven testing procedures and paving the way for broader priors and feature choices in future research.

Abstract

This paper is concerned with a Bayesian approach to testing hypotheses in statistical inverse problems. Based on the posterior distribution , we want to infer whether a feature of the unknown quantity of interest is positive. This can be done by the so-called maximum a posteriori test. We provide a frequentistic analysis of this test's properties such as level and power, and prove that it is a regularized test in the sense of Kretschmann et al. (2024). Furthermore we provide lower bounds for its power under classical spectral source conditions in case of Gaussian priors. Numerical simulations illustrate its superior performance both in moderately and severely ill-posed situations.
Paper Structure (26 sections, 19 theorems, 177 equations, 7 figures)

This paper contains 26 sections, 19 theorems, 177 equations, 7 figures.

Key Result

Theorem 2.3

For $y \in \mathcal{Y}^*$, it holds that where

Figures (7)

  • Figure 1: The function $\varphi_{l,\beta}$ with $l = \frac{5}{128}$ for $\beta = 1$ (\ref{['plot:phi_nonsmooth']}) and the corresponding $\beta_{\mathrm{conv}}, \beta_{\mathrm{antider}}$ chosen such that $\varphi_{l,\beta} \in \mathop{\mathrm{ran}}\nolimits T^*$ (\ref{['plot:phi_smooth']}), and the truth $u^\dagger$ (\ref{['plot:udag']}).
  • Figure 2: Exact powers of the unregularized test (\ref{['plot:unreg']}), the oracle MAP test (\ref{['plot:oracle_map']}), and the oracle a priori MAP test (\ref{['plot:oracle_pri_map']}), the oracle lower bound for the power of the a priori MAP test (\ref{['plot:est_pri_map']}), the empirical power of the $2$ sample MAP test (\ref{['plot:map_2s']}), and the empirical power (\ref{['plot:map_1s']}) and level (\ref{['plot:level_map_1s']}) of the $1$ sample MAP test for the deconvolution problem with different values of $\beta$ and $\mu$.
  • Figure 3: Choice of $\gamma_0$ by the oracle MAP test (\ref{['plot:oracle_map']}) as well as mean (\ref{['plot:map_1s']}), $16 \%$ and $84 \%$ quantiles (\ref{['plot:gamma0_quantiles']}) of the choice of $\gamma_0$ by the a posteriori MAP test for the deconvolution problem.
  • Figure 4: Exact powers of the unregularized test (\ref{['plot:unreg']}), the oracle MAP test (\ref{['plot:oracle_map']}), and the oracle a priori MAP test (\ref{['plot:oracle_pri_map']}), the oracle lower bound for the power of the a priori MAP test (\ref{['plot:est_pri_map']}), the empirical power of the $2$ sample MAP test (\ref{['plot:map_2s']}), and the empirical power (\ref{['plot:map_1s']}) and level (\ref{['plot:level_map_1s']}) of the $1$ sample MAP test for the differentiation problem with different values of $\beta$ and $\mu$.
  • Figure 5: Choice of $\gamma_0$ by the oracle MAP test (\ref{['plot:oracle_map']}) as well as mean (\ref{['plot:map_1s']}), $16 \%$ and $84 \%$ quantiles (\ref{['plot:gamma0_quantiles']}) of the choice of $\gamma_0$ by the a posteriori MAP test for the differentiation problem.
  • ...and 2 more figures

Theorems & Definitions (43)

  • Remark 2.1
  • Remark 2.2
  • Theorem 2.3
  • proof
  • Theorem 2.4
  • proof
  • Theorem 2.5
  • proof
  • Theorem 2.6
  • proof
  • ...and 33 more