精读笔记

Problem Setting

论文标题：Subgradient Methods on Manifolds with Lower Bounded Curvature（arXiv preprint / 2026）。

本文实际解决的是：在 Hadamard 流形且截面曲率仅有下界 sec M ≥ -κ² 的环境中，经典归一化 subgradient method 是否还能继承欧氏 Shepilov 分析下的收敛性质。这里的难点不是非光滑凸优化本身，而是负曲率导致距离递推不再是欧氏平方距离的线性-二次结构；三角形比较会引入 cosh/sinh 项，导致步长误差与当前距离耦合。

以前的 Riemannian subgradient 结果多依赖 ∑λ_k²<∞ 来压住误差项，或者在非负曲率下使用更友好的比较几何。本文针对的关键矛盾是：Shepilov 型条件 λ_k→0, ∑λ_k=∞ 给了无限探索长度，但没有平方可和时，若不能证明每次远离低值区域都会产生可累计负漂移，就无法排除轨道长期停留在非最优水平集。

Motivation

已有路线不够的地方在于：它们能证明经典 diminishing stepsize 收敛，但通常把负曲率效应吸收到 ∑λ_k² 的误差控制里。这比 Shepilov 欧氏结果更保守，也没有回答欧氏 subgradient method 的基本收敛机制在 Hadamard geometry 中到底是哪一部分仍然成立。

作者的核心观察是，Shepilov 证明真正依赖的不是线性空间结构，而是一个“若当前位置函数值高于某个低值球，则负子梯度方向相对该球有正向夹角”的几何事实。在 Hadamard 流形中，这个事实不能用普通余弦定理表达，但可以用下界曲率对应的双曲余弦比较表达。因此关键缺口是一个能服务于 subgradient step 的曲率敏感 contraction lemma。

Core Idea

论文的核心思想是把欧氏距离下降改写为双曲模型空间中的距离下降。给定低值球 B[x̄,δ]，如果 f 在该球内严格小于 f(x)，且 x 离 x̄ 至少 2δ，那么沿 s=-g/||g|| 做一步 geodesic update 后，d(z,x̄) 满足一个带有负项 -sinh(κλ)sinh(κδ/2) 的 cosh 递推。这条递推把“函数值有 gap”转化为“几何距离有可累计下降”。

这和 prior 的本质区别是分析变量变了：不是试图在负曲率上继续使用欧氏平方距离 quasi-Fejér，而是承认正确的 Lyapunov 量应当是 cosh(κd)。这使得非平方可和步长下的 Shepilov contradiction 可以复活：如果迭代始终远离低值区域，累计负漂移会因为 ∑λ_k=∞ 而把非负的 cosh 距离推到不可能的值。

Method

算法层面几乎没有新东西：选择 g^k∈∂f(x^k)，若 g^k=0 则停止，否则 x^{k+1}=exp_{x^k}(λ_k(-g^k/||g^k||))。真正的 method 是证明机制。

第一，归一化子梯度把步长 λ_k 变成实际 geodesic distance d(x^{k+1},x^k)。这避免子梯度范数大小污染几何比较，是后续双曲余弦递推能简洁成立的原因。

第二，Theorem 2.3 解决“下降方向是否几何上朝向低值球”的问题。它先用 subgradient inequality 证明 -g 方向与指向低值球的向量有足够正夹角，再用下界曲率余弦比较把该角度转成 cosh 距离收缩。

第三，Corollary 3.2 在有界轨道上把 cosh(κλ_k)-1 的二阶小量吸收掉，得到按 ∑λ_k 累计的严格下降。这一步是从局部几何估计到全局收敛的桥。

第四，后续定理只是不同方式闭合有界性或紧性：轨道有界直接推出 liminf f=f* 与 d(x^k,S)→0；S 有界时用子水平集紧性与 trapping 论证获得 boundedness；平方可和步长下则恢复完整迭代收敛。

Key Insight / Why It Works

最核心的 insight 是：负曲率不是单纯的 nuisance，而是要求把距离势函数换成双曲势函数。cosh(κd) 的出现不是技术装饰，而是下界曲率比较定理下自然的 Lyapunov 坐标。只要轨道被限制在有界区域，小步长下 cosh(κλ)-1≈O(λ²)，sinh(κλ)≈κλ，于是递推中的正误差是二阶，负漂移是一阶。由于 λ_k→0 且 ∑λ_k=∞，一阶负漂移最终支配二阶误差。这就是方法有效的真正原因。

最可能的核心贡献是 Theorem 2.3 及其在 Proposition 3.1/Corollary 3.2 中的使用。其他结果，包括 ∑λ_k²<∞ 下收敛和复杂度式 bound，更像已有路线的重述或替代证明；它们不是本文最有价值的部分。

这篇不是 scaling、不是数据覆盖、不是工程优化，也不是实验 benchmark 驱动。它本质上是 better geometric inductive bias：选择与曲率匹配的比较量来重建 subgradient convergence。Busemann 函数例子有一定启发性，但主要是说明性工具，不是证明主结果不可或缺的组件。

