精读笔记
Problem Setting
这篇论文处理的是最大单调包含0∈Ax以及复合包含0∈Ax+Bx的inexact求解，其中每步resolvent或Tseng步骤存在统一有界误差，但误差序列不要求可求和、也不要求趋零。关键矛盾在于：PPA的resolvent对一般最大单调A只是firmly nonexpansive，而非strict contraction；对非扩张迭代，bounded nonsummable perturbation没有自然耗散机制，误差可能长期残留甚至阻止收敛。传统inexact PPA/FBF分析靠∑||e_k||<∞把扰动当成有限总量处理，但这本质上回避了恒定精度计算的现实情形。论文的目标不是恢复精确收敛，而是证明在固定误差容忍度下，迭代最终落在原解集S的可控邻域内，并且当误差容忍度与正则化参数共同变小时该邻域收缩到0。
Motivation
已有路线的问题是把稳定性责任放在误差模型上：只要误差可求和，非扩张映射也能维持收敛；但实际数值计算中，resolvent子问题通常只能求到固定绝对精度，误差不会自然形成可求和序列。作者的核心观察是，真正能抵抗nonsummable errors的不是Fejér型记账，而是映射本身的收缩性。若原算子没有强单调性，就通过Tikhonov regularization A+εI注入强单调性；这会产生bias，但bias可由逆映射在0处的R-continuity控制。缺口因此变成：如何把“bounded error的稳态半径”和“Tikhonov bias”放在同一个显式估计中。
Core Idea
论文的核心思想很简单但有效：不要直接对原最大单调问题跑inexact PPA/Tseng，而是对正则化问题跑。εI把A变成ε-strongly monotone，使J_{γ(A+εI)}从非扩张映射变成收缩映射；对复合问题，Tseng诱导映射T也可在额外步长条件下变成相对于正则化解的收缩。这样，不可求和误差不再需要被“总和有限”地消化，而是在收缩系统中形成一个稳态扰动半径。
本质区别是：prior work通常维持原问题不变，然后加强误差假设；本文放松误差假设，但改变被求解的问题，用正则化换取稳定性。这个建模选择引入了一个强单调锚定的inductive bias：算法偏向最小范数解附近的正则化路径。真正新增的信息流不是新的迭代模块，而是把“算法稳定性”和“解映射连续性”串起来：contraction负责靠近正则化解，R-continuity负责把正则化解拉回原解集。
Method
关键机制只有三块。第一，Tikhonov regularization：将A替换为A+εI，或将A+B替换为A+B+εI。它解决的是bounded nonsummable errors在非扩张映射中无法被吸收的问题；核心变化是把resolvent/算法映射从非扩张提升为收缩，从而误差影响变成几何衰减后的稳态项。
第二，扰动变量重写。IPPA中令w_k=x_k−y_k，ITA中令z_k=x_k−t_k，把显式误差从迭代式中剥离出来，得到形如u_{k+1}=T(u_k+small error)的收缩递推。这一步不是技术装饰，而是为了直接使用κ<1的递推估计，得到δ/(1−κ)量级的稳态半径。
第三，R-continuity控制正则化偏差。正则化解x*满足x*∈A^{-1}(−εx*)或x*∈(A+B)^{-1}(−εx*)。若逆映射在0处R-continuous，则−εx*这个小range扰动对应的preimage离A^{-1}(0)或(A+B)^{-1}(0)不远，偏差由ρ(ε||x*||)控制。没有这一步，算法只能说明收敛到正则化问题的近似解，而不能说明其是原问题的近似解。
Key Insight / Why It Works
最重要的insight是：nonsummable error并不必然导致算法不可用，前提是底层动力系统是contractive。传统summable error假设本质上是用误差衰减弥补映射没有收缩；本文反过来，用正则化制造收缩来允许误差不衰减。这是论文最实质的贡献。
有效性的数学结构是一个典型的稳定线性递推：r_{k+1}≤κr_k+κδ，其中κ<1，因此limsup r_k≤O(δ/(1−κ))。由于κ=1/(1+γε)或sqrt(1−γε)，当ε很小时1−κ≈γε，稳态误差放大为O(δ/(γε))。这揭示了方法的真实代价：为了让正则化bias小，需要ε小；但ε小会削弱收缩性并放大计算误差。因此δ必须相对ε更小，文中选择δ=ε^2只是一个足够条件。换句话说，论文并没有免费处理任意bounded error，而是给出了一个可控精度-正则化耦合。
R-continuity的作用是把正则化路径的bias显式化。它不像metric subregularity那样给线性误差界，也不必要求单值逆；它只需要小range perturbation下解集外移可由ρ控制。这里最可能迁移的不是R-continuity这个具体术语，而是“算法收缩误差界 + solution map continuity”的两段式证明模板。
相对而言，Tseng部分的新增性较弱，主要是把同一模板移植到FBF映射，并证明该映射在ε-regularized setting下满足到固定点的contraction estimate。这里的技术负担在Lemma 4，但机制仍然是正则化诱导收缩。增益来源很清楚：不是更好的splitting结构，而是强单调正则项。不存在scaling/data/retrieval等因素；这是纯理论稳定性结果。
Relation To Prior Work
它最接近三条线：Rockafellar PPA及其inexact版本、Tseng forward-backward-forward splitting、以及Le/Mordukhovich/Théra近期发展的R-continuity与Tikhonov regularization分析。与经典inexact PPA的本质差异在误差模型：prior要求∑||e_k||<∞或相对误差准则，本文只要求||e_k||≤δ，但代价是求解正则化问题并只保证近似解。
看似新的是“nonsummable errors下PPA/ITA收敛”，实质上是已有Tikhonov regularization、强单调算子resolvent收缩性、R-continuity三者的组合。真正新增的信息在于把这些工具组织成一个可复用的稳定性证明框架，并给出显式邻域界。它不是提出新的算法族，而是给inexact monotone inclusion algorithms提供了一个不同的well-posedness解释：稳定性来自regularization-induced contraction，而非error summability。
在技术谱系上，这篇更像变分分析/单调算子理论中的robust algorithmic regularization工作，而不是一篇优化算法工程论文。它与经典Tikhonov路径分析的关系很近；与现代一阶优化中的inexact oracle文献相比，它关注的是set-valued monotone inclusion和Hilbert空间下的解映射连续性，而非复杂度最优性。
Dataset / Evaluation
没有数据集、实验或数值评测。论文的evaluation完全由定理和误差界承担。因此它验证的是理论claim：在给定R-continuity、非空解集、bounded error、固定ε和合适γ的条件下，IPPA/ITA的迭代点最终进入原解集的可控邻域。
这个证据足以支持“存在一种处理nonsummable bounded errors的理论机制”，但不足以支持任何实践层面的强claim，例如固定精度子问题求解在真实大规模优化中是否能自然满足δ=ε^2、ε如何选、正则化bias是否可接受、Tseng步长条件是否过保守。文中所谓practical主要指误差假设比summability更接近实践，而不是通过真实计算展示部署可行性。
Limitation
主要限制不是缺少实验，而是理论机制本身的代价。第一，算法并不是在原问题上直接克服nonsummable errors，而是通过改变问题为A+εI来获得收缩；因此它把困难从误差求和转移到正则化bias与误差精度耦合。若δ不能做到o(ε)，界不会消失。
第二，R-continuity在有限维最大单调场景下可借闭图和紧性变得温和，但在无限维Hilbert空间中局部紧性通常是强假设；文中对哪些重要无限维问题满足该条件未充分说明。
第三，结果主要是limsup型邻域收敛，没有有限时间rate，也没有说明达到该邻域需要多少迭代。由于κ≈1−γε，当ε小的时候收缩很慢；这意味着理论上为了小bias选择小ε会导致迭代复杂度恶化。这个scalability上限文中没有量化。
第四，Tseng部分的步长条件γ^2L^2≤1−2γε较强，且依赖L和ε。若L大或ε选择不当，可行步长很小。增益来源不清的地方不在理论推导，而在实际可操作性：如何同时满足小bias、小steady-state error和可接受收敛速度，文中未充分说明。
Takeaway
- 1. 对不可求和误差，关键不是继续优化误差记账，而是让算法映射具备收缩性；Tikhonov regularization是最直接的收缩制造器。
- 2. 这篇真正推动的是一个证明模板：regularization-induced contraction控制算法扰动，R-continuity/solution-map stability控制正则化偏差。
- 这个模板可迁移到DR、ADMM、extragradient、forward-backward等其他splitting算法。
- 3. 误差界暴露了不可避免的trade-off：ε越小，原问题bias越小，但收缩越弱、误差放大越强。
一句话总结
这篇论文在inexact单调包含算法谱系中的位置是：用Tikhonov正则化把非扩张迭代改造成可吸收有界不可求和误差的收缩系统，并用R-continuity把正则化解的偏差转化为原问题近似解界。