[論文レビュー] Information processing in convex operational theories

Howard Barnum, Alexander Wilce|ArXiv.org|Aug 17, 2009

Quantum Mechanics and Applications参考文献 13被引用数 14

ひとこと要約

この論文は、古典的および量子力学を拡張する一般化された確率的理論（一般化された確率的理論）である凸作用的理論における情報処理を、量子テレポーテーション、ノーコピー定理、ビットコミットメントといった基礎的プロトコルの分析を通じて調査する。非古典的凸作用的理論において、情報と攪乱のトレードオフやテレポーテーションといった非古典的特徴が一般に成立することを示し、順序付き線形空間に沿った豊かにされた圏論的枠組みを提案することで、圏論的意味論と凸作用的構造を統合する。

ABSTRACT

In order to understand the source and extent of the greater-than-classical information processing power of quantum systems, one wants to characterize both classical and quantum mechanics as points in a broader space of possible theories. One approach to doing this, pioneered by Abramsky and Coecke, is to abstract the essential categorical features of classical and quantum mechanics that support various information-theoretic constraints and possibilities, e.g., the impossibility of cloning in the latter, and the possibility of teleportation in both. Another approach, pursued by the authors and various collaborators, is to begin with a very conservative, and in a sense very concrete, generalization of classical probability theory--which is still sufficient to encompass quantum theory--and to ask which "quantum" informational phenomena can be reproduced in this much looser setting. In this paper, we review the progress to date in this second programme, and offer some suggestions as to how to link it with the categorical semantics for quantum processes developed by Abramsky and Coecke.

研究の動機と目的

• 古典的および量子理論を凸作用的枠組み内で一般化することで、量子情報処理の利点の原因を理解すること。
• テレポーテーション、ノーコピー定理、ビットコミットメントといった情報処理現象が、非古典的理論において一般に成立するかどうかを特定すること。
• アブラハムスキーとコーエックの圏論的意味論（コンパクト閉圏に基づく）と、凸作用的枠組みを豊かにした圏論的手法によって統合すること。
• 状態空間、効果、ダイナミクスをすべて順序付き線形空間に沿って豊かにした圏の射として扱う形式的枠組みを構築し、凸性と正規性を保つこと。
• この枠組みにおいて、双対性やモノイダル積といった構造的制約がどのように生じるかを調べ、それらが情報処理能力とどのように関係するかを明らかにすること。

提案手法

• 順序付き線形空間に基づく凸作用的枠組みを用い、状態空間をコンパクトな凸集合とし、プロセスを正の線形写像とする。
• 状態を単位対象 I からシステム A への射として、効果を A から I への射として、ダイナミクスを A 上の自己準同型写像としてモデル化する。
• 有限次元の順序付き実ベクトル空間に沿って豊かにした圏を導入し、閉かつ生成する正の錐を持つことで、すべてのホム集合の凸性と正規性を保証する。
• テレポーテーションプロトコルを、条件づけの特別なケースとして定義し、テレポーテーション方程式を満たす射のペア (η, ε) を用いる：(id_B ⊗ ε_A) ∘ (η_A ⊗ id_B) = id_B。
• 合成系をモデル化するために最大テンソル積（⊗_max）と最小テンソル積の両方を用い、もつれは最大積によって上限が与えられる。
• 凸性と双対性のみを要件とする「上から下への公理的アプローチ」を提案し、テレポーテーションやビットコミットメントといったプロトコルが成立するための必要十分条件を調査する。

実験結果

リサーチクエスチョン

• RQ1 テレポーテーション、ノーコピー定理、ビットコミットメントといった情報処理現象のうち、どの現象が非古典的凸作用的理論において一般に成立するか？
• RQ2 アブラハムスキーとコーエックの圏論的意味論（コンパクト閉圏に基づく）は、どのように凸作用的枠組みと調和させられるか？
• RQ3 テレポーテーションやビットコミットメントが可能であるために必要な構造的制約（例：双対性、モノイダル構造）は何か？また、それらは必要十分条件として成立するか？
• RQ4 ビットコミットメントの不可能性と情報と攪乱のトレードオフの存在が、非古典的理論を特徴づける程度はどの程度か？
• RQ5 順序付き線形空間に沿って豊かにした圏論的形式的枠組みとして、凸作用的理論を構築でき、主要な量子情報プロトコルをサポートできるか？

主な発見

• 非古典的凸作用的理論では、完全な量子構造がなくても、一般に情報と攪乱のトレードオフが成立する。
• ビットコミットメントの不可能性は、量子理論に特有のものではない。もつれのない非古典的理論でも、指数的セキュアなビットコミットメントが可能である。
• 特定のタイプのもつれ状態は、ビットコミットメントプロトコルを破壊することができ、もつれがこのようなスキームのセキュリティを損なうことを示している。
• テレポーテーションプロトコルは、テレポーテーション方程式を満たす射のペア (η, ε) と等価であり、量子の場合を一般化している。
• 決定論的テレポーテーションは、一部の非量子的・非古典的モデルでも可能であり、テレポーテーションが本質的に量子的であるとは限らないことを示している。
• 抽象的状態空間の圏は自然にコンパクト閉ではない。その双対は通常状態空間ではなく、モノイダル構造も保証されないため、注意深く構築する必要がある。