[논문 리뷰] A large-scale regularity theory for the Monge-Ampere equation with rough data and application to the optimal matching problem

Michaël Goldman, Martin Huesmann외 1명|arXiv (Cornell University)|2018. 08. 28.

Geometric Analysis and Curvature Flows참고 문헌 22인용 수 13

한 줄 요약

이 논문은 날카로운 데이터를 가진 몽주-암페르 방정식에 대한 대규모 규칙성 이론을 수립하여, 두 차원에서 최적 운반 지도가 모든 척도에서 로그 발산하는 이동을 제외하고는 항등 지도에 균일하게 가까이 있음을 증명한다. 핵심 결과는 대규모 시스템 크기에서, 운반 지도가 모든 척도에서 항등 지도에 가까이 유지됨을 보여주는 정량적 경계를 제시하는 것이다. 이는 두 차원에서 르베그 측도와 포아송 점 프로세스 사이의 국소적으로 최적이고 정적 결합을 구성하는 데 기여한다.

ABSTRACT

The aim of this paper is to obtain quantitative bounds for solutions to the optimal matching problem in dimension two. These bounds show that up to a logarithmically divergent shift, the optimal transport maps are close to be the identity at every scale. These bounds allow us to pass to the limit as the system size goes to infinity and construct a locally optimal coupling between the Lebesgue measure and the Poisson point process which retains the stationarity properties of the Poisson point process only at the level of second-order differences. Our quantitative bounds are obtained through a Campanato iteration scheme based on a deterministic and a stochastic ingredient. The deterministic part, which can be seen as our main contribution, is a regularity result for Monge-Ampère equations with rough right-hand side. Since we believe that it could be useful in other contexts, we prove it for general space dimensions. The stochastic part is a concentration result for the optimal matching problem which builds on previous work by Ambrosio, Stra and Trevisan.

연구 동기 및 목표

• 일반 차원에서 날카로운 우변을 가진 몽주-암페르 방정식에 대한 대규모 규칙성 이론을 개발하는 것.
• 르베그 측도와 포아송 점 프로세스 사이의 최적 매칭 문제에 대해 비critical 차원 d=2에서 최적 운반 지도에 대한 정량적 경계를 제공하는 것.
• 주기적인 최적 운반 지도의 무한 체적 극한을 취하여, R²에서 르베그 측도와 포아송 점 프로세스 사이의 국소적으로 최적이고 정적 결합의 존재를 확립하는 것.
• 결정론적 규칙성 추정과 확률적 농도 결과를 연결하여 최적 매칭 문제에서의 변동성을 제어하는 것.

제안 방법

• 카판라토 반복 체계가 사용되며, 날카로운 데이터를 가진 몽주-암페르 방정식의 결정론적 규칙성 결과와 최적 매칭 문제에 대한 확률적 농도 추정을 결합한다.
• 결정론적 구성요소는 모든 차원에서 우변의 최소한의 적분 조건 하에서 몽주-암페르 방정식 해의 호일더 연속성을 확립한다.
• 확률적 구성요소는 포아송 점 프로세스에 대한 측도 농도를 사용하며, 암브로시오, 스트라, 트레비산의 이전 작업을 바탕으로 매칭 비용의 변동성을 제어한다.
• 운반 지도가 항등 지도에 얼마나 가까운지를 척도 불변 L² 노름으로 측정하며, 이는 이중 척도에서 균일하게 유도된 경계를 가진다.
• 무한 체적 결합의 구축은 체적 L→∞에서 토러스 위의 유한 체적 최적 운반 지도의 약한 수렴에 기반한다.
• 극한 결합은 두 번째 차수의 차분 수준에서만 정적 성질을 유지하며, 이는 2차원 매칭 비용의 로그 발산을 반영한다.

실험 결과

연구 질문

• RQ1 우변이 날카로운 경우 몽주-암페르 방정식 해에 대한 정량적 규칙성 추정을 어떻게 확보할 수 있는가?
• RQ2 체적 크기 L→∞일 때, 두 차원에서 르베그 측도와 포아송 점 프로세스 사이의 최적 매칭 비용의 渐近적 행동은 어떠한가?
• RQ3 주기적인 최적 운반 지도의 극한을 취하여, R²에서 르베그 측도와 포아송 점 프로세스 사이의 정적이고 국소적으로 최적의 결합을 구성할 수 있는가?
• RQ4 2차원 최적 매칭 문제에서 운반 지도가 모든 척도에서 항등 지도에 얼마나 가까이 유지되는가? 그리고 이를 어떻게 정량화할 수 있는가?

주요 결과

• d=2일 때, 랜덤 반경 r*,L이 존재하여 r*,L ≪ L이며, cr*,L² / log(2r*,L)의 기대 지수 모멘트가 모든 L에 대해 균일하게 유계임을 보였다.
• 모든 척도 ℓ ∈ [2r*,L, L]에서 운반 지도 T는 L² 의미에서 항등 지도에 더한 이동 xL에 대해 균일하게 가까이 있다. 경계는 ∫_{Bℓ(xL)} |T - (x - xL)|² dx ≲ ℓ⁴ log³(ℓ/r*,L) / (ℓ/r*,L)² 로 유도된다.
• 이동 xL는 |xL|² ≲ r*,L² log³(L/r*,L)를 만족하며, 이는 질량 중심 이동이 체적에 대해 초선형적으로 증가함을 나타낸다.
• 항등 지도에서의 L² 이격 경계는 ∫_{Bℓ(xL)} |T - (x - ξ)|² dx ≲ ℓ⁴ log(ℓ/r*,L) / (ℓ/r*,L)² 를 만족하는 어떤 ξ ∈ R²에 대해 개선되었으며, 이는 거의 최적임을 보여준다.
• 르베그 측도와 포아송 점 프로세스 사이의 극한 결합은 국소적으로 최적이며 공변성을 가지나, 정적 성질은 두 번째 차수의 차분 수준에서만 유지된다.
• 무한 체적 결합의 구축은 유한 체적 최적 지도의 약한 수렴과 모든 척도에서 변동성을 제어하기 위한 결정론적 규칙성 이론의 사용에 기반한다.