精读笔记

Problem Setting

这篇论文实际解决的是 anchored fixed-point / monotone-equation algorithms 的“结构来源”问题，而不是单纯提出一个更快的变体。背景是：Halpern iteration、anchored EG、anchored PEG/OGDA 等方法都通过一个消失的 anchor pull 获得 last-iterate residual 保证，但对于 EG/PEG 这类多查询方法，anchor 放在 base iterate、lookahead point、past point 还是 affine center，往往看起来像手工设计。

关键困难在于两个机制叠加：EG/PEG 的稳定性来自 query pattern；anchoring 的加速或强收敛来自 Tikhonov bias。已有工作通常直接在 update level 设计带 anchor 的迭代，再用特定 Lyapunov 证明，因此很难判断哪个 anchor placement 是必要的，哪个只是 proof artifact。论文抓住的矛盾是：想保留 base method 的稳定 query structure，同时系统地加入 Tikhonov regularization，而不是重新发明一个 anchored algorithm。

Motivation

已有路线不够的地方不是 rate 不够，而是解释不够。EAG、FEG、anchored Popov、fast OGDA 等工作已经有 O(1/k) residual-norm 量级的结果，但它们的 anchoring 通常表现为方法级改造：把某个线性组合拉向 x_0，或者在某个中间点加入 Halpern-type correction。这样做能证明收敛，却不能说明 anchor 为什么应该在那里。

作者的核心观察是 Halpern 本身可以被看成“对 operator 做 Tikhonov regularization 后跑原始 Picard”。这提示一个更一般的构造：不要问“如何修改 EG/PEG 更新”，而是问“EG/PEG 原本查询的 operator 是什么，把这个 queried object regularize 后会得到什么”。这个视角缺的是一个统一的 tracking 分析，证明这种 operator-side substitution 不只是形式漂亮，而是真的给出 last-iterate residual rates。

Core Idea

论文的核心思想是：anchoring 应该是 operator-side Tikhonov regularization，而不是 update-side heuristic。对 fixed point，regularized map 是 T_k(x)=(1-δ_k)T(x)+δ_k x_0；对 monotone equation，regularized displacement 是 G_k(x)=η_kF(x)+δ_k(x-x_0)。然后 Picard、Forward、EG、PEG 模板完全不变，只是把原来的 queried object 替换为 T_k 或 G_k。

这个改变的本质是重新组织了信息流：anchor 不再绑定到某个人工指定的 base iterate，而是绑定到 base method 的 operator query location。EG 第二次查询在 lookahead point，于是第二个 anchor 也自然在 lookahead point；PEG 查询 past/current auxiliary points，于是 anchor 也落在那里。这是本文和很多 anchored EG/Popov 变体的本质区别：它不是先设计 anchored update 再证明，而是先 regularize oracle，再由 oracle-call pattern 推导 update。

Method

关键机制可以压缩为三层。

1）Regularize-and-run：对每个 k 构造带 δ_k 的 regularized operator/displacement，然后运行未修改的 base template。它解决的是 anchor placement 的任意性；核心变化是 anchor placement 由 query pattern 决定，而不是由 Lyapunov 反推。

2）Progress–drift–bias decomposition：每个固定 δ_k 的问题更 well-conditioned：fixed-point map 变成 contraction，monotone displacement 变成 strongly monotone。算法在当前 regularized problem 上产生 contraction-like progress；δ_k 改变导致 moving target drift；最终从 regularized residual 回到原始 residual 产生 bias。所有结果都归约到 E_{k+1}≤(1-γδ_k)(E_k+C(δ_{k-1}-δ_k)R)。

3）Trajectory boundedness：这是 monotone equation 部分不可省的技术环节。因为 ||F(x_k)|| 由 ||G_{k-1}(x_k)|| 和 δ_{k-1}||x_k-x_0|| 控制，所以必须保证迭代不离开 anchor-radius ball。Reg-EG 用强单调 EG contraction 加 moving zero stability；Reg-PEG 用 staggered Lyapunov 控制 auxiliary sequence。这里的 boundedness 是理论闭环的关键，而不是普通 technical lemma。

Key Insight / Why It Works

真正有效的原因是 Tikhonov 项把原本只 monotone 的问题临时变成 strongly monotone / contractive problem，base method 每一步都在“更好条件”的局部问题上获得收缩；δ_k≈1/k 让 conditioning 缓慢变差，同时 drift 和 bias 也按同阶衰减。换句话说，anchoring 的作用不是神秘加速，而是 continuation：先解 biased easy problem，再逐步移除 bias。

最核心贡献是 operator-side anchoring 解释了 anchor placement。对于 EG/PEG，很多已有方法的 anchor placement 是 update-centric 的，而本文说明另一种自然原则：operator query 在哪里，Tikhonov correction 就在哪里。这一点值得迁移，因为它把 algorithm design 从“写一个带 anchor 的 update”改成“定义一个 regularized oracle”。

