[論文レビュー] Mean-field behavior for nearest-neighbor percolation in $d>10$

Robert Fitzner, Remco van der Hofstad|arXiv (Cornell University)|Jun 26, 2015

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

ひとこと要約

本稿は、非後退ランダムウォークを周囲む摂動を用い、行列に基づく係数評価とMathematicaのノートブックによるコンピュータ支援数値検証を組み合わせることで、d ≥ 11 におけるd次元整数格子Z^d上の最近接者ベルヌーイ確率的連結の平均場挙動を確立する。非後退ランダムウォークを基盤とする非後退ランダムウォークに基づくランダムウォークのラース展開（NoBLE）を用い、赤外線境界と三角図の有限性を証明することで、次元を19から11に低減した。これにより、平均場臨界指数と2点関数の鋭いx空間漸近挙動が得られた。

ABSTRACT

We prove that nearest-neighbor percolation in dimensions $d\geq 11$ displays mean-field behavior by proving that the infrared bound holds, in turn implying the finiteness of the percolation triangle diagram. The finiteness of the triangle implies the existence and mean-field values of various critical exponents, such as $\gamma=1, \beta=1, \delta=2$. We also prove sharp $x$-space asymptotics for the two-point function and the existence of various arm exponents. Such results had previously been obtained in unpublished work by Hara and Slade for nearest-neighbor percolation in dimension $d\geq 19$, so that we bring the dimension above which mean-field behavior is rigorously proved down from $19$ to $11$. Our results also imply sharp bounds on the critical value of nearest-neighbor percolation on $\mathbb{Z}^d$, which are provably at most $1.306\%$ off in $d=11$. We make use of the general method analyzed in the accompanying paper "Generalized approach to the non-backtracking lace expansion" by Fitzner and van der Hofstad, which proposes to use a lace expansion perturbing around non-backtracking random walk. This proof is {\em computer-assisted}, relying on (1) rigorous numerical upper bounds on various simple random walk integrals as proved by Hara and Slade (1992) and (2) a verification that the derived numerical conditions hold true. These two ingredients are implemented in two Mathematica notebooks that can be downloaded from the website of the first author. The main steps of this paper are (a) to derive a non-backtracking lace expansion for the percolation two-point function; (b) to bound the non-backtracking lace expansion coefficients, thus showing that the general methodology applies, and (c) to describe the numerical bounds on the coefficients. In the appendix of this extended version, we give additional details about the bounds that are not given in the article version.

研究の動機と目的

• 高次元における最近接者確率的連結の平均場挙動を確立し、以前の閾値d ≥ 19を11に低減すること。
• 臨界指数の存在と平均場値を示す三角図の有限性を証明すること。
• 従来のラース展開よりも係数が小さい非後退ランダムウォークに基づくラース展開（NoBLE）を構築・適用し、低次元への適用可能性を高めること。
• ランダムウォーク積分に対する厳密な数値上限を導出し、コンピュータ支援手法を用いて収束条件を検証すること。
• 2点関数の鋭いx空間漸近挙動を導出し、アーム指数と臨界無限クラスターの存在を確立すること。

提案手法

• 2点関数の非後退ランダムウォークに基づくラース展開（NoBLE）を導出し、摂動の基盤として従来の単純ランダムウォークの代わりに用いる。
• 展開におけるループが少なくとも4本の結合を含むという事実を活用し、行列に基づく推定によりNoBLE係数を評価する。
• HaraとSlade（2006）が得た単純ランダムウォーク積分に対する厳密な数値上限を、コンピュータ支援計算により検証する。
• 再現可能性を確保するため、2つのダウンロード可能なMathematicaノートブックを用いて、[16]の一般枠組みが要請する数値条件を検証する。
• Hara（2015）の2点関数のx空間漸近挙動に関する結果を応用し、鋭い臨界挙動を導出する。

実験結果

リサーチクエスチョン

• RQ1 最近接者確率的連結の平均場挙動をd = 11で厳密に証明できるか。これは、以前の閾値d ≥ 19を下回る。
• RQ2 ラース展開の基盤として非後退ランダムウォークを用いることで、従来のアプローチと比較して展開係数の大きさを顕著に小さくできるか。
• RQ3 4結合ループ制約を活用した行列ベースのNoBLE係数評価により、低次元でも収束証明が可能になるか。
• RQ4 d = 11における臨界2点関数の鋭いx空間漸近挙動は何か。また、アーム指数の存在とどのように関係するか。
• RQ5 コンピュータ支援手法を用いて、確率的連結閾値の改善された数値上限を導出し、検証できるか。

主な発見

• 赤外線境界がd ≥ 11における最近接者確率的連結に対して成り立ち、三角図の有限性を示唆する。
• d ≥ 11における三角図は有限であり、臨界指数の存在と平均場値γ = 1、β = 1、δ = 2を示す。
• 臨界2点関数τ_pc(x)は、d = 11において、‖x‖ → ∞ のとき τ_pc(x) ∼ c‖x‖−(d−2) という鋭いx空間漸近挙動を満たす。
• 確率的連結閾値p_c(11)は、pc(11) ≤ 0.048242 と評価され、真の値から1.306%以内に収束していると推定される。
• 本手法により、文献において最もきつい既知の確率的連結閾値の上限が得られ、ダウンロード可能なMathematicaノートブックによる数値検証が行われた。