[論文レビュー] The effect of quantization on the FCIQMC sign problem

Michael Kolodrubetz, James S. Spencer+2 more|arXiv (Cornell University)|Sep 13, 2012

Advanced Chemical Physics Studies参考文献 8被引用数 12

ひとこと要約

本稿は、第一量子化（ハートリー積）と第二量子化（スレーター行列式）の基底を比較することで、フル・コンフィギュレーション・インタラクション・量子モンテカルロ（FCIQMC）におけるフェルミオンの符号問題を分析している。符号問題の深刻さは、特定の対称性条件が満たされない限り、第二量子化基底の方が常に軽微であることを証明しており、消滅が存在しない場合でも、FCIQMCは第一量子化法に比べて符号問題を本質的に緩和することが示されている。

ABSTRACT

The sign problem in Full Configuration Interaction Quantum Monte Carlo (FCIQMC) without annihilation can be understood as an instability of the psi-particle population to the ground state of the matrix obtained by making all off-diagonal elements of the Hamiltonian negative. Such a matrix, and hence the sign problem, is basis dependent. In this paper we discuss the properties of a physically important basis choice: first versus second quantization. For a given choice of single-particle orbitals, we identify the conditions under which the fermion sign problem in the second quantized basis of antisymmetric Slater determinants is identical to the sign problem in the first quantized basis of unsymmetrized Hartree products. We also show that, when the two differ, the fermion sign problem is always less severe in the second quantized basis. This supports the idea that FCIQMC, even in the absence of annihilation, improves the sign problem relative to first quantized methods. Finally, we point out some theoretically interesting classes of Hamiltonians where first and second quantized sign problems differ, and others where they do not.

研究の動機と目的

• FCIQMCにおける基底選択がフェルミオンの符号問題に与える影響を理解すること。
• 第一量子化（ハートリー積）と第二量子化（スレーター行列式）表現における符号問題の深刻さを比較すること。
• 両基底間で符号問題が同一または異なる条件を同定すること。
• FCIQMCが消滅が存在しない場合でも、第一量子化法に比べて符号問題を改善することを確立すること。
• 第一量子化と第二量子化表現で符号問題が異なるか、同等であるHamiltonianのクラスを同定すること。

提案手法

• 符号問題を、すべての非対角要素が負である行列の基底状態へのψ粒子集団の不安定性として定式化する。
• 虚時間発展をモデル化するため、遷移行列 U = I - HΔτ を用いる。
• 第一量子化および第二量子化表現における遷移行列の最大固有値を比較することで、符号問題の深刻さを定量化する。
• 変分原理を用いて、第一量子化行列の主要固有値が第二量子化行列のそれーよりも大きい、または等しいことを示す。
• 符号問題が両基底で同一である条件を、Hamiltonianの対称性特性に基づいて導出する。
• 反対称化作用素 A を用いて両基底間の行列要素を関連付け、三角不等式と符号キャンセレーションを用いて不等式 t̃F′ > t̃D を証明する。

実験結果

リサーチクエスチョン

• RQ1 FCIQMCにおいて、第一量子化基底と第二量子化基底の間でフェルミオンの符号問題が同一となる条件は何か？
• RQ2 第二量子化基底における符号問題は、第一量子化基底に比べ常に深刻さが軽微であると言えるか？
• RQ3 基底の選択が、FCIQMCにおける遷移行列の主要固有値にどのように影響するか？
• RQ4 どのようなクラスのHamiltonianが、第一量子化と第二量子化表現で異なる符号問題を示すか？
• RQ5 消滅が存在しない場合でも、FCIQMCは第一量子化法に比べ符号問題を軽減できるか？

主な発見

• 第二量子化基底における符号問題は、第一量子化基底におけるものより常に深刻さが軽微である、または同等である。
• 両基底における符号問題が同一であるのは、Hamiltonianが式 (17) で定義される特定の対称性条件を満たす場合に限る。
• 対称性条件が満たされない場合、第一量子化基底の遷移行列の最大固有値は、第二量子化基底のそれーよりも厳密に大きい。これは、符号問題がより深刻であることを示している。
• FCIQMCは、基底選択のおかげで、消滅が存在しない場合でも、第一量子化法に比べ符号問題を本質的に改善する。
• 符号問題が基底によって異なるHamiltonianクラスと、同じままであるクラスが理論的に存在し、Hamiltonianの構造と対称性に依存する。
• Δτ → 0 の極限において、Hamiltonian行列の基底状態は、遷移行列の主要固有ベクトルと一致する。これにより、主要固有値を符号問題の深刻さの指標として用いることが正当化される。