REVIEW 7 cited by
Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
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.
Forward citations
Cited by 7 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 ...
-
Gauge coupling beta functions and gauge field anomalous dimensions at four loops in the Standard Model
Four-loop Standard Model gauge beta functions are confirmed by a direct Feynman-diagram calculation, and four-loop gauge-field anomalous dimensions are computed for the first time.
-
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.
-
Tensor Reduction of Sunset by Generating Function
A complete set of recurrence relations is derived to reduce any tensor integral of the sunset diagram to seven master integrals, using generating functions supplemented by syzygy equations.
-
Tracing Transcendentality in Protected Correlators of N=4 SYM
Explicit two-loop computations of protected correlators in N=4 SYM yield a universal one-loop term and a planar extrapolation at arbitrary dimension controlled by stress-tensor multiplet count.
-
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.
-
HyperFORM -- a FORM package for parametric integration with hyperlogarithms
A new open FORM package implements parametric hyperlogarithm integration, demonstrated on zigzag Feynman integrals up to six loops.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.