需要注意的是，论文把困难的一部分转移到了 boundedness。非平方可和步长下，若没有轨道有界、S 有界或其他紧性条件，核心递推无法直接给出全局收敛。因此该方法不是“完全解决负曲率 subgradient 收敛”，而是明确了：一旦能控制轨道范围，Shepilov 机制可以在 Hadamard 下界曲率中运行。

Relation To Prior Work

最接近的谱系是 Shor/Polyak/Shepilov 的欧氏归一化 subgradient method，以及 Ferreira–Louzeiro–Prudente、Wang 等在下界曲率流形上的 subgradient 分析。本文不是提出新算法，而是把 Shepilov 的欧氏收敛逻辑移植到 Hadamard lower bounded curvature。

与 Wang 2018、Ferreira et al. 2019 的差异在于，后者主要在 ∑λ_k²<∞ 的经典 diminishing stepsize 框架内建立收敛和复杂度；本文更关心非平方可和但不可求和步长下的 d(x^k,S)→0，并通过新的双曲 contraction lemma 规避直接 quasi-Fejér 的限制。

与早期非负曲率 subgradient/feasibility 工作相比，本文处理的是负曲率允许存在的 Hadamard 情形。非负曲率下许多比较估计更接近欧氏，负曲率下必须显式引入 κ 与 cosh/sinh。

看似新的部分中，算法本身完全不是新东西；平方可和步长下的收敛也不是实质创新。实质新增信息是：Shepilov 型欧氏论证在 lower bounded curvature 下的正确几何替代形式，以及用它推出 bounded orbit / bounded S / interior S 等情形的收敛或有限终止。

Dataset / Evaluation

没有传统意义上的 dataset/evaluation。论文的验证方式是定理证明加 Poincaré disk 构造例子。对于优化理论论文这是合理的，但也意味着 claim 的支撑集中在数学条件是否自然、证明是否闭合，而不是 empirical robustness。

Poincaré disk 中由两个 Busemann 函数组成的凸函数例子展示了一个有意思场景：最优集是双曲度量下无界的 x 轴，但从 y 轴初始化时负梯度始终指向原点，轨道有界并收敛到 S 中一点。这支持“bounded iterates 比 bounded S 更本质”的观点。不过该例子仍较特殊：光滑、二维、对称性强，不能说明一般 unbounded solution set 下轨道有界是常见现象。

复杂度 bound Theorem 3.11 属于理论补充，形式上验证了平方可和框架下的已有收敛速度类型，但不构成本文核心 claim 的强证据。文中没有数值实验，也没有比较不同曲率、不同步长、不同函数类下界是否 sharp。

Limitation

第一，统一下界曲率是硬前提。所有关键估计依赖 sec M≥-κ² 的全局双曲比较；如果曲率负部无界，当前证明失效。作者在结论中提到线性恶化曲率的可能扩展，但文中未充分说明如何完成 bootstrap。

第二，非平方可和步长下的主要结果仍需要 bounded iterates 或 bounded S 等条件。也就是说，论文没有从算法自身推出一般 boundedness；在负曲率中这可能正是最难的部分。若轨道逃向无穷远，Corollary 3.8 甚至只给出二分：要么逃逸，要么趋近 S。

第三，d(x^k,S)→0 不等价于 x^k 收敛。完整迭代收敛仍主要依赖 ∑λ_k²<∞，这回到了已有工作中熟悉的强步长条件。非平方可和框架下是否能在额外弱条件下得到点收敛，文中没有解决。

第四，Theorem 2.3 的条件 f(u)<f(x) for all u∈B[x̄,δ] 是强局部 gap 条件。证明中通过反证或最优集邻域构造来满足它，但这也说明分析依赖对低值区域的局部厚度控制。

第五，有限终止结论需要 int(S)≠∅，这在一般凸优化中偏强，更像 feasibility/flat-minimum 场景。它是 Shepilov 现象的漂亮迁移，但应用面有限。

第六，sharpness 不清楚。文中未给出反例说明 boundedness、S bounded、∑λ_k²<∞ 等条件不可去除，也没有分析 κ 常数对估计是否最优。

Takeaway

• 1. 这篇真正值得记住的是一个几何分析模板：在负曲率 Hadamard 流形上，subgradient 收敛不应强行用欧氏平方距离，而应使用 cosh(κd) 这类模型空间 Lyapunov。
• 2. Shepilov 欧氏机制的本质是“一阶负漂移压倒二阶步长误差”，而不是线性空间结构；本文证明了该机制在 lower bounded curvature 下仍存在，但前提是轨道范围可控。
• 3. 未来更有价值的问题不是再换一个 subgradient 变体，而是如何自动获得 boundedness，或在曲率仅局部/非均匀下界时建立可闭合的有效 κ_R 分析。
• 4. Busemann 函数作为负曲率空间中 affine function 的替代物，可能是构造例子、反例和更一般一阶方法分析的有用工具，但本文对这一点只是开了头。

一句话总结

这篇论文不是提出新算法，而是用双曲比较几何重建了 Shepilov 型 subgradient 收敛机制，明确了 Hadamard 下界曲率中非平方可和步长分析的核心障碍与可迁移工具。