[论文解读] *-Autonomous categories in quantum theory

Brian J. Day|arXiv (Cornell University)|May 1, 2006

Algebraic structures and combinatorial models参考文献 5被引用 5

一句话总结

本文确立了* - 自伴预单一路德范畴作为量子数学中对偶性的统一框架，表明与完备* - 自伴单一路德范畴的卷积保持* - 自伴性。通过量子理论中的例子（包括次模函数、正交模格和共形场论）展示了这一点，揭示了物理理论中深层的范畴对偶结构。

ABSTRACT

*-Autonomous categories were initially defined by M. Barr to describe a type of duality carried by many monoidal closed categories. Later they were generalised by the current author to include *-autonomous promonoidal categories. Together, these structures under "convolution" product give a clear indication of the usefulness of *-autonomy in quantum mathematics and related areas.

研究动机与目标

• 将* - 自伴预单一路德范畴形式化为* - 自伴范畴在量子数学结构中的推广。
• 证明* - 自伴预单一路德范畴与完备* - 自伴单一路德范畴的卷积结果为另一个* - 自伴范畴。
• 通过次模函数、正交模格和共形场论中的具体例子，展示* - 自伴性在量子理论中的普遍性。
• 通过范畴卷积阐明对偶性和循环对称性在量子与逻辑结构中的作用。

提出的方法

• 通过预单一路德结构(p, j)和对偶性函子S，将* - 自伴预单一路德范畴定义为* - 自伴范畴的推广。
• 对* - 自伴预单一路德范畴𝒜和完备* - 自伴单一路德范畴𝒱应用卷积积[𝒜, 𝒱]，得到一个新的* - 自伴范畴。
• 利用卷积构造，将* - 自伴结构从基范畴𝒱提升至函子范畴[𝒜, 𝒱]。
• 通过偏序集（如幂集、正交模格）和带向量空间值预乘法的有限集构造显式例子。
• 通过循环对偶性条件（如p(a,b,Sc) = p(b,c, Sa) = p(c,a, Sb)）验证* - 自伴性。
• 利用扩展实数ℝ≥0∞和ℝ−∞∞，结合加法与乘法作为对偶单一路德结构，建模次模函数与凸函数中的对偶性。

实验结果

研究问题

• RQ1 如何在量子数学中将* - 自伴范畴推广至包含预单一路德结构？
• RQ2 卷积在范畴构造中保持* - 自伴结构的角色是什么？
• RQ3 * - 自伴预单一路德范畴在何种方式下统一了量子逻辑、次模函数与共形场论中的对偶性？
• RQ4 循环对偶性条件（如p(a,b,Sc) = p(b,c, Sa)）如何反映量子系统中的物理或逻辑对称性？
• RQ5 Chu构造与自由* - 自伴预单一路德范畴是否可与预单一路德范畴与向量空间的卷积相关联？

主要发现

• 当𝒜为* - 自伴预单一路德范畴且𝒱为完备* - 自伴单一路德范畴时，卷积范畴[𝒜, 𝒱]是* - 自伴的。
• 在幂集上的次模函数例子中，上卷积和下卷积分别对应于不相交并集上的上确界与下确界，对偶性由补集诱导。
• 对于正交模格，当p(a,b,c)=1当且仅当a∨b≤c且S为正交补时，满足循环对偶性条件p(a,b,Sc)=p(b,c, Sa)=p(c,a, Sb)。
• 在共形场论中，带有向量空间值预乘法p(i,j,k)=Vij^k的有限集𝒜满足p(i,j,Sk)=p(j,k,Si)=p(k,i,Sj)且p(Si,Sj,Sk)=p(i,j,k)*，从而确认* - 自伴性。
• 范畴ℝ≥0∞在乘法与∞⊗0=0下是* - 自伴的，且在指数映射下同构于ℝ−∞∞（加法结构），为优化与逻辑中的对偶性提供了对偶结构。
• 通过Hedliková–Pulmannová构造将范畴嵌入𝒫=𝒜+𝒜^op，经切换映射S诱导出* - 自伴范畴，将格论与* - 自伴结构联系起来。