[论文解读] TVID: Three-loop Vacuum Integrals from Dispersion relations

Stefan Bauberger, A. Freitas|arXiv (Cornell University)|Feb 9, 2017

Particle Accelerators and Free-Electron Lasers参考文献 4被引用 15

一句话总结

TVID 是一个用于使用色散关系计算具有任意质量的通用三圈真空费曼积分的数值软件包。它在 Mathematica 中代数分离发散部分与有限部分，并使用 C 语言以 30 位精度对有限余项积分进行数值计算，从而在复杂质量配置下实现了高精度与高性能。

ABSTRACT

TVID is a program for the numerical evaluation of general three-loop vacuum integrals with arbitrary masses. It consists of two parts. An algebraic module, implemented in Mathematica, performs the separation of the divergent pieces of the master integrals and identifies special cases. The numerical module, implemented in C, carries out the numerical integration of the finite pieces. In this note, the structure of the program is explained and a few usage examples are given.

研究动机与目标

• 提供一个稳健、公开可用的工具，用于数值计算具有任意质量配置的三圈真空积分。
• 实现一种基于色散关系的方法，以分离主积分的发散部分与有限部分。
• 通过 30 位浮点算术确保有限余项函数的高精度数值评估。
• 支持量子场论中需要三圈自能与真空图、具有多个质量尺度的应用。
• 实现对解析解无法覆盖的积分的精确计算，特别是针对完全通用的质量配置。

提出的方法

• 使用色散关系将三圈真空积分分解为发散部分与有限余项部分。
• 在 Mathematica 中使用代数模块识别并分离发散项，并将主积分映射到有限余项函数。
• 对有限部分的数值积分应用 Quadpack 中的 Gauss-Kronrod 积分例程 QAG（已移植至 C++）。
• 利用 doubledouble C++ 库实现在数值评估中达到 30 位浮点精度。
• 采用两部分架构：使用 Mathematica 进行符号运算，使用 C 实现高性能数值积分。
• 通过专用的有限余项函数支持 $U_4$、$U_5$ 和 $U_6$ 主积分的对称性约化与特殊情况处理。

实验结果

研究问题

• RQ1 当解析解不可用时，如何对具有任意质量的三圈真空积分进行数值评估？
• RQ2 使用色散关系时，分离三圈真空振幅的发散部分与有限部分的最有效方法是什么？
• RQ3 能否以足够快的速度与精度实现有限余项函数的高精度数值评估，以满足实际量子场论应用的需求？
• RQ4 该方法在质量种类数量增加时，性能如何扩展？
• RQ5 与一维和两维质量尺度情况下的已知解析基准相比，数值结果的精度如何？

主要发现

• 对于具有一到两个独立质量尺度的积分，TVID 与现有解析结果的匹配精度达到至少十位有效数字。
• 与微分方程结果相比，该方法在最大质量尺度复杂度的积分中也表现出相当的精度（至少十位有效数字）。
• 在单个 Intel Xeon 核心上，$U_{4, m sub}$ 的评估时间约为 0.1 秒，$U_{5, m sub,0}$ 少于 0.01 秒，$U_{6, m sub}$ 为 20 至 30 秒。
• 利用 doubledouble 算术库，成功以 30 位精度计算了有限余项函数 $U_{4, m sub}$、$U_{5, m sub,0}$ 和 $U_{6, m sub}$。
• 该程序正确处理了主积分的对称性，包括 $U_4$、$U_5$ 和 $U_6$ 中的排列与对偶性。
• 该软件公开可用且模块化，包含独立的代数与数值组件，可轻松集成到更大的计算工作流中。