[论文解读] Operational theories and Categorical quantum mechanics

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

Quantum Mechanics and Applications被引用 15

一句话总结

本文通过证明具有迹理想（trace ideal）的幺半范畴克劳夫特（dagger）范畴——即范畴量子力学的模型——可被表示为操作理论，从而在操作理论与范畴量子力学之间建立了形式化的桥梁。其核心贡献在于提出一个通用框架，用于在包括量子力学、集合与关系、随机映射在内的多种理论中统一表述非局域性，并在这一统一框架内刻画局域性、量子性和无信号模型。

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.

研究动机与目标

• 通过展示范畴量子力学如何可被表示为操作理论，统一操作理论与范畴量子力学。
• 为在一大类物理理论中表述非局域性提供一个通用框架。
• 在一个单一的范畴化操作框架内刻画局域性、量子性和无信号模型。
• 证明幺半范畴克劳夫特范畴中的迹理想自然导出操作表示。
• 表明标准量子形式（希尔伯特空间）及其经典类比（集合与关系、随机映射）均可纳入这一统一的操作结构之中。

提出的方法

• 使用准备、变换、测量集合以及将结果分配给准备-测量对的概率评估规则来表示操作理论。
• 通过定义系统类型及其兼容操作的张量积，引入操作理论中的复合系统。
• 将操作表示定义为从带有迹理想的幺半范畴克劳夫特范畴到操作理论范畴的函子。
• 利用迹理想的结构，通过迹的性质和迹的循环不变性，定义广义的非局域性概念。
• 将该框架应用于具体示例：希尔伯特空间（量子力学）、集合与关系（经典概率模型）以及随机映射（随机过程）。
• 证明希尔伯特空间中的迹类算子构成一个克劳夫特迹理想，并使用利德斯凯公式（Lidskii’s formula）在可分与不可分空间中验证迹性质。

实验结果

研究问题

• RQ1 如何系统地将范畴量子力学嵌入操作框架？
• RQ2 幺半范畴克劳夫特范畴需满足何种条件，才能导出有效的操作理论？
• RQ3 如何在一般性的范畴论设定中定义并分析非局域性？
• RQ4 哪些物理理论——如量子力学、经典概率和关系模型——可被纳入这一统一的操作表示之中？
• RQ5 局域性、量子性和无信号模型在迹理想结构下有何特征？

主要发现

• 配备迹理想的幺半范畴克劳夫特范畴可导出操作表示，为操作理论提供了范畴基础。
• 标准量子形式（希尔伯特空间）是该构造的特例，其中迹类映射构成一个克劳夫特迹理想。
• 通过分析迹函数的迹性质和循环不变性，可在不同理论间统一表述非局域性。
• 该框架成功地将局域性、量子性和无信号模型作为同一操作结构中的不同类别进行刻画。
• 反例表明，迹类性质不具备对称性：若 g∘f 是迹类，则 f∘g 不一定是，凸显了迹理想结构中的微妙之处。
• 利德斯凯公式（Lidskii’s formula）可推广至不可分希尔伯特空间中的正迹类算子，确保迹性质在完全一般情形下成立。