<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing with OASIS Tables v3.0 20080202//EN" "https://jats.nlm.nih.gov/nlm-dtd/publishing/3.0/journalpub-oasis3.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:oasis="http://docs.oasis-open.org/ns/oasis-exchange/table" xml:lang="en" dtd-version="3.0" article-type="research-article">
  <front>
    <journal-meta><journal-id journal-id-type="publisher">NPG</journal-id><journal-title-group>
    <journal-title>Nonlinear Processes in Geophysics</journal-title>
    <abbrev-journal-title abbrev-type="publisher">NPG</abbrev-journal-title><abbrev-journal-title abbrev-type="nlm-ta">Nonlin. Processes Geophys.</abbrev-journal-title>
  </journal-title-group><issn pub-type="epub">1607-7946</issn><publisher>
    <publisher-name>Copernicus Publications</publisher-name>
    <publisher-loc>Göttingen, Germany</publisher-loc>
  </publisher></journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.5194/npg-33-173-2026</article-id><title-group><article-title>Bayesian inference based on algorithms: MH, HMC, MALA and Lip-MALA for prestack seismic inversion</article-title><alt-title>Bayesian inference based on algorithms</alt-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author" corresp="yes" rid="aff1">
          <name><surname>Perez-Roa</surname><given-names>Richard</given-names></name>
          <email>rperez@yachaytech.edu.ec</email>
        <ext-link>https://orcid.org/0000-0002-1049-6834</ext-link></contrib>
        <contrib contrib-type="author" corresp="no" rid="aff2 aff3">
          <name><surname>Infante</surname><given-names>Saba</given-names></name>
          
        </contrib>
        <contrib contrib-type="author" corresp="no" rid="aff2">
          <name><surname>Barragan</surname><given-names>Gabriel</given-names></name>
          
        </contrib>
        <contrib contrib-type="author" corresp="no" rid="aff2">
          <name><surname>Manzanilla</surname><given-names>Raul</given-names></name>
          
        </contrib>
        <aff id="aff1"><label>1</label><institution>Geology and Applied Geophysics Research Group, School of Earth Sciences, Energy and Environment, Yachay Tech University, Hacienda San José, Urcuquí, 100119, Ecuador</institution>
        </aff>
        <aff id="aff2"><label>2</label><institution>Numerical Analysis and Data Science Research Group, School of Mathematical and Computational Sciences, Hacienda San José, Urcuquí, 100119, Ecuador</institution>
        </aff>
        <aff id="aff3"><label>3</label><institution>Department of Mathematics, FACyT Universidad de Carabobo, Naguanagua, Valencia, 2005, Venezuela</institution>
        </aff>
      </contrib-group>
      <author-notes><corresp id="corr1">Richard Perez-Roa (rperez@yachaytech.edu.ec)</corresp></author-notes><pub-date><day>20</day><month>April</month><year>2026</year></pub-date>
      
      <volume>33</volume>
      <issue>2</issue>
      <fpage>173</fpage><lpage>195</lpage>
      <history>
        <date date-type="received"><day>28</day><month>August</month><year>2024</year></date>
           <date date-type="rev-request"><day>21</day><month>October</month><year>2024</year></date>
           <date date-type="rev-recd"><day>19</day><month>December</month><year>2025</year></date>
           <date date-type="accepted"><day>4</day><month>April</month><year>2026</year></date>
      </history>
      <permissions>
        <copyright-statement>Copyright: © 2026 Richard Perez-Roa et al.</copyright-statement>
        <copyright-year>2026</copyright-year>
      <license license-type="open-access"><license-p>This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this licence, visit <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link></license-p></license></permissions><self-uri xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026.html">This article is available from https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026.html</self-uri><self-uri xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026.pdf">The full text article is available as a PDF file from https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026.pdf</self-uri>
      <abstract><title>Abstract</title>

      <p id="d2e122">Seismic inversion for estimating elastic properties is a key technique for reservoir characterization after drilling. The choice of inversion method strongly influences the accuracy, efficiency, and reliability of results. Bayesian inference based on Markov Chain Monte Carlo (MCMC) algorithms provides a robust framework for incorporating data uncertainty and prior geological knowledge. In this study, we compare the performance of four inversion methods – Metropolis-Hastings (MH), Hamiltonian Monte Carlo (HMC), the Metropolis-Adjusted Langevin Algorithm (MALA), and its variant Lip-MALA – in prestack seismic inversion using both synthetic models and real data from an eastern Venezuelan hydrocarbon reservoir. Results indicate that gradient-based methods (HMC, MALA, Lip-MALA) outperform MH in velocity estimation, while density inversion remains more challenging. MH and MALA achieve shorter execution times, whereas HMC and Lip-MALA improve accuracy at higher computational cost. This analysis evaluates mean values and standard deviation (SD) estimates for P-wave velocity, S-wave velocity, and density, with quality assessed through correlation metrics, objective function behavior, seismic traces, and Root Mean Square Error (RMSE). A two-dimensional inversion with real data further demonstrates algorithms performance under complex geological conditions. The findings highlight trade-offs between accuracy and efficiency, providing practical guidelines for selecting inversion method in seismic reservoir characterization.</p>
  </abstract>
    </article-meta>
  </front>
<body>
      

<sec id="Ch1.S1" sec-type="intro">
  <label>1</label><title>Introduction</title>
      <p id="d2e134">The accurate characterization of hydrocarbon reservoirs is fundamental for effective exploration and production decisions. This requires integrating complementary sources of information: general geological knowledge from analogous reservoirs and rock physics principles, and reservoir-specific observations from well logs, seismic surveys, and production history.</p>
      <p id="d2e137">Seismic data play a central role due to their extensive spatial coverage, providing a continuous description of the subsurface beyond individual well locations. To translate seismic amplitudes into meaningful elastic and petrophysical properties, such as P-wave velocity (<inline-formula><mml:math id="M1" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>), S-wave velocity (<inline-formula><mml:math id="M2" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>), and density (<inline-formula><mml:math id="M3" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>), seismic inversion is employed. This geophysical inverse problem aims to infer subsurface properties from observed seismic data, typically expressed as (Tarantola, 2005):

          <disp-formula id="Ch1.E1" content-type="numbered"><label>1</label><mml:math id="M4" display="block"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>g</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>+</mml:mo><mml:mi mathvariant="italic">ξ</mml:mi></mml:mrow></mml:math></disp-formula>

        where <inline-formula><mml:math id="M5" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> are the observed data, <inline-formula><mml:math id="M6" display="inline"><mml:mi>g</mml:mi></mml:math></inline-formula> is the forward operator linking the model parameters <inline-formula><mml:math id="M7" display="inline"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:math></inline-formula> to the data, and <inline-formula><mml:math id="M8" display="inline"><mml:mi mathvariant="italic">ξ</mml:mi></mml:math></inline-formula> represents measurement and modeling errors.</p>
      <p id="d2e224">Traditional seismic inversion methods can be broadly categorized into deterministic and stochastic approaches. Deterministic methods, such as least-squares inversion (Tarantola, 2005) and gradient-based optimization (Buland and Omre, 2003), provide single best-fit models but often lack robust uncertainty quantification. Stochastic methods, including simulated annealing (Ma, 2002) and genetic algorithms, explore the model space more broadly but can be computationally intensive and may not guarantee convergence to the posterior distribution.</p>
      <p id="d2e227">In prestack amplitude versus offset (AVO) inversion (Helland-Hansen et al., 1997; Ma, 2002; Buland and Omre, 2003), the problem is ill-posed: solutions are non-unique and highly sensitive to data noise and modeling errors (Landa and Treitel, 2016). The elastic parameters <inline-formula><mml:math id="M9" display="inline"><mml:mrow><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mspace width="0.125em" linebreak="nobreak"/><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi mathvariant="italic">ρ</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, from which Lamé parameters can be derived. These are sensitive to rock fluid content and saturation (Clochard et al., 2009) and can be further related to petrophysical parameters such as porosity, sand <inline-formula><mml:math id="M10" display="inline"><mml:mo>/</mml:mo></mml:math></inline-formula> shale ratio, and gas saturation (Goodway, 2001). Accurately estimating these parameters is therefore crucial for identifying hydrocarbon accumulations.</p>
      <p id="d2e264">To address these challenges, Bayesian inference has emerged as a powerful framework, as it explicitly incorporates prior geological knowledge and quantifies uncertainty through the posterior distribution. Markov Chain Monte Carlo (MCMC) methods are particularly well-suited for sampling complex, high-dimensional posterior distributions in nonlinear inverse problems (Bosch et al., 2007).</p>
      <p id="d2e267">Several MCMC algorithms have been applied in geophysical inversion. The Metropolis–Hastings (MH) algorithm (Metropolis et al., 1953; Hastings, 1970) is a foundational method but can suffer from slow convergence in high-dimensional spaces. Hamiltonian Monte Carlo (HMC) (Duane et al., 1987; Neal, 2012) leverages gradient information to propose more efficient moves, making it suitable for high-dimensional problems, as demonstrated in full-waveform inversion (Gebraad et al., 2020) and acoustic inversion (de Lima et al., 2023). Langevin dynamics-based methods, such as the Metropolis-Adjusted Langevin Algorithm (MALA) (Roberts and Tweedie, 1996) and its adaptive variant Lip-MALA (Nemeth and Fearnhead, 2021; Izzatullah et al., 2021), use gradient information to guide proposals, improving mixing and convergence in complex posteriors.</p>
      <p id="d2e270">Despite these advances, a systematic comparison of these MCMC algorithms in the context of prestack seismic inversion – particularly using both synthetic and real data in 1D and 2D settings – remains limited. Most studies focus on a single algorithm or synthetic cases, leaving a gap in understanding their practical performance under realistic geological complexity and computational constraints.</p>
      <p id="d2e273">This study aims to fill this gap by conducting a comprehensive evaluation of four MCMC algorithms – MH, HMC, MALA, and Lip-MALA – for Bayesian prestack seismic inversion. We assess their performance in estimating elastic parameters (<inline-formula><mml:math id="M11" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M12" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M13" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>) using both noise-free synthetic data and real data from an eastern Venezuelan reservoir. Our analysis includes: <list list-type="bullet"><list-item>
      <p id="d2e307">Quantitative metrics: mean, standard deviation, correlation, and RMSE.</p></list-item><list-item>
      <p id="d2e311">Computational efficiency: acceptance rates and execution times.</p></list-item><list-item>
      <p id="d2e315">Convergence diagnostics: multivariate effective sample size (mESS).</p></list-item><list-item>
      <p id="d2e319">Practical applicability: extension to 2D inversion with real data.</p></list-item></list> Our contributions are threefold: <list list-type="order"><list-item>
      <p id="d2e325">We provide a benchmark comparison of MCMC algorithms in seismic inversion, highlighting trade-offs between accuracy, uncertainty quantification, and computational cost.</p></list-item><list-item>
      <p id="d2e329">We demonstrate the scalability of these methods from 1D to 2D real-data scenarios, validating their robustness in geologically complex settings.</p></list-item><list-item>
      <p id="d2e333">We offer practical guidelines for algorithm selection based on project requirements, data characteristics, and available computational resources.</p></list-item></list> In Prestack AVO, Bayesian approaches with MCMC have been previously applied to estimate impedance or elastic parameters (e.g., Bosch et al., 2007; Wu et al., 2019), but these studies focus on a single algorithm or mainly on synthetic cases, but we go further and test it on real data.</p>
      <p id="d2e337">The remainder of this paper is organized as follows: Sect. 2 formulates the seismic inversion problem within a Bayesian framework and describes the forward modeling approach based on AVO theory. Section 3 details the theoretical background of the MCMC algorithms. Section 4 presents result from synthetic and real data experiments. Section 5 discusses the implications and practical recommendations. Section 6 concludes the study.</p>
</sec>
<sec id="Ch1.S2">
  <label>2</label><title>The Seismic Inversion Problem</title>
      <p id="d2e348">Having established the importance of Bayesian MCMC methods for prestack seismic inversion in Sect. 1, this section provides a comprehensive formulation of the inverse problem within a rigorous statistical framework. We detail the mathematical foundations, model parameterization, forward modeling approach, and inference workflow that form the basis of our comparative study. The complete Bayesian inference flow implemented in this study is visually summarized in Fig. 1, which illustrates the steps from input data to subsequent uncertainty quantification.</p>

      <fig id="F1" specific-use="star"><label>Figure 1</label><caption><p id="d2e353">Bayesian seismic inversion workflow implemented in this study, integrating prior information, seismic data, forward modelling, MCMC sampling, and posterior analysis to produce probabilistic estimates of elastic parameters with quantified uncertainties.</p></caption>
        <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f01.png"/>

      </fig>

<sec id="Ch1.S2.SS1">
  <label>2.1</label><title>Bayesian Formulation of the Inverse Problem</title>
      <p id="d2e369">Within the Bayesian paradigm, the solution to the inverse problem is expressed probabilistically through the posterior distribution (Tarantola, 2005; Bosch et al., 2007) <inline-formula><mml:math id="M14" display="inline"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, which combines prior knowledge with information from the observed data. Applying Bayes' theorem, we have:

            <disp-formula id="Ch1.E2" content-type="numbered"><label>2</label><mml:math id="M15" display="block"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mrow></mml:mfenced><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>∝</mml:mo><mml:mi>c</mml:mi><mml:mi>L</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mi mathvariant="italic">ρ</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

          where: <list list-type="bullet"><list-item>
      <p id="d2e461"><inline-formula><mml:math id="M16" display="inline"><mml:mrow><mml:mi mathvariant="italic">ρ</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:math></inline-formula> is the prior distribution, representing geological knowledge independent of the seismic data.</p></list-item><list-item>
      <p id="d2e475"><inline-formula><mml:math id="M17" display="inline"><mml:mrow><mml:mi>L</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:math></inline-formula> is the likelihood function, quantifying the probability of observing the data given a specific model.</p></list-item><list-item>
      <p id="d2e489"><inline-formula><mml:math id="M18" display="inline"><mml:mi>c</mml:mi></mml:math></inline-formula> is a normalization constant.</p></list-item><list-item>
      <p id="d2e499">And <inline-formula><mml:math id="M19" display="inline"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mo>=</mml:mo><mml:mo>∫</mml:mo><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mrow></mml:mfenced><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>)</mml:mo><mml:mi>d</mml:mi><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mrow></mml:math></inline-formula></p></list-item></list></p>
<sec id="Ch1.S2.SS1.SSS1">
  <label>2.1.1</label><title>Prior Distribution Specification</title>
      <p id="d2e553">The prior distribution encodes constraints on the model parameters based on independent information such as well logs, regional geology, and rock physics relationships. We employ a Gaussian prior distribution <inline-formula><mml:math id="M20" display="inline"><mml:mrow><mml:mi mathvariant="italic">ρ</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>∼</mml:mo><mml:mi>N</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula> (Bosch, 2004; Buland and Omre, 2003):

              <disp-formula id="Ch1.E3" content-type="numbered"><label>3</label><mml:math id="M21" display="block"><mml:mrow><mml:mi mathvariant="italic">ρ</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi>exp⁡</mml:mi><mml:mfenced open="[" close="]"><mml:mrow><mml:mo>-</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msup><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>-</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi>T</mml:mi></mml:msup><mml:msubsup><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">m</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msubsup><mml:mfenced open="(" close=")"><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>-</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            where <inline-formula><mml:math id="M22" display="inline"><mml:mi>N</mml:mi></mml:math></inline-formula> denotes a Gaussian probability distribution, with mean <inline-formula><mml:math id="M23" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub><mml:mo>∈</mml:mo><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula>, typically derived from low-frequency interpolation of well data or seismic velocities, covariance matrix given by <inline-formula><mml:math id="M24" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub><mml:mo>∈</mml:mo><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub><mml:mo>×</mml:mo><mml:msub><mml:mi>N</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula>, which imposes spatial correlation and smoothness constraints, effectively regularizing the ill-posed inverse problem and <inline-formula><mml:math id="M25" display="inline"><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> an appropriate normalization constant.</p>
</sec>
<sec id="Ch1.S2.SS1.SSS2">
  <label>2.1.2</label><title>Likelihood Function and Data Errors</title>
      <p id="d2e730">Assuming Gaussian-distributed errors in Eq. (1) with zero mean and covariance matrix <inline-formula><mml:math id="M26" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">d</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, the likelihood function takes the form:

              <disp-formula id="Ch1.E4" content-type="numbered"><label>4</label><mml:math id="M27" display="block"><mml:mrow><mml:mi>L</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mi>exp⁡</mml:mi><mml:mfenced open="[" close="]"><mml:mrow><mml:mo>-</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msup><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub><mml:mo>-</mml:mo><mml:mi>g</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:mfenced><mml:mi>T</mml:mi></mml:msup><mml:msubsup><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msubsup><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub><mml:mo>-</mml:mo><mml:mi>g</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            The likelihood function assumes Gaussian-distributed errors, consistent with standard formulations in Bayesian seismic inversion (Tarantola, 2005; Izzatullah et al., 2021), <inline-formula><mml:math id="M28" display="inline"><mml:mrow><mml:mi>g</mml:mi><mml:mo>:</mml:mo><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>→</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, being the function solving the seismic forward problem and the data covariance matrix <inline-formula><mml:math id="M29" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">d</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> accounts for measurement noise and uncertainties in the forward model. While often assumed diagonal (uncorrelated errors), it can incorporate more complex error structures when available.</p>
