[논문 리뷰] On tangent cones and parallel transport in Wasserstein space

John Lott|arXiv (Cornell University)|2014. 07. 27.

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

한 줄 요약

이 논문은 컴acts Riemannian 다양체 M의 부분다양체 S 위에 있는 절대 연속 측도 μ에서 워셔스타인 공간 P(M)의 탄성원을 계산한다. 이는 P(M) 내의 지오데식을 따라 탄성원을 평행이동하는 기하적 구성법을 제안하며, 스무스 조건이 성립할 경우 이전의 형식적 계산과 일치함을 보여준다.

ABSTRACT

If M is a smooth compact Riemannian manifold, let P(M) denote the Wasserstein space of probability measures on M. If S is an embedded submanifold of M, and mu is an absolutely continuous measure on S, we compute the tangent cone of P(M) at mu. We describe a geometric construction of parallel transport of tangent cones along certain geodesics in P(M). We show that when everything is smooth, the geometric parallel transport agrees with earlier formal calculations.

연구 동기 및 목표

• M의 부분다양체 S 위에 있는 측도 μ에서 워셔스타인 공간 P(M)의 탄성원을 특성화하는 것.
• P(M) 내의 지오데식을 따라 탄성원의 기하적 평행이동을 위한 기하적 구성법을 개발하는 것.
• 기하적 구성법과 스무스 설정에서 이전의 형식적 계산 간의 일致성을 확립하는 것.
• 비스무스 메트릭 측도 공간 내 기하적 구조에 대한 이해를 확장하는 것.

제안 방법

• 컴팩트 Riemannian 다양체 M 위의 워셔스타인 공간 P(M)의 구조를 사용한다.
• μ가 삽입된 부분다양체 S 위에서 절대 연속일 때, μ ∈ P(M)에서의 탄성원을 분석하기 위해 미분기하 기법을 적용한다.
• P(M) 내의 지오데식을 따라 벡터장의 기하적 리프팅을 통해 평행이동을 구성한다.
• 스무스 케이스에서 탄성벡터를 최적 운반 지도로 식별하는 데 의존한다.
• 기하적 구성법을 이전 문헌의 형식적 계산과 비교한다.
• 내재된 기하적 추론을 사용하여 스무스 가정 하에서 등가성을 검증한다.

실험 결과

연구 질문

• RQ1 M의 부분다양체 S 위에 절대 연속인 측도 μ에서 워셔스타인 공간 P(M)의 탄성원의 구조는 어떻게 되는가?
• RQ2 워셔스타인 공간 P(M)에서 탄성원의 기하적 평행이동은 어떻게 정의할 수 있는가?
• RQ3 제안된 기하적 평행이동 구성법은 스무스 설정에서 이전의 형식적 계산과 일치하는가?
• RQ4 M의 Riemannian 구조는 P(M) 내 탄성원 기하학에 어떤 역할을 하는가?

주요 결과

• P(M)의 μ에서의 탄성원은 측도 μ에 대해 L²로 적분 가능한 S 위의 벡터장들의 공간으로 특성화된다.
• P(M) 내에서 스무스 이동 보간에 의해 유도된 지오데식을 따라 기하적 평행이동 구성법이 잘 정의된다.
• 모든 구조가 스무스일 경우 기하적 평행이동 구성법은 문헌의 형식적 계산과 일치한다.
• 구성법은 최적 운반 기하학과 M의 Riemannian 구조 간 자연스러운 호환성을 드러낸다.
• 기하적 리프팅을 통해 탄성원과 평행이동 개념의 적용 범위를 비스무스 점들로 확장한다.
• 이 프레임워크는 스무스 케이스를 초월한 워셔스타인 공간 내 미분해석학의 엄밀한 기초를 제공한다.