[论文解读] Categorical Semantics for Feynman Diagrams

Razin A. Shaikh, Stefano Gogioso|arXiv (Cornell University)|May 1, 2022

Data Visualization and Analytics被引用 5

一句话总结

本文通过非标准分析构建的自伴紧致范畴，为费曼图引入了范畴语义，使无限维量子场论中的严格图示推理成为可能。通过将图示直接视为表示线性映射（而非振幅）的态射，序列复合自动通过滑动与交换规则生成所有可能的图论收缩，从而无需显式积分即可得到传统费曼图的完整求和——包括传播子与顶点相互作用。

ABSTRACT

We introduce a novel compositional description of Feynman diagrams, with well-defined categorical semantics as morphisms in a dagger-compact category. Our chosen setting is suitable for infinite-dimensional diagrammatic reasoning, generalising the ZX calculus and other algebraic gadgets familiar to the categorical quantum theory community. The Feynman diagrams we define look very similar to their traditional counterparts, but are more general: instead of depicting scattering amplitude, they embody the linear maps from which the amplitudes themselves are computed, for any given initial and final particle states. This shift in perspective reflects into a formal transition from the syntactic, graph-theoretic compositionality of traditional Feynman diagrams to a semantic, categorical-diagrammatic compositionality. Because we work in a concrete categorical setting -- powered by non-standard analysis -- we are able to take direct advantage of complex additive structure in our description. This makes it possible to derive a particularly compelling characterisation for the sequential composition of categorical Feynman diagrams, which automatically results in the superposition of all possible graph-theoretic combinations of the individual diagrams themselves.

研究动机与目标

• . 本文旨在将范畴图示方法扩展至无限维量子场论，传统方法因无穷大而失效。
• 旨在解决图示演算长期存在的局限性：无法严格处理量子场。
• 目标是提供一个基于范畴论与非标准分析的正式、组合性框架，用于费曼图。
• 旨在统一传统费曼图的句法图组合与语义范畴组合性。
• 目标是实现量子场论、量子硬件设计及类比量子计算中的图示推理。

提出的方法

• . 作者利用非标准分析定义了 ★fHilb，即超有限维非标准希尔伯特空间与 ★C-线性映射的自伴紧致范畴。
• 他们在 ★fHilb 中使用福克空间及福克空间的产生/湮灭算符来建模量子场与粒子态。
• 该方法采用传递定理，将有限维范畴结构（如 †-SCFAs、群代数）提升至非标准设定。
• 费曼图被解释为 ★fHilb 中的态射，表示从初态到末态的完整线性过程，而不仅仅是振幅。
• 通过使用产生/湮灭算符的滑动与交换规则，对复合图示进行线性化，自动生成所有可能的收缩。
• 标准部分函数将非标准构造映射至物理结果，通过限制到近标准元素，恢复传统振幅。

实验结果

研究问题

• RQ1 . 如何将范畴图示方法扩展至标准图示演算失效的无限维量子场论？
• RQ2 费曼图能否被重新解释为保持完整组合结构的自伴紧致范畴中的态射？
• RQ3 如何在图示框架中利用非标准分析严格处理量子场论中的无穷大？
• RQ4 范畴费曼图的序列复合在多大程度上能自动生成传统图示的所有可能图论收缩？
• RQ5 该形式化体系能否通过图示简化重现标准散射振幅（如核子-核子散射）？

主要发现

• . 范畴费曼图的序列复合通过滑动与交换规则，自动生成所有可能的中间线收缩方式，包括所有传播子与顶点收缩。
• 简化后的标量图与传统费曼图的全部求和在函数上等价，如式 (110) 所示。
• 通过范畴图示方法计算的振幅与标准费曼规则结果一致：iA = (−𝑖𝑔)² [ i/((p₁−p′₁)²−m²+iε) + i/((p₁−p′₂)²−m²+iε) ]，如式 (114) 所示。
• 该方法通过利用范畴的代数结构与非标准分析，无需显式积分即可成功重现全部图示求和。
• 非标准分析的使用使得无穷大与无穷小量的精确算术成为可能，避免了极限与拓扑收敛性问题。
• 标准部分函数将非标准构造映射至物理振幅，确保与传统量子场论的一致性。