Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userComplete integration-by-parts reductions of the non-planar hexagon-box via module intersections
120
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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.
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.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
