精读笔记
Problem Setting
这篇论文实际处理的是一类在线 PDE-constrained dynamic inverse problems：每个时间帧有一个新的数据项 E_k，外层目标是带 nonsmooth regularizer 的在线优化，内层 E_k 的梯度又依赖 forward PDE 和 adjoint PDE。关键矛盾是：在线系统要求每帧只花极少时间，但传统梯度评估本身就需要一次或多次 PDE solve；若等 PDE 解完，数据已经过期。
以前路线大致有两类卡点：一类理论上假设 exact gradient 或足够准确 gradient，计算上不现实；另一类工程上用 background thread 或 intermittent solve，把过期 PDE 解/线性化点拿来近似当前梯度，实时性有了，但同步、陈旧梯度和稳定性都变成隐性问题。本文真正想解决的是：能否不完整求解 PDE，同时仍保留在线 primal-dual regret 分析的结构。
因此任务的本质不是“更快求解 EIT”，而是把 PDE solve 从每帧闭环子问题降级为跨时间递推的可控误差源，并让这个误差与外层 regret 证明兼容。
Motivation
已有在线动态逆问题方法不够的地方在于，它们没有把“forward/adjoint PDE 无法在帧间隔内求解完成”作为一等公民来建模。背景线程方法看似解决实时性，但其实把核心困难转移成了 stale linearization 和线程同步问题：主线程优化跑得越快，background PDE 解越容易落后，梯度越不匹配。
作者的核心观察是动态逆问题天然有时间连续性：当前 PDE 解、伴随解、外层变量都不应被视作每帧重新开始的对象，而应作为随时间被 transport / predict / correct 的状态。只要内层求解器本身是 contractive，相邻帧变化不太剧烈，那么“每帧一小步”长期累积可能比“偶尔完整求解”更稳定。
关键缺口是理论接口：外层在线优化只需要近似梯度满足某些 smoothness / growth inequalities，并不真正需要 exact gradient。本文填的就是这个接口：从 inner/adjoint tracking inequality 推出外层 regret 所需的 inexact gradient 条件。
Core Idea
核心思想可以概括为：不要把 PDE solve 当作每个时间帧里的 inner loop，而是把 forward state 和 adjoint state 当作在线算法的隐式记忆变量。每个新帧到来时，先用动态 predictor 推外层变量，再对 forward PDE 和 adjoint PDE 各做单步或少量步 splitting update，随后用 reduced adjoint 公式构造当前数据项的近似微分。整个算法因此只有一个时间循环，没有“外层每步 + 内层收敛”的嵌套结构。
这个改变的本质是信息流重组：旧帧中已经计算出的 PDE/adjoint 信息不再被丢弃，而是作为 warm-started dynamical memory 继续跟踪新的 exact solution map。它引入的 inductive bias 是“状态与伴随状态随帧平滑演化，并且 predictor 能捕获主要动态”。这比 background solver 更 scalable 的原因不是某个求解器更强，而是避免了异步陈旧线性化，把计算预算均匀地分配到每个帧上的 tracking。
理论上可行的原因在于外层 regret 证明对梯度误差的要求是累积可控，而不是逐帧精确。只要 contractivity 把历史误差衰减，predictor / data drift 产生的 commutativity error 可求和，那么近似梯度就能满足外层 POPD-N 所需条件。
Method
1. 外层使用 predictive online primal-dual proximal splitting：它解决的是动态 nonsmooth composite objective 的在线更新问题。predictor P_k 把上一帧 primal-dual iterate transport 到当前帧，proximal correction 再吸收新数据。这里 predictor 不是装饰，而是为了让 x_k - \u02d8x_k 成为可控误差项；没有它，内层 tracking 和外层 regret 都会把真实动态变化当成优化误差。
2. Reduced adjoint differential estimate：它解决的是不能显式构造 S'_k,u 的问题。通过 adjoint equation，把 E'_k(x)=J'_k(S_k,u(x))S'_k,u(x) 改写为 w T^{(x)}_k(u,x)。这一步是必要的，因为直接跟踪 derivative operator p_k 维度太高；跟踪 adjoint state w_k 才是 PDE-constrained optimization 中可行的信息压缩。
3. Inner / adjoint tracking assumption：这是论文的理论中枢。它要求 forward state error 和 adjoint state error 在每帧满足 contractive recursion，外加 predictor mismatch 与 frame drift 误差。它的作用是把复杂 PDE 求解误差抽象成一维递推不等式，从而证明 gradient error 的平方和可控。
4. Splitting-based instantiation：对线性 PDE 系统，使用 Gauss-Seidel / Jacobi 类 splitting，只要分裂矩阵满足收缩条件，就能验证 tracking assumption。这里的核心变化是：标准线性求解器不再被要求收敛，只被要求每帧产生一次收缩。
5. Smoothness verification：作者证明由 tracking 得到的近似微分满足外层 Assumption 2.2，包括 global a priori 与 local a posteriori smoothness/growth。对 quadratic data fidelity，还给出局部强凸与 Lipschitz 条件下的三点不等式。这部分是把 single-loop 机制接入 regret theorem 的关键桥梁。
Key Insight / Why It Works
最重要的 insight 是：在线动态逆问题里的计算瓶颈不是单帧 PDE solve 本身，而是“每帧重新获得可信梯度”的范式不适合高帧率系统。若把 forward/adjoint 解看成随时间演化的 latent state，那么单步求解器就是一个 state observer；只要 observer contractive，动态变化足够慢，误差可以被稳定跟踪。
这本质上是 memory reuse + test-time compute redistribution，而不是新的 PDE discretization 或新的 regularizer。方法有效的主要来源应归因于：复用上一帧 PDE/adjoint 信息、避免后台线程的 stale linearization、以及 predictor 将真实动态变化转化为小残差。不是 scaling，不是数据覆盖，也不是更复杂模型；它是更合适的在线信息组织。
核心贡献更偏理论接口而非算法组件：Gauss-Seidel、reduced adjoint、primal-dual splitting 都是已有工具；新意在于证明“单步 inner/adjoint tracking → inexact gradient smoothness → online regret”这条链可以闭合。这个链条让很多 static single-loop / bilevel / interwoven PDE solver 的思想进入动态 inverse problem。
辅助成分包括具体 EIT 建模、TV regularization、7+1 Gauss-Seidel 步数、Affine/Greedy predictor 比较等。这些对实验效果重要，但不是概念核心。尤其 7+1 的选择看起来有明显 engineering 调参性质；论文甚至提到 adjoint 步数减少会不稳定，说明该实例的性能并非完全由理论常数宽松保证。
方法为什么比 background solver 稳定：background solver 的梯度近似来自过期线性化点，主线程越快越可能偏离；single-loop 每帧都更新 forward/adjoint latent state，因此误差更连续、更同步。这是结构性优势，不只是实现优化。
Relation To Prior Work
最接近的谱系有三条：第一是 online primal-dual dynamic imaging / dynamic EIT，尤其作者前作 [5]；第二是 static single-loop PDE-constrained / bilevel differential estimation，如 [19,6,23]；第三是传统 PDE-constrained optimization 的 reduced adjoint 方法。
与 [5] 的本质差异在于梯度来源。[5] 的外层在线 primal-dual 框架已经存在，但梯度估计依赖 background PDE solver 和线性化更新；本文把这个异步模块替换成同步 single-loop tracking，并给出误差可控证明。换言之，外层算法不是新的，新的是真正在线的 inner/adjoint differential estimation。
与 static single-loop 工作相比，本文新增的是时间维度上的 predictor 与 frame drift：不是在固定目标上 interweave PDE solver 和 optimizer，而是在 E_k、空间 X_k、数据和 solution map 都随 k 变化时，证明 tracking error 仍能接入 regret。这里的实质创新是 dynamic / online tracking assumption 及其到 regret smoothness 条件的传递。
与传统 adjoint PDE 方法相比，reduced adjoint 公式本身没有新意；新意是 adjoint PDE 也不求解，只被作为一个跨帧递推状态。看似新颖的很多公式其实是已有 convex analysis / primal-dual regret / adjoint calculus 的重组，但重组方向是有价值的：把“未收敛 PDE 解”从工程近似升级为理论对象。
Dataset / Evaluation
评估集中在 synthetic dynamic EIT：圆盘域、16 电极、有限元生成数据、避免 inverse crime 的不同网格、四类动态场景，包括 constant、turning/circular、halting、disappearing inclusions。场景设计覆盖了 predictor 假设成立和被破坏的情况，这对于验证 tracking-based 方法比只做平滑运动更有说服力。
实验基本支持核心 claim：single-loop Gauss-Seidel 在保持接近 exact gradient reconstruction quality 的同时，CPU 成本远低于 exact solve，并且比 background solver 在模型违背场景下更稳定。尤其 disappearing / halting 场景能测试 stale linearization 的脆弱性，因此对本文论点是相关的。
但 evaluation 的外推性有限。数据是合成 EIT，不是真机实时采集；PDE 类型单一，且 forward system 对 Gauss-Seidel 友好。没有展示在更差 conditioning、更高分辨率 3D、更复杂 contact impedance drift、真实运动噪声下的表现。benchmark 验证的是“该机制在作者熟悉的 EIT pipeline 中可工作”，还不能证明作为一般 PDE-constrained dynamic inverse problem 框架的广泛鲁棒性。
另一个评估限制是增益归因没有完全拆开：single-loop 优于 background solver，可能来自同步更新机制，也可能部分来自 fixed step-size、代码优化后 background solver 反而更容易 stale、或特定硬件线程调度。文中对此有所说明，但没有系统 ablation。
Limitation
理论成立依赖一组强前提。最关键的是 inner 和 adjoint update 必须是 contractive，且收缩率要能压过 frame drift；solution map 和 adjoint map 要 Lipschitz；predictor 与 solution map 的 commutativity error 要 bounded / summable；局部 smoothness 证明还依赖 residual 小、局部强凸性 m_k>0。这些在 EIT 的受控合成设置中合理，但对一般非线性 PDE 或强非平稳动态并不自动成立。
方法把“每帧完整求解 PDE”的成本转移成“长期 tracking 不失稳”的要求。若目标突然变化、拓扑变化、测量协议变化、PDE conditioning 恶化，单步 solver 可能跟不上，误差项不再 summable，外层 regret 证明也失去解释力。disappearing inclusions 已经是在试探这个边界，但仍是合成、可控、低维情形。
scalability 上限主要由三件事决定：PDE splitting 的收缩率、predictor 质量、以及 adjoint tracking 的稳定裕度。文中实验显示 adjoint 步数从 7 减少到 6 或更少会不稳定，这说明实际算法可能对 inner compute budget 有阈值效应；所谓 single-loop 并不等于任意少算都可以。
理论和实验之间仍有 gap：regret bound 中的误差常数复杂且保守，实验没有直接估计 commutativity error 或 tracking residual 的长期可和性。文中未充分说明如何在真实部署中在线监控这些条件是否被破坏。
此外，实验没有证明 predictor 本身的泛化能力。若 optical-flow/affine predictor 对某些流场失效，single-loop 机制会把预测误差传给 PDE/adjoint tracking。这里的稳定性不来自神秘的自校正，而来自 predictor error 足够小这一前提。
Takeaway
- 1. 这篇最值得记住的是范式转变：PDE 和 adjoint PDE 在动态在线逆问题中可以被当作跨帧 latent states 来 tracking，而不是每帧重新求解的黑箱。
- 2. 真正可迁移的 insight 是理论接口：只要能证明 inner/adjoint solver 的 tracking inequality，并把 state error 映射成 differential error，就可以复用外层在线 regret 证明。
- 这对 PDE-constrained control、online bilevel optimization、实时 inverse design 都有潜在价值。
- 3. single-loop 的优势不是“少做迭代”本身，而是同步、连续、可预测地使用计算预算；它避免了异步 background solver 的 stale information。
一句话总结
这篇论文把 static single-loop PDE/adjoint differential estimation 推进到动态逆问题在线优化中，核心贡献不是新求解器，而是证明“跨帧 tracking 的未收敛 PDE/伴随状态”可以作为可控近似梯度接入 online primal-dual regret 理论。