[論文レビュー] On the critical value function in the divide and color model

András Bálint, Vincent Beffara+1 more|arXiv (Cornell University)|Sep 15, 2011

Stochastic processes and statistical mechanics参考文献 11被引用数 9

ひとこと要約

本稿は、グラフ上の分割して色を塗る（DaC）モデルにおける臨界着色値 $ r_c^G(p) $ の連続性と単調性を調査し、$ \mathbb{Z}^2 $ に対して $ r_c^G(p) $ が $[0, \frac{1}{2})$ で連続であることを示している。また、$ p = \frac{1}{2} $ で $ r_c^G(p) $ が不連続となる有界次数のグラフを構成し、確率的臨界現象における局所性に関する問題を解決した。

ABSTRACT

The divide and color model on a graph $G$ arises by first deleting each edge of $G$ with probability $1-p$ independently of each other, then coloring the resulting connected components (\emph{i.e.}, every vertex in the component) black or white with respective probabilities $r$ and $1-r$, independently for different components. Viewing it as a (dependent) site percolation model, one can define the critical point $r_c^G(p)$. In this paper, we mainly study the continuity properties of the function $r_c^G$, which is an instance of the question of locality for percolation. Our main result is the fact that in the case $G=\mathbb Z^2$, $r_c^G$ is continuous on the interval $[0,1/2)$; we also prove continuity at $p=0$ for the more general class of graphs with bounded degree. We then investigate the sharpness of the bounded degree condition and the monotonicity of $r_c^G(p)$ as a function of $p$.

研究の動機と目的

• 分割して色を塗るモデルにおけるエッジパラメータ $ p $ に対する臨界着色パラメータ $ r_c^G(p) $ の依存関係を理解すること。
• グラフ構造と関連して、特に $ p = 0 $ および $ p = \frac{1}{2} $ における $ r_c^G(p) $ の連続性の性質を調査すること。
• 連続性に対する有界次数条件の鋭さを検討し、$ r_c^G(p) $ が $ p $ に関して単調であるかどうかを特定すること。
• 臨界値関数に不連続性を示すグラフの明示的例を構成し、結合確率の臨界閾値未満で不連続性が生じることを示すこと。
• DaCモデルと確率的臨界現象における局所性問題との関係を確立すること。

提案手法

• 確率的支配を用いて、サイト確率的臨界値 $ r_c^G(0) $ を用いた $ r_c^G(p) $ の境界を導出する。
• コルモゴロフの0-1法則とカップリング技術を適用し、DaCモデルにおける無限大黒クラスタ発生確率を分析する。
• グラフ $ D_n $ の再帰的構成を用い、その系列から極限グラフ $ G = \Gamma_D $ を定義することで臨界挙動を研究する。
• 補題15を活用し、有限グラフにおけるクラスタ確率の極限と無限極限グラフにおける臨界値を関連付ける。
• 補題16を用いて、$ p = \frac{1}{2} $ で鋭い閾値挙動を示す有界次数のグラフ系列を構成し、$ r_c^G(p) $ の不連続性を可能にする。
• 関数 $ f^{D_n}(p,r) $ および $ h^{D_n}(p) $ の漸近的挙動を分析し、臨界閾値条件を用いて $ r_c^G(p) $ の極限を導出する。

実験結果

リサーチクエスチョン

• RQ1 有界次数のグラフに対して、$ p = 0 $ における臨界値関数 $ r_c^G(p) $ は連続か？
• RQ2 有界次数のグラフであっても、$ p > 0 $ で $ r_c^G(p) $ に不連続性が生じるか？
• RQ3 有界次数の仮定は $ r_c^G(p) $ の連続性にどのように影響し、それが鋭いか？
• RQ4 DaCモデルは、エッジ保持確率 $ p $ の微小な摂動が $ r_c^G(p) $ に小さな変化をもたらすという意味で局所的か？
• RQ5 $ \mathbb{Z}^2 $ 上の基本的な結合確率的構造と臨界値 $ r_c^G(p) $ の関係は何か？

主な発見

• $ G = \mathbb{Z}^2 $ に対して、臨界値関数 $ r_c^G(p) $ は区間 $[0, \frac{1}{2})$ で連続である。
• 任意の有界次数のグラフ $ G $ に対して、確率的支配の境界により $ p = 0 $ で $ r_c^G(p) $ が連続であることが示された。
• あるグラフ $ G $ が存在し、$ p_c^G > 0 $ であるが $ r_c^G(p) $ は $ p = 0 $ で不連続である。これは、$ p = 0 $ での連続性に有界次数が必要であることを示している。
• 有界次数のグラフ $ G $ が存在し、$ p_c^G > \frac{1}{2} $ であるが $ r_c^G(p) $ は $ p = \frac{1}{2} $ で不連続である。これは、鋭い閾値挙動を示すグラフ系列を用いて構成された。
• すべての $ p > 0 $ に対して $ \lim_{n \to \infty} f^{D_n}(p,r) = p + (1-p)r $ が成り立ち、$ p \to 0^+ $ のとき $ r_c^G(p) \to \frac{1}{2} $ となるが、$ r_c^G(0) = \frac{1}{\sqrt{2}} $ であるため、$ p = 0 $ で不連続であることが確認された。
• $ p = \frac{1}{2} $ に対して、$ r_c^G(\frac{1}{2}) \leq r_1 < r_0 \leq r_c^G(p) $ がすべての $ p < \frac{1}{2} $ に対して成り立ち、ここで $ r_0 $ は $ r(1 + r) = 1 $ を満たし、$ r_1 = \frac{1}{2} $ である。これにより、$ \frac{1}{2} $ で不連続であることが証明された。