</sec>
<sec id="Ch1.S2.SS1.SSS3">
  <label>2.1.3</label><title>Posterior Distribution and MCMC Sampling</title>
      <p id="d2e850">Combining Eqs. (3) and (4), the posterior distribution can be expressed through the negative log-posterior (misfit function) <inline-formula><mml:math id="M30" display="inline"><mml:mrow><mml:mi>S</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula>:

              <disp-formula id="Ch1.E5" content-type="numbered"><label>5</label><mml:math id="M31" display="block"><mml:mtable class="split" rowspacing="0.2ex" displaystyle="true" columnalign="right left"><mml:mtr><mml:mtd><mml:mrow><mml:mi>S</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mi>log⁡</mml:mi><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msup><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub><mml:mo>-</mml:mo><mml:mi>g</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:mfenced><mml:mi>T</mml:mi></mml:msup><mml:msubsup><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">d</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msubsup><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub><mml:mo>-</mml:mo><mml:mi>g</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mo>+</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msup><mml:mfenced open="(" close=")"><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>-</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi>T</mml:mi></mml:msup><mml:msubsup><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">m</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msubsup><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>-</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>

            Thus,

              <disp-formula id="Ch1.E6" content-type="numbered"><label>6</label><mml:math id="M32" display="block"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mo>∝</mml:mo><mml:mi>exp⁡</mml:mi><mml:mfenced close="]" open="["><mml:mrow><mml:mo>-</mml:mo><mml:mi>S</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            In practice, the posterior distribution defined above is analytically intractable. Markov Chain Monte Carlo (MCMC) methods are therefore employed to generate samples <inline-formula><mml:math id="M33" display="inline"><mml:mrow><mml:msubsup><mml:mfenced close="}" open="{"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>i</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow><mml:mi>N</mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> from Eq. (6), enabling comprehensive uncertainty quantification through estimation of posterior means, variances, and marginal distributions (Robert and Casella, 2004; Neal, 2012; Gebraad et al., 2020).</p>
</sec>
</sec>
<sec id="Ch1.S2.SS2">
  <label>2.2</label><title>Model Parameterization and Forward Modelling</title>
<sec id="Ch1.S2.SS2.SSS1">
  <label>2.2.1</label><title>Logarithmic Parameterization</title>
      <p id="d2e1083">To ensure positivity of physical parameters (<inline-formula><mml:math id="M34" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub><mml:mo>&gt;</mml:mo><mml:mn mathvariant="normal">0</mml:mn></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M35" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub><mml:mo>&gt;</mml:mo><mml:mn mathvariant="normal">0</mml:mn></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M36" display="inline"><mml:mrow><mml:mi mathvariant="italic">ρ</mml:mi><mml:mo>&gt;</mml:mo><mml:mn mathvariant="normal">0</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula> and improve numerical stability, we adopt a logarithmic parameterization. For a 1D model with <inline-formula><mml:math id="M37" display="inline"><mml:mi>N</mml:mi></mml:math></inline-formula> layers, the parameter vector is (Buland and Omre, 2003):

              <disp-formula id="Ch1.E7" content-type="numbered"><label>7</label><mml:math id="M38" display="block"><mml:mtable class="split" rowspacing="0.2ex" displaystyle="true" columnalign="right left"><mml:mtr><mml:mtd><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mo>=</mml:mo><mml:mo mathsize="1.1em">[</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mo>,</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi mathvariant="normal">…</mml:mi><mml:mo>,</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mrow><mml:mi mathvariant="normal">p</mml:mi><mml:mo>,</mml:mo><mml:mi mathvariant="normal">N</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mo>,</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi mathvariant="normal">…</mml:mi><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mi>ln⁡</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mrow><mml:mi mathvariant="normal">s</mml:mi><mml:mo>,</mml:mo><mml:mi mathvariant="normal">N</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">ρ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mo>,</mml:mo><mml:mi mathvariant="normal">…</mml:mi><mml:mo>,</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">ρ</mml:mi><mml:mi mathvariant="normal">N</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:msup><mml:mo mathsize="1.1em">]</mml:mo><mml:mi>T</mml:mi></mml:msup><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>

            This transformation also aligns naturally with the logarithmic form of the Aki-Richards reflectivity approximation used in our forward model.</p>
</sec>
<sec id="Ch1.S2.SS2.SSS2">
  <label>2.2.2</label><title>AVO Forward Modeling Formulation</title>
      <p id="d2e1271">The forward operator <inline-formula><mml:math id="M39" display="inline"><mml:mrow><mml:mi>g</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:math></inline-formula> implements the Aki-Richards linearized approximation for PP reflectivity. The AVO method was created in the early 1980s to analyze the amplitudes of seismic CMP gathers as a function of angle to find hydrocarbons. The Aki-Richards equation (Aki and Richards, 2002) is the foundation of AVO analysis. The original form of the equation can be rewritten for a weak-contrast interface to give (Buland and Omre, 2003; Niu et al., 2020):

              <disp-formula id="Ch1.E8" content-type="numbered"><label>8</label><mml:math id="M40" display="block"><mml:mrow><mml:msub><mml:mi>R</mml:mi><mml:mi mathvariant="normal">pp</mml:mi></mml:msub><mml:mfenced open="(" close=")"><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mfenced close=")" open="("><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>V</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>+</mml:mo><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mfenced close=")" open="("><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>V</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>+</mml:mo><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mfenced close=")" open="("><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi mathvariant="italic">ρ</mml:mi></mml:mrow><mml:mover accent="true"><mml:mi mathvariant="italic">ρ</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover></mml:mfrac></mml:mstyle><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            where

                  <disp-formula specific-use="gather" content-type="numbered"><mml:math id="M41" display="block"><mml:mtable displaystyle="true"><mml:mlabeledtr id="Ch1.E9"><mml:mtd><mml:mtext>9</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle class="stylechange" displaystyle="true"/><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mfenced close=")" open="("><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:mfenced open="(" close=")"><mml:mrow><mml:mn mathvariant="normal">1</mml:mn><mml:mo>+</mml:mo><mml:msup><mml:mi mathvariant="normal">tan</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msup><mml:mi mathvariant="italic">θ</mml:mi></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mlabeledtr><mml:mlabeledtr id="Ch1.E10"><mml:mtd><mml:mtext>10</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle class="stylechange" displaystyle="true"/><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mfenced open="(" close=")"><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mn mathvariant="normal">4</mml:mn><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>V</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>V</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mstyle><mml:msup><mml:mi mathvariant="normal">sin</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msup><mml:mi mathvariant="italic">θ</mml:mi><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mlabeledtr><mml:mlabeledtr id="Ch1.E11"><mml:mtd><mml:mtext>11</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle class="stylechange" displaystyle="true"/><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mfenced open="(" close=")"><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:mfenced close=")" open="("><mml:mrow><mml:mn mathvariant="normal">1</mml:mn><mml:mo>-</mml:mo><mml:mn mathvariant="normal">4</mml:mn><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>V</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>V</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:mfrac></mml:mstyle><mml:msup><mml:mi mathvariant="normal">sin</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msup><mml:mi mathvariant="italic">θ</mml:mi></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mlabeledtr></mml:mtable></mml:math></disp-formula>

            In Eqs. (8)–(11), the incident angle <inline-formula><mml:math id="M42" display="inline"><mml:mi mathvariant="italic">θ</mml:mi></mml:math></inline-formula> is the angle at which a wave reflected off a surface. <inline-formula><mml:math id="M43" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M44" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M45" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> represent the velocities of P-waves, S-waves, and the density of a material, respectively. <inline-formula><mml:math id="M46" display="inline"><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M47" display="inline"><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M48" display="inline"><mml:mrow><mml:mi mathvariant="normal">Δ</mml:mi><mml:mi mathvariant="italic">ρ</mml:mi></mml:mrow></mml:math></inline-formula> are the changes in <inline-formula><mml:math id="M49" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M50" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M51" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> across a reflective interface. <inline-formula><mml:math id="M52" display="inline"><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow><mml:mo mathvariant="normal">‾</mml:mo></mml:mover></mml:math></inline-formula>, <inline-formula><mml:math id="M53" display="inline"><mml:mover accent="true"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow><mml:mo mathvariant="normal">‾</mml:mo></mml:mover></mml:math></inline-formula> and <inline-formula><mml:math id="M54" display="inline"><mml:mover accent="true"><mml:mi mathvariant="italic">ρ</mml:mi><mml:mo mathvariant="normal">‾</mml:mo></mml:mover></mml:math></inline-formula> are the average values of <inline-formula><mml:math id="M55" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M56" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M57" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>, respectively.</p>
      <p id="d2e1707">To obtain the seismic trace for a certain theta angle we can use the approximation for small reflectivity (Russell et al., 2006),

              <disp-formula id="Ch1.E12" content-type="numbered"><label>12</label><mml:math id="M58" display="block"><mml:mtable class="split" rowspacing="0.2ex" displaystyle="true" columnalign="right left"><mml:mtr><mml:mtd><mml:mrow><mml:mi>T</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mo>+</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="italic">θ</mml:mi></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi><mml:msub><mml:mi>L</mml:mi><mml:mi mathvariant="italic">ρ</mml:mi></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>

            where <inline-formula><mml:math id="M59" display="inline"><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M60" display="inline"><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M61" display="inline"><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mi mathvariant="italic">ρ</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>ln⁡</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="italic">ρ</mml:mi></mml:mfenced></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M62" display="inline"><mml:mi mathvariant="bold">W</mml:mi></mml:math></inline-formula> is the wavelet matrix and <inline-formula><mml:math id="M63" display="inline"><mml:mi mathvariant="bold">D</mml:mi></mml:math></inline-formula> is the derivative matrix. Equation (12) can be implemented in matrix form as

              <disp-formula id="Ch1.E13" content-type="numbered"><label>13</label><mml:math id="M64" display="block"><mml:mrow><mml:mtable class="split" rowspacing="0.2ex" displaystyle="true" columnalign="right left"><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mfenced open="[" close="]"><mml:mtable class="matrix" columnalign="center" framespacing="0em"><mml:mtr><mml:mtd><mml:mrow><mml:mi>T</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:mi>T</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:mi>T</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mfenced><mml:mo>=</mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mspace linebreak="nobreak" width="1em"/><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:mfenced close="]" open="["><mml:mtable class="matrix" columnalign="center center center" framespacing="0em"><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mfenced><mml:mfenced close="]" open="["><mml:mtable class="matrix" columnalign="center" framespacing="0em"><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mi mathvariant="italic">ρ</mml:mi></mml:msub></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mfenced></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow></mml:math></disp-formula>

            In discrete matrix form, for multiple angles <inline-formula><mml:math id="M65" display="inline"><mml:mrow><mml:mfenced open="{" close="}"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mspace width="0.125em" linebreak="nobreak"/><mml:mi mathvariant="normal">…</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, the complete forward modeling operation can be expressed compactly as:

              <disp-formula id="Ch1.E14" content-type="numbered"><label>14</label><mml:math id="M66" display="block"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">syn</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>g</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mi mathvariant="bold">G</mml:mi><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            where:

              <disp-formula id="Ch1.E15" content-type="numbered"><label>15</label><mml:math id="M67" display="block"><mml:mtable class="split" rowspacing="0.2ex" displaystyle="true" columnalign="right left"><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">syn</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfenced close="]" open="["><mml:mtable class="matrix" columnalign="center" framespacing="0em"><mml:mtr><mml:mtd><mml:mrow><mml:mi>T</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:mi>T</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:mi>T</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mfenced><mml:mo>;</mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mi mathvariant="bold">G</mml:mi><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:mfenced open="[" close="]"><mml:mtable class="matrix" columnalign="center center center" framespacing="0em"><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd><mml:mtd><mml:mi mathvariant="normal">⋮</mml:mi></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi>D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:msub><mml:mi>c</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mi mathvariant="bold">W</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mi mathvariant="bold">D</mml:mi></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mfenced></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>

            and <inline-formula><mml:math id="M68" display="inline"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:math></inline-formula> was defined in Eq. (7). For how to construct <inline-formula><mml:math id="M69" display="inline"><mml:mi mathvariant="bold">W</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math id="M70" display="inline"><mml:mi mathvariant="bold">D</mml:mi></mml:math></inline-formula>, known as the wavelet matrix and the derivative matrix respectively, the reader is advised to review Hampson et al. (2005).</p>
</sec>
</sec>
<sec id="Ch1.S2.SS3">
  <label>2.3</label><title>Inference Workflow and Uncertainty Quantification</title>
      <p id="d2e2522">The complete Bayesian inversion workflow implemented in this study is visually summarized in Fig. 1. The process integrates prior geological knowledge, seismic data, physical modelling, and statistical sampling to produce probabilistic estimates of subsurface elastic properties.</p>
      <p id="d2e2525">Bayesian inversion process implemented in this study follows a systematic workflow: <list list-type="order"><list-item>
      <p id="d2e2530">Prior Model Construction: Define <inline-formula><mml:math id="M71" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M72" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> using available well-log data, geological interpretation, and spatial correlation models.</p></list-item><list-item>
      <p id="d2e2556">Data Preparation and Uncertainty Quantification: Extract angle-stacked seismic traces <inline-formula><mml:math id="M73" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, estimate corresponding wavelets for multiple angles <inline-formula><mml:math id="M74" display="inline"><mml:mrow><mml:mfenced open="{" close="}"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mi mathvariant="normal">…</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, and characterize data uncertainties through the covariance matrix <inline-formula><mml:math id="M75" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold">C</mml:mi><mml:mi mathvariant="normal">d</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula></p></list-item><list-item>
      <p id="d2e2614">Forward Operator Assembly: Construct the matrix <inline-formula><mml:math id="M76" display="inline"><mml:mi mathvariant="bold">G</mml:mi></mml:math></inline-formula> according to Eqs. (8)–(15) to implement the forward modelling operator <inline-formula><mml:math id="M77" display="inline"><mml:mrow><mml:mi>g</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:math></inline-formula>.</p></list-item><list-item>
      <p id="d2e2636">MCMC Sampling: Apply one of the four sampling algorithms (MH, HMC, MALA, or Lip-MALA) to generate a Markov chain of model samples from the posterior distribution <inline-formula><mml:math id="M78" display="inline"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula></p></list-item><list-item>
      <p id="d2e2658">Posterior Analysis: Compute statistical summaries (posterior means, standard deviations, correlation coefficients, RMSE) and marginal probability distributions from the sampled models to assess the inverted elastic parameters and their associated uncertainties.</p></list-item></list></p>
      <p id="d2e2661">This comprehensive framework provides a rigorous approach to seismic inversion where solutions are characterized not as single models but as probability distributions that fully quantify uncertainty, directly addressing the ill-posed nature of the inverse problem.</p>
</sec>
</sec>
<sec id="Ch1.S3">
  <label>3</label><title>Theoretical Background for Metropolis-Hastings, Hamiltonian Monte Carlo and Langevin Diffusion</title>
      <p id="d2e2673">This section presents the theoretical foundations of the four MCMC algorithms compared in this study. A visual summary of their computational workflows and key characteristics is provided in Fig. 2, followed by detailed mathematical descriptions and implementation considerations.</p>

      <fig id="F2" specific-use="star"><label>Figure 2</label><caption><p id="d2e2678">Comparative schematic of MCMC algorithms evaluated in this study. All methods generate samples from the posterior distribution but differ in proposal mechanisms, gradient requirements, and parameter tuning strategies.</p></caption>
        <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f02.png"/>

      </fig>

<sec id="Ch1.S3.SS1">
  <label>3.1</label><title>Algorithm Overview and Comparative Framework</title>
      <p id="d2e2694">Figure 2 provides a schematic comparative view of the four MCMC algorithms, highlighting their proposal mechanisms, gradient requirements, and tuning strategies. All methods share the common goal of generating samples from the posterior distribution <inline-formula><mml:math id="M79" display="inline"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="bold-italic">d</mml:mi><mml:mi mathvariant="normal">obs</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula> but employ different strategies for proposing and accepting new states.</p>
</sec>
<sec id="Ch1.S3.SS2">
  <label>3.2</label><title>Metropolis–Hastings Algorithm</title>
      <p id="d2e2725">MH algorithm is one of the most widely used MCMC methods for sampling from complex probability distributions. Originally proposed by Metropolis et al. (1953) and generalized by Hastings (1970), MH defines a transition probability that ensures ergodicity, detailed balance, and reversibility of the chain (Chib and Greenberg, 1995).</p>
<sec id="Ch1.S3.SS2.SSS1">
  <label>3.2.1</label><title>Mathematical Formulation</title>
      <p id="d2e2735">Given the current state <inline-formula><mml:math id="M80" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> at iteration <inline-formula><mml:math id="M81" display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula>, MH proposes a new candidate <inline-formula><mml:math id="M82" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> from a proposal distribution <inline-formula><mml:math id="M83" display="inline"><mml:mrow><mml:mi>q</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>. The candidate is accepted with probability:

              <disp-formula id="Ch1.E16" content-type="numbered"><label>16</label><mml:math id="M84" display="block"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MH</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mo movablelimits="false">min⁡</mml:mo><mml:mfenced close="}" open="{"><mml:mrow><mml:mn mathvariant="normal">1</mml:mn><mml:mo>,</mml:mo><mml:mspace width="0.125em" linebreak="nobreak"/><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi>L</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:mfenced></mml:mrow><mml:mrow><mml:mi>L</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>⋅</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi>q</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:mfenced></mml:mrow><mml:mrow><mml:mi>q</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfrac></mml:mstyle></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            where <inline-formula><mml:math id="M85" display="inline"><mml:mrow><mml:mi>L</mml:mi><mml:mfenced open="(" close=")"><mml:mo>⋅</mml:mo></mml:mfenced></mml:mrow></mml:math></inline-formula> represents the likelihood function (Eq. 4). For symmetric proposal distributions where <inline-formula><mml:math id="M86" display="inline"><mml:mrow><mml:mi>q</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced><mml:mo>=</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mi>q</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, this simplifies to the Metropolis acceptance ratio.</p>
</sec>
<sec id="Ch1.S3.SS2.SSSx1" specific-use="unnumbered">
  <title>Implementation Details</title>
      <p id="d2e2967">In our seismic inversion context, we employ a Gaussian random walk proposal:

              <disp-formula id="Ch1.E17" content-type="numbered"><label>17</label><mml:math id="M87" display="block"><mml:mrow><mml:mi>q</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced><mml:mo>=</mml:mo><mml:mi>N</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced open="(" close=")"><mml:mi>t</mml:mi></mml:mfenced></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi mathvariant="italic">σ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msup><mml:mi mathvariant="bold">I</mml:mi></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            Where <inline-formula><mml:math id="M88" display="inline"><mml:mi mathvariant="italic">σ</mml:mi></mml:math></inline-formula> is a tuning parameter controlling the proposal step size. The algorithm proceeds as follows: <list list-type="custom"><list-item><label> </label>
      <p id="d2e3037">Step 1. Initialization: Start with an initial model <inline-formula><mml:math id="M89" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn mathvariant="normal">0</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and set <inline-formula><mml:math id="M90" display="inline"><mml:mrow><mml:mi>t</mml:mi><mml:mo>=</mml:mo><mml:mn mathvariant="normal">0</mml:mn></mml:mrow></mml:math></inline-formula>.</p></list-item><list-item><label> </label>
      <p id="d2e3076">Step 2. Propose a new state:  Generate <inline-formula><mml:math id="M91" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>∼</mml:mo><mml:mi>N</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mi>t</mml:mi></mml:mfenced></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi mathvariant="italic">σ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msup><mml:mi mathvariant="bold">I</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula><bold>.</bold></p></list-item><list-item><label> </label>
      <p id="d2e3114">Step 3. Compute Acceptance: Calculate <inline-formula><mml:math id="M92" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MH</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> using Eq. (16).</p></list-item><list-item><label> </label>
      <p id="d2e3129">Step 4. Accept/Reject: Draw <inline-formula><mml:math id="M93" display="inline"><mml:mrow><mml:mi>u</mml:mi><mml:mspace width="0.125em" linebreak="nobreak"/><mml:mo>∼</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mi mathvariant="normal">Uniform</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>. If <inline-formula><mml:math id="M94" display="inline"><mml:mrow><mml:mi>u</mml:mi><mml:mo>≤</mml:mo><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MH</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, set <inline-formula><mml:math id="M95" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:math></inline-formula>; otherwise <inline-formula><mml:math id="M96" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced open="(" close=")"><mml:mi>t</mml:mi></mml:mfenced></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula></p></list-item><list-item><label> </label>
      <p id="d2e3221">Step 5. Iterate: Increment <inline-formula><mml:math id="M97" display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula> and repeat from step 2 until convergence.</p></list-item></list></p>
</sec>
<sec id="Ch1.S3.SS2.SSS2">
  <label>3.2.2</label><title>Tuning Considerations and Limitations</title>
      <p id="d2e3239">The performance of MH critically depends on the choice of <inline-formula><mml:math id="M98" display="inline"><mml:mi mathvariant="italic">σ</mml:mi></mml:math></inline-formula>. Optimal scaling theory suggests aiming for acceptance rates of approximately 23.4 % for random walk proposals in high dimensions (Roberts et al., 1997). In our implementation, <inline-formula><mml:math id="M99" display="inline"><mml:mi mathvariant="italic">σ</mml:mi></mml:math></inline-formula> was tuned during a 1000-iteration burn-in period to achieve this target.</p>
      <p id="d2e3256">While MH is conceptually simple and requires no gradient computations, its random walk behavior leads to slow exploration of high-dimensional parameter spaces. The autocorrelation between samples remains high, requiring longer chains to achieve effective sample sizes comparable to gradient-based methods.</p>
</sec>
</sec>
<sec id="Ch1.S3.SS3">
  <label>3.3</label><title>Hamiltonian Monte Carlo (HMC)</title>
      <p id="d2e3268">HMC is a sampling algorithm that was first introduced in molecular dynamics (Duane et al., 1987) and later adapted to Bayesian inference problems (Neal, 2012; Fichtner and Zunino, 2019). It is particularly effective for high-dimensional posteriors when gradient information of the <inline-formula><mml:math id="M100" display="inline"><mml:mi mathvariant="italic">σ</mml:mi></mml:math></inline-formula> is available and it is more efficient than standard MH. It introduces an auxiliary momentum variable to simulate Hamiltonian dynamics in an augmented parameter space.</p>
<sec id="Ch1.S3.SS3.SSS1">
  <label>3.3.1</label><title>Hamiltonian Dynamics Formulation</title>
      <p id="d2e3286">HMC is an MCMC algorithm that uses classical Hamiltonian mechanics (Landau and Lifshitz, 1976) to sample from an arbitrary <inline-formula><mml:math id="M101" display="inline"><mml:mi>n</mml:mi></mml:math></inline-formula>-dimensional probability density function (PDF). HMC introduces momentum variables <inline-formula><mml:math id="M102" display="inline"><mml:mrow><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mspace width="0.125em" linebreak="nobreak"/><mml:mi mathvariant="italic">ϵ</mml:mi><mml:mspace width="0.125em" linebreak="nobreak"/><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> and samples from the joint distribution:

              <disp-formula id="Ch1.E18" content-type="numbered"><label>18</label><mml:math id="M103" display="block"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo mathvariant="bold">,</mml:mo><mml:mi mathvariant="bold-italic">p</mml:mi></mml:mrow></mml:mfenced><mml:mo>=</mml:mo><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>)</mml:mo><mml:mo>∝</mml:mo><mml:mi>exp⁡</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mo>-</mml:mo><mml:mi>U</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>-</mml:mo><mml:mi>K</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mfenced></mml:mrow></mml:math></disp-formula>

            where <inline-formula><mml:math id="M104" display="inline"><mml:mrow><mml:mi>U</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mi>log⁡</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula> , which is defined as the negative logarithm of the PDF (Gebraad et al., 2020), and <inline-formula><mml:math id="M105" display="inline"><mml:mrow><mml:mi>K</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">p</mml:mi></mml:mfenced><mml:mo>=</mml:mo><mml:mstyle displaystyle="false"><mml:mfrac style="text"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mi>T</mml:mi></mml:msup><mml:msup><mml:mi mathvariant="bold">M</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi></mml:mrow></mml:math></inline-formula> is the kinetic energy with mass matrix <inline-formula><mml:math id="M106" display="inline"><mml:mi mathvariant="bold">M</mml:mi></mml:math></inline-formula>.</p>
      <p id="d2e3438">The Hamiltonian equations of motion are:

              <disp-formula id="Ch1.E19" content-type="numbered"><label>19</label><mml:math id="M107" display="block"><mml:mrow><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="italic">τ</mml:mi></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mo>∂</mml:mo><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mo>∂</mml:mo><mml:mi mathvariant="bold-italic">p</mml:mi></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold">M</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>,</mml:mo><mml:mspace linebreak="nobreak" width="1em"/><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="bold-italic">p</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="italic">τ</mml:mi></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mo>∂</mml:mo><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mo>∂</mml:mo><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>U</mml:mi><mml:mfenced open="(" close=")"><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced></mml:mrow></mml:math></disp-formula>

            where <inline-formula><mml:math id="M108" display="inline"><mml:mrow><mml:mi>H</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>,</mml:mo><mml:mi mathvariant="bold-italic">p</mml:mi></mml:mrow></mml:mfenced><mml:mo>=</mml:mo><mml:mi>U</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">m</mml:mi></mml:mfenced><mml:mo>+</mml:mo><mml:mi>K</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="bold-italic">p</mml:mi></mml:mfenced><mml:mspace linebreak="nobreak" width="0.125em"/></mml:mrow></mml:math></inline-formula> is the Hamiltonian and <inline-formula><mml:math id="M109" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula> is fictitious time.</p>
