精读笔记

Problem Setting

【Convex Generalized Differentiation at infinity】（arXiv preprint / 2026）研究的是凸集和凸函数在无穷远处的一阶变分结构。实际问题不是重新定义 recession cone，而是构造一套能像有限点凸分析那样工作的 tangent cone、normal cone、subdifferential at infinity。

关键矛盾是：优化问题的失败模式常常发生在无界逃逸序列上，而有限点一阶条件只能看到局部几何；经典 recession analysis 又过于零阶/方向性，不能表达渐近切向扰动、渐近支撑超平面和次微分演算。已有 nonsmooth analysis at infinity 给了更一般的定义，但在凸情形下仍可能产生非凸 limiting normal cone，这与凸分析依赖的 polarity、duality、epigraphical geometry 不兼容。

因此这篇论文真正解决的是：如何在“无穷远”保留凸分析的结构性，而不是仅仅把有限点 Mordukhovich/Clarke 概念机械搬过去。

Motivation

已有路线不够的地方很明确：一般非光滑框架追求适用于非凸集合，但代价是 at infinity 的法锥可能非凸，calculus rule 复杂且条件强；而凸优化中最有用的恰恰是闭凸性、极性、Fenchel 对偶、上图结构和 recession function。

作者的核心观察是：在凸情形下，不应该把 limiting normal cone at infinity 当作主对象，而应该先定义一个稳定的 tangent cone at infinity，再通过 polar 得到 normal cone。这样得到的法锥可能比 limiting normal 更“凸化”，但它更适合凸优化和对偶理论。

关键缺口是 convex-specific theory：既要接上 Nguyen–Pham、Kim–Nguyen–Pham 的 at infinity 框架，又要避免非凸理论带来的不必要病态。论文的动机不是发明全新优化算法，而是重建无穷远处的凸一阶语言。

Core Idea

论文的核心思想可以概括为：把无穷远处的一阶对象重新定义为“所有逃逸序列下稳定存在的切向扰动”，再用极性恢复法向结构。对于凸集，T(∞I;Ω) 是沿 πI(x)→∞ 和 t↓0 的内极限；N(∞I;Ω) 直接定义为 T(∞I;Ω) 的极锥。这个建模选择使得法锥天然闭凸，并且满足 bipolar relation。

对于凸函数，作者没有直接从 ∂f(x) 的远处聚点定义 ∂f(∞)，而是从 epi f 的 normal cone at infinity 定义：(u,-1) 给普通次微分，(u,0) 给 singular 次微分。这一点很重要：它把函数的渐近一阶信息提升为上图的渐近支撑几何，因此能自然连接 f∞、f*、dom f、epigraph recession。

与 prior 的本质区别是：prior 更像“把有限点非光滑对象推到无穷远的序列极限”；本文更像“在无穷远处重建凸几何对象”。它引入的 inductive bias 是 convexification/polarity-first，而不是 path-sensitive limiting construction。

Method

1. 凸集 tangent/normal at infinity：解决有限点 tangent/normal 无法描述逃逸行为的问题。T(∞I;Ω) 用内极限保证对所有足够远点都稳定可行；N(∞I;Ω) 用 polar 定义，避免 limiting normal 非凸。核心变化是从序列聚点法锥转向切锥极性。

2. 与 finite-point tangent 的连接：Proposition 3.2 证明闭凸集下 T(∞I;Ω)=Liminf T(x;Ω)，并有 NM(∞I;Ω)⊂N(∞I;Ω)。这说明新对象不是任意定义，而是有限点凸切锥在无穷远的稳定内极限。

3. recession cone 的定位：Ω∞⊂T(∞I;Ω)，但可严格包含。这一点避免了一个常见误解：无穷远切锥不等于 recession cone。T(∞) 捕捉的是远处局部可行扰动，recession cone 捕捉的是全局射线方向，前者更局部、更宽。

4. polyhedral 显式公式：通过 asymptotically active constraints J∞I(Ω) 表示 T 和 N。它解决可计算性问题：远处还可能活跃的约束才决定无穷远一阶几何。这个机制是论文中最有操作性的部分。

5. epigraph-based subdifferential：∂f(∞)、∂∞f(∞) 由 epi f 的 normal cone at infinity 定义。它解决函数层面的几何统一问题，使 subdifferential calculus 能直接继承集合 calculus。

6. calculus rules 与优化应用：sum/intersection/linear image/max/inf-convolution/marginal rules 多数给 inclusion，并依赖 normal-separation qualification。应用部分把 0∈∂(f+δC)(∞) 分解为 objective subgradient at infinity 与 feasible normal at infinity。

Key Insight / Why It Works

最重要的 insight 是：凸性允许把“无穷远处的不稳定序列几何”转化为“稳定的极性几何”。在非凸理论里，limiting normal 保留路径信息，因此可能非凸；在凸优化里，这些路径差异常常不是最有用的信息，反而会破坏对偶和 calculus。本文选择 T 的内极限 + polar，相当于在无穷远处做了一个结构化 convexification。

方法有效的原因主要有三点。第一，内极限定义保证 tangent direction 是 uniform/asymptotically robust 的：它不是某条逃逸路径上的偶然可行方向，而是在任意远处序列上都可逼近的方向。第二，polar 把这种稳定可行方向转化为全局渐近支撑法向，使 normal cone 自动闭凸。第三，上图化把函数的渐近增长、定义域逃逸、支撑超平面统一进同一个 cone geometry。

