[论文解读] Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals

Jakob Ablinger, S. Blümlein+2 more|DESY (CERN, DESY, Fermilab, IHEP, and SLAC)|Oct 5, 2012

Polynomial and algebraic computation参考文献 34被引用 21

一句话总结

本论文提出了一套先进的计算机代数算法，用于在 $4+\varepsilon$ 维度下计算具有一个质量及局部算符插入的两点费曼积分的洛朗级数展开。通过结合改进的多变量 Almkvist–Zeilberger 算法处理多重积分，以及基于可微分域理论的全息差分域框架处理多重求和，该方法推导出在 Mellin 变量 $n$ 上的递推关系，从而以嵌套求和与乘积的紧凑、代数无关形式表示 $\varepsilon$-展开中所有系数的代数表达式。

ABSTRACT

Two-point Feynman parameter integrals, with at most one mass and containing local operator insertions in $4+\ep$-dimensional Minkowski space, can be transformed to multi-integrals or multi-sums over hyperexponential and/or hypergeometric functions depending on a discrete parameter $n$. Given such a specific representation, we utilize an enhanced version of the multivariate Almkvist--Zeilberger algorithm (for multi-integrals) and a common summation framework of the holonomic and difference field approach (for multi-sums) to calculate recurrence relations in $n$. Finally, solving the recurrence we can decide efficiently if the first coefficients of the Laurent series expansion of a given Feynman integral can be expressed in terms of indefinite nested sums and products; if yes, the all $n$ solution is returned in compact representations, i.e., no algebraic relations exist among the occurring sums and products.

研究动机与目标

• 开发用于在 $4+\varepsilon$ 维度下对具有质量的两点费曼积分进行洛朗级数展开的自动化符号计算方法。
• 解决涉及超几何与超指数函数的多重求和与多重积分的简化问题，以获得紧凑的表示形式。
• 实现费曼积分中局部算符插入的 $\varepsilon$-展开所有系数的系统性计算。
• 通过差分域理论确保输出结果形式紧凑，且求和与乘积之间无代数关系。
• 为量子场论中的高圈图计算提供一个完全自动化的计算流水线。

提出的方法

• 该方法将费曼参数积分转化为依赖于离散 Mellin 参数 $n$ 的多重积分或多重求和，涉及超指数与超几何函数。
• 应用改进的多变量 Almkvist–Zeilberger 算法，为多重积分推导出关于 $n$ 的递推关系。
• 采用基于全息函数与差分域理论的通用求和框架，计算多重求和的递推关系。
• 求解递推关系，生成 $\varepsilon$ 的完整洛朗级数展开，其中系数以不定嵌套求和与乘积形式表达。
• 通过差分域理论消除求和与乘积之间的代数关系，确保输出结果的紧凑性。
• 使用自定义的 Mathematica 工具包（包括 MultiIntegrate、Rho、Sigma、HarmonicSums 和 EvaluateMultiSum）实现算法的完全自动化。

实验结果

研究问题

• RQ1 能否高效地为具有局部算符插入的费曼积分所导出的多重积分与多重求和的 $\varepsilon$-展开推导出递推关系？
• RQ2 能否以紧凑且代数无关的嵌套求和与乘积形式表达 $\varepsilon$-展开洛朗级数的系数？
• RQ3 如何将多变量 Almkvist–Zeilberger 算法扩展以处理含有参数 $n$ 和 $\varepsilon$ 的多重积分？
• RQ4 该方法在处理具有多个嵌套求和与乘积的高圈图时，其计算效率与可扩展性如何？
• RQ5 该方法能否实现完全自动化，并集成到符号计算系统中，以支持实际的高圈计算？

主要发现

• 该方法成功实现了费曼积分 $\varepsilon$-展开的高阶计算，其系数以紧凑且代数无关的嵌套求和与乘积形式表达。
• 该算法能够处理嵌套深度达 7 的复杂多重求和，如在包含一个重费米子线与一个无质量费米子线的三圈图计算中所展示。
• 针对特定三圈图，$\varepsilon$-展开的常数项被计算为 $n$ 的有理函数，与调和求和 $S_1(n)$、$S_2(n)$、$S_3(n)$、$S_{-2}(n)$、$S_{-3}(n)$、$S_{2,1}(n)$、$S_{-2,1}(n)$ 以及 $\zeta_2$ 的组合。
• 通过差分域理论保证了最终表示中求和与乘积之间不存在代数关系。
• 在 Mathematica 工具包（如 Sigma、HarmonicSums 和 EvaluateMultiSum）中的实现，使得复杂积分的 $\varepsilon$-展开能够实现完全自动化计算。
• 该方法允许利用已知的函数关系，将 Mellin 空间的结果解析延拓至复数 $n$。