[论文解读] Concrete Foundations for Categorical Quantum Physics

Daniel Lehmann|arXiv (Cornell University)|Dec 29, 2010

Quantum Mechanics and Applications参考文献 12被引用 3

一句话总结

本文提出了一套极简、基于物理的范畴量子力学框架，以伴随结构替代紧致闭包，以酉等价下的普遍张量积替代，通过伴随相容的余积构造二重积。该框架建立了普遍的不可克隆定理：仅当对象为单位对象时才可实现克隆，从而在不假设复希尔伯特空间或加法结构的前提下，为量子不可克隆原理提供了范畴论基础。

ABSTRACT

An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke, tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assume compact closure. Adjoint arrows, tensor products and biproducts are the ingredients of this presentation. Tensor products are defined, up to a unitary arrow, by a universal property related to transformations of composite systems, not by assuming a monoidal structure. Entangled states of a tensor product define mixed states on the components of the tensor product. Coproducts that fit the adjoint structure are shown to be defined up to a unitary arrow and to provide biproducts. An abstract no-cloning result is proved.

研究动机与目标

• 开发一种更符合物理直觉且极简的范畴量子力学框架，避免依赖紧致闭包。
• 阐明量子理论中诸如标量、向量加法与张量积等数学结构的物理意义。
• 证明纠缠、混合态与叠加态可自然地从伴随性质与普遍性质中导出，而非源于希尔伯特空间公理。
• 在范畴论设定下证明一个普遍的不可克隆结果，表明仅当对象为单位对象时才可实现克隆。
• 提供一种无基、乘法性的量子概念描述方式，如态、可观测量与纠缠。

提出的方法

• 利用伴随结构形式化时间反演对称性与酉变换，定义自伴与酉箭头，而无需假设希尔伯特空间。
• 通过普遍性质（至酉等价）定义张量积，避免使用张量范畴公理与加法结构。
• 通过伴随相容的余积引入二重积，证明其在酉同构下唯一确定。
• 将混合态建模为两个反线性映射的复合，提供一种新颖且抽象的刻画方式。
• 采用弱标量结构——对加法与乘法封闭，但未必同构于 ℂ 或 ℝ——同时仍支持关键的量子特性。
• 应用普遍刻画推导对称与反对称张量积的性质，暗示其与玻色子和费米子的关联。

实验结果

研究问题

• RQ1 量子现象如纠缠与叠加是否可仅从范畴结构中导出，而无需假设希尔伯特空间或紧致闭包？
• RQ2 通过普遍性质以酉等价定义的张量积，其物理意义为何？
• RQ3 伴随结构与普遍余积如何在量子设定中导出二重积与正交性概念？
• RQ4 能否在一般范畴框架中推导出不可克隆定理，而无需依赖特定希尔伯特空间特征？
• RQ5 标量结构在此框架中在区分量子与经典系统方面扮演何种角色？

主要发现

• 本文证明：在 Q-范畴中，一个对象可被克隆当且仅当其为单位对象，从而确立了普遍的范畴论不可克隆定理。
• 张量积通过至酉等价的普遍性质定义，无需假设张量结构或加法运算。
• 当余积与伴随结构相容时，证明了二重积的存在性与酉同构下的唯一性。
• 混合态被刻画为两个反线性映射的复合，提供一种新颖且抽象的表述形式。
• 该框架支持一种无基、乘法性的量子态、可观测量与纠缠的描述方式，无需假设复数或希尔伯特空间公理。
• 结果表明，玻色子与费米子的区别可能通过对称与反对称张量积的普遍刻画得以捕捉。