The free state for the Potts model on Cayley trees is either extremal or glassy

技术摘要：Cayley 树上 Potts 模型的自由态要么是极端的，要么是玻璃态的

问题陈述
本文研究了分支因子为 $d \ge 2$ 的 Cayley 树 $T_d$ 上 $q$ 态 Potts 模型的自由态（由自由边界条件获得的无限体积 Gibbs 测度）的结构。统计力学在树结构上的一个核心问题是确定一个给定的 Gibbs 测度是极端的（即纯态，不能分解为其他 Gibbs 测度的凸组合）还是非极端的。

虽然 Ising 模型（$q=2$）中唯一性阈值（即自由态为极端的阈值）已得到明确建立，即 $\beta \le \text{arctanh}(1/d)$，但在非唯一性区域（$\beta > \text{arctanh}(1/d)$）中，自由态的结构更为复杂。Gandolfo, Maes, Ruiz, 和 Shlosman (2020) 的先前工作表明，在足够低的温度下（较大的 $\beta$），自由态会分解为连续的极端态。然而，这一结果依赖于 Peierls 轮廓论证，而该方法仅在低温区域有效。本文解决的开放问题是：这种“玻璃态”行为（分解为不可数个极端组分）是否在整个非极端区域（特别是对于 $\beta > \text{arctanh}(1/\sqrt{d})$）都持续存在，以及对于一般的 $q$ 和带有外部场的模型，类似的二分性是否仍然成立。

方法论
作者开发了一种基于重叠序参数（overlap order parameter）零一律的证明策略，从而避免了 Peierls 论证对低温的限制。

1. 重叠序参数 ($Q$)： 受 Edwards-Anderson 序参数的启发，作者定义了一个重叠量 $Q$，用于衡量在给定边界配置的条件下，从自由态中提取的两个独立样本产生相同极端 Gibbs 测度的概率。具体而言，$Q = \mu^\emptyset_\beta \otimes \mu^\emptyset_\beta (\{(\eta^{(1)}, \eta^{(2)}) : \mu^{\eta^{(1)}} = \mu^{\eta^{(2)}}\})$，其中 $\mu^\eta$ 表示作为给定边界 $\eta$ 的条件测度极限得到的极端测度。
2. 极端测度的特征化： 利用命题 2，作者建立了两个极端 Gibbs 测度相等的充要条件：它们必须在树深处的子树根节点处具有相同的似然比（或“场”）。这通过将测度相等的问题简化为特定递归序列的收敛问题。
3. 树上的递归方程： 利用 Cayley 树的自相似结构和 Edwards-Sokal 耦合（该耦合将 Potts 模型与随机簇模型联系起来），作者推导了一组关于条件重叠概率 $c_{ij}$ 的非线性方程组。这些方程将根节点的重叠量与其子节点的重叠量（以分支因子 $d$ 的幂次形式）联系起来。
4. 零一律： 证明的核心在于分析这些递归方程的不动点。通过定义 $M$ 为重叠概率的最大值，作者表明 $M$ 必须满足 $M = M^d$。由于 $d \ge 2$，唯一的解是 $M=0$ 或 $M=1$。这意味着重叠量 $Q$ 几乎处处（almost surely）为 0 或 1。

主要贡献与结果

• 定理 1（主要二分性）： 本文证明了对于任何逆温度 $\beta \ge 0$ 下的 $T_d$ ($d \ge 2$) 上的 Potts 模型，自由态 $\mu^\emptyset_\beta$ 满足严格的二分性：

  1. 它是极端的（即 $\mu^\emptyset_\beta \in \text{ex}\mathcal{G}_\beta$）。
  2. 它是玻璃态的，这意味着其极端分解测度 $\lambda_{\mu^\emptyset_\beta}$ 没有原子。因此，该分解的支持集包含不可数个极端 Gibbs 测度。
     不存在中间情况，即分解中包含可数个原子的情况。

• 推论 1（Ising 模型阈值）： 通过将定理 1 应用于 Ising 模型（$q=2$），作者结合已知的不极端性阈值（Blehler, Ruiz, Zagrebnov），确立了自由态是玻璃态的充要条件为 $\beta > \text{arctanh}(1/\sqrt{d})$。这扩展了之前关于“连续分解”的低温研究结果，将其覆盖到了整个自旋玻璃区域。

• 向外部场的推广（定理 2）： 该方法被推广到带有均匀外部场的 Potts 模型。论文证明任何完全齐次分裂 Gibbs 测度（CHSGM）也满足相同的极端/玻璃态二分性。

• 自旋玻璃联系： 作者指出，存在不可数个极端态是自旋玻璃相的一个标志。他们指出，Cayley 树上铁磁 Ising 模型的自由态在 $\beta = \text{arctanh}(1/\sqrt{d})$ 处表现出一种镜像了随机耦合模型中发现的自旋玻璃相变的现象，而这种现象在 $\mathbb{Z}^d$ 上的 Ising 模型自由态中并未观察到（在 $\mathbb{Z}^d$ 上，自由态通常是正负态的简单平均）。

意义
本文声称克服了 Peierls 轮廓论证的障碍，此前该论证限制了将连续分解证明扩展到更广温度范围的能力。通过引入基于树结构和 Edwards-Sokal 耦合的重叠序参数零一律，作者对整个参数空间内的自由态进行了严谨的刻画。

其意义在于：

1. 完善相图： 为 Cayley 树上 Ising 模型的自由态提供了精确的玻璃态行为阈值（$\beta > \text{arctanh}(1/\sqrt{d})$）。
2. 结构洞察： 确立了在非极端区域，自由态不可能是一个有限或可数个纯态的混合；它必须是不可数连续体的混合。
3. 广泛适用性： 展示了这种二分性对于一般的 $q$ 态 Potts 模型以及带有均匀外部场的模型均成立，表明这是树上分裂 Gibbs 测度的一种普遍结构属性。

作者对于带有外部场的 Ising 模型（$q=2, H \neq 0$）保持了谦逊的态度，指出虽然二分性成立，但确定三个可能的 CHSGM 中“中间”状态何时为非极端的精确区域仍是一个开放性问题。