[논문 리뷰] Cone structure of $L^2$-Wasserstein spaces

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

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 6

한 줄 요약

이 논문은 $L^2$-Wasserstein 공간이 폴란드 공간 위에서 원천 공간이 콘 구조를 가질 때에만 콘 구조를 유산한다는 것을 증명하며, $ olimits\mathcal{P}_2(\mathbb{R}^d)$가 콘 구조를 가지며 $ olimits\mathbb{R}^d$ 는 등거리로 분리되지만 $ olimits\mathbb{R}^{d+1}$ 는 그렇지 않음을 보여준다. 주요 기여는 Dirac 측도를 통한 지오데식 행동을 통한 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 공간의 기하학적 구조, 특히 그 콘 및 분할 성질을 이해하기 위해.
• 기저가 되는 폴란드 공간 $X$ 가 콘 구조를 가질 때, $L^2$-Wasserstein 공간 $\mathcal{P}_2(X)$ 가 그 콘 구조를 유산하는 조건을 규명하기 위해.
• 기저 공간 $X$ 가 힐베르트 공간을 분할할 경우 $\mathcal{P}_2(X)$ 에 대한 분할 정리를 수립하고, 비다중화 또는 콘 구조 가정 하에 그 역을 탐색하기 위해.
• 특히 지오데식 유일성과 관련하여, Dirac 측도가 $\mathcal{P}_2(X)$ 내 콘 구조의 정점 특성화에 어떤 역할을 하는지 명확히 하기 위해.

제안 방법

• 저자들은 지오데식, 특히 Dirac 측도를 통과하는 지오데식을 분석하여 콘 구조의 정점을 특성화한다.
• 만약 $\mathcal{P}_2(X)$ 가 콘 구조를 가진다면, 그 정점은 반드시 Dirac 측도여야 하며, 지오데식 반사선에 대한 기하학적 추론을 통해 이를 증명한다.
• 주요 정리의 증명은 기저 공간에서의 각도 비교와 등거리 임bedding을 통해 콘 구조가 $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 콘 구조의 정점이 Dirac 측도로 특성화될 수 있으며, 이는 기저 공간에 대해 어떤 의미를 갖는가?
• 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)$ 의 랭크 사이의 관계는 어떠한가?

주요 결과

• $L^2$-Wasserstein 공간 $\mathcal{P}_2(X)$ 가 콘 구조를 가지는 것은 기저 폴란드 공간 $X$ 가 콘 구조를 가질 때에 한하여 성립한다.
• 콘 구조의 정점은 반드시 Dirac 측도여야 하며, 이는 콘 정점의 유일한 특성화를 제공한다.
• $\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$-거리와 측도 공간의 힐베르트 공간 내의 내적을 사용한 각도 추정을 통해 입증된다.