[論文レビュー] Measurement-Based Quantum Turing Machines and their Universality

Simon Perdrix, Philippe Jorrand|ArXiv.org|Apr 26, 2004

Quantum Computing Algorithms and Architecture参考文献 17被引用数 25

ひとこと要約

本稿は、測定に基づく量子計算を統合する形式的モデルとして、測定ベース量子チューリングマシン（MQTMs）を導入し、最小限のリソース――具体的には、単一キュービットおよび二キュービットの測定に加え、制限されたヘッド移動を伴うもの――が量子ユニバーサル性を達成できることを証明する。本稿は、量子ユニバーサル性に必要な最小リソースの新たな上界を確立するとともに、リソース制限付きのモデルを通じて、量子的ユニバーサル性と古典的ユニバーサル性の明確な違いを示す。

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.

研究の動機と目的

• 標準回路モデルを超えた測定ベース量子計算の形式的定式化を図り、古典的制御の役割を明らかにすること。
• 測定操作およびヘッド移動のリソース使用に基づく、量子計算モデルの階層を確立すること。
• 量子ユニバーサル性に必要な最小リソース集合を特定し、新たな上界を提示すること。
• 古典的計算にユニバーサルであるが量子計算にユニバーサルでないリソース制限付きモデルを分析することで、量子的ユニバーサル性と古典的ユニバーサル性の差を明確にすること。
• 測定ベース計算における量子世界と古典的世界の相互作用を厳密に形式化すること。

提案手法

• 測定のみ、初期状態準備、および古典的制御を用いる形式的モデルとして、測定ベース量子チューリングマシン（MQTMs）を提案する。
• 測定オブザーバブルおよびヘッド移動制限のリソース制約に基づき、MQTMモデルの階層を定義する。
• モデル間の比較とユニバーサルティの証明に、量子シミュレーション関係（≤_Quant）を用い、あるモデルが階層内の任意の他のモデルをシミュレートできることを示す。
• 連続するZおよびX⊗X測定を用いた状態転送プロトコルにより、キュービット間の量子状態を移動させ、パウリエラーを再転送によって補正する。
• 物理的リソースを最小限に抑えるために、ヘッド移動を{左、移動なし、右}に制限する。
• 有限状態集合を用いたシミュレーション構成により、より複雑なモデルMFから最小モデルMGへの遷移をマッピングすることで、MGのユニバーサルティを証明する。

実験結果

リサーチクエスチョン

• RQ1 チューリングマシン枠組みにおいて、量子ユニバーサル性を達成するために必要な最小限の測定操作は何か？
• RQ2 古典的制御は、測定ベース計算における量子測定と古典的意思決定の間でどのように作用するか？
• RQ3 制限されたヘッド移動を伴う測定ベース量子チューリングマシンでも、依然として量子ユニバーサル性を達成できるか？
• RQ4 抽象的計算モデルにおける古典的ユニバーサルティと量子ユニバーサルティの正確なリソースギャップは何か？
• RQ5 異なる測定ベース量子計算モデルのユニバーサルティを比較するための形式的シミュレーション関係をどのように定義できるか？

主な発見

• ヘッド移動が{左、移動なし、右}に制限され、1キュービットのテープと無限テープを持つモデルMGは、最小限のリソースで量子ユニバーサルであることが証明された。
• MGにおけるオブザーバブルの集合O_G = {X⊗X, Z⊗Z, X⊗Z, Z⊗X, X⊗I, Z⊗I, I⊗X, I⊗Z, (X⊗X + X⊗Y)/√2} が量子ユニバーサル性を達成するのに十分である。
• 量子ユニバーサル性に必要な最小リソースの新たな上界が確立され、従来の構成よりも向上した。
• さらにリソースが制限されたモデルMCは、古典的計算にユニバーサルであるが、量子計算にユニバーサルでないため、古典的ユニバーサルティと量子ユニバーサルティの明確なリソースギャップを同定した。
• 3回の連続測定（Z、X⊗X、Z）を用いた状態転送プロトコルにより、テープ間のqubit状態の信頼性ある転送が可能となり、再転送によるエラー補正が可能である。
• シミュレーション関係m_F ≤_Quant m_G により、よりリソース豊富なモデルに属する任意のMQTMが、最小モデルMGでシミュレート可能であることが証明され、MGのユニバーサルティが確認された。