精读笔记
Problem Setting
论文研究 SDCMPCC：目标函数光滑，约束由两个矩阵映射 G,H 构成，要求 G(x)⪰0、H(x)⪯0，并通过 <G(x),H(x)>≥0 在半定锥符号下强制互补。真正困难点不是半定约束本身，而是 MPCC 退化和 SDP 谱几何退化叠加：标准 Robinson / nondegeneracy 等 CQ 在互补结构下通常失效，KKT 乘子可能不存在或无界，普通 NLSDP 的算法收敛理论无法直接解释极限点。
以前路线主要有两类：把互补写成 gph N_{S_+} 的几何约束，或写成投影方程 G-Π_{S_+}(G+H)=0，再用变分分析 / 广义微分给 stationarity。这些路线能描述局部法锥结构，但不一定匹配 augmented Lagrangian 实际生成的乘子。本文实际解决的是这个 mismatch：给 ALM 一个与半定互补结构相容的 stationarity 目标，并证明算法极限确实落在那里。
Motivation
已有 SDCMPCC 理论并不缺 stationarity 概念，缺的是“算法自然导出的 stationarity”。如果 stationarity 来自复杂 normal cone calculus，而算法子问题的乘子并不沿这个结构收敛，那么理论条件对算法设计帮助有限。
作者的核心观察是：半定互补的难点集中在谱分解中的 biactive block。若在候选点处固定共同特征基，把正活跃、负活跃、双活跃部分拆开，则很多原本交叉耦合的 normal-cone 条件可以转化为 tightened problem 的块等式和少量乘子兼容条件。换言之，缺口不是“更强的 CQ”，而是一个让 degeneracy 可分块、让 ALM 乘子可读的局部建模方式。
Core Idea
本文真正的核心不是提出一个新 ALM 公式，而是改变建模坐标：在参考可行点处对 G(x̄),H(x̄) 共同谱分解，得到 α/β/γ 三类谱块。α 是 G 严格正、H 为零的区域；γ 是 H 严格负、G 为零的区域；β 是 G,H 同时为零的 biactive 区域。tightened problem 把局部互补结构显式变成：某些块必须为零，α/γ 主块保留半定符号。W-stationarity 就是这个 tightened problem 的 KKT，C-stationarity 是在 β 块上增加 <Γ_Gββ, Γ_Hββ>≤0 的兼容性。
本质区别在于：prior normal-cone 路线直接分析原始互补集合的法锥，容易出现跨块耦合；本文先用谱结构“冻结”局部几何，把 off-diagonal 耦合通过等式约束显式消掉。因此 stationarity 更像 MPCC 中 tightened NLP 的谱版本，而不是完整法锥图的广义微分版本。这种 inductive bias 是：真正需要控制的是 biactive spectral face，而不是全空间的非光滑投影几何。
Method
1. Tightened spectral formulation：解决原问题局部几何过于非光滑的问题。通过固定 x̄ 处共同特征基 U，将 G,H 写成块矩阵，并强制不该出现的块为零。这使得 W-stationarity 可被解释为标准 NLSDP / equality-constrained 问题上的 KKT，而不是直接处理原始互补集合。
2. W/C 与 AW/AC stationarity：解决无 CQ 下 exact KKT 不可靠的问题。AW 是 tightened problem 的 AKKT 版本，AC 进一步要求 biactive block 的乘子内积 limsup≤0。这个设计的关键是把“算法会产生近似乘子”作为 stationarity 定义的一部分，而不是事后强行套 KKT。
3. Slack reformulation：解决 ALM 直接罚互补约束会破坏结构的问题。引入 W_G,W_H，并只对 W_G=G(x), W_H=H(x) 加 augmented Lagrangian 项；互补集合 W={W_G⪰0,W_H⪯0,<W_G,W_H>≥0} 在子问题中显式保持。核心变化是：子问题乘子 θ_G,θ_H,γ 直接携带半定符号与互补信息。
4. Convergence bridge：先证明 Algorithm 1 聚点满足 AW；在 δ_k≤ε_k/(1+γ_k) 下得到 AC；再用 SDCMPCC-Robinson 证明乘子有界，从 sequential AC 升级到 exact C。这里 Robinson 的作用不是处理原问题经典 KKT，而是保证 tightened equality operator 的 adjoint 无非零消失方向。
Key Insight / Why It Works
最关键 insight 是：半定互补的算法极限不应直接从原始非凸锥集合的 normal cone 读，而应从 slack variables 的近似 KKT 结构读。因为 ALM 实际产生的是 linking constraints W_G-G(x), W_H-H(x) 的 penalty multipliers，而 complementarity set W 的乘子来自子问题显式约束。将两者组合后得到 Γ_G≈θ_G-γW_H、Γ_H≈θ_H-γW_G。这个表达式自动给出 α/γ 非活跃块乘子消失，并在 β 块上产生 <Γ_Gββ,Γ_Hββ>≤0 类型条件。
最可能的核心贡献是 AC-stationarity 的算法来源和从 AC 到 C 的桥接。tightened formulation 本身与 MPCC / conic complementarity 文献中的思路相近，但把它和 ALM 的 slack 结构闭合起来，是这篇论文真正有用的部分。
Assumption 6.1 是技术上关键但也值得警惕的地方。它控制 complementarity residual 与 γ_k 的乘积，否则 β 块内积条件可能被 γ_k 放大项破坏。作者说“不限制”，但这是基于某些 normal-cone projection ALM 的经验；在实际子问题近似求解中是否自然满足，文中未充分说明。
这不是 scaling、data、benchmark 驱动的工作，完全是 variational / algorithmic convergence theory。所谓“改进”不是计算性能提升，而是 stationarity 归因更干净：把退化限制在 biactive spectral block，并使 ALM 乘子能解释为该 block 上的兼容条件。
Relation To Prior Work
最近的谱系主要有三条：经典 MPCC 的 W/C/M/S stationarity 与 sequential AKKT；NLSDP 的 AKKT 与 Robinson/nondegeneracy 理论；SDCMPCC 的 normal-cone / projection / facial stationarity。本文属于第一条和第二条向第三条的嫁接。
和 Ding-Sun-Ye、Yan-Fukushima 等基于变分分析或 smoothing 的路线相比，本文不试图完整刻画原始互补集合的法锥，而是构造 tightened problem，使 stationarity 更贴近算法生成的乘子。差异不在“是否使用谱分解”——prior 也离不开谱结构——而在是否把谱块结构作为 ALM 分析的主坐标。
和 Madariaga-Ramírez 的 facial approach 接近之处是都强调面/块结构；不同的是本文更偏 algorithmic stationarity，尤其关注 AW/AC 这类 sequential 条件。看似新的 W/C 命名基本是 MPCC 思想的半定锥移植；实质新增信息在于：对 slack-ALM，哪些 block condition 是自然出现的，哪些需要额外 CQ 才能从 sequential 变 exact。
Dataset / Evaluation
没有数据集、没有数值实验、没有 benchmark。论文的 evaluation 是定理链：局部极小点的 AC 必要性、Algorithm 1 聚点的 AW/AC/C stationarity 保证、以及 Appendix 中 W 集合满足 GCQ。
这足以支持“理论上 ALM 聚点可解释为某种 stationarity”的 claim，但完全不支持“方法数值有效”“比 smoothing/projection/facial 方法更稳定”“更 scalable”等 claim。子问题本身包含非凸互补集合 W，实际求解难度可能很高；文中没有展示如何可靠求解 Step 2，也没有说明 γ_k、θ_k 的近似乘子如何在实现中获得。因此 evaluation 对算法实践意义的支撑有限。
Limitation
1. 结论依赖可行聚点。Theorem 6.1 假设 x^k→x̄ 且 x̄ feasible；算法是否产生这样的聚点、linking residual 是否实际收敛，并非完全由算法本身保证。
2. 子问题求解被隐藏。每步要求找到满足 W 可行、近似 stationarity、近似 complementarity 的点和乘子。这个要求本身接近解决一个结构化非凸子问题。方法可能只是把原问题难度转移到子问题求解器。
3. SDCMPCC-Robinson 可能很强。它等价于 tightened equality operator 的满射性；在 biactive block 很大时维度迅速膨胀，满射条件很容易失败。理论上它是从 AC 到 C 的桥，但实践中未必常见。
4. 谱分解的数值稳定性未充分说明。多重零特征值和特征值交叉会导致共同特征基选择不唯一，AW/AC 定义中需要 S_k,V_k→U 的 alignment。理论上可取子序列，但实际算法中 block identification 可能不稳定。
5. C-stationarity 定义是否与既有 C-stationarity 完全等价未解决。作者明确没有追求与 [13] 的精确等价。因而本文的 C 可能更像“tightened-formulation C”，不是社区所有语境下的同一个对象。
6. 没有复杂度与实现层面的上限分析。ALM penalty 更新、multiplier safeguarding、显式 W 投影/约束处理在大规模 SDP 中可能非常昂贵。scalability 增益不清，甚至可能没有。
Takeaway
- 1. 对 SDCMPCC，最有迁移价值的不是 ALM 公式，而是“先用谱块 tightened formulation 组织 degeneracy，再分析算法乘子”的思路。
- 2. Sequential stationarity 比 exact KKT 更适合作为退化互补问题的算法目标；AW/AC 这类条件能直接连接 stopping criteria 和极限点性质。
- 3. Slack-ALM 的正确用法是不要罚掉最难的互补结构，而是显式保持它，让子问题乘子提供 biactive block 的符号信息。
- 4. 后续真正值得做的是数值层面：设计可解的 W-structured 子问题方法，并比较它是否真的比 smoothing/projection/facial 方法稳定；否则本文主要停留在 stationarity bookkeeping 的理论贡献。
一句话总结
这篇论文把 MPCC 的 tightened/sequential stationarity 思想谱化到半定互补约束，并证明一种显式保留互补集合的 slack-ALM 聚点可解释为 AW/AC/C-stationarity，是一篇偏理论收敛与 stationarity 对齐的工作，而不是已验证的实用数值算法。