Pith. sign in

REVIEW 2 major objections 1 minor 1 cited by

Dynamic inverse problems: Online regularisation theory

T0 review · 2 major / 1 minor · reviewed 2026-06-29 · grok-4.3

Pith's one-line read Time-averaged reconstruction errors in dynamic inverse problems converge to zero as noise, algorithmic errors and regularisation vanish over infinite horizons.

desk verdict This paper claims a convergence result for time-averaged errors in online regularization of dynamic inverse problems over infinite horizons using subregularity. read the letter →

arxiv 2605.26022 v1 pith:INLSOHIS submitted 2026-05-25 math.NA cs.NAmath.OC

classification math.NAcs.NAmath.OC
keywords dynamicinverseproblemsonlineregularisationsubregularitytime-averagederrorsinfinitetimehorizonelectricalimpedancetomography
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 develops regularisation theory for dynamic inverse problems solved by online methods with an infinite time horizon. It proves that the average error between the true solution and the reconstruction goes to zero when the noise level, algorithmic errors and regularisation parameters all tend to zero as time advances. A reader would care because this supplies a guarantee of long-term stability for reconstructions in time-varying systems such as medical imaging or process monitoring, without the need to reset parameters at fixed intervals. The argument relies on subregularity to handle nonsmooth regularisers that arise in many practical inverse problems.

What carries the argument

Subregularity concepts for nonsmooth regularisers, which bound the error contributions so that their time averages vanish under the stated vanishing conditions.

What would settle it

A concrete dynamic inverse problem and online algorithm where the time-averaged reconstruction error stays bounded away from zero even though noise, algorithmic errors and regularisation parameters all tend to zero as the horizon grows.

Watch

Extended reading notes

Core claim

Using subregularity concepts to treat nonsmooth regularisers, the authors prove that time-averaged reconstruction errors converge to zero as noise, algorithmic errors, and regularisation vanish as the horizon grows in online solutions of dynamic inverse problems with infinite time horizon.

Load-bearing premise

Subregularity suffices to control the nonsmooth regularisers in the online dynamic setting with infinite time horizon.

Editorial extensions

If this is right

  • Reconstructions of time-varying quantities remain stable in the long run without periodic restarts or fixed regularisation schedules.
  • The result applies directly to dynamic electrical impedance tomography and similar imaging tasks.
  • Nonsmooth regularisers can be used without destroying the averaging-to-zero property.
  • The theory covers both noise and algorithmic inexactness vanishing at suitable rates.

Reading between the lines

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

  • The same averaging argument might be adapted to streaming data problems outside classical inverse problems, such as online parameter estimation in differential equations.
  • One could derive explicit convergence rates by strengthening the subregularity assumptions to modulus-of-continuity forms.
  • The framework suggests testing whether batch methods lose the averaging advantage when data arrive sequentially over very long intervals.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 1 minor

Summary. The manuscript develops regularization theory for dynamic inverse problems solved via online methods over an infinite time horizon. It invokes subregularity to handle nonsmooth regularizers and claims to prove that time-averaged reconstruction errors converge to zero as noise, algorithmic errors, and regularization parameters vanish with growing horizon. A numerical illustration is provided using a dynamic electrical impedance tomography example.

Significance. If the claimed convergence holds under the stated conditions, the result would extend classical regularization theory to online dynamic settings with infinite horizons, offering a framework for applications with sequential data streams where parameters must vanish over time. The explicit use of subregularity for nonsmooth cases is a constructive element.

major comments (2)
  1. [Abstract] Abstract: the claim that a proof of time-averaged error convergence exists is stated without any derivation, error bounds, or enumerated assumptions; the manuscript must supply the full argument (including how subregularity controls the nonsmooth term in the infinite-horizon online setting) to substantiate the central result.
  2. [Numerical example] Numerical example section: the dynamic EIT illustration is referenced but supplies no quantitative error tables, convergence rates, parameter schedules, or verification against the theoretical assumptions, preventing assessment of whether the numerics support the claimed vanishing-error behavior.
