[論文レビュー] Quantum Algorithms for Simulating Nuclear Effective Field Theories

James D. Watson, Jacob Bringewatt+4 more|arXiv (Cornell University)|Dec 8, 2023

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、量子コンピュータを用いて低エネルギー核効果的場理論（EFT）をシミュレートするための量子アルゴリズムを開発・分析する。主な対象はπ粒子なし、一π粒子交換、動的π粒子EFTである。フェルミオンおよびボソンのキュービット符号化、対称性の活用、および改良されたトロッター誤差境界を用いることで、特にπ粒子なしEFTにおいて、キュービット数およびゲートコストが桁違いに削減された。これにより、近い将来の装置を用いた核系の量子シミュレーションがますます現実的であることが示された。

ABSTRACT

Quantum computers offer the potential to simulate nuclear processes that are classically intractable. With the goal of understanding the necessary quantum resources to realize this potential, we employ state-of-the-art Hamiltonian-simulation methods, and conduct a thorough algorithmic analysis, to estimate the qubit and gate costs to simulate low-energy effective field theories (EFTs) of nuclear physics. Within the framework of nuclear lattice EFT, we obtain simulation costs for the leading-order pionless and pionful EFTs. For the latter, we consider both static pions represented by a one-pion-exchange potential between the nucleons, and dynamical pions represented by relativistic bosonic fields coupled to non-relativistic nucleons. Within these models, we examine the resource costs for the tasks of time evolution and energy estimation for physically relevant scales. We account for model errors associated with truncating either long-range interactions in the one-pion-exchange EFT or the pionic Hilbert space in the dynamical-pion EFT, and for algorithmic errors associated with product-formula approximations and quantum phase estimation. We find that the pionless EFT is the least costly to simulate, followed by the one-pion-exchange theory, then the dynamical-pion theory. We demonstrate how symmetries of the low-energy nuclear Hamiltonians can be utilized to obtain tighter error bounds. By retaining the locality of nucleonic interactions when mapped to qubits, we achieve reduced circuit depth and substantial parallelization. In the process, we develop new methods to bound the algorithmic error for classes of fermionic number-preserving Hamiltonians, and obtain tighter Trotter error bounds by explicitly computing nested commutators of Hamiltonian terms. Compared to previous estimates for the pionless EFT, our results represent an improvement by several orders of magnitude.

研究の動機と目的

• 量子コンピュータ上での低エネルギー核効果的場理論（EFT）のシミュレーションに必要な量子リソースコスト（キュービット数、ゲート数、回路深さ）を推定すること。
• 核ハミルトニアンに基づく積分型フォーマルな時間発展演算と量子位相推定におけるアルゴリズム誤差を分析・最小化すること。
• 粒子数を保存するフェルミオンおよびフェルミオン-ボソンハミルトニアンに対して、よりタイトなトロッター誤差境界を導出することにより、シミュレーションの精度を向上させること。
• 核相互作用における物理的対称性および局所性を活用して、回路深さを短縮し、並列化を可能にすること。
• π粒子なし、一π粒子交換、動的π粒子EFTの3つのEFTモデル間でのシミュレーションコストを比較し、最もリソース効率の良いモデルを特定すること。

提案手法

• 非相対論的核子をキュービットに写像する際、局所性と粒子数保存を保つためにVerstraete-Cirac符号化を採用する。
• ボソン的π粒子場にはJordan-WignerおよびBravyi-Kitaevに類似した写像を用い、有限Fock空間への切断によりキュービット数を削減する。
• 時間発展演算に積分型フォーマル（トロッター化）アルゴリズムを適用し、ネストされた交換子の明示的計算によりトロッター誤差を境界化する。
• 半ノルムと交換子展開を用いて、粒子数保存ハミルトニアンのシミュレーション誤差に対する解析的境界を導出する。
• エネルギー準位スペクトルの測定に量子位相推定（QPE）を実装し、アルゴリズム的誤差およびモデルの切断誤差の両方について誤差解析を実施する。
• 回路設計に物理的知見（回転対称性、局所性など）を統合することで、深さを最小限に抑え、並列化を最大化する。

実験結果

リサーチクエスチョン

• RQ1 量子コンピュータ上でのπ粒子なし、一π粒子交換、動的π粒子効果的場理論のシミュレーションに、それぞれどの程度のキュービット数とゲート数が必要か？
• RQ2 低エネルギー核ハミルトニアンに内在する対称性をどのように活用することで、誤差境界をタイトにし、回路深さを短縮できるか？
• RQ3 OPE-EFTにおける長距離相互作用の切断、または動的π粒子EFTにおけるπ粒子Fock空間の切断が、シミュレーションの正確性に与える影響は何か？
• RQ4 粒子数を保存するフェルミオンおよびフェルミオン-ボソンハミルトニアンに対して、よりタイトな解析的トロッター誤差境界を導出できるか？
• RQ5 アルゴリズム設計および符号化戦略の改善により、π粒子なしEFTの従来の推定値と比較して、リソースコストはどの程度削減できるか？

主な発見

• π粒子なしEFTは、これまでの研究と比較して、複数桁のオーダーでリソースコストが削減されており、最もシミュレーションにコストが低い。
• 一π粒子交換EFTは、長距離相互作用のため、π粒子なしEFTよりも高いリソースコストを要するが、最適化された符号化により依然として実現可能である。
• 動的π粒子EFTは、相対論的π粒子場と核子への結合を含むため、最もコストが高くつくが、誤り耐性を持つ量子デバイスでは依然として到達可能である。
• ネストされた交換子を明示的に計算することで、特にp=2のπ粒子なしEFTにおいて、従来の手法よりもタイトなトロッター誤差境界を達成した。
• 局所性を保つ符号化を用いることで、回路深さが短縮され、並列化が顕著に可能となり、リソース効率が著しく向上した。
• 本研究では、すべての3つのEFTモデルに対して明示的な誤差境界を提供しており、アルゴリズム的（トロッター化）およびモデル的（切断）誤差を含む。これらの境界は、系のサイズおよび相互作用の強さに伴い、良好にスケーリングする。