[论文解读] Some methods for the evaluation of complicated Feynman integrals

A. V. Kotikov|ArXiv.org|Dec 28, 2001

Advanced Mathematical Identities参考文献 3被引用 3

一句话总结

本文提出了先进的解析技术——勒让德多项式与微分方程方法，用于在量子场论中计算复杂的两圈费曼积分，特别针对无质量和有质量传播子图。在 $\phi^4$-理论中，该方法实现了 $\mathcal{O}(1/N^3)$ 阶的临界指数高精度结果，包括在 $\varepsilon$-维正规化下的显式洛朗级数展开，其中涉及黎曼 zeta 函数、多 polylogarithm 函数和反三角正弦积分，并通过 PSLQ 和帕德近似方法进行了数值验证。

ABSTRACT

We discuss a progress in calculations of Feynman integrals based on the Gegenbauer Polynomial Technique and the Differential Equation Method. We demonstrate the results for a class of two-point two-loop diagrams and the evaluation of most complicated part of O(1/N^3) contributions to critical exponents of ϕ^4-theory. An illustration of the results obtained with help of above methods is considered.

研究动机与目标

• 开发并应用解析方法，以评估量子场论中高度非平凡的两圈费曼积分。
• 计算 $\mathcal{O}(1/N^3)$ 修正中 $\phi^4$-理论临界指数最复杂部分。
• 为具有无质量和有质量传播子的两圈和三圈图提供 $\varepsilon$-维正规化下的精确洛朗展开。
• 通过泰勒展开和主积分对比，利用 PSLQ 和帕德近似方法对结果进行数值验证。
• 建立结果与三圈图中出现的超越常数之间的联系，特别是六次单位根处的结构。

提出的方法

• 采用勒让德多项式（GP）技术，在 $D$-维动量空间中利用超球坐标下的正交多项式展开传播子。
• 使用无迹张量积形式，将张量结构表示为勒让德多项式与 $x^2$-相关因子的组合。
• 应用微分方程方法，推导主积分的耦合常微分方程组，通过 $\varepsilon$ 的级数展开求解。
• 利用梅林-巴恩斯表示和解析延拓，提取 $\varepsilon$ 的洛朗级数中的系数。
• 通过泰勒级数展开和帕德近似方法进行数值检验，以验证解析结果。
• 应用 PSLQ 算法识别数值结果中出现的超越常数组合（如 zeta 值、polylogarithm 函数、反三角正弦积分）。

实验结果

研究问题

• RQ1 勒让德多项式方法如何系统地应用于具有无质量和有质量传播子的两圈两线图？
• RQ2 $\phi^4$-理论中 $\mathcal{O}(1/N^3)$ 修正对临界指数的结构是什么？如何实现其解析计算？
• RQ3 勒让德多项式方法与微分方程方法在复杂图中的精度和收敛性方面有何比较？
• RQ4 哪些超越常数（如 $\zeta(2), \zeta(3), \text{Ls}_3(2\pi/3)$）出现在两圈积分的洛朗展开中？
• RQ5 对积分的数值计算是否能确认涉及六次单位根处 polylogarithm 的解析结构？

主要发现

• 主积分 $\mathbf{V}\{\mathcal{IJKL}\}(1,1,1,1,m)$ 的结果为 $\frac{1}{2\varepsilon^2} + \frac{1}{\varepsilon}\left(\frac{5}{2} - \frac{\pi}{\sqrt{3}}\right) + \frac{19}{2} + \frac{b_1}{2}\zeta(2) - 4\frac{\pi}{\sqrt{3}} - \frac{63}{4}S_2 + \cdots + \mathcal{O}(\varepsilon^2)$，其中 $b_1 = -1$。
• 积分 $\mathbf{J}_{111}(1,1,1,m)$ 的结果为 $-m^2\left(\frac{3}{2\varepsilon^2} + \frac{17}{4\varepsilon} + \frac{59}{8} + \cdots\right) + \mathcal{O}(\varepsilon^3)$，系数为 $b_2 = -6$，$b_3 = 9/2$，$b_4 = 4$，$b_5 = 9$。
• 积分 $\mathbf{J}_{011}(1,1,2,m)$ 的结果为 $\frac{1-4\varepsilon}{2(1-2\varepsilon)(1-3\varepsilon)}\left(\frac{1}{\varepsilon^2} + 2\frac{\pi}{\sqrt{3}} - \frac{2}{3}\zeta(2) + \cdots\right) + \mathcal{O}(\varepsilon^2)$。
• 积分 $\mathbf{J}_{011}(1,1,1,m)$ 的结果为 $-\frac{m^2}{2}\frac{4-15\varepsilon}{(1-2\varepsilon)(1-3\varepsilon)(2-3\varepsilon)}\left(\frac{1}{\varepsilon^2} + \frac{3}{2}\frac{\pi}{\sqrt{3}} + \cdots\right) + \mathcal{O}(\varepsilon^3)$，其中 $b_1 = 3$，$b_2 = 8$，$b_3 = -3/2$，$b_4 = 0$，$b_5 = 21$。
• 积分 $\mathbf{ONS11}(1,1,m)$ 的结果为 $\frac{1}{1-2\varepsilon}\left(\frac{1}{\varepsilon} - \frac{\pi}{\sqrt{3}} + \varepsilon\left(\frac{\pi}{\sqrt{3}}\ln 3 - 9S_2\right) + \cdots\right) + \mathcal{O}(\varepsilon^3)$。
• 数值检验确认了分析结果，PSLQ 算法识别出 $\zeta(2), \zeta(3), \text{Ls}_3(2\pi/3)$ 和 $\text{Li}_3(e^{2\pi i/3})$ 类型常数的组合，与三圈图中的超越结构一致。