[논문 리뷰] The Monge Problem for distance cost in geodesic spaces

Stefano Bianchini, Fabio Cavalletti|arXiv (Cornell University)|2011. 03. 14.

Geometry and complex manifolds참고 문헌 15인용 수 4

한 줄 요약

이 논문은 거리 비용이 있는 지오데식 거리 공간에서 몽게 문제의 해가 존재하는 조건을 규명한다. 이는 운반 문제를 지오데식선을 따라 일차원 문제로 환원함으로써 달성된다. 핵심 기여는 지오데식선을 따라 소스 측도의 분해가 1차원 하우스도르프 측도에 대해 절대연속일 경우, $d_L$-순환 단조성만으로는 최적성을 보장하지 못하더라도 운반 지도가 존재함을 증명하는 것이다.

ABSTRACT

We address the Monge problem in metric spaces with a geodesic distance: (X, d) is a Polish space and dL is a geodesic Borel distance which makes (X,dL) a non branching geodesic space. We show that under the assumption that geodesics are d-continuous and locally compact, we can reduce the transport problem to 1-dimensional transport problems along geodesics. We introduce two assumptions on the transport problem π which imply that the conditional probabilities of the first marginal on each geodesic are continuous or absolutely continuous w.r.t. the 1- dimensional Hausdorff distance induced by dL. It is known that this regularity is sufficient for the construction of a transport map. We study also the dynamics of transport along the geodesic, the stability of our conditions and show that in this setting dL-cyclical monotonicity is not sufficient for optimality.

연구 동기 및 목표

• 지오데식 거리 $d_L$로 주어진 비용을 갖는 지오데식 거리 공간에서 몽게 문제를 해결하는 것.
• 일반적으로는 부족한 $d_L$-순환 단조성으로도 최적성을 보장하는 조건을 규명하는 것.
• 다차원 최적 운반 문제를 지오데식선을 따라 일차원 운반 문제로 환원하는 것.
• 지오데식선을 따라 소스 측도의 분해가 1차원 하우스도르프 측도에 대해 절대연속임을 보장함으로써 운반 지도의 존재를 확립하는 것.

제안 방법

• 저자들은 운반 집합 $\mathcal{T}_e$ 를 비분기 조건과 운반 계획 $\pi$ 의 순환 단조성에 기반해 지오데식선으로 분할하여, 지오데식선의 내부점 집합 $\mathcal{T}$ 의 분할 $R$ 을 구성한다.
• 각 점에 대해 그를 통과하는 유일한 지오데식 선분을 할당하는 레이어 맵 $g = g^+ \cup g^-$ 를 정의함으로써 운반 문제를 일차원 구성요소로 분해할 수 있도록 한다.
• 각 지오데식선을 따라 소스 측도 $\mu$ 의 분해를 분석하고, 조건부 확률이 1차원 하우스도르프 측도에 대해 절대연속이 되도록 보장하기 위해 두 가지 핵심 가정을 도입한다.
• 유동을 나타내는 현재 $\dot{g}$ 를 통해 동적 해석을 개발하고, 이 유동에 따른 집합의 진화를 묘사하는 운반 방정식을 수립한다.
• 근사에 의한 거리 공간의 근사화를 통해 비퇴화 조건의 안정성을 분석함으로써, 변형에 대한 결과의 강건성을 확보한다.
• 선택 원리와 분해의 정규성의 조합을 통해 운반 지도를 구성함으로써, 제시된 조건 하에서 존재성을 증명한다.

실험 결과

연구 질문

• RQ1 지오데식 공간과 운반 계획이 어떤 조건을 만족할 경우, 지오데식 거리로 주어진 비용을 갖는 몽게 문제의 해가 존재하는가?
• RQ2 비분기 지오데식 공간에서 다차원 최적 운반 문제를 지오데식선을 따라 일차원 운반 문제로 환원할 수 있는가?
• RQ3 $d_L$-순환 단조성이 지오데식 공간에서 최적성을 보장하는 데 충분한가, 아니면 추가적인 정규성 조건이 필요한가?
• RQ4 지오데식선을 따라 소스 측도의 분해가 1차원 하우스도르프 측도에 대해 절대연속이 되도록 보장하는 조건은 무엇인가?
• RQ5 현재 $\dot{g}$ 로 묘사된 지오데식선을 따라 집합의 동적 진화는 비용 함수의 안정성과 운반 지도의 존재성과 어떻게 관련이 있는가?

주요 결과

• 비분기 지오데식 공간에서 소스 측도 $\mu$ 가 지오데식선을 따라 $d_L$ 에 의해 유도된 1차원 하우스도르프 측도에 대해 절대연속일 경우 몽게 문제의 해가 존재한다.
• 지오데식선이 $d$-연속적이고 국소적으로 컴act일 경우, 운반 문제를 지오데식선을 따라 일차원 문제로 환원하는 것은 타당하다.
• $d_L$-순환 단조성이 운반 계획에서 최적성을 보장하지 못함을 특정한 구조를 가진 거리 공간에서의 반례로 보여주었다.
• 소스 측도 $\mu$ 의 분해가 강력히 일致할 조건은 오직 각 지오데식선에서 조건부 확률이 1차원 하우스도르프 측도에 대해 절대연속일 경우에 한하여 성립한다.
• 비퇴화 조건의 안정성은 거리 공간의 근사화를 통해 유지되며, 이는 변형에 대한 해의 강건성을 보장한다.
• 지오데식선을 따라 소스 측도 $\mu$ 의 분해가 연속적이거나 절대연속일 경우, 운반 지도가 존재한다. 이는 운반 계획 $\pi$ 에 대해 도입된 두 가지 가정에 의해 보장된다.