Loop vs. Bernoulli percolation on trees: strict inequality of critical values

技术摘要：树上的回路（Loop）与伯努利渗透（Bernoulli Percolation）

问题陈述
本文研究了在局部有限根树上，两个关键参数之间的关系：随机回路模型中存在无限回路的阈值（$\beta_{\text{loop}}^c$）以及诱导的伯努利连边渗透（Bernoulli link percolation）中存在无限簇的阈值（$\beta_{\text{link}}^c$）。

该随机回路模型推广了随机交换过程（random interchange process/random stirring）以及量子自旋系统的表示。在该模型中，边携带独立的泊松过程（即“连结”或“横杠”）。存在无限回路的一个必要条件是，携带至少一个连结的边集构成一个无限连通分量（连结渗透）。虽然这一条件在稠密图（如完全图 [25] 和超立方体）上是充分的，但在有界度无限图上已知是不充分的（Mühlbacher [22]）。本文探讨的核心问题是：底层树的几何结构——具体而言是 Galton–Watson 树的后代分布——如何影响这两个阈值之间的差距。

方法论
作者结合使用了概率耦合、树上的势论（potential theory）以及大偏差估计。

1. 耦合与修剪（Coupling and Pruning）： 核心技术创新在于在回路模型与连结簇上的“延迟修剪渗透”（delayed pruning percolation）之间建立耦合。作者定义了一个局部的“修剪”事件，其中特定的连结配置（例如：子边上有两个横杠且父边上有一个横杠）会迫使回路轨迹发生回溯，从而有效地切断根回路与无限下降子树的联系。

   • 他们构建了一个基于“加权修剪”的确定性判据（定理 4.1）。如果沿无限射线方向这些修剪事件发生的频率足够高，即使连结簇是超临界的，回路簇也会变为亚临界的。
   • 为了确保局部事件之间的独立性，作者通过在树深度上进行模 3 间隔，将此过程形式化为一种“延迟”版本的修剪。

2. 势论（Potential Theory）： 为了分析被修剪过程的生存情况，作者利用了渗透与树边界（$\partial T$）容量之间的联系。他们采用了 Lyons 的容量判据和分支数（branching number, $\text{br}(T)$）的概念。连结临界阈值由分支数表征，而回路阈值则由“具有低修剪密度的射线的加权分支数”是否严格小于树的分支数来决定。

3. Galton–Watson 分析：

   • 有限均值情形： 对于具有有限均值后代 $m$ 的树，作者利用尺寸加权（size-biased）Galton–Watson 测度上的大偏差估计（Chernoff bounds），证明了具有“坏”（低修剪）密度的射线集合的相对分支数严格小于树本身的分支数。
   • 重尾情形： 对于满足特定尾部条件的具有无限均值后代的树，作者通过分析退化（annealed）临界值，构造了一个代表回路模型“单横杠”骨架的辅助 Galton–Watson 树，以证明对于足够重的尾部，回路与连结阈值在零处重合。

主要贡献与结果

本文确立了关于随机树上临界值分离或重合的两个互补定理：

• 定理 A（有限均值的严格不等式）： 对于生存条件下超临界 Galton–Watson 树，其后代均值 $m \in (1, \infty)$，回路临界值几乎处处严格大于连结临界值：
  $$\beta_{\text{loop}}^c(T) > \beta_{\text{link}}^c(T) = -\log(1 - m^{-1})$$
  该结果对任何回路参数 $u \in [0, 1]$ 均成立。证明依赖于确定性的加权修剪判据，表明局部的回路配置充当了一种“切割机制”，使得即使在连结簇超临界时，有效分支数也会被压低至亚临界状态。

• 定理 B（重尾情形的重合）： 在仅含横杠的模型（$u=1$）中，如果后代分布具有足够重的尾部，使得 $\liminf_{\varepsilon \downarrow 0} \sqrt{\varepsilon} f'(1-\varepsilon) > 1/\sqrt{2}$（其中 $f$ 是概率生成函数），则退化临界值在零处重合：
  $$\beta_{\text{loop}, \text{ann}}^c(\zeta) = \beta_{\text{link}, \text{ann}}^c(\zeta) = 0$$
  这适用于幂律衰减 $\zeta_k \sim k^{-\tau}$ 且 $\tau \in (1, 3/2)$ 的后代分布。在这种机制下，树结构的重尾效应主导了局部的回路约束，使得必要条件（连结渗透）在退化意义下实际上是充分的。

意义与主张

作者声称这些结果为随机树上的回路渗透行为提供了一个清晰的二分法，区分了“稀疏”的有限均值树与“重尾”的无限均值树。

• 分离机制： 本文识别了一种特定的局部机制（通过回溯实现的修剪），这种机制在连结与回路阈值之间创造了间隙。这种间隙在有限均值树中是稳健的，因为遇到必要局部配置的概率足够高，足以抑制无限回路的产生，即便此时存在无限连结簇。
• 边界维度： 研究结果支持了一个更广泛的猜想，即临界值的相等性与树边界的维度有关。对于有限均值树，边界具有有限的正维度，因此阈值分离；对于重尾树，边界维度实际上趋于发散（或在退化意义下结构变得足够稠密），导致阈值重合。
• 普适性： 该框架将随机交换过程和量子自旋系统（XXZ 模型）的表示统一在单一的回路渗透分析之下，将先前在正则树和完全图上的结果扩展到了带有淬火无序（quenched disorder）的更复杂的随机树设定中。

论文总结道，渗透是否为无限回路的充分条件，从根本上取决于底层树的局部回路动力学与全局几何结构（分支数和边界维度）之间的相互作用。