[論文レビュー] Snowflake universality of Wasserstein spaces

Alexandr Andoni, Assaf Naor+1 more|arXiv (Cornell University)|Sep 29, 2015

Geometric Analysis and Curvature Flows参考文献 67被引用数 5

ひとこと要約

本稿は、$\ mathbb{R}^3$ 上の Wasserstein $p$-空間 $\ mathscr{P}_p(\mathbb{R}^3)$ が指数 $\theta = 1/p$ に対してスノーフレイク普遍であることを確立している。これは、任意の有限距離空間の $\theta$-スノーフレイクが、任意に低い歪みでそれらに埋め込まれることを意味する。$p \in (1,2]$ に対しては、この結果は鋭いものであり、より高いスノーフレイク指数では歪みが $\log n$ のべき乗として増大する。この結果により、アレクサンドロフ空間への埋め込みおよび Wasserstein 空間の普遍性に関する重要な未解決問題が解消された。

ABSTRACT

For $p\in (1,\infty)$ let $\mathscr{P}_p(\mathbb{R}^3)$ denote the metric space of all $p$-integrable Borel probability measures on $\mathbb{R}^3$, equipped with the Wasserstein $p$ metric $\mathsf{W}_p$. We prove that for every $\varepsilon>0$, every $θ\in (0,1/p]$ and every finite metric space $(X,d_X)$, the metric space $(X,d_{X}^θ)$ embeds into $\mathscr{P}_p(\mathbb{R}^3)$ with distortion at most $1+\varepsilon$. We show that this is sharp when $p\in (1,2]$ in the sense that the exponent $1/p$ cannot be replaced by any larger number. In fact, for arbitrarily large $n\in \mathbb{N}$ there exists an $n$-point metric space $(X_n,d_n)$ such that for every $α\in (1/p,1]$ any embedding of the metric space $(X_n,d_n^α)$ into $\mathscr{P}_p(\mathbb{R}^3)$ incurs distortion that is at least a constant multiple of $(\log n)^{α-1/p}$. These statements establish that there exists an Alexandrov space of nonnegative curvature, namely $\mathscr{P}_{\! 2}(\mathbb{R}^3)$, with respect to which there does not exist a sequence of bounded degree expander graphs. It also follows that $\mathscr{P}_{\! 2}(\mathbb{R}^3)$ does not admit a uniform, coarse, or quasisymmetric embedding into any Banach space of nontrivial type. Links to several longstanding open questions in metric geometry are discussed, including the characterization of subsets of Alexandrov spaces, existence of expanders, the universality problem for $\mathscr{P}_{\! 2}(\mathbb{R}^k)$, and the metric cotype dichotomy problem.

研究の動機と目的

• スノーフレイク普遍性を $\ mathbb{R}^3$ 上の Wasserstein $p$-空間に対して指数 $\theta = 1/p$ で確立すること。
• 特に $p \in (1,2]$ に対して、$\mathscr{P}_p(\mathbb{R}^3)$ へのスノーフレイク埋め込みの歪みの鋭い閾値を特定すること。
• 度数が有界な拡張子に関する長年の未解決問題、およびメトリック型の二分岐問題を解決すること。
• Banach 空間の非自明な型をもつ空間への $\mathscr{P}_p(\mathbb{R}^3)$ の粗いおよび準等長埋め込みの限界を調査すること。

提案手法

