[论文解读] 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] 上的最优传输与 Ricci 曲率，证明了配备 2-Wasserstein 度量的概率测度空间同构于 L² 函数的子空间。本文建立了熵泛函的位移凸性，表明 Alexandrov 曲率为零，并表明 von Renesse 与 Sturm 构造的熵测度尽管初始有期望，但不满足广义 Ricci 下界。

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.

研究动机与目标

• 通过熵泛函的位移凸性，研究度量测度空间中 Ricci 曲率下界的合成概念。
• 利用显式同构映射至 L² 函数，分析单位区间上 Wasserstein 空间 (P₀, dW) 的结构。
• 研究 von Renesse 与 Sturm 在 P₀ 上构造的熵测度是否满足广义 Ricci 下界。
• 探索是否存在 P₀ 上的概率测度 M，使得相应的度量测度空间 (P₀, dW, M) 具有广义 Ricci 下界。

提出的方法

• 在 (P₀, dW) 与 [0,1] 上非负、非减、右连续、总质量为 1 的 L² 函数空间之间建立同构映射。
• 通过分布函数的逆与 Lebesgue 测度的拉回定义同构映射 Ψ。
• 应用位移凸性理论，证明熵泛函在 P₀ 中的 Wasserstein 测地线路径上是凸的。
• 通过 P₀ 的 Gromov–Hausdorff 近似构造熵测度 Q₀^β，作为离散近似的极限。
• 利用 Alexandrov 曲率与 Toponogov 型比较定理分析曲率性质。
• 应用 Lott–Villani–Sturm 理论，验证广义 Ricci 下界在黎曼流形上与经典 Ricci 下界一致，并在 Gromov–Hausdorff 极限下保持不变。

实验结果

研究问题

• RQ1 Lott–Villani–Sturm 提出的广义 Ricci 曲率 ≥ K 是否与光滑黎曼流形上的经典 Ricci 曲率 ≥ K 一致？
• RQ2 单位区间上的 Wasserstein 空间 (P₀, dW) 是否同构于 L² 的子集？这对它的度量与曲率结构有何含义？
• RQ3 von Renesse 与 Sturm 在 P₀ 上构造的熵测度 Q₀^β 是否满足广义 Ricci 下界？
• RQ4 能否找到 P₀ 上的概率测度 M，使得 (P₀, dW, M) 具有广义 Ricci 下界？
• RQ5 Ricci 曲率有下界的流形的 Gromov–Hausdorff 极限与仅具有合成 Ricci 下界的度量空间之间有何关系？

主要发现

• 空间 (P₀, dW) 同构于 [0,1] 上非负、非减、右连续的 L² 函数空间，使得其度量与曲率结构可显式分析。
• Wasserstein 空间 (P₀, dW) 的 Alexandrov 曲率为零，意味着其在度量几何意义下为非正曲率。
• 熵泛函在 P₀ 上具有位移凸性，该结论通过同构至 L² 空间及凸函数性质直接证明。
• 通过 Gromov–Hausdorff 近似构造的熵测度 Q₀^β 尽管有直观期望，但不满足广义 Ricci 下界。
• 广义 Ricci 下界在 Gromov–Hausdorff 收敛下不保持，即并非所有此类空间都可作为 Ricci 曲率有下界的流形的极限得到。
• 即使在 Ric ≡ 0 的情况下，熵泛函在 P₀ 上的位移凹性也失败，表明上界 Ricci 曲率在该收敛下行为不佳，而下界则表现良好。