[論文レビュー] Expansion in $n^{-1}$ for percolation critical values on the $n$-cube and $Z^n$: the first three terms

Remco van der Hofstad, Gordon Slade|ArXiv.org|Jan 8, 2004

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

ひとこと要約

本稿は、ラース展開を用いて、$ n $-立方体および$ \mathbb{Z}^n $における結合確率臨界確率の$ n^{-1} $展開の最初の3項を導出する。両グラフに対して$ p_c(\mathbb{G}) = \Omega^{-1} + \Omega^{-2} + \frac{7}{2}\Omega^{-3} + O(\Omega^{-4}) $を証明し、$ \Omega = n $（$ n $-立方体の場合）および$ \Omega = 2n $（$ \mathbb{Z}^n $の場合）となる。これにより、先行研究を拡張し、$ \mathbb{Z}^n $における以前の証明を簡略化する。

ABSTRACT

Let $p_c(\mathbb{Q}_n)$ and $p_c(\mathbb{Z}^n)$ denote the critical values for nearest-neighbour bond percolation on the $n$-cube $\mathbb{Q}_n = \{0,1\}^n$ and on $\Z^n$, respectively. Let $Ω= n$ for $\mathbb{G} = \mathbb{Q}_n$ and $Ω= 2n$ for $\mathbb{G} = \mathbb{Z}^n$ denote the degree of $\mathbb{G}$. We use the lace expansion to prove that for both $\mathbb{G} = \mathbb{Q}_n$ and $\mathbb{G} = \mathbb{Z}^n$, $p_c(\mathbb{G}) & = \cn^{-1} + \cn^{-2} + {7/2} \cn^{-3} + O(\cn^{-4}).$ This extends by two terms the result $p_c(\mathbb{Q}_n) = \cn^{-1} + O(\cn^{-2})$ of Borgs, Chayes, van der Hofstad, Slade and Spencer, and provides a simplified proof of a previous result of Hara and Slade for $\mathbb{Z}^n$.

研究の動機と目的

• $ n $-立方体および$ \mathbb{Z}^n $における臨界確率閾値の高次の漸近的展開を確立し、一次の結果を拡張する。
• ラース展開技術を用いて、$ \mathbb{Z}^n $および$ n $-立方体の両者における臨界値展開を簡略化・統一された形で証明する。
• $ \Omega $（グラフの次数）に関する$ \Omega^{-1} $展開における最初の3係数が、両グラフで同一であることを確認する。
• ボロバス、コハヤカワ、ルチャクが提起した未解決問題、すなわち$ p_c({\mathbb{Q}}_n) = \frac{1}{n-1} $が成り立つかどうかを検討し、$ \frac{1}{n} + \frac{1}{n^2} + \frac{7}{2n^3} + O(n^{-4}) $として漸近的に成り立たないことを示し、等式を否定する。
• $ \Omega^{-4} $項における係数の計算可能性を検討し、$ n $-立方体と$ \mathbb{Z}^n $の間で構造的差異に起因する差異があるかを調査する。

提案手法

• ラース展開が$ n $-立方体および$ \mathbb{Z}^n $の両方のグラフに適用され、ハラとスレイドが$ \mathbb{Z}^n $に対して確立した一般枠組みを基盤としつつ、$ n $-立方体の有限構造に適応された。
• 生成関数$ \chi(p) = \mathbb{E}_p |C(0)| $を用いた主要な推定が得られ、これは原点における期待クラスターサイズを追跡し、臨界閾値付近での挙動を記述する。
• 臨界値は、$ n $-立方体では$ \chi(p_c) = \lambda_0 2^{n/3} $、$ \mathbb{Z}^n $では$ \chi(p_c) < \infty $として定義され、一意性が保証され、漸近的解析が可能になる。
• 高次の項は、ラース展開の再帰的構造を分析することで計算され、誤差項は切り捨てられた相関関数の有界性によって制御される。
• 展開における非ピボタル（NP）条件が誤差項にのみ寄与することを示し、臨界確率への主要寄与の簡略化が可能になる。
• 異なる結合配置とクラスタ構造からの寄与を比較することで、$ \Omega^{-1} $、$ \Omega^{-2} $、$ \Omega^{-3} $項を分離し、完全な展開を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ n $-立方体における結合確率臨界確率$ p_c $の漸近的展開は、$ \Omega^{-3} $項まででどのように表されるか？
• RQ2 $ \mathbb{Z}^n $における臨界値は、$ \Omega $（グラフの次数）に関する$ \Omega^{-1} $展開の最初の3次に、$ n $-立方体におけるものとどのように異なるか？
• RQ3 ラース展開を用いて、既知の$ \mathbb{Z}^n $における臨界値展開の簡略化された証明が得られるか。また、$ n $-立方体への自然な拡張は可能か？
• RQ4 ボロバス、コハヤカワ、ルチャクが提起した予想である$ p_c({\mathbb{Q}}_n) = \frac{1}{n-1} $は正しいか？
• RQ5 $ \mathbb{Z}^n $と$ \mathbb{Q}_n $における$ \Omega^{-4} $項の係数は同一か。それともグラフの構造的差異に起因して異なるか？

主な発見

• $ \mathbb{Z}^n $における臨界確率閾値は、$ n \to \infty $のとき$ p_c(\mathbb{Z}^n) = \frac{1}{2n} + \frac{1}{(2n)^2} + \frac{7}{2(2n)^3} + O\left(\frac{1}{(2n)^4}\right) $を満たし、$ \Omega^{-1} $展開の最初の3項が確認された。
• $ n $-立方体では$ p_c({\mathbb{Q}}_n) = \frac{1}{n} + \frac{1}{n^2} + \frac{7}{2n^3} + O\left(\frac{1}{n^4}\right) $であり、誤差項は$ \chi(p_c) = \lambda_0 2^{n/3} $の定義における$ \lambda_0 $の選択に依存する。
• $ \Omega^{-1} $展開における最初の3係数は、$ \mathbb{Z}^n $および$ n $-立方体の両方で同一であり、グラフ構造の相違にもかかわらず一致する。
• 本稿は、ハラとスレイドが以前に確立した$ \mathbb{Z}^n $の結果を、より機械的なラース展開の適用により簡略化された証明を提供する。
• 数値的証拠から、$ \Omega^{-4} $係数は$ \mathbb{Z}^n $と$ n $-立方体で異なる可能性が高いと示唆されるが、本稿ではこの項は計算されていない。
• 本手法は、ハミング立方体$ \{0,1,\ldots,s\}^n $（$ s \geq 2 $）を含む、収束するラース展開を有する他のグラフに対しても一般化可能であるが、このようなグラフにおけるサイクルは高次係数に影響を及ぼす可能性がある。