Inverse problem solution with a probabilistic approach. In Bayesian terms, say we have a model which gives us the density of a certain output observation \(y\) for a given input \(x\) which we write as \(p(y\mid x)\). By Bayesβ rule we can find the density of inputs for a given observed output by \[p(x \mid y)=\frac{p(x) p(y \mid x)}{p(y)}.\] The process of computing \[p(x \mid y)\] is the most basic step of Bayesian inference, nothing special to see here.

In the world I live in, \(p(y \mid x)\) is not completely specified, but is a regression density with unknown parameters \(\theta\) that we must *also* learn, that may have prior densities of their own.
Maybe I also wish to parameterise the density for the prior on \(x\), \(p(x \mid \lambda),\) which is typically independent of \(\theta.\)
Now the model is a hierarchical Bayes model, leading to a directed factorisation
\[p(x,y,\theta,\lambda)=p(\theta)p(\lambda)p(x\mid \lambda) p(y\mid x,\theta).\]
We can use more Bayes rule to write the density of interest as
\[p(x, \theta, \lambda \mid y) \propto p(y \mid x, \theta)p(x \mid\lambda)p(\lambda)p(\theta).\]
Solving this is also, I believe, sometimes called *joint inversion*.
For my applications, we usually want to do this in two phases.
In the first, we have some data set of \(N\) input-output pairs indexed by \(i,\) \(\mathcal{D}=\{(x_i, y_i:i=1,\dots,N)\}\) which we use to estimate posterior density \(p(\theta,\lambda \mid \mathcal{D})\) in some learning phase.
Thereafter we only ever wish to find \(p(x, \theta, \lambda \mid y,\mathcal{D})\) or possibly even \(p(x \mid y,\mathcal{D})\) but either way do not thereafter update \(\theta, \lambda|\mathcal{D}\).

If the problem is high dimensional, in the sense that \(x\in \mathbb{R}^n\) for \(n\) large and ill-posed, in the sense that, e.g. \(y\in\mathbb{R}^m\) with \(n>m\), we have a particular set of challenges which it is useful to group under the heading of functional inverse problems.^{1}
A classic example of this class of problem is βWhat was the true image what was blurred to create this corrupted version?β.

## Laplace method

We can use Laplace approximation approximate latent density.

Laplace approximations seems like it might have an attractive feature: providing estimates also for inverse problems (Breslow and Clayton 1993; Wacker 2017; Alexanderian et al. 2016; Alexanderian 2021) by leveraging the delta method. I think this should come out nice in network linearization approaches such as Foong et al. (2019) and Immer, Korzepa, and Bauer (2021).

Suppose we have a regression network that outputs (perhaps approximately) a Gaussian distribution for outputs given inputs.

TBC.

## References

*arXiv:2005.12998 [Math]*, January.

*SIAM Journal on Scientific Computing*38 (1): A243β72.

*Environmental Modelling & Software*, Emulation techniques for the reduction and sensitivity analysis of complex environmental models, 34 (June): 105β15.

*Journal of the American Statistical Association*88 (421): 9β25.

*arXiv:1302.6989 [Math]*, July.

*arXiv:1906.11537 [Cs, Stat]*, June.

*Inverse Problems*36 (8): 085001.

*International Conference on Artificial Intelligence and Statistics*, 703β11. PMLR.

*Statistical and Computational Inverse Problems*. Applied Mathematical Sciences. New York: Springer-Verlag.

*Journal of Computational and Applied Mathematics*198 (2): 493β504.

*Journal of the Royal Statistical Society: Series B (Statistical Methodology)*63 (3): 425β64.

*The Annals of Statistics*39 (5).

*Journal of Geophysical Research: Solid Earth*100 (B7): 12431β47.

*International Geophysics*, 81:237β65. Elsevier.

*Reliability Engineering & System Safety*, The Fourth International Conference on Sensitivity Analysis of Model Output (SAMO 2004), 91 (10): 1290β300.

*Journal of the American Statistical Association*112 (519): 1274β85.

*IEEE Signal Processing Magazine*30 (4): 51β61.

*SIAM Journal on Numerical Analysis*55 (3): 1264β90.

*Inverse Problems*28 (4): 045003.

*SIAM Journal on Scientific Computing*39 (5): S167β96.

*SIAM Journal on Scientific Computing*37 (6): A2451β87.

*Acta Numerica*19: 451β559.

*arXiv:2006.15641 [Cs, Stat]*, June.

*Inverse Problem Theory and Methods for Model Parameter Estimation*. SIAM.

*Mapping Of Probabilities*.

*Journal of Machine Learning Research*21 (179): 1β46.

*arXiv:1701.07989 [Math]*, April.

*arXiv:1709.01841 [Cs]*, September.

*Journal of Computational Physics*425 (January): 109913.

*Geoscientific Model Development Discussions*, July, 1β51.

There is also a strand of the literature which refers to

*any*form of Bayesian inference as an inverse problem, but this usage does not draw a helpful distinction for me so I avoid it.β©οΈ

## No comments yet. Why not leave one?