[논문 리뷰] Fréchet barycenters in the Monge-Kantorovich spaces

Alexey Kroshnin|arXiv (Cornell University)|2017. 02. 19.

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

한 줄 요약

이 논문은 몽제-칸토로비치 공간에서 프레셰 바리센터를 도입하여, 임의의 라돈 공간과 연속적이며 음이 아닌 비용 함수로 일반화된 워셔스타인 바리센터를 제안한다. 확률 측도의 약한 수렴 하에서 바리센터의 존재성과 수렴 성질을 확립하며, 경험 바리센터에 대한 대수의 법칙을 증명하고, 바리센터가 분포 수렴에 대해 안정적임을 보인다.

ABSTRACT

We consider the space $\mathcal{P}(X)$ of probability measures on arbitrary Radon space $X$ endowed with a transportation cost $J(μ, ν)$ generated by a nonnegative continuous cost function. For a probability distribution on $\mathcal{P}(X)$ we formulate a notion of average with respect to this transportation cost, called here the Fréchet barycenter, prove a version of the law of large numbers for Fréchet barycenters, and discuss the structure of $\mathcal{P}(X)$ related to the transportation cost $J$.

연구 동기 및 목표

• 확률 측도 공간 위의 확률 분포에 대해 운반 비용 함수를 사용하여 평균(프레셰 바리센터)의 개념을 정의하기.
• 거리가 아닌 운반 비용에 대해 프레셰 평균의 개념을 일반화하여, 삼각 부등식을 반드시 만족하지는 않는 위상 유도 비용 함수에 대해 적용하기.
• 분포 수렴 하에서 바리센터의 수렴 성질을 확립하며, 특히 경험 바리센터에 대한 대수의 법칙을 증명하기.
• 몽제-칸토로비치 운반 비용을 갖춘 확률 측도 공간의 구조를 분석하고, 바리센터의 존재성과 유일성에 대한 영향을 규명하기.
• 볼록 비용 함수를 갖는 유클리드 공간에서의 결과를, 비용 함수에 대한 미약한 정규성 조건 하에서 일반적인 라돈 공간으로 확장하기.

제안 방법

• 확률 측도 공간 $ \mathcal{P}(X) $ 위의 분포 $ P_{\nu} $의 프레셰 바리센터를, 비용 함수 $ J(\bm{\mu}, \nu) $의 기대 운반 비용 $ \mathbb{E}[J(\bm{\mu}, \nu)] $ 를 최소화하는 값으로 정의한다.
• 몽제-칸토로비치 공식을 사용: $ J(\mu, \nu) = \inf_{\gamma \in \Pi(\mu, \nu)} \int c(x,y) \, d\gamma $, 여기서 $ c(x,y) \geq 0 $ 이며 연속적이며, $ c(x,y) = 0 $ 이면 $ x = y $ 이다.
• 특히 비콤팩트 또는 비거리 공간에서의 존재성과 안정성을 확보하기 위해 정규화 항 $ G(\nu) $ 를 도입한다.
• 약한 수렴과 비용 함수의 등연속성 조건을 이용하여, 일반화된 하향 연속성 논증과 $ J $-위상에서의 컴팩턴스를 통해 바리센터의 수렴을 증명한다.
• 바리센터 사상의 상부 연속성을 확립하고, 경험 바리센터의 극한이 기저 분포의 바리센터임을 증명한다.
• 대수의 법칙을 적용하여 경험 측도 $ \bm{P}_n $ 이 진짜 분포 $ P_{\mu} $ 에 대해 $ \mathcal{J} $-위상에서 수렴함을 보이고, 이는 바리센터의 거의 확실 수렴을 이끌어낸다.

실험 결과

연구 질문

• RQ1 라돈 공간 $ X $ 와 일반적인 운반 비용 $ J $ 에 대해, $ \mathcal{P}(X) $ 위의 확률 분포에 대해 프레셰 바리센터가 존재할 조건은 무엇인가요?
• RQ2 $ \mathcal{P}(X) $ 위의 확률 측도가 $ J $-위상에서 수렴할 경우, 이에 대응하는 프레셰 바리센터의 수렴은 어떻게 영향을 받나요?
• RQ3 기저 측도가 i.i.d. 이라면 경험 프레셰 바리센터에 대해 대수의 법칙을 확립할 수 있나요?
• RQ4 비콤팩트 또는 비거리 공간에서 바리센터의 존재성과 안정성을 보장하기 위해 정규화 $ G(\nu) $ 가 수행하는 역할은 무엇인가요?
• RQ5 비용 함수에 대한 미약한 가정 하에서, 유클리드 공간을 초월해 일반적인 라돈 공간으로 결과를 어떻게 확장할 수 있나요?

주요 결과

• 모든 분포 $ P_{\mu} $ 에 대해, $ \mathbb{E}[J(\bm{\mu}, \cdot)] $ 가 식별적으로 무한대가 아니면, 프레셰 바리센터가 존재한다.
• 분포 수열 $ P_n $ 이 $ \mathcal{P}(\mathcal{P}(X)) $ 에서 $ \mathcal{J} $-위상에서 $ P $ 로 수렴하면, $ P_n $ 의 바리센터는 $ J $-위상에서 $ P $ 의 바리센터로 수렴한다.
• 경험 프레셰 바리센터에 대해 대수의 법칙이 성립한다: i.i.d. 표본 추출 하에서 경험 바리센터 수열은 거의 확실하게 전콤팩트이며, 모든 극한점은 진짜 분포의 바리센터이다.
• 집합값 함수 $ P \mapsto \operatorname{Bar}_G(P) $ 는 상부 연속이며, $ G $ 가 엄격히 볼록하면 바리센터 사상은 연속이 된다.
• 경험 측도 $ \bm{P}_n = \frac{1}{n} \sum_{i=1}^n \delta_{\bm{\mu}_i} $ 에 대해, $ \bm{P}_n \xrightarrow{\mathcal{J}} P_{\mu} $ 가 거의 확실하게 성립하며, 이는 바리센터의 수렴을 이끈다.
• 비용 함수가 부분 삼각 부등식 조건을 만족할 경우, 즉 모든 $ x,y,z \in X $ 에 대해 $ c(x,y) \leq A_\epsilon + (1+\epsilon)c(x,z) + C_\epsilon c(y,z) $ 를 만족하면, 결과는 비용 함수에 대한 동치류로까지 확장된다.