No Arabic abstract
New features of the Mathematica code FIRE are presented. In particular, it can be applied together with the recently developed code LiteRed by Lee in order to provide an integration by parts reduction to master integrals for quite complicated families of Feynman integrals. As as an example, we consider four-loop massless propagator integrals for which LiteRed provides reduction rules and FIRE assists to apply these rules. So, as a by-product one obtains a four-loop variant of the well-known three-loop computer code MINCER. We also describe various ways to find additional relations between master integrals for several families of Feynman integrals.
Scattering amplitudes computed at a fixed loop order, along with any other object computed in perturbative quantum field theory, can be expressed as a linear combination of a finite basis of loop integrals. To compute loop amplitudes in practice, such a basis of integrals must be determined. We discuss Azurite (A ZURich-bred method for finding master InTEgrals), a publicly available package for finding bases of loop integrals. We also discuss Cristal (Complete Reduction of IntegralS Through All Loops), a future package that produces the complete integration-by-parts reductions.
In this paper, we show that with the state-of-art module intersection IBP reduction method and our improved Leinartas algorithm, IBP relations for very complicated Feynman integrals can be solved and the analytic reduction coefficients can be dramatically simplified. We develop a large scale parallel implementation of our improved Leinartas algorithm, based on the textsc{Singular}/textsc{GPI-Space} framework. We demonstrate our method by the reduction of two-loop five-point Feynman integrals with degree-five numerators, with a simple and sparse IBP system. The analytic reduction result is then greatly simplified by our improved Leinartas algorithm to a usable form, with a compression ratio of two order of magnitudes. We further discover that the compression ratio increases with the complexity of the Feynman integrals.
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.
We show that dual conformal symmetry, mainly studied in planar $mathcal N = 4$ super-Yang-Mills theory, has interesting consequences for Feynman integrals in nonsupersymmetric theories such as QCD, including the nonplanar sector. A simple observation is that dual conformal transformations preserve unitarity cut conditions for any planar integrals, including those without dual conformal symmetry. Such transformations generate differential equations without raised propagator powers, often with the right hand side of the system proportional to the dimensional regularization parameter $epsilon$. A nontrivial subgroup of dual conformal transformations, which leaves all external momenta invariant, generates integration-by-parts relations without raised propagator powers, reproducing, in a simpler form, previous results from computational algebraic geometry for several examples with up to two loops and five legs. By opening up the two-loop three- and four-point nonplanar diagrams into planar ones, we find a nonplanar analog of dual conformal symmetry. As for the planar case this is used to generate integration-by-parts relations and differential equations. This implies that the symmetry is tied to the analytic properties of the nonplanar sector of the two-loop four-point amplitude of $mathcal N = 4$ super-Yang-Mills theory.
General one-loop integrals with arbitrary mass and kinematical parameters in $d$-dimensional space-time are studied. By using Bernstein theorem, a recursion relation is obtained which connects $(n+1)$-point to $n$-point functions. In solving this recursion relation, we have shown that one-loop integrals are expressed by a newly defined hypergeometric function, which is a special case of Aomoto-Gelfand hypergeometric functions. We have also obtained coefficients of power series expansion around 4-dimensional space-time for two-, three- and four-point functions. The numerical results are compared with LoopTools for the case of two- and three-point functions as examples.