Fast Algorithms for Bayesian Uncertainty Quantification in Large-Scale Linear Inverse Problems Based on Low-Rank Partial Hessian Approximations

We consider the problem of estimating the uncertainty in large-scale linear statistical inverse problems with high-dimensional parameter spaces within the framework of Bayesian inference. When the noise and prior probability densities are Gaussian, the solution to the inverse problem is also Gaussian and is thus characterized by the mean and covariance matrix of the posterior probability density. Unfortunately, explicitly computing the posterior covariance matrix requires as many forward solutions as there are parameters and is thus prohibitive when the forward problem is expensive and the parameter dimension is large. However, for many ill-posed inverse problems, the Hessian matrix of the data misfit term has a spectrum that collapses rapidly to zero. We present a fast method for computation of an approximation to the posterior covariance that exploits the low-rank structure of the preconditioned (by the prior covariance) Hessian of the data misfit. Analysis of an infinite-dimensional model convection-diffusion problem, and numerical experiments on large-scale three-dimensional convection-diffusion inverse problems with up to 1.5 million parameters, demonstrate that the number of forward PDE solves required for an accurate low-rank approximation is independent of the problem dimension. This permits scalable estimation of the uncertainty in large-scale ill-posed linear inverse problems at a small multiple (independent of the problem dimension) of the cost of solving the forward problem.

[1]  G. Backus,et al.  The Resolving Power of Gross Earth Data , 1968 .

[2]  C. Vogel Computational Methods for Inverse Problems , 1987 .

[3]  Don W. Vasco,et al.  Formal inversion of ISC arrival times for mantle P-velocity structure , 1993 .

[4]  G. McMechan,et al.  Estimation of resolution and covariance for large matrix inversions , 1995 .

[5]  William Gropp,et al.  Efficient Management of Parallelism in Object-Oriented Numerical Software Libraries , 1997, SciTools.

[6]  S. Minkoff A computationally feasible approximate resolution matrix for seismic inverse problems , 1996 .

[7]  J. Scales,et al.  Resolution of seismic waveform inversion: Bayes versus Occam , 1997 .

[8]  D. Vasco,et al.  Resolving seismic anisotropy: Sparse matrix methods for geophysical inverse problems , 1998 .

[9]  J. Virieux,et al.  Explicit, approximate expressions for the resolution and a posteriori covariance of massive tomographic systems , 1999 .

[10]  R. Roberts,et al.  Calculating resolution and covariance matrices for seismic tomography with the LSQR method , 1999 .

[11]  James G. Berryman,et al.  Analysis of Approximate Inverses in Tomography I. Resolution Analysis of Common Inverses , 2000 .

[12]  Marie L. Prucha,et al.  Iterative resolution estimation in least‐squares Kirchhoff migration , 2002 .

[13]  L. Boschi Measures of resolution in global body wave tomography , 2003 .

[14]  Osni Marques,et al.  A computational strategy for the solution of large linear inverse problems in geophysics , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[15]  Albert Tarantola,et al.  Inverse problem theory - and methods for model parameter estimation , 2004 .

[16]  Vicente Hernández,et al.  SLEPc: A scalable and flexible toolkit for the solution of eigenvalue problems , 2005, TOMS.

[17]  George Biros,et al.  DYNAMIC DATA-DRIVEN INVERSION FOR TERASCALE SIMULATIONS: REAL-TIME IDENTIFICATION OF AIRBORNE CONTAMINANTS , 2005, ACM/IEEE SC 2005 Conference (SC'05).

[18]  J. E. Román,et al.  Lanczos Methods in SLEPc , 2006 .

[19]  Clifford H. Thurber,et al.  Estimating the model resolution matrix for large seismic tomography problems based on Lanczos bidiagonalization with partial reorthogonalization , 2007 .

[20]  Stefan Ulbrich,et al.  Optimization with PDE Constraints , 2008, Mathematical modelling.

[21]  Ivan P. Gavrilyuk,et al.  Lagrange multiplier approach to variational problems and applications , 2010, Math. Comput..

[22]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.