费曼规则作为单子

Dec 16, 2025 · updated May 22, 2026

翻译声明：本文由 LLM 从原文翻译而来，可能存在翻译不准确之处。建议阅读原文以获得最准确的内容。

量子场论中的费曼规则

让我们简要回顾一下微扰量子场论（QFT）中的费曼规则。

一个由拉格朗日量描述的场论通常可以分解为：

自由部分（Free part）： 场中的二次项。
相互作用部分（Interaction part）： 场中的高阶项。

当使用维克定理（Wick’s theorem）对路径积分进行微扰展开时，展开式中的每一项都可以用一个费曼图来表示，其构建遵循以下规则：

图（Graph） $Γ (𝑔, 𝑛)$ ：一个亏格为 $𝑔$ 且带有 $𝑛$ 条带标号外腿（external legs）的图。
边（Edges）： 对应传播子 $⟨ 𝜑_{1} (𝑥_{1}) 𝜑_{2} (𝑥_{2}) ⟩$ ，源自拉格朗日量的自由部分。
顶点（Vertices）： 对应拉格朗日量中的相互作用项。

每个顶点的配价（valence）由相互作用项的阶数决定。

最后，在对所有内部顶点进行积分并对所有可能的图进行求和后，我们得到了关联函数的微扰展开。

这种为每条边和每个顶点分配代数数据的过程构成了费曼规则。

自由部分对于计算费曼积分至关重要，但我们在此不做讨论。在这篇博文中，我们将聚焦于图的组合结构以及向其顶点分配数据的过程。

现在，让我们严谨地形式化这些想法。

顶点

首先，顶点可能的贡献可以被组织成一种特定的结构¹：

一个按顶点配价分级的向量空间。
对称群 $𝕊_{𝑛}$ 在 $𝑛$ 阶部分上的置换作用，代表外腿标号的置换。

因此，这些贡献构成了一个 $𝕊$ -模（或称为对称序列），其中 $𝕊_{𝑛} = Aut ({1, \dots, 𝑛})$ 。一个 $𝕊$ -模是向量空间序列 $𝑉 = {𝑉 (𝑛), 𝑛 > 0}$ ，其中每个空间都装备了 $𝕊_{𝑛}$ 的作用。

我们可以构造 $𝕊$ -模的范畴，记为 ${𝐌𝐨𝐝}_{𝕊}$ ，其对象是 $𝕊$ -模，态射是 $𝕊$ -等变线性映射。

这个向量空间可能对应于额外的数据。在我们的语境中，考虑亏格分级是很自然的。即，每个 $𝑉 (𝑛)$ 可以进一步分解为：

𝑉 (𝑛) = ⨁_{𝑔 \geq 0} 𝑉 (𝑔, 𝑛),

其中 $𝑔$ 是表示亏格的非负整数，满足稳定性条件 $2 𝑔 - 2 + 𝑛 > 0$ 。如果我们仅限于树级（tree-level）贡献，我们将 $𝑔 = 0$ 并要求 $𝑛 \geq 3$ （对于传播子则 $𝑛 \geq 2$ ），这实际上忽略了不稳定的蝌蚪图（tadpole diagrams）。由于该条件对应于 modular operad 理论中的稳定性，我们将此类 $𝕊$ -模的范畴记为 ${𝐌𝐨𝐝}_{𝕊}^{stable}$ ，即稳定的 $𝕊$ -模。

图

接下来，我们考虑图。直观地定义一个图很容易，但建立精确的公理化框架却很微妙。描述图的一种自然方式是：

收集所有顶点形成一个集合 $𝑉 (Γ)$ 。
为每个顶点 $𝑣 \in 𝑉 (Γ)$ 分配一个半边（half-edges）集合 $𝐻 (𝑣)$ 。该集合的基数称为配价 $𝑛 (𝑣)$ 。
将半边配对形成边。边的集合记为 $𝐸 (Γ)$ 。
剩余未配对的半边称为（外部）腿（legs），记为 $𝐿 (Γ)$ ，其基数为 $𝑛$ 。

此外，一个标号图为每个顶点 $𝑣$ 分配一个非负整数 $𝑔 (𝑣)$ ，称为顶点的亏格。图 $Γ$ 的亏格定义为：

𝑔 (Γ) = \sum_{𝑣 \in 𝑉 (Γ)} 𝑔 (𝑣) + 𝑏_{1} (Γ),

其中 $𝑏_{1} (Γ)$ 是图的第一贝蒂数²。这样的图记为 $Γ_{𝑔}$ 。

