Recognition: unknown
Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 3 Pith papers
-
Properties and implications of the four-loop non-singlet splitting functions in QCD
Four-loop non-singlet QCD splitting functions are verified for consistency and used to finalize analytical forms for the gluon virtual anomalous dimension and N^4LL threshold resummation coefficients, revealing a new ...
-
Connecting Supersymmetry to Non-Supersymmetric theories: the Gross-Neveu-Yukawa example
A unified Lagrangian framework connects supersymmetric and non-supersymmetric scalar-fermion theories and supplies Ward identities that simplify computations of anomalous dimensions in the non-supersymmetric case.
-
SubTropica
SubTropica is a software package that automates symbolic integration of linearly-reducible Euler integrals via tropical subtraction, supported by HyperIntica and an AI-driven Feynman integral database.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.