IBP reduction via Gröbner bases in a rational double-shift algebra

Abstract

We report on an approach to integration-by-parts reduction based on Gröbner bases. We establish the underlying noncommutative rational double-shift algebra wherein the integration-by-parts relations form a left ideal. We describe in detail the one-loop massless box as an example where we achieved the full reduction to master integrals by means of the Gröbner basis approach, and report on the performance of the implementation. We also identify potential bottlenecks in more complicated examples and elaborate on interesting further directions.

11 pages, 2 figures, contribution to the proceedings of "Loops and Legs in Quantum Field Theory - LL2022, 25-30 April, 2022, Ettal, Germany''. v2: Minor revision, reference added

References in corpus (9)

• Algorithm FIRE -- Feynman Integral REduction
• FIRE5: a C++ implementation of Feynman Integral REduction
• FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs
• Presenting LiteRed: a tool for the Loop InTEgrals REDuction
• Duals of Feynman Integrals, 2: Generalized Unitarity
• Baikov representations, intersection theory, and canonical Feynman integrals
• Macaulay Matrix for Feynman Integrals: Linear Relations and Intersection Numbers
• S-bases as a tool to solve reduction problems for Feynman integrals
• Modern techniques of multiloop calculations