[論文レビュー] The Measurement Calculus

Vincent Danos, Elham Kashefi+1 more|ArXiv.org|Dec 17, 2004

Quantum Computing Algorithms and Architecture参考文献 61被引用数 14

ひとこと要約

本稿は、測定に基づく量子計算のための形式的枠組みとして、測定パターンの厳密な文法、操作的意味論、および書き換え理論を提供する測定計算（Measurement Calculus）を導入する。主な貢献は、すべてのパターンを、エンタングルメントを最初に実行し、その後に測定と局所的補正を行う意味的に同等の標準形に変換できる一般化された標準化定理を確立することである。これにより、最大の並列化と構成的推論が可能になる。

ABSTRACT

Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This is in contrast with the more traditional circuit model which is based on unitary operations. Among measurement-based quantum computation methods, the recently introduced one-way quantum computer stands out as fundamental. We develop a rigorous mathematical model underlying the one-way quantum computer and present a concrete syntax and operational semantics for programs, which we call patterns, and an algebra of these patterns derived from a denotational semantics. More importantly, we present a calculus for reasoning locally and compositionally about these patterns. We present a rewrite theory and prove a general standardization theorem which allows all patterns to be put in a semantically equivalent standard form. Standardization has far-reaching consequences: a new physical architecture based on performing all the entanglement in the beginning, parallelization by exposing the dependency structure of measurements and expressiveness theorems. Furthermore we formalize several other measurement-based models: Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. This allows us to transfer all the theory we develop for the one-way model to these models. This shows that the framework we have developed has a general impact on measurement-based computation and is not just particular to the one-way quantum computer.

研究の動機と目的

• ワンウェイ量子コンピュータという、測定に基づく量子計算における基盤的モデルの厳密な数学的モデルの構築を目的とする。
• 測定に基づく量子計算の既存の物理学的取り扱いにおける形式的意味論と推論メカニズムの欠如を解決することを目的とする。
• 構成的で局所的かつモジュラーな計算体系を提供し、量子パターンについての推論を可能にし、さまざまな測定に基づくモデル間での理論の移行を可能とすることを目的とする。
• 任意のパターンを標準形に変換する一般化された標準化手順を確立し、最大の並列化といった新たな機能を解放することを目的とする。
• 例えばテレポートーション、位相、パウリモデルなどのさまざまな測定に基づくモデルを、ワンウェイモデルへの構成的埋め込みを通じて統一的かつ形式的に統合することを目的とする。

提案手法

• エンタングルメント、測定、局所的補正に基づく、量子パターンのための形式的文法と操作的意味論を提案する。
• 意味的同等性を保つ局所的かつ構造的な書き換え規則を用いたパターンの書き換え理論を構築する。
• すべてのエンタングルメントを最初に実行し、その後に測定と補正を行う標準形に任意のパターンを変換できる一般化された標準化定理を導入する。
• 完全正則トレース保存（cptp）写像に基づく意味論的意味付けを用いて、パターンの意味を形式的に特徴付ける。
• ワンウェイモデルと他の測定に基づくモデル（テレポートーション、位相、パウリ）との間で構成的埋め込みを確立し、理論の移行を可能にする。
• 標準形を用いて依存関係構造を明らかにし、測定の最大並列化と分散計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 測定に基づく量子計算のための形式的で構成的かつ局所的に適用可能な計算体系をどのように開発できるか？
• RQ2 エンタングルメントがすべての測定の前に実行される標準形にパターンを変換できる条件は何か？
• RQ3 標準化手順は、さまざまな測定に基づくモデルに一様に適用可能か？ 並列化にどのような影響を与えるか？
• RQ4 依存関係のないパターン、あるいはパウリ測定のみを含むパターンの意味的性質と表現力は何か？
• RQ5 測定の依存関係構造をどのように活用して、効率的で分散型の量子プロトコルを設計できるか？

主な発見

• 測定計算は、任意の量子パターンを、すべてのエンタングルメントを最初に実行する意味的に同等の標準形に変換する一般化された標準化手順を提供する。
• 標準化プロセスは多項式時間で実行可能であり、依存関係構造を露呈させることで測定の最大並列化を可能にする。
• 依存関係のないパターン、あるいはパウリ測定のみを含むパターンは、すべてのユニタリ変換がクリフォード群に属することを示している。
• 任意のパターンの意味論的意味付けは、完全正則トレース保存（cptp）写像として形式的に特徴付けられる。
• ワンウェイモデルと他の測定に基づくモデル（テレポートーション、位相、パウリモデル）との間で構成的埋め込みが確立された。
• 形式的体系により、すべての理論的結果—意味論、書き換え規則、標準化、普遍性—がモデル間で移行可能であり、広範な適用可能性を示している。