On perturbations that preserve the connectivity properties in tree percolations

技術要約：木におけるパーコレーションの連結特性を保存する摂動について

問題設定
本論文は、無限で局所有限な木上で定義された一般的な結合パーコレーション・モデルにおける連結特性の安定性を調査している。著者らは、エッジの保持確率 $p_e$ が、レベル依存の摂動 $\min\{1, q_{|e|}p_e\}$（ここで $\{q_n\}_{n \ge 1}$ は正の因数の列であり、$|e|$ は根からのグラフ距離を表す）を受けた際に、無限クラスターの存在（または不在）がどのように影響を受けるかを検討している。

この研究では、2つの異なるレジームを扱っている：

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' capacity characterisation）**に大きく依存している。核となる手法は以下の通りである：

• 容量とエネルギー： 集合 $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)$ を適用する。
• 摂動解析： 摂動された確率 $qp$の下でエネルギー汎関数がどのように変化するかを分析する。著者らは特定の摂動列${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$）、$\lim_{n \to \infty} q_n = 1$ かつ非可算クラスターのほとんど確実な存在を維持するような摂動列 $q_n \in (0, 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$ における頂点の数である。

意義と応用
著者らは、その結果が、基礎となるシステムが「脆弱（fragile）」ではない（すなわち、単一のレイに依存していない）限り、パーコレーション・レジームが非自明で発散する摂動に対して「かなり堅牢（rather robust）」であることを示していると主張している。

主要な応用として、カンター集合に対する**エルデシュの類似性予想（Erdős similarity conjecture）**が挙げられている。ディディック木（dyadic tree）の部分木 $T_C$ としてカンター集合 $C \subset [0, 1]$ を符号化することにより、著者らは定理A (ii) を用いて、アフィン写像 $\lambda C + t$ をコーディングする任意の樹木に対して、境界への接続の正の確率を保持するレベル依存の重み $\{q_n\}$（$\prod q_n = 0$ を満たすもの）を構成している。

• これにより、系4.2が導かれる。これは、任意のカンター集合 $C$ に対して、ほとんど全ての $\lambda, t$ について $B \cap (\lambda C + t) \neq \emptyset$ となるルベーグ測度ゼロの集合 $B$ が存在することを述べている。
• 本論文は、これをエルデシュの類似性問題を研究するための有望な経路として位置づけている。ただし、交差の「大きさ」は確立されているものの、この性質の $(\lambda, t)$ に関する連続性は、完全な解決に向けた未解決の課題であると述べている。

本研究は、簡潔かつ極めて一般的な証明を提供するために、より初等的ではあるが煩雑な組合せ論的手法を避け、ポテンシャル論的な特性付けを用いた点に特徴がある。