精读笔记

Problem Setting

论文标题：Dynamic inverse problems: Online regularisation theory（arXiv preprint / 2026-05-26）。

这篇论文实际处理的是动态逆问题的“在线正则化合法性”问题：给定随时间变化的未知 xk、算子 Ak、噪声数据 bk,δ，以及一个只按时间推进的重建过程，能否证明它在无限时间 horizon 下仍然是一个正则化方法。这里的核心不是设计 EIT 算法，而是定义并证明：当 N→∞、δ→0、αδ→0、算法误差被控制时，重建轨迹相对无噪声最小正则解的时间平均误差趋于 0。

真正困难在于动态在线场景破坏了经典理论的几个隐含支点：问题不是固定的，ground truth 可以随 horizon N 重新定义；算法不一定精确求解 finite-horizon Tikhonov 问题；甚至在线方法不会 revisit history，因此 xNδ 的前 k 个分量未必等价于更长 horizon 下重新优化得到的历史分量。经典静态 regularization theory 处理的是 δ→0 下单个问题的稳定极限，而这里的关键矛盾是：在线计算必须局部、顺序、近似，但正则化理论需要全局、渐近、可比较的误差对象。

Motivation

已有路线的缺口很明确：动态逆问题文献已有时间依赖正则化、Lebesgue-Bochner 空间中的离线理论，以及 inexact forward operator / iterative regularization；在线优化文献也已有 predictive primal-dual、optical-flow prediction、dynamic EIT 等算法。但这些工作没有回答一个基本问题：这些在线重建序列在正则化意义上到底收敛到什么，尤其当时间 horizon 无限增长时。

作者的核心观察是，不能把在线动态逆问题简单看成“每来一帧就解一个静态问题”。因为动态约束和时空正则项本质上耦合历史，且算法误差会累积。更合理的对象是 finite but advancing horizon 上的累计变分问题，然后只要求平均误差收敛。这是一个很自然但重要的重定位：把不可实现的 infinite-horizon exact problem 替换为一族 finite-horizon approximate problems，并用 per-time averaged quantities 消除 horizon 增长带来的尺度爆炸。

Core Idea

核心思想可以概括为：把在线动态逆问题的正则化理论建立在“局部误差界 / subregularity”而不是传统全局强凸性或光滑 source rate 上。对每个 horizon N，定义无噪声最小 R:N 解集 X̂:N，以及带噪近似解 xNδ。若 Q:N,δ=J:N,δ+αδR:N 在 X̂:N 附近具有足够的局部二次增长——可以是对某个 seminorm 的 strong growth，也可以是到解集的 semi-strong growth——则目标函数近似最优性加噪声控制可以转化为轨迹距离控制。

本质区别在于它没有要求非光滑 TV 类正则项变成强凸，也没有把动态问题压扁成一个标准静态 Banach-space 问题后套用旧理论。它引入的 inductive bias 是“时间平均 + 局部 subregularity + 算法误差显式预算”。这使得理论可以容纳在线算法：算法不必精确求解，也不必回看历史；只要累计误差相对 αδ(N+1) 可忽略，正则化收敛仍成立。

Method

1. Horizon-wise Tikhonov formulation：作者把到时间 N 的历史作为一个对象 xN∈X:N，定义 J:N,δ(xN)=ℓ:N(A:N(xN)-bNδ)，再加 αδR:N(xN)。这一步解决的是无限 horizon 不可直接求解的问题；核心变化是把在线序列放进一族有限但增长的问题中分析，而不是直接分析逐帧误差。

2. Basic source condition + Bregman estimate：假设 -A′:N(x̂N)*ŵN∈∂R:N(x̂N)，并结合 approximate linearized data fidelity condition，得到平均 Bregman divergence 的上界。它解决的是“目标函数近似最优性如何转成正则项误差”的问题，但 Bregman 控制本身较弱，尤其对 TV / L1 类正则项无法充分刻画幅值误差。

3. Strong / semi-strong local subdifferentiability：这是关键增强。strong 版本给到特定 x̂N 的 seminorm 收敛；semi-strong 版本只给到最小解集 X̂:N 的距离收敛。需要它是因为非光滑正则项通常没有全局强凸性，但在 source certificate 固定后可在局部某些方向上有 quadratic growth。核心变化是用 metric subregularity 的语言替代传统强 convexity 或 explicit source rate。

