One-loop amplitudes for $t\bar{t}j$ and $t\bar{t}\gamma$ productions at the LHC through $\mathcal{O}(\epsilon^2)$

本文给出了在大型强子对撞机上产生$t\bar{t}j$和$t\bar{t}\gamma$的单圈量子色动力学螺旋度振幅的解析表达式，精度达到$\mathcal{O}(\epsilon^2)$，这些表达式以动量旋量变量中的有理系数五边形函数表示，旨在促进次次领头阶量子色动力学计算。

要点

想象大型强子对撞机（LHC）是世界上最强大的粒子粉碎机。当科学家将质子相互撞击时，他们试图重现早期宇宙的条件。他们寻找的最有趣的现象之一是“顶夸克”，这是一种极其沉重的粒子，堪称亚原子世界中的重量级冠军。

本文旨在创建一份高度详尽的数学“操作手册”，用于预测当这些顶夸克与其他粒子（特别是喷注——即一束较小的粒子流，或光子——即光粒子）一同产生时会发生什么。

以下是作者所做工作的简要说明，并辅以简单的类比：

1. 目标：构建更完善的蓝图

科学家希望精确预测这些碰撞发生的频率，以及粒子飞散时的具体形态。为此，他们使用一套称为量子色动力学（QCD）的规则。

• 问题所在：现有规则虽好，但大型强子对撞机的精度日益提高，旧规则已不够详尽。为了匹配大型强子对撞机的精度，科学家需要以极高的准确度（称为“次次领头阶”，即 NNLO）计算这些碰撞。
• 缺失的环节：要达到如此高的精度，必须将“单圈”计算（数学中特定层级的复杂度）推进到极高的精确度。这就像烘焙蛋糕：若想做出完美的蛋糕，就不能粗略地测量面粉，而必须精确到毫克。本文正是为顶夸克碰撞提供了这种毫克级的测量数据。

2. 方法：“五边形”工具箱

这些碰撞涉及的数学极其繁杂。若试图将完整方程写在纸上，其长度将超过整部《大英百科全书》。

• 类比：想象试图描述一座复杂的三维雕塑。你可以描述每一个原子，也可以利用一套标准的积木块来描述它。
• 解决方案：作者发明了一套名为“五边形函数”的标准积木块。他们不再每次都写出庞大而杂乱的方程，而是将结果表示为这些标准积木块的组合。
  • 这就像说：“这朵云的形状由 3 份‘蓬松’、2 份‘飘逸’和 1 份‘暗沉’组成。”
  • 通过使用这些积木块，数学表达变得更加简短、清晰且易于处理。

3. 过程：解开谜题

作者必须弄清楚这些“五边形函数”在不同条件下如何表现。

• 地图：他们绘制了粒子所有可能运动方式（称为“运动学”）的地图。
• 引擎：他们利用一种称为“微分方程”的方法，来推导函数如何随粒子运动而变化。
• 计算能力：这些方程过于复杂，人类无法手工求解。作者使用了强大的计算机和一种称为“有限域算术”的技术。
  • 类比：想象试图解开一个巨大的数独谜题。计算机并非写下每一个数字，而是检查这些数字在某个特定的、简化的“世界”（即有限域）中是否成立，从而找出规律。一旦找到规律，他们再将其翻译回真实而复杂的数学中。

4. 结果：新的参考指南

本文以两种主要形式呈现最终结果：

1. 解析表达式：用五边形函数的语言写成的“配方”。这使得其他科学家可以代入不同的数值并直接获得答案，而无需重新进行繁琐的数学计算。
2. 数值基准：他们在粒子碰撞“宇宙”中的特定点测试了该配方，以证明其有效性。他们将所得数值与其他现有工具进行了对比，以证实结果的正确性。

为何这很重要（根据论文所述）

作者指出，这项工作是为下一代大型强子对撞机实验所需的“双圈”计算（即更复杂、更高级的数学层级）构建的必要步骤。

• 隐喻：如果大型强子对撞机是一台拍摄宇宙的高清高速摄像机，那么本文提供的就是更清晰的镜头，以便看清细节。若无此“镜头”，图像将模糊不清，科学家可能会错过新物理的微妙迹象。

总结：作者创建了一套精简且高度精确的数学工具包，用于预测顶夸克在与喷注或光子一同产生时的行为。他们通过将复杂方程分解为可管理的“五边形”积木块，并利用先进的计算机技术求解由此产生的谜题来实现这一目标。该工具包对于未来大型强子对撞机上的超精密实验至关重要。

技术摘要

技术摘要：LHC 上 $t\bar{t}j$ 和 $t\bar{t}\gamma$ 产生的单圈振幅至 $O(\epsilon^2)$ 阶

