[论文解读] New results for loop integrals: AMBRE, CSectors, hexagon

J. Gluza, K. Kajda+2 more|arXiv (Cornell University)|Feb 27, 2009

Particle physics theoretical and experimental studies参考文献 21被引用 6

一句话总结

本文介绍了三个 Mathematica 工具包——AMBRE、CSectors 和 hexagon——用于在多个动量尺度下评估一阶和二阶费曼积分，这对大型强子对撞机（LHC）、国际线性对撞机（ILC）以及介子工厂的高精度计算至关重要。这些工具实现了五点和六点函数（六边形）的张量约化、Mellin-Barnes 表示（AMBRE），以及带分子处理的直接区域分解（CSectors），实现了高精度结果，并通过与解析和数值基准的对比得到验证。

ABSTRACT

We report on the three Mathematica packages hexagon, CSectors, AMBRE. They are useful for the evaluation of one- and two-loop Feynman integrals with a dependence on several kinematical scales. These integrals are typically needed for LHC and ILC applications, but also for higher order corrections at meson factories. hexagon is a new package for the tensor reduction of one-loop 5-point and 6-point functions with rank R=3 and R=4, respectively; AMBRE is a tool for derivations of Mellin-Barnes representations; CSectors is an interface for the package sector_decomposition and allows a convenient, direct evaluation of tensor Feynman integrals.

研究动机与目标

• 应对高能物理中对多尺度一阶和二阶费曼积分高效、精确评估的日益增长的需求，特别是针对 LHC、ILC 和介子工厂实验。
• 开发公开可用的工具，以处理包含质量粒子和无质量粒子的张量积分，包括高张量秩的复杂五点和六点函数。
• 通过与 sector_decomposition 的接口，实现对带分子结构的费曼积分的直接计算，克服现有工具的局限性。
• 为具有挑战性的积分（如 V6l4m1）提供稳健且经过数值验证的结果，确保 Mellin-Barnes 和区域分解等多种方法之间的一致性。
• 通过提供模块化、用户友好的张量约化与圈积分解析延拓工具包，促进量子场论中的高精度计算。

提出的方法

• 通过使用维度平移的递推关系，实现 hexagon 工具包对一阶五点（张量秩 R=4）和六点（张量秩 R=3）积分的张量约化，将其转化为标量三和四点积分。
• 利用 AMBRE 工具包生成 Mellin-Barnes 表示，将圈积分表示为多维复积分，从而实现 ε 的解析延拓。
• 开发 CSectors 作为与 sector_decomposition 的 Mathematica 接口，允许直接计算带分子结构的张量积分，并正确处理复杂的 U 和 F 函数。
• 应用费曼参数表示，将动量积分转换为参数积分，随后通过 Mellin-Barnes 变换实现动量不变量的解耦。
• 利用区域分解方法提取紫外和红外奇点，并通过与解析结果对比验证，数值计算有限部分。
• 在约化过程中实施一种策略，以消除显式的 Gram 行列式逆幂，从而确保数值稳定性和精度。

实验结果

研究问题

• RQ1 如何高效地将多尺度场论中高张量秩的五点和六点一阶圈积分约化为标量主积分？
• RQ2 对具有复杂分子结构的多尺度圈积分，最有效的 Mellin-Barnes 表示推导方法是什么？
• RQ3 如何改进区域分解方法以直接处理具有任意分子结构的张量积分，避免中间参数化带来的问题？
• RQ4 结合 MB 方法与区域分解方法，对二阶五点和六点积分可达到何种数值精度？与解析结果相比表现如何？
• RQ5 所提出的工具能否一致地重现已知的解析结果（如基准积分 V6l4m1）？其在 ε 展开中的收敛行为如何？

主要发现

• hexagon 工具包成功实现了对五点和六点一阶圈积分的张量约化，分别达到张量秩 4 和 3，使用维度平移的递推关系，实现了向标量积分的完全自动化约化。
• AMBRE 工具包为圈积分生成 Mellin-Barnes 表示，支持 ε 的解析延拓，使多动量尺度积分的计算成为可能。
• CSectors 提供了与 sector_decomposition 的直接接口，可计算带分子结构的张量积分，并正确处理复杂拓扑结构下的 U 和 F 函数。
• 对于基准积分 V6l4m1，CSectors 的数值结果为 −0.052210/ε −0.17004 + 0.24634ε + 4.8773ε² + O(ε³)，与解析结果 −0.0522082/ε −0.170013 + 0.246253ε + 4.87500ε² + O(ε³) 非常吻合。
• CSectors 与 FIESTA 的结果（−0.052208/ε −0.17002 + 0.24622ε + 4.8746ε² + O(ε³)）高度一致，证实了新工具在不同计算框架下的可靠性。
• AMBRE、CSectors 和 hexagon 的结合实现了对复杂圈积分的高精度、自动化计算，对 LHC、ILC 以及 B/Φ-工厂的高精度物理研究至关重要。