Calculating four-loop massless propagators with Forcer

TL;DR

Forcer is a new FORM program designed to efficiently compute four-loop massless propagators by reducing complex Feynman integrals to master integrals, with validation against existing literature.

Contribution

The paper introduces Forcer, a novel automated tool for four-loop massless propagator calculations, extending the capabilities of previous three-loop programs.

Findings

Successfully computed four-loop massless propagators

Validated results against existing literature

Automated code generation enhances computational efficiency

Abstract

We present Forcer, a new FORM program for the calculation of four-loop massless propagators. The basic framework is similar to that of the Mincer program for three-loop massless propagators: the program reduces Feynman integrals to a set of master integrals in a parametric way. To overcome an ineludible complexity of the program structure at the four-loop level, most of the code was automatically generated or made with computer-assisted derivations. Correctness of the program has been checked with the recomputation of some quantities in the literature.