[论文解读] The Epsilon Expansion of Feynman Diagrams via Hypergeometric Functions and Differential Reduction

S.A. Yost, V. V. Bytev+3 more|arXiv (Cornell University)|Oct 2, 2011

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

一句话总结

本文提出了一种微分约化方法，用于计算霍恩型超几何函数的全阶ε展开，这类函数在量子场论中对表示多圈费曼图至关重要。通过将超几何微分方程转化为三角系统并应用有理参数化，作者推导出ε展开系数的显式表达式，以戈奇诺夫多 polylogarithms 表示，尤其针对具有有理参数的阿佩利 F3 和广义超几何函数，从而实现对大型强子对撞机（LHC）及更高能物理过程的数值稳定计算。

ABSTRACT

Higher-order diagrams required for radiative corrections to mixed electroweak and QCD processes at the LHC and anticipated future colliders will require numerically stable representations of the associated Feynman diagrams. The hypergeometric representation supplies an analytic framework that is useful for deriving such stable representations. We discuss the reduction of Feynman diagrams to master integrals, and compare integration-by-parts methods to differential reduction of hypergeometric functions. We describe the problem of constructing higher-order terms in the epsilon expansion, and characterize the functions generated in such expansions.

研究动机与目标

• 开发一种系统方法，用于计算在高阶辐射修正中出现的多变量超几何函数的全阶ε展开。
• 通过引入微分约化框架，解决现有算法的局限性，特别是处理非零平衡有理参数和高权项的问题。
• 利用超几何函数提供费曼图振幅的可靠且紧凑的解析表示，避免积分-部分（IBP）约化的复杂性。
• 通过解决早期预测中的矛盾，验证并扩展关于ε展开的先前结果，特别是涉及经典多 polylogarithms 和多重和的情况。
• 建立 Appell F3 和广义超几何函数的ε展开可表示为戈奇诺夫多 polylogarithms 的条件，确保数学一致性与计算可行性。

提出的方法

• 通过变量变换将霍恩型超几何函数的微分方程转化为一个ODE的三角系统，应用微分约化方法。
• 利用微分方程的 Pfaffian 形式，将系统表示为有理函数矩阵，从而实现ε展开系数的系统性积分。
• 通过单值性结构和有理指数，引入解空间的有理参数化，使用函数 h1(x)、h2(y) 和 H(x,y)。
• 将系数函数 w_k(z) 重新表示为新变量 σ_k(z) 和 φ_k(z)，以解耦系统并简化积分过程。
• 利用已知的戈奇诺夫多 polylogarithms 和分圆调和和的结果，识别高权下ε展开的功能基底。
• 在特定情形（如阿佩利 F3 和具有有理参数的广义超几何函数）上验证该方法，确认当满足特定条件时，ε展开结果为戈奇诺夫多 polylogarithms。

实验结果

研究问题

• RQ1 在何种条件下，像 F3 这类多变量超几何函数的ε展开可表示为戈奇诺夫多 polylogarithms？
• RQ2 微分约化方法如何克服以往算法的局限性，例如基于积分-部分或零平衡假设的方法？
• RQ3 为何早期对具有有理参数的超几何函数在权为3时的ε展开预测失败，如何修正？
• RQ4 该微分约化方法能否推广至所有霍恩型超几何函数，包括具有非整数或有理参数的函数？
• RQ5 ε展开中的系数函数的确切结构是什么？它们与多重和及反二项式级数有何关联？

主要发现

• 微分约化方法成功计算了霍恩型超几何函数（包括阿佩利 F3 和广义超几何函数）的全阶ε展开，通过将其微分方程转化为可积的三角系统。
• 对于具有有理参数的阿佩利 F3，当参数满足特定条件（如 j=1,2 时 p_j r_j = 0）时，其ε展开可表示为戈奇诺夫多 polylogarithms。
• 该方法证实，公式 (1) 中的超几何函数在权为3时的ε展开产生参数为 (1−√y)/(1+√y) 的经典 polylogarithms，解决了与早期预测之间的不一致。
• 分析表明，当 I_j 为整数且 p1/q 为有理参数时，公式 (97) 和 (98) 中 F3 的ε展开产生戈奇诺夫多 polylogarithms，验证了此类情况下的功能基底。
• 当 p = -r 时，解空间的有理参数化是可能的，从而可使用代数函数 h1(x)、h2(y) 和 H(x,y) 作为展开的构建模块。
• 该方法提供了费曼图的紧凑且数值稳定的表示，相较于基于 IBP 的方法，在功能简洁性和计算效率方面表现更优。