On perturbations that preserve the connectivity properties in tree percolations

技术摘要：论保持树渗流连通性质的扰动

问题陈述
本文研究了定义在无限局部有限树上的广义键渗流（bond percolation）模型中连通性质的稳定性。具体而言，作者研究了当边保留概率 $p_e$ 受到依赖于层级的扰动时，无限簇的存在性（或不存在性）如何受到影响。该扰动将原始概率 $p_e$ 替换为 $\min\{1, q_{|e|}p_e\}$，其中 $\{q_n\}_{n \ge 1}$ 是正因子序列，$|e|$ 表示边距离根节点的图距离。

本研究探讨了两种截然不同的情形：

1. 不存在性的稳定性： 如果原始模型不存在无限簇（即 $P_p(I)=0$），在何种条件下，增强连通性的扰动 $q_n \ge 1$ 能使系统依然保持不存在无限簇的状态？
2. 存在性的稳定性： 如果原始模型存在无限簇（特指以正概率具有不可数边界簇的情况），在何种条件下，减弱连通性的扰动 $0 < q_n \le 1$ 能使无限簇的存在性得以维持？

作者指出，虽然平凡的扰动（即 $\prod q_n$ 收敛于非零有限极限的情形）仅仅是缩放了概率，但“真正有趣”的情况涉及发散型扰动，即 $\prod q_n = 0$（累积减弱）或 $\prod q_n = \infty$（累积增强）。简单的反例表明，如果没有对树或渗流模型施加特定的结构条件，稳定性在一般情况下并不能得到保证。

方法论
证明过程高度依赖于莱昂斯（Lyons）的容量特征化方法，这是离散势论中的一个结果。其核心方法论包括：

• 容量与能量： 利用渗流到集合 $E \subseteq \partial T$ 的概率与该集合的容量 $capp(E)$之间的关系。该容量通过与测度函数$\Psi_p(x) = 1/P_p[o \to x]$相关的能量泛函$E_p(\mu)$ 来定义。
• 莱昂斯定理： 应用不等式 $capp(E) \le P_p[o \to E] \le 2capp(E)$，将概率连通性与势论容量联系起来。
• 扰动分析： 分析扰动概率 $q p$ 下能量泛函的变化情况。作者构造了特定的扰动序列 $\{q_n\}$，并证明在某些发散条件下，容量的正性（即能量泛函的有限性）得以保持。
• 辅助引理： 证明过程利用关于可和序列的初等引理来构造严格递增序列 $\{Q_n\}$（与 $q_n$ 的累积乘积相关），从而确保扰动后能量泛函的收敛性。

主要贡献与结果
论文提出了 定理 A，它在极小假设下确立了渗流机制的鲁棒性：

1. 不存在无限簇的稳定性 (Part i)：
   如果原始模型几乎处处没有无限簇，且扰动序列 $q_n \ge 1$ 满足以下条件：
   $$\liminf_{n \to \infty} \left( \prod_{i=1}^n q_i \right) \cdot P_p[o \to V_n] = 0$$
   （其中 $V_n$ 是距离为 $n$ 的顶点集），则扰动后的模型也几乎处处没有无限簇。作者表明，即使在 $\prod q_n = \infty$ 的情况下，这样的扰动序列也总是存在的。

2. 不可数簇的稳定性 (Part ii)：
   如果原始模型以正概率具有不可数边界簇（即 $P_p[o \xrightarrow{u} \partial T] > 0$），则存在一个扰动序列 $q_n \in (0, 1)$ 使得 $\lim_{n \to \infty} q_n = 1$，且不可数簇的几乎处处存在性得以保持。

   • 条件的必要性： 论文指出，具有不可数簇这一条件是必要的；如果簇是可数的（例如单条射线），发散型的减弱扰动可能会破坏渗流（如示例 1.1 所示）。
   • 齐次情形： 对于齐次渗流（$p_e = p$），若扰动后的模型发生渗流，作者推导出了一个涉及树的分支数和扰动因子的必要条件：
     $$\sum_{n=1}^\infty \frac{1 - q_n p}{p^n (\# E_n) \prod_{i=1}^n q_i} < \infty$$
     其中 $\# E_n$ 是第 $n$ 层顶点的数量。

意义与应用
作者声称，其结果证明了渗流机制对于非平凡的发散型扰动是“相当鲁棒的”，前提是底层系统并非“脆弱”的（即并非依赖于单条射线）。

一个主要的应用讨论是针对康托尔集（Cantor sets）的埃尔多什相似性猜想（Erdős similarity conjecture）。通过将康托尔集 $C \subset [0, 1]$ 编码为二叉树的子树 $T_C$，作者利用定理 A (ii) 构造了一个层级依赖的权重序列 $\{q_n\}$（满足 $\prod q_n = 0$），使得扰动后的渗流在编码任何仿射副本 $\lambda C + t$ 的树上，仍能保持连接到边界的正概率。

• 这导出了 推论 4.2，即对于任何康托尔集 $C$，都存在一个零勒贝格测度的集合 $B$，使得对于几乎所有的 $\lambda, t$，都有 $B \cap (\lambda C + t) \neq \emptyset$。
• 论文将此定位为研究埃尔多什相似性问题的一个潜在途径，并指出虽然交集的“规模”已经得到确立，但该性质关于 $(\lambda, t)$ 的连续性对于完全解决该猜想仍是一个开放性问题。

这项工作通过使用势论特征化方法，提供了具有高度普适性的简洁证明，避免了使用更初等但繁琐的组合方法。