[论文解读] Top quark pairs at two loops and Reduze 2

Andreas von Manteuffel, C. Studerus|arXiv (Cornell University)|Oct 4, 2012

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

一句话总结

本文利用微分方程和先进的符号与乘积技术，对强子对撞机中胶子融合道顶夸克对产生过程的两圈轻费米子修正进行了解析计算，以简化多重 polylogarithm 函数。关键贡献是首次解析求解具有一个重 propagator 的非平面双盒拓扑结构，该工作通过 Reduze 2 实现，这是一个开源、分布式工具，用于自动化的圈积分约化，并采用新颖的拟阵（matroid）基移位关系检测方法。

ABSTRACT

We report on progress for the analytical calculation of the two-loop corrections to top quark pair production at hadron colliders. For the light fermionic corrections in the gluon channel, we discuss the analytical solution for the master integrals of a non-planar double box with a massive propagator. The result in terms of Goncharov's multiple polylogarithms is handled using systematic reductions based on the symbol map and the coproduct. We discuss new features of the computer program Reduze 2. It provides a fully distributed variant of Laporta's algorithm to reduce loop integrals. New graph matroid based algorithms allow to calculate shift relations between Feynman integrals in a fully automated way.

研究动机与目标

• 实现对强子对撞中顶夸克对产生过程的完整解析下一下一阶（NNLO）预测。
• 求解胶子融合道中具有一个重 propagator 的复杂非平面双盒拓扑结构的主积分。
• 开发并实现先进的符号技术——符号映射与乘积微积分——以简化多尺度振幅中出现的多重 polylogarithm 函数。
• 将 Reduze 程序扩展为 Reduze 2，支持分布式、自动化的积分约化，并引入基于图-拟阵的新算法，用于识别费曼积分中的动量移位对称性。

提出的方法

• 采用 ε 展开中的微分方程方法求解非平面双盒拓扑结构的主积分。
• 通过 Mellin-Barnes 表示和对称性、正则性及渐近行为的约束来固定积分常数。
• 利用符号映射和乘积微积分系统性地约简并简化 Goncharov 的多重 polylogarithm 函数（GPLs），将复杂度从约 10³ 个 GPLs 降低至最小基底。
• 实现了一种基于拟阵同构的新移位查找算法，用于检测传播子结构之间的动量移位对称性，即使图结构不互相同构亦可识别。
• 使用 Reduze 2 在多个核心上实现完全分布式、并行化的圈积分约化，支持复杂振幅的可扩展计算。
• 通过与数值工具 SecDec 和 Mellin-Barnes 展开的交叉验证，确保极点项和有限项的准确性。

实验结果

研究问题

• RQ1 如何在两圈阶对顶夸克对产生过程中，解析求解具有一个重 propagator 的最复杂非平面双盒拓扑结构的主积分？
• RQ2 何种系统性符号技术可简化多尺度振幅中 Goncharov 多重 polylogarithm 函数的复杂结构？
• RQ3 拟阵理论能否有效用于检测非同构图但具有等价传播子结构的费曼积分之间的非平凡移位对称性？
• RQ4 如何在分布式计算资源上实现高效、自动化的圈积分约化，以支持高多重性、高圈阶振幅的计算？
• RQ5 符号微积分与乘积微积分在多大程度上可实现对两圈振幅中有限项与奇点项的代数简化，超越主极点项？

主要发现

• 本文首次给出了胶子融合道中顶夸克对产生过程的轻费米子两圈修正的解析解，包括一个具有一个重 propagator 的非平面双盒结构。
• 解以 Goncharov 的多重 polylogarithm 函数表示，最多包含 1000 个四权重 GPLs，通过符号与乘积技术显著简化。
• 符号微积分将一个角积分的 1/ε 极点从 39 个三权重 GPLs 简化为单个经典 polylogarithm 函数：Li₃((y₁+z₁)/(y₁z₁))，其中 y₁=y+1, z₁=z+1, z=-u/m²。
• Reduze 2 通过模块化作业系统实现完全分布式、可扩展的圈积分约化，使 t̄t 产生应用中在最多 O(100) 个核心上获得显著加速。
• 新的基于拟阵的移位查找算法可在图不互相同构时，通过扭转变换后的拟阵同构性检测传播子集之间的非平凡动量移位对称性。
• 该方法成功识别并消除了积分约化中的歧义，揭示了仅靠标准积分分部（integration-by-parts）恒等式无法获得的约化关系。