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

技术摘要：迭代图系统 (II)：分层晶格上的伯努利渗流与临界指数普适类

问题陈述
本文研究了分层晶格上的伯努利渗流，特别探讨了几何与维度数据本身是否足以决定临界指数的普适类。虽然欧几里得晶格上的统计物理学通常依赖于基于维度的普适性，但 Hauser 和 Saxena (1986) 以及 Halberstam 和 Hutchcroft 的前人研究表明，在分层晶格上，渗流指数 $\nu_p$ 和 Fisher 指数 $\tau$ 强烈依赖于晶格拓扑结构，即使其内在维度和连通性完全相同。这提出了一个根本性的问题：是否存在一个有限的“替换-乘法维度”（如豪斯多夫维度）族，能够完全分类这些系统的临界指数普适类？此外，相同临界指数的存在是否意味着底层的离散重整化尺度是可通约的（即由整数幂相关联）？

方法论
本文使用边迭代图系统 (EIGS) 对这些系统进行形式化研究。

1. 框架： 作者定义了一种“经典 EIGS 分层晶格”，它是由单个边通过一个有限、连通、简单且末端对称的规则图 $R$ 生成的确定性系统。这推广了钻石分层晶格 (DHL)。
2. 随机 EIGS 表示： 基于 Hambly 和 Kumagai (2010) 的工作并结合 Alves 等人的最新结果，作者证明了在给定末端连接的条件下，临界伯努利键渗流会诱导一个随机 EIGS。这种表示允许将临界簇分析为图定向随机递归分形。
3. 谱分析： 核心分析工具是质量矩阵 $M_C(p)$，这是一个 $3 \times 3$ 矩阵，描述了在条件渗流律下不同状态（已连接、未连接但活跃、单末端活跃）的“存活”子边的期望数量。作者分析了该矩阵在临界概率 $p_c$ 处的谱性质。
4. 指数定义： 研究聚焦于八个临界指数 ($\beta, \nu, \delta, \eta_{av}, \gamma, \Delta, \alpha, \rho$)。作者确立了对于每个经典规则，其中四个指数 ($\beta, \nu, \delta, \eta_{av}$) 是存在的，并基于这四个值的统一性来定义临界指数普适类。
5. 数论工具： 为了解决尺度的通约性问题，论文采用了来自超越数论的六指数定理，将增长乘数（growth multipliers）的代数性质与尺度比的理性联系起来。

主要贡献与结果

• 普适类的特征化：
  本文证明，两个经典 EIGS 分层晶格属于同一个临界指数普适类，当且仅当三个特定维度一致：

  1. 环境维度 ($\dim_H(\Xi)$)： 晶格本身的豪斯多夫维度。
  2. 质量维度 ($\dim_M(C)$)： 由临界质量矩阵的谱半径 $\rho(M_C)$ 推导得出。
  3. 枢轴维度 ($\dim_P(C)$)： 由可靠性函数 $\phi'_R(p_c)$ 的导数推导得出。

  作者提供了将这四个指数与这些维度联系起来的显式公式：

  • $\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)$ 保留了关于替换顺序（非交换结构）的信息，而乘法维度（仅依赖于规则集而非其序列）无法检测到此类信息。

  • 示例： 论文构造了两个不同的晶格——“Tie”和“Gem”，它们具有不同的可靠性函数、临界概率 ($p_c$) 和质量矩阵，却拥有相同的 $\dim_H(\Xi)$、$\dim_M(C)$ 和 $\dim_P(C)$ 值。相反，重新排列替换顺序可以在保持乘法维度不变的同时改变 $\dim_M(C)$，从而证明了乘法维度在分类中的不足。

• 对尺度通约性的反驳：
  本文探讨了这样一个猜想：相同的临界指数要求离散重整化尺度是可通约的（即 $\log \ell_1 / \log \ell_2 \in \mathbb{Q}$）。

  • 利用六指数定理，作者表明，如果满足某些不可约条件，属于同一普适类内的尺度必须是可通约的。
  • 然而，作者通过构造一个反例（定理 5.6）表明，单个普适类可以包含具有两两不可通约尺度的无数个晶格。具体而言，他们构造了一个尺度为 $(19 \cdot 661^k)^{100}$ 的晶格族，它们共享相同的临界维度，但没有任何有限的替换步骤分组能使它们的尺度兼容。
  • 这一结果反驳了普适性需要共同的离散粗粒化尺度的必要性。

意义
本文为 Hauser 和 Saxena 关于分层晶格上基于维度的普适性极限所提出的问题提供了严谨的数学解答。通过建立临界质量维度取决于替换规则的非交换结构这一事实，作者证明了几何数据（如豪斯多夫维度）不足以对渗流进行分类。此外，构造包含不可通约尺度的普适类挑战了“普适性需要共享离散缩放对称性”的物理直觉。这项工作得到了 Lean 4 的形式化验证支持，确保了谱理论和数论论证的逻辑完备性。