[論文レビュー] Optimal Transport and Ricci Curvature: Wasserstein Space Over the Interval

Otis Chodosh|arXiv (Cornell University)|May 14, 2011

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

ひとこと要約

本稿は、単位区間 [0,1] 上の Wasserstein 空間における最適輸送およびリッチ曲率を検討し、2-Wasserstein 距離を備えた確率測度の空間が L² 関数の部分空間に等長写像であることを証明する。エントロピー汎関数の変位凸性を確立し、アレクサンドロフ曲率が消えることを示し、von Renesse と Sturm が構築したエントロピー測度が、当初の期待とは異なり一般化リッチ下界を満たさないことを示している。

ABSTRACT

In this essay, we discuss the notion of optimal transport on geodesic measure spaces and the associated (2-)Wasserstein distance. We then examine displacement convexity of the entropy functional on the space of probability measures. In particular, we give a detailed proof that the Lott-Villani-Sturm notion of generalized Ricci bounds agree with the classical notion on smooth manifolds. We also give the proof that generalized Ricci bounds are preserved under Gromov-Hausdorff convergence. In particular, we examine in detail the space of probability measures over the interval, $P(X)$ equipped with the Wasserstein metric $d^W$. We show that this metric space is isometric to a totally convex subset of a Hilbert space, $L^2[0,1]$, which allows for concrete calculations, contrary to the usual state of affairs in the theory of optimal transport. We prove explicitly that $(P(X),d^W)$ has vanishing Alexandrov curvature, and give an easy to work with expression for the entropy functional on this space. In addition, we examine finite dimensional Gromov-Hausdorff approximations to this space, and use these to construct a measure on the limit space, the entropic measure first considered by Von Renesse and Sturm. We examine properties of the measure, in particular explaining why one would expect it to have generalized Ricci lower bounds. We then show that this is in fact not true. We also discuss the possibility and consequences of finding a different measure which does admit generalized Ricci lower bounds.

研究の動機と目的

• 測度付き空間におけるエントロピー汎関数の変位凸性を通じた合成的リッチ曲率下界の概念を検討すること。
• 明示的な等長写像を用いて、特に (P₀, dW) として表される単位区間上の Wasserstein 空間の構造を分析すること。
• von Renesse と Sturm が P₀ 上に構築したエントロピー測度が、一般化リッチ下界を満たすかどうかを調査すること。
• P₀ 上に確率測度 M が存在し、それによって得られる測度付き空間 (P₀, dW, M) が一般化リッチ下界を持つかどうかを探索すること。

提案手法

• P₀ 上の 2-Wasserstein 距離を備えた空間 (P₀, dW) と、[0,1] 上の非負で非減少かつ右連続な L² 関数で全質量が 1 である関数の空間との間の等長写像を確立する。
• 逆分布関数と Lebesgue 測度による押し出しを用いて、等長写像 Ψ を定義する。
• 変位凸性の理論を適用し、P₀ 内の Wasserstein geodesics 沿いでのエントロピー汎関数の凸性を示す。
• Gromov–Hausdorff 近似を用いて、P₀ の離散近似の極限としてエントロピー測度 Q₀^β を構成する。
• アレクサンドロフ曲率とトポノゴフ型比較定理を用いて曲率性質を分析する。
• Lott–Villani–Sturm 理論の結果を適用し、一般化リッチ下界がリーマン多様体上で古典的リッチ下界と一致し、Gromov–Hausdorff 極限においても保存されることを検証する。

実験結果

リサーチクエスチョン

• RQ1 Lott–Villani–Sturm の一般化リッチ曲率 ≥ K の概念は、滑らかなリーマン多様体上で古典的リッチ曲率 ≥ K と一致するか？
• RQ2 単位区間上の Wasserstein 空間 (P₀, dW) は L² の部分集合に等長写像可能であり、その結果、その距離的・曲率的構造にどのような意味があるか？
• RQ3 von Renesse と Sturm が P₀ 上に導入したエントロピー測度 Q₀^β は、一般化リッチ下界を満たすか？
• RQ4 P₀ 上に確率測度 M が存在し、(P₀, dW, M) が一般化リッチ曲率下界を持つようにできるか？
• RQ5 リッチ曲率が下から有界な多様体の Gromov–Hausdorff 極限は、合成的リッチ下界のみを持つ空間とどのように関係するか？

主な発見

• 空間 (P₀, dW) は、[0,1] 上の非負で非減少かつ右連続な関数で L² ノルムを備えた空間に等長写像可能であり、これにより明示的な解析が可能になる。
• Wasserstein 空間 (P₀, dW) はアレクサンドロフ曲率が消えるため、測度幾何学的意味で非正曲率を有する。
• エントロピー汎関数は P₀ 上で変位凸性を有する。これは L² への等長写像と凸関数の性質を直接用いて証明される。
• Gromov–Hausdorff 近似を用いて構成されたエントロピー測度 Q₀^β は、直感的な期待とは異なり、一般化リッチ下界を満たさない。
• 一般化リッチ下界は、Gromov–Hausdorff 収束において保存されない。つまり、すべてのこのような空間がリッチ曲率が下から有界な多様体の極限として得られるわけではない。
• P₀ 上でのエントロピーの変位凹性の失敗（すなわち Ric ≡ 0 であっても）は、上界リッチ曲率がこのような収束においては良好に振る舞わない可能性を示唆する。一方、下界は良好に保たれる。