精读笔记

Problem Setting

这篇论文处理的是 Hadamard 空间中的伪单调 equilibrium problem，其中 bifunction 在第二变量上不是凸而是强拟凸。表面任务是求 x* 使 f(x*,y)≥0；真正困难是：强拟凸给的是沿测地线的严格 level-set 收缩，而不是凸分析中 resolvent 的良好单值性；伪单调也只允许从 f(x*,x)≥0 推出反向符号，不能提供强单调那种直接误差界。欧氏空间里 Iusem–Lara 的方法已经能处理这类问题，但其证明依赖线性结构、局部紧性/连续性假设和开参数区间，且没有 rate。迁移到 Hadamard 空间后，关键矛盾变成：如何在没有向量差和内积的情况下，仍然获得足够强的 Fejér 下降，并把一步残差 d(x_k,x_{k+1}) 转化成到唯一解的距离控制。

Motivation

已有路线的缺口很明确：Hadamard 空间中的 proximal/equilibrium 理论大多服务于凸/单调结构，而强拟凸伪单调问题既非凸又缺少线性工具；另一方面，欧氏强拟凸 equilibrium 文献证明不够 elementary，难以直接迁移，也没有非渐近信息。作者的核心观察是：强拟凸本身已经提供唯一性和局部二次分离，伪单调只需用于把 equilibrium 条件转成朝向解的符号约束；剩下的几何工作可由 CAT(0) 的平方距离凸性和 quasi-inner product 不等式承担。也就是说，缺的不是新算法，而是一套不依赖线性结构、可定量化的证明骨架。

Core Idea

论文真正的核心不是提出新的 proximal algorithm，而是把已有 proximal-type 方法的收敛机制重新表述为纯 metric 的 inequality calculus。对第二变量 proximal 方法，每步解 f(x_k,·)+d^2(x_k,·)/(2β_k) 的最小化问题；强拟凸给出 proximal 点相对任意 y 的变分不等式，CAT(0) quasi-inner product 把其中的“内积项”改写成距离差，伪单调把 y=x* 时的 bifunction 项消掉，最终得到 Fejér 型下降。这里的本质区别是：prior 在欧氏几何中做证明，本文把证明拆成可迁移的 metric 原语，因此无限维 Hilbert、Hadamard manifold、R-tree 等都被同一套机制覆盖。

更有价值的是定量化：作者不是先证明收敛再补 rate，而是从一开始就构造能 telescope 的不等式。特别是 β_k 允许落在闭区间端点时，固定 λ=1/2 无法给残差项统一正下界；论文引入依赖 β_k 的 λ_k，使 c_k≤d_k 且 e_k>0 同时成立。这是整个 rate proof 的关键 technical insight，也是这篇相对 Iusem–Lara 真正新增的信息之一。

Method

第一，存在性部分用 lsc 强拟凸函数的 1-supercoercivity 替代局部紧性。它解决的是 Hadamard 空间中 minimizer/equilibrium point 是否存在的问题；必要性在于后续强收敛是到唯一解的收敛，没有解则算法定理只能是条件陈述。核心变化是把 Lara 欧氏存在性结果提升到非线性空间，并推出每个 lsc 强拟凸函数在 Hadamard 空间中有 minimizer。

第二，第二变量 proximal 方法的分析围绕 Lemma 4.7–4.13。它解决的是如何从 x_{k+1}∈Prox_{β_k f(x_k,·)}(x_k) 推出 Fejér 单调和残差下降；需要它是因为 proximal map 在强拟凸情形下可多值，不能依赖 nonexpansive resolvent 框架。核心变化是使用可调 λ 的强拟凸 proximal inequality，并通过自适应 N(β_k) 保证 telescope。

第三，regularized selection 方法把 full bifunction regularization 抽象为 r(u,v,w)。它解决的是不同 Hadamard regularization 形式无法统一的问题；R1 提供 Fejér 下降，R2 提供从残差到解距离的误差绑定。核心变化是证明只依赖两个距离不等式，而不依赖 regularizer 的具体来源。

第四，定量结果统一给出 d(x_k,x*)<C/√(k−2) 或 D/√(k−2)。这里的机制不是复杂度理论中的 oracle analysis，而是 proof mining 风格的有效化 Fejér argument；贡献在于常数显式且空间无关，但不应过度解读为最优算法复杂度。

Key Insight / Why It Works

最核心的有效性来源是强拟凸在唯一解附近提供了一种“metric sharpness-like”的二次分离：如果 x_{k+1} 仍远离 x*，那么沿测地线插值会使 f(x_{k+1},·) 下降出一个 γ d^2 级别的 gap；而 proximal/regularized optimality 又限制这种下降只能由步长残差 d(x_k,x_{k+1}) 支付。因此只要能证明残差沿某个子序列足够小，就能把它升级为解距离小；Fejér 单调再把子序列小推广到尾部全小。这就是 O(1/√k) 的真实来源。

最可能是核心贡献的是两个点：一是 existence proof 中把强拟凸 lsc 推到 1-supercoercive，并用 Δ-compact/KKM 处理 Hadamard 空间；二是第二变量 proximal 方法中 adaptive λ_k 的构造，它让参数闭区间和 rate 同时成立。相比之下，三种 full regularization 的统一更多是 framework-level 清理：有价值，但由于 well-definedness 没解决，算法层面的贡献弱于第一种方法。

