Perturbative construction of amplitudes from on-shell trees with vacuum pairs: the all-plus four-gluon amplitude through order $\boldsymbol{g}^{\boldsymbol{6}}$

本文提出了一种利用 BCFW 生成的树振幅和积分真空对进行固定阶扰动在壳构造的方法，通过多边形组织的包含排除框架，成功地重现了直到 $g^6$ 阶的已知一圈和二圈全加四胶子振幅。

要点

想象一下，你正在试图弄清楚四个微小的、不可见的弹珠（胶子）是如何相互弹跳的。在量子物理的世界里，精确计算它们如何相互作用，就像是在尝试解决一个巨大的、三维的拼图，而拼图的碎片一直在不断变形。

通常，物理学家通过绘制“费曼图”来解决这个问题。把这些图表想象成蓝图，它们展示了这些弹珠可能采取的所有路径，包括那些经过“幽灵”状态（在数学上存在但在现实中无法被观测到）的路径。这些蓝图很精确，但非常混乱，充满了冗余的步骤，并且通常需要抵消掉巨大的数值才能得到一个简单的答案。

这篇论文提出了一种更简洁的构建方案，称为**“真空对构造法”（Vacuum-Pair Construction）**。以下是它的工作原理，使用简单的类比进行说明：

1. 建筑基石：壳上树图 (On-Shell Trees)

与其使用带有幽灵状态的混乱蓝图，作者从最简单、最坚实的建筑基石开始：三点相互作用。想象一下，这是三个粒子之间最基本的“握手”。

• 规则： 如果你知道三个粒子如何握手，你就可以通过将这些握手粘合在一起，构建出一整棵相互作用之树。
• 问题： 这仅适用于“树级”（tree-level）相互作用（即简单的弹跳）。它无法解释在真实的、高能碰撞中发生的复杂环路和延迟效应（例如“单圈”或“双圈”效应）。

2. 秘密配料：“真空对” (Vacuum Pairs)

为了弥补缺失的复杂性，作者引入了一个技巧。他们想象在混合物中插入一对对不可见的粒子。

• 类比： 把真空对想象成一种幽灵般的回声。你有一个向前运动的粒子及其“共轭”（镜像）向后运动。它们共同携带零净能量和零净动量。你看不见它们，它们也不会改变最终结果，但它们起到了临时脚手架的作用。
• 过程： 作者将他们的“握手树”展开，并在间隙中插入这些不可见的真空对。然后，他们对这些真空对可能存在的所有方式进行“积分”（求和）。这就像摇晃一个装满隐形弹珠的盒子，观察它们如何重新排列可见的弹珠。

3. 计数技巧：容斥原理 (Inclusion-Exclusion)

这里是聪明之处。如果你只是简单地把所有这些真空对场景相加，你可能会重复计算同一种物理情况。

• 类比： 想象你在统计房间里的人数。如果你先数一遍戴红帽子的人，再数一遍戴蓝帽子的人，你可能会把那个既戴红帽子又戴蓝帽子的人重复计算两次。
• 解决方案： 作者使用了一个**“容斥”**正负号规则。
  • 加上拥有一个隐形对的场景 (+)。
  • 减去拥有两个隐形对的场景 (–)，因为它们重叠太多。
  • 加上拥有三个对的场景 (+) 来修正减法。
  • 这确保了每一个独特的物理可能性都被精确地计算了一次，不多也不少。

4. 多边形游戏 (The Polygon Game)

为了追踪所有这些组合，作者使用了一种涉及多边形（具有多条边的形状）的视觉方法。

• 类比： 想象粒子是多边形的顶点。
  • 六边形（6 边）代表一种带有单个真空对的特定相互作用类型。
  • 两个四边形（各 4 边）代表由两个真空对引起的拆分相互作用。
  • 八边形（8 边）代表一种更复杂的具有两个真空对的相互作用。
• 论文系统地列出了符合特定复杂度等级（称为“阶 $g^4$”和“阶 $g^6$”）的所有可能的多边形形状。

5. 结果：重建拼图

作者用一个特定的难题测试了这种方法：“全加号四胶子振幅” (all-plus four-gluon amplitude)。在这种情景下，四个胶子发生相互作用，且它们的“自旋”方向全部相同（就像四个陀螺都顺时针旋转一样）。

• 在阶 $g^4$（单圈）下的测试： 他们利用这些真空对和多边形构建了解决方案。结果与已知的标准单圈相互作用答案完美匹配。这就像是在没有原始蓝图的情况下，仅凭砖块和砂浆就重建了一座已知的房子，并得到了完全相同的结构。
• 在阶 $g^6$（双圈）下的测试： 这是重头戏。他们深入研究了涉及八边形、六边形和五边形的更复杂的相互作用。
  • 他们发现，“真空对”方法自然地产生了与标准的、混乱的费曼图完全相同的数学表达式。
  • 他们识别出了特定的“扇区”（例如八边形、六边形-四边形以及蝴蝶结形状），这些形状对应于传统物理学中复杂的“平面”和“非平面”环路。

核心结论

该论文声称，你不需要依赖“离壳”（不可观测的、依赖规范的）场来计算这些复杂的粒子相互作用。相反，你可以：

1. 从简单的、可观测的三粒子握手开始。
2. 将它们粘合成树状结构。
3. 插入不可见的“真空对”来模拟环路。
4. 使用特定的“正负”计数规则来避免重复计算。
5. 将一切组织成多边形形状。

通过这样做，他们成功地重建了已知的、复杂的双圈四胶子散射结果。这是一种更简洁的构建相同物理现实的方法，证明了你只需通过将最简单、最坚实的拼图碎片粘合在一起，就能获得完整的全貌。

技术摘要

