精读笔记
Problem Setting
论文标题：Covariance-Regulated Recursive Koopman Learning for Nonlinear Systems with Uncertain Time-Varying Dynamics（arXiv preprint / 2026）。
这篇论文针对的是 recursive Koopman learning 在真实部署中的数值脆弱性，而不是 Koopman 表达能力本身。设定是：机器人动力学随时间变化，离线 Koopman/EDMD 模型会 out-of-distribution；因此需要在线递推估计 A_k, B_k。但一旦采用 RLS 风格更新，系统进入低激励、稳态、局部基函数失活或 lifted regressor 共线时，协方差矩阵 P_k 会出现两种典型病态：有 forgetting factor 时 covariance windup，无 forgetting 时 gain vanishing。
真正困难点在于，这不是普通低维 RLS 中偶发的数值问题，而是被 Koopman lifting 放大了：N≫n 的 observable 空间天然存在大量未激励方向，RBF 这类局部支撑字典会在离开中心区域后让 regressor 近似塌缩，polynomial 这类全局无界字典又会引入尺度主导和参数漂移。以前的在线 Koopman 工作多数把 RLS 当作工程更新器使用，默认 covariance 会合理工作；但在长期闭环控制中，P 的尺度直接决定 adaptation gain，进而影响 operator 稳定性和 MPC 可用性。
关键矛盾是：非平稳动力学要求遗忘旧数据以维持 adaptivity；但遗忘机制在缺少新信息时会把不确定性指数放大。反过来，去掉遗忘可以防爆，但会让估计器冻结，失去跟踪时变动力学的能力。
Motivation
已有路线的不足不在于没有在线 Koopman，而在于没有把 lifted recursive estimation 作为一个 adaptive identification 稳定性问题来处理。周期性 batch retraining 太慢；标准 RLS 在线更新足够快，但其稳定性依赖 PE；Kalman/RLS 变体通常也需要噪声模型或隐含的信息充分性假设。对于机器人而言，轨迹往往由控制目标决定，不会为了辨识而持续激励所有 lifted dimensions，因此 PE 在实际 deployment 中很脆弱。
作者的核心观察是：Koopman dictionary 的几何性质决定了 RLS failure mode。局部 RBF 能控制 observable 有界性，但容易出现 regressor collapse；无界 polynomial 能减少局部失活，但会让大尺度状态主导回归，甚至破坏输入耦合。也就是说，在线 Koopman 的问题不只是“选什么 basis”，还包括“如何管理 basis space 中的 covariance dynamics”。
因此论文试图填补的缺口是：在不牺牲 RLS 实时性的前提下，为 Koopman online update 加一个轻量的 covariance regulation layer，使 adaptation gain 不会在低信息区间爆炸，也不会在长期运行后消失。
Core Idea
核心思想可以概括为：把 RLS 中 covariance 的自由演化改成受约束的信息预算管理。标准 RLS 把 P_k 同时当作历史信息的逆矩阵和 adaptation gain 的生成器；CR-RKL 认为在高维 Koopman lifted space 中，这个量不能无条件由 forgetting recursion 决定，因为递推公式会把“没有新信息”错误解释为“不确定性无限增大”。
论文提出两个互补方案。dead-zone gating 是事件触发式调节：如果 lifted prediction residual 已经低于阈值，说明当前样本对修正模型的边际信息有限，那么冻结 covariance，避免 λ^{-1} 的空转膨胀；但不同于完全跳过更新，它仍允许参数更新，因此相当于保留一个稳定的小步 gradient-like refinement。constant-trace normalization 是结构式调节：每步先按 RLS 得到临时 P，再把 trace 归一到初始预算 τ_0，使 covariance 的总尺度恒定，但保留 eigendirections 和相对谱形状。
和 prior 的本质区别不是 Koopman 模型形式变了，而是信息流被重新组织了：先前方法通常让 prediction residual 直接驱动 Θ，同时让 P 按 RLS 自主演化；这里则显式限制 P 的尺度或更新时机，防止 estimator gain 被低激励轨迹劫持。它引入的 inductive bias 是“bounded adaptation capacity”：在线模型可以持续变化，但变化率必须由受控 covariance geometry 决定。
Method
方法层面真正必要的机制只有三点。
第一，作者保留 input-affine lifted dynamics Ψ(x_{k+1})≈A_kΨ(x_k)+B_ku_k，并将 Θ=[A B] 用 RLS 递推更新。这一选择的目的不是创新模型表达，而是保证在线更新和 MPC 都可实时：线性 lifted model 使控制优化仍是标准 QP，RLS 避免存储历史数据。
第二，论文用信息矩阵展开式解释 failure：P_k^{-1}=λ^kP_0^{-1}+Σλ^{k-i}ζ_iζ_i^T。当 λ=1，信息只增不减，P 趋向零，K_k 趋向零，模型对后续 regime shift 失明；当 λ<1 且 ζ_iζ_i^T 在某些方向缺失，历史信息被遗忘而新信息补不上，P 在这些方向指数膨胀。这个分析把 Koopman online learning 的问题转成 covariance conditioning 问题。
第三，两个 regulation 策略分别处理不同使用场景。dead-zone gating 用 residual 阈值抑制无信息区间的 covariance inflation，适合有明确噪声/误差尺度的场景，但需要调 δ。constant-trace normalization 不依赖阈值，每步保持 tr(P)=τ_0，直接同时避免 P→∞ 和 P→0；核心代价是它只约束总尺度，不约束参数估计是否物理正确。
值得注意的是，论文中所谓 DZ-CS 与 DZ-KS 的差别很关键：DZ-KS 完全跳过 Koopman 更新，容易延迟适应；DZ-CS 只冻结 covariance，仍更新 Θ。这是比“加 dead-zone”更有实质意义的设计。
Key Insight / Why It Works
最重要的 insight 是：recursive Koopman 的部署失败往往不是因为 Koopman basis 不能拟合非线性，而是因为 lifted regression 的 covariance dynamics 在低 PE 下不可信。Koopman lifting 增加表达能力的同时，也引入大量不可辨识或弱辨识方向；这些方向在 RLS 里不是无害的，它们会通过 P_k 变成巨大的 adaptation gain，放大噪声并污染 A/B。
dead-zone 有效的原因不是 residual threshold 本身，而是它阻断了“低残差 + 低激励 + forgetting”组合下的虚假不确定性增长。尤其是 covariance-skipping 而非 full-skipping：前者保留参数层面的连续小步修正，相当于让历史 P 作为固定预条件器；后者则把 adaptation 完全关掉，退出 dead-zone 后会有滞后。这个区别在实验中也比较清楚，DZ-CS 通常优于 DZ-KS。
constant-trace 的核心贡献更干净：它把 adaptive gain 的尺度从数据流中解耦出来。RLS 原始 P 同时编码方向和总量；trace normalization 保留方向几何，固定总不确定性预算。对于 bounded dictionary，特别是 RBF，这非常有效，因为参数更新不会被 observable 尺度无限放大，同时 covariance 不会 windup。这里的本质更像 adaptive control 中 normalized / constant-gain RLS 思想迁移到 Koopman lifted space，而不是新的 Koopman 理论。
需要明确判断：这篇论文的有效性主要来自 better covariance conditioning 和 bounded representation alignment，而不是更强的 nonlinear modeling。RBF + CT/DZ 的收益很大程度上是“bounded features + clipped/normalized gain”的组合。Koopman 只是提供了线性控制接口；真正推动性能的是对 RLS 增益的约束。Polynomial + CT 的闭环失败也说明：数值稳定不是充分条件，若 lifting geometry 导致 input map bias，regulation 甚至会稳定地学到错误 operator。
哪些可能只是 engineering？dead-zone 阈值 gating 带有明显工程性质，效果依赖 δ 和 residual scaling。constant-trace 虽有理论直觉，但 τ_0 的选择、与噪声/漂移速度的匹配仍是调参问题。实验中的提升不是来自更大模型或更多数据 scaling，而是来自 test-time adaptation gain 的稳定化。
Relation To Prior Work
这篇工作最接近三条线：online DMD/Koopman with RLS、adaptive control 中的 forgetting / covariance resetting / constant trace 方法，以及 Koopman-MPC 在机器人控制中的在线模型更新。它不是 EDMD/HAVOK 这类离线 Koopman approximation 的延伸，也不是神经 Koopman 表征学习；它更像把经典递推辨识中的 covariance regulation 重新放进 Koopman lifted regression。
和已有 recursive Koopman work 的本质差异在于，prior 多数关心如何递推更新 operator、如何接 MPC、如何处理滑窗或 forgetting；本文关心的是递推更新本身在高维 observable 空间中的稳定性。尤其是它把 failure mode 和 dictionary structure 关联起来：RBF 的局部支撑导致 regressor collapse，polynomial 的无界性导致尺度和输入耦合问题。这一点比简单说“RLS 会 windup”更有针对性。
哪些看似新其实是重组？constant-trace / dead-zone / covariance freezing 在 adaptive control 和 RLS 文献中并不新；本文的新意是将其系统性地嵌入 recursive Koopman learning，并证明这些老技巧在 lifted space 中解决的是一个被 Koopman 放大的问题。实质创新在于问题定位和机制组合，而不是数学工具本身。
它属于“control-oriented online model learning 的数值稳健化”谱系，而不是“更 expressive 的 Koopman learning”谱系。
Dataset / Evaluation
实验设计基本覆盖了论文核心 claim，但边界也明显。DDR 仿真用隐藏的 slip、Stribeck friction、多阶段 dynamics scheduling 检验非平稳性，适合展示 covariance windup 和 MPC 后果；FWMAV 使用真实飞行数据，增加了现实非线性和跨 regime transfer 的可信度。两者合起来说明 CR-RKL 确实能在不同机器人系统上改善在线辨识的数值稳定性。
但 evaluation 主要支持的是“一步预测稳定”和“DDR 仿真闭环可用”，而不是广义真实机器人闭环稳定。FWMAV 部分是离线数据上的 single-step prediction，不等价于真实在线控制；没有展示模型误差在多步 rollout 中如何积累，也没有真实 FWMAV MPC 闭环。DDR 闭环虽然有 MPC，但 plant 是作者构造的中等复杂度仿真，dynamic phases 和 disturbance family 已知用于实验设计，不能完全代表 unstructured terrain。
一个值得肯定的地方是论文没有只报平均误差，还看 covariance norm、A 的谱、MPC 控制能量和失败案例。这比很多 online Koopman 论文更能支撑“数值稳定性”这个 claim。尤其 polynomial + CT 的失败反而增强了论文可信度：作者承认 covariance regulation 不是 universal remedy。
不过，benchmark 仍没有充分验证长期真实 deployment 中的鲁棒性，例如传感器噪声漂移、输入饱和导致的闭环低激励、operator 更新与 MPC stability 的耦合等。
Limitation
第一，CR-RKL 依赖 residual 或 trace 对“可更新性”的代理作用，但这两个量都不直接表达可辨识性。低 residual 可能来自模型偶然拟合或低动态区域，不代表参数方向已经可靠；固定 trace 也不能判断哪些方向应该忘、哪些方向应该保留。
第二，constant-trace 只控制 covariance spectrum 的尺度，不控制 Θ 的物理一致性。论文自己的 polynomial + CT 闭环失败说明，A/B 可以在数值上稳定但语义上错误，尤其是 input coupling 符号错时 MPC 会做出灾难性控制。这个问题本质上需要结构约束、物理先验或 constrained identification，而不是 covariance normalization。
第三，方法对 lifting dictionary 很敏感。作者经验上认为 CT 更适合 bounded lifting functions；这意味着泛化能力并非来自 CR-RKL 本身，而来自 bounded representation 与 regulated gain 的匹配。若 observable scaling 不统一、RBF centers 覆盖不足、或状态跑出 basis support，仍可能出现不可辨识或错误适应。
第四，dead-zone 需要阈值 δ，而 δ 的合理尺度取决于 lifted residual 的维度、字典归一化、传感器噪声和系统变化速度。文中未充分说明如何系统选择 δ；在不同机器人、不同 Ψ 下，这可能是主要工程负担。
第五，闭环稳定性没有形式化保证。MPC 用的是在线变化的 Koopman operator，且 operator 可能非稳定、非物理、非一致。论文通过 empirical MPC 结果说明可用，但没有解决 adaptive MPC 的核心理论问题：估计误差、控制输入、未来激励和模型更新之间的闭环耦合。
第六，scalability 上限来自 P 的维度 O((N+m)^2)。对中小字典可行，但对现代高维 neural observables 或 large dictionary Koopman，这个 full covariance 维护会成为瓶颈。若改成 diagonal/low-rank，又会损失本文强调的 covariance geometry。
Takeaway
- 1. 在线 Koopman 的关键风险不是只在模型表达，而在 RLS covariance dynamics；高维 lifted space 会显著放大 PE 失败。
- 2. 对 recursive Koopman 来说，bounded dictionary 与 regulated adaptation gain 应该被视为一组设计，而不是分别调的模块。
- RBF 失败不是 RBF 本身失败，而是 RBF + forgetting + low support coverage 下的 covariance failure。
- 3. constant-trace normalization 是一个值得迁移的简单机制：它把 covariance 的方向几何和尺度预算分离，适合任何高维在线线性回归/latent dynamics adaptation 场景。
一句话总结
这篇论文把 recursive Koopman learning 从“在线更新 operator”的问题推进到“在 lifted space 中稳定管理 adaptation gain”的问题，贡献主要是将经典 covariance regulation 机制系统化地迁移到 Koopman-MPC 部署场景。