[論文レビュー] Operational theories and Categorical quantum mechanics

Samson Abramsky, Chris Heunen|arXiv (Cornell University)|Jun 5, 2012

Quantum Mechanics and Applications被引用数 15

ひとこと要約

本稿は、操作的理論とカテゴリカル量子力学の間の形式的ブリッジを確立する。具体的には、モノイダルダガー圏にトレースイデアルを備えたカテゴリカル量子力学のモデルが、操作的理論として表現可能であることを示している。主な貢献は、量子力学、集合と関係、確率的写像といった多様な理論にわたる非局所性を統一的に定式化する一般枠組みを提供することであり、この枠組みの中で局所的・量子的・ノーサイニング（no-signalling）モデルを特徴づけている。

ABSTRACT

A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories, and categorical quantum mechanics. The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operational theories. We then show how nonlocality can be formulated at this level of generality, and study a number of examples from this point of view, including Hilbert spaces, sets and relations, and stochastic maps. The local, quantum, and no-signalling models are characterized in these terms.

研究の動機と目的

• カテゴリカル量子力学が操作的理論としてどのように表現可能かを示すことにより、操作的理論とカテゴリカル量子力学を統一すること。
• 広範な物理的理論のクラスにわたる非局所性を定式化する一般枠組みを提供すること。
• 同一のカテゴリカルな操作的枠組み内において、局所的・量子的・ノーサイニング（no-signalling）モデルを特徴づけること。
• モノイダルダガー圏におけるトレースイデアルが、自然に操作的表現を生じることを示すこと。
• 標準的な量子形式主義（ヒルベルト空間）とその古典的類似物（集合と関係、確率的写像）が、すべてこの統一的運用的構造に適合することを示すこと。

提案手法

• 準備、変換、測定、および準備-測定ペアに対する結果の確率的評価規則を用いて、操作的理論を定式化する。
• システム型のテンソル積と整合的な操作を定義することで、操作的理論における合成系を導入する。
• モノイダルダガー圏にトレースイデアルを備えたものから操作的理論の圏への関手として、操作的表現を定義する。
• トレースイデアル構造を用いて、トレースの性質とトレースの循環的不変性に基づき、一般化された非局所性の概念を定義する。
• 具体的な例への適用：ヒルベルト空間（量子力学）、集合と関係（古典的確率的モデル）、確率的写像（確率的過程）。
• ヒルベルト空間におけるトレースクラス作用素がダガートレースイデアルをなすことを証明し、可分および非可分空間においてリッドスキの公式を用いてトレース性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 カテゴリカル量子力学を操作的枠組みに体系的に入射する方法は何か？
• RQ2 モノイダルダガー圏がどのような条件下で有効な操作的理論を生じるか？
• RQ3 一般のカテゴリカル的設定において、非局所性はどのように定義され、分析可能か？
• RQ4 量子力学、古典的確率、関係的モデルといった物理的理論のうち、どの理論がこの統一的運用的表現に含まれるか？
• RQ5 トレースイデアル構造の観点から、局所的・量子的・ノーサイニング（no-signalling）モデルはどのように特徴づけられるか？

主な発見

• トレースイデアルを備えたモノイダルダガー圏は、操作的表現を生じさせ、操作的理論のカテゴリカルな基盤を提供する。
• ヒルベルト空間における標準的な量子形式主義は、この構成の特別な場合として現れ、トレースクラス作用素がダガートレースイデアルをなす。
• トレース関数の性質と循環的不変性を分析することにより、理論にわたる非局所性を一様に定式化可能である。
• この枠組みは、同一の運用的構造内において、局所的・量子的・ノーサイニング（no-signalling）モデルを異なるクラスとして成功裏に特徴づけた。
• 反例により、トレースクラス性質が対称的でないことが示された：g∘f がトレースクラスであっても、f∘g がトレースクラスであるとは限らない。これはトレースイデアル構造における微妙な性質を示唆している。
• リッドスキのトレース公式は、正のトレースクラス作用素に対して非可分ヒルベルト空間へも拡張可能であり、トレース性質が完全に一般化された状態でも成立することが保証される。