[論文レビュー] Ordered linear spaces and categories as frameworks for information-processing characterizations of quantum and classical theory

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

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

ひとこと要約

この論文は、順序付き線形空間と圏論的枠組みを用いて、情報処理能力を通じて量子理論と古典理論を特徴付ける。非古典的確率的理論において、エンタングルメントやノーコピーやいわゆる非古典的特徴が一般的に生じることを示し、テレポーテーション、ビットコミットメント、古典的情報抽出が成立する条件を同定する。特に、量子理論の強力さは自己双対性や対称性といった特定の構造的制約に起因することを強調する。

ABSTRACT

We review some of our recent results (with collaborators) on information processing in an ordered linear spaces framework for probabilistic theories. These include demonstrations that many "inherently quantum" phenomena are in reality quite general characteristics of non-classical theories, quantum or otherwise. As an example, a set of states in such a theory is broadcastable if, and only if, it is contained in a simplex whose vertices are cloneable, and therefore distinguishable by a single measurement. As another example, information that can be obtained about a system in this framework without causing disturbance to the system state, must be inherently classical. We also review results on teleportation protocols in the framework, and the fact that any non-classical theory without entanglement allows exponentially secure bit commitment in this framework. Finally, we sketch some ways of formulating our framework in terms of categories, and in this light consider the relation of our work to that of Abramsky, Coecke, Selinger, Baez and others on information processing and other aspects of theories formulated categorically.

研究の動機と目的

• 情報処理制約を通じて、量子理論と古典理論の概念的・操作的差異を理解すること。
• エンタングルメント、ノーコピー、テレポーテーションといった量子理論の特徴が、非古典的確率的理論において実際にはどれほど一般化可能であるかを特定すること。
• 圏論と凸操作的枠組みが、情報処理能力に着目した量子理論の特徴付けをどのように統合的に実現できるかを検討すること。
• 一般化された確率的理論において、安全なビットコミットメントや古典的情報抽出が可能となる条件を同定すること。
• 自己双対性や対称性といった構造的性質が、テレポーテーションといった基礎的情報処理現象とどのように関係するかを明らかにすること。

提案手法

• 状態空間として有限次元の順序付き線形空間を用い、正の錐と順序単位を導入して正規化された状態を定義する。
• 局所観測可能性と局所信号伝播制約を満たす一般化された確率的理論（GPTs）の枠組みを適用する。
• この凸操作的枠組みの中で、ブロードキャスト、複製、テレポーテーション、ビットコミットメントといった情報処理現象を分析する。
• 正の写像を用いたGPTsの圏論的定式化を導入し、標準的な仮定（例：局所飽和性や局所観測可能性）を緩和する。
• 状態空間の面ラティスと対称性を活用して、テレポーテーションや古典的情報抽出が成立する条件を導出する。
• 凸モデルがコンパクト閉圏に埋め込めるようにすることで、圏論的アプローチ（例：Abramsky–Coecke）と結びつける。

実験結果

リサーチクエスチョン

• RQ1 どの情報処理的特徴が量子理論に特有であり、どの特徴が非古典的確率的理論において一般に成立するのか。
• RQ2 どのような条件下で理論が決定的テレポーテーションや安全なビットコミットメントを実現できるのか。
• RQ3 自己双対性や対称性といった構造的性質が、一般化された理論における情報処理能力とどのように関係するのか。
• RQ4 非自明な状態空間を持つ理論において、古典的と非古典的情報をどのように区別できるのか。
• RQ5 凸操作的枠組みと圏論的アプローチをどのように統合し、量子理論を特徴付けるのか。

主な発見

• ある状態の集合がブロードキャスト可能であるための必要十分条件は、その頂点が複製可能かつ1回の測定で区別可能である単体に含まれることである。
• 系の状態を摂動せずに得られる情報は、いかなる理論に対しても本質的に古典的である。
• エンタングルメントを有さない非古典的理論でも、指数的セキュアなビットコミットメントが可能である。これは、このようなセキュリティがエンタングルメントに依存しないことを示している。
• 理論においてテレポーテーションが可能であるための必要十分条件は、状態空間が弱い自己双対性を満たし、適切な二粒子状態をサポートすることである。
• 自己同型群が推移的でかつ状態空間が対称な理論では、決定的テレポーテーションが保証される。これは、対称性がテレポーテーション能力の強力な指標であることを示している。
• この枠組みにより、標準的な仮定（例：局所飽和性や局所観測可能性）を緩和でき、より広範な理論クラスを圏論的に分析可能になる。