[论文解读] GRACE at ONE-LOOP: Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks

G. Bélanger, F. Boudjema+5 more|ArXiv.org|Aug 7, 2003

Computational Physics and Python Applications参考文献 7被引用 76

一句话总结

本文提出 GRACE-loop，一个用于标准模型的全自动单圈计算系统，通过新颖的非线性规范固定条件确保规范参数无关性。该系统引入了高效的张量积分约化技术、全面的反项实现以及对多种二对二过程的严格检验，与现有结果高度一致，验证了该框架在精密电弱物理中的可靠性。

ABSTRACT

We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. The need for such gauges is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. We also briefly recount some recent development concerning the calculation of mutli-leg one-loop corrections.

研究动机与目标

• 开发一个用于电弱理论单圈计算的全自动系统，并具备稳健的内部一致性检验。
• 通过引入非线性规范固定条件，解决自动化单圈计算中的规范依赖性问题。
• 实现高效的高阶张量积分约化算法，以及四点函数以上的标量积分约化。
• 确保紫外和红外有限性，并通过广泛二对二散射过程的系统性测试验证结果。
• 提供从模型定义到事件生成的完整自动化流程，包括重整化和相空间积分。

提出的方法

• 使用通用的非线性规范固定条件，在自动化计算过程中作为内置的一致性检验，强制实现规范参数无关性。
• 采用系统化的重整化方法，包括所有顶点和传播子的显式反项，对波函数和质量修正进行详细处理。
• 应用先进的张量积分约化技术，特别是针对五点和六点函数，利用参数积分和对数项。
• 提出一种基于连接矩阵字典序比较的图生成算法，通过群对称性筛选避免重复费曼图。
• 实现所有相互作用顶点的反项库，以及处理鬼场和辅助场的系统化方法。
• 使用相空间积分和事件生成模块生成物理截面，并对软辐射和硬轫致辐射进行检验。

实验结果

研究问题

• RQ1 如何在确保规范参数无关性的前提下，实现标准模型单圈计算的完全自动化？
• RQ2 非线性规范固定条件在简化张量积分约化和验证结果方面发挥什么作用？
• RQ3 在自动化系统中，如何高效地将高阶张量积分（N > 4）约化为低阶标量积分？
• RQ4 自动化系统在多大程度上能以高精度重现关键电弱过程的已知单圈结果？
• RQ5 在全自动单圈框架中，如何处理红外发散和软辐射效应？

主要发现

• 非线性规范固定条件的实现提供了一种强大的内置一致性检验，可确认大规模自动化计算的正确性。
• 该系统成功地在广义非线性规范下约化了所有二点函数，并为所有顶点和传播子提供了完整的反项集合。
• 推导并验证了二点函数和反项的显式公式，涵盖多种过程，包括 $e^+e^- \to t\bar{t}$、$W^+W^-$ 和 $ZH$。
• 该代码在 $e^+e^- \to t\bar{t}$、$\gamma\gamma \to t\bar{t}$、$W^+W^- \to W^+W^-$ 等过程中与已知结果高度一致。
• 通过软轫致辐射因子和 $k_c$ 稳定性检验，确认了红外有限性，表明系统在共线和软发散存在下的鲁棒性。
• 该框架已扩展至 $e^+e^-$ 过程中的三体末态，展示了该自动化方法在二对二过程之外的可扩展性。