[논문 리뷰] Independence of synthetic Curvature Dimension conditions on transport distance exponent

Afiny Akdemir, Fabio Cavalletti외 3명|arXiv (Cornell University)|2020. 07. 21.

Geometric Analysis and Curvature Flows참고 문헌 42인용 수 7

한 줄 요약

이 논문은 비분기성 미터 측도 공간에서 모든 $p>1$에 대해 합성 곡률-차원 조건 $σ_{p}(K,N)$의 등가성을 확립한다. 이는 운반 비용으로 $p$-Wasserstein 거리 선택이 곡률-차원 이론에 영향을 주지 않음을 보여준다. 핵심 통찰은 $L^1$-최적 운반과 나针 분해를 활용하여 서로 다른 $p$에 대해 조건을 통합함으로써, $σ_p(K,N)$가 모든 $p,q>1$에 대해 $σ_q(K,N)$를 유도함을 증명하며, 이러한 조건에 대한 국소-전역 성질을 확립한다.

ABSTRACT

The celebrated Lott-Sturm-Villani theory of metric measure spaces furnishes synthetic notions of a Ricci curvature lower bound $K$ joint with an upper bound $N$ on the dimension. Their condition, called the Curvature-Dimension condition and denoted by $\\mathrm{CD}(K,N)$, is formulated in terms of a modified displacement convexity of an entropy functional along $W_{2}$-Wasserstein geodesics. We show that the choice of the squared-distance function as transport cost does not influence the theory. By denoting with $\\mathrm{CD}_{p}(K,N)$ the analogous condition but with the cost as the $p^{th}$ power of the distance, we show that $\\mathrm{CD}_{p}(K,N)$ are all equivalent conditions for any $p>1$ -- at least in spaces whose geodesics do not branch. We show that the trait d'union between all the seemingly unrelated $\\mathrm{CD}_{p}(K,N)$ conditions is the needle decomposition or localization technique associated to the $L^{1}$-optimal transport problem. We also establish the local-to-global property of $\\mathrm{CD}_{p}(K,N)$ spaces.

연구 동기 및 목표

• $σ_p(K,N)$ 곡률-차원 조건에서 $p$-Wasserstein 거리의 선택이 합성 리치 곡률과 차원 경계에 영향을 미치는지 여부를 규명하는 것.
• 비분기성 미터 측도 공간에서 모든 $p>1$에 대해 $σ_p(K,N)$ 조건의 등가성을 확립하는 것.
• $L^1$-최적 운반과 나針 분해 기법을 활용하여 $σ_p(K,N)$ 공간의 국소-전역 성질을 확장하는 것.
• 기울기 흐름 선의 구조(운반 선)를 공유하는 서명 거리 함수의 성질을 통해 서로 다른 것으로 보이는 $σ_p(K,N)$ 조건들을 통합하는 것.

제안 방법

• 다양한 $p>1$에 대한 $p$-Wasserstein 조건을 연결하기 위해 $L^1$-최적 운반 프레임워크와 나針 분해를 활용하며, 운반 선의 연결 고리 역할을 활용한다.
• 지오데식선을 따라 캄토로비치 포텐셜의 일阶, 이阶, 삼계 부등식을 유도하기 위해 지수 $p$를 갖는 호프-락스 변환을 적용한다.
• 정리 5.10의 변수변환 공식을 사용하여, 다양한 $p$-비용 하에서 지오데식선을 따라의 밀도를 연결함으로써 $σ^{1}_{ρ}(K,N)$ 조건에 의존한다.
• 함수 $t \mapsto \rho_t(\gamma_t)$가 상측연속이며, 볼록-이凸의 구조를 만족함을 증명하여 헬더 부등식의 적용을 가능하게 한다.
• $\mathsf{CD}^{1}_{\text{Lip}}(K,N)$ 조건을 사용하여 정리 5.12의 가정을 확인함으로써, $W_q$-지오데식선을 따라 $\mathsf{CD}_q(K,N)$ 부등식의 타당성을 보장한다.
• $\sigma_{K,N}^{(\alpha)}$ 및 $\tau_{K,N}^{(\alpha)}$ 왜곡 계수를 적용하여 엔트로피 함수의 필요 이완 볼록성 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 운반 비용 $\mathsf{d}^p$의 선택이 미터 측도 공간에서 합성 곡률-차원 조건 $\mathsf{CD}_p(K,N)$에 영향을 미치는가?
• RQ2 비분기성 공간에서 서로 다른 $p>1$에 대해 $\mathsf{CD}_p(K,N)$ 조건이 등가적인가?
• RQ3 $L^1$-최적 운반 프레임워크와 나針 분해가 $p>1$ 전반에 걸쳐 $\mathsf{CD}_p(K,N)$ 조건을 통합하는 데 기여할 수 있는가?
• RQ4 $\mathsf{CD}_p(K,N)$ 공간의 국소-전역 성질이 모든 $p>1$에 대해 성립하는가?
• RQ5 $p$-비용 변화, 특히 $p \to 1$ 및 $p \to q>1$일 때 $\mathsf{CD}_p(K,N)$ 조건이 유지되는가?

주요 결과

• 모든 $p>1$에 대해 비분기성 미터 측도 공간에서 $\mathsf{CD}_p(K,N)$ 조건이 등가이며, 이는 $p$-Wasserstein 비용의 선택이 합성 곡률-차원 경계에 영향을 주지 않음을 의미한다.
• $L^1$-최적 운반 프레임워크와 나針 분해가 운반 선의 행동을 통해 모든 $p>1$에 대해 $\mathsf{CD}_p(K,N)$ 조건을 연결하는 통합 메커니즘으로 기능한다.
• 함수 $t \mapsto \rho_t(\gamma_t)$는 끝점에서 상측연속이며, $1/\rho_t(\gamma_t) = L(t)Y(t)$ 구조를 만족하며, $L$은 볼록이며 $Y$는 $\mathsf{CD}(K_0,N)$ 밀도이므로 헬더 부등식의 적용이 가능하다.
• $W_q$-지오데식선을 따라 $\mathsf{CD}_q(K,N)$ 부등식이 성립함을 보였으며, 이는 왜곡 계수 $\tau_{K,N}^{(\alpha)}(\mathsf{d}(\gamma_0,\gamma_1))$와 유도된 부등식 (5.24)를 통해 입증된다.
• 지오데식선의 길이가 0인 $\varphi$-지지에서 $\mathsf{CD}_q(K,N)$ 조건은 밀도가 일정하고 $\tau_{K,N}^{(\alpha)}(0) = \alpha$ 이므로 자명하게 등식으로 성립한다.
• 국소-전역 성질이 성립한다: $(X,\mathsf{d},\mathfrak{m})$이 $p$-본질적으로 비분기성이고, 길이 공간이며 $\mathsf{CD}_{p,loc}(K,N)$를 만족하면, $\mathsf{CD}_p(K,N)$도 만족한다.