Table of Contents
Fetching ...

Posterior contraction under misspecification and heteroscedasticity in non-linear inverse problems

Fanny Seizilles, Maximilian Siebel

Abstract

In many practical and numerical inverse problems, the exact data log-likelihood is not fully accessible, motivating the use of surrogate models. We study heteroscedastic nonparametric nonlinear regression problems with Gaussian errors and establish contraction results for posterior distributions arising from a surrogate log-likelihood constructed from proxy error variances, an approximate forward map, and an appropriate Gaussian process prior. Under general assumptions on the approximation quality, we show that the resulting surrogate posterior is statistically reliable and contracts about the true parameter at rates comparable to those of the exact posterior. The analysis leverages consistency properties of the (penalised) MLE to effectively handle heteroscedastic noise and to control the impact of likelihood approximation errors. We apply the framework to PDE-constrained inverse problems for a reaction-diffusion equation and the two-dimensional Navier-Stokes equation. In the latter case, we consider misspecified viscosity and forcing terms as well as Oseen-type linearization models, highlighting the relevance of our results for numerical analysis applications.

Posterior contraction under misspecification and heteroscedasticity in non-linear inverse problems

Abstract

In many practical and numerical inverse problems, the exact data log-likelihood is not fully accessible, motivating the use of surrogate models. We study heteroscedastic nonparametric nonlinear regression problems with Gaussian errors and establish contraction results for posterior distributions arising from a surrogate log-likelihood constructed from proxy error variances, an approximate forward map, and an appropriate Gaussian process prior. Under general assumptions on the approximation quality, we show that the resulting surrogate posterior is statistically reliable and contracts about the true parameter at rates comparable to those of the exact posterior. The analysis leverages consistency properties of the (penalised) MLE to effectively handle heteroscedastic noise and to control the impact of likelihood approximation errors. We apply the framework to PDE-constrained inverse problems for a reaction-diffusion equation and the two-dimensional Navier-Stokes equation. In the latter case, we consider misspecified viscosity and forcing terms as well as Oseen-type linearization models, highlighting the relevance of our results for numerical analysis applications.

Paper Structure

This paper contains 42 sections, 25 theorems, 261 equations.

Key Result

proposition 3.5

Under the misspecification assumptions cond:misspec-error and cond:misspec-model, we have the following properties.

Theorems & Definitions (60)

  • remark 2.3: Forward Regularity
  • remark 2.5
  • remark 3.4: Interpretation of \ref{['cond:misspec-error']} and \ref{['cond:misspec-model']}
  • proposition 3.5: Information Inequality
  • lemma 3.6: Auxiliary contraction
  • proposition 3.7: Existence of Tests
  • proposition 3.8: Change of measure I: Inside of the regularization set
  • proposition 3.9: Change of measure II: Outside of the regularisation set
  • remark 3.10
  • proposition 3.11
  • ...and 50 more