[논문 리뷰] Decomposition of geodesics in the Wasserstein space and the globalization property

Fabio Cavalletti|arXiv (Cornell University)|2012. 09. 26.

Geometric Analysis and Curvature Flows참고 문헌 19인용 수 8

한 줄 요약

이 논문은 곡률-차원 조건 $\mathsf{CD}^*(K,N)$ 를 만족하는 측도 공간에서 $L^2$-Wasserstein 지오데식의 분해를 수립하며, 이러한 지오데식이 일차원 성분과 $\mathsf{CD}^*(K,N-1)$ 조건을 만족하는 하위차원 성분의 곱으로 분해됨을 보여준다. 길이 함수의 국소 리프시츠 연속성 조건 하에서, 이러한 분해는 일반화 결과를 가능하게 한다: 특정 최적 운반에 대해서는 일차원 성분이 시간에 따라 선형으로 변화하며, 이는 전체 지오데식에 대해 전역적 $\mathsf{CD}(K,N)$ 를 암시한다.

ABSTRACT

We will prove a decomposition for Wasserstein geodesics in the following sense: let $(X,d,m)$ be a non-branching metric measure space verifying $\mathsf{CD}_{loc}(K,N)$ or equivalently $\mathsf{CD}^{*}(K,N)$. We prove that every geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space, with $μ_{t} \ll m$, is decomposable as the product of two densities, one corresponding to a geodesic with support of codimension one verifying $\mathsf{CD}^{*}(K,N-1)$, and the other associated with a precise one dimensional measure, provided the length map enjoys local Lipschitz regularity. The motivation for our decomposition is in the use of the component evolving like $\mathsf{CD}^{*}$ in the globalization problem. For a particular class of optimal transportation we prove the linearity in time of the other component, obtaining therefore the global $\mathsf{CD}(K,N)$ for $μ_{t}$. The result can be therefore interpret as a globalization theorem for $\mathsf{CD}(K,N)$ for this class of optimal transportation, or as a ``self-improving property'' for $\mathsf{CD}^{*}(K,N)$. Assuming more regularity, namely in the setting of infinitesimally strictly convex metric measure space, the one dimensional density is the product of two differentials giving more insight on the density decomposition.

연구 동기 및 목표

• 지오데식이 커버링 가족의 각 집합에서 국소적으로 $\mathsf{CD}(K,N)$ 를 만족할 때 전역적으로도 $\mathsf{CD}(K,N)$ 가 성립하는지 여부라는 열린 문제를 다루는 것.
• 추가적인 정규성 조건 하에서 감소된 곡률-차원 조건 $\mathsf{CD}^*(K,N)$ 가 전역적 $\mathsf{CD}(K,N)$ 조건을 유도하는지 탐색하는 것.
• $L^2$-Wasserstein 지오데식을 코드임계일차 $\mathsf{CD}^*(K,N-1)$ 성분과 일차원 성분으로 기하학적으로 분해하는 것.
• 특정 최적 운반 클래스에 대해 일차원 성분이 시간에 따라 선형으로 변화함을 증명함으로써 전체 지오데식에 대해 전역적 $\mathsf{CD}(K,N)$ 를 확보하는 것.

제안 방법

• 카토로비치 포텐셜의 등치도 수준 집합을 따라 측도의 분해를 이용하여 지오데식을 운동 방향의 성분으로 분해한다.
• 공액도 공식과 구형 하우스도르프 측도를 적용하여 최적 운반의 기하학적 구조와 등치도 수준 집합의 기하학적 성질을 분석한다.
• 호프-렉스 공식을 사용하여 카토로비치 포텐셜을 특성화하고 지오데식을 따라 내림값 정보를 도출한다.
• 포텐셜 진화의 미분을 통해 일차원 성분의 밀도에 대한 형식적 표현을 유도하며, 이를 카토로비치 포텐셜의 헤시안과 연결한다.
• 무한소 엄격한 볼록성을 도입하여 분해를 정밀화하고, 일차원 밀도를 두 개의 미분형태의 곱으로 표현한다.
• 지오데식을 따라 카토로비치 포텐셜의 시간 도함수를 사용하여 일차원 성분의 시간에 따른 선형성을 도출한다.

실험 결과

연구 질문

• RQ1 Wasserstein 지오데식의 분해를 통해 국소적 $\mathsf{CD}_{\text{loc}}(K,N)$ 또는 $\mathsf{CD}^*(K,N)$ 조건이 전역적 $\mathsf{CD}(K,N)$ 조건으로 복원될 수 있는가?
• RQ2 적절한 정규성 조건 하에서 Wasserstein 지오데식의 일차원 성분이 시간에 따라 선형으로 변화하며, 이는 전역적 $\mathsf{CD}(K,N)$ 를 암시하는가?
• RQ3 지오데식 밀도가 $\mathsf{CD}^*(K,N-1)$-성분과 일차원 성분으로 분해될 때, 이는 곡률-차원 구조를 어떻게 반영하는가?
• RQ4 카토로비치 포텐셜의 헤시안이 일차원 성분의 행동을 결정하는 데 어떤 정확한 역할을 하는가?
• RQ5 $\mathsf{CD}^*(K,N)$ 가 $\mathsf{CD}(K,N)$ 를 유도하는 조건는 무엇이며, 이는 자가개선 성질로 볼 수 있는가?

주요 결과

• 길이 함수의 국소 리프시츠 연속성 조건 하에서, $L^2$-Wasserstein 공간 내 지오데식 $\mu_t$ 는 $\mathsf{CD}^*(K,N-1)$-공간과 연관된 밀도와 일차원 성분의 곱으로 분해된다.
• 특정 최적 운반 클래스에 대해 일차원 성분이 시간에 따라 선형으로 변화하며, 이는 $\mu_t$ 에 대해 전역적 $\mathsf{CD}(K,N)$ 조건을 암시한다.
• 무한소 엄격한 볼록성 조건 하에서, 일차원 밀도는 두 개의 미분형태의 곱으로 표현되며, 이는 분해를 정밀화하고 기하학적 통찰을 제공한다.
• 지오데식을 따라 카토로비치 포텐셜의 시간 도함수는 $\varphi_t$ 의 기울기와 운반 지도의 진화를 연결하는 점별 항등식을 도출하며, 이는 일차원 성분의 행동을 유도하는 데 기여한다.
• 형식적 계산 결과, $\lambda_t^{-1} = \|\nabla\varphi_t\|^2 + t \langle H\varphi_t \nabla\varphi_t, \nabla\varphi_t \rangle$ 라는 식이 도출되며, 이는 헤시안 기반 운반 구조와 일관된다.
• 이 분해 결과는 $\mathsf{CD}(K,N)$ 에서 $\tau_{K,N}^{(t)}(\theta)$ 계수의 기원이 $(N-1)$차원 왜곡과 $t^{1/N}$-스케일링의 곱임을 확인하며, $\mathsf{CD}^*(K,N)$ 의 자가개선 성질을 지지한다.