Maximal cuts and differential equations for Feynman integrals. An application to the three-loop massive banana graph
Amedeo Primo, Lorenzo Tancredi
TL;DR
This work addresses the challenge of computing master integrals for the irreducible three-loop massive banana graph, whose master equations form a 3×3 coupled system with a third-order homogeneous equation in $d=2$ and four regular singular points. The authors show that all independent homogeneous solutions can be obtained from the maximal cut by integrating over three independent contours that avoid branch cuts, yielding three solutions that can be written as products of complete elliptic integrals with arguments tied to a carefully chosen parametrization. They reveal that the third-order equation is a symmetric square of a second-order equation, linking the banana graph solutions to Joyce’s Heun functions and ultimately to elliptic integrals, and they construct the inhomogeneous solution via variation of constants with boundary conditions fixed by regularity at pseudo-thresholds. The results provide explicit, real-valued integral representations in each kinematic region and a framework for extending maximal-cut methods to higher-order systems, offering analytic control beyond polylogarithmic functions for multiloop Feynman integrals.
Abstract
We consider the calculation of the master integrals of the three-loop massive banana graph. In the case of equal internal masses, the graph is reduced to three master integrals which satisfy an irreducible system of three coupled linear differential equations. The solution of the system requires finding a $3 \times 3$ matrix of homogeneous solutions. We show how the maximal cut can be used to determine all entries of this matrix in terms of products of elliptic integrals of first and second kind of suitable arguments. All independent solutions are found by performing the integration which defines the maximal cut on different contours. Once the homogeneous solution is known, the inhomogeneous solution can be obtained by use of Euler's variation of constants.
