[論文レビュー] Semigroup approach to the sign problem in quantum Monte Carlo simulations

Zhongchao Wei|arXiv (Cornell University)|Dec 26, 2017

Quantum many-body systems被引用数 11

ひとこと要約

本稿は、フェルミオン格子模型における符号問題なしの量子モンテカルロシミュレーションを体系的に同定するための新しい半群に基づく枠組みを導入する。指数関数的フェルミオン的演算子によって生成される縮小半群を活用することで、非負のトレースを保証する新たな十分条件を導出し、符号問題なしのサンプリングを実現する。このアプローチは、従来の対称性に基づく手法を統一し、ペアリング項やクライマー受時空不変項を含む、これまで説明がつかなかった符号問題なしのモデルの構築を可能にする。

ABSTRACT

We propose a framework based on the concept of the semigroup to understand the fermion sign problem. By using properties of contraction semigroups, we obtain sufficient conditions for quantum lattice fermion models to be sign-problem-free. Many previous results can be considered as special cases of our new results. As a direct application of our new results, we construct a class of sign-problem-free fermion lattice models, which cannot be understood by previous frameworks. This framework also provides an interesting aspect in understanding related quantum many-body systems. We establish a series of inequalities for all the sign-problem-free fermion lattice models that satisfy our sufficient conditions.

研究の動機と目的

• 相互作用するフェルミオン系に対する量子モンテカルロシミュレーションにおける、長年のフェルミオンの符号問題の課題に取り組むこと。
• 既存の対称性に基づく手法を超えて、符号問題なしのモデルを体系的かつ数学的に厳密に同定するフレームワークを構築すること。
• クライマー時間反転不変性、メジャナラ反射正定性、スプリット直交群といった、これまで別個の枠組みとして扱われてきたものを、一つの半群理論的構造に統一すること。
• 従来の手法では説明がつかなかった、新たなクラスの符号問題なしのフェルミオン格子模型を構築すること。
• 符号問題なしのモデルにおける期待値の一般不等式を確立し、分配関数と観測量のより深い構造的性質を明らかにすること。

提案手法

• フェルミオン系の虚時間発展を、二次フェルミオン演算子の指数関数によって生成される縮小半群として形式化すること。
• フェルミオンガウス積分のトレースが非負になることを保証する2種類の縮小半群（対称的および歪対称的J1）を同定すること。
• 複素フェルミオン基底におけるヘルミート行列RおよびSの正定性に基づき、符号問題なしの十分条件（式2および式3）を導出すること。
• メジャナラ表現を用いて、半群構造とメジャナラ反射正定性およびクライマー簡併を関連させ、従来の対称性に基づく結果を統一すること。
• このフレームワークを応用して、ペアリング項、クライマー不変ホッピング、ハッブル-U相互作用を含む、新たな符号問題なしのモデルを構築すること。
• 半群要素と錐行列の交互積のトレースに関する一般不等式（式15）を確立し、期待値の非負性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 符号問題なしのフェルミオン格子模型を、対称性分類を超えて体系的に同定できる統一された数学的フレームワークを開発することは可能か？
• RQ2 虚時間発展から生じる縮小半群は、量子モンテカルロにおけるフェルミオン行列式の非負性とどのように関係するか？
• RQ3 クライマー時間反転不変性やメジャナラ反射正定性に基づく既存の符号問題なしのモデルが、この半群フレームワークの特殊な場合としてどの程度理解できるか？
• RQ4 このフレームワークを用いることで、従来の手法では到達できなかった、どのような新たなクラスの符号問題なしのモデルが構築可能か？
• RQ5 この新しい形式主義下で、符号問題なしのモデルにおける期待値の構造を支配する一般不等式は何か？

主な発見

• 本稿は、縮小半群を用いて、フェルミオン格子模型における符号問題なしのための2つの新たな十分条件（式2および式3）を確立した。
• クライマー時間反転不変性、メジャナラ反射正定性、スプリット直交群に基づく、これまでに知られていたすべての符号問題なしのモデルが、提案された半群フレームワークの特殊な場合として統一された。
• ペアリング項、クライマー不変ホッピング、引力的ハッブル-U相互作用を含む、従来のフレームワークでは説明がつかなかった新たなクラスの符号問題なしのモデルが構築された。
• このフレームワークにより、符号問題なしのモデルの分配関数が、縮小半群の要素の和として解釈可能であることが明らかになり、より深い代数的構造が得られた。
• 一般不等式が証明された：任意の正の整数mについて、半群要素と錐行列の交互積のトレースは非負である、すなわち |tr(h′₁g₁h′₂g₂…h′ₘgₘ)| ≥ 0 が成り立つ。
• メジャナラ反射正定性条件が、2つの縮小半群のタイプのうちの1つと等価であることが示され、この既知の基準に対する新たな代数的解釈が得られた。