[論文レビュー] Computation in Finitary Quantum Processes

Karoline Wiesner, James P. Crutchfield|arXiv (Cornell University)|Mar 1, 2006

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

ひとこと要約

本稿では、時間発展する量子系を記述する計算モデルとして、量子有限状態生成機を導入し、決定的および非決定的量子マシンと古典的確率的対応物を比較する、有限のプロセス言語の階層を確立する。主な貢献は、量子系の情報処理能力が測定プロトコルに強く依存することを示したことであり、ビームスプリッターやドイチュアルゴリズムのイオントラップ実装といった物理的例で裏付けられている。

ABSTRACT

We introduce quantum finite-state generators as a first step toward completing a computational description of observing individual quantum systems over time. We develop the mathematical foundations of quantum finite-state machines and compare nondeterministic and deterministic versions to stochastic generators and recognizers, summarizing their relative computational power via a hierarchy of finitary process languages. Quantum finite-state generators are explored via several physical examples, including the iterated beam splitter, the quantum kicked top, and atoms in an ion trap--a special case of which implements the Deutsch quantum algorithm. We show that the behavior of these systems, and so their information processing capacity, depends sensitively on measurement protocol.

研究の動機と目的

• 時間経過に伴って観測される個々の量子系を記述する計算フレームワークの開発。
• 量子有限状態マシンを形式化し、それらの計算能力を古典的確率的生成機関数および認識機関数と比較すること。
• 量子および古典的モデルの表現力を分類する、有限のプロセス言語の階層の確立。
• 測定プロトコルの選択が量子系の情報処理能力に与える影響の分析。
• 反復的ビームスプリッターおよびイオントラップ量子アルゴリズムといった物理的実装を通じて、モデルの適用可能性の提示。

提案手法

• 量子オートマトン理論からの数学的構造を用いて、量子有限状態生成機を形式化する。
• 決定的および非決定的量子有限状態マシンの定義を行い、それらを確率的有限状態生成機と比較する。
• 異なるマシンタイプの計算能力に基づき、有限のプロセス言語の階層を構築する。
• 反復的ビームスプリッター、量子キックドトップ、トラップイオンといった物理系へのモデルの適用。
• イオントラップ系におけるドイチュ量子アルゴリズムを特殊ケースとして用い、モデルの予測能力を検証する。
• 異なる測定戦略が量子プロセスの観測される振る舞いおよび情報処理能力に与える影響の分析。

実験結果

リサーチクエスチョン

• RQ1 量子有限状態生成機は、個々の量子系の時間発展をどのようにモデル化できるか？
• RQ2 決定的と非決定的量子有限状態マシンの相対的な計算能力は、古典的確率的モデルと比べてどうなるか？
• RQ3 測定プロトコルの選択が、量子系の情報処理能力に与える影響は何か？
• RQ4 ビームスプリッターおよびイオントラップといった物理的量子系は、提案された計算モデルをどのように実現するか？
• RQ5 有限のプロセス言語の階層は、量子および古典的計算行動の分類にどのような役割を果たすか？

主な発見

• 量子系の計算的挙動、特に情報処理能力は、測定プロトコルの選択に強く依存する。
• 量子有限状態生成機は、量子および古典的有限状態モデルの体系的比較を可能にする形式的枠組みを提供する。
• 有限のプロセス言語の階層は、計算表現力の明確な段階を示しており、特定の文脈では量子モデルが古典的確率的モデルを上回ることが判明した。
• 反復的ビームスプリッターおよび量子キックドトップといった物理的実装は、理論的モデルと整合する挙動を示した。
• ドイチュアルゴリズムのイオントラップ実装は、有限状態フレームワーク内でも既知の量子計算的優位性をモデルが捉えられることを示した。
• 測定誘発の収縮および量子プロセスにおける文脈性が、観測可能なダイナミクスおよび計算的結果を根本的に規定することが示された。