精读笔记
Problem Setting
这篇论文的实际问题是：对等式约束复合凸优化，如何让增强 primal-dual 一阶方法拥有求解器真正需要的非遍历 KKT residual 保证和 restart 线性收敛解释。难点在于增强拉格朗日虽然改善约束方向曲率、放宽参数区间，但也破坏了传统 saddle-gap 分析的干净结构；尤其等式约束下对偶域无界，ergodic saddle gap 不再是可靠的高精度收敛指标。
以前路线大致卡在两个地方：增强 primal-dual 框架能统一 PDHG/CP/OGDA 类更新，但多给 ergodic O(1/N)；Halpern/dPPM 分析能给非遍历 residual，但通常绑定在较特定 ADMM 或 LP 结构上。关键矛盾是：实际 solver 想利用 augmentation、restart、active-set behavior，但理论上又需要一个足够简单的非扩张 fixed-point geometry 来承载 residual rate。
Motivation
作者的核心观察是：如果继续在 primal-dual gap 或原始 anchored Halpern state 上分析，会同时遇到两个错位。一是 gap 与 KKT residual 错位；二是 active-set identification 与 Halpern state 错位。真正稳定且能承载局部几何的是 shadow point F(wk)，不是 wk 本身。
因此论文要补的缺口不是“再设计一个一阶法”，而是给一族增强 primal-dual 方法建立统一的 operator representation，让 Halpern residual bound 可以直接翻译成 KKT residual，并进一步让 restart 的 sharpness 条件落在 fixed-point residual 上。这个动机很求解器导向：解释为什么 restarted Halpern 类方法在 LP/QP 高精度阶段有效，以及哪些条件下这种经验现象可以被理论化。
Core Idea
论文真正的核心是一次建模重排：把增强 primal-dual 更新从“优化算法”改写成“非扩张 fixed-point map 的 shadow/residual 过程”。exact scheme 是 degenerate PPM：F=(M+T)^{-1}M；linearized scheme 是 PFBS：F=(M+Ah)^{-1}(M-Bh)。一旦有了这个表示，Halpern acceleration 不需要面对增强拉格朗日的复杂 gap，而只需要处理 Sγ=(1+γ)F−γI 的非扩张性和 residual decay。
这个重排引入的 inductive bias 是：所有性能判断都围绕 fixed-point residual 和 shadow iterate。augmentation 注入约束方向曲率；reflection 改变 fixed-point map 的轨迹；Halpern anchoring 给出全局 O(1/k) residual；restart 在 sharpness 下把 residual decay 变成 epoch contraction。和 prior 的本质区别是，它不是单独分析 PDHG、CP-AL 或 ADMM，而是把 exact / linearized、augmented / unaugmented、global residual / local identification / restart 放在同一 residual geometry 中。
Method
1. dPPM 表示用于 exact augmented scheme。它解决的是增强 primal-dual 更新难以直接拿 Halpern 理论分析的问题。通过构造 M 和 T，算法一步变成 resolvent map；核心变化是 residual 由 resolvent inclusion 产生，而非从 gap estimate 间接推出。
2. PFBS 表示用于 linearized scheme。它解决 exact primal subproblem 可能昂贵的问题，同时保留 operator-level averagedness。关键量 μx=λmin(P−A^TQ^{-1}A) 衡量 M-metric 对 primal smooth forward step 的控制能力；这决定 linearized map 是否 averaged，以及 reflection γ 的允许范围。
3. KKT residual 转换。增强 operator T 的零点和原始 KKT mapping R 的零点一致，但 residual 不完全一致。论文用 Eσ(u,v)=(u−σA^Tv,v) 把 augmented residual 转回 original KKT residual。这一步是让理论指标对 solver 有意义的关键。
4. shadow identification。利用 shadow optimality condition 构造 ∂g certificate，在 partial smoothness + strict complementarity 型条件下证明 xhatk 有限进入 active manifold。它明确指出 identification 不属于 anchored state。
5. restart sharpness。固定频率 restart 需要已知 sharpness 常数；adaptive restart 只看 fixed-point residual decay。两者都依赖 rF(w)≥α distM(w,W*)。这不是算法自动性质，而是外部几何条件。
Key Insight / Why It Works
最重要的 insight 是：Halpern acceleration 的有效 residual 估计天然落在 fixed-point residual 上，而增强 primal-dual 方法只要能写成 dPPM/PFBS，就能把这个 residual 变成 KKT residual。方法有效不是因为某个复杂新模块，而是因为 operator 表示让三件事对齐了：fixed-point residual、KKT residual、restart sharpness。
第二个 insight 是 shadow/state 分离。很多关于 active set 的直觉如果直接套到 Halpern state 上是错的；anchoring 会持续注入初始点 normal component，reflection 也会让 state 不在 face 上。shadow point 是 resolvent/prox 后的点，它才携带 subgradient certificate，因此 identification 应该发生在那里。这一点是实质贡献，值得迁移到其他 accelerated splitting 方法的局部分析。
第三个 insight 是 augmentation 的角色更像 metric/geometry shaping，而不是单纯惩罚项。σA^TA 在约束方向注入曲率，可能改善 near-dependent equality geometry；但实验中收益有一部分可能来自 scaling 和参数策略，不能完全归因于理论中的 augmentation mechanism。尤其 RHR-CP-AL 的 adaptive σ 和 restart candidate selection 是强 solver engineering，文中未充分说明各部分独立贡献。
我认为最核心贡献是 operator unification + shadow residual theory；restart 部分更像把已有 sharpness-restart 模板迁移到这个 fixed-point map 上；数值部分则更多展示工程可行性，增益来源不完全干净。
Relation To Prior Work
这篇论文属于 Rockafellar PPM / ADMM splitting / PDHG-CP primal-dual splitting / Halpern acceleration / sharpness restart 这条技术谱系的交叉点。和 Zhu et al. 的 unified augmented primal-dual 框架相比，它新增的是 exact dPPM 与 linearized PFBS representation，以及由此定义的 shadow residual 分析；不只是统一更新公式，而是统一 residual 证明路径。
和 Sun et al. 的 accelerated dPPM for ADMM 相比，它把 Halpern-dPPM 思路从特定 preconditioned ADMM 推到更一般的增强 primal-dual 模板，并且把 fixed-point residual 翻译成原始 KKT residual 和 objective gap。和 LP restarted PDHG / sharpness 分析相比，它不局限于 LP geometry，而是给出条件化的 fixed-point sharpness restart 框架。
看似新的 FA-CP 家族本质上是“保留增强二次项的 CP-type metric choice”，算法形式并不神秘；实质新意在于把它纳入 dPPM/PFBS 与 reflected Halpern residual theory。很多组件本身是已有工具：Halpern residual estimate、averagedness、partial smoothness、Hoffman-Robinson error bound；论文贡献在于连接方式，而不是发明这些工具。
Dataset / Evaluation
实验覆盖 LP 和 QP，既有 synthetic controlled geometry，也有 MIPLIB LP relaxation、Mittelmann LP、Maros-Meszaros QP 等标准 benchmark，并在 GPU 上和若干现代一阶 solver 比较。覆盖面足以说明方法不是只在玩具问题上成立，也能支撑“augmentation 和 linearization 有实际求解器价值”的弱 claim。
但 evaluation 并不能完全验证理论主张的所有关键点。理论强调 exact map、shadow residual、sharpness restart；实验中 LP 性能混合了 adaptive σ、restart candidate selection、scaling、GPU implementation 等因素，难以区分 Halpern reflection、augmentation、参数调节各自贡献。QP 中 subproblem-based variants 使用 inexact inner solver，严格说不在 exact-map 理论覆盖下。linearized QP 实验更像证明在 subproblem solve 昂贵时 explicit update 有工程优势，这符合直觉，但不等价于证明 PFBS theory 本身带来优势。
总体上，实验支持“这是一个有竞争力的 solver design direction”，但对“增益主要来自 proposed theoretical mechanism”支持有限；部分提升可能主要来自 scaling / data / restart policy engineering。
Limitation
1. restart 线性收敛是条件结论。必须有 fixed-point sharpness on visited restart set；如果 sharpness 只来自局部 metric subregularity，那么只能得到 local/tail linear convergence。论文没有解决任意初始化如何进入 sharpness region 的问题。
2. affine-face reduced residual identity 假设较强。很多常见结构的 normal fiber 是 cone 或 polyhedral subset，不是完整 L_F^⊥。因此这部分更像一个干净模型，用来说明机制，而不是广泛适用的局部理论。
3. linearized theory 的参数条件可能保守或限制实际 aggressive tuning。μx>Lh/2 和 M≻0 保证 averagedness，但现代 solver 往往靠 adaptive scaling/restart 在边界甚至越界区域工作。
4. exact augmented maps 的实现成本被转移到 subproblem solve。FA-CP 保留增强二次项，理论上优雅，但实际可扩展性取决于内层求解器；QP 实验已经使用 inexact projected-gradient/BB inner solver，理论没有覆盖。
5. 数值增益归因不清。RHR-CP-AL/RHR-FA-CP 的优势可能来自 augmentation、Halpern restart、adaptive σ、candidate selection、GPU kernel、presolve convention 或 benchmark geometry 的组合。文中未充分说明 ablation，因此不能把全部提升归为 reflected Halpern acceleration。
Takeaway
- 1. 对 accelerated splitting 方法，shadow iterate 可能比 anchored iterate 更重要；residual、identification、local geometry 都应该优先在 shadow 上表述。
- 2. augmentation 最值得理解为 metric shaping：它改变约束方向曲率和 fixed-point geometry，而不仅是 ALM penalty。
- 这个视角可迁移到其他 constrained first-order solvers。
- 3. restart 理论的正确抽象是 fixed-point sharpness on visited set，而不是泛泛的 objective sharpness。
一句话总结
这篇论文把增强 primal-dual 方法从 saddle-gap 分析推进到 shadow fixed-point residual 分析，并把 reflected Halpern acceleration、active-set identification 与 sharpness restart 统一成一个面向 LP/QP 一阶求解器的 operator-theoretic 框架。