[論文レビュー] Theory of optimal transport for Lorentzian cost functions

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

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

ひとこと要約

この論文は、時空の全範囲に分布する測度を許容するように一般化された、Lorentz-Finsler幾何におけるLorentz型コスト関数の最適輸送理論を構築する。以前の結果を一般化し、時間関数の等高面に制限されない測度を扱えるようにした。最適カップリングの存在を確立し、中間的正則性を証明し、Monge問題を解決し、因果的カップリングの正確な基準を提示した。これにより、全空間的因果的時空における最適輸送の適用範囲が、完全な幾何的一般性のもとで拡張された。

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.

研究の動機と目的

• 時空的超曲面上の相対論的コスト関数における最適輸送理論を、測度が時空全体に分布する可能性を許容する、全空間的因果的Lorentz-Finsler時空へ一般化すること。
• 初期宇宙の再構築など、測度が単一の時間断面に制限されない相対論的輸送問題に対処すること。
• 因果的および非時空的サポートを含む一般的な幾何的仮定のもとで、最適カップリングの存在および構造的性質を確立すること。
• Monge問題を解き、Lorentz-Finsler設定における因果的カップリングの存在に関する明確な基準を提供すること。
• リーマン幾何および相対論的最適輸送の結果を、より広範なLorentz-Finsler幾何の枠組みへ拡張し、合成的曲率や流体力学的類似性を可能にすること。

提案手法

• 接束 TM 上の零点集合を除き滑らかな、連続的かつ正homogeneous なLorentz-Finsler関数 L を用いて、負のLorentz型距離を ∞ に拡張することでコスト関数を定義する。
• 解析は、連続曲線の空間における動的最適カップリング Π に依拠し、コストは曲線に沿った L の積分として定義される。最適カップリングが非時空的集合に集中していることが示された。
• 源測度が L-不変測度 L_A に関して絶対連続である場合に、最適カップリングの一意性を示すために、マルティンゲールおよび凸結合の議論を用いる。
• 可測選択およびリフト技術を用いて、グラフに集中するカップリングを構成し、絶対連続性の仮定のもとで正則性と一意性を保証する。
• 命題 3.15, 3.17, および 3.20 は、複数のターゲットや複数の最小化子に写像される点の集合が無視可能であることを示し、最適カップリングのグラフに類似した構造を保証する。
• 局所的単射半径推定、Lipschitz拡張、および測度論的議論を用いて、評価写像による特定の集合の像が周囲の測度に関して零集合であることを示した。

実験結果

リサーチクエスチョン

• RQ1 時間関数の等高面を越えて、Lorentz-Finsler幾何において測度が時空全体に分布する場合に最適輸送を定式化できるか？
• RQ2 全空間的因果的Lorentz-Finsler時空において、非時空的集合にサポートを持つ測度に対して、最適カップリングが存在する条件は何か？
• RQ3 この一般化された幾何的設定において、Monge問題の解が得られるか？
• RQ4 源測度が L-不変測度に関して絶対連続である場合、最適カップリングの構造はどのようなものか？
• RQ5 因果的カップリングの存在を、幾何的および測度論的条件の観点から特徴づけられるか？

主な発見

• 任意の全空間的因果的Lorentz-Finsler時空上の確率測度のペアに対して、最適カップリングが存在する。サポートが非因果的でないか、時間関数の等高面でない場合でも同様である。
• 源測度が L-不変測度 L_A に関して絶対連続である場合、最適カップリングはほとんど everywhere でグラフに集中する。
• 異なる最小化曲線を介して複数のターゲットに写像される点の集合は、源測度のもとで測度ゼロであるため、輸送写像の正則性が保証される。
• 因果的カップリングの存在に関する必要十分条件が確立され、以前の相対論的コスト関数に関する結果を一般化した。
• ある集合 B と複数回交差する任意の曲線のトレースは、周囲の L-不変測度に関して零測度であるため、総コストへの寄与は無視可能である。
• 任意の非自明な二つの異なるグラフに集中するカップリングの凸結合は、それ自身がグラフに集中するためには、それらが一致する必要があることから、最適カップリングの一意性が導かれる。