[論文レビュー] Toward Quantum Computing Phase Diagrams of Gauge Theories with Thermal Pure Quantum States

Zohreh Davoudi, Niklas Mueller+1 more|arXiv (Cornell University)|Aug 28, 2022

Advanced Thermodynamics and Statistical Mechanics参考文献 144被引用数 9

ひとこと要約

本稿では、量子コンピュータ上で熱純粋量子（TPQ）状態を用いてゲージ理論の有限温度相図をシミュレートする新規手法を提案する。モンテカルロ法における符号問題を克服し、ゲージ則ペナルティを用いた虚時間発展演算子を介してランダムな純粋状態を物理的ヒルベルト空間に射影することで、一様な状態からの熱的物理量推定が可能となり、物質を含む1+1次元Z₂格子ゲージ理論における手前の相転移を成功裏にマッピングした。

ABSTRACT

The phase diagram of strong interactions in nature at finite temperature and chemical potential remains largely unexplored theoretically due to inadequacy of Monte-Carlo-based computational techniques in overcoming a sign problem. Quantum computing offers a sign-problem-free approach but evaluating thermal expectation values is generally resource intensive on quantum computers. To facilitate thermodynamic studies of gauge theories, we propose a generalization of thermal-pure-quantum-state formulation of statistical mechanics applied to constrained gauge-theory dynamics, and numerically demonstrate that the phase diagram of a simple low-dimensional gauge theory is robustly determined using this approach, including mapping a chiral phase transition in the model at finite temperature and chemical potential. Quantum algorithms, resource requirements, and algorithmic and hardware error analysis are further discussed to motivate future implementations. Thermal pure quantum states, therefore, may present a suitable candidate for efficient thermal-state preparation in gauge theories in the era of quantum computing.

研究の動機と目的

• 有限温度ゲージ理論のモンテカルロシミュレーションにおける継続的な符号問題、特に化学ポテンシャルが非ゼロの状況に対処すること。
• 格子ゲージ理論における熱期待値を計算する、リソース効率的で近い将来の量子アルゴリズムの開発。
• 強い相関系（例：QCD物質）における相図、特に手前の相転移の決定を可能にすること。
• 混合状態準備にかかるコストを回避し、単一の純粋量子状態のみを用いて物理的熱状態を準備するフレームワークの提供。
• 現在および近い将来の量子プロセッサへの実装における誤り耐性とハードウェア要件の分析。

提案手法

• 虚時間発展演算子にゲージ則ペナルティ項を導入することで、制約付きゲージ理論に一般化された熱純粋量子（TPQ）状態形式を展開する。
• 非物理的状態をペナルティ化するハミルトニアンを用いて、ランダムな初期純粋状態を物理的部分空間に射影する。
• 非ユニタリな発展演算子をシミュレートするための量子虚時間発展演算（QITE）を、積形式分解を用いて実装する。
• 射影された状態のエネルギーを最小化するための変分量子アルゴリズムフレームワークを用い、熱的状態への収束を保証する。
• 主要なハードウェアノイズタイプに応じて、リンク演算子の二重表記（σᶻ 対 σˣ）を用いて誤り耐性を最適化する。
• 実行時間のスケーリングとリソース要件を分析し、系サイズおよび逆誤差許容誤差に対して準多項式スケーリングであることを示す。

実験結果

リサーチクエスチョン

• RQ1 局所的対称性を持つゲージ理論における有限温度相転移をシミュレートするために、熱純粋量子状態をどのように応用できるか。
• RQ2 制約付きゲージ理論ヒルベルト空間内において、単一の純粋状態が熱的期待値をどの程度正確に近似できるか。
• RQ3 ハードウェアノイズがTPQ状態準備に与える影響は何か。また、演算子表記の選択によって誤り耐性を向上させられるか。
• RQ4 QITEに基づくTPQ状態準備において、リソース要件は系サイズおよび所望の精度にどのように依存するか。
• RQ5 この手法は、有限温度および化学ポテンシャル下での1+1次元Z₂格子ゲージ理論における手前の相転移をマッピングできるか。

主な発見

• 本手法は、有限温度および化学ポテンシャル下の1+1次元Z₂格子ゲージ理論における手前の相転移を、単一のTPQ状態のみを用いて成功裏にマッピングした。
• 射影されたTPQ状態を介した熱的期待値は、系サイズが増加するに従い、真の熱的値へ指数関数的に収束することが確認された。
• ゲージ則違反を引き起こすユニタリ誤りに対しても、本手法は安定しており、虚時間発展演算中にペナルティ項がその成分を抑制する。
• リンク演算子表記（σᶻ または σˣ）の選択により、主なハードウェアノイズタイプに応じた誤り耐性を最適化でき、状態準備の忠実度が向上した。
• QITEアルゴリズムの実行時間スケーリングは、系サイズおよび逆誤差許容誤差に対して準多項式的であり、小スケール格子上での実用的妥当性が示された。
• 数値シミュレーションにより、限られた量子ビットリソースおよびノイズ下でも、相図再構築に高い精度が達成されることを確認した。