• 任意の有限距離空間 $(X,d_X)$ に対して、$1/p$-スノーフレイク $(X,d_X^{1/p})$ が、歪みが 1 に限りなく近い形で $\mathscr{P}_p(\mathbb{R}^3)$ に埋め込まれることを証明する。
• 最適輸送と測度のカップリングに基づく構成を用い、制御された歪みのもとでスノーフレイクされた距離を押し出し測度によって埋め込む。
• スノーフレイク指数 $\alpha > 1/p$ の場合の歪みの下界を、スペクトルギャップおよび Poincaré 不等式の技法を用いて確立する。
• 各 $p \in (1,2]$ に対して、$(X_n,d_n^\alpha)$ を $\mathscr{P}_p(\mathbb{R}^3)$ に埋め込むと、歪みが少なくとも $c \cdot (\log n)^{\alpha - 1/p}$ に達するような $n$ 点の距離空間 $(X_n,d_n)$ を明示的に構成する。$p > 2$ の場合、歪みの下界は $c \cdot (\log n)^{\alpha + 1/p - 1}$ である。
• 特に正則グラフの第二固有値 $\lambda_2(G)$ を用いたスペクトルグラフ理論を応用し、Poincaré 不等式を介して歪みの下界を導出する。
• $G$ の分割構成 $\Sigma_k(G)$ を用いて、高歪みの距離空間を生成し、それらの歪みを $\mathscr{P}_p(\mathbb{R}^3)$ の幾何と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 任意の $\theta$-スノーフレイクで $\theta \leq 1/p$ を満たす有限距離空間は、歪みが $1+\varepsilon$ に限りなく近い形で $\mathscr{P}_p(\mathbb{R}^3)$ に埋め込めるか？
• RQ2 $\mathscr{P}_p(\mathbb{R}^3)$ におけるスノーフレイク普遍性の指数 $1/p$ は鋭いか、$p > 2$ の場合に改善可能か？
• RQ3 $\mathscr{P}_2(\mathbb{R}^3)$ は、非自明な型をもつ任意の Banach 空間への一様的・粗い・準等長埋め込みを許容するか？
• RQ4 $\mathscr{P}_p(\mathbb{R}^3)$ は、$n \to \infty$ のとき、有界度数の拡張子グラフの系列を含むことができるか？
• RQ5 $k \asymp \log n$ および $\lambda_2(G) \leq 99/100$ のとき、$\mathscr{P}_2(\mathbb{R}^3)$ における $\Sigma_k(G)$ の歪みの漸近的成長はどのようになるか？

主な発見

• 任意の $\varepsilon > 0$、任意の有限距離空間 $(X,d_X)$、任意の $\theta \in (0,1/p]$ に対して、$\theta$-スノーフレイク $(X,d_X^\theta)$ は $\mathscr{P}_p(\mathbb{R}^3)$ に歪み $1 + \varepsilon$ 以下で埋め込まれる。これは、指数 $1/p$ におけるスノーフレイク普遍性を証明する。
• $p \in (1,2]$ に対して指数 $1/p$ は鋭い：任意の $\alpha > 1/p$ に対して、$\mathscr{P}_p(\mathbb{R}^3)$ に $(X_n,d_n^\alpha)$ を埋め込むと、ある普遍的定数 $c > 0$ を用いて、歪みが少なくとも $c \cdot (\log n)^{\alpha - 1/p}$ に達するような $n$ 点の距離空間の系列が存在する。
• $p > 2$ の場合、歪みの下界は $c \cdot (\log n)^{\alpha + 1/p - 1}$ である。これは $p \leq 2$ とは異なるスケーリングを示唆するが、著者らは $p > 2$ に対しては $c_p \cdot (\log n)^{\alpha - 1/2}$ のより鋭い境界があると予想している。
• この結果により、$\mathscr{P}_2(\mathbb{R}^3)$ は非自明な型をもつ任意の Banach 空間への一様的・粗い・準等長埋め込みを許容しないことが示され、長年の未解決問題が解決された。
• したがって、$\mathscr{P}_2(\mathbb{R}^3)$ は有界度数の拡張子グラフの系列を含まない。これは、導出された歪みの境界と矛盾するためである。
• 本稿では、$\Sigma_k(G)$ の $\mathscr{P}_p(\mathbb{R}^3}$ における歪みの新たな下界が得られ、$c_{\mathscr{P}_p(\mathbb{R}^3)}(\Sigma_k(G)) \gtrsim \min\left\{ \sqrt{\frac{k \log n}{\log d}}, \sqrt{1 - \lambda_2(G)} \cdot \frac{\log n}{\log d} \right\}$ であることが示された。これは $d=3$、$\lambda_2(G) \leq 99/100$、$k \asymp \log n$ のとき、タイトである。