[论文解读] Feynman Diagrams, Differential Reduction, and Hypergeometric Functions

M.Yu. Kalmykov, V. V. Bytev+3 more|arXiv (Cornell University)|Jan 29, 2009

Advanced Mathematical Identities参考文献 7被引用 8

一句话总结

本文提出，任何在维度调节下的费曼图均可通过梅林-巴恩斯积分和留数计算，表示为霍恩型多变量超几何函数的有限和。其主要贡献在于建立了一个将费曼图计算与超几何函数理论相联系的正式框架，从而可通过邻接关系和拉普普-丹尼列夫斯基解法，系统地实现微分约化与任意阶ε展开。

ABSTRACT

We will present some (formal) arguments that any Feynman diagram can be understood as a particular case of a Horn-type multivariable hypergeometric function. The advantages and disadvantages of this type of approach to the evaluation of Feynman diagrams is discussed.

研究动机与目标

• 建立一个将费曼图与多变量超几何函数相联系的正式数学框架。
• 证明任何经维度调节的费曼图均可表示为霍恩型超几何函数的有限和。
• 探讨微分邻接关系与约化算法在简化超几何表示中的实用性。
• 通过解析调节与ε展开，解决梅林-巴恩斯积分中奇点与收敛性问题。
• 通过与现有ε展开和约化技术结果的一致性，验证该方法的有效性。

提出的方法

• 采用费曼图的梅林-巴恩斯积分表示，以复变量的多重积分为基础。
• 应用留数计算，将梅林-巴恩斯积分转化为具有有理系数的超几何级数的有限和。
• 识别所得级数为霍恩型超几何函数，其特征为相邻项比值为有理数。
• 利用微分邻接关系与高木的约化算法，简化超几何函数系统。
• 采用拉普普-丹尼列夫斯基方法，构建基超几何函数的任意阶ε展开。
• 依赖维度调节同时处理紫外与红外奇点，确保物理可观测量的光滑极限。

实验结果

研究问题

• RQ1 是否每一个在维度调节下的费曼图均可形式化地表示为霍恩型超几何函数的有限和？
• RQ2 如何利用微分邻接关系将一组超几何函数约化为最小基集？
• RQ3 在何种条件下可保证由费曼图导出的超几何函数存在光滑的ε展开？
• RQ4 超几何表示在多大程度上可替代传统的约分技术（如分部积分法）？
• RQ5 梅林-巴恩斯积分中的奇点如何影响所得超几何级数的收敛性与解析结构？

主要发现

• 任何经维度调节的费曼图均可通过梅林-巴恩斯积分与留数计算，形式化地表示为霍恩型超几何函数的有限和。
• 该超几何函数系统满足一个封闭的微分方程组，可通过高木算法约化为最小基集。
• 可利用拉普普-丹尼列夫斯基解法构建基超几何函数的任意阶ε展开。
• 在特殊参数值下，ε展开的系数可表示为多重多对数函数，确保物理极限的明确定义。
• 该方法与现有结果一致：在已知的ε展开系数与计算机辅助约化结果上均取得一致。
• 超几何表示为费曼图计算提供了一个通用框架，适用于非壳态与多尺度图。