REVIEW 4 major objections 6 minor 35 references
Inner-Loop-Free Total-Variation-Constrained Full-Waveform Inversion
T0 review · 4 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read A primal-dual splitting algorithm solves the TV- and box-constrained full-waveform inversion problem accurately by reducing the TV-constraint update to a single projection per iteration, eliminating inner loops and approximations.
desk verdict A correct and useful PDS wrapper for TV-constrained FWI, but the 'accurately solves' claim is not backed by convergence theory or by baseline experiments. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the primal-dual splitting update applied to the constrained problem (12), with the TV constraint encoded as the indicator function of the $\ell_{1,2}$-ball composed with the discrete difference operator D. The key identity is the conjugate-prox relation $\operatorname{prox}_{\gamma h^*}(y) = y - \gamma \operatorname{prox}_{h/\gamma}(y/\gamma)$, which turns the dual update into one metric projection onto the TV ball; that projection is itself computed by projecting the per-pixel gradient magnitudes onto the one-dimensional $\ell_1$-ball. This construction is what removes inner loops and keeps the TV-constraint cost at $O(N \log N)$ per iteration, leaving the wave-equation gradient evaluation as the dominant step.
What would settle it
Run Algorithm 1 on a velocity model where standard FWI is known to stall in a local minimum, and record the constraint violation $\|Dm^{(k)}\|_{1,2} - \alpha$ together with the misfit $E(m^{(k)})$ over iterations; if the iterates fail to converge to a feasible point, or oscillate, for step sizes within the PDS-admissible range, the claim that the algorithm solves (12) is refuted.
Extended reading notes
Core claim
The paper's central claim is that problem (12) — the FWI misfit minimized subject to the TV-ball constraint $\|Dm\|_{1,2} \le \alpha$ and a box constraint $m \in [l,u]^N$ — can be solved accurately by the primal-dual splitting iteration written out in Algorithm 1. Identifying the misfit E with the differentiable function f of the PDS template, the box indicator with g, the TV-ball indicator with h, and the discrete difference operator D with the linear operator L, the authors obtain a closed-form update: one gradient step, one projection onto the box, and one projection onto the $\ell_{1,2}$-ball for the dual variable. They argue that because the iteration strictly follows the PDS framework, it solves the constrained problem without approximations, and because the constraint handling is a single projection per iteration, there is no inner loop. On the standard salt and overthrust velocity benchmarks, the claim is supported by reconstructions whose RMSE and SSIM beat standard FWI for the tested $\alpha$ values, with the best result near $\alpha = 350$, and by SSIM-versus-iteration curves that stay high even after many iterations with noisy data.
Load-bearing premise
The load-bearing premise is that the nonconvex FWI misfit $E(m)$ can be treated as the convex differentiable term required by the primal-dual splitting convergence theorem; the paper gives no convergence proof and no step-size condition showing that this requirement holds.
Editorial extensions
If this is right
- Per-iteration cost of enforcing the TV constraint is $O(N \log N)$, so the wave-equation gradient evaluation $O(S T N)$ becomes the dominant cost, making constrained FWI practical at larger scales.
- The TV bound $\|Dm\|_{1,2} \le \alpha$ is enforced exactly, not approximately, at every iteration, so every reconstructed model satisfies the stated prior.
- With noisy data, the method keeps SSIM high at large iteration counts, unlike standard FWI whose SSIM degrades, indicating reduced overfitting to noise.
- The parameter $\alpha$ acts as a predictable smoothness dial: smaller $\alpha$ over-smooths the model and larger $\alpha$ approaches standard FWI, so $\alpha$ can be chosen from prior knowledge of subsurface structure rather than tuned against the misfit.
Reading between the lines
- The paper does not compare against earlier TV-regularized or TV-constrained FWI solvers directly; a head-to-head test would separate the benefit of the constraint formulation from the benefit of the inner-loop-free solver.
- Because the convergence argument is inherited from PDS and no step-size rule is derived for the nonconvex misfit, the step sizes $\gamma_1$ and $\gamma_2$ in the experiments are heuristic; line-search or adaptive step-size variants are a natural testable extension.
- The same splitting structure would survive replacing the isotropic $\ell_{1,2}$ TV ball with a weighted or direction-dependent TV ball, which could encode geological dip information without changing the one-projection-per-step architecture.
- The empirical claims are demonstrated on 50×100 two-dimensional models; scaling to three-dimensional surveys would stress both the $O(S T N)$ gradient cost and the memory of the dual variable, and this scaling is not addressed in the paper.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes to solve TV- and box-constrained full-waveform inversion by applying Condat's primal-dual splitting (PDS) directly to problem (12), where the objective is the least-squares FWI misfit E(m) and the constraints are a TV-ball constraint and a box constraint. Algorithm 1 is presented as an inner-loop-free, approximation-free solver, with the claimed advantage that the TV constraint is enforced through a single proximal projection per iteration (Remark 1). The paper reports experiments on the SEG/EAGE Salt model, comparing the proposed method with standard gradient-descent FWI over a range of TV bound values α, and concludes that the method removes wave-like artifacts, improves RMSE/SSIM, and is robust to noise.
Significance. If the central claim were established, the paper would offer a practically valuable simplification of TV-constrained FWI: eliminating inner loops in constraint enforcement is attractive for large-scale seismic inversion, and the proximal operators for the TV ball and box are correctly derived. The problem formulation is clear, the algorithm is simple and reproducible, and the experiments show a qualitative improvement over unconstrained gradient descent on a standard benchmark. However, the main mathematical claim—that Algorithm 1 'accurately solves' problem (12) by strictly following the PDS framework—is not supported, because the PDS convergence theorem invoked is for convex objectives and the FWI misfit is nonconvex. The experimental section is also too narrow to substantiate the efficiency and accuracy claims. No circular reasoning was found; the self-citations are motivational rather than load-bearing.
major comments (4)
- [Section III, Eq. (12) and Algorithm 1] The identification of problem (12) with the PDS template (8) requires f = E to be convex with a Lipschitz-continuous gradient. Here E(m) = (1/2)||u_obs - u_cal(m)||^2, where u_cal is a nonlinear wave-propagation map; E is nonconvex in m, and no Lipschitz constant for its gradient is provided. Condat's theorem [31] therefore does not apply, and the assertion that the algorithm 'accurately solves the optimization problem without relying on approximations or relaxations' is unsupported. The paper needs either a convergence analysis for the nonconvex setting (e.g., local convergence, subsequential stationarity, or a monotone-operator argument) or an explicit reframing of Algorithm 1 as a heuristic with correspondingly weakened claims.
- [Section IV-A, Algorithm 1 step sizes] The step sizes γ1 = 1e-4 and γ2 = 1e2 are set without any relation to the Lipschitz constant of ∇E or the norm of D, and no step-size condition is derived. Since no convergence theorem is established for the nonconvex objective, there is no guarantee that the iterates approach a solution of (12). The paper should report how these step sizes were selected, provide a step-size sensitivity study, and, if possible, state a valid range based on the problem data.
- [Section IV-B, Figs. 6-7] The optimal value α = 350 is selected post-hoc on the test model: the paper varies α and reports the best RMSE/SSIM, so the quantitative advantage of the proposed method includes oracle parameter choice. This does not demonstrate that the method can be applied without access to the true model. Please add a validation or model-selection procedure, report performance across an interval of α values, or explicitly restrict the claim to the tuned setting.
- [Section IV, experimental comparison] The experiments compare only against standard gradient-descent FWI. There is no comparison with existing TV-regularized or TV-constrained FWI methods [21]-[24], and no wall-clock time or iteration-count comparison against an inner-loop method, so the efficiency claim in Remark 1 is not empirically validated. Additionally, the paper never reports whether the final iterates satisfy ||Dm||_{1,2} ≤ α or whether the PDS fixed-point residual decreases. Without such feasibility and convergence diagnostics, the figures do not establish that Algorithm 1 actually solves problem (12) rather than merely producing a useful reconstruction.
minor comments (6)
- [Abstract and Section I] The abstract and introduction mention the SEG/EAGE Salt and Overthrust Models, but the experiments in Section IV describe only the Salt model; clarify which benchmarks were actually run.
- [Algorithm 1] The input line lists γ0 and γ1, but the iteration uses γ1 and γ2; correct the pseudo-code to match the text.
- [Eq. (16)] The notation P_{||·||_1≤α} is used without a formal definition; define the projection onto the ℓ1 ball and specify the zero-norm case in Eq. (15) explicitly.
- [Section IV-B] There are typos in the text and figure captions, including 'sinthesized' in the Fig. 2 caption and 'archive accurate' in Section IV-B; both should be corrected.
- [Remark 1] The phrase 'iteration-dependent factor is eliminated' is misleading because each PDS iteration still requires the gradient computation ∇E, which is the dominant cost; rephrase to say that no inner loop is used within the constraint-enforcement step.
- [Figs. 5-7] The figures would benefit from clearer axis labels and error bars or multiple noise realizations; as written, the results appear to come from a single synthetic realization, which limits the strength of the robustness claims.
Circularity Check
No circularity: Algorithm 1 is a direct PDS template application; the 'accurately solves' gap is an unverified hypothesis, not a circular reduction.
full rationale
The paper's derivation chain is a straightforward identification of the TV- and box-constrained FWI problem (12) with the primal-dual splitting template (8): f = E, g = ι_Bbox, h = ι_Bℓ1,2, and L = D. The proximal operations used in Algorithm 1 are the standard metric projections onto the box and the ℓ1,2 ball, given by (14)-(16), and no parameter is fitted and then renamed as a prediction. The TV bound α is a user-supplied constraint parameter that the experiments sweep over; this is a hyperparameter study, not a fitted input disguised as a prediction. The self-citations (Ono et al. [27]-[29]) are motivational references on constrained formulations and do not carry the algorithm's correctness; the load-bearing convergence result is Condat's PDS theorem [31], an external machine-checkable result. The paper's central claim that the algorithm 'accurately solves' (12) does depend on PDS convergence hypotheses—convexity and Lipschitz-continuous gradient of E—that are not verified for the non-convex FWI misfit, and no convergence or step-size analysis is supplied. That is a soundness/correctness gap, not a circularity: the claimed result is not equivalent to its inputs by construction. No circular step can be exhibited from the text, so the circularity score is 0.
Assumptions & free parameters
free parameters (3)
- α (TV constraint bound) =
350 (best on test model)
- γ1 (PDS step size for primal update) =
1.0e-4
- γ2 (PDS step size for dual update) =
1.0e2
assumptions (3)
- ad hoc to paper PDS converges to a solution of (12) even though E(m) is non-convex
- domain assumption The adjoint-state gradient ∇E(m) is an accurate and sufficiently regular model of the true gradient
- domain assumption The TV and box constraints are sufficient regularization for the ill-posed FWI problem
Cite this review
Pith. "Pith review of Inner-Loop-Free Total-Variation-Constrained Full-Waveform Inversion." pith.science (2026). https://pith.science/paper/TWIASZDF
@misc{pith2026250108210,
author = {Pith},
title = {Pith review of: Inner-Loop-Free Total-Variation-Constrained Full-Waveform Inversion},
year = {2026},
howpublished = {\url{https://pith.science/paper/TWIASZDF}},
note = {Machine review of arXiv:2501.08210}
}
read the original abstract
This paper proposes a computationally efficient algorithm to address the Full-Waveform Inversion (FWI) problem with a Total Variation (TV) constraint, designed to accurately reconstruct subsurface properties from seismic signal. FWI, as an ill-posed inverse problem, requires effective regularizations or constraints to ensure accurate and stable solutions. Among these, the TV constraint is widely known as a powerful prior for modeling the piecewise smooth structure of subsurface properties. However, solving the optimization problem is challenging because of the nonlinear observation process combined with the non-smoothness of the TV constraint. Conventional methods rely on inner loops and/or approximations, which lead to high computational cost and/or inappropriate solutions. To address these limitations, we develop a novel algorithm based on a primal-dual splitting method, achieving computational efficiency by eliminating inner loops and ensuring high accuracy by avoiding approximations. We also demonstrate the effectiveness of the proposed method through experiments using the SEG/EAGE Salt Models. The source code will be available at https://www.mdi.comp.isct.ac.jp/publications/fwiwtv.
Figures
Reference graph
Works this paper leans on
-
[31]
L. Condat, “A primal–dual splitting method for convex opti- mization involving lipschitzian, proximable and linear compos- ite terms,” J. Optim. Theory Appl., vol. 158, no. 2, pp. 460–479, 2013
work page 2013
-
[21]
Total variation regularization strategies in full- waveform inversion,
E. Esser, L. Guasch, T. van Leeuwen, A. Y . Aravkin, and F. J. Herrmann, “Total variation regularization strategies in full- waveform inversion,” SIAM J. Imag. Sci. , vol. 11, no. 1, pp. 376–406, 2018
work page 2018
-
[24]
B. Peters, B. R. Smithyman, and F. J. Herrmann, “Projection methods and applications for seismic nonlinear inverse problems with multiple constraints,” Geophysics, vol. 84, no. 2, pp. R251– R269, 2019
work page 2019
-
[1]
Inversion of seismic reflection data in the acoustic approximation,
A. Tarantola, “Inversion of seismic reflection data in the acoustic approximation,” Geophysics, vol. 49, no. 8, pp. 1259–1266, 1984
work page 1984
-
[2]
An overview of full-waveform inversion in exploration geophysics,
J. Virieux and S. Operto, “An overview of full-waveform inversion in exploration geophysics,” Geophysics, vol. 74, no. 6, pp. WCC1–WCC26, 2009
2009
-
[3]
A. Klotzsche, J. van der Kruk, G. A. Meles, J. Doetsch, H. Maurer, and N. Linde, “Full-waveform inversion of cross- hole ground-penetrating radar data to characterize a gravel aquifer close to the thur river, switzerland,” Near surface geophysics, vol. 8, no. 6, pp. 635–649, 2010
work page 2010
-
[4]
Gpr full- waveform inversion of a variably saturated soil-aquifer system,
A. Klotzsche, H. Vereecken, and J. van der Kruk, “Gpr full- waveform inversion of a variably saturated soil-aquifer system,” J. Appl. Geophysics , vol. 170, p. 103823, 2019
work page 2019
-
[5]
Full-waveform inversion imaging of the human brain,
L. Guasch, O. Calder ´on Agudo, M.-X. Tang, P. Nachev, and M. Warner, “Full-waveform inversion imaging of the human brain,” NPJ Digit. Med. , vol. 3, no. 1, p. 28, 2020
work page 2020
Show all 35 references
-
[6]
Multi-parameter reconstruction of velocity and density using ultrasonic tomog- raphy based on full waveform inversion,
J. Rao, J. Yang, M. Ratassepp, and Z. Fan, “Multi-parameter reconstruction of velocity and density using ultrasonic tomog- raphy based on full waveform inversion,” Ultrasonics, vol. 101, p. 106004, 2020
2020
-
[7]
Waveform inversion using a logarithmic wavefield,
C. Shin and D.-J. Min, “Waveform inversion using a logarithmic wavefield,” Geophysics, vol. 71, no. 3, pp. R31–R42, 2006
2006
-
[8]
Misfit functions for full waveform inversion based on instantaneous phase and envelope measurements,
E. Bozda ˘g, J. Trampert, and J. Tromp, “Misfit functions for full waveform inversion based on instantaneous phase and envelope measurements,” Geophys. J. Int. , vol. 185, no. 2, pp. 845–870, 2011
2011
-
[9]
Seismic envelope inversion: reduction of local minima and noise resistance,
J. Luo and R.-S. Wu, “Seismic envelope inversion: reduction of local minima and noise resistance,” Geophys. Prospecting , vol. 63, no. 3, pp. 597–614, 2015
2015
-
[10]
Application of the wasserstein metric to seismic signals,
B. Engquist and B. D. Froese, “Application of the wasserstein metric to seismic signals,” arXiv preprint arXiv:1311.4581 , 2013
2013 arXiv
-
[11]
Measuring the misfit between seismograms using an optimal transport distance: application to full waveform inversion,
L. Metivier, R. Brossier, Q. M ´erigot, E. Oudet, and J. Virieux, “Measuring the misfit between seismograms using an optimal transport distance: application to full waveform inversion,” Geophys. J. Int. , vol. 205, no. 1, pp. 345–377, 2016
2016
-
[12]
Adaptive waveform inversion: Theory,
M. Warner and L. Guasch, “Adaptive waveform inversion: Theory,” Geophysics, vol. 81, no. 6, pp. R429–R445, 2016
2016
-
[13]
Numerical methods for the approximate solution of ill-posed problems on compact sets,
A. Tikhonov, A. Goncharsky, V . Stepanov, and A. Yagola, “Numerical methods for the approximate solution of ill-posed problems on compact sets,” 1995
1995
-
[14]
Nonlinear total variation based noise removal algorithms,
L. I. Rudin, S. Osher, and E. Fatemi, “Nonlinear total variation based noise removal algorithms,” Phys. D, Nonlinear Phenom- ena, vol. 60, no. 1-4, pp. 259–268, 1992
1992
-
[15]
Total generalized varia- tion,
K. Bredies, K. Kunisch, and T. Pock, “Total generalized varia- tion,” SIAM J. Imag. Sci. , vol. 3, no. 3, pp. 492–526, 2010
2010
-
[16]
Regularized seismic full waveform inversion with prior model information,
A. Asnaashari, R. Brossier, S. Garambois, F. Audebert, P. Thore, and J. Virieux, “Regularized seismic full waveform inversion with prior model information,” Geophysics, vol. 78, no. 2, pp. R25–R36, 2013
2013
-
[17]
Full waveform inversion with total variation regularization,
A. Y . Anagaw and M. D. Sacchi, “Full waveform inversion with total variation regularization,” in Recovery-CSPG CSEG CWLS Convention, 2011, pp. 1–4
2011
-
[18]
Full-waveform inversion and joint migration inversion with an automatic directional total variation constraint,
S. Qu, E. Verschuur, and Y . Chen, “Full-waveform inversion and joint migration inversion with an automatic directional total variation constraint,” Geophysics, vol. 84, no. 2, pp. R175– R183, 2019
2019
-
[19]
A high- order total-variation regularisation method for full-waveform inversion,
Z. Du, D. Liu, G. Wu, J. Cai, X. Yu, and G. Hu, “A high- order total-variation regularisation method for full-waveform inversion,” J. Geophysics and Eng. , vol. 18, no. 2, pp. 241– 252, 2021
2021
-
[20]
Acoustic-and elastic-waveform inversion with total generalized p-variation regularization,
K. Gao and L. Huang, “Acoustic-and elastic-waveform inversion with total generalized p-variation regularization,” Geophys. J. Int., vol. 218, no. 2, pp. 933–957, 2019
2019
-
[22]
Con- strained waveform inversion for automatic salt flooding,
E. Esser, L. Guasch, F. J. Herrmann, and M. Warner, “Con- strained waveform inversion for automatic salt flooding,” Lead. Edge, vol. 35, no. 3, pp. 235–239, 2016
2016
-
[23]
Total variation regular- ization for seismic waveform inversion using an adaptive primal dual hybrid gradient method,
P. Yong, W. Liao, J. Huang, and Z. Li, “Total variation regular- ization for seismic waveform inversion using an adaptive primal dual hybrid gradient method,” Inverse Problems, vol. 34, no. 4, p. 045006, 2018
2018
-
[25]
An augmented lagrangian approach to the constrained optimization formulation of imaging inverse problems,
M. V . Afonso, J. M. Bioucas-Dias, and M. Figueiredo, “An augmented lagrangian approach to the constrained optimization formulation of imaging inverse problems,” IEEE Trans. Image Process., vol. 20, no. 3, pp. 681–695, 2011
2011
-
[26]
Epigraphical projection and proximal tools for solv- ing constrained convex optimization problems,
G. Chierchia, N. Pustelnik, J.-C. Pesquet, and B. Pesquet- Popescu, “Epigraphical projection and proximal tools for solv- ing constrained convex optimization problems,” Signal Image Video Process., vol. 9, no. 8, pp. 1737–1749, 2015
2015
-
[27]
Signal recovery with certain involved convex data-fidelity constraints,
S. Ono and I. Yamada, “Signal recovery with certain involved convex data-fidelity constraints,” IEEE Trans. Signal Process. , vol. 63, no. 22, pp. 6149–6163, 2015
2015
-
[28]
Primal-dual plug-and-play image restoration,
S. Ono, “Primal-dual plug-and-play image restoration,” IEEE Signal Process. Lett. , vol. 24, no. 8, pp. 1108–1112, 2017
2017
-
[29]
Efficient constrained signal reconstruction by random- ized epigraphical projection,
S. Ono, “Efficient constrained signal reconstruction by random- ized epigraphical projection,” in Proc. IEEE Int. Conf. Acoust., Speech, Signal Process., (ICASSP) , 2019, pp. 4993–4997
2019
-
[30]
Constraints versus penalties for edge-preserving full-waveform inversion,
B. Peters and F. J. Herrmann, “Constraints versus penalties for edge-preserving full-waveform inversion,” Lead. Edge, vol. 36, no. 1, pp. 94–100, 2017
2017
-
[32]
Moreau’s decomposition in banach spaces,
P. L. Combettes and N. N. Reyes, “Moreau’s decomposition in banach spaces,” Math. Program., vol. 139, no. 1, pp. 103–114, 2013
2013
-
[33]
A review of the adjoint-state method for comput- ing the gradient of a functional with geophysical applications,
R.-E. Plessix, “A review of the adjoint-state method for comput- ing the gradient of a functional with geophysical applications,” Geophys. J. Int. , vol. 167, no. 2, pp. 495–503, 2006
2006
-
[34]
Effi- cient projections onto the l 1-ball for learning in high dimen- sions,
J. Duchi, S. Shalev-Shwartz, Y . Singer, and T. Chandra, “Effi- cient projections onto the l 1-ball for learning in high dimen- sions,” in Proc. ICML, vol. 25, 2008, pp. 272–279
2008
-
[35]
Devito (v3. 1.0): an embedded domain-specific language for finite differences and geophysical exploration,
M. Louboutin, M. Lange, F. Luporini, N. Kukreja, P. A. Witte, F. J. Herrmann, P. Velesko, and G. J. Gorman, “Devito (v3. 1.0): an embedded domain-specific language for finite differences and geophysical exploration,” Geoscientific Model Develop., vol. 12, no. 3, pp. 1165–1187, 2019
2019
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.