제곱 Wasserstein 공간의 원뿔 구조

초록

본 논문은 유클리드 공간 위의 $L^2$-Wasserstein 공간 $\mathcal{P}_2(\mathbb{R}^d)$의 기하학적 구조를 원뿔 형태로 이해하고자 한다. 저자는 일반적인 폴란스 공간 $X$에 대해 $\mathcal{P}_2(X)$가 원뿔 구조를 갖는 것이 $X$ 자체가 원뿔 구조를 갖는 것과 동치임을 증명한다. 특히 $\mathcal{P}_2(\mathbb{R}^d)$는 원뿔 구조를 가지며, $\mathbb{R}^d$와는 등거리적으로 분리되지만 $\mathbb{R}^{d+1}$와는 분리되지 않는다.

상세 분석

논문은 먼저 $L^2$-Wasserstein 거리 $W_2$가 정의된 확률 측도 공간 $\mathcal{P}_2(X)$를 완비 거리 공간으로 설정하고, 원뿔(metric cone) 개념을 정밀히 재정의한다. 핵심 정리는 “$X$가 원뿔이면 $\mathcal{P}_2(X)$도 원뿔이며, 그 역도 성립한다”는 전후 관계이다. 이를 위해 저자는 $X$의 원점(또는 꼭짓점)에서 시작하는 모든 최소 geodesic을 $W_2$-geodesic으로 끌어올리는 전단사 매핑을 구성한다. 특히, $X$가 폴란스 공간일 때는 측도 푸시포워드 연산과 최적 수송 계획의 존재성이 보장되므로, 원뿔 구조를 보존하는 연산이 가능함을 보인다.

다음으로 유클리드 공간 $\mathbb{R}^d$에 특화하여, $\mathcal{P}_2(\mathbb{R}^d)$가 $\mathbb{R}^d$와 등거리적으로 분리된다는 사실을 증명한다. 이는 $\mathbb{R}^d$를 원뿔의 꼭짓점으로 보는 경우, $\mathcal{P}_2(\mathbb{R}^d)$의 원뿔 반경이 측도들의 평균 위치와 동일하게 정의될 수 있음을 이용한다. 반면 $\mathbb{R}^{d+1}$와는 등거리 분리가 불가능함을 보이기 위해, $d+1$ 차원에서의 원뿔 반경이 $d$ 차원에서의 반경과 일치하지 않으며, 이는 차원 상승에 따른 최적 수송 경로의 복잡성 증가와 연관된다.

기술적 도구로는 Brenier의 정리, McCann의 변분 원리, 그리고 Alexandrov 공간 이론이 활용된다. 특히, 원뿔 구조를 보존하는 변환이 $W_2$-geodesic을 그대로 유지한다는 점은 기존의 Wasserstein 공간 연구에서 드물게 관찰되는 강한 등거리성 특성을 제공한다.

결과적으로, 논문은 Wasserstein 공간이 원뿔 구조를 가짐으로써, 측도 공간 위의 최적 수송 문제를 기하학적 원뿔 이론과 연결시키는 새로운 시각을 제시한다. 이는 차원별 분리 가능성, 곡률 하한, 그리고 공간의 리치 구조 분석에 중요한 함의를 가진다.