[論文レビュー] A Parallel Quantum Computer Simulator

Kevin Obenland, Alvin M. Despain|ArXiv.org|Apr 16, 1998

Quantum Computing Algorithms and Architecture参考文献 14被引用数 51

ひとこと要約

本論文は、分散メモリアーキテクチャを用いて、量子回路の誤差蓄積を効率的にモデル化する、非常にスケーラブルな並列量子コンピュータシミュレータを提示する。C言語とMPIを用いて実装され、最大256プロセッサでニア・オール・スケールのスループットを達成し、現在の実験的量子コンピュータよりも3〜4桁大きな回路のシミュレーションを可能にした。これにより、大規模量子計算の実現可能性に関する研究が前進する。

ABSTRACT

A Quantum Computer is a new type of computer which can efficiently solve complex problems such as prime factorization. A quantum computer threatens the security of public key encryption systems because these systems rely on the fact that prime factorization is computationally difficult. Errors limit the effectiveness of quantum computers. Because of the exponential nature of quantum com puters, simulating the effect of errors on them requires a vast amount of processing and memory resources. In this paper we describe a parallel simulator which accesses the feasibility of quantum computers. We also derive and validate an analytical model of execution time for the simulator, which shows that parallel quantum computer simulation is very scalable.

研究の動機と目的

• 現在の実験的量子コンピュータのサイズを超える大規模量子回路のシミュレーションを可能にすること。
• 物理的量子コンピュータの効果を制限する量子誤差の蓄積をモデル化すること。
• 量子系の指数的状態空間を複数プロセッサに効率的に分散する並列シミュレーションフレームワークを開発すること。
• スーパーコンピュータ上で解析的モデリングと実測値を用いて、シミュレータのスケーラビリティとパフォーマンスを評価すること。
• 物理的実装が実現される前段階で、量子コンピューティングの実現可能性を検討するための実用的ツールを提供すること。

提案手法

• 量子系は、複素数の振幅を持つ状態ベクトルを用いてモデル化され、各状態は量子レジスタの計算基底状態に対応する。
• 量子操作はユニタリ変換行列を用いた行列-ベクトル乗算として実装され、制御NOTゲートが基本論理演算として用いられる。
• 状態空間は分散メモリアーキテクチャを用いて複数プロセッサに分割され、各プロセッサが状態ベクトルの一部を格納する。
• MPIによるメッセージパッシングが、行列-ベクトル演算およびプロセッサ境界を越えた状態再編成におけるプロセッサ間通信を調整する。
• 量子誤差の伝搬を研究するために、デcohrenceフリーおよびデcohrenceインジェクテッドの両方のシミュレーションをサポートする。
• 実行時間の解析的モデルを導出し、パフォーマンス予測と最適な負荷分散およびリンクビットの割り当てを支援する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、従来のスーパーコンピュータ上で量子コンピュータの指数的状態空間を効率的にシミュレートできるか？
• RQ2 プロセッサ数を増加させた場合、並列量子シミュレータのスループットおよびリソース利用効率のスケーラビリティはどの程度か？
• RQ3 量子誤差の導入が、シミュレーションのパフォーマンスおよび大規模量子計算の実現可能性にどのように影響するか？
• RQ4 通信オーバーヘッドを最小限に抑え、パフォーマンスを最大化するために、量子状態空間をプロセッサ間でどのように分散すべきか？
• RQ5 リンクビット数の違いが、並列アーキテクチャにおけるシミュレーション時間および通信オーバーヘッドにどのように影響するか？

主な発見

• 大規模量子回路において、最大256プロセッサでニア・オール・スケールのスループットを達成し、高いスケーラビリティを示した。
• 本シミュレータは、現在の実験的量子コンピュータよりも3〜4桁大きな回路をシミュレート可能であり、シミュレーションの範囲を著しく拡大した。
• 実行時間の解析的モデルは、パフォーマンスのトレンドを正確に予測でき、状態空間の最適な分散設定の特定に役立った。
• リンクビット数が最小限を上回るようになると、特にプロセッサ数が増加する際、通信オーバーヘッドが主な要因となる。
• リンクビット数が量子ビット総数に近づくと、通信量およびリンク構造のオーバーヘッドが著しく増加し、シミュレーション時間が急激に延びる。
• 256プロセッサでも計算に費やす時間の割合が60％以上を維持しており、アルゴリズムが計算と通信のバランスを効果的に取っていることが示された。