精读笔记

Problem Setting

A path-following framework on fiber bundle for variational inequalities（arXiv preprint / 2026-06-02）处理的是最一般的有限维 VI：H 连续，K 紧凸，不要求单调性。这个 setting 的困难点是，解存在性来自 Brouwer，但 Brouwer 本身不提供可跟踪的数值路径；而一旦没有 monotonicity，常规投影、extragradient、proximal、gap minimization 都缺少全局收敛的核心不变量。

这篇论文真正要解决的不是“更快求一个标准 monotone VI”，而是为非单调 VI 构造一种全局 continuation 机制：从一个可选起点出发，沿某条被几何结构保证的路径走到某个解。关键矛盾是：一般 VI 有存在性但没有下降结构；路径法有可跟踪性但会遇到分支和奇异点。本文试图用 fixed-point bundle 同时承载 existence、path、gap 和 singularity avoidance。

Motivation

已有路线的问题很清楚：投影/外梯度类方法的理论核心是单调性；merit function 路线把 VI 变成优化，但非单调时 gap landscape 可能很差；内点法擅长 complementarity/convex 结构，但一般 VI 不天然给出可通向解的 central path；同伦法原则上通用，但起点选择、分支选择和奇异绕行通常是 ad hoc 的。

作者的核心观察是：simplex 上的 VI 可以写成一个参数化 LP 的固定点问题。对每个 σ，解一个关于 \hat{σ} 的线性规划；VI 解就是 LP optimizer map 的固定点。把 LP 的扰动 KKT 和固定点条件合并，会得到一个随 μ 变化的解空间。这个解空间不是普通方程零集，而是每个 σ 上有一条 μ-fiber 的 bundle。这个几何对象正好补上同伦/内点法缺的东西：起点可以放在高 fiber，gap 可以由一个 section 读出，奇异点可以沿 fiber 方向绕开。

Core Idea

论文的核心不是某个 Newton 公式，而是建模方式的改变：把 VI(F, Δ) 嵌入到固定点束 E 中，令 E 由 G(σ, μ)=0 描述，其中 μ 是 barrier/path 参数但不是传统单一标量，而是与 σ 同维的向量。对固定 σ，满足 UKKT 的 μ 构成一维 fiber；沿 μ→0+ 的路径端点对应 VI 解。

这带来的 inductive bias 是“路径拓扑优先于下降函数”。非单调 VI 没有全局 descent，所以作者转向解析曲线的拓扑结构：由 Brouwer 保证 μ>0 下 fixed point 存在，由 Newton-Puiseux/奇偶性论证说明存在连接起点与解的解析分支，由 singular manifold 描述哪里 Newton 路径会失效，再用 fiber 平移跳过。和 prior 的本质区别是，它不试图恢复 monotonicity，也不优化某个 merit function，而是把求解过程组织成 fiber bundle 上的 continuation。

Method

1. 近似化到解析 simplex VI：这是为了让后续 analytic curve、Jacobian、Newton-Puiseux、奇异流形等工具合法。紧凸集用 polytope/simplex 表示，连续函数用 Dirichlet kernel smoothing 成解析函数。必要性很强，但也是理论最松的一环：它把“原问题”变成“可解析处理的近似问题”。

2. UKKT 构造：对给定 σ，考虑 min_{\hat{σ}∈Δ} \hat{σ}^T F(σ)。VI 解等价于该 optimizer map 的 fixed point。引入扰动互补 \hat{σ}∘r=μ，再要求 \hat{σ}=σ，得到 unbiased KKT。这个步骤的作用是把不等式问题变成可路径跟踪的方程族。

3. Fixed-point bundle：消去 r,v 后得到 G(σ, μ)=0。fiber B(σ)=σ∘F(σ)+vσ。两个 section 分工明确：\check{μ}(σ) 给真实 VI gap，\tilde{μ}(σ) 是光滑 section，用来推导 J(σ) 和路径微分。这个设计避免了把 gap 度量和微分结构混为一谈。

4. Singular manifold 与 fiber avoidance：路径微分由 J_G=J(σ)+(1^T μ)I 控制，奇异点对应 -J(σ) 的实特征值。若路径撞到奇异点，沿同一 fiber 加 βσ 改变 1^T μ，从而换到另一条 analytic curve segment。核心变化是把 continuation 的 branch/singularity 问题变成 fiber 方向上的可控平移。

5. Predictor-corrector：predictor 降低 μ 并用路径微分更新 σ；corrector 用 Newton/regularized Newton 把点拉回 G=0。理论证明基于非奇异紧邻域内统一的 Newton 收敛半径，因此得到沿路径的全局线性 μ-reduction；实践中用正则化方程牺牲局部速度换稳定性。

Key Insight / Why It Works

最核心的 insight 是：对一般非单调 VI，不要寻找不存在的全局下降结构，而要利用 Brouwer fixed point 的拓扑结构构造 continuation path。固定点束的价值在于它把三个原本分散的问题统一起来：存在性、central path、奇异规避。

方法为什么可能成立：μ>0 时，Brouwer function M(σ, μ) 把 simplex 映回 simplex，因此 fixed point 存在；UKKT 的 μ→0+ 极限在 r≥0 条件下给 VI 解；解析性保证路径零集可以被局部延拓；非奇异邻域保证 Newton corrector 有统一局部收敛；fiber 方向提供了一个不改变 σ、但改变 J_G 谱位置的自由度，从而绕开大部分奇异点。

