[论文解读] Planar Matrices and Arrays of Feynman Diagrams

Freddy Cachazo, Alfredo Guevara+2 more|arXiv (Cornell University)|Dec 19, 2019

Advanced Combinatorial Mathematics参考文献 48被引用 12

一句话总结

本文引入了费曼图的平面矩阵作为计算 $k=4$ 双伴随振幅的组合对象，推广了先前针对 $k=3$ 的平面组合工作。该方法采用组合自举法构建满足相容性与平面性条件的度量树对称矩阵，分别得到 $(k,n) = (4,8)$ 和 $(4,9)$ 的 90,608 个与 30,659,424 个此类矩阵，并给出了振幅的显式形式。

ABSTRACT

Very recently planar collections of Feynman diagrams were proposed by Borges and one of the authors as the natural generalization of Feynman diagrams for the computation of $k=3$ biadjoint amplitudes. Planar collections are one-dimensional arrays of metric trees satisfying an induced planarity and compatibility condition. In this work we introduce planar matrices of Feynman diagrams as the objects that compute $k=4$ biadjoint amplitudes. These are symmetric matrices of metric trees satisfying compatibility conditions. We introduce two notions of combinatorial bootstrap techniques for finding collections from Feynman diagrams and matrices from collections. As applications of the first, we find all $693$, $13\,612$, and $346\,710$ collections for $(k,n)=(3,7), (3,8),$ and $(3,9)$ respectively. As applications of the second kind, we find all $90\, 608$ and $30\,659\,424$ planar matrices that compute $(k,n)=(4,8)$ and $(4,9)$ biadjoint amplitudes respectively. As an example of the evaluation of matrices of Feynman diagrams, we present the complete form of the $(4,8)$ and $(4,9)$ biadjoint amplitudes. We also start the study of higher dimensional arrays of Feynman diagrams, including the combinatorial version of the duality between $(k,n)$ and $(n-k,n)$ objects.

研究动机与目标

• 将费曼图的平面组合框架从 $k=3$ 推广至 $k=4$ 双伴随振幅。
• 定义平面度量树矩阵作为计算 $k=4$ 振幅的新组合对象。
• 开发一种组合自举技术，系统地从低 $k$ 结构生成这些矩阵。
• 利用新框架计算并呈现 $(4,8)$ 和 $(4,9)$ 双伴随振幅的完整形式。

提出的方法

• 提出平面费曼图矩阵作为满足相容性条件 $d^{(i)}_{jk} = d^{(j)}_{ik} = d^{(k)}_{ij}$ 的度量树对称矩阵，定义一个三阶张量 $\pi_{ijk}$。
• 引入一种组合自举算法，通过迭代相容性检查，从 $k=2$ 和 $k=3$ 配置构建 $k=4$ 的平面矩阵。
• 使用 CHY 形式化方法，并在正域 $\Delta$ 上积分，将振幅表示为 $\mathcal{R}(\mathcal{M}) = \int_{\Delta} d^{2(n-4)}f_I \, \exp\left(\sum_{i,j,k} \pi_{ijk} \mathsf{s}_{ijk}\right)$。
• 应用 PolyMake 的剖分函数，从顶点和面计算振幅多面体的体积，从而实现振幅的显式计算。
• 利用 $(k,n)$ 与 $(n-k,n)$ 对象之间的对偶性，探索费曼图的高维数组结构。
• 通过将 $(k,n)=(3,8)$ 的 13,612 个平面组合与 ${\rm Trop}^+G(3,8)$ 中的 25,080 个簇进行匹配，验证了结果的一致性，确认与簇代数结构的一致性。

实验结果

研究问题

• RQ1 如何将费曼图的平面组合推广以计算 $k=4$ 双伴随振幅？
• RQ2 对于 $k=4$，何种组合结构取代了平面组合？其系统构造方法为何？
• RQ3 能否计算 $k=4$ 平面矩阵的数量，并对 $n=8$ 和 $n=9$ 的振幅进行显式评估？
• RQ4 新平面矩阵与已知结构（如热带格拉斯曼流形和簇代数）之间有何关系？
• RQ5 $(k,n)$ 与 $(n-k,n)$ 之间的对偶性在费曼图高维数组的背景下起何作用？

主要发现

• 本文构造了全部 90,608 个 $(k,n) = (4,8)$ 的平面矩阵，这些矩阵用于计算 $n=8$ 粒子的 $k=4$ 双伴随振幅。
• 对于 $(k,n) = (4,9)$，该方法得到了 30,659,424 个平面矩阵，提供了 $k=4$ 振幅在 $n=9$ 时的完整配置集合。
• 通过从剖分多面体导出的体积公式，显式计算了 $(4,8)$ 和 $(4,9)$ 双伴随振幅的完整形式。
• $(k,n)=(3,8)$ 的 13,612 个平面组合被证明编码了与 ${\rm Trop}^+G(3,8)$ 中 25,080 个簇相同的信息，确认了与簇代数结构的一致性。
• 该框架可扩展至高维数组，初步建立了 $(k,n)$ 与 $(n-k,n)$ 对象之间的组合对偶性。
• 该方法成功复现了 $(k,n)=(3,7)$ 的 693 个平面组合、$(3,8)$ 的 13,612 个，以及 $(3,9)$ 的 346,710 个，验证了自举方法的有效性。