[論文レビュー] 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）シミュレーションにおける符号問題について、包括的で教育的である。符号問題は基底に依存することを特定し、最近の進展——特に有限サイズの分配関数解析——によって、低温における平均符号の代数的スケーリングが明らかになった。これにより、拡張ハーバード模型や量子モアレ格子模型のシミュレーションが、符号問題にもかかわらず成功裏に実施された。

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$ 対称性、メジャナ型正則性などの符号問題フリーな条件をレビューした。
• 作用の虚部がトゥーブルに一定（$2\pi$ で周期的）であるLefschetzトゥーブルの技術を検討し、各トゥーブル内では符号問題が生じないことを保証した。
• 再重みティング法と交差数 $n_σ = \langle \mathcal{K}_\sigma, \mathbb{R}^n \rangle$ を用いて、複素曲線積分による分配関数の計算を実施した。
• Lefschetzトゥーブルを用いたハイブリッドモンテカルロ法を適用し、$L=6$, $\beta=20$ のヘキサゴナル格子上のハーバード模型を有限化学ポテンシャル下でシミュレーションした。

実験結果

リサーチクエスチョン

• RQ1 QMCシミュレーションにおける平均符号が、系サイズに指数的ではなく代数的スケーリングする条件は何か？
• RQ2 基底の選択が、量子モンテカルロシミュレーションにおける符号問題の有無や深刻さにどのように影響するか？
• RQ3 対称性解析、基底最適化、Lefschetzトゥーブルのようなトポロジカル手法によって、符号問題が克服または緩和可能か？
• RQ4 有限サイズ分配関数が、低温極限における平均符号のスケーリング挙動をどのように決定するか？
• RQ5 拡張ハーバード模型やモアレ格子系のような特定のフェルミオン系モデルでは、代数的符号スケーリングが、非自明な符号問題にもかかわらず、QMCシミュレーションの実行可能性を可能にするか？

主な発見

• QMCシミュレーションにおける平均符号は、常に系サイズに指数的にスケーリングするわけではない。特定のモデルでは低温において代数的スケーリングを示し、シミュレーションが可能になる。
• 拡張ハーバード型および量子モアレ格子系のフェルミオンQMCシミュレーションが、符号問題にもかかわらず、平均符号の代数的スケーリングのおかげで成功裏に実施された。
• 有限サイズ分配関数解析により、符号問題の深刻さが、系サイズと温度の相互作用に依存することが明らかになり、特定の低温領域で代数的スケーリングが顕在することが分かった。
• Lefschetzトゥーブルは、作用の虚部が一定（$2\pi$ で周期的）である枠組みを提供し、各トゥーブル内では符号問題が生じない。これにより、正確な分配関数評価のための複素曲線積分が可能になる。
• 交差数 $n_\sigma = \langle \mathcal{K}_\sigma, \mathbb{R}^n \rangle$ は、各鞍点が分配関数に寄与する割合を決定し、トゥーブル分解を用いた高精度な計算を可能にする。
• ヘキサゴナル格子上のハーバード模型（$L=6$, $\beta=20$）が、Lefschetzトゥーブルとハイブリッドモンテカルロを用いて成功裏にシミュレーションされた。これは、本手法が符号問題を有する系に対しても有効であることを示している。