Pith. sign in

REVIEW 3 major objections 6 minor 78 references

A discrete adjoint method for deterministic and probabilistic eikonal-equation-based inversion of traveltime for velocity and source location

T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read The paper derives gradient formulas for velocity and source location directly from the discretized fast-marching eikonal solver, giving a single adjoint framework that works for both L-BFGS inversion and Hamiltonian Monte Carlo sampling.

desk verdict Clean derivation, public code, and a real extension to source-location gradients and HMC, but the discrete adjoint is only proved for fixed FMM stencils and the missing finite-difference check leaves the central consistency claim unverified. read the letter →

arxiv 2501.13532 v1 pith:ERVSK4IU submitted 2025-01-23 physics.geo-ph

classification physics.geo-ph
keywords traveltimetomographyeikonalequationdiscreteadjointmethodfastmarchingvelocityinversionsourcelocationHamiltonianMonteCarlouncertaintyquantification
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper's central proposition is that traveltime tomography based on the eikonal equation can be turned into a coherent inverse problem by deriving gradients directly from the discretized forward solver, rather than from a separately discretized continuous adjoint equation. Working from a second-order fast-marching method, the authors write the discrete eikonal equation as an implicit system, differentiate it to obtain an adjoint equation, and use the same adjoint variable for both the velocity gradient and the source-location gradient. The resulting gradients are, by construction, consistent with the discrete forward model, and the fast-marching update order turns the adjoint system into a triangular one that is cheap to solve. This makes it practical to run joint inversions for velocity and source position, and because the gradients are cheap and accurate, they can feed both deterministic optimization (L-BFGS) and gradient-based Bayesian sampling (Hamiltonian Monte Carlo). The paper demonstrates the approach on synthetic 2D and 3D experiments, including one where Bayesian sampling reveals a bimodal posterior that a deterministic point estimate would miss.

What carries the argument

The load-bearing object is the discrete implicit form of the eikonal equation, $f_i = (\sum_j D^x_{ij} u_j)^2 + (\sum_j D^y_{ij} u_j)^2 + (\sum_j D^z_{ij} u_j)^2 - 1/v_i^2 = 0$, where the $D$ matrices carry the second-order upwind finite-difference stencils selected by the fast-marching solver. The adjoint state $\lambda$ is defined by $(\partial f / \partial u)^T \lambda = -(\partial \psi / \partial u)^T$, and the same $\lambda$ is reused in the velocity-gradient and source-location-gradient chain rules. The structural trick is that ordering grid points by the fast-marching wavefront arrival makes $\partial f / \partial u$ lower triangular, so the transposed adjoint system is upper triangular and solvable in a single pass; the stencils are sparse, with only two or three nonzeros per row. For the refined source-region grid, a second adjoint system is solved on the fine grid with the coarse-grid traveltime acting as the adjoint source, and the chain-rule factor $N_{qa}$ maps the velocity interpolation back to the coarse grid.

What would settle it

Run central-difference checks of the discrete-adjoint gradients against the same FMM code: perturb each velocity voxel and each source coordinate by a small epsilon, recompute traveltimes, and compare the ratio (psi(theta+epsilon)-psi(theta-epsilon))/(2 epsilon) with the adjoint gradient at models near stencil switches and ties in the max operation. If pointwise relative errors are far above round-off where the solver's stencil selection changes, the claim that the gradient is exactly consistent with the implemented forward map is refuted; if the errors stay near machine precision everywhere, the claim is supported.

Watch

Extended reading notes

Core claim

The contribution the paper is trying to establish is that all the pieces of eikonal traveltime tomography—velocity update, source-location update, local grid refinement around the source, and arbitrary source and receiver placement—can be handled by one discrete adjoint formalism built on the same second-order fast-marching forward model. The forward solver is written as an implicit discrete equation; differentiating it gives the adjoint equation whose solution is a single field lambda. The same lambda is then folded into the chain rules for both velocity parameters and source coordinates, with the case of a refined source-region grid handled by solving a second, analogous adjoint problem on the fine grid. Because the fast-marching method solves grid points in increasing traveltime order, the matrix in the adjoint system is triangular, so the gradient computation costs roughly two forward solves and is independent of the number of receivers. The paper claims this yields gradients that correspond exactly to the discretized forward model and demonstrates that these gradients drive successful deterministic L-BFGS reconstructions and Hamiltonian Monte Carlo posteriors in 2D and 3D.

Load-bearing premise

The whole gradient-consistency claim rests on treating the fast-marching solver's selection of neighboring grid points as a fixed smooth configuration when differentiating, although the solver actually switches stencils through max operations and order fallbacks.

Editorial extensions

