[논문 리뷰] On the rate of convergence of empirical measures in $\infty$-transportation distance

Nicolás García Trillos, Dejan Slepčev|arXiv (Cornell University)|2014. 07. 04.

Geometry and complex manifolds참고 문헌 9인용 수 3

한 줄 요약

이 논문은 유계이고 연결된 영역에서 국소적으로 연속적인 확률측도로부터 i.i.d. 표본을 취할 때, 경험측도의 ∞-운반 거리에서 수렴 속도에 대한 최적의 상한을 확립한다. 경계가 리프시츠 조건을 만족하는 영역에서 이 상한은 2차원에서는 $ \frac{\ln(n)^{3/4}}{n^{1/2}} $, $ d \geq 3 $ 차원에서는 $ \frac{\ln(n)^{1/d}}{n^{1/d}} $ 로 스케일되며, 높은 확률로 성립하며, 표본 수 $ n $ 에 대한 스케일링 측면에서 최적이 됨을 보여준다.

ABSTRACT

We consider random i.i.d. samples of absolutely continuous measures on bounded connected domains. We prove an upper bound on the $\infty$-transportation distance between the measure and the empirical measure of the sample. The bound is optimal in terms of scaling with the number of sample points.

연구 동기 및 목표

• 확률측도와 그 경험측도 사이의 ∞-운반 거리에 대한 정밀한 수렴 속도 추정치가 부족한 문제를 다루기.
• 표본 수 $ n $ 에 대한 스케일링 측면에서 최적이 되는, ∞-운반 거리에 대한 비점근적 상한을 확립하기.
• 기존의 최소-최대 매칭 및 최적 운반 이론을 일반적인 국소적으로 연속적인 측도로 확장하여, 경계가 리프시츠 조건을 만족하는 영역에서 유계 밀도를 가진 경우에 적용하기.
• 기본 측도에 대한 최소한의 정규성 가정 하에서 수렴 속도의 확률적 분석을 제공하기.
• 특히 2차원에서의 로그 보정 항이 포함된 스케일링의 최적성에 초점을 맞춰 유도된 경계의 $ n $-스케일링 측면에서의 최적성 확인하기.

제안 방법

• 영역을 이진 분할된 큐브로 분할하여 경험측도와 진짜 측도 사이의 국소적 차이를 제어하기.
• 영역의 부분 영역과 기준 큐브 사이의 이중-립시츠 사상(비틀림이 없는 사상)을 구성하여, 규칙적인 격자에서 유도된 매칭 추정치를 비정규 영역으로 이식하기.
• 집중 부등식과 이진 수준에 대한 유니온 바운드를 적용하여, 모든 표본 점들 사이의 최대 이동 거리를 제어하기.
• 밀도가 0과 무한대에서 균일하게 떨어져 있음을 이용하여 영역 전반에서 균일한 표본 추출 행동을 보장하기.
• 이산 설정에서 ∞-운반 거리가 최소-최대 매칭 거리와 동치임을 증명하여, 매칭 이론 기법의 적용 가능성을 확보하기.
• 유닛 큐브에서 르베그 측도에 대해 알려진 하한과 비교하여, 유도된 경계가 최적이 됨을 증명하기.

실험 결과

연구 질문

• RQ1 표본 수 $ n $ 에 대해 확률측도와 그 경험측도 사이의 ∞-운반 거리의 최적 수렴 속도는 무엇인가?
• RQ2 수렴 속도는 차원 $ d $ 에 따라 어떻게 달라지며, 특히 2차원 및 $ d \geq 3 $ 경우에서 어떻게 되는가?
• RQ3 기본 측도가 리프시츠 경계를 가진 영역에서 유계 밀도를 가질 경우, 수렴 속도를 향상 또는 강화할 수 있는가?
• RQ4 2차원에서의 로그 보정 항 $ \ln(n)^{3/4} $ 과 고차원에서의 $ \ln(n)^{1/d} $ 는 필수적이며 최적이 되는가?
• RQ5 경계는 높은 확률로 성립하며, $ n $-스케일링 측면에서 최적이 되는가?

주요 결과

• 논문은 진짜 측도 $ \nu $ 와 경험측도 $ \nu_n $ 사이의 ∞-운반 거리에 대해 상한을 확립하였으며, 이는 2차원에서 $ \frac{\ln(n)^{3/4}}{n^{1/2}} $ 로 스케일된다.
• 3차원 이상의 차원 $ d \geq 3 $ 에서는 상한이 $ \frac{\ln(n)^{1/d}}{n^{1/d}} $ 로 스케일되며, 로그 요소를 제외한 기존 하한과 일치한다.
• 이 경계는 높은 확률로 성립하며, 구체적으로 임의의 고정된 $ \alpha > 2 $ 에 대해 확률이 $ O(n^{-\alpha/2}) $ 인 집합을 제외한 나머지에서 성립한다.
• 유도된 경계는 $ n $ 에 대한 스케일링 측면에서 최적이며, 주어진 가정 하에 더 빠른 수렴 속도는 불가능함을 의미한다.
• 기존의 유닛 큐브에서의 최소-최대 매칭 연구를 일반적인 국소적으로 연속적인 측도로 확장하여, 리프시츠 경계를 가진 영역에서 밀도가 유계인 경우에 적용하였다.
• 증명은 이진 큐브로의 영역 분할과, 규칙적인 격자에서 영역 기하학으로 매칭 추정치를 이식하기 위한 이중-립시츠 사상의 구성에 기반한다.