[論文レビュー] Non-branching geodesics and optimal maps in strong CD(K,{\infty})-spaces

Tapio Rajala, Karl‐Theodor Sturm|arXiv (Cornell University)|Jul 29, 2012

Geometric Analysis and Curvature Flows参考文献 13被引用数 6

ひとこと要約

この論文は、強いCD(K,∞)-空間—任意の Wasserstein geodesic 沿いにエントロピー汎関数がK-凸であるような測度付き距離空間—において、第二モーメントが有限な絶対連続測度間の最適輸送計画が、非分岐geodesicに集中することを確立する。主な結果は、このような空間が本質的に非分岐的であること、したがって最適輸送写像の一意性と、リーマン多様体の Ricci曲率が下から有界な場合の測度付き Gromov-Hausdorff 収束下での安定性が保証されることである。

ABSTRACT

We prove that in metric measure spaces where the entropy functional is K-convex along every Wasserstein geodesic any optimal transport between two absolutely continuous measures with finite second moments lives on a non-branching set of geodesics. As a corollary we obtain that in these spaces there exists only one optimal transport plan between any two absolutely continuous measures with finite second moments and this plan is given by a map. The results are applicable in metric measure spaces having Riemannian Ricci-curvature bounded below, and in particular they hold also for Gromov-Hausdorff limits of Riemannian manifolds with Ricci-curvature bounded from below by some constant.

研究の動機と目的

• 下からの Ricci曲率下界をもつ測度付き距離空間における分岐geodesicの問題を解決すること。
• 絶対連続測度間の最適輸送が、強いCD(K,∞)-空間では分岐geodesicを避けることを確立すること。
• このような空間における最適輸送写像の一意性を証明し、Ricci曲率が下から有界なリーマン多様体の列の極限への拡張を図ること。
• 測度付き Gromov-Hausdorff 収束下での RCD(K,∞) 条件の安定性を示し、本質的非分岐性を証明すること。

提案手法

• 強いCD(K,∞)-空間を、すべての Wasserstein geodesic 沿いにエントロピーがK-凸である空間として定義する。
• geodesic計画の分解と循環的単調性を用いて輸送経路を分析する。
• 最適計画の左および右再パラメトライズ化を組み合わせて混合geodesic計画を構成する。
• スプリット写像 Sp を用いたLipschitz-連続な持ち上げを適用し、積測度から新たなgeodesic計画を構築する。
• もし元の計画に分岐が存在するならば、混合計画が本質的に非分岐的でないことを示して矛盾を導く。
• 三角不等式における等号と循環的単調性が等しいgeodesic長さを強制することを活用し、非分岐構造を導出する。

実験結果

リサーチクエスチョン

• RQ1 測度付き距離空間において、すべてのgeodesicに沿ったエントロピーのK-凸性が、最適輸送計画が分岐geodesicを避けることを示唆するか？
• RQ2 事前に非分岐性を仮定せずに、強いCD(K,∞)-空間において最適輸送写像の一意性を確立できるか？
• RQ3 測度付き Gromov-Hausdorff 収束下で RCD(K,∞) 条件は安定的であり、かつ本質的非分岐性を示唆するか？
• RQ4 Ricci曲率がKで下から有界なリーマン多様体の列の Gromov-Hausdorff 極限は、本質的に非分岐的である性質を継承するか？
• RQ5 この非分岐性結果を用いて、Lott-Villani の CD(K,∞) 条件を RCD(K,∞) フレームワークから回復できるか？

主な発見

• 任意の強いCD(K,∞)-空間は本質的に非分岐的であり、第二モーメントが有限な絶対連続測度間の最適輸送計画は非分岐geodesicに集中する。
• RCD(K,∞) 条件は本質的非分岐性を示し、Ricci曲率が下から有界なリーマン多様体の列の Gromov-Hausdorff 極限の構造に関する未解決問題を解決する。
• RCD(K,∞) 条件は測度付き Gromov-Hausdorff 収束下で安定的であり、Lott-Villani の CD(K,∞) 条件を含意する。
• 強いCD(K,∞)-空間では最適輸送写像が一意的であり、輸送計画が非分岐geodesicの集合に集中するためである。
• 二つの直交的最適計画から混合geodesic計画を構成すると、分岐が存在する場合に矛盾が生じる。これにより、分岐はこのような空間における最適輸送に影響しないことが証明される。