[论文解读] Theory of optimal transport for Lorentzian cost functions

Stefan Suhr|arXiv (Cornell University)|Jan 18, 2016

Advanced Differential Geometry Research参考文献 1被引用 12

一句话总结

本文为洛伦兹-芬斯勒几何中的洛伦兹型代价函数发展了最优传输理论，推广了以往结果，允许测度在时空上分布而非局限于时间函数的等值面。该研究建立了最优耦合的存在性，证明了中间正则性，解决了蒙日问题，并提供了因果耦合的精确判据，将最优传输的适用范围扩展至具有完整几何一般性的全局双曲时空。

ABSTRACT

The optimal transport problem is studied in the context of Lorentz-Finsler geometry. For globally hyperbolic Lorentz-Finsler spacetimes the first Kantorovich problem and the Monge problem are solved. Further the intermediate regularity of the transport paths is studied. These results generalize parts of Bertrand & Puel and Brenier et al.

研究动机与目标

• 将最优传输理论从时空面上的相对论型代价函数推广至全局双曲洛伦兹-芬斯勒时空，其中测度在时空上分布。
• 解决相对论中测度不局限于单个时间截面的传输问题，例如早期宇宙重建问题。
• 在一般几何假设下，建立最优耦合的存在性与结构性质，包括因果与无时序支撑。
• 解决蒙日问题，并为洛伦兹-芬斯勒设定中因果耦合的存在性提供精确判据。
• 将黎曼几何与相对论最优传输的结果扩展至更广泛的洛伦兹-芬斯勒几何框架，支持合成曲率与流体动力学类比。

提出的方法

• 该框架使用定义在切丛 TM 上的连续、正齐次洛伦兹-芬斯勒函数 L（在零截面外光滑），通过负洛伦兹距离扩展至 ∞ 来定义代价函数。
• 分析依赖于连续曲线空间中的动力最优耦合 Π，代价定义为沿曲线积分 L 的值，且证明最优耦合集中于无时序集合。
• 论文应用鞅与凸组合论证，证明当源测度关于 L-不变测度 L_A 绝对连续时，最优耦合具有唯一性。
• 使用可测选择与提升技术，构造集中于图像上的耦合，确保在绝对连续性假设下的正则性与唯一性。
• 命题 3.15、3.17 与 3.20 证明：映射到多个目标或多个极小化曲线的点集是可忽略的，从而确保最优耦合具有图像结构。
• 证明使用局部内蕴半径估计、利普希茨延拓及测度论论证，表明某些集合在评估映射下的像关于环境测度为零测集。

实验结果

研究问题

• RQ1 能否在时间函数等值面之外的洛伦兹-芬斯勒几何中建立最优传输理论，允许测度在时空上分布？
• RQ2 在全局双曲洛伦兹-芬斯勒时空中，当支撑集为无时序集时，最优耦合存在的条件是什么？
• RQ3 在该广义几何设定中，蒙日问题的解是否可实现？
• RQ4 当源测度关于 L-不变测度绝对连续时，最优耦合的结构如何？
• RQ5 能否基于几何与测度论条件刻画因果耦合存在的条件？

主要发现

• 在任意全局双曲洛伦兹-芬斯勒时空上，任意一对概率测度均存在最优耦合，即使支撑集非无因果性或非时间函数的等值面。
• 当源测度关于 L-不变测度 L_A 绝对连续时，最优耦合几乎处处集中于图像。
• 通过不同极小化曲线映射到多个目标的点集，在源测度下为零测集，从而确保传输映射的正则性。
• 建立了因果耦合存在的必要与充分条件，推广了以往在相对论代价函数中的结果。
• 任意与给定集合 B 相交超过一个点的曲线的迹，关于环境 L-不变测度为零测集，意味着对总代价的贡献可忽略。
• 最优耦合的唯一性源于：任何两个不同图像上集中耦合的非平凡凸组合本身不可能也集中于图像，除非二者相同。