4. Time-average limit bookkeeping：误差界中出现三类项：算法误差/局部缺陷 εN,δ、噪声项 δ/γ²、正则参数项 αδ²‖ŵN‖²/((N+1)γ²)。理论要求这些项在 N→∞ 后再 δ→0 时消失。这不是技术细节，而是在线正则化的核心预算：算法误差必须按每帧平均并相对正则化尺度衰减。

5. Infimal convolution verification：Section 4 分析由在线 primal-dual / dual temporal dynamics 诱导的 spatiotemporal regularizer。它解决的是理论条件如何接触具体 TV-like 动态正则项的问题。作者证明某些“sub-infimal convolution”实际上等价于关于 convex hull dual constraint 的 infimal convolution，并给出 subdifferentiability 传递结果。这部分是把算法诱导的正则项从 heuristic 拉回可验证凸分析框架。

Key Insight / Why It Works

最核心的有效机制是误差尺度的重新归一化。动态问题的总误差一般随 N 增长，不可能要求 unnormalized convergence；作者只要求 1/(N+1) 加权后的平均误差消失。这使得在线算法的局部误差、噪声扰动和 source norm 可以被看作每时间步的预算，而不是无限 horizon 上的绝对误差。这个尺度选择是理论成立的关键，不是简单技术处理。

第二个关键是 subregularity 视角。对 TV / L1 这类正则项，Bregman divergence 经常只表达 active set / sign / certificate 的稳定性，不能直接给 norm 误差。作者通过 strong 或 semi-strong local subdifferentiability 引入局部二次增长，把“目标值小”变成“离解或解集近”。这本质上是在利用正则项和数据项共同提供的局部 identifiability：正则项控制结构方向，forward linearization 控制数据可见方向，两者合起来补足非强凸性。

第三个 insight 是把在线算法误差 eN,δ 显式纳入正则化理论，而不是假装优化精确。这里最像 test-time compute / online optimization 的理论化：每帧只做一步 primal-dual 或预测校正并不直接破坏正则化，只要累计 suboptimality 的平均量相对 αδ 足够小。换言之，算法是否“在线”不是障碍，障碍是误差预算是否匹配正则化参数。

我认为实质贡献主要在理论组织方式，而不是数值或某个新正则项。Infimal convolution 部分有独立价值，因为它解释了 dual temporal dynamics 如何改变 TV penalty：不是简单加一个时间平滑项，而是在 dual ball 上通过动态约束限制可用 certificate，从而改变可惩罚方向。这是比普通 spatiotemporal TV 更细的 inductive bias。

哪些可能只是辅助：EIT 实验主要是 illustration，不是核心贡献；regularization parameter 的选取也是 heuristic。实验曲线支持“噪声降低、运动最终变慢时平均误差下降”这个趋势，但增益来源不清，可能主要来自构造性数据、运动减速、同网格 forward/inverse 设定以及算法已有预测机制，而不是本文理论本身带来的新性能。

Relation To Prior Work

最接近的谱系有三条：经典 Tikhonov/Bregman/source condition 正则化理论，Valkonen 2021 的 subregularity-based regularisation/optimisation 理论，以及动态逆问题 / online primal-dual imaging 算法。本文的定位是把第二条理论嫁接到第三条问题上，并用第一条的语言维持可识别的 regularization framework。

和经典静态理论的本质差异：经典结果讨论固定 A、固定 b、固定解集，通常在 δ→0 下证明 minimizer 收敛；本文允许 A:N、bN、R:N 随 horizon 增长，并用时间平均误差而非单点误差作为收敛对象。它不是简单把 X 替换成 product space X^{N+1}，因为还要处理 N→∞、算法误差、以及在线不回看历史的问题。

和已有动态 inverse problem regularization 的差异：已有工作多偏离线时间函数空间建模，即整个时间区间可用；本文关心 infinite horizon 和 online reconstruction。这个差异是实质性的，因为在线设置中未来数据不可用，历史也可能不被 refine。

