[论文解读] Cone structure of $L^2$-Wasserstein spaces

Asuka Takatsu, Takumi Yokota|ArXiv.org|Dec 15, 2008

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

一句话总结

本文证明了在波兰空间上，$L^2$-Wasserstein空间具有锥结构当且仅当其底空间具有锥结构，从而证明了$\mathcal{P}_2(\mathbb{R}^d)$具有锥结构，并等距分裂$\mathbb{R}^d$但不分裂$\mathbb{R}^{d+1}$。关键贡献在于通过狄拉克测度处的测地线行为，对Wasserstein空间中的锥结构进行了表征，并建立了希尔伯特空间因子的分裂定理。

ABSTRACT

The purpose of this paper is to understand the geometric structure of the $L^2$-Wasserstein space $\pp$ over the Euclidean space.For this sake, we focus on its cone structure.One of our main results is that the $L^2$-Wasserstein space over a Polish space has a cone structure if and only if so does the underlying space.In particular, $\pp$ turns out to have a cone structure.It is also shown that $\pp$ splits $\R^d$ isometrically but not $\R^{d+1}$.

研究动机与目标

• 理解欧氏空间上$L^2$-Wasserstein空间的几何结构，特别是其锥结构与分裂性质。
• 确定$L^2$-Wasserstein空间$\mathcal{P}_2(X)$在何种条件下能从底空间$X$继承锥结构。
• 在$X$分裂一个希尔伯特空间时，建立$\mathcal{P}_2(X)$的分裂定理，并在非分支或锥结构假设下探讨其逆命题。
• 阐明狄拉克测度在表征$\mathcal{P}_2(X)$中锥结构顶点的作用，特别是其与测地线唯一性的关系。

提出的方法

• 作者分析$L^2$-Wasserstein测地线，特别是通过狄拉克测度的测地线，以表征锥结构的顶点。
• 他们证明，若$\mathcal{P}_2(X)$具有锥结构，则其顶点必为狄拉克测度，基于测地线射线的几何论证。
• 主定理的证明依赖于通过等距嵌入和基空间中角度比较，将锥结构从$X$提升至$\mathcal{P}_2(X)$。
• 通过证明若$X$分裂一个可分希尔伯特空间$\mathcal{H}$，则$\mathcal{P}_2(X)$也等距分裂$\mathcal{H}$，建立了分裂定理。
• 通过等距嵌入欧氏空间并利用锥结构基空间中的角度估计，分析了$\mathcal{P}_2(X)$的秩，证明$\mathcal{P}_2(\mathbb{R}^d)$的秩恰好为$d$。
• 论证使用了$W_2$-距离和$\mathcal{P}_2(\mathbb{R}^d)$的正式黎曼结构，以及角度度量$\angle$等度量几何工具。

实验结果

研究问题

• RQ1 在何种条件下，波兰空间$X$上的$L^2$-Wasserstein空间$\mathcal{P}_2(X)$能从$X$继承锥结构？
• RQ2 能否将$\mathcal{P}_2(X)$中锥结构的顶点表征为狄拉克测度？这对底空间意味着什么？
• RQ3 $\mathcal{P}_2(\mathbb{R}^d)$是否等距分裂$\mathbb{R}^d$但不分裂$\mathbb{R}^{d+1}$？原因是什么？
• RQ4 若$\mathcal{P}_2(X)$分裂一个希尔伯特空间$\mathcal{H}$，在何种条件下$X$也必须分裂$\mathcal{H}$？
• RQ5 当$X$具有锥结构时，$X$的秩与$\mathcal{P}_2(X)$的秩之间有何关系？

主要发现

• 当且仅当底波兰空间$X$具有锥结构时，$L^2$-Wasserstein空间$\mathcal{P}_2(X)$才具有锥结构。
• $\mathcal{P}_2(X)$中锥结构的顶点必为狄拉克测度，且这一特征唯一确定了锥的顶点。
• $\mathcal{P}_2(\mathbb{R}^d)$等距分裂$\mathbb{R}^d$但不分裂$\mathbb{R}^{d+1}$，确认了其结构中存在几何差异。
• $\mathcal{P}_2(\mathbb{R}^d)$的秩恰好为$d$，与$\mathbb{R}^d$的秩一致，且在迭代应用$\mathcal{P}_2$构造时保持不变。
• 若$\mathcal{P}_2(X)$分裂一个可分希尔伯特空间$\mathcal{H}$，且$X$是非分支的或具有锥结构，则$X$本身也必须分裂$\mathcal{H}$，这为分裂定理提供了部分逆命题。
• $\mathcal{P}_2(\mathbb{R}^d)$锥结构的基空间直径至多为$\pi/2$，这是通过利用$W_2$-距离和测度空间中内积进行角度估计得出的。