[논문 리뷰] Theory of optimal transport for Lorentzian cost functions

Stefan Suhr|arXiv (Cornell University)|2016. 01. 18.

Advanced Differential Geometry Research참고 문헌 1인용 수 12

한 줄 요약

이 논문은 루체르지언 비용 함수에 대한 최적 운반 이론을 루체르지언-핀슬러 기하학에서 개발하며, 이는 이전 결과를 일반화하여 측도가 시간 함수의 등치수에 국한되지 않고 시공간 전반에 분布되어 있음을 允허한다. 최적 쌍대성의 존재를 확립하고, 중간 정도의 정규성을 증명하며, 몽헤 문제를 해결하고, 인과적 쌍대성에 대한 정확한 기준을 제시함으로써, 최적 운반 이론의 범위를 전체 기하학적 일반성으로 갖는 전역적으로 하이퍼볼릭 시공간으로 확장한다.

ABSTRACT

The optimal transport problem is studied in the context of Lorentz-Finsler geometry. For globally hyperbolic Lorentz-Finsler spacetimes the first Kantorovich problem and the Monge problem are solved. Further the intermediate regularity of the transport paths is studied. These results generalize parts of Bertrand & Puel and Brenier et al.

연구 동기 및 목표

• 시공간의 스플릿 링크에서의 상대론적 비용 함수에 기반한 최적 운반 이론을, 측도가 한 번의 시간 슬라이스에 국한되지 않고 시공간 전반에 분포된 전역적으로 하이퍼볼릭 루체르지언-핀슬러 시공간으로 일반화한다.
• 초기 우주 재구성과 같은 상황에서 측도가 단일 시간 슬라이스에 국한되지 않는 상대론적 운반 문제를 다룬다.
• 인과적 및 무시계적 지지 집합을 포함한 일반적인 기하학적 가정 하에서 최적 쌍대성의 존재성과 구조적 성질을 확립한다.
• 몽헤 문제를 해결하고, 루체르지언-핀슬러 설정에서 인과적 쌍대성의 존재에 대한 정확한 기준을 제공한다.
• 리만기하학 및 상대론적 최적 운반 이론의 결과를 더 넓은 루체르지언-핀슬러 기하학 프레임워크로 확장하여, 합성 곡률과 유체역학 유사성의 응용을 가능하게 한다.

제안 방법

• 접선다발 TM 위에서 정의된 연속적이며 양의 동차성의 루체르지언-핀슬러 함수 L(영역을 제외한 영역에서 미분 가능)을 사용하여, 무한대로 확장된 음의 루체르지언 거리로 비용 함수를 정의한다.
• 분석은 연속 곡선의 공간에서의 역학적 최적 쌍대성 Π에 기반하며, 비용은 곡선을 따라 L의 적분으로 정의된다. 최적 쌍대성은 무시계 집합에 농축되어 있음을 보여준다.
• 소스 측도가 L-불변 측도 L_A에 대해 절대 연속일 경우, 최적 쌍대성의 유일성을 보장하기 위해 마틴갈 및 볼록 조합 기법을 적용한다.
• 가능한 선택 및 리프팅 기법을 사용하여, 그래프에 농축된 쌍대성을 구성함으로써 절대 연속성 가정 하에서 정규성과 유일성을 확보한다.
• 정리 3.15, 3.17 및 3.20은 다수의 목적지나 다수의 최소화자를 갖는 점들의 집합이 무시 가능하다는 것을 보여주며, 최적 쌍대성의 그래프 유사한 구조를 보장한다.
• 증명은 국소적 정규성 반경 추정, 리프시츠 연장 및 측도론적 추론을 사용하여, 평균 측도에 대해 평가 사상에 의한 특정 집합의 상이 영측도임을 보여준다.

실험 결과

연구 질문

• RQ1 측도가 시간 함수의 등치수를 초월하여 시공간 전반에 분포할 수 있도록, 루체르지언-핀슬러 기하학에서 시간 함수의 등치수를 초월한 최적 운반 이론을 구성할 수 있는가?
• RQ2 전역적으로 하이퍼볼릭 루체르지언-핀슬러 시공간에서 무시계 집합에 지지된 측도에 대해 최적 쌍대성이 존재하는 조건은 무엇인가?
• RQ3 이 일반화된 기하학적 설정에서 몽헤 문제의 해가 달성 가능한가?
• RQ4 소스 측도가 L-불변 측도에 대해 절대 연속일 경우 최적 쌍대성의 구조는 어떻게 되는가?
• RQ5 기하학적 및 측도론적 조건을 바탕으로 인과적 쌍대성의 존재를 특성화할 수 있는가?

주요 결과

• 모든 확률 측도 쌍에 대해 전역적으로 하이퍼볼릭 루체르지언-핀슬러 시공간에서 최적 쌍대성이 존재하며, 지지 집합이 비특이적이거나 시간 함수의 등치수일 필요가 없다.
• 소스 측도가 L-불변 측도 L_A에 대해 절대 연속일 경우 최적 쌍대성은 거의 확률적으로 그래프에 농축되어 있다.
• 다른 최소화 곡선을 통해 다수의 목적지로 향하는 점들의 집합은 소스 측도 하에 영측도이며, 이는 운반 사상의 정규성을 보장한다.
• 인과적 쌍대성의 존재에 대한 필요충분조건이 확립되었으며, 이는 이전의 상대론적 비용 함수 결과를 일반화한다.
• 어떤 곡선이 주어진 집합 B에 두 번 이상의 점을 가로지르는 경우의 추적은 환경의 L-불변 측도에 대해 영측도이며, 이는 총 비용에 대한 기여가 무시 가능함을 의미한다.
• 두 개 이상의 서로 다른 쌍대성이 그래프에 농축된 경우, 그 비트리비한 볼록 조합이 스스로 그래프에 농축될 수 없으며, 이는 두 쌍대성이 일치할 때에만 가능함을 보여준다.