[论文解读] A recursive approach to the reduction of tensor Feynman integrals

Theodoros Diakonidis, J. Fleischer+2 more|arXiv (Cornell University)|Feb 2, 2010

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

一句话总结

本文提出了一种针对最多六条外部腿、张量阶数 R ≤ n 的一环张量费曼积分的递归约化方案，采用 Dabydychev-Tarasov 形式将高阶张量表示为维度偏移下的标量积分。该方法通过将张量积分约化为标量一至四点函数的基组，实现了高效且数值稳定的计算，并通过与现有工具的数值基准对比，验证了其精度达到 8 位有效数字。

ABSTRACT

We describe a new, convenient, recursive tensor integral reduction scheme for one-loop $n$-point Feynman integrals. The reduction is based on the algebraic Davydychev-Tarasov formalism where the tensors are represented by scalars with shifted dimensions and indices, and then expressed by conventional scalars with generalized recurrence relations. The scheme is worked out explicitly for up to $n=6$ external legs and for tensor ranks $R\leq n$. The tensors are represented by scalar one- to four-point functions in $d$ dimensions. For the evaluation of them, the Fortran code for the tensor reductions has to be linked with a package like QCDloop or LoopTools/FF. Typical numerical results are presented.

研究动机与目标

• 开发一种系统化、递归的方法，用于多外腿过程中的高阶张量一环费曼积分约化。
• 将 Dabydychev-Tarasov 形式扩展为适用于 n ≤ 6 点函数、具有任意质量的实用化、算法化约化链。
• 确保数值稳定性，并与现有的标量积分包（如 QCDloop 和 LoopTools/FF）兼容。
• 提供基于 Fortran 的实现（Hexagon.F），支持最高阶数为 5 的无质量和有质量张量积分。

提出的方法

• 通过 Dabydychev-Tarasov 形式，将张量积分表示为 d+2ε 维度下的标量积分，其中张量结构通过偏移的指标编码。
• 从六点张量出发，推导出 n 点函数的递归关系，通过辅助向量 Qs 和 Cayley 衍射行列式的符号子式，逐步降低阶数和外腿数。
• 约化链将 n 点张量映射为 (n-1) 点张量和低阶 n 点张量，最终将所有分量表示为 d 维度下的标量一至四点函数。
• 使用广义递推关系将高维标量积分表示为标准标量积分，从而实现数值计算。
• 实现过程与外部标量积分包（如 QCDloop 和 LoopTools/FF）链接，用于计算最终的标量基函数。
• 该算法以递归三角形结构（图 1）组织，通过一系列代数恒等式系统性地约化张量阶数和外腿数。

实验结果

研究问题

• RQ1 如何高效约化最多六条外部粒子的多外腿过程中产生的高阶张量一环积分？
• RQ2 基于 Dabydychev-Tarasov 形式的递归代数约化方案能否实现数值稳定性和与现有标量积分库的兼容性？
• RQ3 该递归约化方法在无质量和有质量六点张量积分上的性能与精度如何？
• RQ4 与现有开源工具（如 Golem95 和 LoopTools/FF）相比，该递归方法在数值精度上表现如何？

主要发现

• 该递归约化方案成功将任意内部质量下六点函数的最高阶数为 5 的张量积分，约化为 d 维度下的标量一至四点函数。
• 对于无质量六点函数，Hexagon.F 包的结果与 Golem95 在所有测试张量分量上一致，精度达到至少 8 位有效数字。
• 在有质量情况下，对阶数为 5 的张量分量，结果与一个未发表的数值包进行验证，所有分量均保持一致，数值量级在 10^-9 至 10^-8 之间。
• 即使在复杂动量构型下，该方法仍保持数值稳定与高精度，如五条传播子有质量、一条无质量的六点有质量示例所示。
• 该实现具有模块化结构，可与标准标量积分包（如 QCDloop 和 LoopTools/FF）链接，适用于高精度量子场论计算的广泛场景。