If this is right

  • Gradients produced by the discrete adjoint are consistent with the FMM forward model by construction, removing the forward/adjoint discretization mismatch that can arise when the continuous adjoint equation is discretized separately.
  • The same single adjoint field supplies both velocity and source-location gradients, so joint inversion becomes a natural extension of the single-parameter case rather than a separate two-step procedure.
  • Ordering grid points along the fast-marching wavefront makes the adjoint matrix triangular, so gradient computation is efficient and the cost is nearly independent of the number of receivers.
  • The formalism accommodates arbitrary source and receiver positions plus a refined grid around the source, which reduces the dominant traveltime errors near the source without dropping those terms from the gradient.
  • Because gradients are cheap and accurate, the same framework feeds both L-BFGS deterministic inversion and HMC probabilistic sampling, yielding uncertainty quantification that can expose multimodality in the posterior.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same discrete-adjoint construction should extend to other grid-based eikonal solvers, such as factored eikonal forms or higher-order stencils, by replacing the derivative matrices in the forward relation; the chain-rule structure of the derivation is solver-agnostic.
  • A practical validation step would be a finite-difference check of the gradients near points where the forward solver switches stencils or ties in the max selection; that would quantify how often the fixed-stencil differentiability assumption matters in practice.
  • For field applications, the probabilistic branch could be used to produce posterior covariance maps for both velocity and hypocenter locations, which would feed directly into seismic hazard or event-relocation studies.
  • The triangular structure of the adjoint system suggests the gradient cost scales like the forward solve, so large 3D regional models with many sources and receivers are the natural next target; the paper's 3D examples use relatively small grids.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper develops a discrete adjoint method for traveltime tomography based on the eikonal equation, with second-order fast marching used as the forward solver. Gradients are derived with respect to both velocity structure and source location, including a treatment of grid refinement around the source, and are then embedded in deterministic (L-BFGS) and probabilistic (HMC/NUTS) inversion frameworks. Synthetic 2D and 3D examples are presented for both approaches. The central claim is that the discrete adjoint derivation yields gradients that are exactly consistent with the discretized FMM forward model, enabling efficient joint inversion for velocity and source position.

Significance. If the consistency claim holds, the paper would be a useful contribution: it unifies velocity and source-location gradients in one discrete adjoint framework, allows arbitrary source/receiver positions, handles local grid refinement, and demonstrates both deterministic and probabilistic inversion, with open-source code provided. The derivations are self-contained and the numerical experiments illustrate the intended use. However, the exact-consistency claim is not numerically verified against the actual piecewise-differentiable FMM forward map, and this gap is load-bearing for both the L-BFGS and HMC applications. The paper is therefore promising but requires additional validation and careful qualification before the central claim can be accepted.

major comments (3)
  1. [Section 3.1.1, Eqs. (9)-(22)] The adjoint derivation differentiates the implicit equation (9) while treating the stencil matrices D^x, D^y, D^z as fixed. In the implemented FMM (Section 2.1, Eq. (5)), the stencils are selected at runtime by the max(·,0) upwind rule, with fallback between second-order (Eq. (3)) and first-order (Eq. (4)) stencils depending on the availability of upwind values. The stencil configuration is a piecewise-constant function of the traveltime field, so Eq. (20) gives a branch-local derivative, not the derivative of the full implemented forward map. At stencil switches or ties, the gradient in Eq. (22) does not correspond to a unique linearization of the forward code. This is load-bearing because the paper's stated advantage over continuous adjoint methods is exactly discrete consistency, and the mismatch is never quantified.
  2. [Section 4 (numerical experiments)] No finite-difference validation of the adjoint gradients is presented in any of the deterministic or probabilistic experiments. Given the nondifferentiable stencil selection in the forward solver, a direct comparison of the adjoint gradient against finite differences of the actual FMM implementation is essential to support the claim of exact consistency stated in the Introduction, Section 5, and the abstract. Without such a test, the magnitude and frequency of any gradient error remain unknown, which also affects the HMC/NUTS results because a biased gradient biases the stationary distribution.
  3. [Section 3.2, Eqs. (59)-(60)] The gradient with respect to source location differentiates Eq. (2) while assuming a fixed set S of nodes surrounding the source. As the source moves across a grid-cell boundary, the set of enclosing nodes changes discontinuously, making the source-location forward map piecewise differentiable. The derivation does not address this, and no numerical test checks the behavior of dψ/ds_r at such boundaries. Since joint inversion for source location is a central contribution, this branch-dependence should be discussed and ideally validated numerically.
minor comments (6)
  1. [Introduction, Section 5] The phrases “exactly the counterparts of the forward model” and “machine precision” overstate the result given the piecewise-differentiable stencil selection; the text should be qualified to refer to differentiability within fixed stencil configurations.
  2. [Section 2.1, Eq. (2)] The velocity v_s in Eq. (2) is not uniquely defined when the four (or eight) surrounding grid points have different velocities; the paper should specify how v_s is chosen.
  3. [Section 4.1, Figure 4 caption] The caption states that the inversion ran for 150 iterations, while the text reports 80 iterations; this discrepancy should be corrected.
  4. [Section 4.2, first example] The text reports 50000 NUTS iterations but then states that 150000 models were saved after burn-in; the relationship between these numbers should be clarified.
  5. [Section 4.2, Figure 7 caption] The caption refers to a random model “after 1454 iterations,” while the text says 10000 iterations were run; the reported iteration counts should be reconciled.
  6. [Section 3.1.4, Eq. (44)] The right-hand side written as ∂u/∂τ is ambiguous; it should be written as ∂û_h/∂τ_p to match the notation introduced in Eq. (42).

Circularity Check

0 steps flagged · score 0.0 of 10

The discrete adjoint derivation is self-contained; cited self-work only supplies HMC implementation details and is not load-bearing.

