[論文レビュー] Quantum computation and complexity theory

Karl Svozil|ArXiv.org|Dec 6, 1994

Quantum Computing Algorithms and Architecture参考文献 5被引用数 8

ひとこと要約

この論文は、量子計算の基盤を確立するために、量子力学のヒルベルト空間形式をレビューし、干渉計測技術を用いて普遍的量子計算を実現できることを示している。再帰論および計算複雑性理論への影響を検討し、古典的モデルを超えた量子計算の計算能力と決定可能性に関する基礎的知見を提供する。

ABSTRACT

The Hilbert space formalism of quantum mechanics is reviewed with emphasis on applications to quantum computing. Standard interferomeric techniques are used to construct a physical device capable of universal quantum computation. Some consequences for recursion theory and complexity theory are discussed.

研究の動機と目的

• 量子力学のヒルベルト空間形式を、量子計算の基盤として検討すること。
• 標準的な干渉計測技術を用いて、普遍的量子計算が物理的に実現可能であることを示すこと。
• 量子計算が再帰論および計算複雑性論に与える影響を調査すること。
• 量子力学と計算モデルを結びつける理論的枠組みを確立すること。
• 古典的複雑性クラスと関連して、量子計算の理論的限界を分析すること。

提案手法

• 量子系および操作をモデル化するために、量子力学の標準的ヒルベルト空間形式を用いる。
• ユニタリ変換を実装するために、干渉計測セットアップを用いて物理的量子コンピュータモデルを構築する。
• 量子重ね合わせおよびもつれの原理を応用して、普遍的量子計算を達成する。
• 量子ゲートおよびキュービット操作を用いて、任意の量子アルゴリズムをシミュレートする。
• 再帰関数および決定不能性と関連付けて、計算複雑性を分析する。
• 形式的枠組みを用いて、量子設定における決定可能および決定不能な問題の境界を検討する。

実験結果

リサーチクエスチョン

• RQ1 標準的な干渉計測技術を用いて、普遍的量子計算を物理的に実現できるか？
• RQ2 量子計算は再帰論および計算可能性の枠組みをどのように変えるか？
• RQ3 量子計算モデルが古典的複雑性クラスに与える影響は何か？
• RQ4 量子系は、計算能力において、古典的チューリングマシンの限界を超える程度はどの程度か？
• RQ5 量子力学のヒルベルト空間構造は、どのような新しい形の計算を可能にするか？

主な発見

• この論文は、量子ゲートの干渉計測実装を通じて、普遍的量子計算が物理的に実現可能であることを確立している。
• 量子力学が、特に決定不能性の文脈において、古典的計算では到達できない問題を解けるフレームワークを提供することを示している。
• 量子計算は、古典的手法では効率的に解けない新しい決定可能問題のクラスを導入する。
• ヒルベルト空間形式により、普遍的計算が可能な厳密な量子回路の構築が可能になる。
• 結果から、量子計算は再帰論の範囲を拡張し、新しい形の有効な計算を可能にすることが示唆される。
• 本研究は、古典的モデルを超えた量子複雑性を理解するための理論的基盤を提供する。