精读笔记

Problem Setting

这篇论文实际解决的是：在 Hermitian PSD 矩阵锥上演化的线性脉冲系统中，如何用一套统一的 Riccati/LMI/duality 语言处理最优控制、有限时间 steering、耗散性和零和博弈。这里的状态不是向量 x，而是二阶矩/协方差/Gram 矩阵 X；控制变量也不是普通输入 u，而是扩展 PSD 矩阵中的自由块 X2, X3。

真正困难有三层。第一，系统同时有连续 flow 和离散 jump，传统 CT Riccati 和 DT Riccati 不能简单拼接，因为 jump 前后 dual variable 的边界条件耦合。第二，成本/供给率允许奇异甚至不定，普通 Schur complement 和 invertible R 假设失效。第三，无限时域是在 LTV impulsive setting 下做的，不能依赖 algebraic Riccati equation、stationary solution 或 periodic lifting。

关键矛盾是：想要保持 PSD cone 上的线性结构和 LMI 可验证性，同时又要恢复 classical LQ/LQG/H∞/dissipativity 中 Riccati 的 sharpness。作者的做法是放弃从 underlying vector feedback 出发，而直接在矩阵值系统上做 conic dynamic programming。

Motivation

已有路线的问题不是缺少某个 Riccati 方程，而是每个场景都要重新推一遍：CT、DT、jump、sampled-data、Markov jump、covariance steering、H∞、dissipativity 都有相似但不兼容的公式。尤其无限时域通常靠 LTI/periodic 假设来让 Riccati 收敛到 algebraic/periodic solution；对一般 LTV impulsive 系统，这条路不够。

作者的核心观察是：当目标是二阶矩或协方差时，LQ 型目标在矩阵轨迹 X 上是线性的；动态约束也是线性的；PSD 约束给出自对偶锥结构。因此 Riccati 条件可以被看作 conic dual certificate 的饱和条件，而不是必须从 Hamiltonian system 或 completion of squares 推出。

关键缺口是一个能同时处理 flow 与 jump、singular Schur complement、finite/infinite horizon、average forcing 和 game sign structure 的统一 algebraic identity。本文基本上就是把这个 identity 做到底。

Core Idea

论文真正核心的方法思想是：把所有问题都规约为“找一个对偶矩阵函数 P，使得 key identity 中剩余项是非负的，并且可由某个 feedback 置零”。在 optimal control 中 residual 是 C_Z 和 D_Z；在 dissipativity 中换成 C_M 和 D_M；在 game 中用 sign-flipped HJI matrix \hat I；在 average-cost 中 Riccati 方程不变，只是额外 forcing pairing 决定长期平均率。

这改变了建模方式：传统方法把 Riccati 当作状态反馈优化的一阶条件；本文把 Riccati 当作 PSD cone 上线性规划/对偶 LMI 的 tight certificate。新的 inductive bias 是“cone linearity + Schur saturation”：只要系统保持 PSD cone、成本线性、dual pairing 合法，很多控制问题的结构会自动对齐。

和 prior 的本质区别不在某个新 Riccati 公式，而在统一组织信息流：flow integral 和 jump summand 使用同一个 residual decomposition；finite horizon 和 infinite horizon 通过同一个 finite-horizon certificate 的极限连接；dwell-time 因果性通过 timer-domain forward Riccati 把 backward noncausality 局部化。

Method

1. Composite residual operators：C_Z/D_Z、C_M/D_M、I/I^j 把 dynamics、running cost、jump cost 和 dual derivative 合成一个矩阵。它解决的是“成本与动态如何统一进入一个 LMI”的问题。核心变化是 optimality 被转成 residual PSD + Schur complement zero。

2. I-GRE / I-D-GRE / I-HJI-GRE：这些方程本质上都是同一个 Schur equality。它们解决“何时 lower/upper bound tight”的问题。对于 optimal control 是 cost lower bound；对于 dissipativity 是 available storage bound；对于 game 是 saddle value bound。

3. Optimal policy sets：feedback gain 来自 residual 下右块的 pseudoinverse 解。它解决 singular input cost 下 gain 不唯一的问题。核心变化是最优策略不再要求 R invertible，而是一个 affine set，kernel 方向自由。

4. Infinite horizon construction：finite-horizon Riccati solution 的 monotone bounded limit 给出 P∞。它解决 LTV 下没有 algebraic fixed point 的问题。对 optimal control 是非降极限；对 game 文中给出非增极限；对 dissipativity 因供给率不定，单调性更微妙，部分地方退化为 Loewner supremum 或需要额外结构。

5. Dwell-time causalization：backward Riccati 依赖未来 jump time，因而非因果。作者在 timer domain 上引入 forward Riccati/HJI ODE，并用 periodic fixed point、MDT frozen LMI、RDT bounded interval verification 获得可实现策略。这里解决的是 implementation causality，而不是新的最优性原理。

Key Insight / Why It Works

最核心贡献是 key identity + Schur inner-product decomposition。它有效的原因很直接：PSD cone 自对偶，所以只要 residual matrix PSD，就能对所有 admissible X 给出全局 bound；Schur complement zero 则保证这个 bound 不含 state-block penalty；gain 选择让 free-block deviation 项落入 residual 下右块的 kernel，于是 bound 被精确达到。这比 classical completion of squares 更一般，因为它不依赖 invertible control penalty，也不依赖 underlying vector-state realization。

最可能是核心贡献的部分：统一的 impulsive key identity、singular Schur machinery、LTV infinite-horizon monotone convergence。尤其 infinite horizon 不要求 LTI/periodic，是实质推进；这把 Riccati theory 从 algebraic steady-state 依赖中抽离出来。

