[論文レビュー] Uniqueness of the critical probability for percolation in the two dimensional Sierpinski carpet lattice

Yasunari Higuchi, Xian‐Yuan Wu|arXiv (Cornell University)|Oct 19, 2006

Stochastic processes and statistical mechanics参考文献 6被引用数 3

ひとこと要約

本稿は、2次元シエルピンスキー・カーペット格子における結合確率の臨界確率の唯一性を確立し、臨界確率 $ p_c(S^T) $ が一意に定まることを証明し、$ p_c(S^T) = p_c(G^T) = 1 - p_c(S^{T*}) $ を満たすことを示している。スケーリングの議論とFKG不等式を用いたルッソの公式により、臨界確率における段階的転移の鋭さと、$ p_c $ における透過確率の連続性が示され、クマガイの一般枠組みが残した未解決問題が解決された。

ABSTRACT

We prove that the critical probability for the Sierpinski carpet lattice in two dimensions is uniquely determined. The transition is sharp. This extends the Kumagai's result to the original Sierpinski carpet lattice.

研究の動機と目的

• 2次元オリジナルのシエルピンスキー・カーペット格子における結合透過の臨界確率が一意に定まっているかどうかという未解決問題を解消すること。
• 等式 $ p_c(S^T) = p_c(G^T) = 1 - p_c(S^{T*}) $ を確立し、予想された双対性関係を確認すること。
• 透過確率 $ \theta(p) $ が $ p_c $ で連続であること、つまり段階的転移が生じることを証明すること。
• クマガイの一般的結果を、彼の技術的条件を満たさないオリジナルのシエルピンスキー・カーペット格子にまで拡張すること。

提案手法

• スケーリングの議論を用いて、異なる格子スケール間の貫通確率を関連づけ、特に $ A_n^*(3,1) $ および $ A_n^*(18,1) $ イベントに注目する。
• ルッソの公式を適用し、貫通確率の微分をピボタル辺の期待数として表現する。
• FKG不等式を用いて、双対パスイベントの条件付き確率をバウンドし、ピボタル辺の数の正の相関を保証する。
• ピボタル辺の周囲に互いに交わらないアニュラス $ H_{n_j}(e_\psi) $ を構成し、ピボタル辺の期待数の下界を導出する。
• $ \limsup P_{p_c}[A_n^*(18,1)] > \delta $ に基づく部分列の議論を用いて、双対貫通確率の指数的収束を導出する。
• 上記の結果を統合し、貫通確率の微分の積分を用いることで、段階的転移の鋭さを証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元オリジナルのシエルピンスキー・カーペット格子における結合透過の臨界確率は一意に定まっているか？
• RQ2 等式 $ p_c(S^T) = p_c(G^T) = 1 - p_c(S^{T*}) $ はオリジナルのシエルピンスキー・カーペット格子において成り立つか？
• RQ3 透過確率 $ \theta(p) $ は $ p_c(S^T) $ で連続であり、これは段階的転移を示唆するか？
• RQ4 クマガイの技術的条件を満たさないにもかかわらず、オリジナルのシエルピンスキー・カーペット格子における $ p_c $ の唯一性は確立可能か？

主な発見

• 臨界確率 $ p_c(S^T) $ は一意に定まり、$ p_c(S^T) = p_c(G^T) = 1 - p_c(S^{T*}) $ を満たし、双対性と唯一性が確認された。
• 透過確率 $ \theta(p) $ は $ p_c(S^T) $ で連続であり、これは段階的転移を示唆する。
• $ p < p_c $ の場合、離れた点の間の開パスの確率は指数的に減少し、$ p_c $ より下では無限クラスタが存在しないことが確認された。
• $ p > p_c $ の場合、無限開クラスタはほとんど確実に一意であるため、巨大成分の一意性が確認された。
• 証明は、FKG不等式とルッソの公式を用いて導出された、スケーリングされたアニュラス内のピボタル辺の期待数の下界に依存している。
• 著者らは、$ p < p_c $ の場合に $ P_p(A_n^*(3,1)) \to 1 $ となる指数的収束が成り立つことを確立し、鋭さの結果を支持する。