精读笔记
Problem Setting
论文标题：Hautus-Type Criteria for Controllability and Stabilizability of Backward-Structured Stochastic Systems（arXiv preprint / 2026-05-28）。
实际问题是：对 backward-structured SDE
dX(t)=[AX(t)+Bu(t)+Cz(t)]dt+z(t)dW(t)
给出精确可控性与稳定化的 Hautus/PBH 型代数判据。这里的 difficulty 不在于定义 controllability，而在于随机 backward 结构改变了“不可控方向”的形态。
确定性 LTI 系统中，不可控性由左特征向量 y 暴露：A^T y=λy 且 B^T y=0。这里这个逻辑失效，因为 z 既是噪声积分项又通过 Cz 进入漂移，系统可达方向不是 {B,AB,A^2B,...}，而是所有由 A,C 组成的 words 作用在 B 上：B, AB, CB, ACB, CAB, ...。因此单个矩阵 A 的谱不再承载系统的可控 obstruction。
关键矛盾是：Peng 的 rank condition 已经说明 reachable subspace 由 A,C 的非交换 word semigroup 生成，但这类 Kalman-style 条件不能解释随机系统中 PBH obstruction 的 spectral form，也不能直接给稳定化只检查“非稳定模态”的版本。论文真正要解决的是：随机 backward system 中 PBH test 的正确对象到底是什么。
Motivation
已有路线的不足很明确：
1. Peng rank condition 是可达空间生成判据，不是 spectral obstruction 判据。它告诉你 span{im(MB)} 是否填满 R^n，但没有给出类似 PBH 的“不可控模态”描述。
2. 直接照搬确定性 PBH 会错。因为系统不是由 A 的状态传播单独决定，C 通过 martingale integrand 和 drift coupling 改写了二阶结构；可控性与 mean-square / Lyapunov flow 更贴近，而不是与 A 的一阶特征向量直接对应。
3. 如果把 obstruction 猜成 Lyapunov operator 的任意 symmetric eigenmatrix，也仍然过强。论文的核心观察是：真正能与 Gramian 正定性发生对偶矛盾的，只能是 positive semidefinite eigenmatrix。因为证明里需要用 P(0)>0 与 H>=0, H≠0 推出 <P(0),H> > 0；indefinite H 不具备这个性质。
所以缺口不是“缺一个 rank condition”，而是缺一个 sharp 的 cone-restricted spectral condition。作者的方向基本是：把 PBH 从 state-vector spectral theory 提升到 positive cone 上的 Lyapunov-operator spectral theory。
Core Idea
核心思想可以概括为：随机 backward 系统的 Hautus obstruction 不是向量，而是二次型；不是任意二次型，而是正半定二次型。
具体地，定义 Lyapunov-type operator
L_{(A,C)}(M)=MA+A^T M+C^TMC,
并在精确可控性问题中考察 L_{(-A,C)}。论文证明：系统精确可控，当且仅当不存在非零 H>=0，使得
L_{(-A,C)}(H)=λH, 且 B^T H=0。
这相当于把“不可控方向”从 y∈R^n 替换成 H∈S_+^n。直觉上，H 代表一个不可被控制输入激发的非负二次观测方向；如果它还是 Lyapunov flow 的 eigen-direction，那么 Gramian 沿这个方向永远积累不到能量，精确可控性失败。
稳定化的版本进一步复刻确定性 PBH 的结构：确定性 stabilizability 只检查 Re λ>=0 的不可控特征向量；这里则只检查 L_{(-A,C)} 的 λ<=0 部分，并且仍然限制在 PSD cone 内。也就是说，论文不是简单把 A 换成 L，而是同时引入两个限制：spectral restriction + cone restriction。这是和 prior 的本质区别。
Method
1. 有限化 Peng rank condition：解决无限 word condition 看似不可计算的问题。论文证明 V_k=span{im(MB): M 为 A,C 长度≤k 的 word} 至多在 n-1 步稳定，因此 exact controllability 等价于 dim V_{n-1}=n。这个结果本身不深，但很关键：它把后续 decomposition 和 obstruction construction 放回有限维线性代数。
2. Gramian 对偶化：通过矩阵 SDE Φ 和 controllability Gramian G(T)=E∫ΦBB^TΦ^T dt，把 exact controllability 转为 G(T)>0。随后用 backward Lyapunov ODE 的解 P(t) 表达 G(T)。这一步的作用是建立正定 Gramian 与 PSD eigenmatrix obstruction 之间的内积矛盾。
3. Controllability decomposition：若 V_{n-1} 非满，则选正交坐标使 A,C 同时呈 block upper triangular，B 只落在 controllable block。这个分解是构造反例 obstruction 的关键：不可控 block (A22,C22) 上总能找到 PSD eigenmatrix，再嵌回全空间得到 B^T H=0 的 obstruction。
4. Krein-Rutman / positive cone spectral argument：论文证明 Lyapunov operator 总存在非零 PSD eigenmatrix。这不是普通谱理论能直接保证的，因为 PSD cone 不是线性子空间。作者通过稳定化平移 A-αI、构造正算子 K，再用 Krein-Rutman 得到 cone 内 eigenmatrix。这一步支撑了“不可控 block 一定产生 PSD obstruction”。
5. 稳定化判据的 cone-duality：对 B=0 情形，稳定化等价于存在 P>0 使 L_{(-A,C)}^*(P)>0，再等价于不存在 λ<=0 的 PSD eigenmatrix。一般 B≠0 时，通过 controllability decomposition 把问题约化到 uncontrollable subsystem。这是 stochastic PBH stabilizability 的核心闭环。
Key Insight / Why It Works
最重要的 insight 是 cone restriction。没有 PSD 约束，Hautus condition 会过强；有 PSD 约束，条件才 sharp。
为什么成立：精确可控性的核心对象是 Gramian G(T)>0，而 Gramian 是 PSD cone 中的对象。若 H>=0 且 B^T H=0，同时 H 是 L_{(-A,C)} 的 eigenmatrix，那么沿 H 的 Gramian 积累项为零，并且 Lyapunov evolution 只做指数缩放，最终得到 <G(T),H>=0；这与 G(T)>0、H>=0,H≠0 矛盾。这个证明完全依赖 positivity。如果 H indefinite，<G,H>=0 不意味着任何可控性失败。Example 3.13 正是为了切断“所有 symmetric eigenmatrix 都要排除”的错误直觉。
稳定化部分的本质也不是 Riccati 技巧，而是 positive cone 上的 nonstable spectral obstruction。对 deterministic system，unstable mode 是 A 的 Re λ>=0；这里由于使用 L_{(-A,C)}，非稳定部分变成 λ<=0。这种符号差异来自 backward/dual Lyapunov convention，本质上仍是“不能被 B 触达的非衰减 cone mode 会阻碍稳定化”。
我认为论文的核心贡献是把 stochastic controllability 的 PBH obstruction 精确定位到 PSD eigenmatrix，而不是提出新的 controllability machinery。有限 rank、Gramian、decomposition 都是必要支架，但更像把已有 Kalman/Peng 框架整理到能承载 cone-spectral 证明的形式。真正可迁移的是：随机系统的 spectral tests 往往不应在原状态空间找 eigenvectors，而应在正锥保持算子的谱上找 positive eigen-elements。
这不是 scaling，也不是 engineering；是一个结构性理论修正。增益来源非常清楚：把错误的线性谱对象替换为正确的正锥谱对象。
Relation To Prior Work
最接近的谱系有三条：
1. 确定性 Kalman/PBH/Wonham stabilizability theory。论文显然是在复刻 PBH 的逻辑，但真正不同点是 obstruction 的空间从 R^n 变成 S_+^n，算子从 A^T 变成 Lyapunov operator L_{(-A,C)}。
2. Peng 的 backward SDE exact controllability。Peng 给出了 rank{words in A,C applied to B}=n。本文不是推翻它，而是把它有限化、Gramian 化，并用 decomposition 连接到 Hautus obstruction。有限化 V_{n-1} 更像补齐技术环节；Hautus criterion 才是新增内容。
3. stochastic stability / detectability / generalized Lyapunov equation literature。已有工作中 Lyapunov operator 和 stochastic PBH-type ideas 已经存在，但多用于 mean-square stability、observability、detectability。本文的实质创新是针对 backward-structured exact controllability/stabilizability，指出 cone-restricted PSD eigenmatrix 是 sharp obstruction。
看似新的地方中，Gramian 与 Lyapunov equation 并不新；controllability decomposition 也是经典思想在 A,C-invariant subspace 上的移植。真正新增的信息是：任意 symmetric eigenmatrix 不是正确测试类，PSD cone 才是。这一点改变了 stochastic PBH test 的形式。
Dataset / Evaluation
这是一篇纯数学控制理论论文，没有 dataset、benchmark 或实验 evaluation。所谓 evaluation 是 theorem-level verification：等价命题、反例、分解定理和稳定化判据互相支撑。
核心 claim 是否被验证：是的，至少在论文设定内被严格证明。特别是 Example 3.13 有价值，因为它验证了“排除所有 symmetric eigenmatrices”并非必要，从而说明 cone restriction 不是 proof artifact，而是 sharp condition。
但 evaluation 的边界也很清楚：没有数值算法，没有复杂系统案例，没有展示 PSD eigenmatrix 判据相对于 rank condition 在计算上的优势。因此它验证的是结构正确性，不验证实用可计算性。若读者关心 control synthesis 或 large-scale system checking，文中支持有限。
Limitation
1. 设定较窄：常系数、有限维、一维 Brownian motion、backward-structured SDE。一般系统 [A,C;B,D] 只有在 D 满行秩且可变换时才进入该框架。多噪声情形下 C^TMC 会变成 sum_i C_i^T M C_i，cone-spectral 逻辑可能仍成立，但文中未充分说明。
2. 判据 sharp 但未必 computationally superior。检查 L_{(-A,C)} 在 PSD cone 内是否存在特征矩阵且满足 B^T H=0，本身可能是非平凡的 cone eigenproblem。相比直接计算 V_{n-1} rank，它的实际算法收益不清楚。
3. 稳定化证明是 existence-oriented。论文给出 stabilizability 的等价判据，但反馈构造主要通过 Riccati / Lyapunov existence 和 decomposition 间接得到，缺少可操作 synthesis recipe。
4. exact controllability implies stabilizability 的证明依赖 open-loop L2 可稳定化与 Riccati characterization 的等价。这个结论在当前有限维线性 setting 中没问题，但迁移到约束控制、随机系数或非线性系统时可能断裂。
5. cone restriction 的理论意义很强，但其几何解释仍可更深入。H 作为“不可控二阶方向”很自然，但和原系统 sample-path reachable structure 的关系仍主要通过 Gramian/duality 间接呈现。
Takeaway
- 1. 随机系统的 PBH obstruction 不一定生活在状态空间；很多时候应该去正锥保持的二阶算子里找 positive eigen-elements。
- 2. 对 backward-structured SDE，正确的 Hautus test 是 Lyapunov-operator spectrum + PSD cone 的交集，而不是 Lyapunov operator 的全谱。
- 3. Peng 的 word-rank controllability 可以被理解为 positive-cone spectral obstruction 的 primal counterpart；rank condition 与 Hautus condition 在这里通过 controllability decomposition 闭合。
- 4. 后续真正值得做的是算法化：把 PSD eigenmatrix obstruction 转成可计算的 SDP / cone eigenvalue procedure，并检验它在多噪声、时变、mean-field 或 infinite-dimensional 系统中是否仍保持 sharp。
一句话总结
这篇论文把 backward-structured 随机线性系统的 PBH 理论从“左特征向量”升级为“Lyapunov 算子正半定特征矩阵”的 cone-spectral 判据，真正贡献是识别了随机可控性与稳定化中 sharp 的正锥 obstruction。