最核心贡献应该是 Proposition 3.6/3.13/4.7/4.9 这一组：它们分别说明新对象有凸分析结构、polyhedral 可计算性、singular subdifferential 的几何夹逼、ordinary subdifferential 与 conjugate domain 的关系。相比之下，后面的 sum/max/inf-convolution/marginal rules 更像是框架成熟后的自然演算扩展，技术上有价值，但原创 insight 不如前面几项集中。

这篇没有 scaling/data/retrieval/test-time compute 之类问题。若借用机器学习式归因，增益不是来自“更大规模”，而是来自更合适的 inductive bias：把 at infinity 的对象强制放入 closed convex cone / polar duality 体系中。代价也很明确：它可能丢掉 Mordukhovich limiting normal 里路径敏感的非凸信息。

Relation To Prior Work

最接近的 prior 是 Nguyen–Pham 的 Clarke-type analysis at infinity，以及 Kim–Nguyen–Pham 的 Mordukhovich-type subdifferentials at infinity。那些工作建立了一般 nonsmooth 框架，强调广泛适用性；本文则是 convex-specialized reconstruction，强调保凸、极性、上图和 recession/conjugate。

本质差异在 normal cone 的选择：prior 的 limiting normal at infinity 是外极限式对象，可捕捉不同逃逸路径的法向聚点，但即使集合凸也可能非凸；本文主对象 N(∞;Ω)=T(∞;Ω)^∘，因此天然闭凸。Example 3.3 很关键：它表明本文不是在重命名已有 limiting normal，而是在选择一个不同的、凸分析更友好的对象。

与 classical recession analysis 的关系也不是替代。Ω∞、f∞、dom f* 在本文中更多是 bounds/characterization tools，而不是完整等价物。Ω∞⊂T(∞;Ω) 可严格，∂f(∞)⊂cl dom f* 也通常只是 inclusion。也就是说，本文把 recession analysis 扩展成一阶几何，而不是把一阶几何化约为 recession function。

看似新的不少 calculus rules，本质上是有限点凸分析的极性/上图技术在 at infinity setting 的迁移；实质创新在于证明这些迁移在所定义对象下确实闭合，并且相比一般非光滑框架条件更弱或表达更清楚。

Dataset / Evaluation

这篇是纯理论论文，没有 dataset、实验 benchmark 或数值 evaluation。所谓 evaluation 主要是定理、例子和应用命题。

验证覆盖面包括：一般闭凸集、polyhedral convex set、proper lsc convex function、sublinear function、polyhedral convex function、indicator/support/distance/Minkowski functional、以及无界凸规划。例子设计主要用于说明 inclusion strict、limiting normal 非凸、Lipschitz at infinity 条件不可去掉等。

这些理论例子基本支持核心 claim：凸专门化确实带来更干净的闭凸结构和显式公式。但应用部分的验证较弱。Multiplier rule 和 attainment criterion 说明框架能进入优化问题，但尚未证明相比 classical recession criteria 在实际判别力上有明显优势。文中未充分说明哪些现实凸优化问题只有该框架能自然处理而 recession analysis 难以处理。

Limitation

第一，核心对象偏保守/凸化。N(∞;Ω) 不是 NM(∞;Ω)，它更适合对偶和演算，但可能丢掉路径敏感的渐近法向信息。对于需要精细描述不同逃逸分支的非凸或半代数问题，这个对象可能太粗。

第二，很多结果是 inclusion，不是 equality。比如 sum rule、max rule、infimal convolution、marginal function 都没有达到有限点凸分析中某些经典公式的精确程度。增益来源清楚是结构简化，但精确性上限也明显。

第三，qualification conditions 仍然是主要瓶颈。Normal-separation condition、asymptotic Slater condition 可读性不错，但偏强；对于低维 recession cone 或退化约束，条件可能失败而结论仍可能成立。文中对这些条件的 sharpness 没有系统刻画。

第四，与经典 attainment/recession criteria 的逻辑关系仍未闭合。Theorem 5.2 通过 0∉∂(f+δC)(∞) 给 attainment，但如何从 f∞ 和 C∞ 直接判别这个条件，文中只给了部分 sufficient condition。这里存在明显未完成空间。

第五，完整 KKT at infinity 尚未建立。作者明确指出 sublevel-set normal cone at infinity 的 naive formula 会失败；因此 inequality constraints 下的乘子形式还停留在 normal cone 层面，不能直接给出 λj∂gj(∞) 的闭合表达。

Takeaway

• 1. 最值得记住的是：在凸情形下，无穷远法锥应优先由 tangent-at-infinity 的 polar 定义，而不是直接沿用 limiting normal 的外极限；这是整篇的结构性选择。
• 2. T(∞;Ω) 不是 recession cone。
• 它刻画远处局部可行扰动，因此可以严格大于 Ω∞。
• 这个区分对无界可行集的一阶分析很重要。

一句话总结

这篇论文把已有 nonsmooth analysis at infinity 中较粗糙的序列极限思想重构为一套凸分析友好的极性—上图框架，真正贡献是让无穷远处的切锥、法锥和次微分重新具备闭凸性、对偶性和可演算性。