[論文レビュー] 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$-ウォッサーシュタイン空間が、元の空間がコーン構造を持つ場合に限り、コーン構造を引き継ぐことを確立している。これにより、$\mathcal{P}_2(\mathbb{R}^d)$ がコーン構造を持つこと、$\mathbb{R}^d$ を等長的に分割するが $\mathbb{R}^{d+1}$ をはしらないことが示された。主な貢献は、ディラック測度を通る測地線の挙動を用いたウォッサーシュタイン空間におけるコーン構造の特徴付けと、ヒルバート空間因子に関する分割定理である。

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$-ウォッサーシュタイン空間の幾何的構造、特にそのコーン構造と分割性を理解すること。
• $L^2$-ウォッサーシュタイン空間 $\mathcal{P}_2(X)$ が、元のポーランド空間 $X$ からコーン構造を引き継ぐ条件を特定すること。
• 空間 $X$ がヒルバート空間を分割する場合に $\mathcal{P}_2(X)$ に分割定理を確立し、非分岐性またはコーン構造の仮定の下で逆を検討すること。
• 特に測地線の一意性に関連して、ディラック測度が $\mathcal{P}_2(X)$ のコーン構造の頂点を特徴付ける役割を明確にすること。

提案手法

• 著者たちは、特にディラック測度を通過する$L^2$-ウォッサーシュタイン測地線を分析することで、コーン構造の頂点を特徴づけた。
• 彼らは、$\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$-ウォッサーシュタイン空間 $\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)$ のランクの関係は何か？

主な発見

• $\mathcal{P}_2(X)$ がコーン構造を持つのは、元のポーランド空間 $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)$ のコーン構造の底空間の直径は、$W_2$-距離と測度のヒルバート空間における内積を用いた角度推定により、$\pi/2$ 以下であることが示された。