[논문 리뷰] Invariant matchings of exponential tail on coin flips in $\Z^d$

Ádám Timár|ArXiv.org|2009. 09. 06.

Game Theory and Voting Systems참고 문헌 5인용 수 17

한 줄 요약

이 논문은 $\mathbb{Z}^d$ 위에서 i.i.i.d. 베르누이(1/2) 퍼콜레이션에서 열린 정점과 닫힌 정점 사이의 불변 매칭을 구축하여 매칭 거리의 尾확률을 최소화한다. $d=2$인 경우 최적의 $r^{-1/2}$ 감쇠를 달성하고, $d \geq 3$인 경우는 새로운 등변 분할 기반 및 다단계 셀의 매칭 안정화를 통해 이전의 경계보다 크게 향상된 지수적 尾확률 $\exp(-cr^{d-2-\epsilon})$를 달성한다.

ABSTRACT

Consider Bernoulli(1/2) percolation on $\Z^d$, and define a perfect matching between open and closed vertices in a way that is a deterministic equivariant function of the configuration. We want to find such matching rules that make the probability that the pair of the origin is at distance greater than $r$ decay as fast as possible. For two dimensions, we give a matching of decay $cr^{1/2}$, which is optimal. For dimension at least 3 we give a matching rule that has an exponential tail. This substantially improves previous bounds. The construction has two major parts: first we define a sequence of coarser and coarser partitions of $\Z^d$ in an equivariant way, such that with high probability the cell of a fixed point is like a cube, and the labels in it are i.i.d. Then we define a matching for a fixed finite cell, which stabilizes as we repeatedly apply it for the cells of the consecutive partitions. Our methods also work in the case when one wants to match points of two Poisson processes, and they may be applied to allocation questions.

연구 동기 및 목표

• i.i.d. 베르누이(1/2) 퍼콜레이션에서 $\mathbb{Z}^d$ 위에서 열린 정점과 닫힌 정점 사이의 결정론적, 등변 완전 매칭을 구성하여 매칭 거리의 尾확률을 최소화하는 것.
• 차원 $d=2$와 $d \geq 3$에서 $\mathbb{P}[\text{dist}(o, \phi(o)) > r]$의 가능한 한 가장 빠른 감쇠 속도를 달성하는 것.
• 일반적인 방법을 개발하여 포아송 점 과정과 할당 문제에 적용 가능하게 하되, 불변성과 최적성을 유지하는 것.
• 셀이 i.i.d. 레이블을 가진 허위 큐브인 등변 분할의 시퀀스를 구축하여 국소적 매칭을 가능하게 하는 것.

제안 방법

• 높은 확률에서 원점이 포함된 셀이 $2^i$-허위 큐브이고 i.i.d. 베르누이(1/2) 레이블을 가진, $\mathbb{Z}^d$의 더 흐린 등변 분할 $\{\mathcal{Q}_i\}$의 시퀀스를 구성한다.
• 정착 절차를 사용: 각 분할 수준에서, 각 셀 내에서 서로 다른 레이블을 가진 매칭되지 않은 점들을 매칭하고, 스케일 간에 반복적으로 매칭을 정교화한다.
• 표면적과 허위 큐브 조건을 적용하여 경계 효과를 통제하고 매칭 과정이 수준 간에 안정화됨을 보장한다.
• 자르기 집합과 용량 추정을 기반으로 수정된 그래프 위에서 유량 기반 추론을 사용하여, 원하는 尾확률 경계를 가진 매칭의 존재를 증명한다.
• 매칭 안정성을 제어하는 함수 $f(x)$를 도입하며, $f(x) \propto x^{(d-1)/d} (\log x \log \log x)^{-1}$와 같은 선택은 더 나은 尾확률 경계를 제공한다.
• 이중 분할과 이중 허위 큐브를 사용하여 표면적을 제한하고, 매칭 오차의 합이 충분히 빠르게 감쇠하도록 보장한다.

실험 결과

연구 질문

• RQ1 불변 매칭에서 $\mathbb{Z}^d$ 위에서 $\mathbb{P}[\text{dist}(o, \phi(o)) > r]$의 가능한 한 가장 빠른 감쇠 속도는 무엇인가?
• RQ2 차원 $d \geq 3$에서 지수적 尾확률 감쇠를 갖는 불변 매칭을 구성할 수 있는가?
• RQ3 $d=2$에서 최적의 $r^{-1/2}$ 감쇠를 달성할 수 있으며, 이 경계는 날카로운가?
• RQ4 이 방법을 두 개의 동일한 강도를 가진 독립된 포아송 과정 간의 매칭으로 확장할 수 있는가?
• RQ5 어떤 분할의 구조적 성질이 안정적이고 불변적인 매칭 및 빠른 감쇠를 가능하게 하는가?

주요 결과

• d=2인 경우, 논문은 매칭 거리의 尾확률 감쇠가 $\mathbb{P}[\text{dist}(o, \phi(o)) > r] \leq c r^{-1/2}$임을 보이며, 이는 $d/2$-번째 모멘트에 대한 알려진 하한 덕분에 최적이며, 이는 최적임을 보장한다.
• d \geq 3인 경우, 논문은 매칭 거리의 尾확률 감쇠가 $\mathbb{P}[\text{dist}(o, \phi(o)) > r] \leq C \exp(-c r^{d-2-\epsilon})$임을 보이며, 이는 이전의 경계보다 크게 향상된다.
• 이 구성은 원점의 셀이 i.i.d. 레이블을 가진 허위 큐브인 등변 분할의 시퀀스에 의존하며, 이 사건의 확률은 $1 - c 2^{-2^{i-1}}$를 초과한다.
• 이 방법은 두 개의 동일한 강도를 가진 독립된 포아송 과정 간의 매칭으로 일반화되며, 일반적인 점의 매칭 거리에 대해 유사한 尾확률 감쇠를 제공한다.
• 함수 $f(x) \propto x^{(d-1)/d} (\log x \log \log x)^{-1}$를 선택하면 尾확률 경계를 $\exp(-c r^{d-2}/(\log r \log \log r))$로 향상시킬 수 있으나, 논문은 단순성을 위해 약간 더 약한 $f$를 사용한다.
• 증명은 수정된 그래프 위에서의 유량 기반 추론을 사용하여, 자연스러운 자르기 집합 이외의 최소 자르기 집합이 존재하지 않음을 보이며, 이는 매칭 과정이 안정화됨을 보장한다.