精读笔记
Problem Setting
论文实际处理的是无限时域、确定性、非零和 LQ difference game，在每个时刻存在同时依赖全局状态和所有玩家控制的仿射不等式约束。由于可行域是耦合的，每个玩家的 admissible set 依赖其他玩家策略，因此均衡概念必须是 generalized Nash，而不是普通 Nash。
真正困难点是无限时域和耦合约束的组合。有限时域里可以写 KKT/LCP；无约束无限时域里可以靠 coupled Riccati 或 deflating subspace；但这里乘子序列、状态序列、costate 序列都在无限维空间里，并且需要保证 stabilizing、finite cost、transversality 和 feasibility 同时成立。以前方法通常卡在两端：要么是有限时域/MPC 近似，不给真正无限时域存在性；要么是无约束无限时域理论，无法处理 coupled feasible sets。
Motivation
已有路线不够的核心原因是它们没有给出“约束 + 无限时域 + GNE”三者同时存在时的闭合刻画。静态 GNE 可用 VI/QVI；动态 LQ game 可用 Riccati；有限时域 constrained game 可用 KKT/LCP；但这些工具单独使用都无法解决无限长互补条件和尾部稳定性的兼容问题。
作者的关键观察是：OL-GNE 的必要条件天然就是一个 coupled LCS；如果能找到一个平方可和解，并证明该解对应每个玩家的 best response，那么存在性就可以被转写为 LCS 解的存在性。进一步，如果远期约束 inactive，则尾部可由无约束 infinite-horizon LQ game 的稳定 Riccati 子空间吸收，剩下只需求有限段 LCP。
Core Idea
核心思想是把 open-loop GNE 的存在性问题从“直接在策略空间中找均衡”改写为“找一个满足平方可和与互补条件的无限时域状态-costate-乘子轨迹”。这一步很关键，因为耦合可行域导致 best response 映射很难直接分析；而 PMP/KKT 条件把耦合可行性转成乘子信号，使得动态耦合和约束耦合可以统一进入线性互补系统。
更深一层的想法是用稳定尾部消除无限维性：在某个 K 之后假设约束严格 inactive，乘子置零，系统回到无约束 LQ game 的稳定 deflating subspace；K 之前的所有复杂性由一个大规模 LCP 承担。这和 receding-horizon 的本质区别是：它不是滚动近似无限时域，而是显式构造一个有限 active-constraint prefix 加解析 tail 的拼接解。
Method
1. PMP 到 coupled LCS：对每个玩家固定其他玩家策略，写无限时域 constrained optimal control 的必要条件。它解决的是 OL-GNE 的一阶候选刻画问题；核心变化是把所有玩家的最优性条件合并为状态、costate、乘子的互补动力系统。
2. Riccati 变量变换与充分性证明：引入每个玩家的代数 Riccati 解 Ei，并写 λi=Eix+ei。它解决的是“必要条件是否真能推出 best response”的问题；completion-of-squares 将玩家成本分解成 value term、非负互补项和正定平方项，从而证明构造控制为最优反应。
3. 平方可和条件：论文强调仅有 costate 收敛不够，必须要求状态、costate、乘子平方可和。它解决的是无限时域横截条件和 finite cost 的闭合性问题；这也是作者相对无约束 OL Nash 文献的一个重要修正。
4. 有限维 LCP reformulation：通过 stable pencil/deflating subspace 得到尾部关系 λ=Px，并假设 K 之后乘子为零。它解决的是无限 LCS 不可直接求解的问题；核心变化是把未知无限序列压缩为有限段乘子向量 μ0:K-1，并通过 LCP 求出 active prefix。
5. 尾部严格可行性检查：要求 K 之后约束余量严格为正。它解决的是将 μk=0 作为尾部解的合法性问题；但也引入了明显保守性，因为长期 active 的均衡会被排除。
Key Insight / Why It Works
最关键的 insight 是：无限时域 constrained LQ game 的难点不是 LQ，也不是 GNE 定义，而是如何让互补乘子与稳定性条件同时闭合。论文通过“平方可和 LCS 解”把这个闭合条件显式化。这个要求看似技术，但实际上是核心贡献：它避免了只要求 λk→0 导致控制是否属于 l2 的循环论证。
方法成立的根本原因是 LQ 结构允许 exact completion-of-squares。Rii≻0 给出单玩家控制方向的强凸性，Ei 的 Riccati 方程抵消状态二次项，互补条件让约束乘子项在候选策略上为零、在任意可行偏离上非负。因此一旦候选轨迹满足 LCS 和平方可和条件，best-response 证明几乎是代数恒等式，而不是固定点紧性论证。
最可能的核心贡献是 Theorem 2/4 的充分性链条，以及 Theorem 6 将无限 LCS 变成有限 LCP+尾部验证。辅助部分是 platooning 例子和若干 l2 lemma，它们主要服务于技术闭合。增益不是来自 scaling，也不是数据覆盖，而是来自更好的结构分解：finite active prefix + stable unconstrained tail。
但这个机制的有效性依赖一个很强的 latent structure：约束最终 inactive。如果真实问题的均衡长期贴着安全边界、资源约束或容量约束运行，本文的可计算充分条件会失效。换句话说，论文不是解决了所有 infinite-horizon coupled constrained games，而是给出了一类“最终进入无约束稳定区”的均衡可证构造。
Relation To Prior Work
最接近的谱系有三条：无约束 infinite-horizon LQ dynamic games、有限/无限时域 constrained LQ difference games、以及 static/dynamic GNE 的 VI/LCP 方法。本文的实质位置是在无约束 OL Nash 的 Riccati/deflating-subspace 理论上叠加 coupled affine inequality constraints，并用 LCP 表达活跃约束段。
和 Reddy/Zaccour 等 constrained LQ difference game 工作相比，本文更强调一般耦合约束下的无限时域 OL-GNE 存在性，而不是特定结构分解。和 receding-horizon VI/MPC 路线相比，它不是在线滚动求近似均衡，而是离线构造满足无限时域条件的 open-loop 策略。和 Mohapatra/Reddy 之前有限时域或 mean-field-type 约束 LQ game 相比，新信息主要是无限时域尾部处理和平方可和充分性。
看似新的地方有一部分是已有思想重组：PMP→LCS、Riccati completion-of-squares、deflating subspace、finite LCP 都是经典工具。实质创新在于这些工具的拼接方式：用平方可和互补轨迹连接 GNE best-response 证明，再用 inactive tail 把无限维互补系统压成有限维 LCP。
Dataset / Evaluation
evaluation 是一个 vehicle platooning 数值例子，不是 dataset-driven evaluation。它覆盖了一个有现实意义的耦合约束场景：碰撞避免、速度限制、控制限制，并展示了在 prestabilization 后可用本文条件计算 OL-GNE。
这个实验验证的是构造流程和理论现象，而不是广泛泛化能力。尤其 Fig. 2 的重点不是性能数字，而是 K 的选择会改变可恢复的均衡集合：K=45 无法恢复某些在 45、46 时刻乘子仍非零的 OL-GNE，而 K=55 可以。这很好地暴露了方法的保守性。
实验没有系统比较 LCP 求解复杂度、玩家数扩展、约束数扩展，也没有真实车辆/硬件验证。benchmark 对核心 claim 的支持有限：它说明理论可实例化，但不能证明该方法在大规模 dynamic games 中比 receding-horizon VI 方法更实用。
Limitation
最核心限制是充分条件并非必要条件。Theorem 5/6 要求存在一个有限 K，使得 K 之后约束严格 inactive 且 μk=0。这会排除长期 active constraints、边界稳态、周期性活跃约束等在 constrained control/game 中很常见的情形。方法实际上把无限时域难题转移成了“找到足够大的 K 并验证尾部严格可行”。
第二个限制是可扩展性。虽然 LCP 维度从混合状态-costate-乘子变量降到 NKc 级别，但对大玩家数、大约束数、长 active prefix，LCP 仍可能很难。文中未充分说明 LCP 的数值稳定性、解的多重性、退化互补情况下的行为。
第三，假设体系较重：Assumption 2 的正定 Riccati 解、Assumption 3 的 regular pencil 与稳定 deflating subspace、X0 非空、admissible stabilizing controls 非空，都不是轻量条件。论文给了形式化条件，但没有充分讨论这些条件在一般耦合约束 game 中有多常见。
第四，open-loop 本身限制了 deployment 意义。所得策略依赖初始状态和完整时间索引，对扰动、模型误差和状态偏差没有反馈修正能力。platooning 例子虽然有工程背景，但并未验证真实闭环鲁棒性。未来反馈 GNE 才是更接近控制部署的问题。
Takeaway
- 1. 这篇真正推动的是 constrained infinite-horizon LQ game 的存在性刻画，而不是提出一个高性能数值优化器。
- 2. 最值得迁移的思想是“有限 active prefix + 解析稳定 tail”：对于很多无限时域约束优化/博弈问题，只要能证明尾部进入 inactive/stable regime，就可以避免粗暴截断。
- 3. 平方可和条件比单纯 transversality 更关键。
- 无限时域 game 中，控制是否 admissible 不能靠 costate 收敛模糊带过，否则容易形成循环证明。
一句话总结
这篇论文把耦合仿射约束下的无限时域 OL-GNE 从策略固定点问题转化为平方可和 LCS/LCP 构造问题，是一篇用 Riccati 稳定尾部修补 constrained dynamic game 无限时域理论缺口的结构性工作。