[论文解读] Sign Problem in Quantum Monte Carlo Simulation

Gaopei Pan, Zi Yang Meng|arXiv (Cornell University)|Apr 19, 2022

Physics of Superconductivity and Magnetism参考文献 92被引用 10

一句话总结

本文对量子蒙特卡洛（QMC）模拟中费米子和玻色子模型的符号问题提供了全面的教学性综述。它将符号问题识别为表象依赖性问题，并表明近期进展——特别是有限尺寸配分函数分析——揭示了低温下平均符号的代数标度行为，从而使得即使存在符号问题，也能成功模拟扩展的 Hubbard 模型和量子莫尔晶格模型。

ABSTRACT

Sign problem in quantum Monte Carlo (QMC) simulation appears to be an extremely hard yet interesting problem. In this article, we present a pedagogical overview on the origin of the sign problem in various quantum Monte Carlo simulation techniques, ranging from the world-line and stochastic series expansion Monte Carlo for boson and spin systems to the determinant and momentum-space quantum Monte Carlo for interacting fermions. We point out the basis dependency of the sign problem and summarize the progresses to cure, ease and even make use of the sign problem over the years, such as symmetry analysis of the underlying Hamiltonian, basis optimization in writting down the partition functions and many others. Moreover, we state that although traditional lore saying that in case of sign problem, the average sign in QMC simulation approaches zero exponentially fast with the space-time volume of the configurational space, there are recent breakthroughs showing this is not always the case and based on the properties of the partition function for finite size systems, one could distinguish when the average sign has the usual exponential scaling and when it is bestowed with an algebraic scaling at the low temperature limit. Fermionic QMC simulations with such algebraic sign problems have been successfully carried out for extended Hubbard-type and quantum Moiré lattice models.

研究动机与目标

• 阐明各种 QMC 技术（包括世界线、随机级数展开、行列式和动量空间 QMC）中符号问题的起源及其表象依赖性。
• 研究在低温下 QMC 模拟中平均符号是呈指数标度（传统情况）还是代数标度，从而挑战长期存在的假设。
• 总结避免、缓解或利用符号问题的既定方法，如对称性分析、表象优化和先进采样技术。
• 证明平均符号的代数标度行为使得原本被认为难以处理的强关联费米子系统能够实现可行的 QMC 模拟。
• 提供一个统一的视角来理解符号问题，整合来自拓扑、对称性和有限尺寸配分函数分析的洞见。

提出的方法

• 通过配分函数结构和表象依赖性的视角分析符号问题，表明符号问题并非内在属性，而是取决于所选表示。
• 应用有限尺寸配分函数分析，推导出平均符号的界限，区分低温下指数标度与代数标度行为。
• 回顾既定的无符号问题条件，如反酉对称性、莫尔系统中的 $C_2T + C_2P$ 对称性以及马约拉纳正定性。
• 研究高级技术如 Lefschetz 柱面，其中作用量的虚部在柱面上为常数（模 $2\pi$），确保在每个柱面内无符号问题。
• 利用重加权方法和交点数 $n_σ = \langle \mathcal{K}_\sigma, \mathbb{R}^n \rangle$，通过复路径积分计算配分函数。
• 将 Lefschetz 柱面与混合蒙特卡洛方法结合，对 $L=6$、$\beta=20$ 的蜂窝晶格 Hubbard 模型在有限化学势下成功进行了模拟。

实验结果

研究问题

• RQ1 在何种条件下，QMC 模拟中的平均符号不呈指数标度，而是随系统尺寸呈代数标度？
• RQ2 表象选择如何影响量子蒙特卡洛模拟中符号问题的存在或严重程度？
• RQ3 是否可以通过对称性分析、表象优化或如 Lefschetz 柱面等拓扑方法治愈或缓解符号问题？
• RQ4 有限尺寸配分函数在决定低温极限下平均符号标度行为方面起什么作用？
• RQ5 是否存在特定的费米子模型（如扩展 Hubbard 模型或莫尔晶格系统），其代数符号标度使得即使存在非平凡的符号问题，也能实现可行的 QMC 模拟？

主要发现

• QMC 模拟中的平均符号并不总是随系统尺寸呈指数标度；对于某些模型，在低温下其标度为代数形式，从而实现可行的模拟。
• 尽管存在符号问题，扩展 Hubbard 类型和量子莫尔晶格模型的费米子 QMC 模拟已成功实现，原因在于平均符号的代数标度行为。
• 有限尺寸配分函数分析表明，符号问题的严重程度取决于系统尺寸与温度的相互作用，代数标度在特定低温区域中显现。
• Lefschetz 柱面提供了一个框架，其中作用量的虚部为常数（模 $2\pi$），确保在每个柱面内无符号问题，并支持通过复路径积分精确计算配分函数。
• 交点数 $n_\sigma = \langle \mathcal{K}_\sigma, \mathbb{R}^n \rangle$ 决定了每个鞍点对配分函数的贡献，从而可通过柱面分解实现精确计算。
• 在 $L=6$、$\beta=20$ 条件下，利用 Lefschetz 柱面和混合蒙特卡洛方法，成功模拟了蜂窝晶格 Hubbard 模型，证明了该方法在符号问题严重系统中的可行性。