精读笔记
Problem Setting
这篇论文实际处理的是一个“最优性类扩张”问题：已知两个 ℝ^d 上有限二阶矩 Lévy 过程，在二次代价 c(x,y)=1/2|x-y|^2 下，[9] 构造了一个在 Lévy/Feller coupling 类中最优的 Lévy coupling；本文要证明同一个 coupling 在更大的 immersion coupling 类中仍然最优。
真正困难点在于 immersion coupling 不要求联合过程 Markov，更不保证存在可用的联合 Feller generator。旧的 generator-level 最优性只能比较 Markov/Feller coupling 的 infinitesimal drift；一旦允许任意保持边际 martingale 的联合滤过，竞争者可能通过非 Markov 信息结构改变未来相关性，理论上可能降低代价。关键矛盾是：最优 coupling 是 Lévy/Markov 的，但要排除所有非 Markov immersion coupling 的改进空间。
Motivation
已有路线不够的地方很明确：Feller coupling 最优性仍然是一个较窄的 Markovian 结论，而 Kendall 的 immersion coupling 更接近“不给边际过程额外预知信息”的自然耦合概念。若只在 Feller 类中最优，无法说明该 coupling 在更一般的 filtration-compatible 策略下仍然不可改进。
作者的核心观察是，immersion 的本质不是 generator constraint，而是条件期望/鞅保持约束。因此应该把局部最优性从“生成元作用在 c 上最小”改写成“某个代价补偿过程对所有 admissible couplings 是 submartingale”。缺口就是：需要一个不依赖联合 Markov generator 的 universal infinitesimal lower bound。
Core Idea
核心思想是用 optimal transport 的短时边际代价变化定义一个 half-relaxed transport derivative ω_c^-，并证明对任意 immersion coupling，c(X_t,Y_t)-∫ω_c^-(X_s,Y_s)ds 必然是 submartingale。这一步把 coupling 的可比性从路径构造/生成元比较，转成了边际 law 的 transport lower bound：无论联合机制怎么选，只要 immersion 保证边际条件演化正确，未来条件代价至少要大于对应边际 law 之间的 OT cost。
在 Lévy + quadratic 情形下，这个过程级下界恰好被 [9] 的 optimal Lévy coupling 达到。原因是二次代价与 Lévy 平移结构使 transport derivative 退化为仿射函数，并且 Lévy coupling 的生成元 drift 正好等于该 derivative。与 prior 的本质区别不是构造了更复杂的 coupling，而是证明 Markovian 最优 coupling 已经 saturate 了 immersion 类的 universal lower bound。
Method
1. 条件期望版 immersion coupling：它解决的是传统 martingale preservation 定义不便直接用于 OT 下界的问题。通过要求 E[M⊗1|联合过去]=E[M|边际过去]⊗1，作者把 immersion 写成可计算的信息流约束，使边际 Markov semigroup 能在联合滤过下使用。
2. Half-relaxed transport derivative：它解决的是非 Markov coupling 没有联合 generator 的问题。定义 ω_c^-(x,y) 为短时边际 OT cost 的下半极限变化率，然后用 Kantorovich duality + immersion 条件证明任意 coupling 的条件代价增长率不能低于它。
3. 时间剖分到 submartingale：它把局部一步下界升级为任意时间区间的过程级下界。这里的关键是 Fatou 和 Assumption C 的下界可积性；这一步是论文从 infinitesimal OT 到 stochastic process optimality 的桥。
4. ID optimal transport 构造 Lévy coupling：作者不在 generator 层面直接求最优，而是在 t=1 的 infinitely divisible measures 间做 constrained OT，再用卷积半群传播到所有 t。这比 [9] 的 generator 分解路线更透明，但仍依赖 ID 类在弱收敛下闭合与二阶矩紧性。
5. 强对偶：通过 generalized minimax principle 证明 Lévy transport derivative θ^Λ 与 dual derivative ω′ 相等。这一步保证 half-relaxed derivative、dual derivative、optimal Lévy generator action 可以对齐，是从“存在最优 Lévy coupling”到“它 saturate immersion 下界”的关键。
Key Insight / Why It Works
最重要的 insight 是：immersion coupling 的自由度虽然比 Markov coupling 大，但它不能改变边际过程在联合过去条件下的合法演化。因此对任意未来时刻，给定当前 (X_t,Y_t)，联合 coupling 的条件代价至少受两个边际短时 law 的 OT cost 约束。这个 lower bound 只看边际 semigroup，不看竞争 coupling 的内部结构，所以天然适合压住整个 immersion 类。
真正有效的部分是 Theorem 2.8 的 submartingale criterion。它把“所有 admissible couplings 的局部最优性”编码成一个 universal lower compensator；这是可迁移的核心贡献。相比之下，ID-optimal coupling 的存在证明更像是对 [9] 的简化重证，价值在于透明性而不是新的 coupling 机制。
全局最优性能推出，主要不是因为一般 local-to-global 原理，而是因为 Lévy + quadratic 带来的强结构：transport derivative 是仿射的，可拆成 f(x)+g(y)，于是 immersion 条件允许把 ∫ω(X_u,Y_u)du 的条件期望拆回两个边际过程。这个结构非常特殊；离开二次代价或平移不变性后，global optimality 很可能不再成立。
这里没有 scaling/data/retrieval 之类问题；若类比机器学习术语，核心是 better inductive bias：用 filtration/martingale 结构替代 Markov generator 结构作为 admissible class 的控制变量。辅助贡献是 minimax/ID-OT 的证明重组，主要提升证明可读性和自洽性。
Relation To Prior Work
最接近的是 [9] 的 optimal Markovian/Feller coupling of Lévy processes。本文并没有替换 [9] 的最优 coupling，而是扩张它的最优性适用类；真正新增的信息是：Feller optimality 不是因为限制了竞争类，而是该 Lévy coupling 已经达到 immersion 类下的过程级下界。
与 Kendall/Kendall–Majka–Mijatović 的 immersion coupling 路线相比，本文把 immersion 从 coupling construction/meeting behavior 的语境，转成了 quadratic OT optimality 的证明工具。与 Chen/Zhang 的 locally optimal Markov coupling 路线相比，本文避免依赖联合 generator 的存在，把 local optimality 提升为 submartingale compensation 条件。
看似新的 ID optimal transport 和 minimax duality，部分是已有思想的重组：ID coupling 是 Lévy coupling 的 time-1 law 版本，Kantorovich duality/minimax 是 OT 对偶的 Lévy 化。但实质创新在于把这些工具嵌入 immersion coupling 的 martingale-preservation 框架，形成一条不经过 Feller generator comparison 的最优性证明。
Dataset / Evaluation
这是数学理论论文，没有 dataset、benchmark 或实验 evaluation。验证方式是定理覆盖范围：任意两个 ℝ^d 上有限二阶矩 Lévy 过程，二次代价，竞争类为所有 immersion couplings。
从 claim 支撑角度看，Theorem 2.9 直接支持主张：同一 optimal Lévy coupling 在 immersion 类中局部且全局最优。更一般的 Theorem 2.8 支持一个可迁移的 martingale criterion，但它是否能在其他过程类中产出可构造的最优 coupling，文中未充分说明。
没有真实世界或数值场景；这不是缺陷，而是论文类型决定的。但如果把它视为 coupling 方法论，它只验证了 Lévy/quadratic 这个高度结构化场景，不能自动外推到一般 Markov process。
Limitation
最大限制是结构依赖很强。有限二阶矩保证 untruncated Lévy–Khintchine 分解、二次 cost 有限、ID-OT 紧性和 generator action 可控；没有它，证明链会断。二次代价保证 derivative 仿射化和均值/协方差可加；换成一般 convex cost 或 concave cost，global optimality 的机制不明显。
第二个限制是 global optimality 的普适性弱。本文证明 global optimality 的关键不是一般 immersion coupling 理论，而是 ω_c^-(x,y)=常数+(x-y)·(m_A-m_B) 这种可分结构。若 derivative 不是 f(x)+g(y)，immersion 条件不足以把补偿项的条件期望变成只依赖边际的量。
第三，Theorem 2.8 依赖 Assumption C 的下界与可积性。对更粗糙的 cost 或更重尾过程，这个条件可能不是技术细节，而是核心障碍。
第四，文中 minimax 拓扑设置较重。虽然作者给出自洽证明，但这部分可能更多是为当前 Lévy duality 服务；其作为独立工具在更广类问题中的可复用性仍不清楚。
Takeaway
- 1. 最值得迁移的不是 Lévy coupling 构造，而是“用 half-relaxed OT derivative 作为 universal compensator”的思路：只要 admissible coupling 保持边际信息流，就可以尝试用边际短时 OT cost 给出过程级下界。
- 2. 对最优 coupling 问题，Markovian optimality 未必需要在 Markovian 类中证明；如果能找到一个对更大 filtration 类成立的 submartingale certificate，就可以直接扩张最优性类别。
- 3. Lévy + quadratic 是一个几乎理想的可解模型：ID measures 给 existence，二次矩给 additivity，平移不变性给 derivative affine structure。
- 未来真正有价值的是找出哪些非 Lévy过程仍保留足够结构让这个 certificate 可计算。
一句话总结
《Optimal Couplings of Lévy Processes in the Class of Immersion Couplings》（arXiv preprint / 2026-06-24）的位置是：它把 [9] 的 Lévy/Feller 最优 coupling 通过一个 OT-derived submartingale certificate 提升为 immersion 类最优，属于从 generator-level Markovian optimality 向 filtration-level martingale optimality 的理论扩张。