[논문 리뷰] Pairwise optimal coupling of multiple random variables

Omer Angel, Yinon Spinka|arXiv (Cornell University)|2019. 03. 02.

Limits and Structures in Graph Theory참고 문헌 10인용 수 6

한 줄 요약

이 논문은 두 개 이상의 랜덤 변수로 일반화된 고전적 최적 결합 정리에 대해, 쌍별로 다른 확률이 $\frac{2d_{\mathrm{TV}}(X,Y)}{1 + d_{\mathrm{TV}}(X,Y)}$ 이하로 제한되는 결합을 구성함으로써, 여러 경우에서 최상의 경계를 달성한다. 이 구성은 균일한 랜덤 순열과 기각 샘플링 기반의 두 가지 서로 다른 방법을 사용하며, 둘 다 동일한 최적의 최악의 경우 이질성 비율을 도출한다.

ABSTRACT

We generalize the optimal coupling theorem to multiple random variables: Given a collection of random variables, it is possible to couple all of them so that any two differ with probability comparable to the total-variation distance between them. In a number of cases we show that the disagreement probability we achieve is the best possible. The proofs of sharpness rely on new results in extremal combinatorics, which may be of independent interest.

연구 동기 및 목표

• 고전적인 두 변수 최적 결합 정리를 다수의 랜덤 변수 집합으로 확장한다.
• 쌍별 이질성 확률이 전체 변화 거리에 따라 제한되는 결합을 수립한다.
• 유도된 경계가 특정 경우, 특히 크기가 다른 집합에서 균일 분포를 가지는 경우에 최적이 됨을 증명한다.
• 문제를 극한 조합론과 연결하여, 집합의 교차 패턴에 대한 날카운 경계가 최적성에 기여함을 보여준다.
• 일반적인 비용 함수를 가진 다중 마진 최적 운반 문제로 결과를 일반화할 가능성 탐색

제안 방법

• 공통 인덱스 집합 위에서 균일한 랜덤 순열을 사용하여 결합을 구성함으로써, 변수 간 이질성 확률을 최소화한다.
• 클라인버그–타르도스의 영감을 얻은 기각 샘플링 기반 방법을 사용하여, 이질성이 제한된 이산 랜덤 변수를 결합한다.
• 구조화된 랜덤 변수 가족, 특히 부분집합에서 균일 분포를 가지는 경우의 쌍별 이질성 수를 분석하기 위해 극한 조합론을 적용한다.
• 대칭성과 포함-배제 원리를 활용하여, 가족 내 모든 쌍에 대한 총 이질성의 하한을 유도한다.
• 인덱스 집합의 크기가 증가함에 따라 점점 커지는 점근적 행동을 분석하여, $F(x) = \frac{2x}{1+x}$의 이질성 경계 최적성 증명.
• $\alpha < 1$의 스케일링을 사용하여 $\alpha = 1$의 경우에서의 최적성 결과를 일반적인 이질성 경계로 확장한다.

실험 결과

연구 질문

• RQ1 두 랜덤 변수에 대한 최적 결합 경계를 다수의 랜덤 변수로 일반화하면서도 날카운 경계를 유지할 수 있는가?
• RQ2 모든 다수 변수의 결합에서 쌍별 이질성에 대해 $\frac{2d_{\mathrm{TV}}(X,Y)}{1 + d_{\mathrm{TV}}(X,Y)}$ 경계가 최적이 되는가?
• RQ3 균일 분포를 가지는 부분집합에서의 랜덤 변수 가족에서 총 이질성을 최소화하는 조합 구성은 무엇인가?
• RQ4 두 이질성 경계의 점별 최소값이 여전히 유효한 이질성 경계가 되는가?
• RQ5 결과를 일반적인 비용 함수를 가진 다중 마진 최적 운반 문제로 일반화할 수 있는가?

주요 결과

• 모든 변수가 공통의 $\sigma$-유한 측도에 대해 절대 연속일 경우, 모든 쌍에 대해 $\mathbb{P}(X \neq Y) \leq \frac{2d_{\mathrm{TV}}(X,Y)}{1 + d_{\mathrm{TV}}(X,Y)}$ 를 만족하는 결합이 존재함을 증명한다.
• 특히 지름 $n$인 집합에서의 균일 분포를 가지는 경우, 이 경계가 최적이 됨을 입증한다. 특히 $k \gg n$일 때.
• $d_{\mathrm{TV}} = 1 - \frac{1}{n}$ 인 경우, 최적의 이질성 확률은 $F(1 - \frac{1}{n}) = \frac{2n-2}{2n-1}$ 이며, 이 경계는 $k \to \infty$의 극한에서 날카롭게 유지된다.
• 최적성 증명은 극한 조합론에 기반한다: 교차 크기가 $n-1$인 쌍의 수가 지배적이며, 동일한 최소 원소를 가진 이러한 쌍의 최대 수는 $\frac{n_5}{5}$ 이며, 이는 날카운 경계를 이끈다.
• 점근적 분석을 통해 집합계의 행동을 분석함으로써, $x = 1 - \frac{1}{n}$ 인 경우에 $F(x) = \frac{2x}{1+x}$ 경계가 최적이 됨을 증명한다.
• 균일 분포를 가지는 동일한 크기의 집합에 대해 이 경계 $\frac{2d_{\mathrm{TV}}}{1 + d_{\mathrm{TV}}}$ 가 날카롭게 유지됨을 보이며, 브로더와 카리카르의 기존 결과와 일치한다.