精读笔记
Problem Setting
《Sub-Infinite Horizon Stochastic Linear-Quadratic Optimal Control Problems and Delayed Backward Riccati Equations》（arXiv preprint / 2026-07-10）实际处理的是 fixed look-ahead window 下的 stationary feedback 选择问题。每个时刻 t 都重新面对区间 [t,t+T] 上的随机 LQ 成本；如果直接求有限时域最优控制，反馈由 Riccati 解 P(s;t) 给出，依赖起始时间和剩余时长，因此从 t 规划出的策略到 t′ 时通常不再是 t′ 重新规划的最优策略。
真正困难点不在随机 LQ 有限时域求解，而在“有限窗口目标”和“时间不变闭环策略”之间的冲突。有限时域方法天然产生 time-to-go dependent gain；无限时域方法天然 stationary，但它优化的是无限积分成本，并隐含稳定性要求。本文的问题就是在不把目标改成无限时域的情况下，找一个 stationary、time-consistent、locally optimal 的 equilibrium feedback。
Motivation
已有两条路线都不够。标准有限时域 LQ 给出 pre-committed optimum，但一旦初始时刻滚动，最优性马上失效；这对 receding horizon / rolling window 决策是结构性缺陷，不是数值误差。无限时域 LQ 给出的代数 Riccati 反馈虽然稳定且时间不变，但它对应的是不同目标函数，不能解释“只关心未来 T 时间”的局部行为。
作者的核心观察是：sub-infinite horizon 的关键不是再求一次最优，而是承认全局最优在动态意义下不可执行，转而求各个时间 self 之间的闭环均衡。关键缺口是以前 finite horizon time-inconsistent LQ 的 equilibrium Riccati 仍依赖有限终点结构，无法直接给出在 [0,∞) 上统一的 time-invariant strategy。
Core Idea
核心思想是把 stationary equilibrium 的要求直接压进 Riccati 结构。若要求反馈增益 Ψ 对所有时刻相同，那么在任意窗口内使用 Ψ 后，窗口成本矩阵 Σ(s) 仍可由一个 backward Lyapunov/Riccati 型方程描述；但 Ψ 又必须由“当前时刻重新评估”的成本矩阵给出，也就是由 Σ(0) 决定。于是得到一个自洽关系：Σ(T)=0 向后解到 Σ(0)，而 Σ(0) 又决定整条 ODE 的 generator。
这和 classical Riccati 的本质区别是信息流从局部变成全局。标准 Riccati 中 Pdot(s) 只依赖 P(s)，是 Volterra/initial-terminal propagation；这里 Σdot(s) 通过 Ψ 依赖 Σ(0)，等价于 forward 形式下依赖 advanced terminal value Γ(T)，本质是 Fredholm 型固定点。它引入的 inductive bias 是 stationary policy under finite rolling objective：牺牲 pre-commitment global optimality，换取跨时间自洽。
Method
第一步是 equilibrium verification。作者定义 spike variation：在 [t,t+ε) 临时偏离，之后回到候选 stationary feedback。若 delayed Riccati 有正半定解，则用 Itô 公式把 [t+ε,t+T] 的 continuation cost 压缩成 t+ε 处的二次型，再把短区间 [t,t+ε] 看成一个带 terminal cost 的标准 LQ 问题。这个步骤解决的是“Riccati 解为什么真的对应 equilibrium”，核心变化是把非局部时间一致性检验降成局部 LQ 比较。
第二步是可解性。给定候选初值 Σ，先由它生成 Ψ，再解一个线性 Lyapunov backward equation，得到新的初值 Π(Σ)。delayed Riccati 解就是 Π 的固定点。由于这是 Fredholm 型固定点，不能指望 Banach contraction；作者转而构造 homotopy f(Σ,σ)，用 Leray-Schauder。
第三步是 a priori bound。最关键的技术是证明任何解都满足 0≤Σ(0)≤P∞。这里 P∞ 是无限时域 stochastic LQ 的 stabilizing algebraic Riccati 解。作者通过 semigroup 表示 Σ(0)，推出 Riccati operator R(Σ(0))≥0，再用一个矩阵代数方程比较引理得到上界。这一步是整个存在性证明的支点。
Key Insight / Why It Works
最重要的 insight 是：sub-infinite horizon equilibrium 的非局部性不是噪声或技术麻烦，而是 time-invariance 约束的必然结果。只要要求同一个 feedback 在每个滚动窗口开端都局部最优，当前 continuation value 就必须同时扮演“短期窗口的初值”和“反馈增益的生成器”。因此 delayed Riccati/Fredholm 结构是问题本身的正确数学对象，不是作者人为复杂化。
方法有效的真正原因是 infinite-horizon stabilizing solution P∞ 提供了一个全局 barrier。虽然目标不是无限时域成本，但任何 finite-window stationary equilibrium 的初值不能超过 P∞；这个比较关系把原本可能失控的 Fredholm 固定点压进紧集，Leray-Schauder 才能发挥作用。这里的核心贡献是 sharp a priori estimate，而不是引入固定点定理本身。
比较定理也很关键：若某个 P 满足 Riccati residual R(P)≥0，则 P≤P∞。这个结论把“某个由 finite window 诱导的代数不等式”直接和 infinite-horizon stabilizing ARE 联系起来。它解释了为什么 finite T 的 equilibrium 在 T→∞ 时会被 P∞ 吸引。
辅助部分包括 semigroup 表示和 spike verification，它们是必要的严谨化工具，但不是主要 conceptual contribution。本文没有 scaling、data、retrieval 或 benchmark 增益问题；若类比机器学习术语，它更像是通过更合适的 inductive bias 重新定义可执行策略类，而不是通过工程增强提高性能。
Relation To Prior Work
它最接近三条谱系：经典 finite/infinite horizon stochastic LQ；time-inconsistent control 的 equilibrium strategy；receding/sub-infinite horizon 控制。和经典有限时域 LQ 的差别在于它不再追求 pre-commitment optimum，而追求 rolling-time self-consistency。和无限时域 LQ 的差别在于成本窗口仍是有限 T，stationarity 是 equilibrium 约束带来的，而不是无限积分目标自然给出的。
和 Yong 及后续 time-inconsistent LQ 工作相比，本文的实质新增点是把 equilibrium Riccati 从有限时域的 time-dependent/Volterra 型结构推到 sub-infinite horizon 的 stationary/Fredholm 型结构。看似只是 Riccati 方程多了一个 Σ(0)，但这个变化本质上改变了可解性理论：局部 ODE 理论不再够用，必须靠全局先验界和拓扑固定点。
其中“spike variation 定义 equilibrium”不是新思想；“completion of squares”和“Riccati feedback”也不是新思想。真正新的信息是 delayed backward Riccati 的提出、其 Fredholm 性质的识别、以及利用 P∞ 建立 sharp bound 的比较框架。
Dataset / Evaluation
本文没有数据集或实验评估，evaluation 完全是数学意义上的 theorem/proof/example。它验证的 claim 主要包括：pre-committed finite-window optimum 一般时间不一致；若 delayed Riccati 有正半定解，则对应 stationary equilibrium；在 (H1)(H2) 下 delayed Riccati 至少存在一个正半定解；解不唯一；缺少 stabilizability 时可能无解；T→∞ 时在 Q>0 下收敛到无限时域最优反馈。
这些证据基本支撑论文的理论主张，但不支撑任何数值效率、实际 MPC 性能或部署稳定性 claim。例子主要用于说明非唯一和无解现象，不是系统性 benchmark。文中没有展示不同 equilibrium 解在控制性能上的差异，也没有说明在数值求解 delayed Riccati 时如何稳定选择某个解。
Limitation
第一，equilibrium 是局部概念。Definition 3.1 只排除 infinitesimal spike deviation 的一阶获益，不保证对有限时长偏离、策略类偏离或全局重新规划最优。这是 time-inconsistent control 常见但实质性的弱点。
第二，stationarity 是外加选择原则。论文证明存在 stationary equilibrium，但没有证明这是唯一合理的时间一致策略，也没有给出 equilibrium selection criterion。由于 Example 4.4 显示解可多重，实际应用中不同解可能对应不同反馈增益；文中未充分说明如何选择。
第三，finite T equilibrium 不一定 stabilizing。作者自己在 Remark 3.2 指出这一点。对于长期运行系统，这很关键：每次只优化长度 T 的窗口，但系统真实运行在无限时间上，如果 equilibrium feedback 不稳定，则“时间一致”未必等于可部署。
第四，T→∞ 收敛结论需要 Q>0。对半正定 Q 的标准情形，作者只在 Remark 5.2 中说可能通过 LQ_Q^2-stabilizability 处理，文中未完成。这个限制意味着收敛理论还没有覆盖最一般的 stochastic LQ setting。
第五，可解性证明是存在性而非构造性算法。Leray-Schauder 给 existence，但没有提供可计算、唯一、稳定的求解流程；如果用于数值控制，这部分还需要额外工作。
Takeaway
- 1. 这篇论文真正推动的是 sub-infinite / rolling-window LQ 中 stationary equilibrium 的数学对象识别：正确对象不是标准 Riccati，而是由窗口初值自洽闭合的 delayed/Fredholm Riccati。
- 2. 最可迁移的技术 insight 是用 infinite-horizon stabilizing Riccati solution 作为 finite-window equilibrium 的全局 barrier。
- 这个思路可能适用于其他“有限窗口目标 + 无限时间平移一致性”的控制问题。
- 3. 非唯一性不是边缘现象，而是这个 formulation 的内在后果。
一句话总结
这篇论文把 fixed-window 随机 LQ 的时间一致 stationary 控制问题从标准 Riccati 框架推进到 Fredholm 型 delayed Riccati 框架，核心贡献是识别并证明这种自洽 equilibrium 方程在 stabilizability 条件下存在且向无限时域 Riccati 解收敛。