[论文解读] Categorified Algebra and Quantum Mechanics

Jeffrey C. Morton|ArXiv.org|Jan 19, 2006

Quantum Mechanics and Applications参考文献 10被引用 8

一句话总结

本文引入了 M-物质类型——一种使用范畴论和幺半群的量子力学范畴化框架——以组合方式建模量子谐振子。通过将结构类型推广至通过单位圆群 U(1) 引入相位的物质类型，该框架构建了一个范畴化的 Fock 空间，其中时间演化、内积和费曼图自然地从范畴结构中涌现，通过高维代数统一了组合学与量子理论。

ABSTRACT

Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding a combinatorial model for some mathematical entity is a particular instance of the process called ``categorification''. Examples include the interpretation of N as the Burnside rig of the category of finite sets with product and coproduct, and the interpretation of N[x] as the category of combinatorial species. This has interesting applications to quantum mechanics, and in particular the quantum harmonic oscillator, via Joyal's ``species'', a new generalization called ``stuff types'', and operators between these, which can be represented as rudimentary Feynman diagrams for the oscillator. In quantum mechanics, we want to represent states in an algebra over the complex numbers, and also want our Feynman diagrams to carry more structure than these ``stuff operators'' can do, and these turn out to be closely related. We will show how to construct a combinatorial model for the quantum harmonic oscillator in which the group of phases, U(1), plays a special role. We describe a general notion of ``M-Stuff Types'' for any monoid M, and see that the case M=U(1) provides an interpretation of time evolution in the combinatorial setting, as well as other quantum mechanical features of the harmonic oscillator.

研究动机与目标

• 开发一种基于高阶范畴理论的组合化、范畴化的量子力学模型。
• 将结构类型推广至支持求值、复合与内积的“物质类型”。
• 在范畴框架中整合时间演化与酉对称性（U(1)），用于量子系统。
• 将费曼图演算与范畴函子及范畴基数统一起来。
• 将范畴化的概念扩展至包含幺半群作用，特别是 U(1)，以实现物理解释。

提出的方法

• 使用物质类型范畴对量子谐振子的 Fock 空间进行范畴化，其中物质类型通过取值于范畴的函子推广了结构类型。
• 为任意幺半群 M 定义 M-物质类型，其中 M = U(1) 用于建模量子力学中的相位因子与时间演化。
• 使用范畴基数为物质类型分配数值，推广生成函数。
• 通过 2-范畴中的弱拉回定义内积，范畴化希尔伯特空间的内积。
• 将产生与湮灭算符表示为物质类型范畴之间的函子，费曼图作为这些函子的弦图。
• 应用 2-环装构造，利用自由对称张量完备化与自由共完备化，生成广义种类的范畴。

实验结果

研究问题

• RQ1 如何利用范畴结构（如范畴与函子）重构量子谐振子的 Fock 空间？
• RQ2 量子力学中内积的范畴类比是什么？它与拉回和弱拉回有何关系？
• RQ3 如何在组合化、范畴化的框架中编码时间演化与酉对称性？
• RQ4 能否将谐振子的费曼图解释为物质类型与算符的 2-范畴中的态射？
• RQ5 将结构类型扩展至 M-物质类型（特别是 M = U(1)）时，如何恢复量子力学的关键特征？

主要发现

• U(1)-物质类型的范畴为 Fock 空间提供了一个组合模型，其中态为取值于范畴的函子，而内积通过弱拉回自然产生。
• 量子谐振子中的时间演化自然地建模为 U(1) 对 M-物质类型的行动，相位通过幺半群结构编码。
• 两个物质类型的内积被范畴化为弱拉回，将标准 Fock 空间上的内积推广至 2-范畴设置。
• 谐振子的费曼图作为表示算子复合的弦图涌现，振幅通过范畴基数计算。
• 该构造可推广至更高阶的幺半群与范畴，支持多类种类，并可延伸至量子场论。
• 本文通过范畴之间自由完备化的函子建立了广义种类的 2-范畴，统一了组合学与量子代数。