[논문 리뷰] From Knothe's rearrangement to Brenier's optimal transport map

Nicolas Bonnotte|arXiv (Cornell University)|2012. 05. 05.

Geometric Analysis and Curvature Flows참고 문헌 5인용 수 4

한 줄 요약

이 논문은 토러스 위에서 Knothe의 재배치와 Brenier의 최적 운반 지도 사이를 보간하는 부드럽고 PDE 기반의 계속 방법을 수립한다. Nash–Moser 역함수 정리를 사용하여 진동이 Kanto-rovich 잠재함수에 대한 열화된 PDE에 의해 지배됨을 보이며, 비자명한 초기 조건을 가진다. 이 결과는 이전의 ODE 기반 결과를 일반화하며, 최적 운반의 수치적 방법에 새로운 길을 열어준다.

ABSTRACT

The Brenier optimal map and the Knothe-Rosenblatt rearrangement are two instances of a transport map, that is to say a map sending one measure onto another. The main interest of the former is that it solves the Monge-Kantorovich optimal transport problem, while the latter is very easy to compute, being given by an explicit formula. A few years ago, Carlier, Galichon, and Santambrogio showed that the Knothe rearrangement could be seen as the limit of the Brenier map when the quadratic cost degenerates. In this paper, we prove that on the torus (to avoid boundary issues), when all the data are smooth, the evolution is also smooth, and is entirely determined by a PDE for the Kantorovich potential (which determines the map), with a subtle initial condition. The proof requires the use of the Nash-Moser inverse function theorem. This result generalizes the ode discovered by Carlier, Galichon, and Santambrogio when one measure is uniform and the other is discrete, and could pave to way to new numerical methods for optimal transportation.

연구 동기 및 목표

• 토러스 위에서 Knothe의 재배치에서 Brenier의 최적 운반 지도로의 부드럽고 연속적인 변형을 수립하는 것.
• Kantorovich 잠재함수에 대한 PDE로 운반 지도의 진동을 기술하는 것, 비자명한 초기 조건을 포함하여.
• 부드러운 자료 가정 하에, 이전의 열화된 비용 구조에 대한 ODE 기반 결과를 전체 PDE 프레임워크로 일반화하는 것.
• 계속 기법을 사용한 최적 운반 분야의 수치적 방법에 대한 이론적 기초를 제공하는 것.

제안 방법

• 논문은 Knothe의 재배치와 Brenier의 지도 사이의 전이를 파arameter t에 따라 매개변수화된 한 가닥의 운반 지도로 공식화한다. 이때 t는 열화성 파arameter이다.
• Kantorovich 잠재함수 ψ(t,x)에 대한 PDE를 유도하여, t가 0일 때(=Knothe)에서 1일 때(=Brenier)로 변화함에 따라 최적 지도의 진동을 지배한다.
• PDE는 t=0에서 열화되어 있어, 해의 존재성과 미분 가능성 증명을 위해 Nash–Moser 역함수 정리를 사용한다.
• 이 방법은 잠재함수의 헤시안의 재귀적 분해와 선형화된 연산자의 계수를 철저히 제어하는 데 의존한다.
• 고차원 노름을 제어하기 위해 Poincaré 유형 부등식과 가중 L² 추정을 사용한다.
• 구성은 Sobolev 공간 C^n에서 수행되며, 연산자의 계수들이 잠재함수의 C^{n+2} 노름에 대해 균일한 유계성을 가진다.

실험 결과

연구 질문

• RQ1 Knothe–Rosenblatt 재배치는 연속 경로를 통해 Brenier의 최적 운반 지도로 부드럽게 변형될 수 있는가?
• RQ2 이 경로를 따라 Kantorovich 잠재함수의 진동을 지배하는 PDE는 무엇인가?
• RQ3 t=0에서의 초기 조건은 표준 ODE 케이스와 어떻게 다를까? 그 구조는 어떠한가?
• RQ4 이러한 열화된 PDE 시스템을 해결하기 위해 Nash–Moser 정리를 적용할 수 있는가?
• RQ5 이 프레임워크는 균일하고 이산적인 측도에 대한 이전의 ODE 결과를 부드럽고 일반적인 측도에 대해 토러스 위로 일반화하는가?

주요 결과

• Knothe의 재배치에서 Brenier의 지도로의 최적 운반 지도의 진동은 부드럽고, 토러스 위에서 Kantorovich 잠재함수에 대한 PDE에 의해 지배된다.
• PDE는 t=0에서 비자명한 초기 조건을 가지며, 이는 필수적이며 단순한 ODE 형태로는 축약될 수 없다.
• 초기 측도에 대한 부드러움 가정 하에, 모든 n에 대해 Sobolev 공간 C^n 내에서 해가 존재하고 부드럽다.
• PDE가 t=0에서 열화되어 있어, 해의 존재성과 부드러움을 보장하기 위해 Nash–Moser 역함수 정리를 사용한다.
• 이 방법은 Carlier, Galichon, 및 Santambrogio의 이전 ODE 결과를 부드러운 자료를 가진 전체 PDE 프레임워크로 일반화한다.
• 이 프레임워크는 계속 기법과 PDE 해법기를 기반으로 한 최적 운반 분야의 새로운 이론적 기초를 제공한다.