[论文解读] Symmetries of Feynman integrals and the Integration By Parts method

Barak Kol|arXiv (Cornell University)|Jul 6, 2015

Black Holes and Theoretical Physics参考文献 22被引用 8

一句话总结

本文提出了一种基于李群理论的费曼积分中分部积分（IBP）的框架，表明IBP关系生成一个作用于参数空间的李群 $ G $，并将其纤维化为轨道。该方法将一般费曼积分约化为沿 $ G $-轨道的线积分与单一定点的求值，以两圈真空图为例进行了具体演示。

ABSTRACT

Integration By Parts (IBP) is an important method for computing Feynman integrals. This work describes a formulation of the theory involving a set of differential equations in parameter space, and especially the definition and study of an associated Lie group G. The group acts on parameter space and foliates it into G-orbits. The differential equations essentially provide the gradient of the integral within the orbit in terms of integrals associated with degenerate diagrams. In this way the computation of a Feynman integral at a general point in parameter space is reduced to the evaluation of the Feynman integral at some freely chosen base point on the same orbit, together with a line integral inside the G-orbit and the degenerate integrals along the path. This paper restricts to vacuum diagrams and integrals without numerators, but the method is expected to generalize. The method is demonstrated by application to the two-loop vacuum diagram. A relation between the reducibility of a diagram though IBP and the reducibility of the associated electric circuit though the Y-Delta transform is speculated.

研究动机与目标

• 阐明量子场论中分部积分（IBP）方法的理论基础，特别是其适用范围与局限性。
• 确定IBP能将费曼积分完全约化为伽马函数等较简单函数的条件。
• 将关注点从主积分计数转向通过作用于参数空间的李群 $ G $ 分析IBP的对称性结构。
• 提供一种系统化方法，利用IBP关系导出的微分方程计算一般费曼积分。
• 探讨IBP可约性与通过 $ Y-\triangle $ 变换实现的电路可约性之间是否存在潜在对应关系。

提出的方法

• 为图 $ \Gamma $ 的费曼积分构造一个生成函数 $ I_{\text{\Gamma}}(x,n) $，以质量平方参数 $ x_i $ 和指标 $ n_i $ 参数化。
• 从 $ x $-空间中无分子的IBP关系导出一组线性一阶偏微分方程（PDEs），编码积分在 $ G $-轨道内的梯度信息。
• 定义一个李群 $ G $，由IBP李代数生成，其作用于 $ x $-空间，并将其纤维化为共轭维数恒定的 $ G $-轨道。
• 将任意点 $ x $ 处 $ I(x) $ 的计算约化为在同轨道上某基点 $ x_0 $ 处的 $ I(x_0) $ 求值，加上沿轨道的线积分。
• 利用不含常数的子群 $ G_2 \subset G $（如 $ SL(2,\mathbb{R}) $）通过Baikov多项式 $ P $ 的等值集定义轨道，该多项式控制齐次解。
• 将该方法应用于具有三个传播子的两圈真空图，其中 $ G = GL(2,\mathbb{R}) $，并证明积分可约化为单一定点求值与一条线积分。

实验结果

研究问题

• RQ1 IBP方法背后的内在几何与代数结构是什么？它如何决定该方法的适用范围？
• RQ2 在何种条件下，费曼积分可通过IBP完全约化为 $ \Gamma $-函数？这与图的拓扑结构有何关联？
• RQ3 是否存在IBP可约性与通过 $ Y-\triangle $ 变换实现的关联电路可约性之间的对应关系？
• RQ4 如何将IBP方法系统地表述为参数空间中的一组微分方程？关联李群 $ G $ 的作用是什么？
• RQ5 能否用更基本的不变量（如 $ G $-轨道的余维数）替代主积分数量，以表征图的复杂性？

主要发现

• IBP方法生成一个作用于参数空间 $ x $ 的李群 $ G $，且 $ G $ 的轨道定义了可通过线积分计算积分的区域。
• 一般费曼积分 $ I(x) $ 的计算被约化为在同 $ G $-轨道上某基点 $ x_0 $ 处的求值，以及沿轨道的线积分。
• 对于两圈真空图，群 $ G = GL(2,\mathbb{R}) $，轨道为三维，意味着初始数据曲面仅为一个自由选择的点 $ x_0 $。
• 该PDE系统齐次解与 $ P^{(d-3)/2} $ 成正比，其中 $ P = (x_1 + x_2 + x_3)^2 - 2(x_1^2 + x_2^2 + x_3^2) $ 为Baikov多项式。
• 该方法表明，两圈真空图的积分可完全由单一定点值 $ I(x_0) $ 与一条线积分确定，无需进行主积分计数。
• 本文推测，费曼积分可通过IBP约化为 $ \Gamma $-函数当且仅当其关联电路可通过 $ Y-\triangle $ 变换约化，非平面三圈图N为此类情况的反例。