[논문 리뷰] Multi-marginal optimal transport on Riemannian manifolds

Young‐Heon Kim, Brendan Pass|arXiv (Cornell University)|2013. 03. 25.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 6

한 줄 요약

이 논문은 컴act 리만다이언 군면 위에서 다중 경계 최적 운반 문제에 대해 몽게 해법의 존재성과 유일성을 확립한다. 비용 함수는 각 점에서 공통의 바이어리터 중심으로부터의 거리의 제곱합의 하한으로 정의된다. 첫 번째 경계에 대한 정규성 조건이 만족될 경우, 최적 운반 계획은 가측 함수의 그래프 위에 놓이며, 맥캔의 극좌인자 분해 정리의 다중 경계로의 일반화이자, 반간보와 슈베흐의 결과를 곡면 공간으로 확장한 것이다.

ABSTRACT

We study a multi-marginal optimal transportation problem on a Riemannian manifold, with cost function given by the average distance squared from multiple points to their barycenter. Under a standard regularity condition on the first marginal, we prove that the optimal measure is unique and concentrated on the graph of a function over the first variable, thus inducing a Monge solution. This result generalizes McCann's polar factorization theorem on manifolds from 2 to several marginals, in the same sense that a well known result of Gangbo and Swiech generalizes Brenier's polar factorization theorem on $\mathbb{R}^n$.

연구 동기 및 목표

• 리만다이언 군면 위에서 두 경계에서의 맥캔의 극좌인자 분해 정리를 다중 경계로 일반화한다.
• 최적 운반 계획이 함수의 그래프 위에 놓이는 조건(즉, 몽게 해법을 갖는 조건)을 확립한다.
• 유클리드 공간에서 반간보와 슈베흐의 결과를 기하학적으로 자연스러운 비용 함수를 사용하여 컴팩트 리만다이언 군면으로 일반화한다.
• 경계들의 프레셰/카르히어 평균을 기반으로 한 비용 함수 하에서 최적 계획의 구조를 분석한다.
• 제곱 비용 외에도 거리의 엄격히 볼록이고 증가하는 함수로 일반화된 비용 함수로 결과를 확장한다.

제안 방법

• 콤팩트 리만다이언 군면 위에서 몽게 및 칸토로비치 형태의 다중 경계 최적 운반 문제를 수립한다.
• 비용 함수를 각 경계 점에서 y ∈ M에 대한 거리 제곱합의 하한으로 정의하여 바이어리터 비용을 표현한다.
• 지오데식 맵과 볼록 함수의 초미분을 포함한 리만다이언 군면 위 최적 운반 이론의 기법을 적용한다.
• 지오데식 맵을 통한 변형 기법을 사용하여 비용 함수의 최소화자가 컷로시스에 있지 않음을 보여주어 정규성을 확보한다.
• 이중성과 c-변환을 활용하여 최적 계획의 구조를 분석하고, 그것이 그래프 위에 놓여 있음을 증명한다.
• 거리의 함수 f_i(d(x_i,y))로 일반화된 비용 함수에 대해 테일러 전개와 볼록성 논증을 사용하여 최소화자의 정규성을 유지한다.

실험 결과

연구 질문

• RQ1 리만다이언 군면 위에서 다중 경계 최적 운반 문제는 어떤 조건에서 첫 번째 경계에서 다른 경계들로 향하는 결정론적 사상(즉, 몽게 해법)을 가질 수 있는가?
• RQ2 콤팩트 리만다이언 군면에서 공통 바이어리터 중심으로부터의 제곱 거리 합이 비용일 경우, 최적 운반 계획은 유일한가?
• RQ3 특히 컷로시스가 최적 운반 사상의 정규성에 미치는 리만다이언 군면의 기하학적 구조는 어떠한가?
• RQ4 제곱 비용에 대한 결과를 더 일반적인 거리의 볼록 함수로 확장할 수 있는가?
• RQ5 리만다이언 군면의 기하학에 내재된 바이어리터 비용 함수는 유클리드 경우에서 관찰된 몽게 해법과 유일성 성질을 유지하는가?

주요 결과

• 최적 운반 계획은 첫 번째 경계에서 다른 경계들로 향하는 가측 함수의 그래프 위에 유일하게 집중되어 있으며, 이는 몽게 해법을 확립한다.
• 첫 번째 경계 측도가 국소 좌표에 대해 절대 연속이라는 표준 정규성 조건이 만족될 경우 최적 계획의 유일성이 성립한다.
• 바이어리터 비용 함수의 최소화자는 어떤 경계 점의 컷로시스에도 속하지 않으며, 이는 운반 사상의 매끄러움을 보장한다.
• 이 결과는 맥캔의 극좌인자 분해 정리를 두 개에서 m ≥ 3개의 경계로 리만다이언 군면 위로 일반화한다.
• 제곱 비용이 거리의 엄격히 볼록이고 증가하는 함수로 대체되더라도 몽게 해법과 유일성은 유지된다.
• 테일러 전개와 볼록성 논증을 통해 증명 기법은 비제곱 비용으로도 확장되며, 최적 계획의 구조적 성질을 유지한다.