[論文レビュー] Models to Reduce the Complexity of Simulating a Quantum Computer

Kevin Obenland, Alvin M. Despain|ArXiv.org|Dec 2, 1997

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

ひとこと要約

本稿では、量子コンピュータのシミュレーションにおける計算複雑性を低減する階層的シミュレーションモデルを導入し、誤差の影響を分析することが可能になる。著者らは、指数的リソース要件を削減しながらも正確性を保つ粗いスケールのモデルを提案し、デ coherent と不正確性誤差が相関しないことを示した。これにより、量子コンピュータの実現可能性を評価するための必要なシミュレーション回数が大幅に削減された。

ABSTRACT

Recently Quantum Computation has generated a lot of interest due to the discovery of a quantum algorithm which can factor large numbers in polynomial time. The usefulness of a quantum com puter is limited by the effect of errors. Simulation is a useful tool for determining the feasibility of quantum computers in the presence of errors. The size of a quantum computer that can be simulat ed is small because faithfully modeling a quantum computer requires an exponential amount of storage and number of operations. In this paper we define simulation models to study the feasibility of quantum computers. The most detailed of these models is based directly on a proposed imple mentation. We also define less detailed models which are exponentially less complex but still pro duce accurate results. Finally we show that the two different types of errors, decoherence and inaccuracies, are uncorrelated. This decreases the number of simulations which must be per formed.

研究の動機と目的

• 量子コンピュータのシミュレーションにおける指数的リソース要件に対処し、誤差の影響を研究するのを制限する。
• 正確性を損なわずに計算複雑性を低減するシミュレーションモデルを開発する。
• 量子系におけるデ coherent と不正確性誤差の相関関係を調査する。
• 現実的な誤差条件下での量子コンピュータの実現可能性をより効率的に評価することを可能にする。
• リソース要件を低減した量子計算のシミュレーションに適したスケーラブルなフレームワークを提供する。

提案手法

• 正確性と計算コストのバランスを取るために、詳細度の高いモデルから粗い抽象化モデルまでの階層的シミュレーションモデルを提案する。
• 完全状態シミュレーションよりも指数的に複雑性が低いが、依然として正確な結果を生み出す、詳細性の低いモデルを設計する。
• 検証の基準として、直接実装に基づくモデルを最も詳細な基準とする。
• 異なるモデルレベルにおける誤差行動を評価するために、統計的および分析的手法を適用する。
• デ coherent と不正確性の誤差モデルを形式化し、それらの独立性を評価する。
• 異なる抽象化レベルでの結果を詳細モデルと比較することで、モデルの正確性を検証する。

実験結果

リサーチクエスチョン

• RQ1 粗いスケールのシミュレーションモデルは、量子コンピュータシミュレーションにおける計算複雑性を著しく低減しつつ、正確性を維持できるか？
• RQ2 量子系におけるデ coherent と不正確性誤差は、相関関係の面でどのように関連しているか？
• RQ3 誤差タイプの独立性が、必要なシミュレーション回数をどの程度削減できるか？
• RQ4 量子誤差ダイナミクスのシミュレーションにおいて、モデルの忠実度と計算効率のトレードオフは何か？
• RQ5 階層的モデリングは、現実的な誤差条件下でより大きな量子系をスケーラブルにシミュレート可能か？

主な発見

• 提案された詳細性の低いシミュレーションモデルは、計算複雑性を指数関数的に低減しながらも、高い正確性を維持している。
• 量子系におけるデ coherent と不正確性誤差は、相関がないことが判明し、誤差耐性を評価するためのシミュレーション回数が削減された。
• 階層的モデリングアプローチにより、現実的な誤差プロファイルを持つ量子コンピュータのシミュレーションが現実可能になった。
• 詳細モデルは、粗いモデルの検証に役立つ信頼できるベンチマークとして機能する。
• 誤差タイプの独立性により、モジュール式の分析が可能になり、シミュレーションの効率が向上した。
• フレームワークは、実用的誤差制約下での量子コンピュータのスケーラブルな実現可能性研究を支援する。