Table of Contents
Fetching ...

Scalable Bayesian full waveform inversion via dual augmented Lagrangian SVGD

Kamal Aghazade, Ali Siahkoohi, Ali Gholami

Abstract

Full waveform inversion is an ill-posed inverse problem whose solution non-uniqueness -- i.e., arising from band-limited, finite-aperture, noisy data -- calls for uncertainty quantification to avoid overconfident geological interpretations. Bayesian inference addresses this need by characterizing the solution as a posterior distribution rather than a single point estimate. Sampling from this distribution, however, remains computationally challenging: Markov chain Monte Carlo and non-amortized variational inference require repeated wave equation solves, while amortized variational inference approaches that avoid repeated solves rely on training data that are inherently scarce in geoscience and face unresolved generalization challenges in high dimensions. To address these limitations, we integrate Stein variational gradient descent with the alternating direction method of multipliers under a dual augmented Lagrangian formulation. By fixing the wave operator at a background model that is updated between frequency batches, it need only be factorized once per particle per frequency, eliminating per-iteration refactorization and reducing the total cost to that of a handful of deterministic inversions while inheriting the favorable conditioning of extended-space formulations. Applied to the Marmousi~II model, the proposed method provides well-calibrated uncertainty estimates and achieves inversion quality comparable to that of the standard augmented Lagrangian SVGD at a fraction of the computational cost.

Scalable Bayesian full waveform inversion via dual augmented Lagrangian SVGD

Abstract

Full waveform inversion is an ill-posed inverse problem whose solution non-uniqueness -- i.e., arising from band-limited, finite-aperture, noisy data -- calls for uncertainty quantification to avoid overconfident geological interpretations. Bayesian inference addresses this need by characterizing the solution as a posterior distribution rather than a single point estimate. Sampling from this distribution, however, remains computationally challenging: Markov chain Monte Carlo and non-amortized variational inference require repeated wave equation solves, while amortized variational inference approaches that avoid repeated solves rely on training data that are inherently scarce in geoscience and face unresolved generalization challenges in high dimensions. To address these limitations, we integrate Stein variational gradient descent with the alternating direction method of multipliers under a dual augmented Lagrangian formulation. By fixing the wave operator at a background model that is updated between frequency batches, it need only be factorized once per particle per frequency, eliminating per-iteration refactorization and reducing the total cost to that of a handful of deterministic inversions while inheriting the favorable conditioning of extended-space formulations. Applied to the Marmousi~II model, the proposed method provides well-calibrated uncertainty estimates and achieves inversion quality comparable to that of the standard augmented Lagrangian SVGD at a fraction of the computational cost.

Paper Structure

This paper contains 10 sections, 8 equations, 4 figures, 1 table, 1 algorithm.

Figures (4)

  • Figure 1: Marmousi II P-wave velocity model with receivers (triangles) and sources (red stars).
  • Figure 2: Augmented Lagrangian SVGD (a) and dual augmented Lagrangian (b) inversion results. Top: conditional mean with relative model error. Middle: pointwise standard deviation. Bottom: difference from the true velocity model.
  • Figure 3: (a) Initial particles (colored lines) and ground truth (black dotted line) at $X = 3$ km. (b, c) Normalized posterior probability density at $X = 11.25$ km for the augmented Lagrangian SVGD and its dual augmented Lagrangian counterpart. The red dotted line indicates the ground truth.
  • Figure 4: Relative model error versus (a) iteration count and (b) LU factorizations per particle.