精读笔记
Problem Setting
论文标题：On Fixed-Time Stability of Continuous Dynamics for Non-Monotone Variational Inequalities（arXiv preprint / 2026-06-23）。这篇论文解决的不是“如何高效求解任意 NMVI”，而是一个更控制论的问题：给定一类 NMVI，能否构造连续时间动力系统，使 VI 解集成为指数稳定或固定时间稳定的 equilibrium set。真正困难在于 NMVI 没有 monotonicity 带来的天然耗散性，标准 projection / extragradient 分析里最关键的内积非负项会失效。因此作者必须额外寻找能替代单调性的结构：无约束情形依赖 F 的残差范数与解集距离之间的 error bound，以及 Jacobian 对 F(x) 方向的非退化；约束情形依赖 Assumption 1 这种相对解集的 quasi-strong monotonicity。关键矛盾是：固定时间稳定需要强于指数收敛的 Lyapunov 下降形式，但 NMVI 本身通常连全局下降方向都不保证。
Motivation
已有路线主要卡在两点：第一，固定时间优化/VI 动力系统通常建立在凸性、强凸性、单调性或强单调性上；第二，NMVI 文献更多讨论渐近或指数收敛，而不是 settling time 与初值无关的 fixed-time behavior。作者的观察是，固定时间性未必一定要来自问题本身的单调结构；只要能先构造一个指数稳定的 residual dynamics，再通过状态相关 scaling 把 Lyapunov 导数塑造成双幂次形式，就可以获得固定时间界。换句话说，缺口不是“没有更快的算法模块”，而是缺少一套能在非单调 VI 下把 residual、距离解集、非光滑 Lyapunov 和 fixed-time scaling 接起来的连续时间稳定性框架。
Core Idea
核心思想是把 NMVI 解集稳定性改写成 residual 消散问题。无约束 VI 中 Sol(R^m,F)={x:F(x)=0}，所以 ||F(x)||^2 可以直接作为解集 residual；动力系统 -∇F(x)^T F(x) 本质上是在最小化半平方残差。只要 Jacobian 在 F(x) 方向不退化，残差就会指数下降；再乘以 ||F(x)||^{-γ}+||F(x)||，就同时得到小误差区的有限时间吸附和大误差区的初值无关收缩。
约束 VI 中不能直接用 F(x)=0，因此作者改用 natural residual F^nat_{K,λ}(x) 与连续时间 Korpelevich 动力学。这里的核心不是 extragradient 的新变体，而是构造 V=1/2(dist^2(x,Sol)+||x-y||^2)，把投影残差、x-y 的一致性误差和解集距离放在同一个 Lyapunov 中。fixed-time 版本则通过 ρ_{λ,ζ}(x,y)=S^{1/2}+S^{ζ-1/2} 重新缩放同一个向量场。和 prior 的本质区别是：prior 多是证明某个算法渐近/线性收敛；这篇把一个已有收敛向量场“时间重参数化/增益塑形”为固定时间稳定系统。
Method
无约束部分解决的是 residual dynamics 是否会收敛到真正 VI 解而非伪驻点。作者要求 ||F(x)|| lower-bound 到解集距离，并要求 ∇F∇F^T 在 F(x) 方向上有统一正下界；这保证 -∇F^T F 不会停在 F(x)≠0 的临界点。核心变化是把 NMVI 的稳定性从单调性问题转为残差函数的梯度流稳定性问题。
固定时间无约束动力系统通过乘上 ||F||^{-γ}+||F|| 改变时间尺度。||F||^{-γ} 负责靠近解集时加速，使 V 的幂次低于 1；||F|| 负责远离解集时给出高幂次项，使 settling time 不依赖初值。这里的必要性完全来自 Polyakov 型 fixed-time Lyapunov 条件。
约束部分用连续时间 Korpelevich 系统处理 projection geometry。y 变量承担 extragradient 中间点角色，x-y 误差进入 Lyapunov，projection nonexpansiveness 与 Assumption 1 一起给出负定下降。这里的机制是把 constrained VI 的解条件转成 natural mapping 的零点条件，并通过两变量系统避免直接对投影残差做不可控微分。
非光滑分析是为了处理多解集距离函数。dist^2(x,Sol) 在多解且 Sol 非凸时不一定光滑，所以作者用 Clarke subdifferential 和 Lie derivative 上界来证明 V 的下降。这是约束、多解场景下让 Lyapunov 论证成立的必要技术，而不是主要性能来源。
Key Insight / Why It Works
真正有效的原因是“先找到指数稳定 residual，再做 fixed-time gain shaping”。一旦已有 D^+V≤-cV，乘上一个与 residual 等价的 ρ≈V^{1/2}+V^{ζ-1/2}，就得到 D^+V≤-aV^{3/2}-bV^{ζ+1/2}；其中 ζ+1/2<1 而 3/2>1，正好落入固定时间稳定模板。也就是说，fixed-time 性质主要不是来自 Korpelevich 或 NMVI 新结构，而是来自对向量场的状态相关 scaling。
最核心贡献是把 constrained NMVI 下 residual 与 Lyapunov V 的双向比较建立起来：S_λ(x,y)=||F^nat_{K,λ}(x)||^2+||x-y||^2 与 V 在常数因子上等价。没有这个等价，ρ 的幂次就不能转译成 V 的幂次，fixed-time 证明会断掉。这个部分比“提出 ρ”本身更重要。
无约束定理的 insight 相对直接：如果 F 的零点集合是目标，且 ∇F 在 F 方向上没有退化，那么最小化 ||F||^2 就足够。这里所谓 non-monotone 的收益来自绕开 monotonicity，而不是处理真正恶劣的非单调结构。条件实质上要求 residual landscape 没有坏的非零 stationary points，并有全局 error bound；这已经排除了大量一般非凸/NMVI 病例。
约束定理的 Assumption 1 是隐含强条件。它看起来比强单调弱，因为只要求相对某个最近解点 v_x^* 的 quasi-strong monotone inequality；但从稳定性角度看，它仍然提供了到解集距离的二次耗散。换言之，论文不是在无结构 NMVI 上获得 fixed-time convergence，而是在“非单调但围绕解集有强误差几何”的 VI 上建立固定时间连续流。
可能只是 auxiliary 的部分包括 Lemma 2 对非正则 Lyapunov 的 Lie derivative 上界、正不变性证明、以及离散化讨论。它们保证数学闭合，但不是增益来源。增益来源非常明确：来自 scaling；不是来自更强 representation、retrieval、data coverage 或 evaluation trick。
Relation To Prior Work
这篇属于连续时间优化/VI 动力系统、Lyapunov fixed-time stabilization、extragradient/Korpelevich dynamics 的交叉谱系。和固定时间 gradient flow 工作最接近的是 Polyakov/Cortés/Garg-Panagou 一类：用非 Lipschitz 或状态相关增益制造 finite/fixed-time convergence。本文的新意是把这套工具搬到 NMVI，尤其是 constrained NMVI 的 Korpelevich 动力学上。
和传统 monotone VI / strongly monotone VI 的差别在于，作者不要求 F 全局 monotone，而是用 error-bound、Jacobian 非退化或 Assumption 1 替代。这个差别是实质的，但不能解读为“任意非单调都可处理”；它只是把结构假设从全局单调性移动到 residual landscape 或解集相对耗散上。
和离散 extragradient / Tseng / Korpelevich 方法相比，本文不是提出一个强实用的新离散算法，而是连续时间稳定性分析。离散部分基本借用已有 fixed-time stable proximal dynamics 的近似结论，文中未证明离散算法本身具有严格 fixed-time 或 finite-step 收敛。
看似新的 scaling factor ρ_{λ,ζ} 本质上是已有 fixed-time Lyapunov 设计思想的定制化应用；实质新增信息在于证明它能用 natural residual S_λ 表达，并与非光滑 Lyapunov V 等价，从而适配 constrained VI。
Dataset / Evaluation
没有真正意义上的 dataset。evaluation 是低维线性 VI 数值仿真：K 是二维 box，F 是线性强结构映射，解为原点；作者考察离散化 Korpelevich-type update 在不同 γ 下的收敛曲线。这个实验只能说明 scaling 后的离散轨迹在简单问题上更快，不能验证一般 NMVI、非线性、多解、弱条件或真实 game/economic/ML 场景。
实验没有覆盖关键理论难点：非单调但满足 Assumption 1 的复杂例子、Jacobian 退化边界、多解非凸解集、projection 复杂集合、噪声扰动、离散化 stiffness、步长稳定区间。benchmark 与核心 claim 的匹配度较弱，因为核心 claim 是连续时间 fixed-time stability，而实验展示的是离散近似的经验加速。文中也承认离散 fixed-time convergence 仍需进一步研究。
Limitation
最大限制是条件强。无约束部分需要全局 Lipschitz、全局 error bound、以及 ∇F∇F^T 对 F(x) 方向的统一下界；这基本要求 residual landscape 很规整。若存在 F(x)≠0 但 ∇F^T F=0 的非零 stationary point，动力系统会失败。多解时 error bound 也不是自动成立。
约束部分的 Assumption 1 仍然接近强单调/误差界结构。虽然名义上处理 non-monotone VI，但它依赖的是相对最近解点的强二次耗散；一般 game 中的旋转场、循环行为、弱 Minty 条件或仅 pseudomonotone 条件未必满足。
fixed-time scaling 带来潜在数值问题。ρ 中有 S^{ζ-1/2}，在接近解集时是奇异型增益；连续时间中可通过向量场整体趋零维持连续性，但离散实现会有 stiffness、过冲、噪声放大和步长敏感。文中未充分说明实际数值稳定性。
离散化是明显短板。连续时间 fixed-time 不自动推出离散算法 fixed-step 收敛；甚至离散迭代保持在 K 内都需要额外假设或 bounded gain。当前实验不能排除“只是小步长下模拟连续流”的现象。
增益归因很清楚但也限制了贡献边界：加速主要来自 time-rescaling/scaling，而不是更深的 VI 几何突破。方法某种程度上把难点转移到了验证 error bound、Assumption 1、λ/α 可行区间和处理奇异增益上。
Takeaway
- 第一，固定时间稳定可以被视为“指数稳定 residual dynamics + 合适的状态相关时间重参数化”，这比重新设计完整算法更模块化，也容易迁移到其他 residual-based continuous dynamics。
- 第二，在 NMVI 中，真正关键不是是否单调，而是是否存在可与解集距离等价的 residual，并且该 residual 沿某个向量场有足够耗散。
- 这个视角比直接追求 monotonicity relaxation 更有迁移价值。
- 第三，constrained case 的有用 insight 是把 natural residual 与 x-y consistency error 合成 S_λ，再证明它和非光滑 Lyapunov V 等价；这类 residual-equivalence 证明可能比具体 Korpelevich scaling 更值得复用。
一句话总结
这篇论文把 fixed-time Lyapunov scaling 系统性接到一类结构化 NMVI 的 residual/Korpelevich 连续流上，真正贡献是稳定性框架和 residual-equivalence 论证，而不是一个已可直接部署的通用 NMVI 求解算法。