FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 10 Pith papers
-
Learning to Unscramble Feynman Loop Integrals with SAILIR
A self-supervised transformer learns to unscramble Feynman integrals for online IBP reduction, delivering bounded memory use on complex two-loop topologies while matching Kira's speed on the hardest cases tested.
-
Tensor decomposition of $e^+e^-\to\pi^+\pi^-\gamma$ to higher orders in the dimensional regulator
First beyond-NLO tensor decomposition and higher-order analytic one-loop amplitudes for e+e- to pi+pi-gamma, paired with a fast numerical five-point integral evaluator.
-
Feynman integral reduction with intersection theory made simple
Branch representation reduces the variable count for intersection-theory-based Feynman integral reduction to at most 3L-3 for L-loop integrals regardless of leg number.
-
Twisted Feynman Integrals: from generating functions to spin-resummed post-Minkowskian dynamics
Twisted Feynman integrals are introduced with graded Symanzik polynomials, classified as exponential periods, and shown to have geometry not inferable from generalized Baikov leading singularities.
-
Two-loop all-plus helicity amplitudes for self-dual Higgs boson with gluons via unitarity cut constraints
Two-loop all-plus helicity amplitudes for self-dual Higgs plus gluons are obtained via four-dimensional unitarity cuts into one-loop and tree amplitudes plus finite-field tensor reduction.
-
Double virtual QCD corrections to $t\bar{t}+$jet production at the LHC
Leading-colour two-loop virtual amplitudes for ttbar+jet are extracted analytically via finite-field evaluations and differential equations, then packaged in a C++ library with new numerical integration techniques.
-
Integral Reduction with Kira 2.0 and Finite Field Methods
Kira 2.0 implements finite-field coefficient reconstruction for IBP reductions and improved user-equation handling, yielding lower memory use and faster performance on state-of-the-art problems.
-
All-order structure of static gravitational interactions and the seventh post-Newtonian potential
A closed formula computes static post-Newtonian corrections at arbitrary odd orders in gravity, yielding the explicit seventh post-Newtonian potential that matches an independent diagrammatic method.
-
New algorithms for Feynman integral reduction and $\varepsilon$-factorised differential equations
A geometric order relation in IBP reduction yields a master-integral basis with Laurent-polynomial differential equations on the maximal cut that are then ε-factorized.
-
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.