full rationale

The paper derives its gradients from its own discrete forward model and objective function: eq. (9) defines the implicit discrete eikonal forward model, eqs. (18)-(24) obtain the velocity gradient via the discrete adjoint equation, and eqs. (56)-(60) do the same for source location by differentiating eq. (2). No parameter is fitted to data and then relabeled as a prediction, and no external uniqueness theorem or ansatz is imported from the authors' prior work. Self-citations (Fichtner et al. 2019, Zunino et al. 2023) are used only to reference the HMC sampler and the code framework; the adjoint derivation does not depend on them. The numerical experiments are synthetic demonstrations rather than confirmations of a physical theory. A separate correctness risk exists: the FMM solver's stencil selection (eqs. 3-5) is piecewise constant, so the gradient in eq. (20) is conditional on a fixed stencil, and no finite-difference validation is reported; that concern bears on the accuracy of the computed gradients, not on the circularity of the derivation.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The method derives gradients from the discrete forward model and introduces no fitted physical parameters or new physical entities. It relies on standard implicit differentiation and on properties of the FMM solver. The interpolation choices for off-grid sources and for fine-grid velocities are user-defined modeling assumptions. No new particles, forces, or dimensions are postulated.

assumptions (5)
  • standard math The discrete forward operator (9) is differentiable and its Jacobian is invertible at the solution, so implicit differentiation applies (eqs. 16-19).
    The adjoint derivation uses the implicit function theorem on the discrete eikonal equation. Nonsingularity of the Jacobian is assumed but not proven; FMM solutions typically satisfy this away from kinks.
  • domain assumption The FMM computes the viscosity solution of the eikonal equation, and the discrete forward map is exactly described by eqs. (3)-(5).
    Section 2.1; the paper relies on standard properties of fast marching methods without re-deriving them.
  • domain assumption Traveltimes at grid nodes surrounding an off-grid source are accurately given by the analytic formula (2), which assumes locally homogeneous velocity in the source cell.
    Eq. (2) in Section 2.1; this approximation is part of the forward model and affects source-region derivatives, but its accuracy is not investigated beyond citing previous practice.
  • domain assumption With grid refinement, the fine-grid velocity is obtained by linear interpolation (eq. 37), and the sampling operator H extracts coarse-grid collocated values (eq. 42).
    Section 3.1.4; these interpolation choices are user-defined modeling assumptions that enter the gradient calculation.
  • domain assumption Ordering unknowns by increasing FMM traveltime makes the matrix A in eq. (25) lower triangular, enabling an efficient triangular solve of the adjoint system.
    Section 3.1.1 after eq. (25); the property is asserted for the FMM ordering but not proven in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A discrete adjoint method for deterministic and probabilistic eikonal-equation-based inversion of traveltime for velocity and source location." pith.science (2026). https://pith.science/paper/ERVSK4IU

@misc{pith2026250113532,
  author       = {Pith},
  title        = {Pith review of: A discrete adjoint method for deterministic and probabilistic eikonal-equation-based inversion of traveltime for velocity and source location},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ERVSK4IU}},
  note         = {Machine review of arXiv:2501.13532}
}
read the original abstract

Seismic traveltime tomography represents a popular and useful tool for unravelling the structure of the subsurface across the scales. In this work we address the case where the forward model is represented by the eikonal equation and derive a formalism to solve the inverse problem where gradients are calculated efficiently using the discrete adjoint state method. Our approach provides gradients with respect to both velocity structure and source locations, allowing us to perform a consistent joint inversion. The forward problem is solved using a second-order fast-marching method, which provides a strategy to efficiently solve the adjoint problem. Our approach allows for arbitrary positions of both sources and receivers and for a refined grid around the source region to reduce errors in computed traveltimes. We show how gradients computed using the discrete adjoint method can be employed to perform either deterministic inversion, i.e., solving an optimization problem, or for a probabilistic (Bayesian) approach, i.e., obtaining a posterior probability density function. We show applications of our methodology on a set of synthetic examples both in 2D and 3D using the L-BFGS algorithm for the deterministic case and the Hamiltonian Monte Carlo algorithm for the probabilistic case.

Figures

Figures reproduced from arXiv: 2501.13532 by the authors.

