精读笔记

Problem Setting

《Linear quadratic optimal transport and interpolation inequalities》（arXiv preprint / 2026）实际解决的问题是：给定 LQ 控制系统 \dot x=Ax+Bu 和 action ∫(|u|²−xᵀQx)，在一般 Q 下建立 optimal transport 的 Monge/Kantorovich well-posedness、动态 displacement interpolation，以及 entropy interpolation inequalities。

真正困难点不是 LQ optimal control 本身，而是一般 Q 时 cost 可能不是非负、不是 bounded below，甚至非对称。这样一来，传统 OT 中依赖 lower bounded cost、Tonelli coercivity、compactness 的路径空间论证都不能直接用。以前 HPR11 基本在 −Q≥0 情形工作，此时 action 非负，first conjugate time 为无穷，问题更接近标准 bounded-below Lagrangian transport。

本文抓住的关键矛盾是：从 variational viewpoint 看，一般 LQ action 很不友好；但从 Hamiltonian viewpoint 看，只要 T<t*，它又极其刚性——最优轨道唯一、exponential map affine、cost 是显式二次型。因此论文的主线是用 conjugate-time/non-degeneracy 取代 coercivity/boundedness。

Motivation

已有路线不够的原因很明确：LQ 系统在 sub-Riemannian comparison theory 中扮演“constant curvature model”的角色，但既有 OT 理论只覆盖非负 cost 或更标准的 Tonelli/coercive 框架。对于 sub-Riemannian 几何中的模型问题，正曲率型或 indefinite potential 型 LQ cost 是自然会出现的，不能因为 cost 无下界就排除。

作者的核心观察是：LQ problem 的坏性主要是全局能量符号问题，而不是局部最优结构问题。在 first conjugate time 前，R3(t) 不奇异已经给出了足够的 twist/non-focal structure。换句话说，真正需要的是“无共轭点直到 T”，不是“cost 非负”。

关键缺口是：一般 LQ cost 下，如何同时获得三件事：Monge map 的唯一性、path-space displacement interpolation 的 action characterization、以及用于 curvature-dimension/BBL 型结论的 Jacobian distortion estimate。本文试图把这三者统一为一个 LQ reference theory。

Core Idea

论文最核心的思想是把 LQ optimal transport 完全还原到线性 Hamiltonian flow 的矩阵块代数。Hamiltonian flow 写成 e^{-tΩH} 的四个 block R1,R2,R3,R4；first conjugate time 前 R3(t) 可逆。这个可逆性同时保证：endpoint problem 有唯一最优轨道，exponential map p↦R3(T)p+R4(T)x 是 diffeomorphism，cost 可写为显式二次型，并且 transport interpolation 的 Jacobian 可通过 Jacobi matrix 显式比较。

和 prior 的本质区别在于，作者不是把 LQ cost 塞进已有 coercive Lagrangian OT theorem，而是反过来利用 LQ 的线性辛结构重建 OT theory。这个建模方式引入的 inductive bias 是“constant-coefficient Hamiltonian geometry”：所有 distortion 都由 det R3(t) 决定。这使得理论非常 clean，也使其天然适合作为 sub-Riemannian comparison model。

Method

1. 用 conjugate-time condition 替代 cost boundedness。T<t* 等价于 R3(t) 在 (0,T] 上非奇异，因此 exponential map 是 affine diffeomorphism。这一步解决 endpoint minimizer 的存在唯一性，也提供 twist condition。核心变化是：无下界 cost 不再是致命问题，因为二阶矩控制下 quadratic cost 仍然可积，而最优结构由 R3 可逆保证。

2. 把 LQ cost 写成显式二次型。cost 形式为 1/2(xᵀCx+2xᵀDy+yᵀEy)，其中 C,D,E 由 R3,R4 及 backward problem 给出。这一步不是 cosmetic；它让 c-convex potentials 成为 semi-convex functions，从而可调用 Zajíček 和 Alexandroff 定理获得 a.e. differentiability / twice differentiability。

