精读笔记

Problem Setting

《Variational Analysis of Metric Projections onto Isotone Projection Cones via Coderivatives》（arXiv preprint / 2026）实际解决的是：对 isotone projection cone K 上的投影映射 P_K，给出可用于稳定性分析的 Fréchet 与 Mordukhovich coderivative 公式。这里的困难不在于 K 是非凸或投影不唯一；K 是闭凸锥，P_K 单值且 Lipschitz。真正困难在于：K 的自然生成系统不是正交坐标系，投影分解不能像正锥那样逐坐标截断，因此图像法锥不能靠简单的 coordinate-wise active set 写出。

以前路线在正锥/广义正交象限上之所以干净，是因为 primal generator 与 polar generator 在同一坐标轴上相互对应，退化坐标的 coderivative 条件直接变成 0≤z_i≤y_i。对 isotone projection cone，b_i 与 u_i 只满足 <u_j,b_i>=-δ_ij，u_i 之间还可能非正相关，缺少正交投影的逐坐标解耦。关键矛盾是：投影公式仍然是活动集型的，但活动集不是简单符号模式；要做 coderivative，必须知道参考点附近活动集如何稳定/切换。

Motivation

已有投影可微性与 coderivative 工作覆盖了正锥、球、二阶锥等特殊集合，但 isotone projection cone 的变分微分结构没有被系统写成可用于互补问题稳定性的公式。Németh 等人的工作已经给出这类锥的投影表示，但那主要服务于计算投影，而不是服务于图像法锥、coderivative 或 Aubin 性。

作者抓住的缺口是：isotone projection cone 虽然非正交，但其 lattice generator 与 polar generator 之间有强组合结构；特别是 isotone 条件等价于 polar generators 的 Gram 矩阵具有 Z/M-matrix 型性质。这意味着退化指标的切换不是任意的，而可以被有限个混合基系统组织起来。论文的动机就是把这种结构从“投影计算公式”提升成“局部变分分析坐标系”。

Core Idea

论文真正的核心思想是用 b_i/u_i 的混合生成系统替代正交坐标系，重建投影映射的局部活动集几何。对参考点 \bar{x}，其 Moreau/latticial 分解自然诱导三类指标：I^+ 表示投影部分中严格正的 b_i，I^- 表示极锥部分中严格正的 u_i，I^\bullet 表示零系数退化指标。局部分析的关键是证明：足够靠近 \bar{x} 时，I^+ 不会丢失，I^- 不会丢失，所有不稳定性只发生在 I^\bullet 内。

一旦这一点成立，P_K 的局部图像就不是一个难处理的非光滑对象，而是有限多个线性投影片段的拼接。Fréchet coderivative 对应“所有方向片段都必须满足的一阶支撑不等式”，因此得到交式/不等式型公式；Mordukhovich coderivative 对应“沿某些邻近点活动集固定后的极限”，因此得到对 I^\bullet 中指标分配到 primal-active 集 I 或 polar-active 集 J 的有限并。这和 prior 的本质区别是：它没有把锥正交化，而是直接在非正交 lattice-polar 坐标中做活动集极限。

Method

第一步是局部表示定理。Theorem 3.2 证明给定三分指标 I_1,I_2,I_3 后，任意 x 都可以写成 I_1 上的 b_i、I_3 上的 u_i，以及 I_2 内部分裂出的 b_i/u_i 的混合表示。它解决的是退化指标如何在 primal 与 polar 两侧切换的问题。需要它的原因是 coderivative 依赖邻近点所有可能活动模式；没有这个表示，就无法把局部图像有限化。核心变化是把非正交锥的局部几何转成有限活动集组合。

第二步是稳定性分层。Lemma 3.4 说明在 \bar{x} 附近，严格正 primal 指标和严格正 polar 指标保持稳定，只有 I^\bullet 会变化。它解决的是局部模式爆炸问题，把全部 2^n 或更多组合限制到退化集上。这个结论是后续所有公式可读的根源。

第三步是方向导数与线性片段。Theorem 3.5 表明非退化点 P_K 严格 Fréchet 可微，导数就是到 span{b_i:i∈I^+} 的正交投影；退化点不可 Fréchet 可微，但方向可微，方向 h 决定 I^\bullet 中哪些指标进入 A_h^\bullet，从而决定一个线性投影矩阵。这一步把非光滑性精确定位到活动集选择。

第四步是 coderivative 公式。Fréchet coderivative 使用 Lipschitz 单值映射的正则 coderivative 判据，把 z∈\hat D^*P_K(\bar{x})(y) 转成对所有方向 d 的不等式 <z-A_d y,d>≤0，再通过测试 d=b_i,u_j 得到闭式条件。Mordukhovich coderivative 则利用 regular coderivative 的外极限，把 I^\bullet 中每个指标在邻近点中变成正 primal、正 polar 或仍退化三种状态，形成有限并公式。

Key Insight / Why It Works

最重要的 insight 是：isotone projection cone 的非正交性并不摧毁活动集分析，只是把坐标轴从标准正交基换成 b_i/u_i 的双系统；而 isotone 条件提供的 M-matrix 性质正好保证这种双系统切换是单调、有限、符号可控的。换句话说，论文有效的原因不是 coderivative calculus 本身，而是找到了一个能承载 coderivative calculus 的局部坐标结构。