问题陈述
目前，大型强子对撞机（LHC）上顶夸克对伴随喷注（$t\bar{t}j$）或光子（$t\bar{t}\gamma$）产生的理论预测仅能达到次领头阶（NLO）精度。然而，为了匹配当前及未来 LHC 运行中实验测量前所未有的精度，必须在量子色动力学（QCD）中提供次次领头阶（NNLO）的预测。实现 NNLO 精度需要计算 $2 \to 3$ 过程的双圈散射振幅。构建这些双圈硬函数的一个关键先决条件是，获得在维数正规化参数 $\epsilon$ 中展开至 $O(\epsilon^2)$ 的单圈振幅。虽然现有的自动化程序包可以计算单圈振幅的有限部分（$O(\epsilon^0)$），但它们无法提供 NNLO 计算中消除紫外（UV）和红外（IR）奇异性并提取有限余项所需的高阶 $\epsilon$ 项。本文通过提供 $pp \to t\bar{t}j$ 和 $pp \to t\bar{t}\gamma$ 过程的全色单圈螺旋度振幅的解析表达式（至 $O(\epsilon^2)$ 阶），填补了这一空白。

方法论
作者采用了一个结合有限域算术、张量分解和五边形函数方法的多阶段计算框架：

1. 't Hooft-Veltman (tHV) 方案中的螺旋度振幅构建：计算在 't Hooft-Veltman (tHV) 方案中进行。作者将部分振幅分解为独立的四维张量结构。顶夸克的有质量旋量使用参考方向定义，以便将有质量动量和旋量积表示为无质量动量和旋量积的形式。通过评估特定参考向量选择下的收缩部分振幅，并求解由此产生的线性方程组，提取螺旋度子振幅。
2. 有限域重构：为了管理中间表达式的代数复杂性，作者利用有限域方法。使用 QGRAF 生成费曼图，随后进行色分解。利用积分恒等式（IBP）（通过 NEATIBP 生成并通过 FINITEFLOW 求解）将所得的收缩部分振幅约化为一组最小主积分（MIs）。乘以主积分的有理系数是通过对有限域上的数值评估进行解析重构得到的。
3. 五边形函数基底：主积分以一组代数独立的分量（称为“五边形函数”）的基底形式表示。这些函数对应于主积分的 $\epsilon$ 展开分量。作者推导了这些函数的规范微分方程（DEs），其形式为 $d\log$。微分方程的字母表由 283 个独立字母组成，其中包括 29 个代数平方根。
4. 数值评估：使用广义幂级数展开法数值求解微分方程。作者利用了两个软件包：DIFFEXP（Mathematica）和新发布的 LINE（C/C++）。边界条件是通过 AMFLOW 包在特定相空间点评估主积分确定的，精度为 70 位有效数字。解被传播到任意物理相空间点。
5. 重整化与有限余项：裸振幅通过添加适当的抵消项进行质量重整化和完全紫外重整化。通过减去通用的红外奇异性（利用 $\overline{\text{MS}}$ 方案）提取有限余项。

主要贡献

• 解析表达式：本文提供了 $t\bar{t}j$ 和 $t\bar{t}\gamma$ 产生的全色单圈螺旋度振幅（展开至 $O(\epsilon^2)$ 阶）的首个解析表达式。
• 五边形函数基底：作者为这些过程构建了特定的五边形函数基底，将振幅表示为这些函数的线性组合，其有理系数以动量扭量变量书写。
• 微分方程：推导并数值求解了五边形函数的规范微分方程。作者在辅助文件中提供了微分方程、边界值和函数的置换规则。
• 软件实现：这项工作展示了 LINE 包在求解涉及平方根的微分方程中的应用，表明对于该特定方程组，其速度约为 DIFFEXP 的两倍。
• 基准结果：提供了所有相关部分子通道（$gg \to t\bar{t}g$, $q\bar{q} \to t\bar{t}g$, $gg \to t\bar{t}\gamma$, $q\bar{q} \to t\bar{t}\gamma$）的色和螺旋度求和后的平方矩阵元数值基准结果，并与 OPENLOOPS 在 $O(\epsilon^0)$ 阶进行了验证。

结果
作者成功计算了涉及顶夸克对和无质量粒子（胶子、光子、轻夸克）过程的螺旋度振幅。五边形函数有理系数的解析表达式被重构，通过单变量部分分式分解显著降低了分子次数。在特定物理相空间点对振幅的数值评估证实了结果与现有 NLO 工具的一致性。论文指出，虽然 $t\bar{t}j$ 和 $t\bar{t}\gamma$ 的有理系数共享一些结构相似性，但并未在原始振幅层面完全提取两个过程之间的关系。

意义与主张
作者指出，他们的结果对于构建 $t\bar{t}j$ 和 $t\bar{t}\gamma$ 产生的 NNLO QCD 计算所需的双圈硬函数至关重要。通过提供至 $O(\epsilon^2)$ 阶的振幅，他们使得紫外和红外发散的解析减法以及有限余项的提取成为可能，而这些对于仅限于 $O(\epsilon^0)$ 的工具来说是无法获得的。

论文声称，将振幅表示为五边形函数基底提供了一种紧凑的框架，简化了最终表达式并提高了数值效率。此外，作者将这项工作定位为未来双圈计算的垫脚石。他们指出，虽然 $t\bar{t}j$ 的领头色双圈振幅涉及椭圆结构，但此处构建的五边形函数基底（将多对数和非多对数贡献分离）可能为处理双圈计算中预期的更复杂函数空间（包括 $t\bar{t}\gamma$ 的计算）提供有用的策略。作者谦逊地总结道，虽然该基底促进了未来的工作，但双圈计算的全面实现仍然是未来研究的课题。