[论文解读] Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

Samson Abramsky|ArXiv.org|Oct 15, 2009

Computability, Logic, AI Algorithms参考文献 13被引用 4

一句话总结

本文提出了自由迹对称自伴张量范畴与强紧致闭范畴的显式、组合性构造，改进了早期用于量子力学的范畴框架。它引入了一种几何与代数方法，从基范畴生成这些结构，其关键贡献在于可通过环路求值将指定的标量幺半群‘粘合’进来，从而精确控制量子理论中的振幅等定量特性。

ABSTRACT

We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of physical theory to be expressed, and how the notion of strong compact closure emerges as a significant refinement of the more classical notion of compact closed category. We then proceed to an extended discussion of free constructions for a sequence of progressively more complex kinds of structured category, culminating in the strongly compact closed case. The simple geometric and combinatorial ideas underlying these constructions are emphasized. We also discuss variations where a prescribed monoid of scalars can be "glued in" to the free construction.

研究动机与目标

• 提供从张量范畴到迹范畴、紧致闭范畴，最终到强紧致闭范畴的逐步结构的显式、综合构造。
• 通过引入支持定量物理推理的标量概念，改进量子力学的范畴框架。
• 将自由构造扩展至包含指定的标量幺半群，从而在量子模型中外部指定振幅（例如复数）。
• 展示典范（对合）结构如何通过这些构造被提升，从而得到每个自由范畴的“典范版本”，与Selinger的框架相容。
• 通过迹对称自伴张量范畴，统一并澄清Kelly-Laplaza与$Γ$-构造（Int）方法在自由紧致闭范畴中的关系。

提出的方法

• 通过带环路的弦图等价类构造自由迹对称自伴张量范畴，其中态射以三元组$(S, \pi, \lambda)$表示，编码弦的集合、置换与标签。
• 通过多重集并集与重标记定义复合与张量结构，迹通过允许反馈环路的Yanking公理实现。
• 通过反转弦与箭头的方向，并在生成范畴上使用对合对标签进行对偶化，为自由范畴引入典范结构。
• 对于标量参数化，将自由环路幺半群替换为用户指定的交换幺半群$M$，环路求值通过函数$\varphi$映射到$M$。
• 使用逗号范畴$(\mathcal{L} \downarrow U_{\mathbf{InvCMon}})$形式化具有指定标量的自由强紧致闭范畴的构造。
• 通过所有构造提升典范结构，确保与Selinger工作中典范紧致闭范畴概念的相容性。

实验结果

研究问题

• RQ1 如何从基范畴显式且组合性地构造自由迹对称自伴张量范畴？
• RQ2 在自由紧致闭范畴的语境下，Kelly-Laplaza构造与$\mathrm{Int}$-构造之间的确切关系是什么？
• RQ3 如何在保持范畴结构的前提下，将指定的标量幺半群整合进自由强紧致闭范畴？
• RQ4 典范（对合）结构如何通过自由构造被提升？它与强紧致闭性的概念有何关联？
• RQ5 能否利用弦图背后的几何与组合直觉，为高阶范畴结构中的自由构造提供一种综合且易懂的描述？

主要发现

• 本文首次提供了基于基范畴的自由迹对称自伴张量范畴的显式、组合性构造，填补了文献中的空白。
• 确立了自由紧致闭范畴可作为自由迹对称自伴张量范畴的商范畴构造，澄清了Kelly-Laplaza与$\mathrm{Int}$-构造方法之间的联系。
• 证明了自由强紧致闭范畴的构造等价于在自由紧致闭范畴上增加典范结构，且对合从基范畴被提升。
• 提出了一种新颖的构造方法，用于具有指定标量幺半群的自由强紧致闭范畴，其中环路求值通过函数$\varphi$映射到用户定义的幺半群$M$，且幺半群运算取代了多重集并集。
• 通过反转弦的方向并双重化标签，定义了自由范畴上的典范结构，确保与紧致闭结构相容，并生成典范紧致闭范畴。
• 最终自由范畴中的标量幺半群恰好是所指定的幺半群$M$，表明该构造在建模量子理论的定量方面既灵活又精确。