我们将标号图 $Γ (𝑔, 𝑛)$ 定义为一个二元组 $(Γ_{𝑔}, 𝜌)$ ，其中 $𝜌 : {1, \dots, 𝑛} \to 𝐿 (Γ)$ 是对外腿进行标号的双射。

亏格为 $𝑔$ 且有 $𝑛$ 条标号腿的标号图范畴记为 $Γ ((𝑔, 𝑛))$ ，其对象是标号图 $Γ (𝑔, 𝑛)$ ，态射是保持腿标号的图态射。

我们在此略过图态射的技术定义。粗略地说，态射是两个图之间保持顶点、边和腿连接结构的映射。

在 $Γ ((𝑔, 𝑛))$ 中存在一个终对象：单顶点图 $*_{𝑔, 𝑛}$ ，它没有边，只有一个亏格为 $𝑔$ 的顶点和 $𝑛$ 条腿。

重访费曼规则

现在我们可以利用 ${𝐌𝐨𝐝}_{𝕊}^{stable}$ 和 $Γ ((𝑔, 𝑛))$ 的范畴论语言来重新表述费曼规则。

在这个语境下，一个费曼规则由以下要素指定：

${𝐌𝐨𝐝}_{𝕊}^{stable}$ 中的一个对象 $𝑉$ 。
$Γ ((𝑔, 𝑛))$ 中的一个图同构类 $[Γ (𝑔, 𝑛)]$ 。

对所有可能的图同构类 $[Γ (𝑔, 𝑛)]$ 求和，我们获得了一个 ${𝐌𝐨𝐝}_{𝕊}^{stable}$ 上的自函子（endofunctor），记为 $𝕄$ ：

𝕄 𝑉 (𝑔, 𝑛) ≅ ⨁_{Γ \in [Γ (𝑔, 𝑛)]} {𝑉 (Γ)}_{Aut (Γ)} ≔ ⨁_{Γ \in [Γ (𝑔, 𝑛)]} {𝑉 (𝑔, 𝑛)}_{Aut (Γ)},

其中 $𝑉_{𝐺}$ 是 $𝐺$ -模 $𝑉$ 的余不变空间（coinvariant space）。

由于 $𝕄$ 是 ${𝐌𝐨𝐝}_{𝕊}$ 上的自函子，我们可以考虑 $𝕄^{2} 𝑉$ 与 $𝕄 𝑉$ 之间的关系。

此外，我们可以考虑任意正整数 $𝑘$ 的 $𝕄^{𝑘} 𝑉 (𝑔, 𝑛)$ 。根据定义，这种复合对应于：

在图的层面上，
- 考虑一个费曼图。
- 对于图中的每个顶点，用另一个费曼图替换它。
在向量空间的层面上，
- 对于每个顶点，为其分配一个向量空间 $𝕄^{𝑘 - 1} 𝑉 (Γ)$ 。
- 通过再次应用费曼规则获得一个新的向量空间。

存在一个自然变换 $𝜇 : 𝕄^{2} 𝑉 \to 𝕄 𝑉$ ，称为自函子 $𝕄$ 的乘法。这对应于以下操作：

将图代入顶点。
将其压平（flattening）为单个图。
使用费曼规则获得一个向量空间。

对于 $𝕄^{3} 𝑉$ ，有两种压平嵌套图的方式（结合律）：

先压平最底层，然后处理结果图。
先压平最高层，然后处理结果图。

两种过程产生相同的结果，满足结合律条件。

此外，存在一个单位变换 $𝜂 : id \to 𝕄$ ，其中 $id$ 是恒等自函子。这对应于单顶点图 $*_{𝑔, 𝑛}$ 的包含映射。

因此，自函子 $𝕄$ 连同 $𝜇$ 和 $𝜂$ ，构成了 ${𝐌𝐨𝐝}_{𝕊}^{stable}$ 范畴上的一个单子（Monad）。这表明费曼规则的组合结构可以被单子语言完美地捕捉。

Modular Operads

回顾一下，一个 cyclic operad 仅仅是对应于树的特定单子上的代数。

由于我们的单子 $𝕄$ 是使用带有亏格圈的图定义的，其代数将 operad 推广为所谓的 modular operad。

确切地说，一个 modular operad $𝒜︀$ 是单子 $𝕄$ 上的一个代数，配备了一个结构映射 $𝜌 : 𝕄 𝒜︀ \to 𝒜︀$ ，满足：

