Quenched complexity of marginal states in the Sherrington--Kirkpatrick spin glass

技术摘要：Sherrington–Kirkpatrick 自旋玻璃中边际态的淬火复杂度

问题陈述
在自旋玻璃转变温度以下，Sherrington–Kirkpatrick (SK) 模型表现出指数级数量的亚稳态。不同于具有一阶复制对称破缺 (1RSB) 平衡相的模型（例如球面 $p$-spin 模型，其亚稳态是 Thouless–Anderson–Palmer (TAP) 自由能的真正极小值），SK 模型中的绝大多数 TAP 态是边际的 (marginal)。这些状态在自由能 Hessian 矩阵中拥有软模，使得它们对标准的超对称 Becchi–Rouot–Stora–Tyutin (BRST) 计数方法是不稳定的。

从历史上看，SK 模型中这些边际态的复杂度（构型熵）仅在退火近似 (annealed approximation)（即对状态数量取平均而非取对数）下被计算过。这种由 Bray-Moore 两组复制 Ansatz 导出的退火解，仅在有限的自由能窗口（$f^* < f < f_{\max}$）内是精确的。在稳定性阈值 $f^*$ 以下，退火解变得不稳定（由负的复制子特征值指示），并预测出一个零复杂度能量 $f_0^{\text{ann}}$，该值严格低于 Parisi 全复制对称破缺 (FRSB) 解的平衡自由能 $f_0^{\text{eq}}$。这种不物理的预测意味着存在能量低于热力学基态的状态。此前曾尝试进行淬火 (quenched) 计算，但仍局限于 BRST 对称框架内，而该框架在除平衡点外所有能级处都是不稳定的。因此，对于占主导地位的、破坏 BRST 对称性的边际态，其淬火复杂度在过去四十五年里一直是一个悬而未决的问题。

方法论
作者使用两组复制 Ansatz 结合一阶复制对称破缺 (1RSB) 结构，计算了 SK 模型边际态的淬火复杂度。

1. 两组形式体系： 该方法利用了 Bray 和 Moore 引入的形式体系，其中复制重叠矩阵 $Q$ 被划分为两组。这种结构描述了一个极小值与一个秩为一的鞍点合并为一个单一边际态的过程。其序参量包括：

   • $Q_{ab}$：各状态间局部磁化强度的重叠。
   • $A_{ab}$：状态 $a$ 的磁化强度与状态 $b$ 的软模方向之间的重叠。
   • $C_{ab}$：软模与软模之间的重叠。
     角度 $\gamma$ 定义为磁化强度与软模之间的夹角，通过 $\cos \gamma = A_{aa} / \sqrt{Q_{aa}C_{aa}}$ 计算。

2. 淬火 1RSB 计算： 作者在边际态之间引入了 1RSB 结构。矩阵 $Q, A, C$ 通过对角值、内块值（大小为 $m_1$）以及外值进行参数化。

   • 在零外场情况下，外重叠项消失（$Q_0 = A_0 = C_0 = 0$）。
   • 鞍点方程显示，在所探索的所有温度和 $m$ 值下，$A_1$ 和 $C_1$ 实际上趋于零（$A_1 \simeq C_1 \simeq 0$）。这显著简化了问题，意味着虽然同一簇内的磁化强度是相关的（$Q_1 \neq 0$），但同一簇内不同边际态的软模方向是不相关的。
   • 复杂度 $\Sigma(f)$ 通过广义两组自由能泛函的勒让德变换获得。

3. 零温极限： 该方案在 $T \to 0$ 极限下（保持 $y = \beta m$ 固定）进行分析，将系统坍缩为关于参数 $k_A = \lim_{T\to 0} A/T$ 和 $l_{Q_1} = \lim_{T\to 0} Q_1$ 的两个封闭方程，从而可以直接评估基态复杂度 $\Sigma(e)$。

主要结果
论文展示了不同温度（$T=0, 0.05, 0.1, 0.2$）下的淬火复杂度曲线 $\Sigma(f)$，并将其与退火近似及平衡 FRSB 解进行了对比。

1. 修正零复杂度点： 淬火 1RSB 复杂度在高自由能处（退火解稳定的区域）与退火曲线重合。然而，在复制子不稳定性点 $f^*$ 处，淬火曲线发生了分支。至关重要的是，淬火复杂度在比不物理的退火值 $f_0^{\text{ann}}$ 显著更高的自由能 $f_0^{\text{1RSB}}$ 处消失。

   • 在 $T=0$ 时，$f_0^{\text{ann}} \approx -0.79067$，而平衡 FRSB 能量为 $f_0^{\text{eq}} \approx -0.76321$。
   • 1RSB 淬火结果给出 $f_0^{\text{1RSB}} \approx -0.76522$，大幅缩小了零复杂度点与平衡能量之间的差距。

2. 观测量的行为：

   • 重叠相关性： 随着自由能降低，对角重叠与非对角重叠之差（$Q - Q_1$）减小，表明低能态处于日益相关的簇中，预示着平衡相中连续的超度量组织结构。
   • 软模取向： 随着 $f \to f_0^{\text{1RSB}}$，磁化强度与软模之间的角度 $\gamma$ 增大，趋近于 $\pi/2$。这表明在最低阶的边际态中，软模趋于与磁化强度正交，这是预期中精确平衡 FRSB 态的特性。

3. 收敛模式： 结果支持一种系统性的偏移，即 $f_0^{\text{ann}} < f_0^{\text{1RSB}} \lesssim f_0^{\text{eq}}$。$f_0^{\text{1RSB}}$ 与 $f_0^{\text{eq}}$ 之间的残余偏差与已知 1RSB 近似于平衡自由能本身的误差处于同一相对数量级。

意义与主张
本文声称解决了一个长达四十五年的悬而未决的问题，提供了对 SK 模型中占主导地位的边际态进行首次淬火计算。其主要意义在于将 TAP 激发态的计数与 Parisi 热力学相统一：

• 解决不物理预测： 本工作证明了存在低于平衡自由能之状态的不物理预测是退火近似的伪影。淬火计算将零复杂度点推回到了平衡能量附近。
• 关于 FRSB 极限的猜想： 作者猜想，在两组理论向全复制对称破歇 (FRSB) 极限演化的过程中，边际态的复杂度将恰好在平衡自由能处消失（$f_0^{\text{FRSB}} = f_0^{\text{eq}}$）。这意味着最低阶的边际 TAP 态实际上就是 Parisi 解的平衡态，且不存在自由能高于 $f_0^{\text{eq}}$ 的无态区间。
• 方法论进步： 本文建立了一种数值稳定的内块鞍点方程表述，可以扩展到外场以及具有混合 1RSB–FRSB 相的模型。此外，它还提供了一个框架，用于与未来针对超空间 Kac–Rice 公式进行的淬火扩展进行对比。

作者对 1RSB 近似保持谦逊，指出它是对稳定的 2G FRSB Ansatz 的一种近似，且零复杂度端点尚未与平衡解完全一致，但该趋势有力地支持了向精确结果的收敛。