Fréchet 公式中同时出现 <z,b_i>≤<y,b_i> 与 <z,u_i>≤0 是本质贡献：它揭示退化指标在非正交锥中有两套约束面，而不是正锥中单一坐标区间。Mordukhovich 公式的并集也不是形式上的复杂化，而是准确表达退化指标可以沿邻近序列进入 primal active、polar active 或保持退化三种极限路径。

相对而言，覆盖常数应用更像直接套 coderivative criterion 的副产品，技术增益有限；Aubin 性部分的主要贡献是把投影 coderivative 插入固定点 reformulation 后得到一个可验证条件，但这仍是标准 Mordukhovich criterion + chain rule 的使用。真正值得迁移的是前半部分的“局部混合生成系统 + 活动集稳定 + 外极限枚举”范式，而不是后半部分的稳定性结论本身。

Relation To Prior Work

最接近的技术谱系有三条：一是 Németh/Isac 关于 isotone projection cone 和 lattice cone 投影公式的工作；二是 Outrata–Sun 对二阶锥投影 coderivative 的分析；三是正锥/广义正交象限投影 coderivative 的 coordinate-wise 公式。本文处在这三者的交叉点：用 lattice cone 的显式投影结构服务于 Mordukhovich 变分分析。

和正锥结果相比，本文不是简单推广符号，而是替换了 underlying coordinate system：正锥里 u_i=-b_i/||b_i||^2，所有条件塌缩为单坐标区间；isotone cone 中 b_i 与 u_i 的非正交相互作用使得 coderivative 条件必须同时写在 b_i 与 u_i 测试方向上。和二阶锥投影相比，本文没有谱分解或 Jordan algebra，而是纯多面活动集逻辑。和一般多面锥 normal cone calculus 相比，本文的新增信息在于公式利用 isotone/latticial 结构写得更显式，但是否比通用 polyhedral projection 的 critical face 描述更强，文中未充分说明。

Dataset / Evaluation

这是一篇理论优化/变分分析论文，没有数据集或实验 benchmark。所谓 evaluation 主要由三个层面构成：第一，公式在广义正交象限、正锥特例中退化为已有结果，作为一致性验证；第二，二维单调非负锥例子逐区域列出 coderivative，说明公式可手算落地；第三，应用到覆盖常数和参数互补问题解映射 Aubin 性，展示公式能进入稳定性判据。

这些验证支持“公式正确且可用”的 claim，但不支持更强的“计算上高效”或“适合大规模系统” claim。Example 4.7 只是小维构造例子，不足以说明 Aubin 判据在复杂互补系统中的实际可验证性。没有数值实验并不是缺陷，因为论文目标是理论公式；但若从应用稳定性工具角度看，评估覆盖范围偏窄。

Limitation

方法的核心前提是 K 必须是 isotone projection cone，等价地具有 latticial generator 且 polar generator 满足 <u_j,u_k>≤0。这个条件不是技术细节，而是整个证明能推进的支柱：Theorem 3.2 中负 b 系数向 u 侧转移依赖 M-matrix 逆非负性；一旦离开 isotone cone，活动集切换可能不再符号可控。

另一个上限是退化维度。Mordukhovich coderivative 需要枚举 I,J⊂I^\bullet 且 I∩J=∅，本质上每个退化指标三种状态，组合复杂度指数级。论文把公式写成显式有限并，但并没有解决大退化集下的可计算性。Aubin 条件继承了这个问题，需要对所有 I,J 检查蕴含式。

覆盖常数结论也暴露出投影映射作为覆盖映射的局部正则性非常脆弱：只要不在 int K，常数就是 0。这个结论数学上清楚，但对边界稳定性的细粒度分析帮助有限。未来若要服务互补系统，可能需要更局部化的 metric subregularity/calmness 常数，而不是这种全覆盖常数。

此外，论文声称 general cone setting where orthogonality arguments are not available，但事实上仍强依赖 lattice-polar 双基结构；它不是一般锥理论。文中未充分说明与通用 polyhedral projection coderivative 公式之间的严格优势，也没有给出算法复杂度分析。

Takeaway

• 1. 最值得记住的是：isotone projection cone 的投影非光滑性可以完全压缩到退化指标 I^\bullet 的有限活动集切换；严格正 primal/polar 指标局部稳定。
• 2. b_i/u_i 混合生成系统是本文真正的技术资产。
• 它提供了一种在非正交多面锥中替代坐标截断的局部分析语言，可迁移到其他带 M-matrix 或单调互补结构的锥。
• 3. Fréchet coderivative 是“所有方向片段共同满足”的约束，Mordukhovich coderivative 是“退化指标所有邻近非退化化路径”的并集；这个视角比公式本身更重要。

一句话总结

这篇论文把 isotone projection cone 的 lattice 投影表示升级为 coderivative 级别的局部活动集 calculus，实质贡献是用 b_i/u_i 混合坐标替代正交坐标来刻画投影映射的 Fréchet/Mordukhovich 变分结构。