3. Monge well-posedness 通过 c-subdifferential 单值化完成。在 ψ differentiable 的点，contact condition 给出 ∇ψ(x)+∇_x c(x,y)=0，而 Lemma 2.20 将 −∇_x c 识别为 exp^{-1}_{x,T}(y)，所以 y=exp_{x,T}(∇ψ(x)) 唯一。这里真正需要的是 twist，而 twist 来自 R3(T) 可逆。

4. 动态插值通过 endpoint optimal plan 的 deterministic lifting 构造。selection map S_{0→T}(x,y) 直接取唯一 LQ minimizing trajectory。由于轨道唯一，optimal plan、optimal dynamical plan、displacement interpolation 三者之间可以建立 bijection。这避免了非 coercive path-space compactness 的大部分麻烦，但仍需证明 LQ action 的 lower semicontinuity 和 compact endpoint families。

5. 插值不等式来自 Jacobi matrix 的 determinant comparison。把 ∇T_τ(x) 看作 Jacobi matrix 的 horizontal component，利用特殊 Jacobi fields 在 0,s 两端的基表示，得到矩阵分解；再用 Riccati positivity、S(t)=R3^{-1}R4 monotonicity 和 Minkowski determinant inequality，推出 det ∇T_τ 的 concavity-like lower bound。最终 density inequality 和 entropy inequality只是这条 Jacobian estimate 的 push-forward 版本。

Key Insight / Why It Works

这篇最有效的地方是识别出：一般 LQ OT 的核心不是 cost 的正性，而是 no-conjugate-time non-degeneracy。只要 T<t*，所有会在一般 Lagrangian OT 中变得困难的问题，在 LQ 中都被线性 Hamiltonian flow 的 block algebra 消解了。

最核心贡献我认为是两层：第一，把 HPR11 的非负 cost 限制去掉，并说明 P2 框架足以处理无下界 quadratic cost；第二，给出 LQ displacement interpolation 的 Jacobian/entropy theory，使其成为 sub-Riemannian comparison 的可复用 model object。Monge well-posedness 本身技术上干净，但机制上比较预期：quadratic cost + twist + semi-convex potential，基本会导向 Brenier-type result。更有价值的是后半部分的 distortion coefficient 和 entropy interpolation。

为什么 Jacobian estimate 成立？本质是 LQ flow 的辛结构带来两个 positivity：R3(t) determinant 正，R3^{-1}(t)R4(t) 沿时间单调；再加上 optimality/contact condition 使 Hess ψ + R3^{-1}(s)R4(s) 半正定。这样 ∇T_τ 可以分解成两个半正定矩阵的和，于是 Minkowski determinant inequality 给出 density interpolation。这里没有 hidden scaling/data/retrieval，完全是 better inductive bias：线性 Hamiltonian model 的 algebraic rigidity。

哪些部分可能只是辅助？displacement interpolation 的 path-space formalism 很多继承自 Villani/Fathi-Figalli 的 Lagrangian action 语言，本文主要工作是处理 non-coercive LQ 的适配。Caffarelli regularity 部分也不是新正则性理论，而是通过线性变换把 LQ Monge-Ampère 化为 Euclidean Monge-Ampère。

值得注意的是，distortion coefficient β_τ=det R3(τ)/det R3(T) 与 x,y 无关。这是强模型化假设：它让 inequality 简洁，但也说明该 theory 描述的是 constant-coefficient model space，而非一般几何中的位置相关 curvature distortion。

Relation To Prior Work

最接近的是 HPR11：同样研究 LQ cost 下的 mass transportation，也使用 quadratic cost / Hamiltonian flow structure。本文真正新增的是去掉 −Q≥0，即允许 cost 无下界，并系统补齐 displacement interpolation、absolute continuity、Jacobian distortion、entropy inequality。相对于 HPR11，这不是简单 generalization；因为 bounded-below/coercive 假设在 OT 动态理论中通常是基础假设，本文展示 LQ 的 finite-dimensional algebra 可以绕开它。