技术摘要：基于真空对（Vacuum Pairs）的在壳树振幅摄动构造

问题陈述
本文研究了在不依赖离壳场（off-shell fields）或规范固定费曼图的情况下，如何组织规范理论中的摄动散射振幅。虽然现代振幅程序已成功利用在壳三点构建块和 BCFW 递归重建了树级振幅，但将这种在壳哲学扩展到圈级（loop orders）仍然是一个挑战。标准的圈级计算涉及对虚动量和离壳传播子的积分，这引入了非物理的中间量和规范依赖性。作者探讨了是否可以通过补充特定的辅助结构，完全由在壳树振幅来构造超越树级的固定阶摄动振幅，从而避免使用离壳中间态。

方法论
作者提出了一种在固定摄动阶下表述的“真空对构造”。其核心方法论包括以下步骤：

1. 输入数据： 该构造依赖于粒子谱、允许的在壳三点振幅（由洛伦兹不变性和小群标度确定）以及颜色排序（color ordering）。
2. 真空对： 为了生成圈级贡献，作者插入了 $r \ge 0$ 个不可观测的、状态共轭的在壳对，称为“真空对”，其动量为 $(\ell_a, -\ell_a)$。这些对在它们的洛伦兹不变相空间内进行积分。
3. 树级胶合： 振幅通过胶合普通的连通在壳树振幅来构造。这些树是通过使用 BCFW 递归从三点数据递归生成的。真空对作为内部腿连接这些树组件。
4. 包含-排除符号规定： 为了防止重叠相空间区域的重复计数，作者根据在连通相空间组件内同时插入真空对的数量 ($r$) 分配交替符号。具有 $r$ 个插入项的组件携带符号 $(-1)^{r-1}$。对于具有 $c$ 个独立组件的因子化贡献，总符号为 $(-1)^{r-c}$。
5. 多边形簿记： 为了组织固定阶的簿记，带有 $r$ 个真空对的 $n$ 点树振幅被表示为具有 $n+2r$ 条边的多边形。耦合阶 $g^{N_3}$ 由多边形分解中的三次顶点数 ($N_3$) 决定。扇区（sectors）通过所涉及多边形的边数进行标记（例如，$\{6\}$，$\{4,4\}$）。
6. 维数正则化： 计算在 $D = 4-2\epsilon$ 维中进行。内部胶子状态和包含 $D_s - 2$ 个物理态，其中横向动量分量 ($\lambda$) 对于在所有全正（all-plus）振幅中产生非零有理项至关重要。

主要贡献与结果
本文通过对颜色排序的四胶子全正振幅 $A_4(1^+, 2^+, 3^+, 4^+)$ 在 $g^4$ 和 $g^6$ 阶进行测试，验证了该框架。

• $g^4$ 阶（单圈）：

  • 该构造识别了两个扇区：单对六边形扇区 $\{6\}$ 以及两对四边形乘积 $\{4, 4\}$。
  • 严格 4D 螺旋部分的六边形部分消失，但 $D_s$ 维状态和中的横向 ($\lambda$-dependent) 部分产生了一个非零的有理数分子。
  • $\{6\}$ 扇区提供单切（single-cut）贡献，而 $\{4, 4\}$ 扇区提供双切（double-cut）贡献。
  • 通过对这些带符号的贡献求和，重现了标准的费曼树定理开启的标量框积分。结果与已知的有限有理单圈全正振幅相符。

• $g^6$ 阶（两圈）：

  • 识别出的固定阶扇区包括八边形 $\{8\}$、六边形-四边形乘积 $\{6, 4\}$、两个五边形乘积 $\{5, 5\}$ 以及三个四边形乘积 $\{{4, 4, 4}\}$。
  • 扇区分析：
    • $\{8\}$ 扇区（一个八边形，两个真空对）生成对平面双框（planar double-box）和交叉双框（crossed double-box）族的贡献。
    • $\{6, 4\}$ 扇区（一个六边形，一个四边形，三个真空对）对七传播子双框族和六传播子领结（bow-tie）族均产生贡献。
    • $\{5, 5\}$ 扇区（两个五边形，三个真空对）对平面双框族做出贡献。
    • $\{4, 4, 4\}$ 扇区（三个四边形，四个真空对）分裂为对双框族和领结族的贡献。
  • 消失的构型： 作者明确展示了在维数正则化下，导致软边界（soft boundaries）、无标度的共线边界（collinear boundaries）或孤立的全正树因子的构型会消失。
  • 重现标准结果： 通过对这些扇区的带符号相空间积分求和，该构造重现了已知的平面、非平面以及领结形式的两圈全正振幅。从真空对状态和中导出的分子与文献中发现的标准双框 ($N_{DB}$) 和领结 ($N_{BT}$) 分子相匹配。

意义与主张
本文声称，可以仅使用在壳树振幅和真空对插入，系统地构造固定阶摄动振幅，而无需调用离壳传播子或规范固定作为中间构建块。

• 范围： 作者强调，粒子谱、三点耦合和颜色结构是输入，而非由该方法导出。其贡献在于展示了如何通过在壳数据生成更高圈的振幅。
• 验证： 该方法通过能够重现已知的单圈和两圈全正四胶子振幅（包括特定的有理数分子和正确的分母族：平面、非平面及领结）得到了验证。
• 框架： 这项工作扩展了先前文献（引用为 [15–18]）提出的思想，提供了首次明确的两圈分析。它建立了一个使用多边形进行固定阶簿记的系统，用以组织真空对插入和相空间积分的组合数学。

论文总结道，这种构造为规范理论振幅提供了一种可行的替代组织方式，即通过对真空对相空间上的带符号在壳树乘积求和，有效地绕过了需要非物理离壳中间态的情况。