[论文解读] De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure

Bob Coecke|ArXiv.org|Jun 16, 2005

Noncommutative and Quantum Gravity Theories参考文献 18被引用 6

一句话总结

本文提出了一种范畴化的量子形式体系，通过将希尔伯特空间线性分解为乘法性（强紧闭）与加法性（双积）结构，实现了概率权重与相对相位的分离。该形式体系表明，希尔伯特-施密特内积与迹可范畴化地由强紧闭性导出，并指出对角线与线性公理是实现一种项目化、无相位的量子形式体系且具备完整概率结构的必要且充分条件。

ABSTRACT

Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others obstruct the passage to a formalism which is not saturated with physically insignificant global phases. First we show that the bulk of the required linear structure is purely multiplicative, and arises from the strongly compact closed tensor which, besides providing a variety of notions such as scalars, trace, unitarity, self-adjointness and bipartite projectors, also provides Hilbert-Schmidt norm, Hilbert-Schmidt inner-product, and in particular, the preparation-state agreement axiom which enables the passage from a formalism of the vector space kind to a rather projective one, as it was intended in the (in)famous Birkhoff & von Neumann paper. Next we consider additive types which distribute over the tensor, from which measurements can be build, and the correctness proofs of the protocols discussed in quant-ph/0402130 carry over to the resulting weaker setting. A full probabilistic calculus is obtained when the trace is moreover linear and satisfies the \em diagonal axiom, which brings us to a second main result, characterization of the necessary and sufficient additive structure of a both qualitatively and quantitatively effective categorical quantum formalism without redundant global phases. Along the way we show that if in a category a (additive) monoidal tensor distributes over a strongly compact closed tensor, then this category is always enriched in commutative monoids.

研究动机与目标

• 通过将概率权重与相对相位分离，解决量子形式体系中全局相位冗余的问题。
• 发展一种保留完整概率结构的项目化量子形式体系，避免双积引入的操作与范畴论上的瑕疵。
• 表征实现无全局相位冗余的定量范畴化量子力学所需的最小加法结构。
• 为准备-态一致公理提供范畴基础，实现从向量空间形式体系到项目化形式体系的过渡。
• 证明强紧闭性与特定加法公理的结合可产生与标准量子力学同构的形式体系，但避免了全局相位的过度计数。

提出的方法

• 利用强紧闭性，从张量结构中推导出范畴迹、希尔伯特-施密特内积与范数。
• 通过单位与伴随态射引入典范迹：$\mathrm{Tr}(-) = \eta^\dagger_A \circ (1_{A^*} \otimes -) \circ \eta_A $，并推广至迹张量范畴中的部分迹。
• 应用准备-态一致公理，从加权项目空间提升至完整的概率演算。
• 通过将强紧闭性与满足对角线与线性公理的最小加法结构结合，定义正交-玻恩型强紧闭范畴（ortho-Bornian SCCC）。
• 区分标量幺半群 $\mathbb{W} = \mathbf{C}(\mathrm{I}, \mathrm{I})$（用于权重）与 $\mathbb{X} = \mathbf{C}(\mathrm{I}, \mathrm{I} \oplus \mathrm{I})$（用于相对相位），并通过 $\phi^\dagger \circ \psi : \mathbb{X}^2 \to \mathbb{W}$ 实现其相互作用。
• 证明当迹满足线性性与对角线公理时，所得范畴支持完整的量子概率结构，且无全局相位的冗余计数。

实验结果

研究问题

• RQ1 恢复无全局相位冗余的完整概率量子形式体系所需的最小加法结构是什么？
• RQ2 希尔伯特-施密特内积与迹能否仅从强紧闭性范畴化地导出？
• RQ3 准备-态一致公理在实现从向量空间形式体系到项目化形式体系的过渡中起何种作用？
• RQ4 在范畴化量子框架中，如何形式化地分离概率权重与相对相位？
• RQ5 对迹施加何种条件可同时保证线性性与对角线公理，从而实现完全定量且项目化的量子形式体系？

主要发现

• 希尔伯特-施密特内积与范数可仅从强紧闭性导出，无需依赖完整的向量空间线性性。
• 由单位与伴随态射导出的典范范畴迹满足拉直公理（yanking axiom），确认其在紧闭范畴中的作用。
• 当对角线公理与迹的线性性结合时，可确保形式体系支持完整的量子概率结构，且不因全局相位而过度计数。
• 准备-态一致公理是将加权项目化形式体系提升为完整概率体系的必要且充分条件。
• 通过双积结构对 $\mathbb{W}$（权重）与 $\mathbb{X}$（相对相位）的分离，实现了在范畴论上对概率振幅与相位信息的清晰区分。
• 当加法结构对张量满足分配律，且迹满足线性性与对角线公理时，所得范畴为正交-玻恩型强紧闭范畴（ortho-Bornian SCCC），提供一种最小化、项目化且定量化的量子形式体系。