[论文解读] Toy quantum categories

Bob Coecke, Bill Edwards|ArXiv.org|Aug 7, 2008

Quantum Mechanics and Applications参考文献 7被引用 37

一句话总结

本文表明，罗伯特·斯佩克普斯的玩具量子理论作为子范畴，出现在有限集与关系的 dagger 紧致范畴 **FRel** 中，使用笛卡尔积作为张量积。它展示了在 **FRel** 中，二元集合 {0,1} 通过 dagger Frobenius 代数支持两个互补可观测量，揭示了诸如互补性等关键量子特性，源于一般的范畴论结构，而非量子特异性公理。

ABSTRACT

We show that Rob Spekken's toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category FRel of finite sets and relations with the cartesian product as tensor, where observables correspond to dagger Frobenius algebras. This in particular implies that the quantum-like properties of the toy model are in fact very general category-theoretic properties. We also show the remarkable fact that we can already interpret complementary quantum observables on the two-element set FRel.

研究动机与目标

• 证明斯佩克普斯的玩具量子理论是 dagger 紧致范畴内范畴量子公理化的一个实例。
• 证明有限集与关系的范畴 **FRel** 在二元集合 {0,1} 上支持互补的量子可观测量。
• 揭示玩具模型中的类量子特性并非偶然，而是源于对称单一路由范畴中 dagger Frobenius 代数的一般结构性质。
• 通过证明 **FRel** 中的互补可观测量并非源自双积结构，挑战了此类结构必须源于矩阵演算或双积的假设。
• 确立离散有限模型作为检验量子性质的工具，并识别实现量子特征所需的最小数学结构。

提出的方法

• 将斯佩克普斯的玩具模型形式化为 **FRel** 的一个子范畴，即有限集与关系的 dagger 紧致范畴，其张量积为笛卡尔积。
• 在 **FRel** 中将可观测量表示为 dagger Frobenius 代数，其中复合乘法与余单位结构对应于基态的复制与删除。
• 利用具有基结构的 dagger 对称单一路由范畴（dagger-SMC）的范畴框架，对测量与互补性等量子特性进行建模。
• 在 **FRel** 中的集合 {0,1} 上，通过不源于双积分解的两个不同 dagger Frobenius 代数，构造出两个互补可观测量。
• 对 **FRel** 中的有限对象应用范畴矩阵演算，表明尽管 **FRel** 是双积范畴，该模型仍处于标准矩阵领域之外。
• 利用 dagger 结构带来的状态与效应之间的范畴对偶性，解释类量子态制备与测量。

实验结果

研究问题

• RQ1 斯佩克普斯的玩具量子理论能否作为 dagger 紧致范畴内的范畴实例推导出来？
• RQ2 玩具模型中的类量子特性（如互补性）是否源于一般的范畴论原理，而非量子特异性公理？
• RQ3 能否在 **FRel** 中不依赖双积或矩阵构造，在二元集合 {0,1} 上构造出互补可观测量？
• RQ4 dagger-SMC 的哪些结构性质是建模不相容测量等关键量子现象的必要且充分条件？
• RQ5 离散有限范畴如 **FRel** 在多大程度上可作为量子力学的模型检验工具？

主要发现

• 斯佩克普斯的玩具量子理论与 **FRel** 的一个全满子范畴同构，确立了其在 dagger 紧致范畴中的范畴基础。
• {0,1} 在 **FRel** 中支持两个互补可观测量，每个均由一个 dagger Frobenius 代数表示，证明互补性并非仅限于量子系统。
• **FRel** 中 {0,1} 上的两个互补可观测量之一并非源于双积结构，这与先前研究中认为此类结构是基结构唯一来源的主张相矛盾。
• 该模型表明，诸如非对易可观测量与态制备等类量子特性，可在纯粹离散有限范畴中实现，而无需依赖希尔伯特空间或矩阵表示。
• **FRel** 中互补可观测量的存在模糊了经典与量子结构之间的界限，表明这种区分可能源于更深层次的范畴公理，而非范畴类型。
• 结果表明，实现量子特征所需的核心数学结构是 dagger 紧致范畴中 dagger Frobenius 代数的存在，而非完整的希尔伯特空间体系。