Scalable Algorithms for Bayesian Inference of Large-Scale Models from Large-Scale Data

One of the greatest challenges in computational science and engineering today is how to combine complex data with complex models to create better predictions. This challenge cuts across every application area within CS&E, from geosciences, materials, chemical systems, biological systems, and astrophysics to engineered systems in aerospace, transportation, structures, electronics, biomedicine, and beyond. Many of these systems are characterized by complex nonlinear behavior coupling multiple physical processes over a wide range of length and time scales. Mathematical and computational models of these systems often contain numerous uncertain parameters, making high-reliability predictive modeling a challenge. Rapidly expanding volumes of observational data—along with tremendous increases in HPC capability—present opportunities to reduce these uncertainties via solution of large-scale inverse problems.

[1]  Georg Stadler,et al.  Solution of Nonlinear Stokes Equations Discretized By High-Order Finite Elements on Nonconforming and Anisotropic Meshes, with Application to Ice Sheet Dynamics , 2014, SIAM J. Sci. Comput..

[2]  James Martin,et al.  A Stochastic Newton MCMC Method for Large-Scale Statistical Inverse Problems with Application to Seismic Inversion , 2012, SIAM J. Sci. Comput..

[3]  Bart G. van Bloemen Waanders,et al.  Fast Algorithms for Bayesian Uncertainty Quantification in Large-Scale Linear Inverse Problems Based on Low-Rank Partial Hessian Approximations , 2011, SIAM J. Sci. Comput..

[4]  Timothy C. Warburton,et al.  Extreme-Scale AMR , 2010, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis.

[5]  Georg Stadler,et al.  Towards adjoint-based inversion for rheological parameters in nonlinear viscous mantle flow , 2014 .

[6]  Georg Stadler,et al.  Extreme-scale UQ for Bayesian inverse problems governed by PDEs , 2012, 2012 International Conference for High Performance Computing, Networking, Storage and Analysis.

[7]  Georg Stadler,et al.  Weighted BFBT Preconditioner for Stokes Flow Problems with Highly Heterogeneous Viscosity , 2016, SIAM J. Sci. Comput..

[8]  Georg Stadler,et al.  Adjoint-based estimation of plate coupling in a non-linear mantle flow model: Theory and examples , 2015 .

[9]  O. Ghattas,et al.  A Bayesian approach to estimate uncertainty for full-waveform inversion using a priori information from depth migration , 2016 .

[10]  James Martin,et al.  A Computational Framework for Infinite-Dimensional Bayesian Inverse Problems, Part II: Stochastic Newton MCMC with Application to Ice Sheet Flow Inverse Problems , 2013, SIAM J. Sci. Comput..

[11]  Georg Stadler,et al.  Scalable and efficient algorithms for the propagation of uncertainty from data through inference to prediction for large-scale problems, with application to flow of the Antarctic ice sheet , 2014, J. Comput. Phys..

[12]  O. Ghattas,et al.  An inexact Gauss-Newton method for inversion of basal sliding and rheology parameters in a nonlinear Stokes ice sheet model , 2012, Journal of Glaciology.

[13]  O. Ghattas,et al.  On Bayesian A- and D-optimal experimental designs in infinite dimensions , 2014, 1408.6323.

[14]  Georg Stadler,et al.  A Fast and Scalable Method for A-Optimal Design of Experiments for Infinite-dimensional Bayesian Nonlinear Inverse Problems , 2014, SIAM J. Sci. Comput..

[15]  Carsten Burstedde,et al.  Recursive Algorithms for Distributed Forests of Octrees , 2014, SIAM J. Sci. Comput..

[16]  Constantine Bekas,et al.  An extreme-scale implicit solver for complex PDEs: highly heterogeneous flow in earth's mantle , 2015, SC15: International Conference for High Performance Computing, Networking, Storage and Analysis.

[17]  Georg Stadler,et al.  A-Optimal Design of Experiments for Infinite-Dimensional Bayesian Linear Inverse Problems with Regularized ℓ0-Sparsification , 2013, SIAM J. Sci. Comput..

[18]  James Martin,et al.  A Computational Framework for Infinite-Dimensional Bayesian Inverse Problems Part I: The Linearized Case, with Application to Global Seismic Inversion , 2013, SIAM J. Sci. Comput..

[19]  O. Ghattas,et al.  Inversion of geothermal heat flux in a thermomechanically coupled nonlinear Stokes ice sheet model , 2016 .

[20]  Carsten Burstedde,et al.  p4est: Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees , 2011, SIAM J. Sci. Comput..

[21]  G. Stadler,et al.  Joint inversion in coupled quasi‐static poroelasticity , 2014 .

[22]  Carsten Burstedde,et al.  Low-Cost Parallel Algorithms for 2:1 Octree Balance , 2012, 2012 IEEE 26th International Parallel and Distributed Processing Symposium.