[論文レビュー] Invariant matchings of exponential tail on coin flips in $\Z^d$

Ádám Timár|ArXiv.org|Sep 6, 2009

Game Theory and Voting Systems参考文献 5被引用数 17

ひとこと要約

本稿は、$ℤ^d$ 上の i.i.d. ベルヌーイ(1/2) パーコレーションにおける開点と閉点の間で、一致距離の尾確率を最小化する不変マッチングを構築する。$d=2$ の場合、最適な $r^{-1/2}$ の減衰を達成する。$d \geq 3$ の場合、新規の等長的分割法と粗化セル上のマッチングの反復的安定化により、従来の境界と比べて顕著に改善された指数的尾確率 $×p(-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) パーコレーションにおける $ℤ^d$ 上の開点と閉点の間で、一致距離の尾確率を最小化する決定的かつ等長的完全マッチングを構築すること。
• $\mathbb{P}[\text{dist}(o, \phi(o)) > r]$ の最も速い減衰率を、次元 $d=2$ および $d \geq 3$ で達成すること。
• 一般化可能な手法を確立し、ポアソン点過程や割り当て問題への応用が可能となるようにし、不変性と最適性を維持すること。
• $\mathbb{Z}^d$ の一連の粗い、等長的分割を構成し、セルが擬立方体であり、i.i.d. ラベルを持つようにすること。

提案手法

• 高確率で原点を含むセルが $2^i$-擬立方体であり、i.i.d. ベルヌーイ(1/2) ラベルを持つような、$ℤ^d$ の一連の粗い、等長的分割 $\{\mathcal{Q}_i\}$ を構築する。
• 安定化手順を用いる：各分割レベルで、各セル内における異符号の未マッチド点をマッチングし、スケール全体にわたって段階的にマッチングを精錬する。
• 等周的および擬立方体条件を適用して境界効果を制御し、マッチングプロセスがレベル間で安定化することを保証する。
• カットセットと容量推定に基づき、修正されたグラフ上のフロー的議論を用いて、所望の尾確率境界を持つマッチングの存在を証明する。
• マッチング安定性を制御する関数 $f(x)$ を導入し、$f(x) \propto x^{(d-1)/d} (\log x \log \log x)^{-1}$ のような選択により、より良い尾確率境界が得られることを示す。
• 二進分解と二進擬立方体を用いて表面積を抑え、マッチング誤差の和が十分に速く減少することを保証する。

実験結果

リサーチクエスチョン

• RQ1 不変マッチングにおける尾確率 $\mathbb{P}[\text{dist}(o, \phi(o)) > r]$ の最も速い減衰率は何か、$ℤ^d$ で達成可能か？
• 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$ を用いている。
• 証明では、修正されたグラフ上のフロー的議論を用い、自然なカットセット以外に最小カットセットが存在しないことを示し、マッチングプロセスの安定化を保証する。