[論文レビュー] Critical Percolation and the Minimal Spanning Tree in Slabs

Charles M. Newman, Vincent Tassion+1 more|arXiv (Cornell University)|Dec 30, 2015

Stochastic processes and statistical mechanics参考文献 17被引用数 4

ひとこと要約

本稿では、$\mathbb{Z}^{2} \times \{0,\ldots,k\}^{d-2}$ 上の最小スパニングフォレストが、すべての $d \geq 2$ に対してほとんど確実に1つの木であることを、一般化された接着補題と、このようなグラフにおける臨界確率的流れのRusso-Seymour-Welsh型定理を用いて確立する。さらに、臨界状態における大規模クラスタ確率の多項式的減衰を示し、無限クラスタの不在を強化する。

ABSTRACT

The minimal spanning forest on $\mathbb{Z}^{d}$ is known to consist of a single tree for $d \leq 2$ and is conjectured to consist of infinitely many trees for large $d$. In this paper, we prove that there is a single tree for quasi-planar graphs such as $\mathbb{Z}^{2} imes {\{0,\ldots,k\}}^{d-2}$. Our method relies on generalizations of the "Gluing Lemma" of arXiv:1401.7130. A related result is that critical Bernoulli percolation on a slab satisfies the box-crossing property. Its proof is based on a new Russo-Seymour-Welsh type theorem for quasi-planar graphs. Thus, at criticality, the probability of an open path from $0$ of diameter $n$ decays polynomially in $n$. This strengthens the result of arXiv:1401.7130, where the absence of an infinite cluster at criticality was first established.

研究の動機と目的

• $d > 2$ の場合に $\mathbb{Z}^d$ 上の最小スパニングフォレストが1つの木であるかどうかという未解決問題を、準平面的近似としての厚みのあるスラブ $\mathbb{Z}^2 \times \{0,\ldots,k\}^{d-2}$ を用いて解くこと。
• スラブ上の臨界ベルヌーイ確率的流れに対してボックスクロージング性質を確立し、臨界状態における大規模クラスタ確率の多項式的減衰を示すこと。
• [DST15a]における接着補題技術を準平面的グラフへと拡張し、最小スパニングフォレストおよび確率的流れクラスタの構造を制御すること。
• 準平面的グラフにおける臨界確率的流れに対するRusso-Seymour-Welsh型定理を新たに確立し、臨界状態で長方形内に長距離のクロージングが正の確率で存在することを保証すること。

提案手法

• [DST15a]における接着補題を一般化し、確率的流れ構成間の測度を保つ写像における事前像の数を制御することで、まれな事象の確率を比較可能にする。
• 写像 $\Phi$ を構築し、エッジ構成を制御的に変更する：最小 $p_c$-開回路 $\Gamma_{\min}$ のエッジを開き、経路 $\Gamma_w$ のエッジを開き、$\overline{B}_1^\#(z')$ の近傍のエッジを、重要な回路や経路を除き閉じる。
• $\Phi$ による最小 $p_c$-開回路 $\Gamma_{\min}(\omega)$ の不変性を用い、新たな臨界回路が生成されないよう保証し、事前像の数が有界であるまで単射性を確保する。
• 補題4.2を適用し、まれな事象の確率を、局所的近傍 $\overline{B}_1^\#(z')$ 内のエッジ数に依存する定数倍のより一般的な事象の確率で上から抑える。
• 新しいRSW型の議論を準平面的幾何に適応させ、長方形内の長距離クロージングが臨界状態で正の確率で発生することを示すことにより、ボックスクロージング性質を確立する。
• スラブの準平面的構造を活用し、平面的確率的流れ技法を高次元に拡張することで、クラスタの幾何とスパニングフォレストの連結性を制御する。

実験結果

リサーチクエスチョン

• RQ1 すべての $d \geq 2$ に対して、$\mathbb{Z}^2 \times \{0,\ldots,k\}^{d-2}$ 上の最小スパニングフォレストはほとんど確実に1つの木であるか？
• RQ2 このようなスラブ上の臨界ベルヌーイ確率的流れはボックスクロージング性質を満たすか？ これにより、臨界状態における大規模クラスタ確率の多項式的減衰が示唆される。
• RQ3 接着補題技術を準平面的グラフに一般化することは可能か？ これにより、確率的流れおよびスパニングフォレストモデルにおけるまれな事象の測度を制御できるか？
• RQ4 準平面的グラフにおける臨界確率的流れに対して、Russo-Seymour-Welsh型定理は成立するか？ これにより、臨界状態で長距離クロージングが正の確率で存在することが保証されるか？

主な発見

• 任意のスラブ $\mathbb{Z}^2 \times \{0,\ldots,k\}^{d-2}$ 上の最小スパニングフォレストは、ほとんど確実に1つの木である。これは、$d=2$ の場合に既知の結果を、この準平面的設定において高次元に拡張したものである。
• スラブ上の臨界ベルヌーイ確率的流れはボックスクロージング性質を満たす。これは、長方形内のクロージング確率が臨界状態で正の定数で一様に下から抑えられることを意味する。
• 直径 $n$ の臨界クラスタの確率は、$n$ に関して多項式的に減衰する。具体的には、$\mathbb{P}(\text{diam}(\mathcal{C}_0) \geq n) \leq C n^{-\alpha}$（$\alpha > 0$）が成り立ち、逆べき則の減衰が確認される。
• 準平面的グラフにおける新しいRusso-Seymour-Welsh型定理が確立され、臨界状態で長方形内に開回路が正の確率で存在することを証明した。
• 一般化された接着補題により、確率的流れにおけるまれな事象の確率を、局所的幾何に依存する定数で制御可能な比較が可能になった。
• 証明技法は平面性に依存せず、局所的幾何的制御と測度比較を用いることで、平面的結果を厚みのあるスラブグラフに拡張した。