精读笔记

Problem Setting

论文要解决的不是 classical BM/CD 在 sub-Finslerian 上失败这一事实本身，而是失败之后还剩下什么可用的插值结构。具体说，给定一个不可逆、只在分布上有 Minkowski norm 的非完整约束空间，能否对 absolutely continuous measures 的 Wasserstein geodesic 建立类似 Cordero-Erausquin-McCann-Schmuckenschlaeger / Ohta / Barilari-Rizzi 的密度插值不等式。

真正困难有两个。第一，sub-Finslerian distance 通常不对称，前向和后向球、前向和后向畸变不能混同；这使得 sub-Riemannian 中相对自然的时间反演在这里不再免费。第二，abnormal minimizing geodesics 会让 squared distance 的 semiconcavity / differentiability 失效，进而破坏最优映射和 Monge-Ampere 公式。以前方法卡在这里：Finsler OT 依赖全切空间上的光滑强凸结构，sub-Riemannian interpolation 依赖 ideal 假设和 Hamiltonian Jacobi 技术，但还没有处理不可逆 sub-Finslerian norm 下的前后向畸变和 transport order。

Motivation

经典 CD(K,N) / BM(K,N) 的模型系数 tau_{K,N} 在这里不是合适对象。原因不是简单的“曲率不好定义”，而是空间型比较本身错位：sub-Finslerian 的 infinitesimal volume distortion 由 geodesic dimension 控制，通常严格大于拓扑维数；用 Riemannian/Finsler space form 的 N 维模型系数会系统性低估/错估收缩行为。

作者的动机是沿 Barilari-Rizzi 的路线，但把核心比较量从外部模型换成内部测地流产生的 distortion coefficient。缺口在于：要让这个替换有效，必须先建立 sub-Finslerian OT 的 Brenier-McCann 型结构，再建立一套不依赖 Chern connection 的 Jacobi/Jacobian 估计。也就是说，论文补的是“可用于插值不等式的 Hamiltonian-OT 基础设施”。

Core Idea

核心思想可以压缩成一句：在 forward ideal sub-Finslerian manifold 上，用 Hamiltonian exponential flow 的真实体积畸变替代 classical curvature model coefficient，并把最优输运密度变化完全写成 Jacobi determinant 的不等式。

这改变了建模方式。传统 Finsler/Riemannian 路线是先有 Ricci/CD，再推出 displacement convexity 或 BM/BBL；本文则不试图先定义一个全局曲率下界，而是直接定义 beta_t^< 与 beta_t^> 作为沿测地线的小球体积收缩率。这个 inductive bias 更贴合非完整约束几何：比较量自动感知分布的 bracket structure、geodesic dimension、measure choice 和不可逆性。和 prior 的本质区别是，曲率信息不再被压缩进 K,N 的空间型公式，而是保留为 pair-dependent distortion coefficient。

Method

1. Forward ideal reduction：它解决的是 abnormal minimizer 引起的正则性断裂。排除非平凡 abnormal minimizing geodesics 后，squared distance 在对角线外可局部 semiconcave，cut locus 之外足够光滑。这一步不是技术偏好，而是后续 OT map 唯一性和 Monge-Ampere 公式的前提。

2. Hamiltonian Jacobi fields：它解决的是 sub-Finslerian 没有可用 Chern connection / curvature tensor 的问题。论文在 cotangent bundle 上用 Hamiltonian flow 定义 Jacobi field 和 Jacobi matrix，通过 Darboux moving frame 得到 Riccati 型方程。核心变化是把二阶几何全部转写为 Hamiltonian flow 的线性化。

3. Jacobian estimate：它解决的是密度插值所需的 determinant lower bound。作者证明 tangent map dT_t 的 determinant 可以被两端 distortion determinants 控制，并用 Minkowski determinant theorem 得到 1/n 次方的加性结构。这是插值不等式真正出现的地方。

4. Sub-Finslerian Brenier-McCann：它解决的是 optimal plan 是否由 map 给出。借助 semiconcavity 和 c-concavity，论文证明 almost everywhere 的 optimal map 形式为 exp_x(-1/2 d phi)，但必须区分 moving/static set。

5. Generalized distortion coefficients：它解决的是 classical tau_{K,N} 不适用的问题。beta_t^< 和 beta_t^> 由前向/后向小球的测地插值 measure ratio 定义，再通过 Jacobi determinant 表达，最终进入 BBL、BM、MCP。

Key Insight / Why It Works

最关键的 insight 是：sub-Finslerian 插值不等式的正确对象不是 curvature tensor，而是 endpoint map 的 volume distortion。只要能控制 Hamiltonian flow 的线性化 Jacobian，就可以绕开 classical CD 失败。

方法有效的原因有三点。第一，forward ideal 假设把异常测地线这个最危险的非正则源头排除，使得 OT potential 的微分结构足够接近 Riemannian/Finsler 情形。第二，Hamiltonian formalism 对 Finsler norm 的不可逆性更稳健：虽然距离不对称，但正向 Hamiltonian 与 reverse Hamiltonian 可以分别处理，从而自然产生 beta^< / beta^> 两套系数。第三，Jacobian estimate 的 determinant 加性结构本质上来自 symplectic Jacobi field decomposition + Minkowski determinant theorem；这不是 scaling，也不是形式推广，而是几何体积比较的核心。

