[论文解读] TAP equations for orthogonally invariant spin glasses at high temperature

Fan Zhou, Yufan Li+1 more|arXiv (Cornell University)|Feb 18, 2022

Theoretical and Computational Physics被引用 5

一句话总结

本文通过近似消息传递（AMP）收敛性的新颖几何分析，严格证明了在高温下，正交不变自旋玻璃模型中的磁化强度由 Thouless-Anderson-Palmer（TAP）方程描述。作者建立了磁化强度在足够高温度下对 TAP 解的 $L^2$ 收敛性，将先前针对具有依赖耦合的广义模型的非严格图解法与腔体法推导结果进行了严格化扩展。

ABSTRACT

We study the high-temperature regime of a mean-field spin glass model whose couplings matrix is orthogonally invariant in law. The magnetization of this model is conjectured to satisfy a system of TAP equations, originally derived by Parisi and Potters using a diagrammatic expansion of the Gibbs free energy. We prove that this TAP description is correct in an $L^2$ sense, in a regime of sufficiently high temperature. Our approach develops a novel geometric argument for proving the convergence of an Approximate Message Passing (AMP) algorithm to the magnetization vector, which is applicable in models without i.i.d. couplings. This convergence is shown via a conditional second moment analysis of the free energy restricted to a thin band around the output of the AMP algorithm, in a system of many "orthogonal" replicas.

研究动机与目标

• 严格验证具有正交不变耦合的平均场自旋玻璃模型中的 Thouless-Anderson-Palmer（TAP）方程。
• 将 TAP 方程的有效性从 i.i.d. 模型扩展至具有依赖耦合的更广泛自旋玻璃类。
• 在高温区域建立磁化强度对 TAP 解的 $L^2$ 收敛性。
• 为无 i.i.d. 耦合的模型开发一种分析 AMP 收敛性的新几何框架。
• 通过在自由能的窄带区域使用大量正交副本的条件二阶矩方法，证明 TAP 描述的正确性。

提出的方法

• 作者采用新颖的几何论证，证明在非 i.i.d. 耦合的模型中，近似消息传递（AMP）算法收敛于磁化强度向量。
• 他们分析了限制在 AMP 输出附近窄带区域的吉布斯自由能的条件二阶矩，使用一组大量正交副本。
• 该方法依赖于耦合矩阵 $J$ 的正交不变分布律，使得分析中可使用哈尓分布的随机正交矩阵。
• 证明利用了 $J$ 的极限谱分布的 R-变换，以表达磁化强度方程中的 TAP 校正项。
• 一个关键技术工具是来自 [FW21, Proposition 2.6] 的正交矩阵的条件分布律，该工具被适配至特殊正交群 $\mathbb{SO}(n)$。
• 分析在 $n \to \infty$ 的渐近极限下进行，磁化强度向量的收敛性以 $L^2$ 范数衡量。

实验结果

研究问题

• RQ1 在高温下，TAP 方程是否正确描述了正交不变自旋玻璃模型中的磁化强度？
• RQ2 在具有依赖耦合的模型中，AMP 收敛于磁化强度是否可被严格建立？
• RQ3 TAP 描述是否在 $L^2$ 意义下对所有正交不变模型成立，而不仅限于 i.i.d. 或 SK 型模型？
• RQ4 能否在非 i.i.d. 设置下，使用自由能窄带区域的条件二阶矩方法来验证 TAP 解？
• RQ5 在该类模型中，正交副本在稳定 AMP 输出附近自由能景观方面起到何种作用？

主要发现

• 当 $n \to \infty$ 时，在足够高的温度下，磁化强度向量 $\langle \sigma \rangle$ 以 $L^2$ 范数收敛于 TAP 方程（2）的解。
• TAP 方程在所有正交不变模型中均以 $L^2$ 意义严格验证，包括 SK 模型、随机正交模型和高斯 Hopfield 模型。
• 该证明建立了在无 i.i.d. 耦合的模型中，AMP 算法通过新的几何收敛论证收敛于真实磁化强度。
• 对 AMP 输出附近窄带区域的自由能的条件二阶矩分析，确认了 TAP 解的正确性。
• 关于 $q_*$ 和 $\sigma_*^2$ 的固定点系统（3）在 $\beta < \beta_0(\mu_D)$ 时具有唯一解，确保了 TAP 解的存在性。
• 结果在渐近极限下以几乎必然方式成立，收敛性以系统大小 $n$ 的归一化 $L^2$ 范数衡量。