[论文解读] Methods for the Reduction of Three-Loop QCD Form Factors

Beat Toedtli|ArXiv.org|Mar 3, 2009

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

一句话总结

本文提出了一套先进的计算方法，用于在量子色动力学（QCD）中简化三圈夸克形式因子，采用逐次积分（integration-by-parts）恒等式、洛伦兹不变性以及通过 Solve 代码进行的符号计算。该方法成功实现了对复杂五 propagator 拓扑结构的约化，并给出了主积分的显式结果，包括在维度正规化下至五圈阶的若干不可约图的解析表达式。

ABSTRACT

In this thesis, we study the three-loop QCD form factors. After an introduction and a discussion of the physics motivation, we generate the quark form factor using Qgraf. We then show how to bring the Feynman integrals into a unique form by using various trivial symmetries such as shifts in loop momenta. We then try (and fail) to reduce it to master integrals using the Laporta algorithm. After a discussion of our implementation of the Laporta algorithm (called "Solve") we perform an extensive classification of all the integrals into irreducible, reducible and loop-by-loop integrable topologies. We devise methods to deal with each of these cases. We show that our reduction code fails to reduce only a small set of 11 topologies. We finally give some partial results, and in the appendix we collect some already known master integrals.

研究动机与目标

• 开发系统化的计算技术，将QCD中的三圈夸克形式因子约化为基本积分。
• 使用符号和算法方法，处理具有最多五个传播子的三圈费曼图的复杂性。
• 实现并扩展Solve代码，以处理逐次积分恒等式和拓扑对称性。
• 计算关键主积分的解析结果，包括具有非平面和不可约拓扑结构的积分。
• 通过减少理论不确定性，为大型强子对撞机（LHC）和国际线性对撞机（ILC）等高能物理实验提供精确计算支持。

提出的方法

• 利用逐次积分（IBP）和洛伦兹不变性恒等式，将所有三圈图约化为一组最小的主积分。
• 应用Laporta算法，通过符号计算系统地求解大规模IBP恒等式方程组。
• 使用Solve代码自动化约化过程，并通过MergeIds和RewriteIds等扩展提高效率。
• 实施对称性利用，以减少冗余拓扑，包括动量置换和非置换对称性。
• 应用张量约化和平行化技术，高效计算五传播子积分。
• 采用标准传播子形式和辅助拓扑结构，统一并简化约化框架。

实验结果

研究问题

• RQ1 如何利用符号化的逐次积分恒等式，系统地将三圈QCD形式因子约化为主积分？
• RQ2 在三圈图中处理大量拓扑和传播子时，哪些计算策略是有效的？
• RQ3 如何利用拓扑之间的对称性来降低计算复杂度？
• RQ4 三圈夸克形式因子中关键不可约主积分的解析结果是什么？
• RQ5 Solve代码如何被扩展和优化，以适用于量子场论中的高圈阶计算？

主要发现

• 本文首次给出了主积分 $ A_{9,1} $ 的解析结果，在维度正规化下有效至 $ \frac{1}{\tilde{\rho}^6} $，并显式给出了 $ \tilde{\rho} $-依赖极点和黎曼ζ函数项。
• 主积分 $ A_{7,3} $ 约化至 $ \frac{1}{\tilde{\rho}} $ 阶，结果包含 $ -\frac{\tilde{\rho}^2 \tilde{\rho}^3}{6} $、$ \tilde{\rho}^4 $ 项，其中涉及 $ \tilde{\rho}^2 \zeta_3 $ 和 $ \zeta_5 $。
• 积分 $ A_{6,1} $ 通过 $ f_{1,1} $ 和 $ g_{1,2\epsilon,1} $ 表示为迭代积分，支持逐圈计算。
• 对 $ A_{6,2} $ 和 $ A_{6,3} $ 的结果分别计算至 $ \epsilon^2 $ 和 $ \epsilon^3 $ 阶，显式系数包含 $ \zeta_3 $、$ \zeta_5 $ 和 $ \pi^6 $。
• $ t=5 $ 和 $ t=4 $ 拓扑结构通过标准函数 $ f $ 和 $ g $ 约化，其中 $ B_{5a} $ 和 $ A_{5,2} $ 分别表示为 $ f_{1,1}^2 f_{2\epsilon,1} $ 和 $ f_{1,1}^2 g_{\epsilon,\epsilon,1} $。
• 本文建立了一个完整的三圈形式因子约化框架，所有结果均与维度正规化和规范不变性一致。