费曼积分中多重平方根的合理化

Rationalisation of multiple square roots in Feynman integrals

摘要 Abstract

费曼积分通常通过其微分方程来计算。常常遇到的情况是,经过$\varepsilon$-因子化的微分方程仅包含具有代数参数的dlog形式,其中代数部分由(多重)平方根给出。众所周知,如果所有平方根可以同时被合理化,则费曼积分可以表示为多重多对数的形式。这是一个充分条件,但不是必要条件。本文研究了较弱的要求。我们讨论在何种条件下可以在计算的不同部分使用不同的合理化方法。特别是,我们证明了如果不同的合理化对应于同一条积分路径的不同参数化,则可以使用不同的合理化方法。我们给出了一个非平凡的例子——涉及七个平方根的一圈五边形函数,其中三个相邻的外部腿具有质量——展示了在这种技术下结果可以表示为多重多对数的形式。

Feynman integrals are very often computed from their differential equations. It is not uncommon that the $\varepsilon$-factorised differential equation contains only dlog-forms with algebraic arguments, where the algebraic part is given by (multiple) square roots. It is well-known that if all square roots are simultaneously rationalisable, the Feynman integrals can be expressed in terms of multiple polylogarithms. This is a sufficient, but not a necessary criterium. In this paper we investigate weaker requirements. We discuss under which conditions we may use different rationalisations in different parts of the calculation. In particular we show that we may use different rationalisations if they correspond to different parameterisations of the same integration path. We present a non-trivial example -- the one-loop pentagon function with three adjacent massive external legs involving seven square roots -- where this technique can be used to express the result in terms of multiple polylogarithms.