Recognition: no theorem link
SWEEP (Seismic Wave Equation Exploration Platform): A Unified Solver Framework for Differentiable Wave Physics
Pith reviewed 2026-05-13 22:28 UTC · model grok-4.3
The pith
SWEEP provides one extensible library for solving acoustic, elastic, anisotropic and attenuative seismic waves with automatic differentiation built in for inversion.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
SWEEP is a unified and extensible wave-equation solver library that supports acoustic, elastic, attenuative, VTI, TTI and Born-approximation engines together with automatic differentiation. The library thereby allows direct implementation of full-waveform inversion, least-squares reverse-time migration and other gradient-based seismic inverse methods inside the same code base.
What carries the argument
The SWEEP unified solver architecture with automatic differentiation that keeps wave-physics models interchangeable while preserving gradient flow.
If this is right
- Full-waveform inversion and least-squares reverse-time migration can be coded directly from the provided wave engines without separate adjoint derivations.
- Different wave approximations (acoustic to TTI) can be swapped inside the same inversion workflow.
- Custom loss functions and neural-network modules can be inserted at the optimization level without rewriting the wave propagators.
- Multi-GPU scaling becomes available for the supported wave types through the library's built-in support.
Where Pith is reading between the lines
- Developers could test new hybrid physics-plus-machine-learning inversion schemes by swapping only the loss or network layer rather than the entire solver stack.
- The same differentiable-wave core might be repurposed for related inverse problems in other wave-dominated fields once the seismic-specific engines are abstracted.
- If the automatic-differentiation overhead remains low, end-to-end differentiable pipelines that jointly optimize velocity models and network parameters become feasible at field scales.
Load-bearing premise
The plug-and-play design and automatic-differentiation layer can combine custom losses, neural networks and multi-GPU runs without hidden performance penalties that would block practical large-scale use.
What would settle it
A timing or accuracy test in which replacing a hand-written gradient or loss function with the corresponding SWEEP module produces either substantially slower execution or visibly different inversion results would falsify the claim of seamless integration.
Figures
read the original abstract
SWEEP (Seismic Wave Equation Exploration Platform) is a unified and extensible wave equation solver library designed for wavefield modeling and inversion. It supports a wide range of wave propagation engines, including acoustic, elastic, attenuative, VTI, TTI, and their Born approximations, among others. With a built-in support for automatic differentiation, the framework enables seamless implementation of full-waveform inversion (FWI), least-squares reverse time migration (LSRTM), and other gradient-based optimization methods. It also features a plug-and-play architecture, allowing easy integration and flexible combination of custom loss functions, multi-GPU computation, neural networks, and more. This makes Sweep a powerful and customizable platform for tackling advanced seismic inverse problems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces SWEEP, a unified and extensible solver library for seismic wave propagation that supports acoustic, elastic, attenuative, VTI, TTI, and Born-approximation engines. It claims built-in automatic differentiation enables direct use in gradient-based methods such as full-waveform inversion (FWI) and least-squares reverse time migration (LSRTM), together with a plug-and-play architecture for custom loss functions, multi-GPU execution, and neural-network integration.
Significance. If the claimed seamless AD integration and extensibility hold without hidden performance costs, SWEEP could become a useful platform for the seismic imaging community by reducing the engineering overhead of implementing differentiable wave-physics workflows and facilitating hybrid physics-ML inversions. The absence of any verification data, however, prevents assessment of whether these advantages are realized in practice.
major comments (2)
- [Abstract] Abstract: the central claim that the framework provides 'seamless implementation' of FWI/LSRTM and 'plug-and-play' support for multi-GPU and neural-network components is not accompanied by any description of the underlying discretization, the AD backend (e.g., PyTorch/JAX), or how custom operators are registered, rendering the extensibility assertions unverifiable.
- [Abstract] No section supplies numerical benchmarks, convergence tests, or comparisons against established codes (e.g., Devito, SPECFEM), which are required to substantiate the performance and accuracy claims for the listed wave engines.
Simulated Author's Rebuttal
We thank the referee for the constructive review and for highlighting areas where the manuscript requires greater technical specificity and verification. We address each major comment below and indicate the changes planned for the revised version.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central claim that the framework provides 'seamless implementation' of FWI/LSRTM and 'plug-and-play' support for multi-GPU and neural-network components is not accompanied by any description of the underlying discretization, the AD backend (e.g., PyTorch/JAX), or how custom operators are registered, rendering the extensibility assertions unverifiable.
Authors: We agree that the abstract and main text are insufficiently detailed on implementation. In the revision we will add a dedicated 'Implementation' section that specifies the finite-difference discretizations (staggered-grid schemes with orders 2–8 depending on the engine), identifies PyTorch as the automatic-differentiation backend, and explains operator registration via custom torch.autograd.Function classes together with the plug-in mechanism for loss functions and neural-network modules. These additions will make the extensibility claims directly verifiable. revision: yes
-
Referee: [Abstract] No section supplies numerical benchmarks, convergence tests, or comparisons against established codes (e.g., Devito, SPECFEM), which are required to substantiate the performance and accuracy claims for the listed wave engines.
Authors: We acknowledge the absence of verification results in the submitted manuscript. The revision will include a new 'Numerical Verification' section containing (i) grid-convergence studies reporting L2 error norms for the acoustic and elastic engines, (ii) accuracy checks against analytic solutions for homogeneous media, and (iii) runtime and memory benchmarks versus Devito on identical 2-D test cases. Comprehensive side-by-side comparisons with SPECFEM for all supported physics (including attenuative and anisotropic cases) exceed the scope of the present work and will be noted as a limitation; we will instead provide the available Devito comparisons and discuss relative engineering overhead. revision: partial
Circularity Check
No significant circularity
full rationale
The paper presents SWEEP as a software framework and library for wave equation solvers with built-in AD support across multiple physics engines. No derivation chain, parameter fitting, or predictive claims are made that reduce to inputs by construction. The abstract and description focus on architecture, extensibility, and integration features without invoking uniqueness theorems, self-citations as load-bearing premises, or renaming empirical results. This is a standard tool-description paper whose central claims are design statements rather than derived results.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard acoustic, elastic, attenuative, VTI, and TTI wave equations are accurately discretized and solved by the framework.
Reference graph
Works this paper leans on
-
[1]
An overview of full-waveform inversion in exploration geophysics.Geophysics, 74(6), 2009
Jean Virieux and Stéphane Operto. An overview of full-waveform inversion in exploration geophysics.Geophysics, 74(6), 2009
work page 2009
-
[2]
Claerbout.Imaging the Earth’s Interior
Jon F. Claerbout.Imaging the Earth’s Interior. 1985
work page 1985
-
[3]
Shaowen Wang, Yong Jiang, Peng Song, Jun Tan, Zhaolun Liu, and Bingshou He. Memory optimization in rnn- based full waveform inversion using boundary saving wavefield reconstruction.IEEE Transactions on Geoscience and Remote Sensing, 61:1–12, 2023
work page 2023
-
[4]
Feng Liu, Haipeng Li, Guangyuan Zou, and Junlun Li. Automatic differentiation-based full waveform in- version with flexible workflows.Journal of Geophysical Research: Machine Learning and Computation, 2(1):e2024JH000542, 2025
work page 2025
-
[5]
Alan Richardson. Seismic full-waveform inversion using deep learning tools and techniques.arXiv preprint arXiv:1801.07232, 2018
-
[6]
Jax: Composable transforma- tions of python+numpy programs, 2018
James Bradbury, Roy Frostig, Peter Hawkins, Matthew James Johnson, Chris Leary, Dougal Maclaurin, George Necula, Adam Paszke, Jake VanderPlas, Skye Wanderman-Milne, and Qiao Zhang. Jax: Composable transforma- tions of python+numpy programs, 2018
work page 2018
-
[7]
Tyler W. Hughes, Ian A. D. Williamson, Momchil Minkov, and Shanhui Fan. Wave physics as an analog recurrent neural network.Science Advances, 5(12):eaay6946, 2019
work page 2019
-
[8]
Innanen, Junxiao Li, and Daniel O
Jian Sun, Zhan Niu, Kristopher A. Innanen, Junxiao Li, and Daniel O. Trad. A theory-guided deep-learning formulation and optimization of seismic waveform inversion.Geophysics, 85(2):R87–R99, 2020
work page 2020
-
[9]
Leandro Di Bartolo, Cleberson Dors, and Webe J. Mansur. A new family of finite-difference schemes to solve the heterogeneous acoustic wave equation.Geophysics, 77(5):T187–T199, 2012
work page 2012
-
[10]
N. D. Whitmore, J. Ramos-Martinez, Y . Yang, and A. Valenciano. Full wavefield modeling with vector reflectivity. InEuropean Association of Geoscientists and Engineers, pages 1–5, 2020
work page 2020
-
[11]
An acoustic wave equation for anisotropic media.Geophysics, 65(4):1239–1250, 2000
Tariq Alkhalifah. An acoustic wave equation for anisotropic media.Geophysics, 65(4):1239–1250, 2000
work page 2000
-
[12]
Kai Liang, Danping Cao, Shangrao Sun, and Xingyao Yin. Decoupled wave equation and forward modeling of qp wave in vti media with the new acoustic approximation.Geophysics, 88(1):W A335–W A344, 2023
work page 2023
-
[13]
Jean Virieux. P-sv wave propagation in heterogeneous media: Velocity-stress finite-difference method.Geophysics, 51(4):889–901, 1986
work page 1986
-
[14]
Pengfei Yu, Jianhua Geng, Xiaobo Li, and Chenlong Wang. Acoustic-elastic coupled equation for ocean bottom seismic data elastic reverse time migration.Geophysics, 81(5):S333–S345, 2016
work page 2016
-
[15]
Xinru Mu and Tariq Alkhalifah. An efficient pseudoelastic pure p-mode wave equation and the implementation of the free surface boundary condition.Geophysical Prospecting, 72(9):3187–3201, 2024
work page 2024
- [16]
- [17]
-
[18]
Minao Sun, Shuanggen Jin, and Pengfei Yu. Elastic least-squares reverse-time migration based on a modified acoustic-elastic coupled equation for obs four-component data.IEEE Transactions on Geoscience and Remote Sensing, 59(11):9772–9782, 2021. 13
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.