[논문 리뷰] Geometry of probability simplex via optimal transport

Wuchen Li|arXiv (Cornell University)|2018. 03. 16.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 29

한 줄 요약

이 논문은 확률 단체형이 가중치가 부여된 그래프 위에서 $L^2$-Wasserstein 거리계를 사용하여 리만 기하학을 수립한다. 이를 위해 양의 부사영에 통합하여 유클리드 좌표계에서 명시적인 기하 공식을 유도한다. 프레셰 다양체 기법을 통해 베이커-에메리 $Γ_2$ 연산자와 야노의 공식을 연결함으로써, 단체 위에 새로운 미분방정식을 도출할 수 있다.

ABSTRACT

We study the Riemannian structures of the probability simplex on a weighted graph introduced by $L^2$-Wasserstein metric. The main idea is to embed the probability simplex as a submanifold of the positive orthant. From this embedding, we establish the geometry formulas of the probability simplex in Euclidean coordinates. The geometry computations on discrete simplex guide us to introduce the ones in the Fr{\'e}chet manifold of densities supported on a finite dimensional base manifold. Following the steps of Nelson, Bakery-{\'E}mery, Lott-Villani-Strum and the geometry of density manifold, we demonstrate an identity that connects the Bakery-{\'E}mery $\Gamma_2$ operator (carr{\'e} du champ it{\'e}r{\'e}) and Yano's formula on the base manifold. Several examples of differential equations in probability simplex are demonstrated.

연구 동기 및 목표

• 가중치가 부여된 그래프 위의 확률 단체형에 대해 $L^2$-Wasserstein 거리계를 사용하여 리만 기하학적 구조를 개발하는 것.
• 확률 단체형을 양의 부사영에 통합하여 유클리드 좌표계에서 명시적인 기하 공식을 도출하는 것.
• 유한 차원 기저 다양체 위의 확률 밀도의 프레셰 다양체로 이산 단체 기하학을 확장하는 것.
• 기저 다양체 위에서 베이커-에메리 $Γ_2$ 연산자와 야노의 공식 간의 연결 고리를 수립하는 것.
• 개발된 기하 구조를 기반으로 확률 단체형 위에 새로운 미분방정식을 도출하고 이를 입증하는 것.

제안 방법

• 양의 부사영 내부에 확률 단체형을 부분다양체로 통합하여, 둘레 유클리드 기하학의 이점을 활용하는 것.
• $L^2$-Wasserstein 거리계를 사용하여 단체 위에 리만 기하학적 구조를 정의하는 것.
• 유클리드 좌표계에서 리만 계량, 레비-치비타 접속, 곡률에 대한 명시적 표현을 도출하는 것.
• 이산 기하 구조를 기저 다양체 위의 확률 밀도의 프레셰 다양체로 확장하는 것.
• 넬슨, 베이커-에메리, 라트-빌라니-스트룸, 밀도 다양체 기하학의 기법을 적용하여 분석을 통합하는 것.
• 최적 운반 원리를 통해 기저 다양체 위에서 $Γ_2$ 연산자와 야노의 공식을 연결하는 항등식을 수립하는 것.

실험 결과

연구 질문

• RQ1 최적 운반 기반으로, 가중치가 부여된 그래프 위의 확률 단체형 리만 기하학을 체계적으로 유도할 수 있는가?
• RQ2 양의 부사영 통합이 단체 위 기하 계산을 단순화하는 데 어떤 역할을 하는가?
• RQ3 이산 단체 기하학이 기저 다양체 위의 밀도 프레셰 다양체로 어떻게 확장되는가?
• RQ4 이 기하적 맥락에서 베이커-에메리 $Γ_2$ 연산자와 야노의 공식 간의 정확한 관계는 무엇인가?
• RQ5 확률 단체형의 기하적 구조에서 자연스럽게 도출되는 미분방정식의 유형은 무엇인가?

주요 결과

• 가중치가 부여된 그래프 위의 확률 단체형은 $L^2$-Wasserstein 거리계를 통해 잘 정의된 리만 기하학적 구조를 획득하여 미분기하학적 분석이 가능해진다.
• 양의 부사영 통합을 통해 유클리드 좌표계에서 계량, 접속, 곡률에 대한 명시적 기하 공식이 도출된다.
• 이산 단체 기하학은 유한 차원 기저 다양체 위의 밀도 프레셰 다양체로의 분석 확장을 위한 기초를 제공한다.
• 베이커-에메리 $Γ_2$ 연산자와 야노의 공식 간의 항등식이 기저 다양체 위에서 수립되어 기하 확률 분야의 핵심 개념을 통합한다.
• 여러 가지 새로운 확률 단체형 위의 미분방정식이 도출되고 입증되었으며, 이는 프레임워크의 분석적 능력을 보여준다.