可能只是辅助或组织性贡献的部分：CT/DT corollaries 多数是已有结果的退化；average-cost 公式本质上是 forced key identity 的后处理，Riccati 方程不变，主要 insight 是 forcing 只进入 value pairing；dwell-time MDT/RDT 部分更像将 Geromel–Colaneri timer Lyapunov 技巧移植到当前框架，重要但不完全新。

这不是 scaling、retrieval、data coverage 类贡献；它是 better inductive bias / latent structure 的理论版本：识别出二阶矩控制问题背后的 cone-linear structure，并把 Riccati、LMI、dissipativity、game 都投影到同一结构上。

Relation To Prior Work

最接近的路线有三条：一是 indefinite stochastic LQ / generalized Riccati / LMI 方法；二是 covariance representation/covariance control；三是 impulsive/jump/sampled-data Riccati 和 dwell-time Lyapunov 条件。本文不是从零发明这些工具，而是把它们放进 Hermitian matrix-valued cone-preserving 系统中统一化。

和 classical LQR/LQG 的差异：传统 Riccati 绑定向量状态和反馈 u=Kx；本文直接优化 second-moment matrix X 的自由块。这样 LQ 成本变线性，Riccati 变成 conic dual equality。

和 covariance steering 的差异：Chen-Georgiou-Pavon 等工作依赖 stochastic linear dynamics 和 terminal covariance constraint；本文的 steering 是矩阵值系统上的 terminal equality，通过 Lagrange multiplier 转成 unconstrained I-GRE。更一般，但 steering 可达性部分的严格性弱一些。

和 jump/impulsive H2/H∞ 文献的差异：已有结果多要求 LTI/periodic 或具体 Markov structure；本文强调 LTV infinite horizon 通过 monotone convergence 处理。这是实质差异。

和 dissipativity 文献的差异：不是只给 storage inequality，而是给 available storage 的 Riccati/DLMI characterization，并扩展到 matrix-valued impulsive LTV 和 average available storage。

和 H∞/zero-sum games 的差异：HJI-GRE 的 sign-flipped matrix \hat I 让 minimax 变成 PSD Schur problem；dual DLMI 中不需要显式 nonlinear Schur complement，这一点较干净。

Dataset / Evaluation

这是一篇数学控制理论论文，没有传统 dataset、benchmark 或实验评测。文中的 examples 只是说明性，不承担验证核心 claim 的角色。核心 claim 的验证方式是定理覆盖范围：finite horizon、infinite horizon、average cost、dissipativity、steering、game、CT/DT corollaries、periodic/MDT/RDT dwell-time。

从 evaluation 角度看，它验证的是“形式统一性”和“可证明条件覆盖”而不是数值优越性。没有展示大规模 SDP/Riccati 求解的数值稳定性、复杂度、实际 sampled-data 或 stochastic hybrid deployment。因而不能从本文判断这些 DLMI/GRE 条件在高维矩阵系统上的计算可扩展性。

如果把理论覆盖本身视为 evaluation，最有说服力的是同一个 proof skeleton 重复适用于多个问题类；最薄弱的是 steering reachable set、MDT/RDT 必要性、singular pseudoinverse 数值行为这些部分缺少细致例子或反例支持。

Limitation

1. 假设强。Cone invariance、uniform stabilizability、coercivity、bounded pseudoinverse、Isaacs condition、bounded jump rate 等都是结构性前提；实际系统不一定满足，尤其 singular channels 下 compatibility 条件可能很脆。

2. 可计算性没有真正解决。DLMI 是线性的，但变量是时间函数 P(t)，impulsive + timer constraints 下仍是 infinite-dimensional；离散化后条件数和 pseudoinverse stability 未充分讨论。

3. Dwell-time 因果策略不是全面最优。periodic 情况给必要充分；MDT/RDT 多数是充分条件或 upper/lower bound。非因果 backward Riccati 的问题被转移到 timer-dependent certificate 设计，而没有完全消除。

4. Dissipativity infinite-horizon 部分比 optimal control 更微妙。因 supply indefinite，finite-horizon available storage 不必随 horizon 单调，文中部分地方需要 Loewner least upper bound 或额外 structural condition；这说明统一框架在不定情形下并非完全无缝。

5. Optimal steering 的可达性和 strong duality 条件文中未充分说明。特别是 reachable set 的 characterization 看起来偏 sketch，严格 controllability Gramian、relative interior feasibility、multiplier existence 都需要更精确处理。

6. General cone extension只是讨论。作者指出 PSD cone 的 proper/self-dual/cone-preserving 是关键，但 Schur complement decomposition 在一般 cone 上没有直接替代物；这不是平凡推广。

Takeaway

• 1. 最值得记住的是：Riccati 方程可以被看成 PSD cone 上线性对偶 certificate 的 Schur-saturation，而不是只属于 vector LQ completion-of-squares。
• 2. 对 impulsive/LTV 系统，flow 和 jump 不需要两套理论；只要 key identity 写对，jump term 和 integral term 完全同构。
• 3. 无限时域不必依赖 LTI/periodic algebraic Riccati；finite-horizon certificates 的 monotone bounded convergence 是更 general 的路线。
• 4. 未来真正值得做的是两件事：把这套框架做成数值可靠的 DLMI/Riccati solver；以及明确它在一般 proper cone 或 stochastic matrix-valued SDE 中能保留哪些 Schur-type结构。

一句话总结

这篇论文把 Hermitian PSD 矩阵值脉冲系统上的最优控制、耗散性和零和博弈统一为 cone-linear dual certificate 的 Schur 饱和问题，是 Riccati/LMI 理论从向量状态系统向矩阵锥系统的一次系统性重组织。