Reg-EG/Reg-PEG 的 O(1/k) residual norm 并不说明它们在所有意义上优于已有 anchored variants；更准确地说，它们提供了一个更干净的生成原则和证明模板。Forward-step 的结果尤其有意思：在 monotone Lipschitz 但非 cocoercive 情形，普通 forward 可发散，而 Tikhonov-regularized forward 通过 shrinking η_k 和 contraction of I-G_k 获得 O(1/√k)。但这里的增益主要来自 damping/regularization 与 vanishing step，而不是 forward step 获得了 EG 的 two-query geometry。不要过度解读为 one-call method 真正替代 EG；它达到的是 unanchored EG/PEG residual norm 量级，不是 anchored EG/PEG 的 O(1/k)。

这篇没有 data/scaling 成分；也不存在 benchmark leakage 或 hidden supervision 问题。若要挑归因，Reg-EG/PEG 的“加速”本质上是 better inductive bias/regularization schedule，而不是 computation scaling。PEG 中 residual potential 的构造仍有一定 proof-engineering 味道，但 operator-side rule 本身是干净的。

Relation To Prior Work

技术谱系上，它位于 Halpern/Browder/Tikhonov regularization、monotone VI regularization、EG/PEG last-iterate convergence、anchored EG/Popov acceleration 的交叉处。和 Halpern 的关系最直接：Picard on T_k exactly gives Halpern，所以 fixed-point 部分主要是 prototype，而不是新算法。

和 EAG/FEG/flexible anchored G-EAG 的区别在 anchor placement 原理。那些方法通常把 anchor correction 绑定到 base iterate 或 affine anchor center；Reg-EG 把第二个 anchor 放在 lookahead query point，因为第二次 operator call 就在那里。和 anchored Popov/APV/fast OGDA 的区别类似：Reg-PEG 的 anchor 跟随 past/current auxiliary query，而不是共享同一个 base Halpern displacement。

哪些是已有思想重组？Tikhonov regularization、moving strongly monotone problem、Halpern residual analysis 都是老思想；EG/PEG 在 strongly monotone Lipschitz 下有 contraction 也不是新现象。实质创新在于把这些拼成一个 operator-side recipe，并证明该 recipe 自动生成 forward/EG/PEG variants 且共享同一 recurrence。论文的贡献更偏“概念统一 + 若干新实例”，不是提出一种完全新的加速机制。

Dataset / Evaluation

没有实验、没有数据集、没有 benchmark。评价完全是理论定理：在 single-valued unconstrained monotone Lipschitz Hilbert-space setting 下给 last-iterate residual bounds。

这些理论结果支持了论文的核心 claim：operator-side regularization 能统一 Halpern、regularized forward、Reg-EG、Reg-PEG，并给出相应 residual rates。尤其是四个分析都落到同一 recurrence，这比堆实验更能验证“unifying view”。

但 evaluation 的覆盖范围也很窄：没有 constrained VI、没有 monotone inclusion、没有 stochastic oracle、没有 finite-dimensional saddle benchmark、没有和 EAG/APV 等在相同 residual notion 和 parameter regime 下的实证或 worst-case 对比。因此它证明的是机制成立，不证明该 placement 在实践中更优，也不证明它支配已有 anchored methods。

Limitation

主要限制不是常数大，而是适用域窄。单值、全域、无约束、Lipschitz monotone、solution nonempty 是强前提；很多实际 VI/游戏/优化问题涉及约束、normal cone、set-valued inclusion 或 stochastic noise，文中未充分说明该 tracking framework 如何无损推广。

Reg-EG/PEG 的 O(1/k) rate 依赖固定 η=O(1/L) 和 δ_k=O(1/k)，且证明需要 trajectory boundedness。这个 boundedness 由 regularized zero stability 和特定 Lyapunov 支撑；一旦有 projection、inexact oracle、noise 或 adaptive stepsize，drift 项可能不再这么干净。

Forward-step 的结果有概念价值，但上限明显：它需要 η_k≈1/(L√k)，最后只得到 O(1/√k)。这更像 regularization + damping 抑制旋转发散，而不是 forward dynamics 发现了额外结构。

和 prior 的比较还不够彻底。论文说明 Reg-EG/PEG 的 anchor placement 不同，但没有证明这种 placement 在 oracle complexity、constants、robustness 或 practical stability 上优于 EAG/APV/anchored Popov。增益归因清楚地来自 Tikhonov tracking，但“这种 placement 是否最好”仍未回答。

Takeaway

• 1）最值得记住的是设计原则：先 regularize queried operator，再运行未修改 base method。
• 这个原则比手写 anchored update 更可迁移。
• 2）Anchored acceleration 可以被理解为 tracking moving regularized problems：progress、drift、bias 三项平衡，而不是某个神秘 Lyapunov trick。
• 3）对多查询方法，anchor placement 应该跟随 query pattern。

一句话总结

这篇论文把 anchored fixed-point 与 monotone-equation 方法重新解释为“对被查询算子做 vanishing Tikhonov regularization 后追踪 moving problem”的统一框架，实质贡献是给出 anchor placement 的 operator-side 生成原则，而不是单纯再造一个 anchored EG/PEG 变体。