[论文解读] 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

一句话总结

该论文通过使用非回溯 lace 展开，证明了在 d ≥ 11 时，d 维整数格点 Z^d 上最近邻伯努利渗流的均场行为，包括红外界成立及三角图有限性。该方法通过围绕非回溯随机游走进行微扰，将所需维度从 19 降低至 11，采用基于矩阵的系数界估计，并借助 Mathematica 笔记本进行计算机辅助数值验证，从而得到均场临界指数和两点半函数的精确 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.

研究动机与目标

• 在高维中建立最近邻渗流的均场行为，特别是将临界维度从 19 降低至 11。
• 证明渗流三角图的有限性，该性质蕴含临界指数的存在性及其均场取值。
• 开发并应用一种非回溯 lace 展开（NoBLE），其系数小于经典 lace 展开，从而实现更低维度下的适用性。
• 对随机游走积分提供严格的数值上界，并通过计算机辅助方法验证收敛条件。
• 推导两点半函数的精确 x 空间渐近行为，并确立臂指数与瞬时无限簇的存在性。

提出的方法

• 为渗流两点半函数推导出一种非回溯 lace 展开（NoBLE），以非回溯随机游走替代经典简单随机游走作为微扰基础。
• 利用基于矩阵的估计方法约束 NoBLE 系数，利用展开中环路至少包含四条边的性质，从而减小系数大小。
• 采用 Hara 和 Slade（2006）提供的严格数值上界对简单随机游走积分进行估计，并通过计算机辅助计算进行验证。
• 使用两个可下载的 Mathematica 笔记本，验证 [16] 中一般框架所要求的数值条件，确保可复现性。
• 应用 Hara（2015）关于两点半函数在 x 空间中渐近行为的结果，推导出精确的临界行为。

实验结果

研究问题

• RQ1 是否能严格证明在 d = 11 时最近邻渗流的均场行为，从而将先前的临界维度阈值从 d ≥ 19 降低？
• RQ2 以非回溯随机游走作为 lace 展开基础，是否能显著减小展开系数的大小，相比经典方法？
• RQ3 基于矩阵的 NoBLE 系数界估计，结合四边环路约束，是否能实现更低维度下的收敛性证明？
• RQ4 在 d = 11 时，临界两点半函数的精确 x 空间渐近行为是什么？其与臂指数存在性有何关联？
• RQ5 能否通过计算机辅助方法推导并验证渗流阈值的改进数值界？

主要发现

• 在 d ≥ 11 时，最近邻渗流的红外界成立，意味着三角图有限。
• 在 d ≥ 11 时，三角图有限，这蕴含临界指数的存在性及其均场取值：γ = 1，β = 1，δ = 2。
• 在 d = 11 时，临界两点半函数 τ_pc(x) 满足精确的 x 空间渐近行为：τ_pc(x) ∼ c∥x∥−(d−2) 当 ∥x∥ → ∞ 时。
• 渗流阈值 p_c(11) 满足 p_c(11) ≤ 0.048242，临界概率估计值与真实值的偏差在 1.306% 以内。
• 该方法在文献中给出了目前已知最紧的渗流阈值界，且通过可下载的 Mathematica 笔记本实现了数值验证。