[论文解读] Non-planar Feynman integrals, Mellin-Barnes representations, multiple sums

J. Blümlein, Ievgen Dubovyk+5 more|arXiv (Cornell University)|Jul 29, 2014

Particle physics theoretical and experimental studies参考文献 33被引用 13

一句话总结

本论文介绍了 AMBRE v.3.0，即 AMBRE 软件包的新版本，用于自动生成至多两圈的非平面费曼图的梅林-巴恩斯（Mellin-Barnes, MB）表示。该方法结合 MB 积分表示与符号求和技术，利用 Sigma 和 HarmonicSums 等工具，将复杂的 MB 积分化为嵌套求和，进而系统地约化为迭代积分和特殊函数，从而实现量子场论中多圈标量与张量积分的解析求解。

ABSTRACT

The construction of Mellin-Barnes (MB) representations for non-planar Feynman diagrams and the summation of multiple series derived from general MB representations are discussed. A basic version of a new package AMBREv.3.0 is supplemented. The ultimate goal of this project is the automatic evaluation of MB representations for multiloop scalar and tensor Feynman integrals through infinite sums, preferably with analytic solutions. We shortly describe a strategy of further algebraic summation.

研究动机与目标

• 开发一种自动化方法，用于构建非平面多圈费曼图的梅林-巴恩斯表示。
• 实现将 MB 积分化为适合符号求和的嵌套无穷级数。
• 推进从 MB 表示中产生的多重求和的代数求和，以获得闭式解析解。
• 通过算法求和技术，支持在量子场论中对质量标量与张量费曼积分进行求值。

提出的方法

• 使用梅林-巴恩斯恒等式，将费曼参数积分转化为多维复围线积分。
• 应用全局方法（GA）与混合方法，生成非平面图的 MB 表示，包括利用 Cheng–Wu 定理处理广义狄拉克函数。
• 利用符号计算工具（如 Sigma）将 MB 积分化为嵌套无穷级数。
• 将所得求和约化为有理函数与代数函数的规范字母表上的迭代积分。
• 使用 HarmonicSums 包将结果简化为标准形式，如多重 polylogarithms 与经典 polylogarithms。
• 在无质量双盒图配置上验证该方法，通过系统约化为特殊函数，获得了解析结果。

实验结果

研究问题

• RQ1 能否使用自动化工具系统地通过梅林-巴恩斯积分表示非平面费曼图？
• RQ2 哪些符号求和技术可用于将 MB 衍生的多重求和约化为闭式表达式？
• RQ3 如何系统地从 MB 表示中的复杂嵌套求和生成并简化迭代积分？
• RQ4 AMBRE v.3.0 软件包在多大程度上实现了对至多两圈非平面图 MB 表示的自动化构建？
• RQ5 质量与非平面图的 MB 求和结果所处的函数空间具有何种结构？

主要发现

• AMBRE v.3.0 有效生成了非平面两圈图的梅林-巴恩斯表示，扩展了此前仅限于平面情况的版本能力。
• 该方法成功将一个无质量双盒图的二维 MB 积分化为一个可使用符号求和工具解析求解的双重级数。
• 所得级数被约化为包含代数奇点的规范形式迭代积分，最终以经典 polylogarithms 与 zeta 值表示。
• 变换过程实现了闭式解析结果：$\frac{y}{(1-y)^2}\left(4\zeta_3 + 2\zeta_2\ln y + \frac{\ln^3 y}{6} + 2\ln y\,\mathrm{Li}_2(y) - 4\mathrm{Li}_3(y)\right)$，证明了非平面情形的可行性。
• 该方法揭示，MB 求和结果的函数空间包含具有平方根与有理奇点的迭代积分，表明其结构远超标准 polylogarithms。
• 尽管完全自动化仍具挑战，但该框架展示了通过符号计算系统实现非平面多圈积分解析求解的可行路径。