[論文レビュー] Halting in quantum Turing computation

Willem L. Fouché, Johannes Heidema+2 more|arXiv (Cornell University)|May 22, 2007

Quantum Computing Algorithms and Architecture参考文献 12被引用数 4

ひとこと要約

この論文は、量子チューリングマシン（QTM）における停止メカニズムを検討し、初期の曖昧さにもかかわらず、デュイッチの元々の停止スキームが根本的に妥当であることを確認する。オザワ、マイヤーズらの反論を分析し、停止ビットの測定による崩壊が、適切に管理されない限り、普遍的シミュレーションを脅かすことを示し、停止スキームが実用的運用には不可欠である一方で、観測に伴う量子状態のコherence喪失のため、真に普遍的なQTMを達成する上で顕著な障壁をもたらすと結論づける。

ABSTRACT

The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We discuss the result of Ozawa as well as the objections raised by Myers, Kieu and Danos and others. Finally, the relationship of the halting scheme to the quest for a universal quantum Turing machine is considered.

研究の動機と目的

• デュイッチが提唱した量子チューリングマシンにおける停止メカニズムを明確化し、妥当性を検証すること。
• 測定による状態の崩壊が停止プロセスおよび普遍的シミュレーションに与える影響を検討すること。
• 停止スキームの制約を考慮した場合に、普遍的量子チューリングマシンが存在可能かどうかを評価すること。
• 量子計算の確率的性質と、古典的チューリングマシンの決定的停止モデルとの調和を図ること。
• 停止スキームが、QTMsのプログラマビリティおよび普遍性に与える影響を評価すること。

提案手法

• 停止ビットを専用に設け、終了を示すデュイッチの停止スキームを採用する。
• QTMを、停止ビットを含む状態のヒルベルト空間上でユニタリな時間発展としてモデル化する。
• 停止ビットの観測が重ね合わせ状態を崩壊させ、コherenceを破壊することの影響を分析する。
• 古典的および確率的チューリングマシンを比較し、量子アナログの基礎を確立する。
• 多項式的遅延で任意のQTMを近似的にシミュレート可能なバージン＝ヴァジラーニのシミュレーション結果を評価する。
• 測定後のマシンのリセットの課題に言及し、これにより自律性が損なわれ、普遍性が揺らぐことを見出す。

実験結果

リサーチクエスチョン

• RQ1 オザワ、マイヤーズらの反論にもかかわらず、デュイッチのQTM用停止スキームは根本的に妥当であるか？
• RQ2 停止ビットの測定は、量子計算のコherenceおよび普遍性にどのように影響を与えるか？
• RQ3 停止メカニズムが観測と状態の崩壊を要する場合、普遍的量子チューリングマシンは存在可能か？
• RQ4 停止スキームの影響が、量子チューリングマシンのプログラマビリティに及ぼす意味は何か？
• RQ5 なぜ停止メカニズムが、完全に自律的な普遍的量子コンピュータの構築を妨げるのか？

主な発見

• デュイッチの停止スキームは原則として妥当であるが、測定による状態の崩壊のため、実装上は損なわれる。
• 停止ビットの観測は量子状態を崩壊させ、マシンを再び信頼性を持ってリセットすることが不可能になる。
• 各実行後にマシンを手動で再初期化する必要があるという要件は、自律性の原則に反し、古典的コンピュータで手動NOT演算を繰り返すのと同様の問題を引き起こす。
• バージン＝ヴァジラーニの普遍的シミュレータは有限時間のシミュレーションには存在するが、介入なしには無限時間または適応的計算には使用できない。
• 停止メカニズムは出力の観測に不可欠であるが、真に普遍的な量子チューリングマシンを達成する上で根本的な障壁をもたらす。
• 本論文は、特にこのクラス内に普遍的マシンが存在するかについて、より深い研究の必要性を結論づける。