[논문 리뷰] Continuity, curvature, and the general covariance of optimal transportation

Young‐Heon Kim, Robert J. McCann|ArXiv.org|2007. 12. 19.

Geometric Analysis and Curvature Flows참고 문헌 23인용 수 14

한 줄 요약

이 논문은 비선형 운반 문제의 부드러움을 위한 Ma-Trudinger-Wang(MTW) 조건의 기하적 기원을 규명하며, 비용 함수에 의해 유도된 초미니어만다이프 메트릭에서의 비음성 섹션 곡률로 이를 해석한다. 이는 리만다이프 다양체, 특히 구 위에서 최적 운반 지도의 호일더 연속성을 직접적이고 자립적인 방법으로 증명하며, 이는 이전의 연속성 방법 결과나 Delano€¨ë, Loeper, 또는 Ma-Trudinger-Wang의 결과에 의존하지 않는다. 또한, 분포 및 텐서 곱을 통한 서브머지온을 통해 일반적인 다양체와 비용 함수로 이론을 확장한다.

ABSTRACT

Let M and \bar M be n-dimensional manifolds equipped with suitable Borel probability measures ρand \barρ. Ma, Trudinger & Wang gave sufficient conditions on a transportation cost c \in C^4(M imes \bar M) to guarantee smoothness of the optimal map pushing ρforward to \barρ; the necessity of these conditions was deduced by Loeper. The present manuscript shows the form of these conditions to be largely dictated by the covariance of the question; it expresses them via non-negativity of the sectional curvature of certain null-planes in a novel but natural pseudo-Riemannian geometry which the cost c induces on the product space M imes \bar M. Hölder continuity of optimal maps was established for rougher mass distributions by Loeper, still relying on a key result of Trudinger & Wang which required certain structure on the domains and the cost. We go on to develop this theory for mass distributions on differentiable manifolds -- recovering Loeper's Riemannian examples such as the round sphere as particular cases -- give a direct proof of the key result mentioned above, and revise Loeper's Hölder continuity argument to make it logically independent of all earlier works, while extending it to less restricted geometries and cost functions even for subdomains M and \bar M of R^n. We also give new examples of geometries satisfying the hypotheses -- obtained using submersions and tensor products -- and some connections to spacelike Lagrangian submanifolds in symplectic geometry.

연구 동기 및 목표

• 비용 함수에 의해 유도된 초미니어만다이프 다양체 위에서 MTW 조건이 특정 영평면의 비음성 섹션 곡률로 표현됨을 해석함으로써, 최적 운반 정규성에 대한 기하적 의미를 명확히 한다.
• Delano€¨ë, Loeper, 또는 Ma-Trudinger-Wang의 이전 결과나 연속성 방법에 의존하지 않고, 구와 같은 컴act 리만다이프 다양체 위에서 최적 운반 지도의 호일더 연속성을 직접적이고 논리적으로 독립적인 방법으로 증명한다.
• 유클리드 영역을 초월하여, 구와 같은 리만다이프 예시를 포함한 일반적인 미분 가능 다양체로 최적 운반 이론을 일반화한다.
• 서브머지온과 다양체의 텐서 곱을 통해 새로운 비용 함수와 기하학적 구조를 구성함으로써 MTW 조건을 만족하는 새로운 예를 제시한다.
• 최적 운반 프레임워크와 심플렉틱 기하학에서의 스피아클라인 라그랑주 부분다양체 사이의 연결 고리를 밝혀내며, 더 깊은 기하학적 이중성을 드러낸다.

제안 방법

• 비용 함수 $c$ 에 의해 유도된 초미니어만다이프 메트릭을 도입하여, $M \times \bar{M}$ 의 곱 공간에 새로운 초미니어만다이프 메트릭을 정의하고, MTW 조건이 특정 영평면의 비음성 섹션 곡률과 동치임을 보인다.
• $c$-지수 매핑과 $c$-볼록 잠재함수를 사용하여, 최적 운반 지도를 $F = c\text{-Exp} \circ Du$ 로 구성함으로써, MTW 조건 하에서 연속성을 보장한다.
• 지오데식 공의 체적 비교를 적용하여 국소 호일더 추정을 도출하고, 컴팩턴스를 이용해 결과를 전역화한다.
• 수직으로 볼록하고 $2$-균일한 영역 $N = B_r(z) \times B_R(\pm z)$ 를 정의하여 국소 정규성을 확보하고, 비교 정리를 적용한다.
• 연속성 방법에 대한 의존성을 제거하기 위해, MTW 조건과 $c$-볼록성에서 유도된 직접적 추정을 사용하며, 특히 $u^{c^{*}c} = u$ 와 잠재함수의 $C^1$ 정규성의 활용에 중점을 둔다.
• 서브머지온과 다양체의 텐서 곱을 통해 새로운 MTW 조건을 만족하는 기하학적 구조를 구성함으로써, 기존 유클리드나 리만다이프 사례를 초월한 비용 함수의 적합한 클래스를 확장한다.

실험 결과

연구 질문

• RQ1 최적 운반 정규성에 대한 Ma-Trudinger-Wang 조건의 기하적 구조는 무엇인가?
• RQ2 최적 운반 지도의 호일더 연속성은 연속성 방법과 이전 결과들에 의존하지 않고 리만다이프 다양체에서 증명될 수 있는가?
• RQ3 최적 운반 프레임워크는 어떻게 유클리드 영역에서 일반적인 미분 가능 다양체로 일반화될 수 있는가?
• RQ4 MTW 조건을 만족하는 새로운 비용 함수와 기하학적 클래스는 무엇이며, 어떻게系통적으로 구성할 수 있는가?
• RQ5 최적 운반과 심플렉틱 기하학에서의 스피아클라인 라그랑주 부분다양체 사이의 연결 고리는 무엇인가?

주요 결과

• Ma-Trudinger-Wang 조건은 비용 함수에 의해 유도된 $M \times \bar{M}$ 위의 초미니어만다이프 메트릭에서 특정 영평면의 비음성 섹션 곡률과 기하학적으로 동치이다.
• MTW 조건과 $\bar{\rho} \geq m > 0$ 라는 조건 하에서, 구 $\mathbf{S}^n$ 상에서 최적 운반 지도 $F$ 는 연속적이며, $F = c\text{-Exp} \circ Du$ 로 표현되며, 이때 $u$ 는 $C^1$ 잠재함수이다.
• 비용 함수 $c(x,\bar{x}) = \mathop{\rm dist}^2(x,\bar{x})/2$ 또는 $c(x,\bar{x}) = -\log|x - \bar{x}|$ 를 갖는 구의 경우, $\rho$ 가 $L^p$ 적분 가능하고 $p > n$ 이면, 최적 운반 지도는 각각 $C^{1/5}(\mathbf{S}^n, \mathbf{S}^n)$ 또는 $C^{(1 - n/p)/(4n - 1 - n/p)}(\mathbf{S}^n, \mathbf{S}^n)$ 에 속한다.
• 호일더 연속성의 증명은 자립적이며, 연속성 방법이나 Delano€¨ë, Loeper, 또는 Ma-Trudinger-Wang의 이전 결과에 의존하지 않는다.
• 서브머지온과 다양체의 텐서 곱을 통해 새로운 MTW 조건을 만족하는 기하학적 예를 구성함으로써, 비용 함수의 적합한 클래스를 확장한다.
• 이 프레임워크는 최적 운반과 심플렉틱 기하학에서의 스피아클라인 라그랑주 부분다양체 사이의 연결 고리를 드러내며, 더 깊은 기하학적 이중성을 시사한다.