精读笔记

Problem Setting

[State-Dependent Metric Projection Neural Network for Variational Inequalities]（arXiv preprint / 2026-07-17）

这篇论文实际解决的是固定几何投影动力系统在病态 VI 中的几何错配问题。经典 PDS/PNN 把状态推向 P_S(x - alpha F(x))，核心结构清楚，但它默认欧氏度量；scaled PNN 用常数 SPD metric 改善一部分 conditioning，但仍然把几何固定死。问题在于，F 的主方向、约束边界的局部法锥结构、轨迹所在区域的有效曲率可能都随状态变化。固定 metric 只能做全局线性变换，不能表达“不同区域用不同投影几何”。

真正困难不是定义一个新投影，而是状态相关 metric 会破坏很多固定 metric 下直接可用的性质。投影算子 P_{S,M(x)^{-1}} 不仅输入变，metric 也变；因此 T(x)=P_{S,M(x)^{-1}}(x-alpha M(x)F(x)) 的 Lipschitz、非扩张、收缩都不再来自标准投影非扩张性。关键矛盾是：想要 metric 足够灵活以适应几何，又必须限制它的变化，使 Lyapunov 结构不被 metric 的状态耦合项破坏。

Motivation

已有路线不够的地方很明确：欧氏 PNN 稳定性漂亮，但几何表达力弱；常数 metric/scaled projection 能预条件化，但只能处理全局各向异性；离散 variable-metric 方法有工程效果，却没有自然对应到连续时间投影神经网络的稳定性框架。

作者抓住的缺口是 continuous-time preconditioning。也就是说，不是每一步外部选择一个 M_k，而是让 M(x) 成为动力系统的一部分。这个想法的吸引力在于：如果 metric 变化平滑且有界，那么它可能像一个可控的局部坐标变换，改变轨迹的瞬态几何，同时不改变 VI 的平衡点。论文的目标其实不是提出一个强求解器，而是证明“状态相关投影几何”作为一个动力系统模型是可分析的。

Core Idea

核心思想是把投影神经网络从固定内积空间中的动力系统，提升为一个带状态相关局部几何的投影流：dx/dt = lambda [P_{S,M(x)^{-1}}(x - alpha M(x)F(x)) - x]。这里 M(x) 同时作用在 forward step 和 projection metric 上，因此它不是简单改变步长，而是在局部重定义“什么方向便宜、什么方向昂贵、如何回到可行集”。

本质区别在于 prior 的 metric 是背景结构，而这里 metric 是状态反馈。这个设计引入的 inductive bias 是：VI 求解过程的困难部分来自几何错配，应该允许流场根据当前位置重新调整投影方向和各向异性。理论上它可能有效，是因为 equilibrium condition 中 M(x) 与 M(x)^{-1} 的结构可以抵消，固定点仍然等价于原 VI；同时只要 M(x) 变化足够慢，T 的局部非扩张/收缩仍可恢复。换句话说，它把“改变路径”和“保持终点”分离开了。

Method

方法的关键机制可以压缩为三个层次。

第一，状态相关 metric projection 解决的是固定投影几何不适配的问题。给定 SPD 映射 M(x)，在 M(x) 或 M(x)^{-1} 诱导的范数下投影到 S。它带来的核心变化是投影方向不再由欧氏法向唯一决定，而由局部 metric 重新加权。对约束边界附近的轨迹，这会直接改变反射/滑移行为。

第二，SD-SPNN 的动力学把 preconditioning 嵌入 residual：r(x)=alpha^{-1}(x-P_{S,M(x)^{-1}}(x-alpha M(x)F(x)))。这一步解决的是连续时间中如何表达 variable metric projected step。必要性在于，只改 forward direction 或只改 projection metric 都不能形成干净的 VI fixed-point correspondence；二者配对后，平衡点条件可退化回 <F(x*),x-x*> >= 0。

第三，稳定性分析不再依赖全局投影非扩张，而转向局部 T 非扩张/收缩。Assumption 3 和后续 Lemma 9/12 本质上是把所有复杂性折叠为“状态相关 fixed-point map 在解附近是否不扩张”。在这个条件下，普通二次 Lyapunov 函数即可工作；强单调时，局部 contraction 给出指数稳定。

Key Insight / Why It Works

最重要的 insight 是：metric 的状态依赖只要以配对形式进入 forward step 和 projection，就不会改变 VI 的零点结构；它只改变流场的 transient geometry。这使得作者可以把问题拆成两部分：equilibrium correctness 几乎是代数性质，stability 则由局部非扩张性控制。

真正有效的原因更接近 better inductive bias / scaling，而不是新的 VI 理论突破。M(x) 相当于一个连续时间、状态相关的预条件器：在不同区域调整坐标尺度和 eigenframe，让投影残差更贴合局部几何。实验中的轨迹变平滑、边界反射减少，本质上是 metric-induced flow shaping。它不是改变问题结构，也不是引入额外信息；如果 M(x) 设计得不好，理论只会要求更小 alpha，收益可能消失。

