The solution of the Hopfield model with Gaussian patterns

技术摘要：高斯模式下 Hopfield 模型的解

问题陈述
本文解决了高斯模式下 Hopfield 模型自由能（淬火压强）热力学极限的严格推导问题。在该模型中，$N$ 个伊辛自旋通过 $M = \alpha N$ 个存储模式 $\xi^\mu \in \mathbb{R}^N$ 进行相互作用。尽管 Amit、Gutfreund 和 Sompolinsky (AGS) 的复制理论预测了一个包含顺磁相、自旋玻璃相和检索相的相图，但严谨的数学结果在历史上仅限于复制对称区域（小负载 $\alpha$ 或高温度 $T$）或退火区域。一个根本性的障碍在于 Hopfield 哈密顿量在 Hubbard–Stratonovich 表示中的非凸性，该表示描述了一个由可见的伊辛自旋与连续高斯隐变量组成的二分系统。标准的插值技术（Guerra–Toninelli）和多物种理论依赖于在上述二分结构特征（重叠乘积）失效的情况下无法满足的凸性条件。此外，在这些受限区域之外，热力学极限的存在性此前尚未得到确立。

方法论
作者通过三个步骤的机制推导了大规模 $N$ 极限下的淬火压强：

1. Hubbard–Stratonovich 变换： 将模型映射为一个由 $N$ 个伊辛自旋和 $M$ 个高斯隐变量组成的二分系统。其相互作用在高斯变量上是线性的。
2. 径向分解与拉普拉斯原理： 作者观察到 $\mathbb{R}^M$ 中的高斯向量可以分解为一个随机半径 $s$ 和球面上的均匀方向 $\tau$。半径 $s$ 是一个热力学变量，其熵代价 $I_\alpha(s)$ 源自高斯范数的分布。配分函数被表示为关于半径 $s$ 的伊辛–球面模型配分函数的积分，其中有效耦合为 $\gamma = \beta s^2$。通过应用拉普拉斯原理，自由能被证明收敛于一个涉及半径 $s$ 上上确界（supremum）的变分原理。
3. 混合模型的求解： 得到的伊辛–球面模型（具有高斯耦合）使用 Mourrat 开发的 Hamilton–Jacobi 方法进行求解。该方法将自由能视为关于虚构时间（耦合强度）和 Parisi 序参数的函数。由于二分模型的协方差是非凸的，其解并非标准的 Parisi 变分原理，而是 Hopf 公式，该公式涉及对共轭变量（重叠）的上确界以及对 Parisi 序参数的下确界（infimum）。

核心贡献与结果

• 热力学极限的存在性： 本文证明了对于每一个负载 $\alpha > 0$ 和温度 $T > 0$，自由能在几乎处处（almost surely）和期望意义下都收敛于一个良定义的变分原理。
• 显式变分原理： 极限压强 $P(\alpha, \beta)$ 由下式给出：
  $$P(\alpha, \beta) = \sup_{s>0} \left\{ \phi_\alpha(\beta s^2) - I_\alpha(s) \right\}$$
  其中 $\phi_\alpha$ 是混合伊辛–球面模型的压强，$I_\alpha(s)$ 是半径的相对熵代价。
• 热力学变量（半径）： 隐层半径（隐变量的经验方差）被识别为一个热力学变量。论文推导了该半径的状态方程，展示了它如何在 $s^2=1$ 的熵偏好与更大的涨落驱动之间进行平衡。
• 严谨相图：
  • 退火区域： 对于 $T \ge T_g = 1 + \sqrt{\alpha}$，模型是退火的（自由能等于退火自由能）。
  • 玻璃相区域： 当 $T < T_g$ 时，压强严格小于退火值。$T_g$ 处的转变被确定为退火区域的严谨边界。
  • 无检索相： 对于正负载下的高斯模式，本文通过对称性论证确认了对称 Gibbs 测度中不存在检索相。
• 复制对称性与 AGS 理论：
  • 将变分原理限制在常数路径上，可以恢复作为严谨上界的 AGS 复制对称泛函。
  • 本文证明了 AGS 自旋玻璃解是唯一的。
  • 复制对称性破缺 (RSB)： 在 $T < T_g$ 时，复制对称解是不稳定的。不稳定性条件恰好简化为 Sherrington–Kirkpatrick (SK) 模型的零场 de Almeida–Thouless (AT) 条件。因此，整个自旋玻璃相都是复制对称破缺的，且 AGS 自由能在该区域是一个严格的上界。

意义
本文首次在不依赖假设的情况下，推导出了在所有温度下均有效的 AGS 泛函上界。通过引入隐层半径作为热力学变量，并利用 Hamilton–Jacobi/Hopf 公式框架，解决了 Hopfield 模型中的非凸性长期存在的问题。这种方法成功地将严谨结果扩展到了完整的相图，包括存在复制对称性破缺的低温自旋玻璃相。这项工作确立了 Hopfield 模型中的 AGS 解的不稳定性在结构上等同于 SK 模型中的 AT 不稳定性，从而为高斯模式下的 Hopfield 模型热力学提供了完整的、严谨的表征。