[论文解读] Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica

Jacob L. Bourjaily|arXiv (Cornell University)|Dec 31, 2012

Particle physics theoretical and experimental studies参考文献 22被引用 39

一句话总结

该论文介绍了 'positroids' Mathematica 工具包，以简化对散射振幅、在壳图以及格拉斯曼流形的正胞剖分的研究。该工具包可通过基于排列的组合方法，计算规范坐标、生成普拉比克图，并评估在壳微分形式，显著简化了在所有圈阶下 $\mathcal{N}=4$ SYM 振幅的研究。

ABSTRACT

The many intricate connections between scattering amplitudes, on-shell diagrams, and the positroid stratification of the Grassmannian has recently been described in great detail. In order to facilitate the exploration of this rich correspondence, we have prepared a public Mathematica package called "positroids" which includes an array of useful tools including those for the construction of canonical coordinates for positroid configurations, the drawing of representative on-shell (plabic) graphs, and the evaluation of on-shell differential forms. This note documents the functions made available by the positroids package; the package's source code together with a Mathematica notebook containing many detailed examples of its functionality are included with this note's submission files on the arXiv.

研究动机与目标

• 弥合散射振幅、在壳图与格拉斯曼流形 $G(k,n)$ 的正胞剖分之间的深层联系。
• 提供一个计算工具包，自动化计算正胞配置的规范坐标与在壳微分形式。
• 通过 Mathematica 中的符号计算，实现对在壳图及其相关数学结构的高效探索。
• 通过提供用户友好、开源且附带详尽文档与示例的工具包，支持平面 $$\mathcal{N}=4$ 超杨–米尔斯理论的研究。

提出的方法

• 该工具包使用排列来标记正胞与普拉比克图中的左右路径，以组合方式编码在壳图。
• 它计算 $G(k,n)$ 中正胞配置的规范坐标 $\alpha_i$ 与矩阵表示 $C(\alpha)$。
• 它生成可视化普拉比克图，并通过排列数据追踪左右路径，从而实现直接的几何解释。
• 它将在壳微分形式评估为 $d\log\alpha_1 \wedge \cdots \wedge d\log\alpha_d$，简化振幅积分。
• 它包含用于通过 $\widetilde{\eta}$-分量提取与 BCFW 递推项计数来提取振幅物理分量的函数。
• 它支持符号运算，具备美观的格式化、时间追踪与随机测试功能（例如，验证 $\partial^2 = 0$ mod 2）。

实验结果

研究问题

• RQ1 如何利用排列与普拉比克图系统地编码并可视化在壳图的组合结构？
• RQ2 在 $G(k,n)$ 中的正胞、规范坐标与 $$\mathcal{N}=4$ SYM 中的散射振幅之间，是否存在精确的对应关系？
• RQ3 如何利用 Mathematica 中的符号计算自动化评估在壳微分形式与振幅分量？
• RQ4 通过 BCFW 递推生成树振幅的计算复杂度是多少？会产生多少个非零项？
• RQ5 该工具包如何用于验证基本代数恒等式（如 $\partial^2 = 0$ mod 2）在正胞边界中的成立性？

主要发现

• 该工具包可成功计算任意正胞的规范体积形式 $d\log\alpha_1 \wedge \cdots \wedge d\log\alpha_d$，从而可直接评估在壳振幅。
• 对于 6 点、3 圈的 N$^{(k-2)}$MHV 振幅，BCFW 递推在树图层级生成 3 个非零项，在一环层级生成 16 个，分别由 `termsInBCFW[6,3]` 与 `termsInBCFW[6,3,1]` 计算得出。
• 函数 `treeContour[6,3]` 返回排列标签列表 {{4,5,6,8,7,9}, {3,5,6,7,8,10}, {4,6,5,7,8,9}}，对应于贡献于 6 点 N$^2$MHV 振幅的三个正胞。
• 函数 `superComponent` 可提取特定 $\widetilde{\eta}$-分量函数；例如，8 粒子 N$^2$MHV 振幅的 $(-,+,-,+,-,+, -,+)$ 分量计算结果为 $-\frac{908416}{39375}$。
• 该工具包包含 `explicify` 等工具，用于为变量赋正值，以及 `mod2` 用于验证边界恒等式，例如通过 `mod2[Join@@(boundary/@boundary[randomCell[8,4,12]])]` 确认 $\partial^2 = 0$ mod 2，结果为一空列表。
• 函数 `nice` 以标准物理记法（如 $\alpha_1$、$\langle 1234 \rangle$）格式化表达式，提升复杂振幅与形式的可读性。