[论文解读] The replica-symmetric free energy for Ising spin glasses with orthogonally invariant couplings

Zhou Fan, Yihong Wu|arXiv (Cornell University)|May 6, 2021

Theoretical and Computational Physics参考文献 47被引用 10

一句话总结

该论文在高温下严格证明了具有正交不变耦合的伊辛自旋玻璃模型的副本对称自由能的渐近正确性。通过条件化由近似消息传递（AMP）迭代生成的σ-代数——其状态演化已被严格建立——作者将Bolthausen的条件性 quenched-equals-annealed 论证方法推广至该框架，证明了quenched自由能收敛于副本对称预测结果，将先前仅限于零外场的情况扩展至非零外场 $ h \neq 0 $ 的情形。

ABSTRACT

We study a variant of the Sherrington-Kirkpatrick (S-K) spin glass model with external field, where the random symmetric couplings matrix does not consist of i.i.d. entries but is instead orthogonally invariant in law. For sufficiently high temperature, we prove a replica-symmetric formula for the first-order limit of the model free energy. Our analysis is an adaptation of a conditional second-moment-method argument previously introduced by Bolthausen for studying the high-temperature regime of the S-K model, where one conditions on the iterates of an Approximate Message Passing (AMP) algorithm for solving the TAP equations for the model magnetization. We apply this method using a memory-free version of AMP that is tailored to the orthogonally invariant structure of the model couplings.

研究动机与目标

• 严格验证具有广义正交不变耦合的平均场伊辛自旋玻璃模型中副本对称自由能预测的正确性。
• 将先前仅限于零外场的结果扩展至非零外场 $ h \neq 0 $ 的情形，此时quenched-annealed等式不再无条件成立。
• 基于AMP迭代提出一种条件性quenched-equals-annealed论证，以建立副本对称自由能的渐近正确性。
• 通过提供一个非高斯、非i.i.d.的框架，弥合数学物理中的空白，使副本对称预测得到严格证明。

提出的方法

• 将Bolthausen的条件性quenched-equals-annealed论证方法适配至正交不变自旋玻璃模型的高温区域。
• 将quenched自由能条件化于求解TAP方程的近似消息传递（AMP）算法迭代所生成的σ-代数之上。
• 利用正交不变模型中AMP的严格状态演化结果，定义一个捕捉自旋磁化典型行为的条件化σ-代数。
• 通过在参数 $ \gamma $ 上进行变分表示来表达自由能，从而导出近似quenched自由能的泛函 $ f(\bar{J}, \gamma) $。
• 利用正交群上的测度集中性，证明条件自由能以几乎必然收敛于副本对称预测结果。
• 依赖于耦合矩阵 $ J $ 的谱性质，假设其具有正交不变性，并且其极限谱分布具有有界支集。

实验结果

研究问题

• RQ1 当存在外场时，具有正交不变耦合的伊辛自旋玻璃模型中，副本对称自由能预测是否仍保持渐近精确？
• RQ2 条件性quenched-equals-annealed原理能否推广至如正交不变自旋玻璃等非i.i.d.模型？
• RQ3 AMP算法的状态演化如何实现对高温区域quenched自由能的严格控制？
• RQ4 副本对称预测对耦合矩阵的谱分布是否具有鲁棒性，超越i.i.d.或高斯系综？
• RQ5 是否可以在不依赖高斯性或元素间独立性的前提下，建立quenched自由能收敛于副本对称公式的结论？

主要发现

• 在足够高的温度下，quenched自由能 $ \frac{1}{n}\log Z $ 几乎必然收敛于副本对称预测 $ \Psi_{\mathrm{RS},\mathrm{sphere}} $，且在 $ n \to \infty $ 时成立。
• 即使存在非零外场 $ h \neq 0 $，该收敛性依然成立，此时标准的quenched-annealed恒等式不再成立。
• 该证明依赖于对AMP迭代生成的σ-代数进行条件化，该代数捕捉了典型的磁化行为，从而支持条件性quenched-equals-annealed论证。
• 极限自由能以变分公式表达：$ \Psi_{\mathrm{RS},\mathrm{sphere}} = \frac{1}{2}\inf_{\gamma > \bar{d}_+} \Psi(\gamma) $，其中 $ \Psi(\gamma) $ 涉及极限谱分布的预解迹与行列式。
• 通过正交群上的一致测度集中性及Lipschitz连续性论证，建立了条件自由能 $ f(\bar{J}) $ 收敛于 $ \Psi_{\mathrm{RS},\mathrm{sphere}} $。
• 该结果将[6]中关于 $ h = 0 $ 情况的工作推广至含外场的一般情形，采用基于AMP的条件化方法，而非传统的二阶矩方法。