[论文解读] Automatizing the application of Mellin-Barnes representations for Feynman integrals

J. Gluza, Fernando Haas+2 more|ArXiv.org|Jul 24, 2007

Particle physics theoretical and experimental studies参考文献 17被引用 10

一句话总结

本文介绍了 AMBRE 工具包，这是一个用于在 $d=4-2\varepsilon$ 维度下自动生成费曼积分梅林-巴恩斯（MB）表示的 Mathematica 工具。该方法采用逐圈迭代法，从费曼参数积分推导出 MB 积分，从而实现系统性的 $\varepsilon$-展开；其主要贡献在于实现了对一 Loop QED 顶点函数的该过程自动化，结果以多 polylogarithms 和调和 polylogarithms 表示。

ABSTRACT

Feynman diagrams may be evaluated by Mellin-Barnes representations of their Feynman parameter integrals in d=4-2\eps dimensions. Recently, the Mathematica toolkit AMBRE has been developed for the automatic derivation of such representations with a loop-by-loop approach. We describe the package and exemplify its use with the \eps-expansion of the massive one-loop QED vertex function.

研究动机与目标

• 自动化推导多圈和多尺度费曼积分在维度正则化下的梅林-巴恩斯表示。
• 解决在高能物理精度计算中系统性计算费曼振幅 $\varepsilon$-展开的挑战。
• 提供一个计算工具，以减少量子场论计算中手动推导的复杂性。
• 通过符号积分和特殊函数，实现 QED 中一 Loop 顶点函数的计算。

提出的方法

• 该方法使用逐圈迭代过程，从费曼参数积分的 $L$ 圈积分标准参数形式推导出 MB 表示。
• 应用梅林-巴恩斯积分表示 $ \frac{1}{(A+B)^\nu} = \frac{B^{-\nu}}{2\pi i \Gamma(\nu)} \int d\sigma \, A^\sigma B^{-\sigma} \Gamma(-\sigma)\Gamma(\nu+\sigma) $，其中积分路径分隔 gamma 函数的极点。
• 该工具包从费曼图的拓扑结构构造函数 $U(x)$ 和 $F(x)$，利用由动量路由导出的矩阵 $M$ 和向量 $Q$ 与 $J$。
• 通过外部动量的对称组合处理分子中的张量结构，其中 $P_{1}(T)$ 表示收缩后的张量因子。
• 所得 MB 积分使用 MB 包进行 $\varepsilon$-展开，结果以调和 polylogarithms 和多重 zeta 值表示。
• 该方法在带质量的一 Loop QED 顶点函数上进行了验证，其中 $\varepsilon$-展开计算至 $\mathcal{O}(\varepsilon^3)$。

实验结果

研究问题

• RQ1 如何系统且自动地推导出一大类多圈图的费曼积分梅林-巴恩斯表示？
• RQ2 在 $d=4-2\varepsilon$ 维度下，使用逐圈方法生成 MB 表示的最有效算法是什么？
• RQ3 能否通过符号计算和特殊函数完全自动化一 Loop 顶点函数的 $\varepsilon$-展开？
• RQ4 AMBRE 的结果与带质量一 Loop QED 顶点函数的已知解析表达式相比如何？
• RQ5 调和 polylogarithms 和多重 zeta 值在这些振幅的 $\varepsilon$-展开中起什么作用？

主要发现

• AMBRE 工具包成功自动化了包括一 Loop 自能量和顶点函数在内的一类费曼积分的梅林-巴恩斯表示推导。
• 一 Loop QED 顶点函数的 $\varepsilon$-展开已计算至 $\mathcal{O}(\varepsilon^3)$，结果以调和 polylogarithms 和多重 zeta 值表示。
• 顶点函数的 $\varepsilon$-展开结果与已知结果一致，验证了该工具包的准确性。
• 该方法通过 $\Gamma(n+1+\varepsilon)/\Gamma(n+1)$ 的积分表示，实现了反二项式和的推导，从而促进系统性 $\varepsilon$-展开。
• 结果与微分方程法和逐次积分恒等式等其他方法一致，证实了 AMBRE 输出的可靠性。
• 该工具包通过与外部动量收缩，支持对分子中张量结构的计算，实现了张量型一 Loop 幅度的完全自动化。