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

技術要約：木構造におけるループ・パーコレーションとベルヌーイ・パーコレーション

問題設定
本論文は、局所有限な根付き木における2つの重要なパラメータ、すなわちランダム・ループ・モデルにおける無限ループが存在する閾値（$\beta_{\text{loop}}^c$）と、誘導されたベルヌーイ・リンク・パーコレーションにおける無限クラスターが存在する閾値（$\beta_{\text{link}}^c$）との関係を調査している。

ランダム・ループ・モデルは、ランダム・インターチェンジ過程（ランダム・スターリング）や量子スピン系の表現を一般化したものである。このモデルでは、エッジが独立なポアソン過程による「リンク」（クロスまたはバー）を運ぶ。無限ループが存在するための必要条件は、少なくとも1つのリンクを運ぶエッジの集合が無限連結成分（リンク・パーコレーション）を形成することである。この条件は、完全グラフ（Schramm [25]）やハイパーキューブのような密なグラフでは十分条件となるが、有界次数を持つ無限グラフにおいては不十分であることが知られている（Mühlbacher [22]）。本研究で扱われる中心的な問いは、基礎となる木の幾何学、具体的にはガルトン＝ワトソン木の分岐分布が、これら2つの閾値の間のギャップにどのように影響するかである。

手法
著者らは、確率的結合（カップリング）、木上のポテンシャル理論、および大偏差推定を組み合わせて用いている。

1. 結合と枝刈り（Coupling and Pruning）: 本研究の核心となる技術的革新は、ループ・モデルと、リンク・クラスター上の「遅延枝刈り・パーコレーション（delayed pruning percolation）」との間の結合である。著者らは、特定のリンク構成（例：子のエッジにちょうど2つのクロスがあり、親のエッジに1つある場合）がループの軌跡を逆行させ、結果として根のループから無限降下部分木を実質的に遮断するという、局所的な「枝刈り」事象を定義している。

   • 彼らは、「重み付き枝刈り」に基づく決定論的な基準（定理4.1）を構築した。もし無限のレイ（経路）に沿ったこれらの枝刈り事象の頻度が十分に高ければ、リンク・クラスターが超臨界であっても、ループ・クラスターは劣臨界となる。
   • これは、木の深さに関してmodulo 3で事象を間隔配置することにより、局所的な事象間の独立性を確保する「遅延型」の枝刈りを用いて定式化されている。

2. ポテンシャル理論: 枝刈りされたプロセスの生存を分析するために、著者らはパーコレーションと木の境界（$\partial T$）の容量（capacity）との関連性を利用している。彼らはライオンズ（Lyons）の容量基準と、分岐数（$\text{br}(T)$）の概念を用いている。臨界リンク閾値は分岐数によって特徴付けられ、ループ閾値は、枝刈り密度が低いレイの集合の「重み付き分岐数」が、木自体の分岐数よりも厳密に小さいかどうかによって決定される。

3. ガルトン＝ワトソン解析:

   • 有限平均の場合: 平均的な子個体数 $m$ が有限である木に対して、著者らはサイズ偏りのガルトン＝ワトソン測度を用いた大偏差推定（チェルノフ境界）を用い、枝刈り密度が「悪い（低い）」レイの集合が、木自体よりも厳密に小さい相対的分岐数を持つことを示している。
   • ヘビーテイル（重い裾）の場合: 平均が無限であるヘビーテイルの木については、アンニールド（焼きなまし）臨界値を分析している。彼らは、ループ・モデルの「ワンクロス（1つのクロス）」スケルトンを表す補助的なガルトン＝ワトソン木を構築し、裾が十分に重い場合には、ループ閾値とリンク閾値がゼロで一致することを示す。

主要な貢献と結果

本論文は、ランダムな木における臨界値の分離または一致に関する2つの補完的な定理を確立している：

• 定理 A（有限平均における厳密不等式）: 生存を条件とした、平均的な子個体数 $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）を持つより複雑な設定へと拡張している。

結論として、無限ループの存在に対するパーコレーションが十分条件となるかどうかは、基礎となる木の局所的なループ力学と、グローバルな幾何学的構造（分岐数および境界次元）との間の相互作用に根本的に依存している。