[论文解读] Differential Reduction Algorithms for Hypergeometric Functions Applied to Feynman Diagram Calculation

V. V. Bytev, M.Yu. Kalmykov+3 more|ArXiv.org|Feb 9, 2009

Polynomial and algebraic computation参考文献 7被引用 17

一句话总结

本文提出了广义超几何函数 ${}_{p+1}F_p$ 的微分约化算法，用于计算量子场论中的费曼图。通过应用升阶和降阶微分算子来移动超几何参数，该方法将复杂函数约化为基函数及其导数，即使在 $z=1$ 等奇异点处也能通过 $\varepsilon$-展开和多重对数函数实现高效计算。关键贡献是为处理多圈图（特别是等质量情形）提供了一个系统性框架，利用迭代积分和解析延拓技术。

ABSTRACT

We describe the application of differential reduction algorithms for Feynman Diagram calculation. We illustrate the procedure in the context of generalized hypergeometric functions, and give an example for a type of q-loop bubble diagram.

研究动机与目标

• 开发一种系统方法，用于约化费曼图计算中出现的广义超几何函数 ${}_{p+1}F_p$。
• 解决在标准约化方法失效的奇异点（如 $z=1$）处评估这些函数的挑战。
• 利用解析延拓技术，实现多圈泡图的计算，特别是在单标度极限（$m^2 = M^2$）下。
• 提供一个框架，将结果表达为在整个区间 $0 \leq z \leq 1$ 内有效的多重对数函数和 $\varepsilon$-展开形式。

提出的方法

• 该方法使用微分算子 $U_{a_i}^\pm$ 和 $L_{b_j}^\pm$ 对上参数和下参数执行升阶与降阶操作。
• 它将任意移位后的超几何函数 ${}_{p+1}F_p(\vec{a}+\vec{m}; \vec{b}+\vec{n}; z)$ 表示为原函数至多 $p$ 阶导数的线性组合，其中系数为 $z$ 和参数的有理函数。
• 约化通过微分方程 $L(\vec{a},\vec{b})\left({}_{p+1}F_p\right) = 0$ 实现，其中 $\theta = z\frac{d}{dz}$，允许通过递归方式约化高阶 $\theta^k$ 项。
• 对于 $z=1$ 等奇异点，该方法使用超几何函数的 $\varepsilon$-展开，以多重对数函数（即有理函数的迭代积分）表示。
• 该方法利用已知的特定参数集的全阶 $\varepsilon$-展开定理，将结果表示为 $\varepsilon$ 的级数，其系数包含多重 polylogarithms。
• 通过代数方式处理变换 $z \to 1-z$，保持了多重对数函数的结构，从而在 $z=1$ 处实现平滑极限。

实验结果

研究问题

• RQ1 如何系统地将具有移位参数的广义超几何函数 ${}_{p+1}F_p$ 约化为原函数导数的基？
• RQ2 当自变量 $z$ 趋近于 1（约化算法的奇异点）时，微分约化的适当极限过程是什么？
• RQ3 ${}_{p+1}F_p$ 的 $\varepsilon$-展开能否用多重对数函数表示，以实现向 $z=1$ 的解析延拓？
• RQ4 当参数被整数移位时，微分约化算子的行为如何？所需 $\theta$-导数的最大阶数是多少？
• RQ5 ${}_{p+1}F_p$ 在 $z=1$ 处的 $\varepsilon$-展开结构是什么？如何高效计算物理图的该展开？

主要发现

• ${}_{p+1}F_p(\vec{a}+\vec{m}; \vec{b}+\vec{n}; z)$ 的微分约化可表示为原函数及其前 $p$ 阶导数的线性组合，系数为 $z$ 和参数的有理函数。
• 在 $z=0$ 处，约化产生 $\{1, \theta\ $ 作用于 ${}_{3}F_2$ 函数的基；在 $z=1$ 处，则需要 $\{1, \theta, \theta^2\}$ 作用于 ${}_{4}F_3$ 函数。
• 对于 $q$-圈泡图在 $x=0$ 和 $x=1$ 的情形，约化导出具有移位参数的特定超几何函数，证实了该方法在物理图中的适用性。
• ${}_{p}F_{p-1}$ 在 $z=1$ 处的 $\varepsilon$-展开可写为 $\varepsilon^j$ 的级数，其系数包含多重对数函数 ${\rm Li}_{\vec{s}}(\vec{\lambda_q}^{\vec{J}}, \lambda_q^k \xi)$，其中 $\xi$ 与 $z$ 代数相关。
• 变换 $z \to 1-z$ 保持了多重对数函数的结构，从而支持一致的解析延拓和在 $z=1$ 处的平滑极限。
• 该方法在当前物理应用中具有实用性，因为仅需 $\varepsilon$-展开的少数系数，且这些系数已在现有计算软件包中实现。