Figure 1
Figure 1. An example of the grid used for the FMM scheme in 2D, with arbitrary position of [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. An example of 2D grid without (a) and with (b) grid refinement around the source. [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Deterministic inversion for a 2D velocity model. a) Ground-truth model from which the [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: Deterministic inversion for both a 2D velocity model and source locations. a) Ground [PITH_FULL_IMAGE:figures/full_fig_p018_4.png]
Figure 5
Figure 5. Figure 5: Deterministic inversion for a 3D velocity model. a) Ground-truth model from which the [PITH_FULL_IMAGE:figures/full_fig_p019_5.png]
Figure 6
Figure 6. Figure 6: Probabilistic inversion for both a 2D velocity model and source locations. a) Ground [PITH_FULL_IMAGE:figures/full_fig_p020_6.png]
Figure 7
Figure 7. Figure 7: Probabilistic inversion for a 3D velocity model. a) Ground-truth model from which [PITH_FULL_IMAGE:figures/full_fig_p022_7.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

78 extracted references · 58 canonical work pages

  1. [1]

    Keiiti Aki and W. H. K. Lee. Determination of three-dimensional velocity anomalies under a seismic array using first P arrival times from local earthquakes: 1. A homogeneous initial model. Journal of Geophysical Research (1896-1977), 81 0 (23): 0 4381--4399, 1976. ISSN 2156-2202. doi:10.1029/JB081i023p04381

  2. [2]

    Hamiltonian Monte Carlo algorithms for target- and interval-oriented amplitude versus angle inversions

    Mattia Aleardi and Alessandro Salusti. Hamiltonian Monte Carlo algorithms for target- and interval-oriented amplitude versus angle inversions. GEOPHYSICS, 85 0 (3): 0 R177--R194, May 2020. ISSN 0016-8033, 1942-2156. doi:10.1190/geo2019-0517.1

  3. [3]

    Benaichouche, M

    A. Benaichouche, M. Noble, and A. Gesret. First Arrival Traveltime Tomography Using the Fast Marching Method and the Adjoint State Technique . In 77th EAGE Conference and Exhibition 2015 , Madrid, Spain, June 2015. doi:10.3997/2214-4609.201412568

  4. [4]

    A Conceptual Introduction to Hamiltonian Monte Carlo

    Michael Betancourt. A Conceptual Introduction to Hamiltonian Monte Carlo . arXiv:1701.02434 [stat], 2017

  5. [5]

    Jeff Bezanson, Alan Edelman, Stefan Karpinski, and Viral B. Shah. Julia: A Fresh Approach to Numerical Computing . SIAM Review, 59 0 (1): 0 65--98, 2017. ISSN 0036-1445. doi:10.1137/141000671

  6. [6]

    First-arrival traveltime tomography for anisotropic media using the adjoint-state method

    Umair bin Waheed, Garret Flagg, and Can Evren Yarman. First-arrival traveltime tomography for anisotropic media using the adjoint-state method. GEOPHYSICS, 81 0 (4): 0 R147--R155, July 2016. ISSN 0016-8033, 1942-2156. doi:10.1190/geo2015-0463.1

  7. [7]

    Global adjoint tomography: First-generation model

    Ebru Bozda g , Daniel Peter, Matthieu Lefebvre, Dimitri Komatitsch, Jeroen Tromp, Judith Hill, Norbert Podhorszki, and David Pugmire. Global adjoint tomography: First-generation model. Geophysical Journal International, 207 0 (3): 0 1739--1766, December 2016. ISSN 0956-540X. doi:10.1093/gji/ggw356

  8. [8]

    Brossier, S

    R. Brossier, S. Operto, and J. Virieux. Seismic imaging of complex onshore structures by 2D elastic frequency-domain full-waveform inversion. Geophysics, 74: 0 WCC105--WCC118, 2009

Show all 78 references
  1. [9]

    Saleck, S

    Carey Bunks, Fatimetou M. Saleck, S. Zaleski, and G. Chavent. Multiscale seismic waveform inversion. Geophysics, 60 0 (5): 0 1457--1473, October 1995. ISSN 0016-8033. doi:10.1190/1.1443880

  2. [10]

    V. Cerveny. Seismic Ray Theory . Cambridge University Press, July 2001. ISBN 978-0-521-36671-7

  3. [11]

    Full waveform inversion of seismic data for a viscoelastic medium

    Marwan Charara, Christophe Barnes, and Albert Tarantola. Full waveform inversion of seismic data for a viscoelastic medium. In Methods and Applications of Inversion, pages 68--81. Springer, 2000

  4. [12]

    Makie.jl: Flexible high-performance data visualization for Julia

    Simon Danisch and Julius Krumbiegel. Makie.jl: Flexible high-performance data visualization for Julia . Journal of Open Source Software, 6 0 (65): 0 3349, September 2021. ISSN 2475-9066. doi:10.21105/joss.03349

  5. [13]

    Hamiltonian Monte Carlo based elastic full-waveform inversion of wide-angle seismic data

    Nirmit Dhabaria and Satish C Singh. Hamiltonian Monte Carlo based elastic full-waveform inversion of wide-angle seismic data. Geophysical Journal International, 237 0 (3): 0 1384--1399, June 2024. ISSN 1365-246X. doi:10.1093/gji/ggae112

  6. [14]

    Simon Duane, A. D. Kennedy, Brian J. Pendleton, and Duncan Roweth. Hybrid Monte Carlo . Physics Letters B, 195 0 (2): 0 216--222, 1987. ISSN 0370-2693. doi:10.1016/0370-2693(87)91197-X

  7. [15]

    Full Seismic Waveform Modelling and Inversion

    Andreas Fichtner. Full Seismic Waveform Modelling and Inversion . Advances in Geophysical and Environmental Mechanics and Mathematics . Springer, Berlin, Heidelberg, 2011. ISBN 978-3-642-15806-3 978-3-642-15807-0. doi:10.1007/978-3-642-15807-0

  8. [16]

    Hamiltonian Monte Carlo solution of tomographic inverse problems

    Andreas Fichtner, Andrea Zunino, and Lars Gebraad. Hamiltonian Monte Carlo solution of tomographic inverse problems. Geophysical Journal International, 216 0 (2): 0 1344--1363, 2019. ISSN 0956-540X. doi:10.1093/gji/ggy496

  9. [17]

    Fast sweeping method for the factored eikonal equation

    Sergey Fomel, Songting Luo, and Hongkai Zhao. Fast sweeping method for the factored eikonal equation. Journal of Computational Physics, 228 0 (17): 0 6440--6455, September 2009. ISSN 00219991. doi:10.1016/j.jcp.2009.05.029

  10. [18]

    Bayesian Elastic Full-Waveform Inversion Using Hamiltonian Monte Carlo

    Lars Gebraad, Christian Boehm, and Andreas Fichtner. Bayesian Elastic Full-Waveform Inversion Using Hamiltonian Monte Carlo . Journal of Geophysical Research: Solid Earth, 125 0 (3): 0 e2019JB018428, 2020. ISSN 2169-9356. doi:10.1029/2019JB018428

  11. [19]

    Gauss- Newton and full Newton methods in frequency-space seismic waveform inversion

    Gerhard Pratt , Changsoo Shin, and Hicks . Gauss- Newton and full Newton methods in frequency-space seismic waveform inversion. Geophysical Journal International, 133 0 (2): 0 341--362, May 1998. ISSN 0956540X, 1365246X. doi:10.1046/j.1365-246X.1998.00498.x

  12. [20]

    Riemann manifold Langevin and Hamiltonian Monte Carlo methods: Riemann Manifold Langevin and Hamiltonian Monte Carlo Methods

    Mark Girolami and Ben Calderhead. Riemann manifold Langevin and Hamiltonian Monte Carlo methods: Riemann Manifold Langevin and Hamiltonian Monte Carlo Methods . Journal of the Royal Statistical Society: Series B (Statistical Methodology), 73 0 (2): 0 123--214, March 2011. ISSN...

  13. [21]

    W. K. Hastings. Monte Carlo sampling methods using Markov chains and their applications. Biometrika, 57 0 (1): 0 97--109, April 1970. ISSN 0006-3444. doi:10.1093/biomet/57.1.97

  14. [22]

    Optimization with PDE Constraints

    Michael Hinze, Rene Pinnau, Michael Ulbrich, and Stefan Ulbrich. Optimization with PDE Constraints . Springer, New York, 2009th edition edition, November 2008. ISBN 978-1-4020-8838-4

  15. [23]

    Hoffman and Andrew Gelman

    Matthew D. Hoffman and Andrew Gelman. The No-U-turn sampler: Adaptively setting path lengths in Hamiltonian Monte Carlo . The Journal of Machine Learning Research, 15 0 (1): 0 1593--1623, 2014. ISSN 1532-4435

  16. [24]

    Joint transmission and reflection traveltime tomography using the fast sweeping method and the adjoint-state technique: Joint traveltime tomography

    Jun-Wei Huang and Gilles Bellefleur. Joint transmission and reflection traveltime tomography using the fast sweeping method and the adjoint-state technique: Joint traveltime tomography. Geophysical Journal International, 188 0 (2): 0 570--582, February 2012. ISSN 0956540X. doi...

  17. [25]

    Local earthquake tomography between rays and waves: Fat ray tomography

    Stephan Husen and Edi Kissling. Local earthquake tomography between rays and waves: Fat ray tomography. Physics of the Earth and Planetary Interiors, 123 0 (2): 0 127--147, April 2001. ISSN 0031-9201. doi:10.1016/S0031-9201(00)00206-5

  18. [26]

    Kissling, W

    E. Kissling, W. L. Ellsworth, D. Eberhart-Phillips , and U. Kradolfer. Initial reference models in local earthquake tomography. Journal of Geophysical Research: Solid Earth, 99 0 (B10): 0 19635--19646, 1994. ISSN 2156-2202. doi:10.1029/93JB03138

  19. [27]

    A discontinuous Galerkin fast-sweeping eikonal solver for fast and accurate traveltime computation in 3D tilted anisotropic media

    Philippe Le Bouteiller, Mondher Benjemaa, Ludovic M \'e tivier, and Jean Virieux. A discontinuous Galerkin fast-sweeping eikonal solver for fast and accurate traveltime computation in 3D tilted anisotropic media. GEOPHYSICS, 84 0 (2): 0 C107--C118, March 2019. ISSN 0016-8033, ...

  20. [28]

    Leli \`e vre, Colin G

    Peter G. Leli \`e vre, Colin G. Farquharson, and Charles A. Hurich. Inversion of first-arrival seismic traveltimes without rays, implemented on unstructured grids: Inversion of first-arrivals without rays. Geophysical Journal International, 185 0 (2): 0 749--763, May 2011. ISS...

  21. [29]

    An adjoint state method for three-dimensional transmission traveltime tomography using first-arrivals

    Shingyu Leung and Jianliang Qian. An adjoint state method for three-dimensional transmission traveltime tomography using first-arrivals. Communications in Mathematical Sciences, 4 0 (1): 0 249--266, March 2006. ISSN 1945-0796. doi:10.4310/CMS.2006.v4.n1.a10

  22. [30]

    First-break traveltime tomography with the double-square-root eikonal equation

    Siwei Li, Alexander Vladimirsky, and Sergey Fomel. First-break traveltime tomography with the double-square-root eikonal equation. GEOPHYSICS, 78 0 (6): 0 U89--U101, November 2013. ISSN 0016-8033. doi:10.1190/geo2013-0058.1

  23. [31]

    A level-set adjoint-state method for crosswell transmission-reflection traveltime tomography

    Wenbin Li, Shingyu Leung, and Jianliang Qian. A level-set adjoint-state method for crosswell transmission-reflection traveltime tomography. Geophysical Journal International, 199 0 (1): 0 348--367, October 2014. ISSN 1365-246X, 0956-540X. doi:10.1093/gji/ggu262

  24. [32]

    Optimal Control of Systems Governed by Partial Differential Equations

    Jacques-Louis Lions. Optimal Control of Systems Governed by Partial Differential Equations . Springer-Verlag, 1971. ISBN 978-0-387-05115-4

  25. [33]

    Liu and Jorge Nocedal

    Dong C. Liu and Jorge Nocedal. On the limited memory BFGS method for large scale optimization. Mathematical Programming, 45 0 (1): 0 503--528, August 1989. ISSN 1436-4646. doi:10.1007/BF01589116

  26. [34]

    Higher-order schemes for 3D first-arrival traveltimes and amplitudes

    Songting Luo, Jianliang Qian, and Hongkai Zhao. Higher-order schemes for 3D first-arrival traveltimes and amplitudes. GEOPHYSICS, 77 0 (2): 0 T47--T56, March 2012. ISSN 0016-8033. doi:10.1190/geo2010-0363.1

  27. [35]

    Rosenbluth, Marshall N

    Nicholas Metropolis, Arianna W. Rosenbluth, Marshall N. Rosenbluth, Augusta H. Teller, and Edward Teller. Equation of State Calculations by Fast Computing Machines . The Journal of Chemical Physics, 21 0 (6): 0 1087--1092, June 1953. ISSN 0021-9606. doi:10.1063/1.1699114

  28. [36]

    16 Probabilistic approach to inverse problems

    Klaus Mosegaard and Albert Tarantola. 16 Probabilistic approach to inverse problems. In International Geophysics , volume 81, pages 237--265. Elsevier, 2002. ISBN 978-0-12-440652-0. doi:10.1016/S0074-6142(02)80219-4

  29. [37]

    Radford M. Neal. MCMC Using Hamiltonian Dynamics . In Handbook of Markov Chain Monte Carlo . Chapman and Hall/CRC , 2011. ISBN 978-0-429-13850-8

  30. [38]

    Noble, A

    M. Noble, A. Gesret, and N. Belayouni. Accurate 3- D finite difference computation of traveltimes in strongly heterogeneous media. Geophysical Journal International, 199 0 (3): 0 1572--1585, December 2014. ISSN 0956-540X. doi:10.1093/gji/ggu358

  31. [39]

    Updating quasi- Newton matrices with limited storage

    Jorge Nocedal. Updating quasi- Newton matrices with limited storage. Mathematics of Computation, 35 0 (151): 0 773--782, 1980. ISSN 0025-5718, 1088-6842. doi:10.1090/S0025-5718-1980-0572855-7

  32. [40]

    Jorge Nocedal and Stephen J. Wright. Numerical Optimization. Springer Series in Operations Research. Springer, New York, 2nd ed edition, 2006. ISBN 978-0-387-30303-1

  33. [41]

    G. Nolet. A Breviary of Seismic Tomography . Cambridge University Press, September 2008

  34. [42]

    A. Pica. Fast and accurate finite-difference solutions of the 3D eikonal equation parametrized in celerity. In SEG Technical Program Expanded Abstracts 1997 , pages 1774--1777. Society of Exploration Geophysicists, January 1997. doi:10.1190/1.1885777

  35. [43]

    R.-E. Plessix. A review of the adjoint-state method for computing the gradient of a functional with geophysical applications. Geophysical Journal International, 167 0 (2): 0 495--503, November 2006. ISSN 0956540X, 1365246X. doi:10.1111/j.1365-246X.2006.02978.x

  36. [44]

    Finite difference computation of traveltimes in very contrasted velocity models: A massively parallel approach and its associated tools

    Pascal Podvin and Isabelle Lecomte. Finite difference computation of traveltimes in very contrasted velocity models: A massively parallel approach and its associated tools. Geophysical Journal International, 105 0 (1): 0 271--284, April 1991. ISSN 0956540X, 1365246X. doi:10.11...

  37. [45]

    Jianliang Qian and William W. Symes. An adaptive finite-difference method for traveltimes and amplitudes. GEOPHYSICS, 67 0 (1): 0 167--176, January 2002. ISSN 0016-8033. doi:10.1190/1.1451472

  38. [46]

    Rawlinson and M

    N. Rawlinson and M. Sambridge. Seismic traveltime tomography of the crust and the lithosphere. In Advances in Geophysics , volume 46, pages 81--198. Elsevier, January 2003. doi:10.1016/S0065-2687(03)46002-0

  39. [47]

    Rawlinson and M

    N. Rawlinson and M. Sambridge. Multiple reflection and transmission phases in complex layered media using a multistage fast marching method. GEOPHYSICS, 69 0 (5): 0 1338--1350, September 2004 a . ISSN 0016-8033, 1942-2156. doi:10.1190/1.1801950

  40. [48]

    Rawlinson and M

    N. Rawlinson and M. Sambridge. Wave front evolution in strongly heterogeneous layered media using the fast marching method. Geophysical Journal International, 156 0 (3): 0 631--647, March 2004 b . ISSN 0956540X, 1365246X. doi:10.1111/j.1365-246X.2004.02153.x

  41. [49]

    Rawlinson, S

    N. Rawlinson, S. Pozgay, and S. Fishwick. Seismic tomography: A window into deep Earth . Physics of the Earth and Planetary Interiors, 178 0 (3): 0 101--135, February 2010. ISSN 0031-9201. doi:10.1016/j.pepi.2009.10.002

  42. [50]

    Alain Sei and William W. Symes. Gradient calculation of the traveltime cost function without ray tracing. In SEG Technical Program Expanded Abstracts 1994 , SEG Technical Program Expanded Abstracts , pages 1351--1354. Society of Exploration Geophysicists, January 1994. doi:10....

  43. [51]

    Sen and Reetam Biswas

    Mrinal K. Sen and Reetam Biswas. Transdimensional seismic inversion using the reversible jump Hamiltonian Monte Carlo algorithm. Geophysics, 82 0 (3): 0 R119--R134, 2017. ISSN 0016-8033. doi:10.1190/geo2016-0010.1

  44. [52]

    A fast marching level set method for monotonically advancing fronts

    J A Sethian. A fast marching level set method for monotonically advancing fronts. Proceedings of the National Academy of Sciences, 93 0 (4): 0 1591--1595, February 1996. doi:10.1073/pnas.93.4.1591

  45. [53]

    J. A. Sethian. Advances in Fast Marching and Level Set Methods for Propagating Interfaces . In Rolf Jeltsch and Michael Fey, editors, Hyperbolic Problems : Theory , Numerics , Applications , pages 855--864. Birkh \"a user Basel, Basel, 1999 a . ISBN 978-3-0348-9744-0 978-3-034...

  46. [54]

    J. A. Sethian. Fast Marching Methods . SIAM Review, 41 0 (2): 0 199--235, January 1999 b . ISSN 0036-1445. doi:10.1137/S0036144598347059

  47. [55]

    Sethian and A

    James A. Sethian and A. Mihai Popovici. 3- D traveltime computation using the fast marching method. GEOPHYSICS, 64 0 (2): 0 516--523, March 1999. ISSN 0016-8033, 1942-2156. doi:10.1190/1.1444558

  48. [56]

    N. A. Simmons, S. C. Myers, G. Johannesson, and E. Matzel. LLNL-G3Dv3 : Global P wave tomography model for improved regional and teleseismic travel time prediction. Journal of Geophysical Research: Solid Earth, 117 0 (B10), 2012. ISSN 2156-2202. doi:10.1029/2012JB009525

  49. [57]

    First-arrival traveltime tomography based on the adjoint-state method

    C \'e dric Taillandier, Mark Noble, Herv \'e Chauris, and Henri Calandra. First-arrival traveltime tomography based on the adjoint-state method. Geophysics, 74 0 (6): 0 WCB1--WCB10, November 2009. ISSN 0016-8033, 1942-2156. doi:10.1190/1.3250266

  50. [58]

    Adjoint Tomography of the Southern California Crust

    Carl Tape, Qinya Liu, Alessia Maggi, and Jeroen Tromp. Adjoint Tomography of the Southern California Crust . Science, 325 0 (5943): 0 988--992, August 2009. doi:10.1126/science.1175298

  51. [59]

    Inverse Problem Theory and Methods for Model Parameter Estimation

    Albert Tarantola. Inverse Problem Theory and Methods for Model Parameter Estimation . Other Titles in Applied Mathematics . Society for Industrial and Applied Mathematics , January 2005. ISBN 978-0-89871-572-9. doi:10.1137/1.9780898717921

  52. [60]

    Tavakoli B., S

    F. Tavakoli B., S. Operto, A. Ribodetti, and J. Virieux. Slope tomography based on eikonal solvers and the adjoint-state method. Geophysical Journal International, 209 0 (3): 0 1629--1647, June 2017. ISSN 0956-540X, 1365-246X. doi:10.1093/gji/ggx111

  53. [61]

    Clifford H. Thurber. Earthquake locations and three-dimensional crustal structure in the Coyote Lake Area , central California . Journal of Geophysical Research: Solid Earth, 88 0 (B10): 0 8226--8236, 1983. ISSN 2156-2202. doi:10.1029/JB088iB10p08226

  54. [62]

    Clifford H. Thurber. Hypocenter-velocity structure coupling in local earthquake tomography. Physics of the Earth and Planetary Interiors, 75 0 (1): 0 55--62, December 1992. ISSN 0031-9201. doi:10.1016/0031-9201(92)90117-E

  55. [63]

    Adjoint- State Traveltime Tomography : Eikonal Equation-Based Methods and Application to the Anza Area in Southern California

    Ping Tong. Adjoint- State Traveltime Tomography : Eikonal Equation-Based Methods and Application to the Anza Area in Southern California . Journal of Geophysical Research: Solid Earth, 126 0 (5): 0 e2021JB021818, 2021 a . ISSN 2169-9356. doi:10.1029/2021JB021818

  56. [64]

    Adjoint- State Traveltime Tomography for Azimuthally Anisotropic Media and Insight Into the Crustal Structure of Central California Near Parkfield

    Ping Tong. Adjoint- State Traveltime Tomography for Azimuthally Anisotropic Media and Insight Into the Crustal Structure of Central California Near Parkfield . Journal of Geophysical Research: Solid Earth, 126 0 (10): 0 e2021JB022365, 2021 b . ISSN 2169-9356. doi:10.1029/2021JB022365

  57. [65]

    Adjoint-state differential arrival time tomography

    Ping Tong, Tianjue Li, Jing Chen, and Masaru Nagaso. Adjoint-state differential arrival time tomography. Geophysical Journal International, 236 0 (1): 0 139--160, January 2024. ISSN 0956-540X. doi:10.1093/gji/ggad416

  58. [66]

    A fast marching algorithm for the factored eikonal equation

    Eran Treister and Eldad Haber. A fast marching algorithm for the factored eikonal equation. Journal of Computational Physics, 324: 0 210--225, November 2016. ISSN 0021-9991. doi:10.1016/j.jcp.2016.08.012

  59. [67]

    Seismic tomography, adjoint methods, time reversal and banana-doughnut kernels: Seismic tomography, adjoint methods, time reversal and banana-doughnut kernels

    Jeroen Tromp, Carl Tape, and Qinya Liu. Seismic tomography, adjoint methods, time reversal and banana-doughnut kernels: Seismic tomography, adjoint methods, time reversal and banana-doughnut kernels. Geophysical Journal International, 160 0 (1): 0 195--216, December 2004. ISSN...

  60. [68]

    Jos van Trier and William W. Symes. Upwind finite-difference calculation of traveltimes. Geophysics, 56 0 (6): 0 812--821, June 1991. ISSN 0016-8033. doi:10.1190/1.1443099

  61. [69]

    J. Vidale. Finite-difference calculation of travel times. Bulletin of the Seismological Society of America, 1988

  62. [70]

    John E. Vidale. Finite-difference calculation of traveltimes in three dimensions. Geophysics, 55 0 (5): 0 521--526, May 1990. ISSN 0016-8033. doi:10.1190/1.1442863

  63. [71]

    Virieux and S

    J. Virieux and S. Operto. An overview of full-waveform inversion in exploration geophysics. GEOPHYSICS, 74 0 (6): 0 WCC1--WCC26, November 2009. ISSN 0016-8033. doi:10.1190/1.3238367

  64. [72]

    Ray tracing in 3- D complex isotropic media; an analysis of the problem

    Jean Virieux and Veronique Farra. Ray tracing in 3- D complex isotropic media; an analysis of the problem. Geophysics, 56 0 (12): 0 2057--2069, December 1991. ISSN 0016-8033. doi:10.1190/1.1443018

  65. [73]

    Zelt and Penny J

    Colin A. Zelt and Penny J. Barton. Three-dimensional seismic refraction tomography: A comparison of two methods applied to data from the Faeroe Basin . Journal of Geophysical Research: Solid Earth, 103 0 (B4): 0 7187--7210, 1998. ISSN 2156-2202. doi:10.1029/97JB03536

  66. [74]

    Rector, and G

    Linbin Zhang, James W. Rector, and G. Michael Hoversten. Eikonal solver in the celerity domain. Geophysical Journal International, 162 0 (1): 0 1--8, July 2005. ISSN 0956540X, 1365246X. doi:10.1111/j.1365-246X.2005.02626.x

  67. [75]

    A fast sweeping method for Eikonal equations

    Hongkai Zhao. A fast sweeping method for Eikonal equations. Mathematics of Computation, 74 0 (250): 0 603--627, April 2005. ISSN 0025-5718, 1088-6842. doi:10.1090/S0025-5718-04-01678-3

  68. [76]

    Zunino and K

    A. Zunino and K. Mosegaard. Integrating Gradient Information with Probabilistic Traveltime Tomography Using the Hamiltonian Monte Carlo Algorithm . In 80th EAGE Conference & Exhibition 2018 Workshop Programme , page cp. European Association of Geoscientists & Engineers, June 2...

  69. [77]

    Hamiltonian Monte Carlo Probabilistic Joint Inversion of 2D (2

    Andrea Zunino, Alessandro Ghirotto, Egidio Armadillo, and Andreas Fichtner. Hamiltonian Monte Carlo Probabilistic Joint Inversion of 2D (2. 75D ) Gravity and Magnetic Data . Geophysical Research Letters, 49 0 (20): 0 e2022GL099789, 2022. ISSN 1944-8007. doi:10.1029/2022GL099789

  70. [78]

    HMCLab : A framework for solving diverse geophysical inverse problems using the Hamiltonian Monte Carlo method

    Andrea Zunino, Lars Gebraad, Alessandro Ghirotto, and Andreas Fichtner. HMCLab : A framework for solving diverse geophysical inverse problems using the Hamiltonian Monte Carlo method. Geophysical Journal International, 235 0 (3): 0 2979--2991, December 2023. ISSN 0956-540X. do...

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.