[논문 리뷰] Snowflake universality of Wasserstein spaces

Alexandr Andoni, Assaf Naor외 1명|arXiv (Cornell University)|2015. 09. 29.

Geometric Analysis and Curvature Flows참고 문헌 67인용 수 5

한 줄 요약

이 논문은 $\mathbb{R}^3$ 위의 워셔스타인 $p$-공간 $\ mathscr{P}_p(\mathbb{R}^3)$가 지수 $\theta = 1/p$ 에서 눈꽃 유니버설임을 입증한다. 즉, 모든 유한 거리 공간의 $\theta$-눈꽃 구조는 임의로 낮은 왜곡으로 이 공간에 통합될 수 있다. 결과는 $p \in (1,2]$ 에서 정확하며, 더 높은 눈꽃 지수를 가질 경우 왜곡이 $\log n$ 의 거듭제곱으로 증가함을 보여, 알렉산드로프 공간으로의 통합과 워셔스타인 공간의 유니버설리티에 관한 핵심 질문들을 해결한다.

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.

연구 동기 및 목표

• 워셔스타인 $p$-공간 $\ mathscr{P}_p(\mathbb{R}^3)$ 에서 지수 $\theta = 1/p$ 에 대해 눈꽃 유니버설리티를 입증하는 것.
• 특히 $p \in (1,2]$ 에서 $\ mathscr{P}_p(\mathbb{R}^3)$ 로의 눈꽃 통합 왜곡의 날카로운 임계값을 규명하는 것.
• 메트릭 기하학 분야의 오랜 열린 문제를 해결하는 것, 특히 $\ mathscr{P}_2(\mathbb{R}^3)$ 가 유계 차수의 확장자에 대해 유니버설리티를 가지지 않음과 메트릭 코타이프 이분법 문제.
• 베르누아 스페이스에서의 코arse 및 퀼라시스임메트릭 통합의 한계를 조사하는 것, $\ mathscr{P}_p(\mathbb{R}^3)$ 이 비자명한 유형을 가진 베르누아 스페이스로의 통합 가능성에 대해.

제안 방법

• 모든 유한 거리 공간 $(X,d_X)$ 에 대해 $1/p$-눈꽃 구조 $(X,d_X^{1/p})$ 가 $\ mathscr{P}_p(\mathbb{R}^3)$ 에 왜곡이 1에 가까운 방식으로 통합됨을 증명한다.
• 최적 운반과 측도의 쌍화를 기반으로 한 구성 방법을 사용하여 제어된 왜곡으로 눈꽃 거리 구조를 피시프로브 측도를 통해 통합한다.
• 스펙트럼 갭과 Poincaré 부등식 기법을 사용하여 눈꽃 지수 $\alpha > 1/p$ 인 경우 왜곡의 날카로운 하한을 확립한다.
• 모든 $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$ 에 대해 $(X_n,d_n^\alpha)$ 를 $\ mathscr{P}_p(\mathbb{R}^3)$ 에 통합할 경우 최소 $c \cdot (\log n)^{\alpha + 1/p - 1}$ 의 왜곡을 유발하는 구성.
• 특히 정규 그래프의 두 번째 고유값 $\lambda_2(G)$ 를 활용한 스펙트럼 그래프 이론을 적용하여 Poincaré 부등식을 통해 왜곡의 하한을 유도한다.
• $\Sigma_k(G)$ 라는 그래프 $G$ 의 분할 구조를 사용하여 고왜곡 거리 공간을 생성하고, 이들의 왜곡이 $\ mathscr{P}_p(\mathbb{R}^3)$ 의 기하학과 어떻게 관련되는지 분석한다.

실험 결과

연구 질문

• RQ1 모든 유한 거리 공간의 $\theta$-눈꽃 구조에서 $\theta \leq 1/p$ 를 만족할 경우, $\ mathscr{P}_p(\mathbb{R}^3)$ 에 왜곡이 1에 가까운 방식으로 통합될 수 있는가?
• RQ2 눈꽃 유니버설리티에 있어 지수 $1/p$ 는 날카로운가, 아니면 $p > 2$ 에서 향상시킬 수 있는가?
• RQ3 $\mathscr{P}_2(\mathbb{R}^3)$ 는 비자명한 유형을 가진 어떤 베르누아 스페이스로도 균일, 코arse, 또는 퀼라시스임메트릭 통합이 가능한가?
• 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)$ 의 점 渐진 왜곡 $c_{\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$ 에서 눈꽃 유니버설리티를 입증한다.
• 지수 $1/p$ 는 $p \in (1,2]$ 에서 날카로운 경계이다. $\alpha > 1/p$ 인 경우, 모든 $p \in (1,2]$ 에 대해 $(X_n,d_n^\alpha)$ 를 $\ mathscr{P}_p(\mathbb{R}^3)$ 에 통합할 경우 최소 $c \cdot (\log n)^{\alpha - 1/p}$ 의 왜곡을 유발하는 $n$-점 거리 공간의 수열이 존재한다. 이때 $c > 0$ 은 전역 상수이다.
• 모든 $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)$ 가 비자명한 유형을 가진 어떤 베르누아 스페이스로도 균일, 코arse, 또는 퀼라시스임메트릭 통합이 불가능함을 시사하며, 오랫동안 열려있던 문제를 해결한다.
• 따라서 $\ mathscr{P}_2(\mathbb{R}^3)$ 는 유계 차수의 확장자 그래프 수열을 포함하지 못한다. 이는 유도된 왜곡 경계와 모순되기 때문이다.
• 논문은 $\ mathscr{P}_p(\mathbb{R}^3)$ 에서 $\Sigma_k(G)$ 의 왜곡에 대해 새로운 하한을 제시하며, $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$ 일 때 날카로운 경계이다.