[논문 리뷰] Optimal Transport and Ricci Curvature: Wasserstein Space Over the Interval

Otis Chodosh|arXiv (Cornell University)|2011. 05. 14.

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

한 줄 요약

이 논문은 단위 구간 [0,1] 위의 워셔스타인 공간에서 최적 운반과 리치 곡률을 조사하며, 2-워셔스타인 거리로 장비된 확률측도의 공간이 L² 함수의 부분공간과 등거리임을 증명한다. 엔트로피 함수의 이동 볼록성, 아르골로프 곡률의 영함, 그리고 폰 레네세와 슈타르의 엔트로피 측도가 초기 기대와는 달리 일반화된 리치 하한을 만족하지 못함을 보여준다.

ABSTRACT

In this essay, we discuss the notion of optimal transport on geodesic measure spaces and the associated (2-)Wasserstein distance. We then examine displacement convexity of the entropy functional on the space of probability measures. In particular, we give a detailed proof that the Lott-Villani-Sturm notion of generalized Ricci bounds agree with the classical notion on smooth manifolds. We also give the proof that generalized Ricci bounds are preserved under Gromov-Hausdorff convergence. In particular, we examine in detail the space of probability measures over the interval, $P(X)$ equipped with the Wasserstein metric $d^W$. We show that this metric space is isometric to a totally convex subset of a Hilbert space, $L^2[0,1]$, which allows for concrete calculations, contrary to the usual state of affairs in the theory of optimal transport. We prove explicitly that $(P(X),d^W)$ has vanishing Alexandrov curvature, and give an easy to work with expression for the entropy functional on this space. In addition, we examine finite dimensional Gromov-Hausdorff approximations to this space, and use these to construct a measure on the limit space, the entropic measure first considered by Von Renesse and Sturm. We examine properties of the measure, in particular explaining why one would expect it to have generalized Ricci lower bounds. We then show that this is in fact not true. We also discuss the possibility and consequences of finding a different measure which does admit generalized Ricci lower bounds.

연구 동기 및 목표

• 메트릭 측도 공간에서 엔트로피 함수의 이동 볼록성에 의한 합성 리치 곡률 하한의 개념을 검토하기 위해.
• 명시적 등거리성에 의한 L² 함수로의 변환을 통해 단위 구간 위의 워셔스타인 공간, 특히 (P₀, dW)의 구조를 분석하기 위해.
• 폰 레네세와 슈타르가 P₀ 위에 구성한 엔트로피 측도 Q₀^β가 일반화된 리치 하한을 만족하는지 조사하기 위해.
• 메트릭 측도 공간 (P₀, dW, M)이 일반화된 리치 곡률 하한을 가지는 확률측도 M를 P₀ 위에 찾는 것에 대해 탐구하기 위해.

제안 방법

• P₀ 위의 2-워셔스타인 거리로 장비된 공간 (P₀, dW)과 [0,1] 위의 비내림내림, 오른쪽 연속, 비음수 L² 함수 중 총 질량이 1인 함수들의 공간 사이의 등거리성을 확립한다.
• 역누적분포함수와 르베그 측도에 의한 푸시포워드를 사용하여 등거리성 Ψ를 정의한다.
• 이동 볼록성 이론을 적용하여 P₀ 내의 워셔스타인 지오데식을 따라 엔트로피 함수가 볼록 임을 보인다.
• Gromov–Hausdorff 근사에 의한 P₀의 근사화를 통해 엔트로피 측도 Q₀^β를 이산 근사의 극한으로 구성한다.
• 아르골로프 곡률과 토폰로고프 유형 비교 정리에 의한 곡률 성질을 분석한다.
• Lott–Villani–Sturm 이론의 결과를 적용하여 일반화된 리치 하한이 리만 다양체에서 고전적 리치 하한과 일치하고, Gromov–Hausdorff 극한에 대해 보존됨을 검증한다.

실험 결과

연구 질문

• RQ1 Lott–Villani–Sturm의 일반화된 리치 곡률 ≥ K 개념이 매끄러운 리만 다량체에서 고전적 리치 곡률 ≥ K 와 일치하는가?
• RQ2 단위 구간 위의 워셔스타인 공간 (P₀, dW)은 L²의 부분공간과 등거리인가? 이는 그 메트릭 및 곡률 구조에 대해 어떤 함의를 갖는가?
• RQ3 폰 레네세와 슈타르가 P₀ 위에 도입한 엔트로피 측도 Q₀^β는 일반화된 리치 하한을 만족하는가?
• RQ4 P₀ 위에 (P₀, dW, M)가 일반화된 리치 곡률 하한을 가지는 확률측도 M를 찾을 수 있는가?
• RQ5 리치 곡률 하한이 있는 다량체의 Gromov–Hausdorff 극한은 일반화된 리치 하한만을 갖는 공간과 어떻게 관련이 있는가?

주요 결과

• 공간 (P₀, dW)는 L² 노름을 갖는 [0,1] 위의 비음수, 비내림내림, 오른쪽 연속 함수들의 공간과 등거리이며, 이는 명시적 분석을 가능하게 한다.
• 워셔스타인 공간 (P₀, dW)는 아르골로프 곡률이 0이며, 메트릭 기하학의 의미에서 비양의 곡률을 갖는다.
• 엔트로피 함수는 P₀ 위에서 이동 볼록성과 관련하여 직접적으로 L² 등거리성과 볼록 함수의 성질을 통해 증명된다.
• Gromov–Hausdorff 근사에 의해 구성된 엔트로피 측도 Q₀^β는 직관적 기대와는 달리 일반화된 리치 하한을 만족하지 못한다.
• 일반화된 리치 하한은 Gromov–Hausdorff 수렴에서 보존되지 않으며, 모든 이러한 공간이 리치 곡률 하한이 있는 다량체의 극한으로 유도되지 않음을 의미한다.
• P₀ 위에서 엔트로피의 이동 볼록성 실패가 비록 Ric ≡ 0이더라도, 상부 리치 하한이 그러한 수렴에서 잘 작동하지 않는다는 것을 시사하며, 하한과는 달리 상한은 잘 작동하지 않는다.