[论文解读] Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models

Howard Barnum, Ross Duncan+1 more|arXiv (Cornell University)|Apr 16, 2010

Quantum Mechanics and Applications参考文献 31被引用 5

一句话总结

本文证明，在凸操作模型（COMs）的对称闭张量范畴中，紧致闭包等价于存在 teleportation 协议和远程评估协议，其中所有过程均可通过经典概率条件化实现。此外，本文进一步表明，当且仅当每个系统都存在一个对称的弱自对偶双局域态，该态在态空间与效应空间之间诱导同构时，dagger 紧致性成立。

ABSTRACT

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are inter-convertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete "operational" approach, in which the states and measurement outcomes associated with a physical system are represented in terms of what we here call a "convex operational model": a certain dual pair of ordered linear spaces -- generally, {\em not} isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term {\em weakly self-dual}, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol --- hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a {\em symmetric} bipartite state, the associated conditioning map of which is an isomorphism.

研究动机与目标

• 弥合量子基础的范畴论框架与基于凸操作模型（COMs）的物理操作方法之间的鸿沟。
• 确定在 COMs 的范畴中，紧致闭包与 dagger 紧致性的操作与物理意义。
• 确定在作为对称闭张量范畴的凸概率理论中，紧致闭包的必要与充分条件。
• 阐明弱自对偶性与对称双局域态在实现 dagger 紧致性中的作用。
• 探讨在一般概率理论中，teleportation 与纠缠交换等基础量子特性如何从操作原理中自然涌现。

提出的方法

• 通过利用系统自身副本作为资源，刻画紧致闭包的存在性，即结论性 teleportation 协议的存在。
• 建立紧致闭包与所有过程均可表示为涉及系统副本的远程评估协议之间的等价性。
• 引入弱自对偶（WSD）理论的概念，其中每个系统 A 都存在一个在 A⊗A 上的双局域态 γ_A，该态在态空间与效应空间之间诱导同构。
• 在 COMs 的范畴上定义典范伴随 ′，并证明当且仅当伴随是对合且理论为对称自对偶时，dagger 紧致性成立。
• 利用态与效应锥之间的对偶性以及正线性映射的结构，推导出典范伴随满足 dagger 性质的条件。
• 应用凸几何与 Jordan 代数理论（特别是 Koecher 的正域与齐次锥理论）分析不可约态空间的结构。

实验结果

研究问题

• RQ1 在何种条件下，凸操作模型的对称闭张量范畴是紧致闭合的？
• RQ2 在一般概率理论中，teleportation 概念如何实现操作化刻画？
• RQ3 在 COMs 的范畴中，dagger 紧致性的操作意义是什么？
• RQ4 何时弱自对偶性可推出兼容的 dagger 结构的存在？
• RQ5 在 COMs 的范畴中，何种条件可确保典范伴随满足 dagger 公理？

主要发现

• 一个凸操作模型的对称闭张量范畴是紧致闭合的，当且仅当每个过程均可通过使用系统副本作为资源的远程评估协议实现。
• 紧致闭包在操作上等价于所有系统均存在结论性 teleportation 协议。
• 对于弱自对偶理论，关于典范伴随的 dagger 紧致性成立，当且仅当理论为对称自对偶，即态空间与效应空间之间的同构由一个对称双局域态实现。
• 在这些理论中，典范伴随满足对所有自同态 φ 有 φ′′ = φ，从而确保 dagger 结构的良定义性。
• 若理论为饱和的，且每个不可约态空间均为齐次的，则态空间为形式实 Jordan 代数，暗示其与量子理论存在深层联系。
• 结果表明，量子力学中的自对偶结构——这是 teleportation 与纠缠交换的核心——可从一大类概率理论中的操作原理中推导而出。