No Arabic abstract
We introduce an algebro-geometrically motived integration-by-parts (IBP) reduction method for multi-loop and multi-scale Feynman integrals, using a framework for massively parallel computations in computer algebra. This framework combines the computer algebra system Singular with the workflow management system GPI-Space, which is being developed at the Fraunhofer Institute for Industrial Mathematics (ITWM). In our approach, the IBP relations are first trimmed by modern algebraic geometry tools and then solved by sparse linear algebra and our new interpolation methods. These steps are efficiently automatized and automatically parallelized by modeling the algorithm in GPI-Space using the language of Petri-nets. We demonstrate the potential of our method at the nontrivial example of reducing two-loop five-point nonplanar double-pentagon integrals. We also use GPI-Space to convert the basis of IBP reductions, and discuss the possible simplification of IBP coefficients in a uniformly transcendental basis.
Integration-by-parts identities between loop integrals arise from the vanishing integration of total derivatives in dimensional regularization. Generic choices of total derivatives in the Baikov or parametric representations lead to identities which involve dimension shifts. These dimension shifts can be avoided by imposing a certain constraint on the total derivatives. The solutions of this constraint turn out to be a specific type of syzygies which correspond to logarithmic vector fields along the Gram determinant formed of the independent external and loop momenta. We present an explicit generating set of solutions in Baikov representation, valid for any number of loops and external momenta, obtained from the Laplace expansion of the Gram determinant. We provide a rigorous mathematical proof that this set of solutions is complete. This proof relates the logarithmic vector fields in question to ideals of submaximal minors of the Gram matrix and makes use of classical resolutions of such ideals.
In this manuscript, which is to appear in the proceedings of the conference MathemAmplitude 2019 in Padova, Italy, we provide an overview of the module intersection method for the the integration-by-parts (IBP) reduction of multi-loop Feynman integrals. The module intersection method, based on computational algebraic geometry, is a highly efficient way of getting IBP relations without double propagator or with a bound on the highest propagator degree. In this manner, trimmed IBP systems which are much shorter than the traditional ones can be obtained. We apply the modern, Petri net based, workflow management system GPI-Space in combination with the computer algebra system Singular to solve the trimmed IBP system via interpolation and efficient parallelization. We show, in particular, how to use the new plugin feature of GPI-Space to manage a global state of the computation and to efficiently handle mutable data. Moreover, a Mathematica interface to generate IBPs with restricted propagator degree, which is based on module intersection, is presented in this review.
We present the powerful module-intersection integration-by-parts (IBP) method, suitable for multi-loop and multi-scale Feynman integral reduction. Utilizing modern computational algebraic geometry techniques, this new method successfully trims traditional IBP systems dramatically to much simpler integral-relation systems on unitarity cuts. We demonstrate the power of this method by explicitly carrying out the complete analytic reduction of two-loop five-point non-planar hexagon-box integrals, with degree-four numerators, to a basis of $73$ master integrals.
We provide a comprehensive summary of concepts from Calabi-Yau motives relevant to the computation of multi-loop Feynman integrals. From this we derive several consequences for multi-loop integrals in general, and we illustrate them on the example of multi-loop banana integrals. For example, we show how Griffiths transversality, known from the theory of variation of mixed Hodge structures, leads quite generically to a set of quadratic relations among maximal cut integrals associated to Calabi-Yau motives. These quadratic relations then naturally lead to a compact expression for $l$-loop banana integrals in $D=2$ dimensions in terms of an integral over a period of a Calabi-Yau $(l-1)$-fold. This new integral representation generalizes in a natural way the known representations for $lle 3$ involving logarithms with square root arguments and iterated integrals of Eisenstein series. In a second part, we show how the results obtained by some of the authors in earlier work can be extended to dimensional regularization. We present a method to obtain the differential equations for banana integrals with an arbitrary number of loops in dimensional regularization without the need to solve integration-by-parts relations. We also present a compact formula for the leading asymptotics of banana integrals with an arbitrary number of loops in the large momentum limit. This generalizes the novel $widehat{Gamma}$-class introduced by some of the authors to dimensional regularization and provides a convenient boundary condition to solve the differential equations for the banana integrals. As an application, we present for the first time numerical results for equal-mass banana integrals with up to four loops and up to second order in the dimensional regulator.
Feynman integrals obey linear relations governed by intersection numbers, which act as scalar products between vector spaces. We present a general algorithm for constructing multivariate intersection numbers relevant to Feynman integrals, and show for the first time how they can be used to solve the problem of integral reduction to a basis of master integrals by projections, and to directly derive functional equations fulfilled by the latter. We apply it to the derivation of contiguity relations for special functions admitting multi-fold integral representations, and to the decomposition of a few Feynman integrals at one- and two-loops, as first steps towards potential applications to generic multi-loop integrals.