精读笔记
Problem Setting
【Differential Geometric Conditions for Koopman Linearizability of Control-Affine Systems】（arXiv preprint / 2026）
论文实际解决的是：给定连续时间 control-affine 系统 \dot x=f(x)+\sum_i g_i(x)u_i，在不对输入做 feedback transformation 的前提下，什么时候存在有限维 Koopman 坐标 z=Φ(x)，使系统严格变成 \dot z=Az+Bu。这里的关键不是拟合一个线性 predictor，而是判定 exact finite-dimensional representation 是否存在。
真正困难点在于控制项。autonomous Koopman linearization 只需让 f 的作用在 observables 上闭合；但 controlled Koopman linearization 还要求每个 g_i 经过同一个 Φ 推前后变成常向量 b_i，并且沿 f 的递推 Lie 结构要与 A^k b_i 对齐。这个约束比常见 applied Koopman literature 中“先找 autonomous invariant subspace，再把 input matrix 拟合进去”的做法强得多。
关键矛盾是：Koopman lifting 允许升维，似乎比 feedback linearization 更宽松；但它又禁止输入变换，因而在控制方向上比 feedback linearization 更刚性。论文的核心贡献就是把这个矛盾形式化为 Lie algebraic rank condition 和 commutativity condition。
Motivation
已有路线不够的地方很明确：大部分 Koopman-control 方法把有限维 lifting 的存在性当成假设，或者只证明某类 bilinear / LPV / discrete-time representation 的充分条件；这些结果很难直接告诉研究者一个给定 control-affine system 是否不可能被 exact Koopman linearized。
作者的关键观察是：对 controlled systems，只看 autonomous dynamics 是危险的。同一个 f，换一个 g，可能从可 Koopman 线性化变成不可 Koopman 线性化。论文中的 Example 2 和 Example 3 就是专门为了打掉这个常见直觉：autonomous part 可 Koopman lifting 并不意味着 controlled system 可 Koopman linearization。
因此缺口不是“更好的 learning algorithm”，而是“存在性几何判据”。作者选择回到几何控制理论，用 Lie bracket、distribution、flow-box theorem 重新表述 Koopman linearizability。这个方向的价值在于，它把 observables 的搜索问题前置成向量场结构的可判定问题。
Core Idea
论文的核心想法可以概括为：如果一个 control-affine 系统真的能通过 Φ 变成 \dot z=Az+Bu，那么原系统中控制向量场 g_i 及其沿 drift f 的反复 Lie bracket ad_f^k g_i，在 Koopman 坐标中必然变成线性系统的可控性链 b_i, Ab_i, A^2b_i,...。这不是类比，而是由 diffeomorphism 对 Lie bracket 的 pushforward 不变性直接推出的。
这个重写改变了 Koopman linearization 的建模方式：从“寻找一组 closed observables”变成“检查由 f 和 g_i 生成的 distribution 是否像线性系统的控制方向那样平坦”。线性系统里 A^k b_i 都是常向量，它们之间的 Lie brackets 为零，并且 span 的维数不随状态变化。因此，任何可 Koopman linearized 的非线性系统必须满足：ad_f^k g_i 生成的 distribution 常秩，且这些生成元两两 commute。
与 prior 的本质区别在于，本文没有从 operator invariant subspace 或数据拟合出发，而是从目标线性系统的几何必然后果反推原系统的结构约束。这使得它更像一个 impossibility theorem / categorization tool，而不是一个 representation learning recipe。
Method
1. Lie bracket 的坐标不变性：论文首先证明若 Φ 是从 X 到其像空间 Z 的 C^2 微分同胚，即使 N≥n 是 lifting，向量场的 Lie bracket 也在 pushforward 下保持。它解决的是“传统微分几何控制工具能否用于 Koopman lifting”的合法性问题。核心变化是：升维 Koopman 坐标并没有逃离 Lie algebraic obstruction。
2. 必要条件：若 \nabla Φ f=Az 且 \nabla Φ g_i=b_i，则递推得到 \nabla Φ ad_f^k g_i=A^k b_i。由于 A^k b_i 是常向量，任意两者 Lie bracket 为零；又因为 Φ 的 Jacobian 满列秩，原空间中的 bracket 也必须为零。同时，span{ad_f^k g_i} 的维数等于 span{A^k b_i} 的维数，因此必须局部常秩。这个步骤给出了最有用的 negative test。
3. 弱充分性：若 ad_f^k g_i 族常秩且两两 commute，则可选出 r 个独立、交换的向量场，并通过 generalized flow-box theorem 将它们 straighten 成坐标轴方向。这样控制方向在新坐标中只作用于前 r 个坐标，而后 n-r 个坐标形成一个 invariant slice。由此可在 control-invariant manifold 上得到线性 dynamics。这里解决的是“这些条件是否只是必要障碍，还是也能构造线性化”的问题，但充分性是弱的。
4. 可控 Koopman 线性化的充要条件：当上述 distribution 的维数达到 n 时，不再存在剩余的不可控 zb 坐标，线性化可以在整个局部邻域上成立，并且得到 controllable linear system。此时条件变成真正的 if and only if。这是全文最干净的定理形式。
Key Insight / Why It Works
最重要的 insight 是：Koopman lifting 的升维自由度并不能随意消除控制向量场的非交换几何结构。只要要求输入保持不变且 lifted dynamics 是 affine-linear in u，那么控制方向在 lifted space 必须是常向量 B；而常向量场天然 commute。这一事实经由 Lie bracket 的 pushforward 不变性，直接变成原系统上的 commutativity obstruction。
这也是论文真正有效的原因。它不是找到了一类特殊 observables，而是识别了 exact Koopman control linearization 的不可绕过的几何不变量。换句话说，如果 [ad_f^k g_i, ad_f^l g_j] 不为零，任何神经网络 lifting、EDMD dictionary、autoencoder Koopman 都不可能学到严格有限维线性控制系统；最多是在做近似、局部拟合或数据覆盖内插。
常秩条件同样关键，但更像是 distribution 可被一致 straightening 的 regularity requirement；commutativity 条件更具杀伤力。rank condition 判定局部维数是否稳定，commutativity 判定该 distribution 是否像线性系统控制链那样平坦。后者是区分 Koopman linearization 与 feedback linearization 的核心。
文中最有价值的判断是：autonomous Koopman linearizability 不是 controlled Koopman linearizability 的可靠 proxy。Example 2/3 说明控制方向决定了 Lie algebraic 结构，不能被当作事后拟合的 B 矩阵处理。这个结论对 Koopman-MPC 类数据驱动方法是直接警告：如果训练集里看起来线性，可能只是 input/state coverage 下的 surrogate，而非系统存在 exact finite-dimensional Koopman model。
辅助部分是 flow-box theorem 给出的 sufficiency。它说明条件不是纯 negative obstruction，但由于只能保证 invariant manifold 上的弱线性化，理论闭合度还不完全。真正强的部分是 controllable case 的充要刻画；一般 lifting 到不可控高维线性系统的完整充要条件仍未封口。
Relation To Prior Work
这篇论文最接近的谱系不是深度 Koopman learning，而是几何控制中的 exact linearization / feedback linearization / Krener-Brockett-Isidori 路线。它把这些工具重新解释到 Koopman 场景下，但关键约束不同：feedback linearization 允许输入变换 v=α(x)+β(x)u，而 Koopman linearization 保持 u 不变；Koopman 允许升维 embedding，而 classical feedback linearization 通常要求同维且可控。
与 feedback linearization 的关系很微妙：controllable Koopman linearization 是更强的结构，因为它相当于只允许 identity input transformation。单输入情形下，本文条件会推出 feedback linearization 条件，但反过来不成立。Example 4 明确说明 feedback linearizable 系统可以因为 bracket commutativity 失败而不可 Koopman linearizable。
与 Koopman-control prior 相比，本文的实质创新不是提出新的 operator form，而是提供了直接基于 f,g_i 的几何判据。相比 common invariant subspace、bilinear Koopman、LPV Koopman、minimal observable count 等工作，这篇更像 foundational obstruction：它告诉你哪些系统根本不该期待 exact linear control lifting。
看似新的部分中，Lie bracket、Frobenius/flow-box、rank distribution 本身当然都是已有几何控制工具；真正新增的信息是把“输入不变的 Koopman linearization”翻译成“ad_f 控制链两两交换且常秩”这一结构条件，并明确指出升维并不自动放松这些 Lie algebraic constraints。
Dataset / Evaluation
没有数据集或数值 benchmark；evaluation 是解析例子驱动。对于这类理论论文，这是合理的，因为核心 claim 是存在性/非存在性，而不是性能提升。
例子的覆盖是有针对性的：Example 2 展示 Koopman linearizable 但不可 feedback linearizable；Example 3 展示相同 autonomous part 下换控制方向导致不可 Koopman linearizable；Example 4 展示 feedback linearizable 但不可 Koopman linearizable；Example 5 展示满足 controllable Koopman 条件的多输入系统。这些例子基本支撑了论文想表达的集合关系图。
但 evaluation 的上限也明显：例子都低维、解析、局部结构清晰，没有展示在复杂机械系统、机器人动力学、电力系统等高维真实模型中条件检查的可操作性。论文声称条件 easy to check，在低维例子里成立；在高维、多输入、符号表达复杂或仅有数据的情况下，是否仍 easy，文中未充分说明。
Limitation
第一，定义很强：要求 C^2 diffeomorphic Koopman transformation、有限维、输入不变、control-affine、smooth vector fields。很多实际 Koopman learning 使用的是非 injective observables、approximate predictors、stochastic/noisy data 或局部 least-squares models，不一定落在该定义中。因此本文给出的 impossibility 对 exact model 很强，但对 approximate surrogate 的否定需要额外误差理论。
第二，Theorem 2 的充分性是弱的。它只保证在某个 control-invariant manifold Ix 上线性化，而不是一般意义上整个邻域的 Koopman linearization。作者也承认 future work 要 tighten sufficient condition。这里的 gap 很重要：必要条件与实际 full-domain sufficiency 之间仍有空间。
第三，升维场景的完整刻画还不够。由于任何 N>n 的 lifted linear system 从 embedded manifold 看都是不可控的，作者转向 Kalman decomposition 并给出 N=n/controllable case 的充要条件。但一般不可控高维 Koopman embedding 的全局/局部充要条件没有完全解决。
第四，条件涉及无限族 ad_f^k g_i 及其两两 brackets。虽然 Cayley-Hamilton 在可控 n 维线性目标中截断到 n-1 有意义，但一般 Koopman lifting 或弱充分性场景下，如何有限检查、如何处理 analytic closure，文中未充分说明。
第五，对数据驱动 Koopman learning 的影响更多是概念性警告。文中没有给出 bracket residual 与 learned Koopman error 之间的定量关系，也没有说明如何从有限轨迹稳定估计高阶 Lie brackets。因此“限制 learning algorithm”的说法方向正确，但工程可用性仍未建立。
Takeaway
- 1. 对 controlled Koopman linearization，不能只看 autonomous Koopman invariant subspace；控制向量场的 Lie algebraic 结构是决定性因素。
- 2. 输入不变是 Koopman-control 相比 feedback linearization 的核心刚性来源；它把控制方向压成常向量，从而强制原系统的 ad_f 控制链两两 commute。
- 3. 这篇论文最有迁移价值的 insight 是：学习型 Koopman 模型应当引入几何一致性 diagnostics，例如 rank stability 和 Lie bracket residual，而不是只看 one-step prediction loss。
- 4. 未来真正值得做的是 approximate 版本：当 commutativity/rank 条件近似成立时，能否给出 Koopman-MPC 的误差、稳定性或 closed-loop degradation bound。
一句话总结
这篇论文把 control-affine 系统的 exact Koopman linearizability 从“寻找 observables”的问题转化为“ad_f 控制链的常秩与交换性”的微分几何判别，是 Koopman-control 方向中偏 foundational obstruction / classification 的工作，而不是新的学习算法。