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.

arXiv comment11 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 (30)

• Algorithm FIRE -- Feynman Integral REduction
• FIRE5: a C++ implementation of Feynman Integral REduction
• Kira - A Feynman Integral Reduction Program
• Reduze - Feynman Integral Reduction in C++
• FIRE6: Feynman Integral REduction with Modular Arithmetic
• Integral Reduction with Kira 2.0 and Finite Field Methods
• Automatic Integral Reduction for Higher Order Perturbative Calculations
• A novel approach to integration by parts reduction
• Reduze 2 - Distributed Feynman Integral Reduction
• FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs
• Presenting LiteRed: a tool for the Loop InTEgrals REDuction
• Towards a Basis for Planar Two-Loop Integrals
• Integration-by-parts reductions from unitarity cuts and algebraic geometry
• Reconstructing Rational Functions with $\text{FireFly}$
• Vector Space of Feynman Integrals and Multivariate Intersection Numbers
• A New Algorithm For The Generation Of Unitarity-Compatible Integration By Parts Relations
• Interpolation of Dense and Sparse Rational Functions and other Improvements in $\text{FireFly}$
• Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections
• Complete sets of logarithmic vector fields for integration-by-parts identities of Feynman integrals
• Duals of Feynman Integrals, 2: Generalized Unitarity
• Baikov representations, intersection theory, and canonical Feynman integrals
• On the computation of intersection numbers for twisted cocycles
• Macaulay Matrix for Feynman Integrals: Linear Relations and Intersection Numbers
• Direct Solution of Integration-by-Parts Systems
• From positive geometries to a coaction on hypergeometric functions
• Computation of Gröbner Bases for Two-Loop Propagator Type Integrals
• A Maple Package for Computing Groebner Bases for Linear Recurrence Relations
• Groebner Bases in Perturbative Calculations
• S-bases as a tool to solve reduction problems for Feynman integrals
• Modern techniques of multiloop calculations