最可能的核心贡献是 equilibrium-preserving state-dependent metric projection flow 这个建模抽象，以及把稳定性条件明确归结为 M(x) 的有界性、Lipschitz 性和 T 的局部非扩张/收缩。辅助部分是具体数值例子和 eigenframe rotation 可视化，它们说明现象，但没有证明方法在真实大规模 VI 上优于强 baseline。

需要直接说：增益来源不清。固定 metric 在表格中已经接近 state-dependent metric，说明相当一部分收益可能主要来自 scaling / preconditioning，而不是 state dependence 本身。state-dependent rotation 的确是固定 SPD 无法表达的几何，但它是否带来稳定的计算优势，文中未充分说明。

Relation To Prior Work

最接近的谱系是 projected dynamical systems、projection neural networks、scaled gradient projection / variable-metric projected methods。和经典 PDS/PNN 的差异不是 residual 结构，而是 projection geometry 从固定变成状态反馈。和离散 variable-metric 方法的差异是：这里把 M_k 近似为 M(x(t))，并在连续时间 Lyapunov 框架里分析。

看似新的部分中，有不少是已有思想的重组：metric projection、scaled projection、variable-metric preconditioning、Lyapunov stability for monotone VI 都是成熟工具。实质新增的信息在于它们被组织成一个 state-dependent continuous-time projection neural network，并明确处理 metric variation 对 fixed-point map 的影响。

与 Riemannian optimization 的区别也值得注意：这里不是在流形内在 metric 上做优化，S 仍是欧氏空间中的凸集，M(x) 是外部设计的可变内积。因此它更像 ambient-space variable preconditioning，而不是严格意义上的 Riemannian VI。这个定位是清楚的，也避免了把方法包装成更大的几何理论。

Dataset / Evaluation

实验覆盖的是低维合成 VI：二维强单调仿射算子、非线性单调算子、box/rotated box/polyhedron 约束，以及一个正则化 LP 附录例子。它们适合验证几何机制，因为可以直接看轨迹、边界交互、eigenframe rotation 和 residual 下降；但不适合支持 scalability 或 solver-level superiority。

评估基本没有真实世界任务、没有高维稀疏/大规模 VI、没有和成熟离散 variable-metric/proximal/extragradient solver 的系统比较。作者也承认重点不是 benchmark performance。就 claim 来说，实验支持“state-dependent metric 可以改变 transient geometry，并保持相同 equilibrium”；但不充分支持“显著改善收敛效率”或“更适合实际大规模求解”。

一个明显 limitation 是归因不足：固定 metric 与 state-dependent metric 在若干指标上差距很小，说明 state dependence 的边际贡献没有被干净隔离。Example 2/3 用 eigenframe rotation 说明固定 SPD 不可复现该现象，但这更多是几何可表达性验证，不是性能验证。

Limitation

第一，理论上限是局部的。非扩张、收缩、指数稳定都依赖解附近的小步长和慢变化 metric。全局收敛没有真正解决；M(x) 一旦变化快或条件数大，稳定性可能直接失效。

第二，方法把一个困难转移成另一个困难：如何设计 M(x)。论文假设 M(x) 已给定、光滑、一致有界，但实际问题中好的 state-dependent metric 往往需要曲率、法锥结构、active set 或 operator sensitivity 信息。没有 metric design 原则时，框架更像分析模板，而不是完整算法。

第三，计算成本没有被严肃处理。每个状态都要计算 M(x) 并做 M(x)^{-1} metric projection。对 box/二维 polyhedron 这很轻，但一般凸集和高维 SPD metric 下 projection 本身可能比原问题还难。所谓连续时间神经网络实现也没有解决这个瓶颈。

第四，增益归因不清。很多改善可能主要来自 scaling / fixed preconditioning；state dependence 的额外价值目前主要通过可视化体现。文中未充分说明它在复杂问题上是否能稳定超过一个精心选择的常数 metric。

第五，离散化鸿沟存在。连续时间 Lyapunov 稳定不自动转化为实际数值算法的收敛和效率，特别是 explicit discretization 会重新引入步长、projection error、metric update lag 等问题。

Takeaway

• 1. 最值得记住的是“equilibrium-preserving geometry shaping”：通过配对的 M(x) forward step 和 M(x)^{-1} projection，可以改变轨迹但不改变 VI 解。
• 2. 这篇真正推动的是建模层面的统一：Euclidean PNN、constant scaled PNN、state-dependent metric PNN 都可看作同一 fixed-point flow 的特例。
• 3. 可迁移的 insight 是把预条件器看成动力系统内部的状态反馈，而不是离散算法外部的调参对象。
• 这对 constrained flow、safe optimization、continuous-time operator splitting 都有潜在价值。

一句话总结

这篇论文把 variable-metric preconditioning 从离散投影方法移植到连续时间投影神经网络中，贡献主要是一个保持 VI 平衡点不变的状态相关几何框架，而不是已经证明了大规模求解性能优势。