Coexistence of infinite clusters for percolation and Ising model on $\mathbb{Z}^d$

技术摘要：$\mathbb{Z}^d$ 上渗流与 Ising 模型的无限簇共存问题

问题陈述
本文研究了高维格点 $\mathbb{Z}^d$ 上无限簇共存的问题。具体而言，研究了在超临界状态下，唯一无限开放簇（对于键渗流）的补集，或“少数派”自旋集合（对于处于负相的 Ising 模型）是否包含一个无限连通分量。

对于参数为 $p$ 的键渗流，若 $p > p_c^b(d)$，令 $X_p(d)$ 表示通过移除所有属于唯一无限开放簇的顶点而得到的子图。核心问题（最初由 [16] 提出）是 $X_p(d)$ 是否包含一个无限连通分量。类似地，对于在反温度 $\beta < \beta_c(d)$ 时处于负相（所有 $-$ 边界条件）的 Ising 模型，本文研究了 $+$ 自旋是否形成一个无限簇。

先前的结果已在极高维度下确立了共存性（[16] 中为 $d \ge 19$，随后在 [4] 和 [9] 中分别改进至 $d \ge 11$ 和 $d \ge 10$）。本文的研究目标是降低这些维度阈值，并通过随机占优（stochastic domination）提供一种更强的共存形式。

方法论
作者采用了一种基于随机占优的策略。他们不仅旨在证明无限分量的存在，还旨在证明剩余结构（$X_p(d)$ 或 $+$ 自旋）随机占优于一个超临界位点渗流过程。如果一个系统占优于一个超临界位点渗流，则它必然包含唯一的无限簇。

1. 随机占优框架：

   • 渗流： 作者利用了 Martineau, Poudevigne, 和 Rax [29] 关于随机变量随机占优的最新结果（定理 3）。他们构建了一个从键渗流构型到位点渗流构型的映射。一个关键的技术步骤是引理 1，该引理利用 Marshall Hall 的婚姻定理扩展版，为无限簇中的每个顶点分配一个唯一的入射开放边，从而允许定义一种“阻挡”（blocking）机制。
   • Ising 模型： 对于 Ising 模型，作者应用了 Liggett 和 Steif [26] 的随机占优结果（定理 4）。该定理将位点渗流的占优与“一个大框完全被 $-$自旋填充”的概率衰减率联系起来。该衰减率与自由能$f_{\mathbb{Z}^d}(\beta)$ 相关。

2. 临界概率的上界：
   为了证明被占优的参数超过临界阈值（$p_c^s(d)$），作者必须建立 $p_c^b(d)$、$p_c^s(d)$ 和 $\beta_c(d)$ 的严格上界。

   • 他们引入了一种涉及“平稳随机游走”（stationary random walks）的新颖二阶矩方法。不同于以往使用纯定向路径（这会遗漏大部分空间）的方法，他们的策略允许路径沿一个坐标进行平稳随机游走，并沿其余 $d-1$ 个坐标进行正向游走。
   • 这种方法降低了两个独立路径之间的相交概率，从而为中间维度（$5 \le d \le 10$）提供了更紧致的临界概率上界。
   • 对于 $\beta_c(d)$，他们利用了 Fröhlich, Simon, 和 Spencer [11] 的红外界（infrared bounds），并利用修正贝塞尔函数的性质导出了显式的上界。

主要贡献与结果

• 定理 1（键渗流）： 对于每个 $d \ge 9$，存在 $\epsilon_d > 0$，使得当 $p \in (p_c^b(d), p_c^b(d) + \epsilon_d)$ 时，无限开放簇的补集 $X_p(d)$ 随机占优于参数为 $\tilde{p} > p_c^s(d)$ 的 $\mathbb{Z}^d$ 上超临界位点渗流。

  • 改进： 这改进了 Bock 等人 [4] 的 $d \ge 10$ 结果以及 [9] 的 $d \ge 11$ 结果。
  • 数值扩展： 作者指出，利用数值估计值 $p_c^b(d)$ 和 $p_c^s(d)$（表 3），该结果很可能对所有 $d \ge 4$ 成立。

• 定理 2（Ising 模型）： 对于 $\mathbb{Z}^d$ 上的 Ising 模型，若 $d \ge 8$，存在 $\epsilon_d > 0$，使得当 $\beta \in [0, \beta_c(d) + \epsilon_d)$ 时，负相中的 $+$ 自旋随机占优于一个超临界位点渗流。

  • 改进： 这改进了 Aizenman 等人 [1] 的结果，后者要求 $d$ “足够大”。
  • 数值扩展： 数值估计表明，这对于所有 $d \ge 5$ 均成立。

• 命题 1 & 2： 这些命题提供了核心的随机占优机制。命题 1 表明 $V(\mathbb{Z}^d) \setminus C_\infty$ 占优于参数为 $(1-p)^{2d}$ 的位点渗流。命题 2 基于自由能估计建立了 Ising 模型的占优关系。

• 临界概率界限： 本文利用新的平稳随机游走二阶矩方法，为 $4 \le d \le 15$ 范围内的 $p_c^b(d)$ 和 $p_c^s(d)$ 提供了严格的上界（表 2）。这些界限在 $5 \le d \le 10$ 时比现有文献更为精确。

意义与主张
本文声称显著降低了证明键渗流和 Ising 模型中无限簇共存的维度阈值。通过将重点转向随机占优，作者提供了一个比以往仅证明存在性的结果更强的结论。

作者明确指出，其方法依赖于有效界定临界概率的能力。他们承认，虽然其分析方法证明了对于 $d \ge 9$（渗流）和 $d \ge 8$（Ising）的结果成立，但数值证据强烈表明共存现象在 $d \ge 4$（渗流）和 $d \ge 5$（Ising）时确实存在。

至关重要的是，作者对其方法在低维下的局限性保持了审慎态度。他们在备注 3 和备注 4 中明确表示，他们认为其随机占优方法在 $d=3$（以及 Ising 模型中可能在 $d=4$）时会失效，尽管他们预期物理上的共存现象在这些维度下是存在的。他们认为，在 $d=3$ 时，无限簇的补集可能包含一个无限分量，但并不随机占优于一个超临界位点渗流。因此，本文的贡献是在高维环境下严格确立了一种特定且强形式的共存，而非证明在所有维度下均存在共存。