和 Brenier/McCann 路线的关系：Monge theorem 的证明本质仍是 twist + convex/semi-convex potential + differentiability。LQ cost 经线性变换后和 Euclidean quadratic cost 有很强的等价性，因此部分 regularity 不是新机制，而是已有 Caffarelli theory 的重用。

和 Tonelli Lagrangian / Fathi-Figalli / Bernard-Buffoni 路线的区别：那些理论依赖 superlinearity/coercivity 来保证 action compactness 和 minimizers；LQ 一般 Q 不满足这些条件。本文属于“显式 Hamiltonian model 替代抽象 coercive Lagrangian”的谱系。

和 sub-Riemannian interpolation inequalities BR19/BR20/BMR26 的关系更深：LQ 是 model space / nilpotentized comparison object。本文实质创新在于把那些几何比较中使用的 LQ distortion machinery，独立整理成完整 OT theory，并说明 Riemannian model β_{k,n} 也可由合适 LQ 系统复现。

Dataset / Evaluation

没有 dataset / empirical evaluation；这是纯理论论文。evaluation 的形式是 theorem coverage：从 Monge well-posedness 到 displacement interpolation，再到 entropy inequalities，覆盖了 optimal transport theory 中对应的核心结构。

这些结果确实支撑作者的主要 claim：一般 LQ cost 在 T<t* 下可以作为完整的 OT/interpolation model。但它没有、也不需要验证数值性能或真实系统部署。若从应用角度看，文中没有展示这些 inequalities 在具体 sub-Riemannian comparison 或 functional inequality 推导中的新 sharp consequence；更多是建立 reference framework。

因此 evidence 是 internally coherent 的，但外部影响取决于后续是否能把该 LQ model theory 嵌入更一般几何问题。文中最后的 Riemannian model coefficient example 说明表达力，但还不是一个完整 comparison theorem。

Limitation

最重要限制是 T<t*。这不是技术小条件，而是整套理论的地基。到达 first conjugate time 时，endpoint minimizer 不再全局存在/唯一；超过之后甚至对任意 endpoints 无 optimal trajectories。Monge map、selection map、Jacobian positivity 都依赖这个区间。

第二，Kalman controllability 是硬前提。没有它，endpoint reachability、R3 block 的可逆性和全空间 transport 都会失效。论文没有处理 degenerate support 或 reachable subspace 上的相对理论。

第三，LQ cost 虽可无下界，但仍是 quadratic homogeneous polynomial，因此 P2 是天然闭合环境。推广到更一般 indefinite non-quadratic Lagrangian 时，这套“二阶矩压住负部”的机制未必成立。也就是说，本文没有解决一般 non-coercive optimal transport，只解决了非常刚性的 quadratic-Hamiltonian non-coercive case。

第四，distortion coefficients 点无关是一把双刃剑。它适合 constant model，但不能捕捉一般 manifold/sub-Riemannian structure 中沿 geodesic 变化的 curvature information。作为 comparison model 很有用，作为 general geometry theory 则表达力有限。

第五，entropy inequality 的适用还依赖 μ_t 落在 Dom(U)。文中对 n≥3 或 compact support 有讨论，但在低维非紧支撑情形下，这个条件可能不是自动可验证的。文中未充分说明如何在实际几何应用中自然保证它。

最后，regularity theorem 的 Hölder/higher regularity 部分基本来自 Caffarelli，经线性变换复用；这里的增益不是新的 PDE 正则性机制。

Takeaway

• 1. 对 LQ OT 来说，真正的结构条件是 no conjugate time，而不是 cost non-negativity。
• 这个替换是本文最值得记住的 conceptual move。
• 2. LQ Hamiltonian flow 的 R3 block 是全篇的核心对象：它同时编码 exponential map、cost twist、distortion coefficient 和 Jacobian interpolation。
• 以后看 LQ/sub-Riemannian model inequality，可以优先追踪 R3。

一句话总结

这篇论文把 first-conjugate-time 前的一般 LQ 控制系统提升为一套完整的 optimal transport 与 entropy interpolation model theory，实质贡献是用线性 Hamiltonian 辛结构替代非负/coercive cost 假设。