结合律： $𝜌 \circ 𝜇_{𝒜︀} = 𝜌 \circ 𝕄 (𝜌)$ 。
单位律： $𝜌 \circ 𝜂_{𝒜︀} = {id}_{𝒜︀}$ 。

我们将 modular operad 记为一个二元组 $(𝒜︀, 𝜌)$ 。

乘法函子与重整化

既然已经通过单子定义了费曼规则，我们转向微扰 QFT 中的一个关键过程——重整化。

核心思想

威尔逊重整化群（RG）方法表明，为了获得低能标下的有效理论，我们需要：

积掉（Integrate out）高能模，导致原始相互作用项“流”向有效相互作用。
对场和耦合常数进行重标度。
在低能下仅保留相关（relevant）和边缘（marginal）的相互作用项。

乘法函子 $𝜇$ 自然地描述了第一步的组合学层面：内部边的收缩对应于传播子的积分。

Bar Construction

给定由单子 $𝕄$ 构造的 modular operad $𝒜︀$ ，重整化过程可以由以下映射捕捉：

𝕄 𝒜︀ \overset{𝜌}{\to} 𝒜︀,

其中 $𝜌$ 是 modular operad $𝒜︀$ 的结构映射。

考虑迭代地应用函子 $𝕄$ 。这对应于嵌套收缩（或能标）的层级结构。我们得到一系列映射：

这是 ${𝐌𝐨𝐝}_{𝕊}^{stable}$ 范畴中的一个单纯对象（simplicial object），构成了 modular operad $𝒜︀$ 的 bar construction。

单纯对象编码了面映射（face maps） ${𝜕_{𝑖}}$ 和退化映射（degeneracy maps） ${𝜎_{𝑖}}$ ，从而产生同调结构。“主方程” $𝜕^{2} = 0$ 编码了理论的一致性条件，特别是单子的结合律和单位律公理。

考虑边界算子 $𝜕$ 的具体结构。面映射 $𝜕_{𝑖}$ 本质上对应于在第 $𝑖$ 层嵌套处收缩图。此类映射的表达式为：

𝜕_{𝑖} = {\begin{cases} 𝕄^{𝑖} \circ 𝜇 \circ 𝕄^{𝑛 - 1 - 𝑖}, & 0 \leq 𝑖 < 𝑛 \\ 𝕄^{𝑛} \circ 𝜌, & 𝑖 = 𝑛, \end{cases}

这些映射满足单纯恒等式 $𝜕_{𝑖} 𝜕_{𝑗} = 𝜕_{𝑗 - 1} 𝜕_{𝑖}$ 。

利用这些面映射，我们定义总边界映射 $𝜕_{(𝑛)} : 𝕄^{𝑛 + 1} 𝒜︀ \to 𝕄^{𝑛} 𝒜︀$ 为：

𝜕_{(𝑛)} = \sum_{𝑖 = 0}^{𝑛} {(- 1)}^{𝑖} 𝜕_{𝑖},

其中由于单纯恒等式，主方程 $𝜕_{(𝑛)}^{2} = 0$ 得到满足。

Remark

这个 bar construction 是同调代数中经典 bar construction 的自然推广。在那里，链复形可以被视为一维的树，而面映射对应于顶点的“分裂”。

若将我们的图限制为树（亏格为 0），则得到 cyclic operad 的 bar construction，其中复合映射对应于连接两棵树的腿。

Remark

这个 bar construction 是同调代数中经典 bar construction 的自然推广。在那里，链复形可以被视为一维的树，而面映射对应于顶点的“分裂”。

若将我们的图限制为树（亏格为 0），则得到 cyclic operad 的 bar construction，其中复合映射对应于连接两棵树的腿。

展望

我们主要在顶点及其复合的层面上，建立了费曼图的“范畴学描述”。

然而，仍有重要的数据未被捕捉。例如，在微扰陈 - 西蒙斯（Chern-Simons）理论中，关联函数（在 $ℝ^{3}$ 上）涉及高斯环绕数（Gaussian linking number），这对边的定向非常敏感。因此，要发展一个完整的范畴学描述，必须将定向数据考虑在内。这引出了 “twisted modular operads” 的概念，它与 Kontsevich 的图复形（graph complex）——陈 - 西蒙斯微扰理论的“真正”归宿——密切相关。

但这便是后话了。

¹如果理论中有额外的结构输入，例如分级（grading），我们应将向量空间替换为相应的对象，如分级向量空间。
²这个亏格定义在 modular operad 的语境中是标准的。与通常的图亏格（贝蒂数）不同，我们用“内部”亏格数据装饰每个顶点，这对单子结构至关重要。

Back to all articles