[論文レビュー] A Foundation of Programming a Multi-Tape Quantum Turing machine

Tomoyuki Yamakami|ArXiv.org|Jun 23, 1999

Quantum Computing Algorithms and Architecture参考文献 2被引用数 10

ひとこと要約

この論文は、静的ヘッド動作と複数の最終状態をサポートする、マルチテープ・マルチヘッド量子チューリングマシン（QTM）の基礎的枠組みを確立する。モデルの遷移ルール、重ね合わせの進化、測定メカニズムを形式的に定式化し、量子計算複雑性理論の厳密な基盤を提供するとともに、単一テープモデルを越えた量子アルゴリズムおよび計算能力の形式的分析を可能にする。

ABSTRACT

The notion of quantum Turing machines is a basis of quantum complexity theory. We discuss a general model of multi-tape, multi-head Quantum Turing machines with multi final states that also allow tape heads to stay still.

研究の動機と目的

• 静的ヘッド移動と複数の最終状態をサポートする、一般化されたマルチテープ・マルチヘッド量子チューリングマシンのモデルを形式化すること。
• 単一テープモデルを越えた量子アルゴリズムの厳密なプログラミング基盤を提供すること。
• 一貫性があり拡張可能なQTMフレームワークを定義することで、量子複雑性理論の発展を支援すること。
• 重ね合わせと測定ダイナミクスを含む、複数テープおよびヘッドを用いた量子計算の正確な分析を可能にすること。

提案手法

• 複数のテープ、各テープに複数のヘッドを備え、遷移時にヘッドをその場に留める能力を有するQTMモデルの定義。
• 現在の状態とテープヘッド記号の組み合わせから、次状態、ヘッド移動、テープ記号の更新の重ね合わせへの写像を定義する形式的遷移関数の導入。
• 配置状態におけるユニタリ変換を通じた量子的進化のモデル化。アモニットの正規化を保証する。
• 量子計算における受容および拒否の結果を表すために、複数の最終状態を許容する。
• 確率振幅に基づいて重ね合わせを古典的結果に崩壊させる測定操作の定義。
• 重ね合わせの進化と確率的結果を含む、量子計算シーケンスの形式的意味論の確立。

実験結果

リサーチクエスチョン

• RQ1 マルチテープ・マルチヘッド量子チューリングマシンを、静的ヘッド動作と複数の最終状態をサポートするように形式的に定義する方法は何か？
• RQ2 マルチテープ構成におけるユニタリティと量子コherー二ンスを保つために、遷移関数に必要な条件は何か？
• RQ3 マルチテープ量子計算フレームワークにおいて、重ね合わせと測定を一貫してモデル化する方法は何か？
• RQ4 複数の最終状態が、量子計算における受容と拒否を定義する上で果たす役割は何か？
• RQ5 マルチテープモデルは、単一テープ量子チューリングマシンの計算能力と表現力の両方をどのように拡張するか？

主な発見

• 本論文は、静的ヘッド移動と複数の最終状態を含む、一般化されたマルチテープ・マルチヘッドQTMモデルを成功裏に定義した。
• モデルは、量子状態のユニタリ的進化を保証し、量子コherー二ンスと振幅正規化を維持する。
• 本フレームワークは、配置状態の重ね合わせと確率的測定結果を用いた、量子アルゴリズムの形式的記述を可能にする。
• 複数テープを用いた量子計算の正確な分析を可能にするため、量子複雑性理論の堅固な基盤を提供する。
• 本形式的体系により、複数テープおよびヘッドを用いた量子アルゴリズムの表現が可能となり、単一テープモデルを越えた表現力が向上する。
• 遷移関数は、現在の状態を次状態の重ね合わせに写像するように定義されており、一貫した量子的進化を可能にする。