精读笔记
Problem Setting
这篇论文实际解决的是 sharp minimizer 的“几何—扰动—斜率”统一刻画：给定 proper function / lsc functional，什么时候一个 minimizer 具有线性增长下界，并且这种线性增长是否等价于小扰动下 minimizer 不移动。
真正困难点在于 sharpness 本身是一个很硬的全局/局部 error bound 条件，但作者想用更几何的对象识别它：切平面的滚动、dual tilt、metric slope、convex envelope。对非光滑函数，没有 Hessian 或二阶曲率可用；对 Banach / metric spaces，甚至不能依赖有限维几何直觉。因此问题的关键矛盾是：sharpness 看起来是点到点的距离增长不等式，而 perturbation stability 看起来是函数族的 argmin 不变性；论文证明这两者其实是同一个结构。
以前路线更多从 weak sharp minima、subdifferential、error bounds、steepest descent rate 等角度进入，能给出判别条件，但不直接解释为什么“尖点”对应“切平面可滚动”。本文卡住的不是已有定理不够强，而是已有表述没有把这个几何机制抽出来。
Motivation
作者的核心观察是：锥尖的特殊性不在于它有某种光滑曲率，而在于它能承受切平面的微小旋转；函数图像上这对应于 subtract 一个小范数线性泛函后，原 minimizer 仍然是唯一 minimizer。这个观察把 sharp minimum 从“函数值线性增长”改写成“对 tilt 的不变性”。
已有路线不够的地方是，它们大多把 sharp minima 当作 convergence / sensitivity 的条件使用，而不是把它作为一种几何对象理解。特别是 tilt stability 文献中的 tilt-stability 通常是 minimizer mapping 的 Lipschitz 稳定性，和这里的“所有小 tilt 下 minimizer 完全不动”不是一回事；本文强调的是更强的 invariance，而不是局部解映射 regularity。
关键缺口是：能否只通过 perturbation action，尤其是 dual space 的线性作用，恢复 cone lower bound？Theorem 2.2 给出肯定答案，并且 dense subset of dual 已经足够。这是本文最干净的动机闭环。
Core Idea
论文真正的核心思想是把 sharpness modulus γ 看成一个 perturbation budget。若离开 x̄ 必须支付至少 γ‖x−x̄‖ 的函数值代价，那么任何 Lipschitz 常数小于 γ 的扰动最多只能返还 Lip·‖x−x̄‖，无法抵消这条线性墙。因此 minimizer 被 cone lower bound 锁住。这给出 sharp ⇒ stability。
反向则是本文更有内容的部分：如果所有小范数线性 tilt 都不能改变 minimizer，那么对任意 x≠x̄，可以用 Hahn–Banach 构造一个范数几乎为 γ、且在 x−x̄ 方向上达到支撑的 functional。把这个 functional 作为 tilt 代入 minimizer 不变性，就推出 f(x)−f(x̄) ≥ γ‖x−x̄‖。这一步把 dual ball 的支撑函数精确变成原空间范数，因此不是单纯直觉，而是 norm-duality 的直接结果。
和 prior 的本质区别在于，本文不是从 subdifferential 或 descent rate 出发，而是把 sharpness 视为 perturbation-invariant geometry。它改变的是建模语言：sharp minimum 不再只是 error bound，而是“局部图像被一个锥支撑，并且该支撑结构在小 tilt 下不消失”。这个 inductive bias 可迁移到 metric spaces，因为 Lipschitz perturbation 和 slope 都不依赖线性坐标。
Method
第一条主线是 normed-space 全局 sharp minima。Theorem 2.2 证明三件事等价：所有 ‖ξ‖<γ 的线性 tilt 下 argmin 唯一为 x̄；只在 dense dual subset 上 x̄ 保持 minimizer；x̄ 具有 γ-sharpness。这里的必要机制是 Hahn–Banach：它允许从任意原空间方向构造 dual 支撑，从而把 tilt invariance 反推为 cone lower bound。
第二条主线是把 perturbation 从 linear 放宽到 Lipschitz。Corollary 2.3 的机制很直接：sharp cone 提供 γ 斜率余量，Lipschitz perturbation 最多以 Lip ζ 的速率改变相对函数值；只要 Lip ζ<γ，余量为正。这一步说明 stability 的本质不是线性泛函，而是扰动的最大变化率。
第三条主线是 slope characterization。global slope |∂f|(x) 衡量从 x 往全局任一点下降的最大速率。若 sharpness 成立，任何 x≠x̄ 至少能朝 x̄ 下降 γ。反向使用 Ekeland variational principle：如果没有 sharpness，就可制造一个近似 minimizer，其 slope 小于 γ，违背 slope lower bound。这是把几何尖点转写为“非极小点不可临界”的机制。
第四条是 convexification。Proposition 2.5 表明 f** 保持同样 sharpness。机制是：tilt invariance 给出 conjugate 在 dual ball 内由 x̄ 精确实现，进而 biconjugate 对所有 x 仍支撑出 γ‖x−x̄‖。这说明 sharp cone 是凸包可见结构，非凸细节不是必要信息。
第五条是 metric/local extension。Theorem 2.7 用 Ekeland principle 在 complete metric spaces 中证明 sharp local minimizer 等价于小 Lipschitz perturbation 下 ball 内 minimizer 不出现偏移。Hadamard/geodesic convex 部分进一步用距离函数的 geodesic convexity 和 local slope 控制凸扰动。
Key Insight / Why It Works
最关键的 insight 是：sharpness 的本质是“线性 margin”，而 perturbation stability 的本质是“扰动 Lipschitz 预算”。只要 margin γ 大于 perturbation rate，就不可能通过扰动改变 minimizer；反过来，如果没有 margin，则总能沿某个方向设计一个足够小的 tilt，把某个离开 x̄ 的点变得不劣。这和 classification margin 的逻辑很像，但这里 margin 是函数图像相对 metric 的 cone margin。
最核心贡献应当是 Theorem 2.2 的等价刻画及其几何解释。尤其是 dense dual subset suffices 这个表述很有意思：它说明 sharpness 可以通过一个稠密的 tilt family 检测，而不需要完整 perturbation class。这不是 engineering，也不是 scaling，而是 norm duality + separation theorem 的结构性结果。
Proposition 2.4 / 2.9 的 slope 条件重要但新意较弱。作者自己也承认类似结果在文献中以其他形式出现。它们的价值在于服务几何叙事：sharp minimum 等价于图像在极小点外没有 flattening。真正的新信息不是 slope lower bound 本身，而是它和 cone containment / tilt invariance 被放进同一套解释中。
biconjugation preservation 是另一个值得迁移的 insight：sharpness 是 convex envelope 中不会消失的性质。换句话说，如果一个非凸函数在 minimizer 处真的有 cone lower bound，那么这种尖点不是由非凸振荡制造出来的，而是下半连续凸包也能看到。这对分析非凸优化中的 error bound 很有启发：某些 sharpness 证明可以先 convexify，而不会丢掉目标性质。
可能只是辅助的部分是关于曲面、锥和切平面滚动的二维直觉。它有助于读者理解，但数学上主贡献仍是 perturbation equivalence。metric-space extension 是自然推广，技术上依赖 Ekeland；它扩展了适用范围，但没有引入全新的机制。
Relation To Prior Work
这篇论文处在 sharp minima / weak sharp minima / error bounds / variational stability 的谱系中，和 Polyak 的 sharp minima、Ferris/Burke 的 weak sharp minima、Ng–Zheng、Studniarski–Ward、Uderzo 等关于 subdifferential 与 slope 的刻画最接近。
真正不同点不是提出一个全新的 sharpness 概念，而是把 sharp minimality 和“tilt invariance of minimizers”做成等价定理，并明确给出几何解释：rolling tangent planes ↔ tilting functions ↔ cone lower support。相比 tilt-stability 文献，本文的条件更强也更刚性：不是 minimizer 随参数 Lipschitz 移动，而是小 tilt 下 minimizer 完全不动。
看似新的 slope 部分其实更像已有思想的重表述。global/local slope bounded away from zero 与 steepest descent rate、metric slope、Eikonal/Monge super-solution 方向有明显关联。论文的实质新增信息在于：这些 slope 条件与 perturbation superstability、convex envelope preservation、cone geometry 被统一组织。
和 Polyak 的 superstability 相比，本文扩展了 perturbation class 的表述，尤其强调 linear dual action already characterizes sharpness，以及 Lipschitz perturbations 的 metric 版本。它不是算法论文，也不是收敛率论文；更准确地说，它是 sharp minima 的几何/变分等价性整理。
Dataset / Evaluation
没有 dataset，也没有 numerical evaluation。本文的 evaluation 是数学证明：各定理直接验证核心 claim，即 sharpness 与 tilt invariance、Lipschitz perturbation stability、slope lower bound、biconjugation preservation之间的等价或蕴含关系。
这些证明确实支撑论文的理论 claim，但不支撑任何算法层面的 claim。比如 sharp minima 可导致 finite-time convergence 或 perturbation robustness 是背景动机，本文没有比较算法、没有展示可计算判据、也没有说明这些 characterization 在真实优化模型中比既有 subdifferential/error-bound 条件更容易验证。
因此，如果把 evaluation 理解为“是否证明几何解释成立”，答案是成立；如果理解为“是否证明该几何解释带来新的优化算法能力”，文中未充分说明。
Limitation
第一，条件强。全局 sharp minimizer 要求对所有 x∈X 有线性增长；局部版本虽然放宽，但 perturbation stability 仍通过 global argmin of perturbed functional 与局部 ball 的交来表述。这和很多实际非凸优化中“局部 basin 内算法不会逃逸”的稳定性不是同一个对象。
第二，单点 minimizer 是主线。weak sharp minima 的集合版本才是数学规划中更常见的结构，本文没有系统处理 minimizer set 的 geometry。cone vertex 的图像很清楚，但 minimizer manifold / face 的 sharpness 需要 normal cone、distance to solution set 等更复杂几何。
第三，metric-space 结论依赖 completeness、lower semicontinuity、bounded below；Hadamard-space 结果还依赖非正曲率来保证距离函数 geodesically convex。这些不是无关紧要的技术条件，决定了 perturbation family 是否足够丰富。
第四，增益主要是概念重构，不是新的可计算工具。给定一个复杂非凸 functional，验证“所有小 tilt 下 minimizer 不动”通常不比验证 sharpness 更容易；slope lower bound 也可能同样难。文中未充分说明这些刻画在实际问题中如何降低证明成本。
第五，几何图像有一定误导风险。论文说 epigraph contained in cone epigraph / surface contained in convex hull of cone，这在直觉上有用，但严格数学结论是函数被 cone lower bounded。对于非凸、非流形、extended-valued 情况，曲面语言只是解释层，不应过度解读为局部形状分类。
Takeaway
- 1. sharpness 最值得记住的等价定义是 perturbation budget：γ-sharpness ⇔ 所有 Lipschitz 常数小于 γ 的扰动无法在局部/全局制造新的 minimizer。
- 2. dual tilt invariance 是检测 cone lower bound 的最干净几何形式；Hahn–Banach 是反向恢复 sharpness 的关键机制。
- 3. sharpness 是 convexification-stable 的：如果尖点是真的线性 margin，它不会被 biconjugate 抹掉。
- 这一点可迁移到非凸 error-bound 分析。
一句话总结
这篇论文把 sharp minima 从一个线性增长 error bound 重新定义为“小 tilt 下 minimizer 不动”的几何稳定性结构，其实质贡献是用 duality 和 Ekeland principle 统一 cone support、perturbation robustness、slope lower bound 与 convexification invariance。