[論文レビュー] Toward an Automated-Algebra Framework for High Orders in the Virial Expansion of Quantum Matter

A. J. Czejdo, Joaquín E. Drut+2 more|arXiv (Cornell University)|Jan 24, 2022

Cold Atom Physics and Bose-Einstein Condensates参考文献 75被引用数 5

ひとこと要約

本稿では、虚時間離散化と転送行列因子分解に基づく自動代数フレームワークを提示し、量子多体系における高次ビリアル係数を計算する。この手法により、摂動論的でなく、解析的で、大規模並列計算が可能となり、3次以降の熱力学的および相関関数の非摂動的計算が可能になる。強い相互作用を示すフェルミガス系において、b5まで高精度な結果を得ており、閉じた系や中性子系、タンの接触や運動量分布といった観測量への応用も含む。

ABSTRACT

The virial expansion provides a non-perturbative view into the thermodynamics of quantum many-body systems in dilute regimes. While powerful, the expansion is challenging as calculating its coefficients at each order n requires analyzing (if not solving) the quantum n-body problem. In this work, we present a comprehensive review of automated algebra methods, which we developed to calculate high-order virial coefficients. The methods are computational but non-stochastic, thus avoiding statistical effects; they are also for the most part analytic, not numerical, and amenable to massively parallel computer architectures. We show formalism and results for coefficients characterizing the thermodynamics (pressure, density, energy, static susceptibilities) of homogeneous and harmonically trapped systems and explain how to generalize them to other observables such as the momentum distribution, Tan contact, and the structure factor.

研究の動機と目的

• 各次数でN体問題を正確に解く必要がある、量子多体系における高次ビリアル係数の計算という課題に対処する。
• 確率的手法や摂動論的手法の限界を克服し、非確率的で、解析的で、計算スケーラブルなフレームワークを構築する。
• 圧力や密度にとどまらず、タンの接触、運動量分布、構造因子といった複雑な観測量を含むビリアル展開を一般化する。
• 強い相互作用を示す系において、希薄で高温な状態における熱力学的および相関関数の正確で非摂動的な計算を可能にする。
• 調和的に閉じたフェルミガス、中性子系、三体力を持つユニタリボーズガスを含む多様な量子系へこの手法を一般化する。

提案手法

• 虚時間を離散化して、量子統計演算子を転送行列の積に因子分解し、正確なトレース計算を可能にする。
• 転送行列形式を用いて、フェルミ統計・ボーズ統計に適切に対応したN粒子ヒルベルト空間上のトレース評価により、正準分配関数QNを計算する。
• 自動代数を実装し、転送行列の高次累乗のトレースを記号的かつ体系的に計算し、数値的ノイズを回避する。
• ユニタリフェルミガスのビリアル係数bkをb5まで計算する応用により、完全な解析的制御と並列化の可能性を有する。
• 同一のフレームワーク内で ˆnσ(p) や ˆn(r)ˆn(0) のような演算子を含むトレースを計算することで、1体および2体演算子への一般化を図る。
• 時間順序付きトレースを転送行列形式に組み込むことで、相互作用クイエンチのような時間発展問題への応用を拡張する。

実験結果

リサーチクエスチョン

• RQ1 強い相関を示す量子多体系において、確率的・摂動論的手段に依存せずに、b3を越える高次ビリアル係数を信頼性高く計算するにはどうすればよいか？
• RQ2 ビリアル展開は、熱力学的ポテンシャルにとどまらず、運動量分布や構造因子といった動的および相関観測量へどの程度一般化可能か？
• RQ3 自動代数フレームワークは、中性子系やユニタリボーズガスのような三体力を持つ系へ拡張可能か？
• RQ4 多体相関は、有限な活動度において運動量分布やタンの接触をどのように規定するか？
• RQ5 高次寄与は、超低温量子ガスにおける相互作用クイエンチのような非平衡過程のダイナミクスにどのように影響を与えるか？

主な発見

• 自動代数フレームワークは、ユニタリフェルミガスのビリアル係数をb5まで正確に計算し、正確な記号的計算により高精度な結果を得た。
• この手法により、タンの接触や運動量分布といった非自明な観測量が、活動度zの明示的展開を伴って計算可能となり、低次の項で ∆nσ(p) ∝ z² − 4z³ の関係を得た。
• 形式は自然に2体相関関数、例えば密度-密度相関 ⟨ˆn(r)ˆn(0)⟩ へ拡張され、静的構造因子S(q)の基礎をなす。
• 時間順序付きトレースを転送行列形式に組み込むことで、相互作用クイエンチのような時間発展問題への応用が可能になる。
• このアプローチは完全に並列化可能であり、統計的不確実性を回避するため、計算リソースを増加させることで高次への拡張に適している。
• この手法は、強い相互作用や複雑な統計を示す希薄な量子物質における熱力学的および相関関数を体系的・解析的・非摂動的に計算するためのルートを提供する。