\textsc{Forcer}, a \textsc{Form} program for the parametric reduction of four-loop massless propagator diagrams

DOI10.1016/J.CPC.2020.107198arXiv1704.06650OpenAlexW3004692219MaRDI QIDQ6044792FDOQ6044792

Authors:

Publication date: 22 May 2023

Published in: Computer Physics Communications (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1704.06650

Recommendations

• FIRE4, LiteRed and accompanying tools to solve integration by parts relations
• \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}
• Kira -- a Feynman integral reduction program
• FIRE6: Feynman integral reduction with modular arithmetic

zbMATH Keywords

quantum chromodynamicsFeynman integrals

Mathematics Subject Classification ID

Quantum theory (81-XX) Computer science (68-XX)

Cites Work

• Algorithm FIRE-Feynman integral reduction
• \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}
• FIRE5: a C++ implementation of Feynman integral REduction
• Master integrals for four-loop massless propagators up to weight twelve
• A practical criterion of irreducibility of multi-loop Feynman integrals
• Four loop massless propagators: an algebraic evaluation of all master integrals
• The three-loop splitting functions in QCD: the non-singlet case
• The three-loop splitting functions in QCD: the singlet case
• FORM version 4.0
• The diamond rule for multi-loop Feynman diagrams
• GROUP THEORY FACTORS FOR FEYNMAN DIAGRAMS
• The four-loop QCD \(\beta\)-function and anomalous dimensions
• Automatic Feynman graph generation
• The three-loop splitting functions in QCD: the helicity-dependent case
• Large-\(n_{f}\) contributions to the four-loop splitting functions in QCD
• The five-loop beta function of Yang-Mills theory with fermions
• The \(R^{\ast}\)-operation for Feynman graphs with generic numerators
• Four-loop QCD propagators and vertices with one vanishing external momentum

Cited In (32)

• Collider physics at the precision frontier
• Four-loop QCD propagators and vertices with one vanishing external momentum
• Renormalization of non-singlet quark operator matrix elements for off-forward hard scattering
• Five-loop renormalisation of QCD in covariant gauges
• The five-loop beta function for a general gauge group and anomalous dimensions beyond Feynman gauge
• Kira -- a Feynman integral reduction program
• \texttt{tapir}: a tool for topologies, amplitudes, partial fraction decomposition and input for reductions
• Renormalization and non-renormalization of scalar EFTs at higher orders
• Simplifying the large-mass expansion of Feynman integrals
• Four-loop splitting functions in QCD -- the quark-quark case
• Protected and uniformly transcendental
• Five loop minimal MOM scheme field and quark mass anomalous dimensions in QCD
• Non-planar universal anomalous dimension of twist-two operators with general Lorentz spin at four loops in \(\mathcal{N} = 4\) SYM theory
• Integration-by-Parts: A Survey
• On ambiguities and divergences in perturbative renormalization group functions
• Critical exponents from five-loop scalar theory renormalization near six-dimensions
• Non-linear non-renormalization theorems
• On the Landau-Khalatnikov-Fradkin transformation in quenched \(\text{QED}_3\)
• \texttt{MaRTIn} -- massive recursive tensor integration
• General gauge-Yukawa-quartic \(\beta\)-functions at 4-3-2-loop order
• Review of electron-electron interaction effects in planar Dirac liquids
• Anomalous dimensions of twist-two operators in extended \(\mathcal{N} = 2\) and \(\mathcal{N} = 4\) super Yang-Mills theories
• Low moments of the four-loop splitting functions in QCD
• Zimmermann's forest formula, infrared divergences and the QCD beta function
• Renormalization of gluonic leading-twist operators in covariant gauges
• Constraints for twist-two alien operators in QCD
• Solving recurrence relations for multiloop integrals in the limit of large values of the dimensional regularization parameter
• Four-loop non-singlet splitting functions in the planar limit and beyond
• Renormalization of the axial current operator in dimensional regularization at four-loop in QCD
• Some steps towards improving IBP calculations and related topics
• FMFT: fully massive four-loop tadpoles
• Scattering amplitudes in the Regge limit and the soft anomalous dimension through four loops

This page was built for publication: \textsc{Forcer}, a \textsc{Form} program for the parametric reduction of four-loop massless propagator diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6044792)