[論文レビュー] An efficient and accurate quantum algorithm for the Dirac equation

Jeffrey Yepez|ArXiv.org|Oct 11, 2002

Quantum Computing Algorithms and Architecture参考文献 1被引用数 11

ひとこと要約

本稿では、立方格子上での量子格子ガス的手法を用いて3次元ディラック方程式をシミュレートする新しい量子アルゴリズムを提示する。2キュービットゲートのみを用い、キュービット数に対して線形な計算複雑度を達成する。衝突とストリーミング操作を対称化することでユニタリで2次精度の時間発展を実現し、量子コンピュータ上での高精度な多体相対論的量子シミュレーションを可能にする。

ABSTRACT

An efficient quantum algorithm for the many-body three-dimensional Dirac equation is presented. Its computational complexity is dominantly linear in the number of qubits used to spatially resolve the 4-spinor wave function.

研究の動機と目的

• 量子計算に適したユニタリで効率的かつ高精度な3次元ディラック方程式の多体問題用量子アルゴリズムの開発を目的とする。
• バイアリニツキ＝ビルーラやスッチのモデルに見られる1次収束性とサブラットス分離問題を克服することを目的とする。
• 2次量子化フレームワークを用いて、外部ポテンシャル中における相対論的フェルミオンのスケーラブルなシミュレーションを、量子コンピュータ上で可能にすることを目的とする。
• 時間発展演算子を対称化することで2次空間精度を達成するとともに、ユニタリ性と粒子数保存を維持することを目的とする。

提案手法

• アルゴリズムは立方格子上での量子格子ガスモデルを用い、局所的な衝突とストリーミングステップから成る離散的時間発展を採用する。
• 各格子点でスピンオーダー回転を実装するための2キュービットユニタリ演算子 $ \hat{X}_{\alpha\beta} $ と $ \hat{Y}_{\alpha\beta} $ を用い、ユニタリ性と粒子数保存を保証する。
• ストリーミングは、直交方向に隣接格子点間を移動させるスワップに類似た演算子 $ \hat{S}_{\mu\nu} $ を用いて実装する。
• 2次空間精度を達成するため、対称化時間発展演算子 $ \tilde{E}E e^{-\Delta t^2} $ が導入され、切り捨て誤差が低減される。
• 多体状態を扱うために、生成・消滅演算子を用いて2次量子化形式に再定式化し、$ 4L^3 $ キュービットを用いる。
• ノードおよび格子点あたりの固定コスト演算のため、計算複雑度はキュービット数 $ Q $ に対して線形にスケーリングされ、$ C \sim \mathcal{O}(Q) $ となる。

実験結果

リサーチクエスチョン

• RQ1 1次収束性を示す先行モデルとは異なり、ユニタリで2次精度の3次元ディラック方程式用量子アルゴリズムを構築可能か？
• RQ2 ユニタリ性と粒子数保存を保ちつつ、量子格子ガスモデルを多体状態に拡張する方法は何か？
• RQ3 高い精度でディラック方程式を量子コンピュータ上でシミュレートするために、最小限のゲート数と計算複雑度はどの程度か？
• RQ4 チェックボード型サブラットス分離問題は、対称化時間発展演算子スキームによって解消可能か？

主な発見

• 対称化時間発展演算子 $ \tilde{E}E e^{-\Delta t^2} $ の導入により、2次空間精度が達成され、従来の1次収束性モデルに比べ顕著に精度が向上した。
• 計算複雑度はキュービット数 $ Q = 4L^3 $ に対して線形にスケーリングされ、改善版ではノードあたり $ \rho_c = 13 $ および $ \rho_s = 24 $ の演算が要されることが確認され、効率的スケーリングが裏付けられた。
• 本手法は2キュービット量子ゲートのみを用い、粒子数保存を満たすため、近い将来の量子ハードウェアへの直接実装に適している。
• 位置 $ \vec{x} $ における波動関数確率は $ P(\vec{x}) = \sum_{i=1}^4 \langle \Psi' | \hat{n}_{\alpha+i} | \Psi' \rangle $ として計算され、正しい物理的観測量が保証される。
• 本アルゴリズムはユニタリであり、バイアリニツキ＝ビルーラのモデルとは異なり、任意の格子分割を必要としない。
• 図1による数値的検証により、標準的手法に比べて対称化スキームの精度向上が確認された。