Pith. sign in

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

5 Pith papers cite this work. Polarity classification is still indexing.

5 Pith papers citing it
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.

citation-role summary

method 2 background 1

citation-polarity summary

years

2026 5

verdicts

UNVERDICTED 5

representative citing papers

Tracing Transcendentality in Protected Correlators of N=4 SYM

hep-th · 2026-06-16 · unverdicted · novelty 5.0

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

hep-th · 2026-04-22 · unverdicted · novelty 5.0

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.

citing papers explorer

Showing 5 of 5 citing papers.

  • Properties and implications of the four-loop non-singlet splitting functions in QCD hep-ph · 2026-05-05 · unverdicted · none · ref 28

    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 small-x logarithmic structure.

  • Connecting Supersymmetry to Non-Supersymmetric theories: the Gross-Neveu-Yukawa example hep-th · 2026-04-12 · unverdicted · none · ref 26

    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.

  • Tracing Transcendentality in Protected Correlators of N=4 SYM hep-th · 2026-06-16 · unverdicted · none · ref 66 · internal anchor

    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 hep-th · 2026-04-22 · unverdicted · none · ref 9

    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 hep-ph · 2026-07-01 · unverdicted · none · ref 8 · internal anchor

    A new open FORM package implements parametric hyperlogarithm integration, demonstrated on zigzag Feynman integrals up to six loops.