最可能的核心贡献是 sub-Finslerian Jacobi/Jacobian estimate 与 generalized distortion coefficients 的闭合连接。OT 部分更像 Figalli-Rifford / Rifford 技术在 forward ideal sub-Finslerian 下的必要移植；BBL/BM/MCP 推论则是标准 functional inequality machinery。Randers Heisenberg 计算是重要示例，但更偏 explicit verification，不是主理论的根。

Relation To Prior Work

最接近的是 Barilari-Rizzi 的 sub-Riemannian interpolation inequalities。本文基本继承其技术骨架：ideal assumption、Hamiltonian Jacobi fields、Jacobian determinant estimate、distortion coefficients、BBL/BM/MCP 推论。真正新增的是 sub-Finslerian 的不可逆性处理，以及把前向/后向 distortion coefficient 系统地区分开。

和 Figalli-Rifford 的关系在 OT 基础：本文把 sub-Riemannian mass transport 的 semiconcavity-optimal map 路线推广到 sub-Finslerian。这里的新意不在 Kantorovich duality，而在不可逆 cost c(x,y)=d_SF^2(x,y) 下 carefully tracking order。

和 Ohta 的 Finsler interpolation 不同，Ohta 仍在 holonomic Finsler manifold 上使用 weighted Ricci / CD 型结构；本文的空间是 distributional，geodesic dimension 与拓扑维数分离，经典 Ricci 比较不再是主线。

和 Barilari-Mondino-Rizzi unified synthetic Ricci curvature 的关系是：本文可被看作给 sub-Finslerian 提供一批 beta-coefficient 实例和验证工具，而不是直接建立完整 synthetic curvature theory。

Dataset / Evaluation

这是一篇纯理论论文，没有 dataset / benchmark / experiment。所谓 evaluation 主要是数学验证和一个具体模型计算：Randers sub-Finslerian Heisenberg group。

这个示例覆盖了一个有代表性的非 sub-Riemannian、不可逆 sub-Finslerian 模型，能验证框架不是只在 reversible/sub-Riemannian 极限下成立。显式计算 distortion coefficients 并推出 MCP(0,N)，确实支持作者关于“框架可用于具体几何不等式”的 claim。

但它不能证明一般 sub-Finslerian manifold 上这些系数可操作。Randers Heisenberg 的计算依赖强对称性、左不变结构和低维 Hamiltonian 可积性；对一般结构，beta_t 的显式估计仍可能非常困难。因此 evaluation 支持的是理论 consistency 和 nontrivial example，不支持广泛可计算性。

Limitation

最大限制是 forward ideal 假设。它直接排除了非平凡 abnormal minimizing geodesics，而 abnormal geodesics 正是 sub-Finslerian/sub-Riemannian 几何中最难也最有代表性的现象之一。换言之，论文不是解决异常测地线下的 OT 插值问题，而是证明在排除它们后 Barilari-Rizzi 机制可以扩展。

第二个限制是 generalized distortion coefficients 的可计算性。定义很自然，但若不能估计 beta_t^<, beta_t^>，BBL/BM/MCP 的实际判定力有限。Randers Heisenberg 给出的是一个可积模型上的显式 upper bound，且作者承认 N(a) 不 sharp。

第三，理论增益主要来自正确的几何重参数化，而不是新的 curvature principle。它把 classical CD 的失败转移成 pair-dependent beta coefficient 的控制问题；这很合理，但也意味着全局、稳定、可比较的 curvature lower bound 仍未真正获得。

第四，不可逆性虽然被处理，但代价是公式和假设更重：前后向球、reverse Hamiltonian、static/moving set、cut locus 都必须小心区分。这种复杂度可能限制框架在更一般 metric-measure 分析中的直接使用。

Takeaway

• 1. 对 sub-Finslerian 几何，正确的插值比较量应是测地流的真实体积畸变，而不是 Riemannian/Finsler space-form coefficient。
• 2. Hamiltonian linearization 是绕开缺失连接/曲率张量的有效统一语言；Jacobi determinant 比曲率张量更基础，也更适合非完整约束系统。
• 3. Forward ideal 假设是当前理论可工作的边界：它让 OT machinery 恢复，但也标出未来真正难点是 abnormal minimizer 的处理。
• 4. Randers Heisenberg 的价值在于说明非 reversible sub-Finslerian 模型也能纳入 MCP/BBL/BM 框架；但 sharp curvature exponent 和一般可计算性仍是后续问题。

一句话总结

这篇论文把 Barilari-Rizzi 的 sub-Riemannian 插值机制推进到 forward ideal sub-Finslerian 场景，核心贡献是用 Hamiltonian Jacobi determinant 定义并控制前后向真实畸变系数，从而绕开 classical CD/BM 模型系数在非完整不可逆几何中的失效。