FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs

Abstract

Complex algebraic calculations can be performed by reconstructing analytic results from numerical evaluations over finite fields. We describe FiniteFlow, a framework for defining and executing numerical algorithms over finite fields and reconstructing multivariate rational functions. The framework employs computational graphs, known as dataflow graphs, to combine basic building blocks into complex algorithms. This allows to easily implement a wide range of methods over finite fields in high-level languages and computer algebra systems, without being concerned with the low-level details of the numerical implementation. This approach sidesteps the appearance of large intermediate expressions and can be massively parallelized. We present applications to the calculation of multi-loop scattering amplitudes, including the reduction via integration-by-parts identities to master integrals or special functions, the computation of differential equations for Feynman integrals, multi-loop integrand reduction, the decomposition of amplitudes into form factors, and the derivation of integrable symbols from a known alphabet. We also release a proof-of-concept C++ implementation of this framework, with a high-level interface in Mathematica.

54 pages, 7 figures, published version

References in corpus (11)

• Reducing full one-loop amplitudes to scalar integrals at the integrand level
• Classical Polylogarithms for Amplitudes and Wilson Loops
• Full one-loop amplitudes from tree amplitudes
• A Numerical Unitarity Formalism for Evaluating One-Loop Amplitudes
• Scattering amplitudes over finite fields and multivariate functional reconstruction
• Analytic Form of the Planar Two-Loop Five-Parton Scattering Amplitudes in QCD
• Matter dependence of the four-loop cusp anomalous dimension
• Quark and gluon form factors to four loop order in QCD: the $N_f^3$ contributions
• Four-loop quark form factor with quartic fundamental colour factor
• Quark and gluon form factors in four loop QCD: the $N_f^2$ and $N_{q\gamma }{N}_f$ contributions
• Planar master integrals for four-loop form factors