</sec>
<sec id="Ch1.S3.SS3.SSS2">
  <label>3.3.2</label><title>Leapfrog Integration and Algorithm</title>
      <p id="d2e3574">Since analytical solutions to Eq. (19) are unavailable for nonlinear problems, HMC employs the symplectic leapfrog integrator with step size <inline-formula><mml:math id="M110" display="inline"><mml:mi mathvariant="italic">ϵ</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math id="M111" display="inline"><mml:mi>L</mml:mi></mml:math></inline-formula> steps. For our seismic inversion, the algorithm proceeds as (Gebraad et al., 2020): <list list-type="custom"><list-item><label> </label>
      <p id="d2e3593">Step 1. Start with an initial model <inline-formula><mml:math id="M112" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn mathvariant="normal">0</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, random momenta <inline-formula><mml:math id="M113" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn mathvariant="normal">0</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>∼</mml:mo><mml:mi>N</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="bold">M</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula>. and set <inline-formula><mml:math id="M114" display="inline"><mml:mrow><mml:mi>t</mml:mi><mml:mo>=</mml:mo><mml:mn mathvariant="normal">0</mml:mn></mml:mrow></mml:math></inline-formula>.</p></list-item><list-item><label> </label>
      <p id="d2e3658">Step 2. Evaluate the Hamiltonian <inline-formula><mml:math id="M115" display="inline"><mml:mrow><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula> starting with <inline-formula><mml:math id="M116" display="inline"><mml:mrow><mml:mi>t</mml:mi><mml:mo>=</mml:mo><mml:mn mathvariant="normal">0</mml:mn></mml:mrow></mml:math></inline-formula>.</p></list-item><list-item><label> </label>
      <p id="d2e3706">Step 3. Leapfrog integration (repeated <inline-formula><mml:math id="M117" display="inline"><mml:mi>L</mml:mi></mml:math></inline-formula> times): Calculate:<disp-formula specific-use="gather" content-type="numbered"><mml:math id="M118" display="block"><mml:mtable displaystyle="true"><mml:mlabeledtr id="Ch1.E20"><mml:mtd><mml:mtext>20</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle class="stylechange" displaystyle="true"/><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mi>t</mml:mi></mml:mfenced></mml:mrow></mml:msup><mml:mo>-</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mi mathvariant="italic">ϵ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>U</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mlabeledtr><mml:mlabeledtr id="Ch1.E21"><mml:mtd><mml:mtext>21</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle class="stylechange" displaystyle="true"/><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:mi mathvariant="italic">ϵ</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:mtd></mml:mlabeledtr><mml:mlabeledtr id="Ch1.E22"><mml:mtd><mml:mtext>22</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle displaystyle="true" class="stylechange"/><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>-</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mi mathvariant="italic">ϵ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>U</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mlabeledtr></mml:mtable></mml:math></disp-formula></p></list-item><list-item><label> </label>
      <p id="d2e3838">Step 4. Calculate the Hamiltonian <inline-formula><mml:math id="M119" display="inline"><mml:mrow><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula>.</p></list-item><list-item><label> </label>
      <p id="d2e3864">Step 5. Compute Acceptance: Calculate <inline-formula><mml:math id="M120" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">HMC</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> using:<disp-formula id="Ch1.E23" content-type="numbered"><label>23</label><mml:math id="M121" display="block"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">HMC</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mo movablelimits="false">min⁡</mml:mo><mml:mfenced open="(" close=")"><mml:mrow><mml:mn mathvariant="normal">1</mml:mn><mml:mo>,</mml:mo><mml:mi>exp⁡</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>)</mml:mo><mml:mo>-</mml:mo><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula></p></list-item><list-item><label> </label>
      <p id="d2e3956">Step 6. Accept/Reject: Draw <inline-formula><mml:math id="M122" display="inline"><mml:mrow><mml:mi>u</mml:mi><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mo>∼</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mi mathvariant="normal">Uniform</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>. If <inline-formula><mml:math id="M123" display="inline"><mml:mrow><mml:mi>u</mml:mi><mml:mo>≤</mml:mo><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">HMC</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, set <inline-formula><mml:math id="M124" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M125" display="inline"><mml:mrow><mml:mi>H</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced open="(" close=")"><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mrow><mml:mfenced open="(" close=")"><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup></mml:mrow></mml:mfenced><mml:mo>=</mml:mo><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula>; otherwise <inline-formula><mml:math id="M126" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced open="(" close=")"><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mi>t</mml:mi></mml:mfenced></mml:mrow></mml:msup><mml:mspace linebreak="nobreak" width="0.125em"/></mml:mrow></mml:math></inline-formula>and <inline-formula><mml:math id="M127" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">p</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>∼</mml:mo><mml:mspace width="0.125em" linebreak="nobreak"/><mml:mi>N</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:mi mathvariant="bold">M</mml:mi></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula></p></list-item><list-item><label> </label>
      <p id="d2e4135">Step 7. Iterate: Increment <inline-formula><mml:math id="M128" display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula> and repeat from step 2 until convergence.</p></list-item></list> The acceptance rate of the leapfrog integration algorithm commonly used in Step 3 is largely influenced by how well it conserves energy in the trajectory. If the time steps are too large or the gradients of the fitting function are incorrectly calculated, the algorithm will save less energy, and the acceptance rate will decrease. Simply put, the leapfrog integration algorithm works by bouncing model parameters back and forth across the simulated energy landscape. The acceptance rate determines how often the algorithm accepts a new proposed model parameter. If the time steps are too large or the gradients are calculated incorrectly, the algorithm cannot follow the energy landscape accurately and will likely reject the proposed model parameters. This leads to slower convergence and increases computational cost.</p>
</sec>
<sec id="Ch1.S3.SS3.SSS3">
  <label>3.3.3</label><title>Parameter Tuning for Seismic Inversion</title>
      <p id="d2e4155">HMC requires careful tuning of two parameters: the step size <inline-formula><mml:math id="M129" display="inline"><mml:mi mathvariant="italic">ϵ</mml:mi></mml:math></inline-formula> and trajectory length <inline-formula><mml:math id="M130" display="inline"><mml:mi>L</mml:mi></mml:math></inline-formula>. We employed a dual adaptation strategy: <list list-type="order"><list-item>
      <p id="d2e4174">Step size (<inline-formula><mml:math id="M131" display="inline"><mml:mi mathvariant="italic">ϵ</mml:mi></mml:math></inline-formula>): Tuned during burn-in to achieve acceptance rates optimal for HMC.</p></list-item><list-item>
      <p id="d2e4185">Trajectory length (<inline-formula><mml:math id="M132" display="inline"><mml:mi>L</mml:mi></mml:math></inline-formula>): Fixed at <inline-formula><mml:math id="M133" display="inline"><mml:mrow><mml:mi>L</mml:mi><mml:mo>=</mml:mo><mml:mn mathvariant="normal">10</mml:mn></mml:mrow></mml:math></inline-formula> based on preliminary experiments showing adequate exploration without excessive computational cost.</p></list-item></list></p>
</sec>
</sec>
<sec id="Ch1.S3.SS4">
  <label>3.4</label><title>Langevin Diffusion-Based Algorithms</title>
