[论文解读] 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} $ 展开式的前三项。证明了对于这两种图，$ 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^{-1} $ 展开中的前三个系数完全相同，其中 $ \Omega $ 为图的度数。
• 解决关于 $ 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 $，借鉴 Hara 和 Slade 为 $ \mathbb{Z}^n $ 建立的一般框架，但针对 $ n $-立方体的有限结构进行了调整。
• 通过生成函数 $ \chi(p) = \mathbb{E}_p |C(0)| $ 推导关键估计，该函数用于追踪原点处期望簇大小的行为，特别是在临界阈值附近。
• 临界值通过 $ \chi(p_c) = \lambda_0 2^{n/3} $（$ n $-立方体）和 $ \chi(p_c) < \infty $（$ \mathbb{Z}^n $）定义，确保唯一性并支持渐近分析。
• 通过分析乱序展开的递归结构，计算展开式中的高阶项，利用截断相关函数的界来控制误差项。
• 证明非关键点（NP）条件仅贡献于误差项，从而简化临界概率主贡献的表达。
• 通过比较不同键配置和簇结构的贡献，作者分离出 $ \Omega^{-1} $、$ \Omega^{-2} $ 和 $ \Omega^{-3} $ 项，从而获得完整展开式。

实验结果

研究问题

• RQ1 在 $ n $-立方体上，键位随机连通性临界概率 $ p_c $ 的渐近展开式在 $ \Omega^{-3} $ 项以内是什么？
• RQ2 在 $ \Omega^{-1} $ 的前三阶中，$ \mathbb{Z}^n $ 上的临界值与 $ n $-立方体上的临界值有何比较，其中 $ \Omega $ 为图的度数？
• RQ3 乱序展开能否用于推导出已知的 $ \mathbb{Z}^n $ 临界值展开的简化证明？该方法是否自然地推广到 $ n $-立方体？
• RQ4 $ n $-立方体上的临界值是否等于 $ \frac{1}{n-1} $，如 Bollobás、Kohayakawa 和 Łuczak 所猜想？
• RQ5 $ \mathbb{Z}^n $ 和 $ \mathbb{Q}_n $ 的 $ \Omega^{-4} $ 项系数是否相同，还是因图的结构差异而不同？

主要发现

• 对于 $ \mathbb{Z}^n $，临界连通性阈值满足 $ p_c(\mathbb{Z}^n) = \frac{1}{2n} + \frac{1}{(2n)^2} + \frac{7}{2(2n)^3} + O\left(\frac{1}{(2n)^4}\right) $，当 $ n \to \infty $ 时，确认了 $ \Omega^{-1} $ 展开的前三项。
• 对于 $ 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 $ 的选择。
• $ \mathbb{Z}^n $ 和 $ n $-立方体在 $ \Omega^{-1} $ 展开中的前三个系数完全相同，尽管它们的图结构不同。
• 该论文提供了 Hara 和 Slade 之前已建立的 $ \mathbb{Z}^n $ 结果的简化证明，通过更机械地应用乱序展开。
• 数值证据表明，$ \Omega^{-4} $ 项的系数在 $ \mathbb{Z}^n $ 和 $ n $-立方体之间可能不同，尽管此处未计算该系数。
• 该方法可推广至其他具有收敛乱序展开的图，如 $ s \geq 2 $ 时的哈密顿立方 $ \{0,1,\ldots,s\}^n $，但此类图中的环结构可能影响高阶系数。