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

DOI10.1016/J.CPC.2020.107198MaRDI QIDQ6044792zbMATH OpenOpenAlexFDO

Authors

Publication date 22 May 2023

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

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

zbMATH Keywords

Feynman integralsquantum chromodynamics

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(39)

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

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)