No infinite cluster at criticality for long-range percolation with fast-decaying interactions

技术摘要：快速衰减相互作用下长程渗流在临界点处无无限簇

问题陈述
本文研究了整数格点 $\mathbb{Z}^d$ ($d \ge 2$) 上独立长程键渗流（independent long-range bond percolation）中相变的连续性问题。在该模型中，不同的顶点 $x$ 和 $y$ 之间存在连接的概率为 $p_{xy}(\beta) = 1 - e^{-\beta J(x-y)}$，其中 $J$ 是一个对称且非负的核函数。核心问题在于：在临界参数 $\beta_c = \inf\{\beta : \theta(\beta) > 0\}$ 时，渗流概率 $\theta(\beta) = \mathbb{P}_\beta(0 \leftrightarrow \infty)$ 是否为零。

虽然对于最近邻渗流，在 $d=2$ 和高维情况下已证实了相变的连续性（即 $\theta(\beta_c) = 0$），但长程情况高度依赖于核函数的衰减速率。先前的研究涵盖了“重尾”核（即 $J(x) \sim \|x\|^{-d-\alpha}$ 且 $\alpha < d$）以及特定的快速衰减情形（如最近邻、有限程或高维扩展核）。目前仍存在一个空白，即对于所有维度 $d \ge 2$ 的一般快速衰减核（特别是幂律衰减且 $\alpha > d$ 以及指数衰减核的情况），其连续性尚未得到解决。

方法论
证明过程采用了由 Kozma 和 Nitzan 开发、并经由近期关于有限图研究进一步改进的重整化方案，该方案最初是为 $\mathbb{Z}^3$ 上的最近邻渗流设计的。论证通过反证法进行：假设 $\theta(\beta_c) > 0$，则作者构造出一个在参数 $q < \beta_c$ 下的无限簇，而这在逻辑上是不可能的。

证明由四个主要步骤组成，并针对长程边进行了修改：

1. 渗流参数下的面（Faces at a Percolating Parameter）： 作者确立了一个大框 $\Lambda_m$ 以高概率连接到周围立方体 $\Lambda_\ell$ 的“外层厚四分之一面”（outer thick quarter-faces）。为了处理可能跳过边界的长边，他们引入了“厚面”（宽度为 $w$ 的薄层），并利用 $J$ 的尾部条件来限制长度大于 $w$ 的边的概率。
2. 通过新鲜区域的扩展（Extension through a Fresh Region）： 这一步推广了“种子与探索”（seed-and-exploration）方法。如果一个位于框 $B$ 之外的簇到达了 $B$，它必须以高概率到达目标集 $T$。作者用“穿越权重”（crossing weight）$W$ 取代了对边界邻居的最近邻计数，$W$ 被定义为外部簇与框之间的边权重之和。
   • 如果 $W$ 很小，所有穿越边都处于关闭状态的概率很高（$e^{-W}$），这使得在不同层之间发生断开是“廉价”的，但极罕见。
   • 如果 $W$ 很大，穿越边的落点将支持在目标区域内进行多次独立的“种子框”（seed boxes）开启尝试。
   • 跳过框周围壳层的长边通过尾部条件得到了控制。
3. 接力（Relay）： 一系列扩展步骤将连接从一个粗尺度立方体的中心移动到相邻的立方体。这涉及在嵌套矩形之间进行一系列收缩和平移步骤，确保连接能够在格点中传播。
4. 探索与轮廓计数（Exploration and Contour Count）： 作者在嵌入 $\mathbb{Z}^d$ 的粗尺度格点 $\mathbb{Z}^2$ 上进行探索。他们根据接力步骤是否成功的成功与否来定义“好”的粗尺度顶点。利用平面轮廓计数（引理 2.3），他们表明如果“好”顶点的集合是有限的，则这种配置的概率呈指数级衰减。这意味着以正概率存在一个“好”顶点的无限簇，从而导致在参数 $q < \beta_c$ 时存在一个无限开放簇，从而产生矛盾。

主要贡献与结果
主要结果是 定理 1.1，它指出对于 $d \ge 2$，若核函数 $J$ 满足：

• (Sym): 在坐标置换和符号变化下具有不变性。
• (Pos): $J(e_1) > 0$（正最近邻相互作用）。
• (Tail): $\liminf_{n \to \infty} n^d \sum_{\|x\|>n} J(x) = 0$。

那么 $0 < \beta_c < \infty$ 且 $\mathbb{P}_{\beta_c}(0 \leftrightarrow \infty) = 0$。

该结果直接导出了两个推论：

• 推论 1.2： 对于幂律核 $J(x) \asymp \|x\|^{-d-\alpha}$（其中 $\alpha > 0$ 且 $\alpha \neq d$），相变是连续的。（$\alpha < d$ 的情况已通过 Berger 定理已知；本文涵盖了 $\alpha > d$ 的情况）。
• 推论 1.3： 对于满足对称性和正性条件的指数衰减核（及有限程核），相变是连续的。

意义与范围
本文声称解决了在所有维度 $d \ge 2$ 下，对于衰减足够快（具体为满足尾部条件）的核的长程渗流相变连续性问题。它统一了此前仅限于 $d=2$（平面论证）或高维（拉塞展开/lace expansion）的研究结果。

证明的显著之处在于将 Kozma-Nitzan 的重整化论证适配到了长程相互作用中。作者明确指出，长边引入了两个特定的挑战：

1. 路径可以跳过最近邻路径必须经过的表面。
2. 框外的簇可以从远处进入，而不经过紧邻的边界。

这两点分别通过“厚外层面”（thick outer faces）和“穿越权重”（crossing weight）测量得到了控制。

局限性与开放问题
本文明确排除了 $J(x) \asymp \|x\|^{-2d}$（即 $\alpha = d$）这一临界情况。在此机制下，尾部条件失效（$n^d T(n)$ 不趋于零），长度与 $n$ 可比拟的长边在每个尺度下离开立方体 $[-n, n]^d$ 的概率均为常数阶。作者指出，对于 $d=1$ 且 $J(x) \asymp |x|^{-2}$ 的情况，已知相变是不连续的。对于 $\alpha = d \ge 2$ 时是否满足 $\theta(\beta_c) = 0$，目前仍是一个开放问题，因为当前的论证无法保证必要的尺度分离。