Iterated Graph Systems (II): Bernoulli percolation and critical-exponent universality classes on hierarchical lattices

技術要約：反復グラフ・システム (II)：階層格子におけるベルヌーイ・パーコレーションと臨界指数普遍性クラス

問題提起
本論文は、階層格子におけるベルヌーイ・パーコレーションを調査し、幾何学的および次元的なデータのみによって臨界指数の普遍性クラスを決定できるかという問いに取り組んでいる。ユークリッド格子上の統計物理学では、しばに次元に基づく普遍性が用いられるが、HauserおよびSaxena (1986) やHalberstamおよびHutchcroftによる先行研究は、階層格子においては、固有の次元と連結性が同一であっても、パーコレーション指数 $\nu_p$ およびフィッシャー指数 $\tau$ が格子のトポロジーに強く依存することを示唆している。これは、「置換マルチプリカティブ次元（substitution-multiplicative dimensions）」（例えばハウスドルフ次元）のような有限の次元の族が、これらのシステムの臨界指数普遍性クラスを完全に分類できるのか、という根本的な問題を提起している。さらに、同一の臨界指数が存在することは、基礎となる離散的な繰り込みスケールが可換である（すなわち、整数冪の関係にある）ことを意味するのだろうか。

手法
本論文は、エッジ反復グラフ・システム (EIGS) を用いて、これらのシステムの解析を定式化している。

1. フレームワーク： 著者らは、「古典的EIGS階層格子」を、単一のエッジから、有限で連結かつ終端対称なルールグラフ $R$ によって生成される決定論的なシステムとして定義する。これはダイヤモンド階層格子 (DHL) を一般化したものである。
2. ランダムEIGS表現： HamblyおよびKumagai (2010) の研究に基づき、最近のAlvesらによる結果を拡張することで、著者は、臨界ベルヌーイ・ボンド・パーコレーションが（終端接続を条件とした場合に）ランダムEIGS を誘導することを証明する。この表現により、臨界クラスターをグラフ指向のランダム再帰的フラクタルとして解析することが可能になる。
3. スペクトル解析： 中心的な解析ツールは、条件付きパーコレーション則の下での「生存している」子エッジの異なる状態（連結、非連結だが活性、および単一終端活性）の期待数を記述する $3 \times 3$ 行列である質量行列 $M_C(p)$ である。著者は、臨界確率 $p_c$ におけるこの行列のスペクトル特性を解析する。
4. 指数の定義： 本研究では、8つの臨界指数 ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$) に焦点を当てる。著者は、これら4つ ($\beta, \nu, \delta, \eta_{av}$) がすべての古典的ルールに対して存在し、これらの4つの値の一致に基づいて臨界指数普遍性クラスを定義することを確立する。
5. 数論的ツール： スケールの可換性を扱うために、著者は超越数論における六指数定理 (Six Exponentials Theorem) を用い、成長乗数の代数的性質とスケール比の有理性を結びつける。

主要な貢献および結果

• 普遍性クラスの特性付け：
  本論文は、2つの古典的EIGS階層格子が同一の臨界指数普遍性クラスに属するための必要十分条件は、以下の3つの特定の次元が一致することであることを証明している：

  1. 周囲次元 ($\dim_H(\Xi)$): 格子自体のハウスドルフ次元。
  2. 質量次元 ($\dim_M(C)$): 臨界質量行列のスペクトル半径 $\rho(M_C)$ から導かれる。
  3. ピボタル次元 ($\dim_P(C)$): 信頼性関数 $\phi'_R(p_c)$ の微分から導かれる。

  著者は、これら4つの指数を各次元に関連付ける明示的な公式を提示している：

  • $\nu = 1 / \dim_P(C)$
  • $\beta = (\dim_H(\Xi) - \dim_M(C)) / \dim_P(C)$
  • $\delta = \dim_M(C) / (\dim_H(\Xi) - \dim_M(C))$
  • $\eta_{av} = 2 + \dim_H(\Xi) - 2\dim_M(C)$

• 次元に基づく分類の失敗：
  著者は、いかなる有限の置換マルチプリカティブ次元の族も、普遍性クラスを決定できないことを厳密に証明する。質量次元 $\dim_M(C)$ は、マルチプリカティブ次元（ルール集合のみに依存し、その順序には依存しないもの）が検知できない、置換の順序（非可換構造）に関する情報を保持していることを示す。

  • 例： 著者は、異なる信頼性関数、臨界確率 ($p_c$)、および質量行列を持ちながら、$\dim_H(\Xi), \dim_M(C), \dim_P(C)$ のすべてが同一である2つの異なる格子、「Tie」と「Gem」を構成している。逆に、置換を並べ替えることで、マルチプリカティブ次元を維持したまま $\dim_M(C)$ を変化させることが可能であり、これによりマルチプリカティブ次元が分類には不十分であることが証明される。

• スケールの可換性の否定：
  本論文は、同一の臨界指数が可換な離散繰り込みスケール（すなわち $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$）を必要とするという予想に対処している。

  • 六指数定理を用いることで、特定の既約条件が満たされる場合、普遍性クラス内のスケールは必ず可換である必要があることを示している。
  • しかし、著者は定理5.6において、単一の普遍性クラスの中に、互いに非可換なスケールを持つ格子が無限に存在し得るという反例を構成している。具体的には、同じ臨界次元を共有しながら、スケールが $(19 \cdot 661^k)^{100}$ となる格子の族を構成し、それらのスケールを適合させるための有限の置換ステップの組み合わせが存在しないことを示した。
  • この結果は、普遍性に共通の離散粗視化スケールが必要であるという物理的な直感に反するものである。

意義
本論文は、階層格子における次元ベースの普遍性の限界に関するHauserおよびSaxenaの問いに対し、厳密な数学的解決を与えるものである。臨界質量次元が置換ルールの非可換構造に依存することを確立することで、幾何学的データ（ハウスドルフ次元など）がパーコレーションの普遍性を分類するには不十分であることを示している。さらに、非可換なスケールを含む普遍性クラスの構成は、普遍性が共有された離散スケーリング対称性を必要とするという物理的直感を覆すものである。本研究は、スペクトルおよび数論的議論の論理的正当性を保証するため、Lean 4による形式検証によって裏付けられている。