[论文解读] Higher Quantum Theory

Jamie Vicary|arXiv (Cornell University)|Jul 19, 2012

Quantum Mechanics and Applications参考文献 32被引用 17

一句话总结

本文提出了一种使用对称单幕2-范畴和2-希尔伯特空间的2-范畴形式化方法，用于描述量子与经典信息流，其中经典信息源自量子系统之间的关联。该形式化提供了一种拓扑不变的图形语言，在2Hilb中可恢复标准量子理论，并为 teleportation、密集编码和量子擦除等协议提供了统一且可计算验证的框架，揭示了实现性的结构性等价与新不变量。

ABSTRACT

We propose a 2-categorical formalism for describing classical information, quantum systems, and their interactions, based on the principle that classical information can be encoded as correlations between quantum systems. Applying this in the 2-category of 2-Hilbert spaces recovers ordinary quantum theory. The formalism gives a simple, graphical way to describe the specification and implementation of certain quantum procedures, which we use to investigate quantum teleportation, dense coding, complementarity and quantum erasure, verifying our results computationally using a software package.

研究动机与目标

• 开发一个统一的高阶范畴框架，用于描述量子与经典信息流。
• 通过对称单幕2-范畴，将经典信息形式化为量子系统之间的关联。
• 提供一种图形化、拓扑不变的语言，用于规范和验证量子协议。
• 通过有限维量子物理中的拓扑不变量，研究新协议的可实现性。
• 通过水平可逆映射的概念，为互补性与量子擦除等现象建立数学基础。

提出的方法

• 该形式化使用对称单幕2-范畴中的2-胞射来表示测量、编码、复制和受控操作等操作，时间在图中沿垂直方向向上流动。
• 经典信息被编码在由表示关联量子系统的线条所围成的区域中，其物理意义由公理化方程推导得出。
• 图形方程用于规范协议：例如，量子 teleportation 通过一个U形回路表示纠缠，并等价于一个均匀的经典输出。
• 该形式化在2Hilb（2-希尔伯特空间的2-范畴）中实现，可恢复常规的有限维量子理论。
• 通过等化器定义张量积构造 S ⊗E S′，以捕捉与共享环境经典数据兼容的联合态。
• 通过与环境相互作用映射的交换性来定义保护动力学，当引入一个缓冲系统B时，可实现退相干自由演化。

实验结果

研究问题

• RQ1 如何在高阶范畴框架内，系统地将经典信息编码为量子系统之间的关联？
• RQ2 在此形式化中，量子 teleportation 与密集编码协议之间存在何种结构性等价？
• RQ3 图形规范的拓扑不变量能否确定有限维量子理论中的可实现性？
• RQ4 在存在环境相互作用的情况下，何种条件可确保线性映射免受退相干影响？
• RQ5 水平可逆映射如何为互补性与量子擦除等量子现象提供新的数学基础？

主要发现

• 当在2-希尔伯特空间的2-范畴（2Hilb）中解释时，该形式化成功恢复了普通量子理论。
• 通过一个将协议图等价的图形方程，表明量子 teleportation 与密集编码在结构上是等价的。
• 水平可逆映射的概念为互补可观测量与量子擦除提供了新的代数表征。
• 交错 teleportation 被识别为一种其规范在传统量子理论中无法实现的协议，其根源在于拓扑障碍。
• 通过将系统S嵌入与环境相互作用的缓冲系统B中，可实现保护动力学，确保保护系统S上的演化与环境相互作用映射交换。
• 通过等化器构造的环境兼容张量积 S ⊗E S′，确保了在共享经典数据传输下联合态的一致性。