[论文解读] An upper bound for the critical probability on the Cartesian product graph of a regular tree and a line

Kohei Yamamoto|arXiv (Cornell University)|May 19, 2017

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

一句话总结

本文在伯努利边渗流的笛卡尔积图 $T_d \square \mathbb{Z}$ 上建立了临界概率 $p_c$ 的新上界，其中 $T_d$ 是一个 $d$-正则树。通过改进一种基于分支过程的方法，该方法追踪多步而非仅第一步的簇增长，作者将上界改进为 $d \geq 3$ 时的 $p_c \leq 1/d$，并进一步将 $d=4$ 时的上界收紧至 $p_c < 0.225$，从而证明了该情况下 $p_c < p_u$。

ABSTRACT

In Bernoulli bond percolation on the Cartesian product graph of a $d$-regular tree and a line, we give an upper bound for the critical probability $p_c$.

研究动机与目标

• 改进伯努利边渗流在图 $T_d \square \mathbb{Z}$ 上的临界概率 $p_c$ 的上界，其中 $T_d$ 是一个 $d$-正则树，$\mathbb{Z}$ 是整数直线。
• 证明当 $d=4$ 时 $p_c < p_u$ 成立，从而解决非阿贝尔图上渗流理论中的一个关键问题。
• 通过分析簇增长的多步过程而非仅依赖于首步估计，改进使用分支过程的方法。

提出的方法

• 作者使用从 $T_d \square \mathbb{Z}$ 到 $T_d$ 的自然投影 $\pi$，分析在乘积图中通过开放路径与根相连、距离根为 $n$ 的顶点数量。
• 他们定义一个随机变量 $X_n(\omega)$ 来计数距离根为 $n$ 且通过开放路径与根相连的顶点数，并研究其生成函数 $H_p(z)$ 以分析簇的增长。
• 引入一个关键函数 $h_p(x) = 2H_p(px) + \frac{p}{1-p}H_p(p^2x)$，并证明若存在 $x < d-1$ 使得 $h_p(x) \geq \frac{1-p}{p}$，则 $p_c \leq p_0$，其中 $p_0$ 是满足该条件的 $p$ 的下确界。
• 该方法涉及通过子树的存活概率 $\Phi_p(l)$ 之间的调和平均与几何平均不等式，来界定修改后分支过程的存活概率。
• 作者通过指数衰减估计推导出 $\Phi_p(l)^2$ 的下界，从而得到 $h_p(x) \geq \frac{1-p}{p}$ 的充分条件。
• 当 $d=4$ 时，通过在 $p=0.225$ 和 $x=2.999$ 处进行数值计算，确认 $h_p(x) \geq \frac{1-p}{p}$ 且 $x < d-1$，从而得出 $p_c < 0.225$。

实验结果

研究问题

• RQ1 是否存在比以往已知更紧的 $p_c(T_d \square \mathbb{Z})$ 上界，特别是在小 $d$ 时？
• RQ2 能否将分支过程方法扩展至超过第一步，以改进乘积图上渗流临界概率的估计？
• RQ3 当 $d=4$ 时，$p_c < p_u$ 是否成立，表明超临界相中存在多个无限簇？
• RQ4 对于 $d \geq 4$，临界概率能否严格低于 $1/d$？
• RQ5 是否存在某个 $p$ 值，使得簇增长函数 $h_p(x)$ 满足所需不等式，从而推出 $p_c < p$？

主要发现

• 本文建立了新上界：对所有 $d \geq 3$，有 $p_c(T_d \square \mathbb{Z}) \leq \frac{1}{d}$，优于先前的上界 $\frac{d - \sqrt{d^2 - 4}}{2}$。
• 当 $d=4$ 时，作者通过证明在 $p=0.225$ 且 $x=2.999$ 时 $h_p(x) \geq \frac{1-p}{p}$ 且 $x < d-1=3$，得出 $p_c < 0.225$。
• 利用已知的下界 $p_u \geq \left(\sqrt{3} + 1 + \sqrt{2\sqrt{3} - 1}\right)^{-1} \approx 0.232$，作者得出当 $d=4$ 时 $p_c < 0.225 < 0.232 < p_u$，从而证明该情况下 $p_c < p_u$。
• 该方法表明，与仅追踪首步相比，追踪多步簇增长可显著改进 $p_c$ 的估计，尤其在非阿贝尔图中效果更明显。
• 结果确认，当 $d=4$ 时，存在一个非空的相，在该相中几乎必然存在无限多个无限簇，这一现象在欧几里得格点中未被观察到。
• 分析表明，函数 $h_p(x)$ 在 $[0, 1/p)$ 上连续且单调递增，且 $h_p(x) \geq \frac{1-p}{p}$ 对于 $x < d-1$ 的条件，既是 $p_c$ 上界估计的必要条件也是充分条件。