和在线优化算法工作的关系：本文没有提供新的主算法，而是给 companion paper / earlier predictive primal-dual 方法一个正则化解释。看似新的 spatiotemporal regularizer 其实部分来自已有 dual prediction / infimal convolution 思想的重组；实质新增信息在于证明这类正则项满足或可被分析为 subregularity 条件，并把算法误差接入 regularization convergence。

Dataset / Evaluation

实验使用动态 EIT 合成数据：Complete Electrode Model，移动/消失/重现 inclusions，在线 primal-dual 方法，每帧只做一次 proximal splitting step，并使用预测机制。覆盖的是一个典型 nonlinear PDE inverse problem，但不是多任务、多物理、多真实设备验证。

评估主要验证理论趋势：不同噪声水平下，时间平均重建误差随 horizon 推进并在运动减慢/停止后表现出下降。作者刻意使用相同离散化以排除 discretization modelling error，这对研究 δ→0 正则化极限是合理的，但也意味着它不是现实部署评估。真实 EIT 中 forward model error、contact impedance mismatch、mesh mismatch、非高斯噪声都会显著影响结论。

因此，实验支持的是“理论不是完全空转，至少在受控动态 EIT 上能看到相符趋势”；它并不验证 subregularity 条件在真实问题中成立，也不证明在线算法误差满足理论所需速率。benchmark 对核心理论 claim 的支持有限但合格，因为这篇论文的主张本来就是理论而非 empirical SOTA。

Limitation

最大的限制是条件强且验证困难。Assumption 3.14 / 3.21 中的 strong 或 semi-strong local subdifferentiability 是整套理论的发动机，但在真实 nonlinear dynamic inverse problem 中它不是免费成立的。Section 4 给出 infimal convolution 层面的 sufficient tools，但从这些工具到 EIT forward map + TV + box constraint + online predictor 的完整验证仍有缺口。文中未充分说明这些条件在数值实验设置中是否严格成立。

第二，收敛是时间平均意义，不是每个时间点的 pointwise convergence。平均误差可以掩盖局部时间段失败，尤其在动态突变、inclusion disappearing/reappearing、模型违反 incompressibility 时。这对在线部署很关键：真实系统往往关心当前帧或最近窗口，而不是从 0 到 N 的全历史平均。

第三，极限顺序和速率要求较脆弱。条件包括 αδ→0、δ/αδ→0 或相关相对控制，以及 eN,δ/(αδ(N+1))→0。在线算法每帧只做一步时，eN,δ 是否能在复杂非凸问题中满足该速率并不清楚。这里可能是把困难从“证明重建收敛”转移到了“证明在线优化误差足够小”。

第四，实验存在 deliberate inverse crime。作者明确说明这是为了隔离 measurement noise，这在理论说明上可以接受，但不能外推到真实 EIT 鲁棒性。再加上 αδ 的选择是手工 heuristic，数值增益归因不清；可能主要来自受控 synthetic data、运动逐渐停止、prediction scheme 和同网格建模，而不是理论条件自然保障的效果。

第五，seminorm 收敛的实际信息量取决于 ∥·∥N,◦ 的选择。对 TV 类正则项，该 seminorm 可能只在较小子空间上有增长；如果数据项不能补足不可见方向，理论误差控制可能很弱。作者也承认 temporal dual constraint 过强/过小可能导致增长只覆盖很小方向。

Takeaway

• 1. 这篇论文真正推动的是动态在线逆问题的 regularization language：把无限 horizon 在线重建从算法经验问题变成可讨论的正则化极限问题。
• 2. 时间平均误差是一个关键抽象。
• 它牺牲 pointwise guarantee，但换来对无限 horizon、在线误差和非回看历史算法的可分析性。
• 这一思想可以迁移到 streaming inverse problems、online variational imaging、甚至 test-time optimization 理论。

一句话总结

这篇论文把动态在线逆问题从“逐帧启发式优化”提升为“无限 horizon 下带算法误差预算的时间平均正则化理论”，核心贡献是用 metric subregularity 和 infimal-convolution 分析为非光滑时空正则项建立可收敛的理论框架。