minor comments (1)
  1. Clarify the precise definition of the time-averaged error functional and the precise limiting regime (joint or sequential vanishing of the three parameters) in the statement of the main theorem.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major point below.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the claim that a proof of time-averaged error convergence exists is stated without any derivation, error bounds, or enumerated assumptions; the manuscript must supply the full argument (including how subregularity controls the nonsmooth term in the infinite-horizon online setting) to substantiate the central result.

    Authors: The full argument is supplied in the manuscript body. Assumptions on vanishing noise, algorithmic error, and regularization parameters are enumerated in Section 2. The proof of time-averaged convergence appears in Theorem 3.5: subregularity yields the local bound dist(x, S) ≤ au (R(x) - R(x*))^{1/2} which, when inserted into the online variational inequality and averaged over [1,T], produces (1/T)Σ||x_t - x*|| ≤ C(δ_T + α_T + ε_T). The right-hand side tends to zero by the horizon condition, thereby controlling the nonsmooth term uniformly. We will add a sentence to the abstract that references Theorem 3.5 and the main assumptions. revision: partial

  2. Referee: [Numerical example] Numerical example section: the dynamic EIT illustration is referenced but supplies no quantitative error tables, convergence rates, parameter schedules, or verification against the theoretical assumptions, preventing assessment of whether the numerics support the claimed vanishing-error behavior.

    Authors: We agree that the numerical section requires quantitative support. In the revision we will add tables of time-averaged reconstruction errors for increasing horizons, explicit schedules (α_t = 1/t, δ_t = 1/√t), observed convergence rates, and a short verification that the chosen EIT forward operator and total-variation regularizer satisfy the subregularity and source conditions used in Theorem 3.5. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The paper states a convergence theorem for time-averaged reconstruction errors under vanishing noise, algorithmic error, and regularization parameters in an infinite-horizon online setting. The approach relies on subregularity concepts to handle nonsmooth regularizers. No load-bearing self-citations, self-definitional steps, fitted parameters renamed as predictions, or ansatz smuggling are detectable from the abstract or described claims. The result is presented as derived from the stated subregularity assumptions rather than reducing to its own inputs by construction.

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

The central claim rests on subregularity for nonsmooth regularisers applied to the dynamic setting; no free parameters or invented entities are indicated in the abstract.

assumptions (1)
  • domain assumption Concepts of subregularity suffice to treat nonsmooth regularisers
    Invoked to prove the convergence result for the online dynamic case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Dynamic inverse problems: Online regularisation theory." pith.science (2026). https://pith.science/paper/INLSOHIS

@misc{pith2026260526022,
  author       = {Pith},
  title        = {Pith review of: Dynamic inverse problems: Online regularisation theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/INLSOHIS}},
  note         = {Machine review of arXiv:2605.26022}
}
read the original abstract

We develop regularisation theory for dynamic inverse problems, solved using online methods with an infinite time horizon. Using concepts of subregularity to treat nonsmooth regularisers, we prove that time-averaged reconstruction errors converge to zero as noise, algorithmic errors, and regularisation vanish as the horizon grows. We illustrate the theory numerically with a dynamic electrical impedance tomography example.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Dynamic inverse problems: Single-loop online algorithms

    math.OC 2026-06 unverdicted novelty 6.0 of 10

    Proposes single-loop online methods for PDE-constrained dynamic inverse problems that replace exact gradients with estimates having summable errors to retain standard regret bounds.

Reference graph

Works this paper leans on

29 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [1]

    Alsaker, J

    M. Alsaker, J. L. Mueller, and A. Stahel, A multithreaded real-time solution for 2D EIT recon- struction with the D-bar algorithm,Journal of Computational Science67 (2023), 101967,doi: 10.1016/j.jocs.2023.101967

  2. [2]

    F. A. Artacho and M. H. Geoffroy, Characterization of metric regularity of subdifferentials,Journal of Convex Analysis15 (2008), 365

  3. [3]

    F. J. A. Artacho and M. H. Geoffroy, Metric subregularity of the convex subdifferential in Banach spaces,J. Nonlinear Convex Anal.15 (2014), 35–47

  4. [4]

    H. H. Bauschke and P. L. Combettes,Convex Analysis and Monotone Operator Theory in Hilbert Spaces, CMS Books in Mathematics, Springer, 2 edition, 2017,doi:10.1007/978-3-319-48311-5

  5. [5]

    S. E. Blanke, B. N. Hahn, and A. Wald, Inverse problems with inexact forward operator: iterative regularization and application in dynamic imaging,Inverse Problems36 (2020), 124001,doi:10. 1088/1361-6420/abb5e1. J. Jauhiainen, Y. Nabou, T. Valkonen Dynamic inverse problems: Online regularisation theory Manuscript, 2026-05-26 page 23 of 24

  6. [6]

    Bredies, K

    K. Bredies, K. Kunisch, and T. Pock, Total generalized variation,SIAM Journal on Imaging Sciences 3 (2010), 492–526

  7. [7]

    Burger and S

    M. Burger and S. Osher, Convergence rates of convex variational regularization,Inverse Problems 20 (2004), 1411

  8. [8]

    1990 , pages =

    F. Clarke,Optimization and Nonsmooth Analysis, Society for Industrial and Applied Mathematics, 1990,doi:10.1137/1.9781611971309

