精读笔记
Problem Setting
这篇论文的真实问题是：在所有 bracket-generating rank 3 distributions with rank D^2=6 中，8 维情形的最大对称模型是否仍由 maximal class 理论控制。这个问题比“构造一个 (3,6,8) 分布”难得多，因为 (3,6,8) 的普通 Tanaka symbol 本身对应 sl3(R) 中二维平面的共轭分类，带连续模，甚至接近 wild matrix problem；直接从 Tanaka symbol 空间找最大 prolongation 基本不可行。
关键矛盾是：symplectification 给 rank 3 分布提供了更可控的 Jacobi symbol / Jacobi-Tanaka algebra，但经典框架最有效的地方是 maximal class；而最大对称模型未必在 maximal class 里。论文发现 dimension 8 正是这个断点：增长向量较短的 (3,6,8) 非 maximal class 模型，比 maximal class 的 (3,6,7,8) / maximal class (3,6,8) 模型拥有更多对称。
Motivation
已有路线默认 maximal class 是“generic 且最应给最大对称”的区域，这一点在 rank 2 和 rank 3 的 n=6,7 情形都成立。作者原本试图证明 rank 3、square=6 的分布 generic maximal class；结果在 n=8 发现反例，并且这个反例不是低对称病态对象，而是最大对称对象。
核心缺口在于：Jacobi symbol 对 maximal class 足够，但对 nonmaximal class 不够；非 maximal class 中真正控制局部几何和对称上界的是 Jacobi-Tanaka algebra。换言之，过去的工具把“容易规范化的 generic 情况”和“最大对称情况”默认绑在一起，这篇论文把二者拆开。
Core Idea
论文的核心思想是重新选择分类层级：不直接分类原始 Tanaka symbols，而是先经过 symplectification，把 rank 3、D^2=6 的几何编码成 Jacobi flag，再用 Jacobi-Tanaka algebra 作为负 graded model。这样做的本质收益是把一个连续模严重的原始问题压缩到少数由 Jacobi symbol 约束的候选 algebra；尤其在 8 维非 maximal class 情形，Jacobi symbol 只能是 (1,1)，而 bracket-generating 条件进一步强迫 Jacobi-Tanaka algebra 唯一。
一旦得到这个唯一的 Jacobi-Tanaka algebra s，最大对称性问题就变成 Tanaka prolongation 维数比较。s 的 prolongation 与其诱导出的 8 维 Tanaka symbol n 的 prolongation同构，都是 (g2 ⊕ R) ⋉ W，维数 29。真正新意是：最大模型不是最长 growth vector 的 flat model，也不是 maximal class 的 symplectically flat model，而是一个 nonmaximal class algebra 的 flat distribution；这改变了“最大对称应来自 generic/maximal class”的建模偏见。
Method
1. 用 symplectification 构造 Jacobi flag：它解决的是原始 Tanaka symbol 过多、连续模不可控的问题。通过 W_D = P(D^⊥ \ (D^2)^⊥)、characteristic line C、vertical distribution V 和 Jacobi flag J^(i)，把原始分布提升到一个带 canonical filtration 的空间。
2. 引入 Jacobi-Tanaka algebra：它解决 nonmaximal class 中 Jacobi symbol 信息不足的问题。对重新编号后的 filtration F^{-i} 商掉共同 Cauchy characteristic V_{m+1}，得到真正用于 Tanaka prolongation 的负 graded Lie algebra。这个对象比 Jacobi symbol更细，但比原始 Tanaka symbol可控。
3. 证明低维 maximal class 断言与 8 维例外：n=6,7 时由约束 2k+ℓ≤n−4 和 bracket-generating 排除非 maximal class；n=8 时非 maximal class 只剩 Jacobi symbol (1,1)，并由 bracket-generating 强迫 Jacobi-Tanaka algebra s 出现额外 ν 方向。
4. 构造 flat model：取 s 中由 x,e0,f0 生成的 ideal n，令 N 为相应 simply connected nilpotent Lie group，D=n_{−1} 为 left-invariant distribution。这个步骤把 abstract prolongation 结果落成实际 (3,6,8) 分布。
5. 比较对称上界：非 maximal class 候选全部有同一个 Jacobi-Tanaka algebra s，因此对称维数至多 dim g(s)=29；已有 maximal class 理论给出 8 维 maximal class 最大为 23。于是 29 维模型不仅是非 maximal class 最大，也是整个 square=6 家族最大。
Key Insight / Why It Works
最关键的 insight 是：最大对称性由 prolongation 的异常放大决定，而不是由 growth vector 长短或 generic maximal class 决定。dimension 8 中，非 maximal class 的 Jacobi-Tanaka algebra 恰好嵌入/诱导出一个带 G2 根系结构的 prolongation；这个 exceptional prolongation 直接把对称维数推到 29，超过 maximal class 的 23。这里的增益不是 engineering，也不是参数扩展，而是负 graded algebra 的结构性偶然：s 和 n 的不同 grading 共享同一个大 Lie algebra (g2 ⊕ R) ⋉ W。
真正有效的部分是 Jacobi-Tanaka algebra 的选择。它既避免原始 Tanaka symbol 的 wild 分类，又保留足够信息来控制 nonmaximal class。Jacobi symbol 只能告诉你 skew Young diagram；但 nonmaximal class 的核心自由度藏在更深 graded bracket 中，尤其 η、ν 这些后续 bracket 的出现决定了是否 bracket-generating 以及 prolongation 是否变大。
split-octonion 解释是强结构证据：TG2 自然作用在 T\hat{O} 上，得到 G2⋉W，再加一个 fiber scaling 给出额外 R。这个解释说明 29 维 algebra 不是计算偶然，而是 tangent algebra of split octonions 的自然对称。但从论文叙事看，它更像后验几何识别，而非证明 maximality 的必要路径。
控制论结论也来自同一个机制：非 maximal class 意味着 regular abnormal extremal 的 Jacobi flag 最大 filtrand 不填满 contact distribution，因此 endpoint map differential 的像维数被压低，corank 至少 2。非 regular extremals 的处理靠该模型的具体 first integrals 和 bracket structure；这部分更依赖特例 algebra，不应过度泛化。
Relation To Prior Work
最接近的谱系有三条：Cartan 的 (2,3,5) 与 G2；Doubrov-Zelenko 的 rank 3 symplectification / Jacobi symbol 理论；Tanaka prolongation 对 filtered structures 的对称上界理论。
与 Cartan (2,3,5) 的关系不是简单类比。Cartan 模型是 rank 2、5 维、maximally symmetric 的 flat distribution，G2 本身作为完整 symmetry algebra 出现；这里是 rank 3、8 维、square=6，symmetry algebra 是 (g2⊕R)⋉W，G2 是 Levi factor，W 是 adjoint module 的 abelian radical。也就是说，这是 G2 在 distribution geometry 中的另一个出现，但不是 parabolic flat model 的直接重复。
与已有 rank 3 maximal class 工作的本质差异在于：之前 symplectification 的 canonical frame 和最大对称结果主要服务于 maximal class；本文把该程序扩展到 nonmaximal class 的 Jacobi-Tanaka algebra，并展示最大对称可以出现在该区域。看似只是多做一个 symbol，但实质上改变了候选模型空间。
与直接 Tanaka symbol 分类相比，本文不是解决 wild 分类，而是绕开它：只考虑能由 Jacobi-Tanaka algebra 诱导的 symbols。Appendix A 表明一般 (3,6,8) symbols 对应 sl3 中 planes，分类不可操作；但与最大对称相关的 symplectification-induced symbols 只有少数。这是方法论上的实质创新。
Dataset / Evaluation
这篇是微分几何 / Lie 理论论文，没有 dataset 或 empirical benchmark。所谓 evaluation 是定理链和少量计算机代数验证。
核心 claim “29 维模型在所有 rank 3、8 维、square=6 分布中最大对称”由两部分支撑：一是非 maximal class 情况被 Proposition 4.1 统一到同一个 Jacobi-Tanaka algebra s，并由 Tanaka prolongation 给出 29 上界；二是 maximal class 情况引用既有结果，最大为 23。因此 claim 的覆盖范围在 8 维 square=6 家族内是充分的。
需要注意的是，Proposition 4.2 中 prolongation maximality 的确认依赖 Maple 代码。文中未充分说明代码、可复现细节或独立 Lie-theoretic 证明；这不是数值实验问题，而是形式证明透明度问题。n=9,10 的“experiments”只支持 conjecture，不构成定理证据。
Limitation
第一，关键 prolongation 计算依赖 Maple，这在高阶 Tanaka prolongation 中常见但仍是证明链的薄弱环节。文中给出 explicit bracket tables 和 grading，但 maximality of prolongation 没有完全手工证明；如果读者关心可验证性，这里需要补充代码或结构性 argument。
第二，dimension 8 的现象可能是 exceptional low-dimensional accident。作者自己也倾向于 n>8 最大对称回到 maximal class，并仅用 n=9,10 计算实验支持。也就是说，这篇并没有给出一个一般的 nonmaximal-class-maximal-symmetry 理论，而是精准识别了一个特殊边界点。
第三，控制论性质“所有 abnormal extremals corank 至少 2”高度依赖该 flat model 的具体 bracket relations。对一般 perturbation、同 growth vector 的非齐性分布、或同 Tanaka symbol 但非 flat 的分布是否仍成立，文中没有说明。这个性质更像 high-symmetry model 的刚性后果，而不是 generic phenomenon。
第四，split-octonion 模型虽然增强了概念解释，但不直接给出 maximality；它证明该分布具有足够多对称，并解释 G2⋉W 的来源。换言之，它是结构解释，不是替代 symplectification/Tanaka 上界的证明。
Takeaway
- 1. 对 rank 3 distributions，最大对称模型不一定在 maximal class；至少 dimension 8、square=6 是明确反例。
- 这会迫使后续工作把 nonmaximal class 纳入系统理论，而不是当作退化边界。
- 2. Jacobi-Tanaka algebra 是比 Jacobi symbol 更合适的中间层：它足够细，可以处理 nonmaximal class；又足够粗，可以避免原始 Tanaka symbol 的 wild 分类。
- 这个思想可迁移到其他分布族的最大对称问题。
一句话总结
这篇论文通过 Jacobi-Tanaka algebra 绕开 (3,6,8) Tanaka symbol 的 wild 分类，构造并证明了一个非 maximal class 但最大对称的 29 维 G2 型 rank 3 分布，是 symplectification/Tanaka 理论中“最大对称不必来自 maximal class”的关键反例。