精读笔记

Problem Setting

论文处理的问题是抽象 Banach 空间约束优化 \[ \min f(x)\quad s.t.\quad g(x)\in K \] 中某个 KKT pair \((\bar{x},\bar\lambda)\) 的乘子唯一性与稳定性。关键不是存在性，也不是 KKT 条件本身，而是固定 \(\bar{x}\) 后 restricted multiplier mapping \[ \Upsilon_{\bar{x}}(\xi,\upsilon)=\{\lambda\mid \mathcal L_x'(\bar{x},\lambda)=\xi,\ \lambda\in N_K(g(\bar{x})+\upsilon)\} \] 在 \(((0,0),\bar\lambda)\) 处的 isolated calmness 到底意味着什么。

真正困难点在于：在一般 Banach 空间中，乘子唯一性、RZKCQ、sRZKC、tangent/radial cone 版本的条件不再自动等价。有限维 NLP 里的直觉——唯一乘子通常对应 strict MFCQ/LICQ 型条件——在抽象锥约束下会被闭性、弱-*闭包、polyhedricity、radial cone 与 tangent cone 的差异打破。本文的核心矛盾是：isolated calmness 是一个局部解映射稳定性条件，看起来比资格条件更强；但它是否足以恢复经典几何正则性，取决于空间和集合几何的细节。

Motivation

已有路线基本是单向的：sRZKC 是强资格条件，已知可推出 restricted multiplier mapping 的 isolated calmness，并因此推出乘子唯一性。但反向不清楚：如果实际已经观察到/假设了乘子映射的稳定性，它到底能强迫多少几何正则性？

作者的核心观察是，IC 并不只是“唯一乘子加连续性”的表面性质；它隐含了对法锥方向中 kernel 方向的定量排除。换句话说，如果法锥里存在 stationarity 无法看见的非零方向，那么可以沿这个方向制造接近原乘子的扰动乘子，破坏 Lipschitz 控制。因此 IC 应该能推出某些开映射/满射型资格条件。关键缺口在于如何把这个直觉从 dual-side multiplier estimate 严格转回 primal-side RZK/sRZK 条件，尤其是在无限维和非 polyhedric 情形下。

Core Idea

论文真正的核心是把 multiplier stability 重新解释为一个 dual cone 上的误差界。IC 给出的估计 \[ \|\lambda-\bar\lambda\|\le c(\|\xi\|+\|\upsilon\|) \] 在 \(\upsilon=0\) 时，本质上变成 \[ \|\mu\|\le c\|g'(\bar{x})^*\mu\| \] 对 \(\mu\in \mathcal R_{N_K(g(\bar{x}))}(\bar\lambda)\) 成立。这是全文最重要的结构转换：稳定性问题被转换为法锥径向锥上 adjoint operator 的 coercivity。

随后利用极锥关系和 generalized open mapping theorem，把这个 dual coercivity 转换为 primal surjectivity：\(Y=g'(\bar{x})X-C\)。不同的 \(C\) 选择对应 RZKCQ、tangent strict condition、sRZKC。和 prior 的本质区别是，prior 通常从资格条件推出稳定性；本文系统研究稳定性反过来能推出哪些资格条件，以及哪些反向蕴含需要有限维、polyhedricity 或闭性假设。

Method

1. 广义开映射定理的 sharpened 版本：Theorem 3.1 将 \(Y=AX-C\) 与 \(C^\circ\) 上的估计 \(\|y^*\|\le \rho^{-1}\|A^*y^*\|\) 等价起来，并控制常数和截断半径。这一步不是技术装饰，而是全文的 dual-primal 转换器：没有它，IC 给出的 dual estimate 无法变成 RZK 型资格条件。

2. 法锥/切锥极性计算：Lemma 4.1 识别 \[ (T_K(y)\cap \bar\lambda^\perp)^\circ=\operatorname{cl}_*(N_K(y)+\mathbb R_-\bar\lambda) =\operatorname{cl}_*\mathcal R_{N_K(y)}(\bar\lambda). \] 这说明 strict 条件中的 \(T_K\cap\bar\lambda^\perp\) 与乘子唯一性中的法锥径向方向是同一个几何对象的 primal/dual 两面。polyhedricity 的作用正是在 \(\bar K=K\cap\bar\lambda^\perp\) 的 normal cone 计算中把 radial 与 tangent 对齐。

3. IC 推 RZKCQ 的反证构造：若 RZKCQ 失败，用分离定理找小范数 dual functional，再用 Ekeland 变分原理把近似 normal inequality 转成真实 normal vector \(\lambda_\rho\in N_K(\bar y_\rho)\)。构造出的 \(\lambda_\rho\) 满足 \(\|\lambda_\rho-\bar\lambda\|\sim \rho^{1/2}\)，但对应扰动 residual 只有更小阶 \(\rho^{3/4}\) 或 \(\rho^{3/2}\)，从而违反 IC。这是文章最漂亮的证明机制。

4. IC 到 sRZKC 的有限维/polyhedric 闭合：Theorem 5.7 用有限维分离得到 \(y^*\in N_{\bar K}(g(\bar{x}))\cap \ker g'(\bar{x})^*\)，再通过 polyhedricity/normal cone 公式将其近似表示为 \(\lambda_k-\alpha_k\bar\lambda\)，最后用 IC 的 \(\upsilon=0\) 估计逼出 \(y^*=0\) 的矛盾。这里有限维负责分离/闭性，polyhedricity负责从 \(N_{\bar K}\) 回到 \(N_K+\mathbb R_-\bar\lambda\)。

Key Insight / Why It Works

最核心的 insight 是：multiplier isolated calmness 的本质不是一般意义的 set-valued Lipschitz，而是对“stationarity 看不见的法锥方向”的定量消除。若存在 \(0\ne\mu\in \ker g'(\bar{x})^*\cap \mathcal R_{N_K(g(\bar{x}))}(\bar\lambda)\)，则沿 \(\bar\lambda+t\mu\) 或法锥附近方向可以构造 stationarity residual 很小但 multiplier displacement 不小的序列，IC 必然失败。因此 IC 至少应强于纯唯一性，并能推出 RZKCQ。

真正有效的数学杠杆有两个。第一是 polar/open mapping duality：满射型资格条件和 adjoint 在极锥上的下界估计是同一件事。第二是 polyhedricity：它允许把 \(T_K\cap\bar\lambda^\perp\) 的极锥精确表示成 normal cone 的 radial/tangent closure。没有 polyhedricity，tangent strict condition 和 radial strict condition 会分裂；没有有限维，闭包和分离也不能无损传递。

这不是 engineering / scaling 型工作，贡献完全是几何结构归因。辅助部分是大量反例，但这些反例不是装饰：它们证明本文的假设边界基本是硬的。尤其 Example 5.10 很关键：即便 X,Y 反射且 K polyhedric，IC 仍不推出 sRZKC，问题卡在 Y 无限维；这直接否定了“polyhedricity 足够恢复有限维直觉”的潜在误解。

可以直接判断：本文最实质的贡献不是“IC 推 RZKCQ”单条定理，而是把 IC、RZKCQ、sRZKC、唯一性之间的蕴含图谱精细化，并指出哪些缺口来自 radial/tangent 闭包失配，哪些来自无限维闭性失败。

Relation To Prior Work

最接近的谱系是 Zowe-Kurcyusz 的 Banach 空间正则性理论、Bonnans-Shapiro 的扰动分析、Shapiro 关于 cone constraints 下乘子唯一性的刻画，以及 NLP 中 strict MFCQ/LICQ 与唯一乘子的关系。

已有结果主要从强资格条件到稳定性：sRZKC \(\Rightarrow\) isolated calmness \(\Rightarrow\) 唯一乘子；Shapiro 给出了乘子唯一性的 normal cone radial characterization，并在闭性条件下与某些 strict 条件关联。本文的新增信息是反方向：IC \(\Rightarrow\) RZKCQ 总成立；IC \(\Rightarrow\) sRZKC 在有限维 + polyhedric 下成立；同时用反例证明这些附加假设不能简单删除。

看似新的 isolated calmness mapping 本身并不是全新对象，Bonnans-Shapiro 已经使用类似工具；真正的新意是把它作为中心条件来反推资格条件，并系统划分其强度。Theorem 3.1 的开映射定理扩展也不是独立颠覆性结果，但它为后续证明提供了干净的 functional-analytic 接口。

Dataset / Evaluation

没有 dataset，也没有 computational evaluation。评价证据是 theorem + counterexample。对数学论文而言这是合适的：核心 claim 是逻辑蕴含和非蕴含，而不是算法性能。

覆盖范围相当有针对性：反例覆盖了 infinite-dimensional reflexive/polyhedric、finite-dimensional non-polyhedric、唯一乘子但 strict 条件失败、RZKCQ 与 tangent strict 条件分离等场景。它们基本验证了作者想表达的边界：IC 的强度不能用有限维 NLP 经验直接判断。

如果按“是否支持核心 claim”看，正结果和反例支持较强。但也有一个限制：文中没有给出更可操作的判别条件来检验 IC 本身；许多结论仍是理论结构图谱，而不是直接可用于复杂 PDE-constrained optimization 实例的 checklist。

Limitation

1. 研究对象是 restricted multiplier mapping，固定 \(\bar{x}\)。这绕开了 primal variable perturbation，因此结论不能直接解释完整 KKT solution mapping 的稳定性。真实优化问题中 \(x\) 会随扰动移动，此时二阶条件、critical cone、second-order epi-differentiability 等都会进入。

2. IC 到 sRZKC 的强结论依赖 \(\dim Y<\infty\) 和 K polyhedric。Example 5.9 表明非 polyhedric 在有限维也会破坏反向蕴含；Example 5.10 表明无限维即便 polyhedric 和反射也不够。这说明上限不是证明技术的小瑕疵，而是几何事实。

3. isolated calmness 本身不等价于乘子唯一性。唯一性只是排除了精确 kernel-radial 交集，但 IC 还要求定量误差界。Example 4.6 说明唯一乘子可以在 RZKCQ/sRZKC/tangent strict 都失败时出现，因此把唯一性当作稳定性的 proxy 是错误的。

4. 文中未充分解决 local IC 与强版本 \(\delta=\infty\) 的等价性；只在 \(\upsilon=0\) 截面给出缩放论证。完整 constraint perturbation 下，normal cone base point 改变，凸组合缩放不再直接保留可行的 normal relation，这是一个实质缺口。

5. 可检验性仍有限。很多条件涉及 radial cone 闭性、weak-* closure、polyhedricity、\(N_{\bar K}\) 表示，对一般非多面体函数空间约束并不容易验证。

Takeaway

• 1. Multiplier stability 应该被看成法锥方向上的 error bound，而不是简单的 set-valued continuity；这一路径可以迁移到更一般的 KKT 映射稳定性分析。
• 2. 在 Banach 空间中，radial cone、tangent cone、normal cone 闭包之间的差异是主角。
• 很多有限维优化中“显然等价”的资格条件，在无限维里会严格分裂。
• 3. Polyhedricity 的真正作用不是“让集合像多面体”，而是让 \(T_K\cap\lambda^\perp\) 与 \(R_K\cap\lambda^\perp\) 的闭包关系足够好，从而把 dual 法锥径向信息转回 primal strict condition。

一句话总结

这篇论文把 restricted Lagrange multiplier mapping 的 isolated calmness 精确定位为一种法锥径向方向上的定量正则性，并系统刻画它与 RZKCQ、sRZKC 和乘子唯一性之间在有限维/polyhedric 与无限维非闭情形下的真实边界。