这不是 scaling、data coverage、retrieval 或 benchmark engineering；它是 proof architecture 的改造。所谓“性能增益”主要是数学适用范围和定量信息的扩大，而不是算法在数值上更快。需要注意的是，rate 的常数非常粗，特别在 γ 接近 12η 时爆炸，说明 proof 的稳定性严重依赖 strong quasiconvexity dominating Lipschitz error。这里的 insight 可迁移到其他非线性空间优化问题：若能把算法 optimality 写成距离差，再找到某种 sharpness/curvature 机制，就可以绕过弱紧性证明并抽取 rate。

Relation To Prior Work

最接近的 prior 是 Iusem–Lara 2022 对欧氏强拟凸伪单调 equilibrium problem 的两个 proximal point algorithms，以及 Pischke 2025 对 Hadamard 空间中强拟凸函数 proximal 方法的结果。本文不是另起一条算法路线，而是把这两条线合并：Iusem–Lara 提供 equilibrium problem 和两个方法，Pischke/ proof mining 提供 elementary quantitative proof 风格，Hadamard convex analysis 提供 metric geometry 工具。

本质差异有三层。第一，空间层面从有限维欧氏扩展到一般 Hadamard 空间，甚至覆盖无限维 Hilbert；这不是简单泛化，因为局部紧性和线性内积不能用。第二，证明层面从紧性/渐近论证变成显式 Fejér-telescoping，因此得到欧氏情形也新的 rate。第三，假设层面去掉或弱化若干连续性/参数限制，尤其 A3 被完全移除，A1 在已知 existence/well-definedness 时也不参与收敛。

看似新的 full regularization 统一框架其实是已有 Hadamard equilibrium regularization 的重组：quasi-inner product 来自 Khatibzadeh–Mohebbi，tangent-cone 形式来自 Hadamard manifold 文献，Busemann 形式受 Bento 等启发。实质创新不在这些 regularizer 本身，而在抽象出 R1/R2 并说明强拟凸伪单调收敛证明只需要这些性质。同时作者对 Iusem–Lara well-definedness 论证的质疑是重要的负结果性质贡献，避免了把一个可能错误的算法定义问题继续掩盖。

Dataset / Evaluation

这是一篇纯数学优化论文，没有 dataset、实验或 benchmark。evaluation 对应的是定理覆盖范围和假设强度，而不是数值性能。核心 claim“Hadamard 空间强收敛 + 显式非渐近 rate”由 Theorem 4.14、4.18、5.10 直接支持；claim“存在性提升”由 Theorem 3.9 和 Corollary 3.10 支持。

从验证充分性看，第一种 proximal 方法的理论闭环较完整：在 A1/A2/A4/A5/A6 等条件下可以得到 existence、well-definedness 和 convergence。第二种 regularized selection 方法的 evaluation 明显 weaker：定理假设每个 regularized equilibrium 子问题已有解，而论文同时指出这个假设在相关文献中并不稳固。因此它验证的是“若可定义，则收敛”，不是“该算法普遍可运行”。没有数值实验不是问题；但也意味着论文没有回答这些方法在实际 Hadamard manifold / metric data problem 中是否可计算、子问题是否容易、rate 是否可观察。

Limitation

最大限制是所有强结果都依赖强拟凸模数 γ 与 Lipschitz 常数 η 的 separation，尤其第二变量 proximal 方法要求 γ>12η。这个条件不是表面 technicality：proof 中需要正的残差系数和误差绑定常数；当 γ 不足以压过 η 时，Fejér mechanism 无法闭合。常数随 γ−12η 退化也说明该理论在边界情形没有鲁棒性。

第二个限制是 full regularization 方法的 well-definedness 没解决，而且作者明确指出已有欧氏论证可能错误。这意味着 Section 5 的算法更像 conditional convergence theorem；如果 regularized equilibrium 子问题不存在，定理没有算法意义。更尖锐地说，论文把该方法最难的可执行性问题转移到了假设里。

第三，rate 主要是 proof-mining 产物，不应理解为 tight complexity。O(1/√k) 来自残差平方的 telescope 和残差到距离的一次转化，可能不是问题类的最优速率。文中未充分说明 lower bound、最优性或是否能在线性/强单调类似条件下得到更快 rate。

第四，虽然 Hadamard 空间很 general，但实际应用需要计算 geodesic、proximal subproblem、Busemann/tangent-cone regularizer；论文不处理这些计算复杂度。泛化是真正的几何泛化，不是 empirical generalization；但可部署性仍然不清。

Takeaway

• 第一，强拟凸伪单调 equilibrium problem 的核心不是 convex resolvent，而是唯一解 + Fejér 下降 + 残差误差绑定；这个 proof pattern 可以迁移到其他 metric optimization 问题。
• 第二，在 Hadamard 空间中，很多看似需要线性内积的 proximal argument 实际只需要 quasi-inner product 的 Cauchy–Schwarz 型不等式和平方距离凸性；这给非线性空间优化提供了更干净的抽象层。
• 第三，定量化不是附属结果，而是反过来改进了定性定理：adaptive λ_k 的引入是为了 rate，但同时放宽了参数区间并澄清了哪些连续性假设真正必要。
• 第四，regularized selection 方法的未来关键不在继续证明 conditional convergence，而在解决 regularized subproblem 的 existence/tractability；否则它更像理论模板而不是可靠算法。

一句话总结

这篇论文把欧氏强拟凸伪单调 equilibrium 的 proximal 收敛理论重写成 Hadamard 空间中的定量 Fejér 机制，真正贡献是 proof architecture 与显式 rate，而不是新算法本身。