[논문 리뷰] Non-branching geodesics and optimal maps in strong CD(K,{\infty})-spaces

Tapio Rajala, Karl‐Theodor Sturm|arXiv (Cornell University)|2012. 07. 29.

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

한 줄 요약

이 논문은 강한 CD(K,∞)-공간—모든 워셔스타인 기하선을 따라 엔트로피 함수가 K-볼록인 측도 공간—에서 유한한 두 번째 모멘트를 가진 절대 연속 측도 간의 최적 운반 계획이 분기하지 않는 기하선에 농축되어 있음을 입증한다. 핵심 결과는 이러한 공간이 본질적으로 분기하지 않음을 보여주며, 이는 최적 운반 맵의 유일성과 측도가 있는 그로모프-하우스도르프 수렴에 대한 안정성을 암시한다. 이는 리만 다양체의 리치 곡률이 아래로 유계이면서 그로모프-하우스도르프 극한에 대해서도 적용된다.

ABSTRACT

We prove that in metric measure spaces where the entropy functional is K-convex along every Wasserstein geodesic any optimal transport between two absolutely continuous measures with finite second moments lives on a non-branching set of geodesics. As a corollary we obtain that in these spaces there exists only one optimal transport plan between any two absolutely continuous measures with finite second moments and this plan is given by a map. The results are applicable in metric measure spaces having Riemannian Ricci-curvature bounded below, and in particular they hold also for Gromov-Hausdorff limits of Riemannian manifolds with Ricci-curvature bounded from below by some constant.

연구 동기 및 목표

• 하나의 리치 곡률 하한이 존재하는 측도 공간에서의 분기 기하선 문제를 해결하기 위해.
• 강한 CD(K,∞)-공간에서 절대 연속 측도 간의 최적 운반에서 분기 기하선을 피할 수 있음을 확립하기 위해.
• 이러한 공간에서 최적 운반 맵의 유일성을 증명하고, 리치 곡률이 아래로 유계이면서 리만 다항체의 극한으로까지 결과를 확장하기 위해.
• 측도가 있는 그로모프-하우스도르프 수렴에 대해 RCD(K,∞) 조건의 안정성을 입증함으로써 본질적 비분기성을 보여주기 위해.

제안 방법

• 강한 CD(K,∞)-공간을 정의하여, 모든 워셔스타인 기하선을 따라 엔트로피가 K-볼록임을 조건으로 한다.
• 기하선 계획의 분해와 사이클릭 단조성을 이용해 운반 경로를 분석한다.
• 최적 계획의 왼쪽 및 오른쪽 재매개변수화를 조합하여 혼합 기하선 계획을 구성한다.
• 분할 사상 Sp를 통한 비틀림-리프스치츠 전이를 적용하여, 곱 측도로부터 새로운 기하선 계획을 구성한다.
• 분기 구조가 원래 계획에 존재할 경우 혼합 계획이 본질적으로 비분기일 수 없음을 보여 기하학적 모순을 유도한다.
• 삼각 부등식의 등호 조건과 사이클릭 단조성은 동일한 기하선 길이를 강제하며, 이는 비분기 기하선의 구조를 암시한다.

실험 결과

연구 질문

• RQ1 측도 공간에서 모든 기하선을 따라 엔트로피의 K-볼록성이 성립할 경우, 최적 운반 계획이 분기 기하선을 피하는가?
• RQ2 사전에 비분기성을 가정하지 않고도 강한 CD(K,∞)-공간에서 최적 운반 맵의 유일성을 확립할 수 있는가?
• RQ3 측도가 있는 그로모프-하우스도르프 수렴에 대해 RCD(K,∞) 조건은 안정적이며, 본질적 비분기성을 암시하는가?
• RQ4 리치 곡률이 K 이하로 유계이면서 리만 다항체의 그로모프-하우스도르프 극한은 본질적으로 비분기 성질을 상속하는가?
• RQ5 이 비분기 결과를 통해 롤티-빌라니의 CD(K,∞) 조건을 RCD(K,∞) 프레임워크로부터 복원할 수 있는가?

주요 결과

• 모든 강한 CD(K,∞)-공간은 본질적으로 비분기적이며, 유한한 두 번째 모멘트를 가진 절대 연속 측도 간의 최적 운반 계획이 비분기 기하선에 농축되어 있음을 의미한다.
• RCD(K,∞) 조건은 본질적 비분기성을 암시하며, 리치 곡률이 아래로 유계이면서 그로모프-하우스도르프 극한을 취하는 리만 다항체의 구조에 대한 열린 질문을 해결한다.
• RCD(K,∞) 조건은 측도가 있는 그로모프-하우스도르프 수렴에 대해 안정적이며, 롤티-빌라니의 CD(K,∞) 조건을 암시한다.
• 강한 CD(K,∞)-공간에서 최적 운반 맵은 유일하며, 운반 계획이 비분기 기하선 집합에 농축되어 있기 때문이다.
• 서로 수직인 두 최적 계획으로부터 혼합 기하선 계획을 구성하면, 분기가 발생할 경우 모순이 발생하므로, 이러한 공간에서 분기가 최적 운반에 영향을 주지 못한다는 것을 증명한다.