[論文レビュー] Measurement-Based Quantum Turing Machines and Questions of Universalities

Simon Perdrix, Philippe Jorrand|arXiv (Cornell University)|Feb 20, 2004

Quantum Computing Algorithms and Architecture参考文献 7被引用数 11

ひとこと要約

本稿は、ユニタリ変換に依存せずに測定に基づく量子計算を形式化するための測定ベース量子チューリング機械（MQTM）を導入し、量子測定が量子計算にとって普遍的であることを示している。量子計算の普遍性に必要な最小リソースの新たな上界を確立するとともに、特定のMQTM部分集合が古典的計算には普遍的だが量子計算には普遍的でないことを証明し、古典的および量子計算モデルの根本的な隔たりを明らかにしている。

ABSTRACT

Quantum measurement is universal for quantum computation. This universality allows alternative schemes to the traditional three-step organisation of quantum computation: initial state preparation, unitary transformation, measurement. In order to formalize these other forms of computation, while pointing out the role and the necessity of classical control in measurement-based computation, and for establishing a new upper bound of the minimal resources needed to quantum universality, a formal model is introduced by means of Measurement-based Quantum Turing Machines.

研究の動機と目的

• 測定に基づくユニタリ変換に依存しない代替の量子計算モデルを形式化すること。
• 測定ベース量子計算における古典的制御の役割を明確化すること。
• 量子普遍性に必要な最小リソースの上界を確立すること。
• 測定ベースモデルの文脈において、古典的および量子計算の普遍性の違いを調査すること。

提案手法

• 測定による量子計算を表現するための測定ベース量子チューリング機械（MQTM）の形式的モデルを提案する。
• 三段階の分解を用いる：ユニタリ操作の段階的シミュレーション、ユニタリ変換の完全なシミュレーション、回路レベルのシミュレーション。
• アヒラ状態とベル測定を用いて、パウリ補正までに相当するH、T、CNOTなどのユニタリゲートをシミュレートする。
• 有限オートマトンを用いて測定シーケンスの制御論理をモデル化し、パウリ補正の結果に対応する状態を設定する。
• パウリ演算子に基づいて測定結果の組み合わせを同値類にグループ化することで、必要なマシン状態の数を削減する。
• 任意の{H, T, CNOT}を用いた量子回路が有限状態制御を持つMQTMでシミュレート可能であることを示すことにより、量子普遍性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ変換を明示的に用いずに、測定のみを用いて量子計算を普遍的に実現できるか？
• RQ2 測定ベースモデルが量子普遍性を達成するために必要な最小リソースの集合は何か？
• RQ3 古典的制御は測定ベース量子計算の成功をどのように媒介するか？
• RQ4 測定ベースモデルに制限された場合、古典的計算と量子計算の計算能力に根本的な差があるか？
• RQ5 MQTMの一部集合が古典計算には普遍的だが量子計算には普遍的でないことは、計算能力のギャップを示唆するか？

主な発見

• 量子測定は量子計算にとって普遍的であり、測定と古典的制御のみを用いて任意の量子回路を完全にシミュレート可能である。
• 測定ベース量子チューリング機械（MQTM）は有限状態数で任意の量子回路をシミュレート可能であり、量子普遍性に必要な最小リソースの新たな上界を確立している。
• 各ユニタリゲートのシミュレーションは、パウリ補正までに相当する結果を段階的に得るステップに分解され、その後反復的補正ステップで解消される。
• ユニタリ変換の完全なシミュレーションには、パウリ補正シーケンスを符号化する状態を持つ有限オートマトンが必要であり、これにより終了保証と有限状態制御が確保される。
• MQTMの一部集合が古典的計算には普遍的だが量子計算には普遍的でないことが証明され、このモデルにおける古典的および量子計算能力の明確な隔たりが示された。
• 証明は3段階の抽象化に依拠する：段階的シミュレーション、完全なシミュレーション、回路シミュレーション。各段階でパウリ補正の追跡により正しさが保たれる。