[论文解读] Hamilton-Jacobi equations for mean-field disordered systems

Jean-Christophe Mourrat|arXiv (Cornell University)|Nov 4, 2018

Quantum many-body systems参考文献 10被引用 18

一句话总结

本文提出了一套哈密顿-雅可比方程框架，用于分析平均场无序系统的宏观行为，证明在热力学极限下，自由能满足一个带有趋于零的粘性项和误差项的近似哈密顿-雅可比方程。该方法为变分形式提供了一种稳健且直观的替代方案，成功通过粘性解理论计算了秩一矩阵推断问题中的自由能极限。

ABSTRACT

We argue that Hamilton-Jacobi equations provide a convenient and intuitive approach for studying the large-scale behavior of mean-field disordered systems. This point of view is illustrated on the problem of inference of a rank-one matrix. We compute the large-scale limit of the free energy by showing that it satisfies an approximate Hamilton-Jacobi equation with asymptotically vanishing viscosity parameter and error term.

研究动机与目标

• 开发一种新的、直观的框架，用于研究平均场无序系统中自由能的宏观极限行为。
• 证明有限体积下的自由能满足带有渐近趋于零的粘性和误差项的近似哈密顿-雅可比方程。
• 通过强调其背后的偏微分方程结构，为经典变分形式（如巴黎公式）提供更透明且稳健的替代方案。
• 将该方法应用于秩一矩阵的推断问题，其中副本对称性简化了分析。
• 建立自由能收敛于具有凹非线性的哈密顿-雅可比方程的粘性解。

提出的方法

• 通过引入辅助参数（如磁化强度）来丰富自由能，以捕捉宏观可观测量之间的相关性。
• 推导出有限-N 自由能的闭式偏微分方程，表明其满足一个粘性项与 $ N^{-1} $ 成比例的哈密顿-雅可比方程。
• 利用二阶导数对应于可观测量方差的事实，从而在大-N 极限下控制误差项。
• 建立有限-N 自由能收敛于极限哈密顿-雅可比方程的粘性解。
• 将该方法应用于秩一矩阵推断模型，其中哈密顿-雅可比方程中的非线性项为凹函数，而非凸函数。
• 证明极限自由能满足形式为 $ \partial_t F - 2(\partial_h F)^2 = 0 $ 的哈密顿-雅可比方程，并满足适当的边界条件。

实验结果

研究问题

• RQ1 平均场无序系统中自由能的宏观极限是否可由哈密顿-雅可比方程而非变分原理来刻画？
• RQ2 哈密顿-雅可比框架如何处理具有泛函序参量的系统（如自旋玻璃或推断模型）？
• RQ3 为何巴黎公式给出的是下确界而非上确界？这一现象能否通过哈密顿-雅可比结构加以解释？
• RQ4 粘性解概念在何种意义上为自由能极限提供了更自然且稳健的解释？
• RQ5 该哈密顿-雅可比方法能否推广至具有非凸非线性项的模型（如推断问题中出现的凹函数情形）？

主要发现

• 有限体积自由能满足一个粘性项为 $ N^{-1} $ 且在大-N 极限下误差项趋于零的近似哈密顿-雅可比方程。
• 极限自由能被识别为哈密顿-雅可比方程 $ \partial_t F - 2(\partial_h F)^2 = 0 $ 的粘性解。
• 由于非线性项为凹函数，解表现出上确界-下确界（sup-inf）的变分表示形式，与凸情形下的下确界-上确界（inf-sup）形式形成对比。
• 该方法成功计算了秩一矩阵推断问题中的自由能极限，结果与已知结论一致。
• 粘性解框架为自由能极限提供了统一且直观的解释，即使在经典变分形式显得反直觉时亦然。
• 分析证实，与变分形式相比，哈密顿-雅可比视角在具有复杂或非凸结构的系统中更具鲁棒性。