真正贡献大概率是 fixed-point bundle 这个重参数化，而不是正则化 Newton 本身。正则化 Newton/Gauss-Newton 是很标准的数值稳定手段，主要是 engineering。Dirichlet smoothing 和 simplex 近似也更像是为了把一般情形纳入理论框架的 preprocessing，不是算法性能的主要来源。

需要警惕的是，所谓“无任何单调性假设的全局线性收敛”实际上是对近似后的解析 simplex VI、沿构造路径、在非奇异解或固定 ζ 截断下的路径收敛。它不是说任意原始 VI 都有一个高效、稳定、多项式复杂度算法。奇异解附近收敛退化，且 singularity avoidance 的可计算策略没有完全展开。因此 claim 的数学形式很强，但工程可用性上限仍不清楚。

Relation To Prior Work

这篇最接近的是 numerical continuation / homotopy methods、interior-point central path、complementarity reformulation，以及 Nash equilibrium 中 Lemke-Howson/Harsanyi oddness 那条拓扑路径谱系。

和内点法的相似点是都通过 μ>0 的扰动路径逼近 μ=0 解；不同点是这里的 central path 不是来自凸优化 KKT，而是来自“参数化 LP + fixed point”的 UKKT，并且 μ 是向量，路径存在性靠 Brouwer 而不是 primal-dual convexity。

和一般同伦法的不同点是：同伦法通常先人为设计 H(x,t)，再担心起点和奇异分支；本文先构造一个带 fiber 的全局几何空间，让路径、gap、奇异点都成为同一结构的投影或 section。这个是实质创新。

看似新的部分中，Newton corrector、regularized Gauss-Newton、barrier local norm、Dikin-like neighborhood 都是已有思想重组；真正新增的信息是 fixed-point bundle 上的 singular manifold 描述，以及“沿 fiber 平移改变谱位置”的 singularity avoidance 机制。

Dataset / Evaluation

实验覆盖的是随机生成的解析 VI(F, Δ)，F 用 tanh MLP 表示，维度最高到 800。这个 benchmark 能验证两件事：实现没有明显数值崩溃；在随机平滑算子上，路径跟踪的 iteration count 没有随维度爆炸。

但它没有真正验证最强 claim。首先，实验没有包含一般紧凸域到 simplex 的近似阶段，因此没有测试原始 VI(H,K) 的端到端求解。其次，随机神经网络 VI 未必代表困难的非单调 VI；它们可能在奇异结构、分支复杂度、condition number 上都比较温和。第三，实验只报告成功率和迭代数，缺少与同伦法、merit function、非单调 VI solver、MCP solver 的强基线比较。第四，没有系统分析 singularity avoidance 被触发的频率、β 选择策略、路径长度和 s_min(J_G) 退化。

因此实验支持“这个框架在一类随机解析实例上可跑”，但不足以支持“对一般 VI 实用且 scalable”。增益来源不清，可能主要来自正则化 Newton 的稳定性和随机 benchmark 的温和性。

Limitation

1. 近似误差链条薄弱。一般 K 与 H 被近似到 simplex 与解析 F，但原问题的 VI gap、解距离、稳定性如何随近似误差传递，文中未充分说明。非单调 VI 对 perturbation 可能非常敏感，近似问题的解不一定是原问题的好近似。

2. simplex/polytope 近似可能指数复杂。作者也承认 worst-case 精度与点数可能指数相关。这意味着“适用于任意紧凸集”的理论包容性不等于可扩展算法。

3. 奇异规避是存在性强、算法性弱。沿 fiber 平移确实可以改变 1^T μ 以避开特征值，但实际如何检测所有相关奇异、如何选择 β、如何避免跳到更差分支、是否会导致路径长度膨胀，文中未充分说明。

4. 全局线性收敛依赖非奇异邻域。核心常数由 s_min(J_G) 控制；奇异解附近该常数趋零，所以高精度极限下收敛退化。对 singular solution，论文实际只保证到固定 ζ 的线性 reduction，而不是到解的统一线性收敛。

5. 复杂度没有闭合。路径段数量、Newton corrector 次数、bisection 成本、Jacobian/eigenvalue 计算、路径 condition number 都没有形成整体复杂度界。因此它更像一个理论 continuation framework，而不是成熟复杂度算法。

6. 实验可能低估困难度。随机 MLP 生成的平滑 VI 未覆盖高度病态、强非单调、多解密集、边界退化或真实应用结构。scaling claim 需要更强证据。

Takeaway

• 1. 最值得迁移的思想是：当问题缺少下降结构时，可以尝试构造“固定点存在性 + 可微束结构 + 路径跟踪”的替代求解范式，而不是强行优化 gap。
• 2. fiber direction 作为 singularity avoidance 的自由度很有启发性。
• 很多 homotopy/continuation 方法失败在分支和奇异点；如果能在模型构造中预留一个不改变 base solution 但改变谱条件的方向，路径法会更可控。
• 3. gap section 与 differential section 分离是一个好设计：一个 section 负责度量真实问题，一个 section 负责给出光滑几何。

一句话总结

这篇论文把一般非单调 VI 的求解从“寻找下降算法”转成“在 fixed-point fiber bundle 上做可绕奇异的 continuation”，实质贡献是几何重参数化与路径结构，而非 Newton 工程本身。