Two-loop QCD amplitudes for $t\bar{t}W$ production at the LHC in the leading-colour approximation

技术摘要：领先色近似下 LHC 中 $t\bar{t}W$ 产生的两圈 QCD 振幅

问题陈述
本研究致力于计算大型强子对撞机（LHC）中伴随 $W$ 玻色子产生顶-反顶夸克对（$t\bar{t}W$）的两圈量子色动力学（QCD）散射振幅。由于该过程具有独特的多元轻子特征、作为希格斯（Higgs）及四顶夸克产生过程的不可还原背景，以及实验测量值与标准模型预测之间持续存在的张力，该过程在现象学上至关重要。

该过程在次领头阶（NNLO）下的理论预测受到显著技术挑战的阻碍。该过程涉及 $2 \to 3$ 运动学构型，并包含多个独立质量标度（顶夸克质量 $m_t$ 和 $W$ 玻色子质量 $m_W$）以及有质量的内线。这些特征导致了：

1. 代数复杂度： 大量独立的运动学变量和复杂的有理系数。
2. 解析复杂度： 有质量内线的存在引入了高亏格几何结构（椭圆曲线）和嵌套平方根，这阻碍了使用针对无质量过程开发的标准解析方法。
   虽然针对相关过程（如 $t\bar{t}H$ 和 $t\bar{t}j$）已存在部分结果，但对于具有精确质量依赖性的 $t\bar{t}W$ 进行完全解析的两圈计算，利用现有技术仍难以实现。

方法论
作者采用了一种结合数值评估与严格代数及解析控制的混合计算策略，在避免对最终结果进行完全解析重构的同时，保留了对奇异性的精确处理。计算是在 't Hooft-Veltman (tHV) 方案中进行的，并使用常规维度正则化（CDR）方案进行了独立的交叉验证。

• 振幅分解与投影： 裸振幅被分解为 24 个洛伦兹张量结构的基组。通过物理投影算符，作者提取了标量形式因子。费曼图生成过程涉及 722 个图，在广义领先色近似（LCA）下减少至 210 个。
• 积分约化： 利用积分恒等式（IBP）关系，将标量圈积分约化为 330 个主积分（MIs）。为了处理极高的代数复杂度，该约化过程是在 FiniteFlow 框架下通过有限域进行数值化实现的。
• 特殊函数表示： 由于在规范形式下求解主积分（MIs）的微分方程（DEs）非常困难（受限于椭圆曲线），作者将 MIs 的 $\epsilon$ 展开表示为一组“特殊函数”。这些函数经过构造以满足特定条件，从而实现紫外（UV）和红外（IR）极点的精确抵消。
  • 大多数函数是代数独立的迭代积分。
  • 一小部分函数编码了最复杂的解析结构（椭圆曲线），通过 PSLQ 算法进行数值 $\mathbb{Q}$-线性无关性检查进行处理。
• 有理系数重构： 作者并未推导乘在这些特殊函数前的有理系数的解析表达式，而是逐点重构了它们的精确有理值。这是通过在有理化相空间点网格上对振幅进行有限域（$\mathbb{Z}_p$）求值，并应用中国剩余定理和 Wang 的有理重构算法来实现的。
• 数值评估： 通过利用幂级数展开（通过 AMFlow）数值求解其微分方程系统来评估特殊函数。作者采用了“副本方法”（replica method）来估计数值不确定性，从而确保在整个相空间内保持高精度。
• 交叉验证： 在 CDR 方案下进行了第二次独立的计算。该方法绕过了张量投影，在早期阶段固定了质量和维度正则化参数 $\epsilon$，并使用浮点运算求解块三角系统进行积分约化。

主要结果

• 有限余项： 作者成功计算了领先色近似下 $t\bar{t}W$ 过程的两圈有限余项，并保留了对 $m_t$ 和 $m_W$ 的精确依赖关系。
• 硬函数： 色彩与极化求和后的硬函数（$H^{(0)}$, $H^{(1)}$, $H^{(2)}$）在 224,640 个相空间点组成的网格上进行了评估。这些数值已在附件文件中提供，并在论文中进行了基准测试。
• 验证：
  • 验证了 UV 和 IR 极点的解析抵消，确认了其与奇异性的普适结构的一致性。
  • 将一圈结果与现有文献进行了交叉检查。
  • 将两圈结果与独立的 CDR 计算进行了交叉检查，两者在五个有效数字内达成一致。
• 效率： 与直接重构 MIs 的 $\epsilon$ 展开系数相比，该混合策略将用于有理重构的所需素数域数量减少了约 30%。

意义与主张
本文声称，这项工作提供了首个保留了质量粒子完整运动学依赖性的 $t\bar{t}W$ 精确两圈 QCD 振幅，而此前通过完全解析方法是无法实现的。

该工作的意义在于：

1. 实现 NNLO 预测： 计算出的硬函数已被用于获得 $t\bar{t}W$ 产生过程在 NNLO QCD 下的双虚拟贡献，如文中引用所示。
2. 方法论进步： 本研究证明了混合策略——即将有限域有理重构与特殊函数数值评估相结合——可以成功处理多标度、有质量的两圈振幅，而目前完全解析解对于此类问题仍是无法实现的。
3. 鲁棒性： 两种不同计算框架（基于特殊函数的 tHV 与基于浮点约化的 CDR）之间的一致性，为结果提供了严苛的验证。

作者得出结论，这种混合方法（结合改进的插值技术）为解决目前传统解析计算难以触及的一系列复杂散射过程提供了可行路径。