Search arXivSearch

arXiv · 2609.14982

efficient matrix-free gauss-newton traveltime tomography on full-metric deformed grids

Abstract

First-arrival traveltime tomography provides a computationally efficient means of imaging subsurface velocity structure, while boundary-conforming deformed grids allow rugged topography to be represented without abandoning a logically structured mesh. In matrix-free Gauss-Newton inversion, however, the linearized full-metric Eikonal transport and its transpose must be applied repeatedly at a fixed background model. Directional sweeping consequently revisits the same state-dependent dependency structure for every Krylov right-hand side. We recast the frozen tangent transport as a directed graph and distinguish loss of the background-traveltime ordering from genuine algebraic cyclicity. Strongly connected components identify the irreducible part of the transport, whereas the remaining dependencies admit exact scalar substitution after reordering. The condensation graph and local block factorizations are constructed once for each frozen source state and then reused for both primal and transpose applications. Numerical experiments on deformed grids and a three-dimensional tomography problem show that the resulting block-triangular formulation preserves the frozen sensitivity action while substantially reducing the repeated transport cost. By eliminating this dominant inner-iteration cost, the proposed method markedly accelerates Gauss-Newton computation and makes full-metric matrix-free inversion on deformed grids practical at much lower cost.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zuwei Huang, Pingchuan Ma, Peng Yu, Takao Koyama, Luolei Zhang, Chongjin Zhao, Mingxin Chu. 2026-09-14. efficient matrix-free gauss-newton traveltime tomography on full-metric deformed grids. https://arxiv.org/abs/2609.14982

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Fully spectral scheme for the linear BGK equation on the whole space

In this article, we design a fully spectral method in both space and velocity for a linear inhomogeneous kinetic equation with mass, momentum and energy conservation. We focus on the linear BGK equation with a confinement potential $Φ$, even if the method could be applied to different collision operators. It is based upon the projection on Hermite polynomials in velocity and orthonormal polynomials with respect to the weight $e^{-$Φ$}$ in space. The potential $Φ$ is assumed to be a polynomial. It is, to the author's knowledge, the first scheme which preserves hypocoercive behavior in addition to the conservation laws. These different properties are illustrated numerically on both quadratic and double well potential.

math.NA

Inverse inequalities for kernel-based approximation on bounded domains and Riemannian manifolds

This paper establishes inverse inequalities for kernel-based approximation spaces defined on bounded Lipschitz domains in $\mathbb{R}^d$ and compact Riemannian manifolds. While inverse inequalities are well-studied for polynomial spaces, their extension to kernel-based trial spaces poses significant challenges. For bounded Lipschitz domains, we extend prior Bernstein inequalities, which only apply to a limited range of Sobolev orders, to the full range of lower and upper orders, and derive Nikolskii inequalities that bound $L_\infty$ norms by $L_2$ norms. For compact Riemannian manifolds, we focus on restricted kernels, which are defined as the restriction of positive definite kernels from the ambient Euclidean space to the manifold, and prove their counterparts.

math.NA

Error Estimates for Hyperbolic Scaling Limits of Linear Kinetic Models on Networks

This paper studies linear discrete kinetic models on networks and their asymptotic behavior in the small Knudsen number limit. For coupling conditions at an n-edge junction under a symmetric formulation, we introduce a change of variables that reformulates the system into n independent initial-boundary value problems. The asymptotic expansions are then constructed and rigorously justified by deriving an error estimate based on the energy method.

math.NA