Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams

Abstract

We explain the construction of Forcer, a FORM program for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loop Mincer program. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of the Forcer program, which involves recognizing reduction actions for each topology, applying symmetries, and transitioning between topologies after edges have been removed. This part is entirely precomputed and automatically generated. We give examples of recent applications of Forcer, and study the performance of the program. Finally we demonstrate how to use the Forcer package and sketch how to prepare physical diagrams for evaluation by Forcer.

43 pages, 6 figures, source code available from https://github.com/benruijl/forcer

References in corpus (10)

• The NumPy array: a structure for efficient numerical computation
• Higgs boson gluon-fusion production in N3LO QCD
• FIRE5: a C++ implementation of Feynman Integral REduction
• Presenting LiteRed: a tool for the Loop InTEgrals REDuction
• The Three-Loop Splitting Functions in QCD: The Helicity-Dependent Case
• Large-nf Contributions to the Four-Loop Splitting Functions in QCD
• Four-loop photon quark form factor and cusp anomalous dimension in the large-$N_c$ limit of QCD
• Four-loop QCD propagators and vertices with one vanishing external momentum
• The diamond rule for multi-loop Feynman diagrams
• Forcer: a FORM program for 4-loop massless propagators

Cited by in corpus (19)

• Kira - A Feynman Integral Reduction Program
• Reconstructing Rational Functions with $\text{FireFly}$
• On quartic colour factors in splitting functions and the gluon cusp anomalous dimension
• Ultraviolet Properties of N = 8 Supergravity at Five Loops
• Large-nf Contributions to the Four-Loop Splitting Functions in QCD
• The Five-Loop Four-Point Integrand of N=8 Supergravity as a Generalized Double Copy
• Loop Tree Duality for multi-loop numerical integration
• How to choose master integrals
• Five-loop contributions to low-N non-singlet anomalous dimensions in QCD
• Four-loop QCD propagators and vertices with one vanishing external momentum
• Four-Loop Nonplanar Cusp Anomalous Dimension in N=4 Supersymmetric Yang-Mills Theory
• Analytic Computing Methods for Precision Calculations in Quantum Field Theory
• Zimmermann's Forest Formula, Infrared Divergences and the QCD Beta Function
• FMFT: Fully Massive Four-loop Tadpoles
• Manifestly Causal Loop-Tree Duality
• Field theoretic study of electron-electron interaction effects in Dirac liquids
• The method of global R* and its applications
• R*-operation and five-loop calculations
• Rational Function Simplification for Integration-by-Parts Reduction and Beyond