<sec id="Ch1.S3.SS4.SSS1">
  <label>3.4.1</label><title>Langevin Dynamics</title>
      <p id="d2e4223">Langevin dynamics are a mathematical model of Brownian motion, named after the French physicist Paul Langevin (Lemons and Gythiel, 1997) who developed them in 1908. Langevin dynamics is a simplification of Albert Einstein's approach to Brownian motion, which is based on Newton's second law of motion. The Langevin dynamics for target distribution <inline-formula><mml:math id="M134" display="inline"><mml:mrow><mml:mi mathvariant="italic">σ</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, is a continuous-time stochastic process <inline-formula><mml:math id="M135" display="inline"><mml:mrow><mml:msub><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mfenced><mml:mrow><mml:mi>t</mml:mi><mml:mo>≥</mml:mo><mml:mn mathvariant="normal">0</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> in <inline-formula><mml:math id="M136" display="inline"><mml:mrow><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mi mathvariant="normal">m</mml:mi></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> that evolves following the stochastic differential equation (SDE) (Roberts and Stramer, 2002; Nemeth et al., 2016; Izzatullah et al., 2021) and (Sánchez et al., 2016; Infante et al., 2019):

              <disp-formula id="Ch1.E24" content-type="numbered"><label>24</label><mml:math id="M137" display="block"><mml:mrow><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="italic">τ</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mi mathvariant="bold">Σ</mml:mi><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mfenced open="[" close="]"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mfenced close=")" open="("><mml:mi mathvariant="italic">τ</mml:mi></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="italic">τ</mml:mi><mml:mo>+</mml:mo><mml:msqrt><mml:mn mathvariant="normal">2</mml:mn></mml:msqrt><mml:msup><mml:mi mathvariant="bold">Σ</mml:mi><mml:mstyle scriptlevel="+1"><mml:mfrac><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle></mml:msup><mml:mi mathvariant="normal">d</mml:mi><mml:mi mathvariant="bold">W</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="italic">τ</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></disp-formula>

            where <inline-formula><mml:math id="M138" display="inline"><mml:mrow><mml:mi mathvariant="bold">W</mml:mi><mml:mo>(</mml:mo><mml:mi mathvariant="italic">τ</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula> is a standard <inline-formula><mml:math id="M139" display="inline"><mml:mi>n</mml:mi></mml:math></inline-formula>-dimensional Brownian motion, <inline-formula><mml:math id="M140" display="inline"><mml:mi mathvariant="bold">Σ</mml:mi></mml:math></inline-formula> is a symmetric positive definite matrix (in this paper we use <inline-formula><mml:math id="M141" display="inline"><mml:mrow><mml:mi mathvariant="bold">Σ</mml:mi><mml:mo>=</mml:mo><mml:mi mathvariant="bold">I</mml:mi></mml:mrow></mml:math></inline-formula>), <inline-formula><mml:math id="M142" display="inline"><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mfenced close="]" open="["><mml:mrow><mml:mi mathvariant="italic">σ</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula> is the drift term of the Brownian particle <inline-formula><mml:math id="M143" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M144" display="inline"><mml:mrow><mml:mi mathvariant="italic">σ</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula> is a stationary posterior distribution.</p>
</sec>
<sec id="Ch1.S3.SS4.SSS2">
  <label>3.4.2</label><title>Metropolis-adjusted Langevin algorithm (MALA)</title>
      <p id="d2e4442">In the practice, a standard approach is to discretize the Eq. (13) using the Euler-Maruyama discretization (Stuart et al., 2004) and we obtained the Unadjusted Langevin algorithm (ULA) given by

              <disp-formula id="Ch1.E25" content-type="numbered"><label>25</label><mml:math id="M145" display="block"><mml:mtable class="split" rowspacing="0.2ex" displaystyle="true" columnalign="right left"><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:mi mathvariant="italic">τ</mml:mi><mml:mi mathvariant="bold">Σ</mml:mi><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mfenced open="[" close="]"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>+</mml:mo><mml:msqrt><mml:mrow><mml:mn mathvariant="normal">2</mml:mn><mml:mi mathvariant="italic">τ</mml:mi></mml:mrow></mml:msqrt><mml:msup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mstyle scriptlevel="+1"><mml:mfrac><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle></mml:msup><mml:msub><mml:mi mathvariant="bold-italic">ϵ</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd><mml:mrow><mml:mspace linebreak="nobreak" width="1em"/><mml:msub><mml:mi mathvariant="bold-italic">ϵ</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mi>N</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:msub><mml:mi>I</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>×</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>

            where <inline-formula><mml:math id="M146" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula> is the step-length for each iteration. ULA is simple in its implementation, yet it introduces a bias, then we need to introduce the acceptance-rejection step through the MH algorithm. By introducing MH algorithm into ULA, we will obtain the Metropolis-Adjusted Langevin algorithm (MALA), (Izzatullah et al., 2020, 2021). The procedure consists of constructing a Markov chain at each step <inline-formula><mml:math id="M147" display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula>, given <inline-formula><mml:math id="M148" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula>, a new observation is generated from a proposal density <inline-formula><mml:math id="M149" display="inline"><mml:mrow><mml:mi>q</mml:mi><mml:mo>(</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula>. The candidate is then accepted with probability <inline-formula><mml:math id="M150" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MALA</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> given by,

              <disp-formula id="Ch1.E26" content-type="numbered"><label>26</label><mml:math id="M151" display="block"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MALA</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mo movablelimits="false">min⁡</mml:mo><mml:mfenced open="{" close="}"><mml:mrow><mml:mn mathvariant="normal">1</mml:mn><mml:mo>,</mml:mo><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi>L</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:mfenced></mml:mrow><mml:mrow><mml:mi>L</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfrac></mml:mstyle><mml:mo>⋅</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi>q</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:mfenced></mml:mrow><mml:mrow><mml:mi>q</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfrac></mml:mstyle></mml:mrow></mml:mfenced><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>

            In summary, MALA algorithm is obtained as follows: <list list-type="custom"><list-item><label> </label>
      <p id="d2e4716">Step 1. Choose an initial solution <inline-formula><mml:math id="M152" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn mathvariant="normal">0</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and the discretization step-length <inline-formula><mml:math id="M153" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula>.</p></list-item><list-item><label> </label>
      <p id="d2e4750">Step 2. Draw <inline-formula><mml:math id="M154" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">ϵ</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mi>N</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:msub><mml:mi>I</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>×</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula> and simulate a new sample from the Langevin diffusion (Eq. 25).</p></list-item><list-item><label> </label>
      <p id="d2e4785">Step 3. Compute the accept-reject probability <inline-formula><mml:math id="M155" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MALA</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> using Eq. (26).</p></list-item><list-item><label> </label>
      <p id="d2e4800">Step 4. Draw <inline-formula><mml:math id="M156" display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula> from a uniform distribution <inline-formula><mml:math id="M157" display="inline"><mml:mrow><mml:mi>u</mml:mi><mml:mspace width="0.125em" linebreak="nobreak"/><mml:mo>∼</mml:mo><mml:mi mathvariant="normal">Uniform</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, if <inline-formula><mml:math id="M158" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MALA</mml:mi></mml:msub><mml:mo>&lt;</mml:mo><mml:mi>u</mml:mi></mml:mrow></mml:math></inline-formula> set <inline-formula><mml:math id="M159" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:math></inline-formula>; otherwise <inline-formula><mml:math id="M160" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mi>t</mml:mi></mml:mfenced></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula></p></list-item><list-item><label> </label>
      <p id="d2e4898">Step 5. Then, repeat this process until the convergence.</p></list-item></list></p>
</sec>
<sec id="Ch1.S3.SS4.SSS3">
  <label>3.4.3</label><title>MALA with locally Lipschitz adaptive step size (Lip-MALA)</title>
      <p id="d2e4909">In the MALA algorithm, it is required to calibrate the step-size <inline-formula><mml:math id="M161" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula>, because <inline-formula><mml:math id="M162" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula> must decrease with dimension, <inline-formula><mml:math id="M163" display="inline"><mml:mi>n</mml:mi></mml:math></inline-formula>. then <inline-formula><mml:math id="M164" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula> can be turned such that the MCMC achieve better mixing performance. An extension of ULA and similar in spirit with Stochastic Gradient Langevin Dynamics algorithm proposed by Welling and Teh (2011) by suppressing the MH acceptance steps. See in (Izzatullah et al., 2021) proposed ULA variant, Lip-MALA, in which the step-length <inline-formula><mml:math id="M165" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula> is adapted according to the Lipschitz condition,

              <disp-formula id="Ch1.E27" content-type="numbered"><label>27</label><mml:math id="M166" display="block"><mml:mrow><mml:msub><mml:mi mathvariant="italic">τ</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mn mathvariant="normal">1</mml:mn><mml:mn mathvariant="normal">2</mml:mn></mml:mfrac></mml:mstyle><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>-</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="normal">|</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow><mml:mrow><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mfenced open="[" close="]"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>-</mml:mo><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mfenced open="[" close="]"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="normal">|</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfrac></mml:mstyle></mml:mrow></mml:math></disp-formula>

            The general steps for Lip-MALA MCMC with locally Lipschitz adaptive step size are: <list list-type="custom"><list-item><label> </label>
      <p id="d2e5067">Step 1. Choose an initial solution <inline-formula><mml:math id="M167" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn mathvariant="normal">0</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mi mathvariant="normal">prior</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, the discretization step-length <inline-formula><mml:math id="M168" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula>, <inline-formula><mml:math id="M169" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">β</mml:mi><mml:mn mathvariant="normal">0</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mo>+</mml:mo><mml:mi mathvariant="normal">∞</mml:mi></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M170" display="inline"><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mi>c</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msubsup><mml:mi>N</mml:mi><mml:mi mathvariant="normal">m</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn><mml:mo>/</mml:mo><mml:mn mathvariant="normal">3</mml:mn></mml:mrow></mml:msubsup></mml:mrow></mml:math></inline-formula></p></list-item><list-item><label> </label>
      <p id="d2e5144">Step 2. Draw <inline-formula><mml:math id="M171" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="bold-italic">ϵ</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mi>N</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:msub><mml:mi>I</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>×</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula> and simulate a new sample from the Langevin diffusion (Eq. 25).</p></list-item><list-item><label> </label>
      <p id="d2e5179">Step 3. Compute the accept-reject probability <inline-formula><mml:math id="M172" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MALA</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> using Eq. (26).</p></list-item><list-item><label> </label>
      <p id="d2e5194">Step 4. Draw <inline-formula><mml:math id="M173" display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula> from a uniform distribution <inline-formula><mml:math id="M174" display="inline"><mml:mrow><mml:mi>u</mml:mi><mml:mspace linebreak="nobreak" width="0.125em"/><mml:mo>∼</mml:mo><mml:mi mathvariant="normal">Uniform</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:mn mathvariant="normal">0</mml:mn><mml:mo>,</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:math></inline-formula>, if <inline-formula><mml:math id="M175" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">α</mml:mi><mml:mi mathvariant="normal">MALA</mml:mi></mml:msub><mml:mo>&lt;</mml:mo><mml:mi>u</mml:mi></mml:mrow></mml:math></inline-formula> set <inline-formula><mml:math id="M176" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mo>∗</mml:mo></mml:msup></mml:mrow></mml:math></inline-formula>, then update,<disp-formula specific-use="gather" content-type="numbered"><mml:math id="M177" display="block"><mml:mtable displaystyle="true"><mml:mlabeledtr id="Ch1.E28"><mml:mtd><mml:mtext>28</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle class="stylechange" displaystyle="true"/><mml:msub><mml:mi mathvariant="italic">τ</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mo movablelimits="false">min⁡</mml:mo><mml:mfenced close="}" open="{"><mml:mtable class="array" columnalign="left"><mml:mtr><mml:mtd><mml:mrow><mml:msqrt><mml:mrow><mml:mn mathvariant="normal">1</mml:mn><mml:mo>+</mml:mo><mml:msub><mml:mi mathvariant="italic">β</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msqrt><mml:msub><mml:mi mathvariant="italic">τ</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>L</mml:mi><mml:mi>c</mml:mi></mml:msub><mml:mstyle displaystyle="false"><mml:mfrac style="text"><mml:mrow><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>-</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="normal">|</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow><mml:mrow><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="normal">|</mml:mi><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mfenced close="]" open="["><mml:mrow><mml:mi>p</mml:mi><mml:mfenced close=")" open="("><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mo>-</mml:mo><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mfenced open="[" close="]"><mml:mrow><mml:mi>p</mml:mi><mml:mfenced open="(" close=")"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup></mml:mrow></mml:mfenced></mml:mrow></mml:mfenced><mml:mi mathvariant="normal">|</mml:mi><mml:msub><mml:mi mathvariant="normal">|</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub></mml:mrow></mml:mfrac></mml:mstyle></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mfenced></mml:mrow></mml:mtd></mml:mlabeledtr><mml:mlabeledtr id="Ch1.E29"><mml:mtd><mml:mtext>29</mml:mtext></mml:mtd><mml:mtd><mml:mrow><mml:mstyle displaystyle="true" class="stylechange"/><mml:msub><mml:mi mathvariant="italic">β</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mstyle displaystyle="true"><mml:mfrac style="display"><mml:mrow><mml:msub><mml:mi mathvariant="italic">τ</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msub><mml:mi mathvariant="italic">τ</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:mfrac></mml:mstyle></mml:mrow></mml:mtd></mml:mlabeledtr></mml:mtable></mml:math></disp-formula></p></list-item><list-item><label> </label>
      <p id="d2e5459">Step 5. Else reject <inline-formula><mml:math id="M178" display="inline"><mml:mrow><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced open="(" close=")"><mml:mrow><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn mathvariant="normal">1</mml:mn></mml:mrow></mml:mfenced></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:msup><mml:mi mathvariant="bold-italic">m</mml:mi><mml:mrow><mml:mfenced close=")" open="("><mml:mi>t</mml:mi></mml:mfenced></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> Then, repeat this process until the convergence.</p></list-item></list> The resulting Lip-MALA algorithm follows the same steps as MALA but dynamically adjusts <inline-formula><mml:math id="M179" display="inline"><mml:mi mathvariant="italic">ϵ</mml:mi></mml:math></inline-formula>, improving stability and sampling efficiency in high dimensions.</p>
</sec>
</sec>
<sec id="Ch1.S3.SS5">
  <label>3.5</label><title>Algorithm Comparison and Tuning Considerations</title>
      <p id="d2e5506">Table 1 summarizes the key characteristics, advantages, and limitations of the four algorithms, supported by theoretical and empirical studies from the literature.</p>

<table-wrap id="T1" specific-use="star"><label>Table 1</label><caption><p id="d2e5512">Comparative analysis of MCMC algorithms for seismic inversion.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="7">
     <oasis:colspec colnum="1" colname="col1" align="justify" colwidth="1.2cm"/>
     <oasis:colspec colnum="2" colname="col2" align="justify" colwidth="2cm"/>
     <oasis:colspec colnum="3" colname="col3" align="justify" colwidth="1.2cm"/>
     <oasis:colspec colnum="4" colname="col4" align="justify" colwidth="2.5cm"/>
     <oasis:colspec colnum="5" colname="col5" align="justify" colwidth="1.7cm"/>
     <oasis:colspec colnum="6" colname="col6" align="justify" colwidth="2.5cm"/>
     <oasis:colspec colnum="7" colname="col7" align="justify" colwidth="3.5cm"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1" align="left">Algorithm</oasis:entry>
         <oasis:entry colname="col2" align="left">Key Mechanism</oasis:entry>
         <oasis:entry colname="col3" align="left">Gradient Required</oasis:entry>
         <oasis:entry colname="col4" align="left">Optimal Acceptance Rate</oasis:entry>
         <oasis:entry colname="col5" align="left">Tuning Parameters</oasis:entry>
         <oasis:entry colname="col6" align="left">Computational Cost per Iteration</oasis:entry>
         <oasis:entry colname="col7" align="left">Best Suited For</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1" align="left">MH</oasis:entry>
         <oasis:entry colname="col2" align="left">Random walk proposal</oasis:entry>
         <oasis:entry colname="col3" align="left">No</oasis:entry>
         <oasis:entry colname="col4" align="left"><inline-formula><mml:math id="M180" display="inline"><mml:mo>∼</mml:mo></mml:math></inline-formula> 23.4 % (Roberts et al., 1997)</oasis:entry>
         <oasis:entry colname="col5" align="left">Step size <inline-formula><mml:math id="M181" display="inline"><mml:mi mathvariant="italic">σ</mml:mi></mml:math></inline-formula></oasis:entry>
         <oasis:entry colname="col6" align="left">Low (<inline-formula><mml:math id="M182" display="inline"><mml:mi>O</mml:mi></mml:math></inline-formula>(<inline-formula><mml:math id="M183" display="inline"><mml:mi>N</mml:mi></mml:math></inline-formula>))</oasis:entry>
         <oasis:entry colname="col7" align="left">Low-dimensional problems, rapid screening</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1" align="left">HMC</oasis:entry>
         <oasis:entry colname="col2" align="left">Hamiltonian dynamics</oasis:entry>
         <oasis:entry colname="col3" align="left">Yes</oasis:entry>
         <oasis:entry colname="col4" align="left"><inline-formula><mml:math id="M184" display="inline"><mml:mo>∼</mml:mo></mml:math></inline-formula> 65 %–80 % (Beskos et al., 2013)</oasis:entry>
         <oasis:entry colname="col5" align="left">Step size <inline-formula><mml:math id="M185" display="inline"><mml:mi mathvariant="italic">ε</mml:mi></mml:math></inline-formula>, steps <inline-formula><mml:math id="M186" display="inline"><mml:mi>L</mml:mi></mml:math></inline-formula></oasis:entry>
         <oasis:entry colname="col6" align="left">High (<inline-formula><mml:math id="M187" display="inline"><mml:mi>O</mml:mi></mml:math></inline-formula>(<inline-formula><mml:math id="M188" display="inline"><mml:mi>L</mml:mi></mml:math></inline-formula> <inline-formula><mml:math id="M189" display="inline"><mml:mo>⋅</mml:mo></mml:math></inline-formula> <inline-formula><mml:math id="M190" display="inline"><mml:mi>N</mml:mi></mml:math></inline-formula>) <inline-formula><mml:math id="M191" display="inline"><mml:mo>+</mml:mo></mml:math></inline-formula> gradient)</oasis:entry>
         <oasis:entry colname="col7" align="left">High-dimensional smooth posteriors</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1" align="left">MALA</oasis:entry>
         <oasis:entry colname="col2" align="left">Langevin diffusion</oasis:entry>
         <oasis:entry colname="col3" align="left">Yes</oasis:entry>
         <oasis:entry colname="col4" align="left"><inline-formula><mml:math id="M192" display="inline"><mml:mo>∼</mml:mo></mml:math></inline-formula> 57.4 % (Roberts and Rosenthal, 1998)</oasis:entry>
         <oasis:entry colname="col5" align="left">Step size <inline-formula><mml:math id="M193" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula></oasis:entry>
         <oasis:entry colname="col6" align="left">Moderate (<inline-formula><mml:math id="M194" display="inline"><mml:mi>O</mml:mi></mml:math></inline-formula>(<inline-formula><mml:math id="M195" display="inline"><mml:mi>N</mml:mi></mml:math></inline-formula>) <inline-formula><mml:math id="M196" display="inline"><mml:mo>+</mml:mo></mml:math></inline-formula> gradient)</oasis:entry>
         <oasis:entry colname="col7" align="left">Moderately high dimensions with gradients</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1" align="left">Lip-MALA</oasis:entry>
         <oasis:entry colname="col2" align="left">Adaptive Langevin</oasis:entry>
         <oasis:entry colname="col3" align="left">Yes</oasis:entry>
         <oasis:entry colname="col4" align="left"><inline-formula><mml:math id="M197" display="inline"><mml:mo>∼</mml:mo></mml:math></inline-formula> 50 %–70 % (Izzatullah et al., 2021)</oasis:entry>
         <oasis:entry colname="col5" align="left">Initial <inline-formula><mml:math id="M198" display="inline"><mml:mi mathvariant="italic">τ</mml:mi></mml:math></inline-formula>, Lipschitz constant</oasis:entry>
         <oasis:entry colname="col6" align="left">Moderate-High (<inline-formula><mml:math id="M199" display="inline"><mml:mi>O</mml:mi></mml:math></inline-formula>(<inline-formula><mml:math id="M200" display="inline"><mml:mi>N</mml:mi></mml:math></inline-formula>) <inline-formula><mml:math id="M201" display="inline"><mml:mo>+</mml:mo></mml:math></inline-formula> gradient <inline-formula><mml:math id="M202" display="inline"><mml:mo>+</mml:mo></mml:math></inline-formula> adaptation)</oasis:entry>
         <oasis:entry colname="col7" align="left">High-dimensional, heterogeneous posteriors</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

<sec id="Ch1.S3.SS5.SSS1">
  <label>3.5.1</label><title>Practical Implementation Notes</title>
      <p id="d2e5827">For our seismic inversion experiments, all algorithms were implemented with the following considerations: <list list-type="order"><list-item>
      <p id="d2e5832">Gradient Computation: The gradient <inline-formula><mml:math id="M203" display="inline"><mml:mrow><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>log⁡</mml:mi><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:mi>m</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mi mathvariant="normal">∇</mml:mi><mml:mi>S</mml:mi><mml:mo>(</mml:mo><mml:mi>m</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula> was computed analytically, ensuring computational efficiency.</p></list-item><list-item>
      <p id="d2e5869">Step Size Tuning: Each algorithm's step size parameter was tuned during a preliminary burn-in phase to achieve target acceptance rates.</p></list-item><list-item>
      <p id="d2e5873">Convergence Diagnostics: We employed diagnostics using Effective Sample Size (ESS) and multivariate ESS (Vats et al., 2019)</p></list-item><list-item>
      <p id="d2e5877">Computational Resources: All experiments were conducted on a workstation with Intel Core i9-10900K, 64GB RAM, without GPU acceleration. Execution times were measured as wall-clock time for fair comparison.</p></list-item></list> The following sections present application of these algorithms to synthetic and real seismic data, evaluating their performance in terms of accuracy, uncertainty quantification, and computational efficiency.</p>
</sec>
</sec>
</sec>
<sec id="Ch1.S4">
  <label>4</label><title>Results</title>
<sec id="Ch1.S4.SS1">
  <label>4.1</label><title>Synthetic test</title>
      <p id="d2e5898">We test our algorithms using noise-free synthetic seismic traces that were obtained from real data of <inline-formula><mml:math id="M204" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M205" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M206" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> for which synthetic seismic traces were generated from the Eq. (28) for the angles <inline-formula><mml:math id="M207" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mn mathvariant="normal">9</mml:mn></mml:mrow></mml:math></inline-formula>°, <inline-formula><mml:math id="M208" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mn mathvariant="normal">18.5</mml:mn></mml:mrow></mml:math></inline-formula>° and <inline-formula><mml:math id="M209" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mn mathvariant="normal">27.5</mml:mn></mml:mrow></mml:math></inline-formula>° and these synthetic seismic traces will be our observed data. We ran the sampling algorithms described in Sect. 3, producing a large chain of realizations, starting from a prior model configuration corresponding to a low frequency model of <inline-formula><mml:math id="M210" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M211" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M212" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>.</p>
      <p id="d2e6005">Figure 3 shows the objective function variation curves for the different sampling algorithms. Each iteration involves randomly perturbing the velocities and density of a subset of layers and recalculation of seismic traces. The vertical axis represents the objective function calculated using Eq. (5). The horizontal axis shows the number of steps in the Markov chain, each associated with an accepted or rejected perturbation of the velocity and density configuration. The first stage of the chain, associated with the initial configuration and large residues, is called the burn-in or warm-up stage. After subtracting the residuals, the model realizations of velocities and densities satisfactorily explain the seismic data within the data errors. This is called the sampling phase. Realizations produced during the sampling phase are treated as samples from the probability density.</p>

      <fig id="F3"><label>Figure 3</label><caption><p id="d2e6010">Progress with iterations in the MH (blue line), HMC (red line), MALA (green line) and Lip-MALA (black line) sampling algorithms for synthetic test.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f03.png"/>

        </fig>

      <p id="d2e6020">The model settings were modified during the sampling phase, but remain within the probability function, as shown in Fig. 4. Figure 5 shows all realizations taken (gray area) in the chain sampling phase for the different algorithms tested in this work, all adjusting the observed seismic data and within the uncertainties of the data. These realizations indicate the features and variability of the velocities and density. Table 2 shows the statistical parameters of mean and standard deviation (SD) which we will compare then with the data obtained from the inference in the different algorithms used.</p>

      <fig id="F4" specific-use="star"><label>Figure 4</label><caption><p id="d2e6025">True data (black line), prior model (blue line), and accepted realizations of the model (gray) for the synthetic test where <bold>(a)</bold> MH, <bold>(b)</bold> HMC, <bold>(c)</bold> MALA, and <bold>(d)</bold> Lip-MALA.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f04.png"/>

        </fig>

      <fig id="F5" specific-use="star"><label>Figure 5</label><caption><p id="d2e6048">Observed seismic data (black line) and seismic traces obtained from the accepted model realizations (gray) for the synthetic test where <bold>(a)</bold> MH, <bold>(b)</bold> HMC, <bold>(c)</bold> MALA, and <bold>(d)</bold> Lip-MALA.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f05.png"/>

        </fig>

<table-wrap id="T2"><label>Table 2</label><caption><p id="d2e6072">Mean and Standard deviation of elastic parameters used in the synthetic test.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="3">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1">Parameter</oasis:entry>
         <oasis:entry colname="col2">Mean</oasis:entry>
         <oasis:entry colname="col3">SD</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M213" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">3068.21</oasis:entry>
         <oasis:entry colname="col3">278.29</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M215" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1553.81</oasis:entry>
         <oasis:entry colname="col3">240.60</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M217" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2263.57</oasis:entry>
         <oasis:entry colname="col3">54.68</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

      <p id="d2e6203">Our chain sampling phase yielded 10 000 realizations. From these realizations, we calculated the expected values and marginal probabilities of P-wave and S-wave velocities and density as a function of two-way reflection time. These calculations were based on averaging the model performances over the sampling phase. Figure 6 presents the marginal cumulative probability distributions for P and S wave velocities and density, as estimated by the inversion, along with the actual P and S wave velocities and density of the synthetic test. The figure demonstrates the successful prediction of the actual values for all tested algorithms, accurately identifying the main stratification characterized by high and low velocities and the corresponding high and low density.</p>

      <fig id="F6" specific-use="star"><label>Figure 6</label><caption><p id="d2e6208">Marginal cumulative probability distributions (color map), true data (black line) and seismic inversion model result (red line) for the synthetic test where <bold>(a)</bold> MH, <bold>(b)</bold> HMC, <bold>(c)</bold> MALA, and <bold>(d)</bold> Lip-MALA.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f06.png"/>

        </fig>

      <p id="d2e6229">Table 3 summarizes the performance of the different algorithms tested in predicting P-wave and S-wave velocities and density. The mean, Standard Deviation (SD), correlation, and Root Mean Squared Error (RMSE) are presented for each parameter.</p>

<table-wrap id="T3"><label>Table 3</label><caption><p id="d2e6235">Statistical parameters for the results obtained for algorithms tested for the synthetic test.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="5">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:colspec colnum="4" colname="col4" align="right"/>
     <oasis:colspec colnum="5" colname="col5" align="right"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1">Parameter</oasis:entry>
         <oasis:entry colname="col2">Mean</oasis:entry>
         <oasis:entry colname="col3">SD</oasis:entry>
         <oasis:entry colname="col4">Corr</oasis:entry>
         <oasis:entry colname="col5">RMSE</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">MH </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M219" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">3058.90</oasis:entry>
         <oasis:entry colname="col3">394.79</oasis:entry>
         <oasis:entry colname="col4">0.64</oasis:entry>
         <oasis:entry colname="col5">302.96</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M221" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1577.99</oasis:entry>
         <oasis:entry colname="col3">359.38</oasis:entry>
         <oasis:entry colname="col4">0.64</oasis:entry>
         <oasis:entry colname="col5">277.26</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"><inline-formula><mml:math id="M223" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2278.00</oasis:entry>
         <oasis:entry colname="col3">112.32</oasis:entry>
         <oasis:entry colname="col4">0.29</oasis:entry>
         <oasis:entry colname="col5">110.39</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">HMC </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M225" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">3075.62</oasis:entry>
         <oasis:entry colname="col3">312.57</oasis:entry>
         <oasis:entry colname="col4">0.90</oasis:entry>
         <oasis:entry colname="col5">135.23</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M227" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1566.98</oasis:entry>
         <oasis:entry colname="col3">271.01</oasis:entry>
         <oasis:entry colname="col4">0.90</oasis:entry>
         <oasis:entry colname="col5">118.15</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"><inline-formula><mml:math id="M229" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2256.42</oasis:entry>
         <oasis:entry colname="col3">61.61</oasis:entry>
         <oasis:entry colname="col4">0.16</oasis:entry>
         <oasis:entry colname="col5">75.75</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">MALA </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M231" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">3051.93</oasis:entry>
         <oasis:entry colname="col3">326.28</oasis:entry>
         <oasis:entry colname="col4">0.85</oasis:entry>
         <oasis:entry colname="col5">174.52</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M233" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1544.13</oasis:entry>
         <oasis:entry colname="col3">277.40</oasis:entry>
         <oasis:entry colname="col4">0.80</oasis:entry>
         <oasis:entry colname="col5">165.30</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"><inline-formula><mml:math id="M235" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2262.27</oasis:entry>
         <oasis:entry colname="col3">29.39</oasis:entry>
         <oasis:entry colname="col4">0.68</oasis:entry>
         <oasis:entry colname="col5">40.64</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">Lip-MALA </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M237" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">3062.09</oasis:entry>
         <oasis:entry colname="col3">265.42</oasis:entry>
         <oasis:entry colname="col4">0.91</oasis:entry>
         <oasis:entry colname="col5">112.94</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M239" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1552.04</oasis:entry>
         <oasis:entry colname="col3">217.04</oasis:entry>
         <oasis:entry colname="col4">0.89</oasis:entry>
         <oasis:entry colname="col5">110.60</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M241" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2266.78</oasis:entry>
         <oasis:entry colname="col3">59.00</oasis:entry>
         <oasis:entry colname="col4">0.60</oasis:entry>
         <oasis:entry colname="col5">51.04</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

      <p id="d2e6768">The mean and standard deviation values indicate that the predicted values are closely aligned with the true values. Regarding correlation, MH exhibits the lowest correlation for velocity prediction, while HMC achieves the highest. For density prediction, MH and HMC show correlations below 0.29, while MALA and Lip-MALA achieve correlations above 0.60.</p>
      <p id="d2e6772">In terms of RMSE, MH demonstrates the highest error for velocity prediction, while HMC achieves the lowest. For density prediction, MH and HMC exhibit errors above 75.75, while MALA and Lip-MALA maintain errors below 51.04.</p>
      <p id="d2e6775">Table 4 presents various performance parameters, including acceptance rate and total execution time. Lip-MALA exhibits the highest acceptance rate, while HMC exhibits the lowest. Conversely, MH boasts the lowest total execution time, while HMC demonstrates the highest.</p>

<table-wrap id="T4"><label>Table 4</label><caption><p id="d2e6781">Other parameters for synthetic test.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="3">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:thead>
       <oasis:row>
         <oasis:entry colname="col1">Method</oasis:entry>
         <oasis:entry colname="col2">Acceptance</oasis:entry>
         <oasis:entry colname="col3">Total execution</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"/>
         <oasis:entry colname="col2">rate (%)</oasis:entry>
         <oasis:entry colname="col3">time (s)</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row>
         <oasis:entry colname="col1">MH</oasis:entry>
         <oasis:entry colname="col2">36.50</oasis:entry>
         <oasis:entry colname="col3">24.12</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">HMC</oasis:entry>
         <oasis:entry colname="col2">17.53</oasis:entry>
         <oasis:entry colname="col3">9356.99</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">MALA</oasis:entry>
         <oasis:entry colname="col2">25.28</oasis:entry>
         <oasis:entry colname="col3">694.54</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">Lip-MALA</oasis:entry>
         <oasis:entry colname="col2">38.49</oasis:entry>
         <oasis:entry colname="col3">3337.02</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

      <p id="d2e6872">Finally, the convergence of the samples was analyzed a posteriori of the unknown parameters (seismic data parameters) m obtained from the different algorithms used. The multivariate effective sample size (mESS) statistic was used. The mESS is a measure that determines the size of an independent and identically distributed sample with the same covariance structure as the sample obtained from an MCMC method for the multivariate case- If we want to know if the chain converges by we can calculate minimum effective sample size (minESS) so that if mESS <inline-formula><mml:math id="M243" display="inline"><mml:mo>&gt;</mml:mo></mml:math></inline-formula> minESS we say that the chain converges, if the reader is recommended to review Vats et al. (2019) to delve deeper into the convergence test used in this work. Table 5 shows the summary of mESS and minESS obtained for each method.</p>

<table-wrap id="T5"><label>Table 5</label><caption><p id="d2e6885">Convergence test for synthetic data.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="3">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1">Method</oasis:entry>
         <oasis:entry colname="col2">mESS</oasis:entry>
         <oasis:entry colname="col3">minESS</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row>
         <oasis:entry colname="col1">MH</oasis:entry>
         <oasis:entry colname="col2">8150.89</oasis:entry>
         <oasis:entry colname="col3">7458</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">HMC</oasis:entry>
         <oasis:entry colname="col2">8561.10</oasis:entry>
         <oasis:entry colname="col3">7458</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">MALA</oasis:entry>
         <oasis:entry colname="col2">7472.03</oasis:entry>
         <oasis:entry colname="col3">7458</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">Lip-MALA</oasis:entry>
         <oasis:entry colname="col2">8119.88</oasis:entry>
         <oasis:entry colname="col3">7458</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

</sec>
<sec id="Ch1.S4.SS2">
  <label>4.2</label><title>Application to real data</title>
      <p id="d2e6973">To demonstrate the effectiveness of the algorithms, we applied them to a real dataset of an oil field in eastern Venezuela. The site is located in a formation dominated by clastic rocks, a type of sedimentary rock characterized by alternating layers of sand and shale. The fluids in the pore spaces of these rocks are brine water and oil, without gas. As a preliminary step, we upscaled the P-wave and S-wave velocities obtained from well log data to the corresponding seismic scale using a bandpass filter. This process ensures that the velocity data is consistent with the frequency range of seismic waves. Table 6 presents the descriptive statistics, including mean and standard deviation (SD), for the real data. These values will serve as a baseline for comparison with the results obtained from the inference procedures employed by the various algorithms under consideration.</p>

<table-wrap id="T6"><label>Table 6</label><caption><p id="d2e6979">Mean and Standard deviation of elastic parameters used for real data.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="3">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1">Parameter</oasis:entry>
         <oasis:entry colname="col2">Mean</oasis:entry>
         <oasis:entry colname="col3">SD</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M244" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">2642.92</oasis:entry>
         <oasis:entry colname="col3">249.40</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M246" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1289.86</oasis:entry>
         <oasis:entry colname="col3">205.84</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M248" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2180.06</oasis:entry>
         <oasis:entry colname="col3">111.89</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

      <p id="d2e7109">The seismic traces were obtained from partial stacks for the angles <inline-formula><mml:math id="M250" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">1</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mn mathvariant="normal">19</mml:mn></mml:mrow></mml:math></inline-formula>°, <inline-formula><mml:math id="M251" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">2</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mn mathvariant="normal">24</mml:mn></mml:mrow></mml:math></inline-formula>°, and <inline-formula><mml:math id="M252" display="inline"><mml:mrow><mml:msub><mml:mi mathvariant="italic">θ</mml:mi><mml:mn mathvariant="normal">3</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mn mathvariant="normal">29</mml:mn></mml:mrow></mml:math></inline-formula>°. Utilizing <inline-formula><mml:math id="M253" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M254" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M255" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> logs in seismic scale and wavelets were extracted from the partial stacked seismic data using the frequency content of the data, the synthetic trace was generated using Eq. (13). The synthetic trace obtained was correlated with observed traces for seismic well tie (see Fig. 7) obtaining a correlation value of 0.55. The sampling algorithms described in Sect. 3 were implemented, generating a large chain of realizations starting from a prior model configuration corresponding to a low-frequency model of <inline-formula><mml:math id="M256" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M257" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M258" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>.</p>

      <fig id="F7"><label>Figure 7</label><caption><p id="d2e7219">Seismic well tie for real data used.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f07.png"/>

        </fig>

      <p id="d2e7228">As depicted in Fig. 8, the objective function variation curves for each sampling algorithm are presented. During each iteration, a subset of layers undergoes a random perturbation of their velocities and density, followed by a recalculation of the seismic trace. The objective function, calculated using Eq. (5), is represented on the vertical axis, while the horizontal axis represents the number of steps in the Markov chain. Each step corresponds to an accepted or rejected perturbation of the velocities and density configuration.</p>

      <fig id="F8"><label>Figure 8</label><caption><p id="d2e7233">Progress with iterations in the MH (blue line), HMC (red line), MALA (green line) and Lip-MALA (black line) sampling algorithms for real data.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f08.png"/>

        </fig>

      <p id="d2e7242">The model settings were adjusted during the sampling phase, ensuring they remained within the probability function (Fig. 9). Figure 10 illustrates all realizations sampled (gray area) in the chain sampling phase for the various algorithms tested in this study, all of which align with the observed seismic data and fall within the data's uncertainty bounds. These realizations highlight the characteristics and variability of the velocities and density.</p>

      <fig id="F9" specific-use="star"><label>Figure 9</label><caption><p id="d2e7247">True data (black line), prior model (blue line), and accepted realizations of the model (gray) for real data where <bold>(a)</bold> MH, <bold>(b)</bold> HMC, <bold>(c)</bold> MALA, and <bold>(d)</bold> Lip-MALA.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f09.png"/>

        </fig>

      <fig id="F10" specific-use="star"><label>Figure 10</label><caption><p id="d2e7271">Observed seismic data (black line) and seismic traces obtained from the accepted model realizations (gray) for real data where <bold>(a)</bold> MH, <bold>(b)</bold> HMC, <bold>(c)</bold> MALA, and <bold>(d)</bold> Lip-MALA.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f10.png"/>

        </fig>

      <p id="d2e7292">Employing a chain sampling scheme, we generated 9000 realizations from which we extracted the expected values and marginal probabilities of P-wave and S-wave velocities and density, all as functions of two-way reflection time. These calculations were derived by averaging the model performances across the sampling phase. Figure 11 depicts the marginal cumulative probability distributions for P and S wave velocities and density, as inferred from the inversion process, alongside the actual P and S wave velocities and density of the synthetic test.</p>

      <fig id="F11" specific-use="star"><label>Figure 11</label><caption><p id="d2e7297">Marginal cumulative probability distributions (color map), true data (black line) and seismic inversion model result (red line) for real data where <bold>(a)</bold> MH, <bold>(b)</bold> HMC, <bold>(c)</bold> MALA, and <bold>(d)</bold> Lip-MALA.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f11.jpg"/>

        </fig>

      <p id="d2e7318">Table 7 summarizes the performance of the tested algorithms in predicting P-wave and S-wave velocities and density. The mean, Standard Deviation (SD), correlation, and Root Mean Squared Error (RMSE) are presented for each parameter. The predicted values closely align with the true values as evidenced by the mean and standard deviation values. MH exhibits the lowest correlation for velocity prediction, while Lip-MALA achieves the highest. For density prediction, MH and HMC show correlations below 0.28, while MALA and Lip-MALA achieve correlations above 0.48. MH demonstrates the highest error for velocity prediction, while Lip-MALA achieves the lowest. For density prediction, MH and HMC exhibit errors above 151.41, while MALA and Lip-MALA maintain errors below 122.22.</p>

<table-wrap id="T7"><label>Table 7</label><caption><p id="d2e7324">Statistical parameters for the results obtained for algorithms tested for real data.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="5">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:colspec colnum="4" colname="col4" align="right"/>
     <oasis:colspec colnum="5" colname="col5" align="right"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1">Parameter</oasis:entry>
         <oasis:entry colname="col2">Mean</oasis:entry>
         <oasis:entry colname="col3">SD</oasis:entry>
         <oasis:entry colname="col4">Corr</oasis:entry>
         <oasis:entry colname="col5">RMSE</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">MH </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M259" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">2634.66</oasis:entry>
         <oasis:entry colname="col3">255.65</oasis:entry>
         <oasis:entry colname="col4">0.64</oasis:entry>
         <oasis:entry colname="col5">215.01</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M261" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1327.43</oasis:entry>
         <oasis:entry colname="col3">241.58</oasis:entry>
         <oasis:entry colname="col4">0.51</oasis:entry>
         <oasis:entry colname="col5">224.74</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"><inline-formula><mml:math id="M263" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2197.22</oasis:entry>
         <oasis:entry colname="col3">170.73</oasis:entry>
         <oasis:entry colname="col4">0.35</oasis:entry>
         <oasis:entry colname="col5">168.44</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">HMC </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M265" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">2640.91</oasis:entry>
         <oasis:entry colname="col3">199.32</oasis:entry>
         <oasis:entry colname="col4">0.69</oasis:entry>
         <oasis:entry colname="col5">182.23</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M267" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1307.19</oasis:entry>
         <oasis:entry colname="col3">218.66</oasis:entry>
         <oasis:entry colname="col4">0.52</oasis:entry>
         <oasis:entry colname="col5">207.86</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"><inline-formula><mml:math id="M269" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2186.65</oasis:entry>
         <oasis:entry colname="col3">138.72</oasis:entry>
         <oasis:entry colname="col4">0.28</oasis:entry>
         <oasis:entry colname="col5">151.41</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">MALA </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M271" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">2634.50</oasis:entry>
         <oasis:entry colname="col3">217.55</oasis:entry>
         <oasis:entry colname="col4">0.65</oasis:entry>
         <oasis:entry colname="col5">196.22</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M273" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1283.90</oasis:entry>
         <oasis:entry colname="col3">202.36</oasis:entry>
         <oasis:entry colname="col4">0.55</oasis:entry>
         <oasis:entry colname="col5">193.84</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"><inline-formula><mml:math id="M275" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2177.61</oasis:entry>
         <oasis:entry colname="col3">72.40</oasis:entry>
         <oasis:entry colname="col4">0.65</oasis:entry>
         <oasis:entry colname="col5">84.42</oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry namest="col1" nameend="col5">Lip-MALA </oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M277" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">2642.07</oasis:entry>
         <oasis:entry colname="col3">223.19</oasis:entry>
         <oasis:entry colname="col4">0.79</oasis:entry>
         <oasis:entry colname="col5">155.40</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M279" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> (m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col2">1295.25</oasis:entry>
         <oasis:entry colname="col3">175.54</oasis:entry>
         <oasis:entry colname="col4">0.75</oasis:entry>
         <oasis:entry colname="col5">138.46</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1"><inline-formula><mml:math id="M281" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> (kg m<sup>−3</sup>)</oasis:entry>
         <oasis:entry colname="col2">2194.84</oasis:entry>
         <oasis:entry colname="col3">125.50</oasis:entry>
         <oasis:entry colname="col4">0.48</oasis:entry>
         <oasis:entry colname="col5">122.22</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

      <p id="d2e7858">Table 8 presents various performance parameters, including acceptance rate and total execution time. Lip-MALA exhibits the highest acceptance rate, while HMC exhibits the lowest. Conversely, MH boasts the lowest total execution time, while HMC demonstrates the highest.</p>

<table-wrap id="T8"><label>Table 8</label><caption><p id="d2e7864">Other parameters for real data.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="3">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1">Method</oasis:entry>
         <oasis:entry colname="col2">Acceptance rate (%)</oasis:entry>
         <oasis:entry colname="col3">Total execution time (s)</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row>
         <oasis:entry colname="col1">MH</oasis:entry>
         <oasis:entry colname="col2">32.66</oasis:entry>
         <oasis:entry colname="col3">15.48</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">HMC</oasis:entry>
         <oasis:entry colname="col2">3.94</oasis:entry>
         <oasis:entry colname="col3">3970.74</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">MALA</oasis:entry>
         <oasis:entry colname="col2">7.38</oasis:entry>
         <oasis:entry colname="col3">292.83</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">Lip-MALA</oasis:entry>
         <oasis:entry colname="col2">37.89</oasis:entry>
         <oasis:entry colname="col3">1215.87</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

      <p id="d2e7944">And a final step, as in the synthetic data, was to test the convergence of the chains, this study employed a posteriori analysis to assess the convergence of samples obtained for the unknown seismic data parameters (denoted by m) using various algorithms. The multivariate effective sample size (mESS) statistic served as the convergence metric. The mESS quantifies the equivalent size of an independent and identically distributed (iid) sample possessing the same covariance structure as the sample generated by a Markov Chain Monte Carlo (MCMC) method in the multivariate case.</p>
      <p id="d2e7947">To formally determine chain convergence, a minimum effective sample size (minESS) threshold can be established. If the mESS value surpasses the minESS threshold, convergence is achieved. For a more in-depth exploration of the convergence test employed in this work, readers are referred to Vats et al. (2019). Table 9 summarizes the mESS and minESS values obtained for each method.</p>

<table-wrap id="T9"><label>Table 9</label><caption><p id="d2e7953">Convergence test for real data.</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="3">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:thead>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1">Method</oasis:entry>
         <oasis:entry colname="col2">mESS</oasis:entry>
         <oasis:entry colname="col3">minESS</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row>
         <oasis:entry colname="col1">MH</oasis:entry>
         <oasis:entry colname="col2">7936.83</oasis:entry>
         <oasis:entry colname="col3">7555</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">HMC</oasis:entry>
         <oasis:entry colname="col2">10 405.54</oasis:entry>
         <oasis:entry colname="col3">7555</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">MALA</oasis:entry>
         <oasis:entry colname="col2">10 146.90</oasis:entry>
         <oasis:entry colname="col3">7555</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">Lip-MALA</oasis:entry>
         <oasis:entry colname="col2">7979.45</oasis:entry>
         <oasis:entry colname="col3">7555</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

<table-wrap id="T10"><label>Table 10</label><caption><p id="d2e8037">Posterior standard deviations (2D real data).</p></caption><oasis:table frame="topbot"><oasis:tgroup cols="4">
     <oasis:colspec colnum="1" colname="col1" align="left"/>
     <oasis:colspec colnum="2" colname="col2" align="right"/>
     <oasis:colspec colnum="3" colname="col3" align="right"/>
     <oasis:colspec colnum="4" colname="col4" align="right"/>
     <oasis:thead>
       <oasis:row>
         <oasis:entry colname="col1">Method</oasis:entry>
         <oasis:entry colname="col2">SD <inline-formula><mml:math id="M283" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula></oasis:entry>
         <oasis:entry colname="col3">SD <inline-formula><mml:math id="M284" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula></oasis:entry>
         <oasis:entry colname="col4">SD <inline-formula><mml:math id="M285" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula></oasis:entry>
       </oasis:row>
       <oasis:row rowsep="1">
         <oasis:entry colname="col1"/>
         <oasis:entry colname="col2">(m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col3">(m s<sup>−1</sup>)</oasis:entry>
         <oasis:entry colname="col4">(kg m<sup>−3</sup>)</oasis:entry>
       </oasis:row>
     </oasis:thead>
     <oasis:tbody>
       <oasis:row>
         <oasis:entry colname="col1">MH</oasis:entry>
         <oasis:entry colname="col2">253.31</oasis:entry>
         <oasis:entry colname="col3">234.06</oasis:entry>
         <oasis:entry colname="col4">162.53</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">HMC</oasis:entry>
         <oasis:entry colname="col2">170.86</oasis:entry>
         <oasis:entry colname="col3">145.72</oasis:entry>
         <oasis:entry colname="col4">95.51</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">MALA</oasis:entry>
         <oasis:entry colname="col2">243.09</oasis:entry>
         <oasis:entry colname="col3">231.35</oasis:entry>
         <oasis:entry colname="col4">109.96</oasis:entry>
       </oasis:row>
       <oasis:row>
         <oasis:entry colname="col1">Lip-MALA</oasis:entry>
         <oasis:entry colname="col2">195.97</oasis:entry>
         <oasis:entry colname="col3">159.14</oasis:entry>
         <oasis:entry colname="col4">124.74</oasis:entry>
       </oasis:row>
     </oasis:tbody>
   </oasis:tgroup></oasis:table></table-wrap>

</sec>
<sec id="Ch1.S4.SS3">
  <label>4.3</label><title>Two-dimensional test with real data</title>
      <p id="d2e8219">In line with the main objective of this study, which is to comparatively evaluate the performance of different MCMC algorithms applied to prestack seismic inversion in geological contexts of varying complexity, this section includes an additional test using real data in a two-dimensional setting. This extension allows us to validate the scalability and robustness of the methods beyond idealized one-dimensional cases, providing evidence of their practical applicability in environments with greater structural and lithological heterogeneity, typical of exploration in real reservoirs.</p>
      <p id="d2e8222">The study area corresponds to a sector of the Eastern Basin of Venezuela, characterized by clastic lithology with alternating sandstones and shales. The seismic data used was acquired using conventional reflection techniques and subsequently reprocessed to generate prestack gathers organized by incidence angle. Three partial stacks were selected, corresponding to central angles of approximately 19, 24, and 29°, and used in the inverse process.</p>
      <p id="d2e8225">The two-dimensional inversion grid was designed with a vertical resolution of 351 samples, corresponding to the two-way time axis from 850 to 1550 ms, and a horizontal extent of 136 cells from 0 to 340 m. Three fundamental elastic parameters were considered: <inline-formula><mml:math id="M289" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M290" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M291" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>. The prior model was built by integrating the structural interpretation of horizons and faults obtained from seismic data, together with low-frequency interpolation of the elastic properties <inline-formula><mml:math id="M292" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M293" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M294" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>. derived from the well logs available in the study area. This approach allowed the establishment of a consistent geological model that served as an initial reference for the Bayesian inversion process.</p>
      <p id="d2e8287">The four MCMC sampling algorithms analyzed were applied in 1D: MH, HMC, MALA, and Lip-MALA. The resulting realizations were used to calculate the posterior marginal distributions for each parameter, as well as their summary statistics (mean and standard deviation, Table 10).</p>
      <p id="d2e8291">Quantitative analysis of the Figs. 12 to 15 reveals important differences between the algorithms. The HMC method presents the lowest standard deviations for all three parameters, indicating greater accuracy and lower uncertainty in the estimation, although at the cost of higher computational costs. MALA and Lip-MALA also offer robust results, with Lip-MALA demonstrating a better compromise between accuracy and computational efficiency, especially in density estimation. In contrast, the MH algorithm shows the greatest uncertainties, confirming its limitations in contexts of higher dimensionality and complexity.</p>

      <fig id="F12" specific-use="star"><label>Figure 12</label><caption><p id="d2e8296">Inverted models of <inline-formula><mml:math id="M295" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M296" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M297" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> obtained using the MH algorithm.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f12.jpg"/>

        </fig>

      <fig id="F13" specific-use="star"><label>Figure 13</label><caption><p id="d2e8336">Inverted models of <inline-formula><mml:math id="M298" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M299" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M300" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> obtained using the HMC algorithm.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f13.jpg"/>

        </fig>

      <fig id="F14" specific-use="star"><label>Figure 14</label><caption><p id="d2e8376">Inverted models of <inline-formula><mml:math id="M301" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M302" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M303" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> obtained using the MALA algorithm.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f14.jpg"/>

        </fig>

      <fig id="F15" specific-use="star"><label>Figure 15</label><caption><p id="d2e8417">Inverted models of <inline-formula><mml:math id="M304" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>, <inline-formula><mml:math id="M305" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M306" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula> obtained using the Lip-MALA algorithm.</p></caption>
          <graphic xlink:href="https://npg.copernicus.org/articles/33/173/2026/npg-33-173-2026-f15.jpg"/>

        </fig>

      <p id="d2e8455">From an applied perspective, these results are relevant for choosing the most appropriate method in exploratory contexts. In situations where high accuracy is required and sufficient computational resources are available, HMC may be the preferred option. On the other hand, in scenarios where computational time is a constraint, methods such as Lip-MALA offer an efficient and stable alternative. Density (<inline-formula><mml:math id="M307" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>) remains the most challenging parameter to accurately recover, especially for MH and HMC, which is consistent with the results obtained in the one-dimensional case.</p>
      <p id="d2e8465">Finally, the incorporation of this two-dimensional test with real data demonstrates the practical applicability of the evaluated algorithms, not only under controlled conditions but also in situations representative of real-world geology. Furthermore, it reinforces the validity of the study's overall conclusions by confirming that gradient-based algorithms are more appropriate for complex inverse scenarios, and that algorithm selection must consider both the level of uncertainty and computational cost.</p>
</sec>
</sec>
<sec id="Ch1.S5">
  <label>5</label><title>Discussion</title>
      <p id="d2e8479">This study presents a comparative analysis of Markov Chain Monte Carlo (MCMC) methods for estimating elastic properties from seismic amplitudes. We demonstrate the application of these methods in a field case, employing the following assumptions: (1) a one-dimensional reservoir model represented by stacked seismic traces, (2) seismic data simulation using the small reflectivity approximation, and (3) the Aki-Richards equation for weak contrast to establish the relationship between seismic data and elastic parameters. Notably, the proposed general formulation transcends these assumptions, allowing for the integration of more sophisticated seismic simulation techniques and comprehensive petrophysical models within a similar framework. Why does Lip-MALA yield smaller errors in the theoretical (1D) test while HMC performs better in the two-dimensional real case? In our experiments, two factors explain this: (i) the evaluation metric and (ii) the dimensionality/structure of the posterior. 
<list list-type="custom"><list-item><label>i.</label>
      <p id="d2e8486">Metric. In 1D (synthetic and real), we compared primarily RMSE along the trace; Lip-MALA, by enforcing a Lipschitz-based step control, stabilizes local moves and reduces pointwise error (RMSE) in <inline-formula><mml:math id="M308" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M309" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>. In 2D, we mainly reported posterior SD per parameter; HMC, via long Hamiltonian trajectories, explores connected valleys of the posterior more efficiently and achieves lower global uncertainty (SD), even if RMSE 2D is not emphasized in the main text.</p></list-item><list-item><label>ii.</label>
      <p id="d2e8512">Dimensionality/heterogeneity. In real 2D, lateral couplings and heterogeneity induce a rough/multimodal posterior; HMC traverses basins more effectively than local Lip-MALA steps, reducing posterior variance.</p>
      <p id="d2e8515">The four methods studied demonstrate acceptable performance, but in-depth analysis reveals notable differences: <list list-type="custom"><list-item><label>–</label>
      <p id="d2e8520">Velocity estimation: In both the synthetic and real-world scenarios, methods that incorporate gradient calculations (HMC, MALA, and Lip-MALA) outperform MH in estimating velocities.</p></list-item><list-item><label>–</label>
      <p id="d2e8524">Density estimation: Density estimation proves to be the most challenging parameter, with MH and HMC exhibiting unsatisfactory results. However, MALA and Lip-MALA showcase more promising performance.</p></list-item><list-item><label>–</label>
      <p id="d2e8528">Execution time: A significant difference emerges in execution time between methods. MH and MALA exhibit shorter execution times compared to HMC and Lip-MALA, which are considerably more time-consuming.</p></list-item></list></p></list-item></list> A natural progression of this research would be to invert prestack seismic data to extract additional elastic parameters and reservoir properties, revealing a more comprehensive subsurface understanding. Similarly, incorporating well log conditioning into the model holds promise, as it could enhance vertical resolution near wells and guarantee that the model aligns with well data at drilling locations.</p>
      <p id="d2e8532">From an applied perspective, the results obtained in this study are relevant for decision-making in real-world exploration settings. For example, in frontier areas with poor well control, the MH algorithm could be used as a rapid evaluation tool due to its low computational cost, albeit with accuracy limitations. In contrast, methods such as HMC or Lip-MALA would be more suitable for mature fields where higher fidelity in estimating elastic properties is required, despite their greater computational demand. The choice of algorithm should be guided not only by statistical metrics but also by the specific requirements of the geophysical project, the geological setting, and the time and resource constraints available.</p>
      <p id="d2e8535">The results obtained in this work show consistency with previous research. For example, Gebraad et al. (2020) highlights the effectiveness of the HMC algorithm in full-waveform elastic inversion problems, particularly due to its ability to efficiently explore the posterior space. However, unlike their FWI-oriented approach, our AVO inversion results indicate that Lip-MALA achieves a better balance between accuracy and computational cost, particularly in density estimation, which is crucial in clastic media with gradual transitions. Similarly, Izzatullah et al. (2021) demonstrated that Langevin dynamics-based methods, such as MALA and its adaptive variants, are more efficient in high-dimensional spaces, which is reflected in our study by better definition of lithological boundaries in inverted images. These parallels confirm that Langevin-derived methods are viable and robust options in real-world seismic scenarios where efficiency and stability are practical priorities.</p>
      <p id="d2e8538">Although the HMC algorithm presents significantly longer runtimes, these may be acceptable within a seismic interpretation workflow that includes validation and multidisciplinary analysis phases. In contexts where the inversion must be performed in near-real time, such as during well drilling (geosteering), methods such as MH or MALA may be more appropriate despite their lower resolution. Therefore, computation time should not be evaluated in isolation, but rather based on operational priorities, available computational resources, and the criticality of the information to be estimated at each stage of the geophysical project.</p>
</sec>
<sec id="Ch1.S6" sec-type="conclusions">
  <label>6</label><title>Conclusions</title>
      <p id="d2e8549">This study compares various pre-stack inversion methods under an MCMC framework for the estimation of elastic parameters. We invert pre-stacked seismic data to infer velocities (<inline-formula><mml:math id="M310" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">p</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M311" display="inline"><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub></mml:mrow></mml:math></inline-formula>) and density (<inline-formula><mml:math id="M312" display="inline"><mml:mi mathvariant="italic">ρ</mml:mi></mml:math></inline-formula>), which are linked to the seismic data via the Aki-Richards equation. All methods employed effectively handle the inherent uncertainties associated with seismic and elastic data.</p>
      <p id="d2e8581">The proposed algorithms allow estimating several important aspects of the posterior distribution, such as the means and standard deviations of the posterior parameters. We rigorously validated the algorithms by measuring the quality of the MCMC sample through correlations, plotting the objective function, seismic traces and estimating the RMSE.</p>
      <p id="d2e8584">The four methods evaluated in this study exhibit acceptable performance overall, but a closer examination reveals notable differences in their specific capabilities. Velocity estimation: In both the simulated and real-world scenarios, methods that leverage gradient calculations (HMC, MALA, and Lip-MALA) demonstrate superior performance in estimating velocities compared to MH. Density estimation: Density estimation poses the most significant challenge, with MH and HMC exhibiting unsatisfactory results. However, MALA and Lip-MALA demonstrate more promising performance in this area. Execution time: A clear distinction emerges in execution time between the methods. MH and MALA exhibit significantly shorter execution times compared to HMC and Lip-MALA, which are considerably more time-consuming.</p>
      <p id="d2e8587">Furthermore, the results of the two-dimensional test with real data showed that in situations where high accuracy is required and sufficient computational resources are available, HMC may be the preferred option. On the other hand, in scenarios where computational time is a constraint, methods such as Lip-MALA offer an efficient and stable alternative. This validation in a context closer to real geology strengthens the study's conclusions. The choice of algorithm must consider not only statistical metrics but also the geophysical context, resource availability, and project purpose. In summary we have: <list list-type="bullet"><list-item>
      <p id="d2e8592">Balance runtime vs accuracy: HMC yields lower SD at higher cost; Lip-MALA provides strong local accuracy efficiently.</p></list-item><list-item>
      <p id="d2e8596">Choose metrics deliberately: report both RMSE (fit) and SD (uncertainty) to avoid metric-induced contradictions.</p></list-item><list-item>
      <p id="d2e8600">Use HMC for 2D (and higher) problems to reduce global posterior SD and traverse multi-basin landscapes.</p></list-item><list-item>
      <p id="d2e8604">Use MALA/Lip-MALA to stabilize density estimation and reduce pointwise errors.</p></list-item><list-item>
      <p id="d2e8608">Use Lip-MALA when local accuracy (lower RMSE) in VP/VS is prioritized on 1D settings.</p></list-item></list></p>
</sec>

      
      </body>
    <back><notes notes-type="codedataavailability"><title>Code and data availability</title>

      <p id="d2e8615">The codes and data for this project are not available due to restrictions imposed by the data provider and the university that funded the project.</p>
  </notes><notes notes-type="authorcontribution"><title>Author contributions</title>

      <p id="d2e8621">RPR and SI designed the study, performed the research, analyzed data, and wrote the paper. GB and RM contributed to refining the ideas, proof the results, carrying out additional analyses, and finalizing this paper.</p>
  </notes><notes notes-type="competinginterests"><title>Competing interests</title>

      <p id="d2e8627">The contact author has declared that none of the authors has any competing interests.</p>
  </notes><notes notes-type="disclaimer"><title>Disclaimer</title>

      <p id="d2e8633">Publisher's note: Copernicus Publications remains neutral with regard to jurisdictional claims made in the text, published maps, institutional affiliations, or any other geographical representation in this paper. The authors bear the ultimate responsibility for providing appropriate place names. Views expressed in the text are those of the authors and do not necessarily reflect the views of the publisher.</p>
  </notes><ack><title>Acknowledgements</title><p id="d2e8639">The authors used AI tools to improve the language, readability, and structure of the manuscript. The authors reviewed and edited the output and take full responsibility for the content of the article.</p></ack><notes notes-type="financialsupport"><title>Financial support</title>

      <p id="d2e8644">The authors would like to thank Yachay Tech University for funding this study through the Research Project MATH24-08.</p>
  </notes><notes notes-type="reviewstatement"><title>Review statement</title>

      <p id="d2e8650">This paper was edited by Richard Gloaguen and reviewed by Chunjie Zhang and five anonymous referees.</p>
  </notes><ref-list>
    <title>References</title>

      <ref id="bib1.bib1"><label>1</label><mixed-citation> Aki, K. and Richards, P.: Quantitative Seismology, University Science Books, ISBN 978-0935702965, 2002.</mixed-citation></ref>
      <ref id="bib1.bib2"><label>2</label><mixed-citation>Beskos, A., Pillai, N. S., Roberts, G. O., Sanz-Serna, J.-M., and Stuart, A. M.: Optimal tuning of the hybrid Monte Carlo algorithm, Bernoulli, 19, 1501–1534, <ext-link xlink:href="https://doi.org/10.3150/12-BEJ414" ext-link-type="DOI">10.3150/12-BEJ414</ext-link>, 2013.</mixed-citation></ref>
      <ref id="bib1.bib3"><label>3</label><mixed-citation>Bosch, M.: The optimization approach to lithological tomography: Combining seismic data and petrophysics for porosity prediction, Geophysics, 69, 1272–1282, <ext-link xlink:href="https://doi.org/10.1190/1.1801944" ext-link-type="DOI">10.1190/1.1801944</ext-link>, 2004.</mixed-citation></ref>
      <ref id="bib1.bib4"><label>4</label><mixed-citation>Bosch, M., Cara, L., Rodrigues, J., Navarro, A., and Díaz, M.: A Monte Carlo approach to the joint estimation of reservoir and elastic parameters from seismic amplitudes, Geophysics, 72, O29–O39, <ext-link xlink:href="https://doi.org/10.1190/1.2783766" ext-link-type="DOI">10.1190/1.2783766</ext-link>, 2007.</mixed-citation></ref>
      <ref id="bib1.bib5"><label>5</label><mixed-citation>Buland, A. and Omre, H.: Bayesian linearized AVO inversion, Geophysics, 68, 185–198, <ext-link xlink:href="https://doi.org/10.1190/1.1543206" ext-link-type="DOI">10.1190/1.1543206</ext-link>, 2003.</mixed-citation></ref>
      <ref id="bib1.bib6"><label>6</label><mixed-citation>Chib, S. and Greenberg, E.: Understanding the Metropolis-Hastings algorithm, Am. Stat., 49, 327–335, <ext-link xlink:href="https://doi.org/10.2307/2684568" ext-link-type="DOI">10.2307/2684568</ext-link>, 1995.</mixed-citation></ref>
      <ref id="bib1.bib7"><label>7</label><mixed-citation>Clochard, V., Delépine, N., Labat, K., and Ricarte, P.: Post-stack versus pre-stack stratigraphic inversion for monitoring purposes: a case study for the saline aquifer of the Sleipner field, SEG Technical Program Expanded Abstracts 2009, Society of Exploration Geophysicists, 2417–2421, <ext-link xlink:href="https://doi.org/10.1190/1.3255345" ext-link-type="DOI">10.1190/1.3255345</ext-link>, 2009.</mixed-citation></ref>
      <ref id="bib1.bib8"><label>8</label><mixed-citation>de Lima, P. D. S., Corso, G., Ferreira, M. S., and de Araújo, J. M.: Acoustic full waveform inversion with Hamiltonian Monte Carlo method, Physica A, 617, 128618, <ext-link xlink:href="https://doi.org/10.1016/j.physa.2023.128618" ext-link-type="DOI">10.1016/j.physa.2023.128618</ext-link>, 2023.</mixed-citation></ref>
      <ref id="bib1.bib9"><label>9</label><mixed-citation>Duane, S., Kennedy, A. D., Pendleton, B. J., and Roweth, D.: Hybrid Monte Carlo, Phys. Lett. B, 195, 216–222, <ext-link xlink:href="https://doi.org/10.1016/0370-2693(87)91197-X" ext-link-type="DOI">10.1016/0370-2693(87)91197-X</ext-link>, 1987.</mixed-citation></ref>
      <ref id="bib1.bib10"><label>10</label><mixed-citation>Fichtner, A. and Zunino, A.: Hamiltonian nullspace shuttles, Geophys. Res. Lett., 46, 644–651, <ext-link xlink:href="https://doi.org/10.1029/2018GL080931" ext-link-type="DOI">10.1029/2018GL080931</ext-link>, 2019.</mixed-citation></ref>
      <ref id="bib1.bib11"><label>11</label><mixed-citation>Gebraad, L., Boehm, C., and Fichtner, A.: Bayesian elastic full-waveform inversion using Hamiltonian Monte Carlo, J. Geophys. Res.-Sol. Ea., 125, e2019JB018428, <ext-link xlink:href="https://doi.org/10.1029/2019JB018428" ext-link-type="DOI">10.1029/2019JB018428</ext-link>, 2020.</mixed-citation></ref>
      <ref id="bib1.bib12"><label>12</label><mixed-citation> Goodway, B.: AVO and Lamé constants for rock parameterization and fluid detection, CSEG Recorder, 26, 39–60, 2001.</mixed-citation></ref>
      <ref id="bib1.bib13"><label>13</label><mixed-citation>Hampson, D. P., Russell, B. H., and Bankhead, B.: Simultaneous inversion of prestack seismic data, SEG Technical Program Expanded Abstracts 2005, Society of Exploration Geophysicists, 1633–1637, <ext-link xlink:href="https://doi.org/10.1190/1.2148008" ext-link-type="DOI">10.1190/1.2148008</ext-link>, 2005.</mixed-citation></ref>
      <ref id="bib1.bib14"><label>14</label><mixed-citation>Hastings, W. K.: Monte Carlo sampling methods using Markov chains and their applications, Biometrika, 57, 97–109, <ext-link xlink:href="https://doi.org/10.1093/biomet/57.1.97" ext-link-type="DOI">10.1093/biomet/57.1.97</ext-link>, 1970.</mixed-citation></ref>
      <ref id="bib1.bib15"><label>15</label><mixed-citation>Helland-Hansen, D., Magnus, I., Edvardsen, A., and Hansen, E.: Seismic inversion for reservoir characterization and well planning in the Snorre field, Leading Edge, 16, 269–274, <ext-link xlink:href="https://doi.org/10.1190/1.1437616" ext-link-type="DOI">10.1190/1.1437616</ext-link>, 1997.</mixed-citation></ref>
      <ref id="bib1.bib16"><label>16</label><mixed-citation>Infante, S., Sanchez, L., and Hernández, A.: Stochastic models to estimate population dynamics, Statistics, Optimization &amp; Information Computing, 7, 311–328, <ext-link xlink:href="https://doi.org/10.19139/soic.v7i2.538" ext-link-type="DOI">10.19139/soic.v7i2.538</ext-link>, 2019.</mixed-citation></ref>
      <ref id="bib1.bib17"><label>17</label><mixed-citation>Izzatullah, M., van Leeuwen, T., and Peter, D.: Accelerated Langevin Dynamics for Bayesian seismic inversion, J. Geophys. Res.-Sol. Ea., 125, e2019JB018428, <ext-link xlink:href="https://doi.org/10.1029/2019JB018428" ext-link-type="DOI">10.1029/2019JB018428</ext-link>, 2020.</mixed-citation></ref>
      <ref id="bib1.bib18"><label>18</label><mixed-citation>Izzatullah, M., van Leeuwen, T., and Peter, D.: Bayesian seismic inversion: a fast sampling Langevin dynamics Markov chain Monte Carlo method, Geophys. J. Int., 227, 1523–1553, <ext-link xlink:href="https://doi.org/10.1093/gji/ggab287" ext-link-type="DOI">10.1093/gji/ggab287</ext-link>, 2021.</mixed-citation></ref>
      <ref id="bib1.bib19"><label>19</label><mixed-citation>Landa, E. and Treitel, S.: Seismic inversion: What it is, and what it is not, Leading Edge, 35, 277–279, <ext-link xlink:href="https://doi.org/10.1190/tle35030277.1" ext-link-type="DOI">10.1190/tle35030277.1</ext-link>, 2016.</mixed-citation></ref>
      <ref id="bib1.bib20"><label>20</label><mixed-citation> Landau, L. D. and Lifshitz, E. M.: Mechanics, Elsevier Science, ISBN 978-0750628969, 1976.</mixed-citation></ref>
      <ref id="bib1.bib21"><label>21</label><mixed-citation>Lemons, D. S. and Gythiel, A.: Paul Langevin's 1908 paper “On the Theory of Brownian Motion” [“Sur la théorie du mouvement brownien,” C. R. Acad. Sci. (Paris) 146, 530–533 (1908)], Am. J. Phys., 65, 1079–1081, <ext-link xlink:href="https://doi.org/10.1119/1.18725" ext-link-type="DOI">10.1119/1.18725</ext-link>, 1997.</mixed-citation></ref>
      <ref id="bib1.bib22"><label>22</label><mixed-citation>Ma, X.: Simultaneous inversion of prestack seismic data for rock properties using simulated annealing, Geophysics, 67, 1877–1885, <ext-link xlink:href="https://doi.org/10.1190/1.1527087" ext-link-type="DOI">10.1190/1.1527087</ext-link>, 2002.</mixed-citation></ref>
      <ref id="bib1.bib23"><label>23</label><mixed-citation>Metropolis, N., Rosenbluth, A. W., Rosenbluth, M. N., Teller, A. H., and Teller, E.: Equation of state calculations by fast computing machines, J. Chem. Phys., 21, 1087–1092, <ext-link xlink:href="https://doi.org/10.1063/1.1699114" ext-link-type="DOI">10.1063/1.1699114</ext-link>, 1953.</mixed-citation></ref>
      <ref id="bib1.bib24"><label>24</label><mixed-citation>Neal, R. M.: MCMC using Hamiltonian dynamics, in: Handbook of Markov Chain Monte Carlo, edited by: Brooks, S., Gelman, A., Jones, G. L., and Meng, X.-L., Chapman and Hall/CRC, Boca Raton, 113–162, <ext-link xlink:href="https://doi.org/10.1201/b10905-6" ext-link-type="DOI">10.1201/b10905-6</ext-link>, 2012.</mixed-citation></ref>
      <ref id="bib1.bib25"><label>25</label><mixed-citation>Nemeth, C. and Fearnhead, P.: Stochastic Gradient Markov Chain Monte Carlo, J. Am. Stat. Assoc., 116, 433–450, <ext-link xlink:href="https://doi.org/10.1080/01621459.2020.1847120" ext-link-type="DOI">10.1080/01621459.2020.1847120</ext-link>, 2021.</mixed-citation></ref>
      <ref id="bib1.bib26"><label>26</label><mixed-citation> Nemeth, C., Sherlock, C., and Fearnhead, P.: Particle Metropolis-adjusted Langevin algorithms, Biometrika, 103, 701–717, 2016.</mixed-citation></ref>
      <ref id="bib1.bib27"><label>27</label><mixed-citation>Niu, L., Geng, J., Wu, X., Zhao, L., and Zhang, H.: Data-driven method for an improved linearised AVO inversion, J. Geophys. Eng., 18, 1–22, <ext-link xlink:href="https://doi.org/10.1093/jge/gxaa065" ext-link-type="DOI">10.1093/jge/gxaa065</ext-link>, 2020.</mixed-citation></ref>
      <ref id="bib1.bib28"><label>28</label><mixed-citation>Robert, C. P. and Casella, G.: Monte Carlo Statistical Methods, 2nd edn., Springer, New York, <ext-link xlink:href="https://doi.org/10.1007/978-1-4757-4145-2" ext-link-type="DOI">10.1007/978-1-4757-4145-2</ext-link>, 2004.</mixed-citation></ref>
      <ref id="bib1.bib29"><label>29</label><mixed-citation>Roberts, G. and Stramer, O.: Langevin diffusions and Metropolis-Hastings algorithms, Methodol. Comput. Appl., 4, 337–357, <ext-link xlink:href="https://doi.org/10.1023/A:1023562417138" ext-link-type="DOI">10.1023/A:1023562417138</ext-link>, 2002.</mixed-citation></ref>
      <ref id="bib1.bib30"><label>30</label><mixed-citation>Roberts, G. O. and Rosenthal, J. S.: Optimal scaling of discrete approximations to Langevin diffusions, J. R. Stat. Soc. B, 60, 255–268, <ext-link xlink:href="https://doi.org/10.1111/1467-9868.00123" ext-link-type="DOI">10.1111/1467-9868.00123</ext-link>, 1998.</mixed-citation></ref>
      <ref id="bib1.bib31"><label>31</label><mixed-citation>Roberts, G. O. and Tweedie, R. L.: Exponential convergence of Langevin distributions and their discrete approximations, Bernoulli, 2, 341–363, <ext-link xlink:href="https://doi.org/10.2307/3318418" ext-link-type="DOI">10.2307/3318418</ext-link>, 1996.</mixed-citation></ref>
      <ref id="bib1.bib32"><label>32</label><mixed-citation>Roberts, G. O., Gelman, A., and Gilks, W. R.: Weak convergence and optimal scaling of random walk Metropolis algorithms, Ann. Appl. Probab., 7, 110–120, <ext-link xlink:href="https://doi.org/10.1214/aoap/1034625254" ext-link-type="DOI">10.1214/aoap/1034625254</ext-link>, 1997.</mixed-citation></ref>
      <ref id="bib1.bib33"><label>33</label><mixed-citation> Russell, B., Hampson, D., and Bankhead, B.: An Inversion Primer, CSEG Recorder, 31, 96–103,  2006.</mixed-citation></ref>
      <ref id="bib1.bib34"><label>34</label><mixed-citation>Stuart, A. M., Voss, J., and Wilberg, P.: Conditional path sampling of SDEs and the Langevin MCMC method, Commun. Math. Sci., 2, 685–697, <ext-link xlink:href="https://doi.org/10.4310/CMS.2004.v2.n4.a7" ext-link-type="DOI">10.4310/CMS.2004.v2.n4.a7</ext-link>, 2004.</mixed-citation></ref>
      <ref id="bib1.bib35"><label>35</label><mixed-citation>Sánchez, L., Infante, S., Griffin, V., and Rey, D.: Spatio-temporal dynamic model and parallelized ensemble Kalman filter for precipitation data, Braz. J. Probab. Stat., 30, <ext-link xlink:href="https://doi.org/10.1214/15-BJPS297" ext-link-type="DOI">10.1214/15-BJPS297</ext-link>, 2016.</mixed-citation></ref>
      <ref id="bib1.bib36"><label>36</label><mixed-citation>Tarantola, A.: Inverse Problem Theory and Methods for Model Parameter Estimation, Society for Industrial and Applied Mathematics, <ext-link xlink:href="https://doi.org/10.1137/1.9780898717921" ext-link-type="DOI">10.1137/1.9780898717921</ext-link>, 2005.</mixed-citation></ref>
      <ref id="bib1.bib37"><label>37</label><mixed-citation>Vats, D., Flegal, J. M., and Jones, G. L.: Multivariate output analysis for Markov chain Monte Carlo, Biometrika, 106, 321–337, <ext-link xlink:href="https://doi.org/10.1093/biomet/asz002" ext-link-type="DOI">10.1093/biomet/asz002</ext-link>, 2019.</mixed-citation></ref>
      <ref id="bib1.bib38"><label>38</label><mixed-citation> Welling, M. and Teh, Y. W.: Bayesian learning via stochastic gradient Langevin dynamics, in: Proceedings of the 28th International Conference on Machine Learning (ICML 2011), Bellevue, WA, USA, 681–688, 2011.</mixed-citation></ref>
      <ref id="bib1.bib39"><label>39</label><mixed-citation>Wu, H., Chen, Y., Li, S., and Peng, Z.: Acoustic impedance inversion using Gaussian Metropolis-Hastings sampling with data driving, Energies, 12, 2744, <ext-link xlink:href="https://doi.org/10.3390/en12142744" ext-link-type="DOI">10.3390/en12142744</ext-link>, 2019.</mixed-citation></ref>

  </ref-list></back>
    <!--<article-title-html>Bayesian inference based on algorithms: MH, HMC, MALA and Lip-MALA for prestack seismic inversion</article-title-html>
<abstract-html/>
<ref-html id="bib1.bib1"><label>1</label><mixed-citation>
      
Aki, K. and Richards, P.: Quantitative Seismology, University Science Books, ISBN 978-0935702965,
2002.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib2"><label>2</label><mixed-citation>
      
Beskos, A., Pillai, N. S., Roberts, G. O., Sanz-Serna, J.-M., and Stuart, A.
M.: Optimal tuning of the hybrid Monte Carlo algorithm, Bernoulli, 19,
1501–1534, <a href="https://doi.org/10.3150/12-BEJ414" target="_blank">https://doi.org/10.3150/12-BEJ414</a>, 2013.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib3"><label>3</label><mixed-citation>
      
Bosch, M.: The optimization approach to lithological tomography: Combining
seismic data and petrophysics for porosity prediction, Geophysics, 69,
1272–1282, <a href="https://doi.org/10.1190/1.1801944" target="_blank">https://doi.org/10.1190/1.1801944</a>, 2004.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib4"><label>4</label><mixed-citation>
      
Bosch, M., Cara, L., Rodrigues, J., Navarro, A., and Díaz, M.: A Monte
Carlo approach to the joint estimation of reservoir and elastic parameters
from seismic amplitudes, Geophysics, 72, O29–O39,
<a href="https://doi.org/10.1190/1.2783766" target="_blank">https://doi.org/10.1190/1.2783766</a>, 2007.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib5"><label>5</label><mixed-citation>
      
Buland, A. and Omre, H.: Bayesian linearized AVO inversion, Geophysics, 68,
185–198, <a href="https://doi.org/10.1190/1.1543206" target="_blank">https://doi.org/10.1190/1.1543206</a>, 2003.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib6"><label>6</label><mixed-citation>
      
Chib, S. and Greenberg, E.: Understanding the Metropolis-Hastings algorithm,
Am. Stat., 49, 327–335, <a href="https://doi.org/10.2307/2684568" target="_blank">https://doi.org/10.2307/2684568</a>,
1995.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib7"><label>7</label><mixed-citation>
      
Clochard, V., Delépine, N., Labat, K., and Ricarte, P.: Post-stack
versus pre-stack stratigraphic inversion for monitoring purposes: a case
study for the saline aquifer of the Sleipner field, SEG Technical Program
Expanded Abstracts 2009, Society of Exploration Geophysicists, 2417–2421,
<a href="https://doi.org/10.1190/1.3255345" target="_blank">https://doi.org/10.1190/1.3255345</a>, 2009.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib8"><label>8</label><mixed-citation>
      
de Lima, P. D. S., Corso, G., Ferreira, M. S., and de Araújo, J. M.:
Acoustic full waveform inversion with Hamiltonian Monte Carlo method,
Physica A, 617, 128618,
<a href="https://doi.org/10.1016/j.physa.2023.128618" target="_blank">https://doi.org/10.1016/j.physa.2023.128618</a>, 2023.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib9"><label>9</label><mixed-citation>
      
Duane, S., Kennedy, A. D., Pendleton, B. J., and Roweth, D.: Hybrid Monte
Carlo, Phys. Lett. B, 195, 216–222,
<a href="https://doi.org/10.1016/0370-2693(87)91197-X" target="_blank">https://doi.org/10.1016/0370-2693(87)91197-X</a>, 1987.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib10"><label>10</label><mixed-citation>
      
Fichtner, A. and Zunino, A.: Hamiltonian nullspace shuttles, Geophys.
Res. Lett., 46, 644–651, <a href="https://doi.org/10.1029/2018GL080931" target="_blank">https://doi.org/10.1029/2018GL080931</a>, 2019.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib11"><label>11</label><mixed-citation>
      
Gebraad, L., Boehm, C., and Fichtner, A.: Bayesian elastic full-waveform
inversion using Hamiltonian Monte Carlo, J. Geophys. Res.-Sol. Ea., 125, e2019JB018428, <a href="https://doi.org/10.1029/2019JB018428" target="_blank">https://doi.org/10.1029/2019JB018428</a>, 2020.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib12"><label>12</label><mixed-citation>
      
Goodway, B.: AVO and Lamé constants for rock parameterization and fluid
detection, CSEG Recorder, 26, 39–60, 2001.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib13"><label>13</label><mixed-citation>
      
Hampson, D. P., Russell, B. H., and Bankhead, B.: Simultaneous inversion of
prestack seismic data, SEG Technical Program Expanded Abstracts 2005,
Society of Exploration Geophysicists, 1633–1637,
<a href="https://doi.org/10.1190/1.2148008" target="_blank">https://doi.org/10.1190/1.2148008</a>, 2005.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib14"><label>14</label><mixed-citation>
      
Hastings, W. K.: Monte Carlo sampling methods using Markov chains and their
applications, Biometrika, 57, 97–109,
<a href="https://doi.org/10.1093/biomet/57.1.97" target="_blank">https://doi.org/10.1093/biomet/57.1.97</a>, 1970.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib15"><label>15</label><mixed-citation>
      
Helland-Hansen, D., Magnus, I., Edvardsen, A., and Hansen, E.: Seismic
inversion for reservoir characterization and well planning in the Snorre
field, Leading Edge, 16, 269–274, <a href="https://doi.org/10.1190/1.1437616" target="_blank">https://doi.org/10.1190/1.1437616</a>,
1997.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib16"><label>16</label><mixed-citation>
      
Infante, S., Sanchez, L., and Hernández, A.: Stochastic models to
estimate population dynamics, Statistics, Optimization &amp; Information
Computing, 7, 311–328, <a href="https://doi.org/10.19139/soic.v7i2.538" target="_blank">https://doi.org/10.19139/soic.v7i2.538</a>, 2019.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib17"><label>17</label><mixed-citation>
      
Izzatullah, M., van Leeuwen, T., and Peter, D.: Accelerated Langevin
Dynamics for Bayesian seismic inversion, J. Geophys. Res.-Sol. Ea., 125, e2019JB018428, <a href="https://doi.org/10.1029/2019JB018428" target="_blank">https://doi.org/10.1029/2019JB018428</a>, 2020.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib18"><label>18</label><mixed-citation>
      
Izzatullah, M., van Leeuwen, T., and Peter, D.: Bayesian seismic inversion:
a fast sampling Langevin dynamics Markov chain Monte Carlo method,
Geophys. J. Int., 227, 1523–1553,
<a href="https://doi.org/10.1093/gji/ggab287" target="_blank">https://doi.org/10.1093/gji/ggab287</a>, 2021.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib19"><label>19</label><mixed-citation>
      
Landa, E. and Treitel, S.: Seismic inversion: What it is, and what it is
not, Leading Edge, 35, 277–279, <a href="https://doi.org/10.1190/tle35030277.1" target="_blank">https://doi.org/10.1190/tle35030277.1</a>,
2016.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib20"><label>20</label><mixed-citation>
      
Landau, L. D. and Lifshitz, E. M.: Mechanics, Elsevier Science, ISBN 978-0750628969, 1976.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib21"><label>21</label><mixed-citation>
      
Lemons, D. S. and Gythiel, A.: Paul Langevin's 1908 paper “On the Theory of
Brownian Motion” [“Sur la théorie du mouvement brownien,” C. R. Acad.
Sci. (Paris) 146, 530–533 (1908)], Am. J. Phys., 65,
1079–1081, <a href="https://doi.org/10.1119/1.18725" target="_blank">https://doi.org/10.1119/1.18725</a>, 1997.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib22"><label>22</label><mixed-citation>
      
Ma, X.: Simultaneous inversion of prestack seismic data for rock properties
using simulated annealing, Geophysics, 67, 1877–1885,
<a href="https://doi.org/10.1190/1.1527087" target="_blank">https://doi.org/10.1190/1.1527087</a>, 2002.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib23"><label>23</label><mixed-citation>
      
Metropolis, N., Rosenbluth, A. W., Rosenbluth, M. N., Teller, A. H., and
Teller, E.: Equation of state calculations by fast computing machines,
J. Chem. Phys., 21, 1087–1092,
<a href="https://doi.org/10.1063/1.1699114" target="_blank">https://doi.org/10.1063/1.1699114</a>, 1953.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib24"><label>24</label><mixed-citation>
      
Neal, R. M.: MCMC using Hamiltonian dynamics, in: Handbook of Markov Chain
Monte Carlo, edited by: Brooks, S., Gelman, A., Jones, G. L., and Meng,
X.-L., Chapman and Hall/CRC, Boca Raton, 113–162,
<a href="https://doi.org/10.1201/b10905-6" target="_blank">https://doi.org/10.1201/b10905-6</a>, 2012.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib25"><label>25</label><mixed-citation>
      
Nemeth, C. and Fearnhead, P.: Stochastic Gradient Markov Chain Monte Carlo,
J. Am. Stat. Assoc., 116, 433–450,
<a href="https://doi.org/10.1080/01621459.2020.1847120" target="_blank">https://doi.org/10.1080/01621459.2020.1847120</a>, 2021.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib26"><label>26</label><mixed-citation>
      
Nemeth, C., Sherlock, C., and Fearnhead, P.: Particle Metropolis-adjusted
Langevin algorithms, Biometrika, 103, 701–717, 2016.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib27"><label>27</label><mixed-citation>
      
Niu, L., Geng, J., Wu, X., Zhao, L., and Zhang, H.: Data-driven method for
an improved linearised AVO inversion, J. Geophys. Eng.,
18, 1–22, <a href="https://doi.org/10.1093/jge/gxaa065" target="_blank">https://doi.org/10.1093/jge/gxaa065</a>, 2020.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib28"><label>28</label><mixed-citation>
      
Robert, C. P. and Casella, G.: Monte Carlo Statistical Methods, 2nd edn.,
Springer, New York, <a href="https://doi.org/10.1007/978-1-4757-4145-2" target="_blank">https://doi.org/10.1007/978-1-4757-4145-2</a>, 2004.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib29"><label>29</label><mixed-citation>
      
Roberts, G. and Stramer, O.: Langevin diffusions and Metropolis-Hastings
algorithms, Methodol. Comput. Appl., 4, 337–357,
<a href="https://doi.org/10.1023/A:1023562417138" target="_blank">https://doi.org/10.1023/A:1023562417138</a>, 2002.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib30"><label>30</label><mixed-citation>
      
Roberts, G. O. and Rosenthal, J. S.: Optimal scaling of discrete
approximations to Langevin diffusions, J. R. Stat.
Soc. B, 60, 255–268,
<a href="https://doi.org/10.1111/1467-9868.00123" target="_blank">https://doi.org/10.1111/1467-9868.00123</a>, 1998.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib31"><label>31</label><mixed-citation>
      
Roberts, G. O. and Tweedie, R. L.: Exponential convergence of Langevin
distributions and their discrete approximations, Bernoulli, 2, 341–363,
<a href="https://doi.org/10.2307/3318418" target="_blank">https://doi.org/10.2307/3318418</a>, 1996.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib32"><label>32</label><mixed-citation>
      
Roberts, G. O., Gelman, A., and Gilks, W. R.: Weak convergence and optimal
scaling of random walk Metropolis algorithms, Ann. Appl.
Probab., 7, 110–120, <a href="https://doi.org/10.1214/aoap/1034625254" target="_blank">https://doi.org/10.1214/aoap/1034625254</a>, 1997.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib33"><label>33</label><mixed-citation>
      
Russell, B., Hampson, D., and Bankhead, B.: An Inversion Primer, CSEG
Recorder, 31, 96–103,  2006.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib34"><label>34</label><mixed-citation>
      
Stuart, A. M., Voss, J., and Wilberg, P.: Conditional path sampling of SDEs
and the Langevin MCMC method, Commun. Math. Sci., 2,
685–697, <a href="https://doi.org/10.4310/CMS.2004.v2.n4.a7" target="_blank">https://doi.org/10.4310/CMS.2004.v2.n4.a7</a>, 2004.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib35"><label>35</label><mixed-citation>
      
Sánchez, L., Infante, S., Griffin, V., and Rey, D.: Spatio-temporal
dynamic model and parallelized ensemble Kalman filter for precipitation
data, Braz. J. Probab. Stat., 30,
<a href="https://doi.org/10.1214/15-BJPS297" target="_blank">https://doi.org/10.1214/15-BJPS297</a>, 2016.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib36"><label>36</label><mixed-citation>
      
Tarantola, A.: Inverse Problem Theory and Methods for Model Parameter
Estimation, Society for Industrial and Applied Mathematics,
<a href="https://doi.org/10.1137/1.9780898717921" target="_blank">https://doi.org/10.1137/1.9780898717921</a>, 2005.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib37"><label>37</label><mixed-citation>
      
Vats, D., Flegal, J. M., and Jones, G. L.: Multivariate output analysis for
Markov chain Monte Carlo, Biometrika, 106, 321–337,
<a href="https://doi.org/10.1093/biomet/asz002" target="_blank">https://doi.org/10.1093/biomet/asz002</a>, 2019.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib38"><label>38</label><mixed-citation>
      
Welling, M. and Teh, Y. W.: Bayesian learning via stochastic gradient
Langevin dynamics, in: Proceedings of the 28th International Conference on
Machine Learning (ICML 2011), Bellevue, WA, USA, 681–688, 2011.

    </mixed-citation></ref-html>
<ref-html id="bib1.bib39"><label>39</label><mixed-citation>
      
Wu, H., Chen, Y., Li, S., and Peng, Z.: Acoustic impedance inversion using
Gaussian Metropolis-Hastings sampling with data driving, Energies, 12, 2744,
<a href="https://doi.org/10.3390/en12142744" target="_blank">https://doi.org/10.3390/en12142744</a>, 2019.

    </mixed-citation></ref-html>--></article>