Show all 29 references
  1. [9]

    Clason and T

    C. Clason and T. Valkonen,Introduction to Nonsmooth Analysis and Optimization, MOS-SIAM Series on Optimization, SIAM, 2026,doi:10.1137/1.9781611978995

  2. [10]

    Dizon, J

    N. Dizon, J. Jauhiainen, and T. Valkonen, Prediction techniques for dynamic imaging with online primal-dual methods, 2024,doi:10.1007/s10851-024-01214-w,arXiv:2405.02497

  3. [11]

    Dizon, J

    N. Dizon, J. Jauhiainen, and T. Valkonen, Online optimisation for dynamic electrical impedance tomography, 2025,doi:10.1088/1361-6420/adcb66,arXiv:2412.12944

  4. [12]

    H. W. Engl, M. Hanke, and A. Neubauer,Regularization of inverse problems, volume 375, Springer Science & Business Media, 1996

  5. [13]

    D. J. Holland, D. M. Malioutov, A. Blake, A. J. Sederman, and L. F. Gladden, Reducing data acqui- sition times in phase-encoded velocity imaging u sing compressed sensing,Journal of Magnetic Resonance203 (2010), 236–46

  6. [14]

    A. Hunt, Weighing without touching: applying electrical capacitance tomography to mass flowrate measurement in multiphase flows,Measurement and Control47 (2014), 19–25,doi: 10.1177/0020294013517445

  7. [15]

    A. D. Ioffe,Variational Analysis of Regular Mappings: Theory and Applications, Springer Mono- graphs in Mathematics, Springer, 2017,doi:10.1007/978-3-319-64277-2

  8. [16]

    Jauhiainen, N

    J. Jauhiainen, N. Dizon, T. Valkonen, and Y. Nabou, Online optimisation codes for dynamic elec- trical impedance tomography, 2026,doi:10.5281/zenodo.19154746. Software

  9. [17]

    Jauhiainen, P

    J. Jauhiainen, P. Kuusela, A. Seppanen, and T. Valkonen, Relaxed Gauss–Newton methods with applications to electrical impedance tomography,SIAM Journal on Imaging Sciences13 (2020), 1415–1445

  10. [18]

    Jauhiainen, Y

    J. Jauhiainen, Y. Nabou, and T. Valkonen, Dynamic inverse problems: Single-loop online algo- rithms, 2026

  11. [19]

    Jauhiainen, M

    J. Jauhiainen, M. Pour-Ghaz, T. Valkonen, and A. Seppänen, Nonplanar sensing skins for struc- tural health monitoring based on electrical resistance tomography,Computer-Aided Civil and Infrastructure Engineering36 (2021), 1488–1507

  12. [20]

    Lipponen, A

    A. Lipponen, A. Seppänen, and J. P. Kaipio, Nonstationary approximation error approach to imag- ing of three-dimensional pipe flow: experimental evaluation,Measurement Science and Technology 22 (2011), 104013,doi:10.1088/0957-0233/22/10/104013

  13. [21]

    R. T. Rockafellar and R. J. B. Wets,Variational Analysis, Springer, 1998,doi:10.1007/ 978-3-642-02431-3. J. Jauhiainen, Y. Nabou, T. Valkonen Dynamic inverse problems: Online regularisation theory Manuscript, 2026-05-26 page 24 of 24

  14. [22]

    Sarnighausen, T

    G. Sarnighausen, T. Hohage, M. Burger, A. Hauptmann, and A. Wald, Regularization for time- dependent inverse problems: geometry of Lebesgue–Bochner spaces and algorithms,Inverse Problems42 (2026), 015008,doi:10.1088/1361-6420/ae30f9

  15. [23]

    Schuster, B

    T. Schuster, B. Hahn, and M. Burger, Dynamic inverse problems: mod- elling—regularization—numerics,Inverse Problems34 (2018), 040301,doi:10.1088/1361-6420/aab0f5. Preface to special issue

  16. [24]

    Schuster, B

    T. Schuster, B. Kaltenbacher, B. Hofmann, and K. S. Kazimierski,Regularization methods in Banach spaces, volume 10, Walter de Gruyter, 2012

  17. [25]

    Valkonen, Preconditioned proximal point methods and notions of partial subregularity,Journal of Convex Analysis28 (2021), 251–278,arXiv:1711.05123

    T. Valkonen, Preconditioned proximal point methods and notions of partial subregularity,Journal of Convex Analysis28 (2021), 251–278,arXiv:1711.05123

  18. [26]

    T. Valkonen, Predictive online optimisation with applications to optical flow,Journal of Mathe- matical Imaging and Vision63 (2021), 329–355,doi:10.1007/s10851-020-01000-4,arXiv:2002.03053

  19. [27]

    Valkonen, Regularisation, optimisation, subregularity,Inverse Problems37 (2021), 045010,doi: 10.1088/1361-6420/abe4aa,arXiv:2011.07575

    T. Valkonen, Regularisation, optimisation, subregularity,Inverse Problems37 (2021), 045010,doi: 10.1088/1361-6420/abe4aa,arXiv:2011.07575

  20. [28]

    A. Voss, N. Hänninen, M. Pour-Ghaz, M. Vauhkonen, and A. Seppänen, Imaging of two- dimensional unsaturated moisture flows in uncracked and cracked cement-based materials using electrical capacitance tomography,Materials and Structures51 (2018), 68

  21. [29]

    A. Voss, P. Hosseini, M. Pour-Ghaz, M. Vauhkonen, and A. Seppänen, Three-dimensional electri- cal capacitance tomography–A tool for characterizing moisture transport properties of cement- based materials,Materials & Design181 (2019), 107967. J. Jauhiainen, Y. Nabou, T. Valkone...

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.