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 (36)

• One-Loop n-Point Gauge Theory Amplitudes, Unitarity and Collinear Limits
• Fusing Gauge Theory Tree Amplitudes Into Loop Amplitudes
• Multiloop integrals in dimensional regularization made simple
• Differential Equations for Two-Loop Four-Point Functions
• Generalized Unitarity and One-Loop Amplitudes in N=4 Super-Yang-Mills
• Reducing full one-loop amplitudes to scalar integrals at the integrand level
• Classical Polylogarithms for Amplitudes and Wilson Loops
• Kira - A Feynman Integral Reduction Program
• Full one-loop amplitudes from tree amplitudes
• A novel approach to integration by parts reduction
• From polygons and symbols to polylogarithmic functions
• Scattering amplitudes over finite fields and multivariate functional reconstruction
• A Numerical Unitarity Formalism for Evaluating One-Loop Amplitudes
• Towards a Basis for Planar Two-Loop Integrals
• Supersymmetric Regularization, Two-Loop QCD Amplitudes and Coupling Shifts
• Two-loop Integrand Decomposition into Master Integrals and Surface Terms
• Integration-by-parts reductions from unitarity cuts and algebraic geometry
• A Two-Loop Five-Gluon Helicity Amplitude in QCD
• Analytic Form of the Planar Two-Loop Five-Parton Scattering Amplitudes in QCD
• Hepta-Cuts of Two-Loop Scattering Amplitudes
• Analytic Form of the Planar Two-Loop Five-Gluon Scattering Amplitudes in QCD
• Planar Two-Loop Five-Gluon Amplitudes from Numerical Unitarity
• On the Integrand-Reduction Method for Two-Loop Scattering Amplitudes
• Scattering Amplitudes from Multivariate Polynomial Division
• A first look at two-loop five-gluon scattering in QCD
• Integrand-Level Reduction of Loop Amplitudes by Computational Algebraic Geometry Methods
• Analytic helicity amplitudes for two-loop five-gluon scattering: the single-minus case
• Matter dependence of the four-loop cusp anomalous dimension
• Differential equations from unitarity cuts: nonplanar hexa-box integrals
• Adaptive Integrand Decomposition in parallel and orthogonal space
• 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
• Subleading Poles in the Numerical Unitarity Method at Two Loops
• Automating QCD amplitudes with on-shell methods
• 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

Cited by in corpus (116)

• Integral Reduction with Kira 2.0 and Finite Field Methods
• Vector Space of Feynman Integrals and Multivariate Intersection Numbers
• Collider Physics at the Precision Frontier
• Interpolation of Dense and Sparse Rational Functions and other Improvements in $\text{FireFly}$
• Pentagon Functions for Scattering of Five Massless Particles
• NNLO QCD corrections to three-photon production at the LHC
• Multiloop corrections for collider processes using auxiliary mass flow
• Determining Feynman integrals with only input from linear algebra
• Two-loop QCD corrections to $Wb\bar{b}$ production at hadron colliders
• Leading-Color Two-Loop Amplitudes for Four Partons and a W Boson in QCD
• Deriving canonical differential equations for Feynman integrals from a single uniform weight integral
• Emergence of Calabi-Yau manifolds in high-precision black hole scattering
• Two-loop helicity amplitudes for diphoton plus jet production in full color
• Physical projectors for multi-leg helicity amplitudes
• Two-Loop Hexa-Box Integrals for Non-Planar Five-Point One-Mass Processes
• Two-loop leading-colour QCD helicity amplitudes for Higgs boson production in association with a bottom-quark pair at the LHC
• Three-loop gluon scattering in QCD and the gluon Regge trajectory
• Optimising simulations for diphoton production at hadron colliders using amplitude neural networks
• Isolated photon production in association with a jet pair through next-to-next-to-leading order in QCD
• Integration-by-parts reductions of Feynman integrals using Singular and GPI-Space
• The SAGEX Review on Scattering Amplitudes, Chapter 3: Mathematical structures in Feynman integrals
• Complete reduction of integrals in two-loop five-light-parton scattering amplitudes
• Di-photon amplitudes in three-loop Quantum Chromodynamics
• Macaulay Matrix for Feynman Integrals: Linear Relations and Intersection Numbers
• Two-loop leading colour QCD corrections to $q\bar{q}\to \gamma \gamma g$ and $qg\to \gamma \gamma q$
• An algorithmic approach to finding canonical differential equations for elliptic Feynman integrals
• Calculation of Feynman loop integration and phase-space integration via auxiliary mass flow
• Leading-Color Two-Loop QCD Corrections for Three-Photon Production at Hadron Colliders
• Scattering Amplitudes in Quantum Field Theory
• Local Unitarity: a representation of differential cross-sections that is locally free of infrared singularities at any order
• Three-loop helicity amplitudes for diphoton production in gluon fusion
• Leading singularities in Baikov representation and Feynman integrals with uniform transcendental weight
• Two-Loop QCD Corrections for Three-Photon Production at Hadron Colliders
• Causal representation of multi-loop Feynman integrands within the loop-tree duality
• Integrands of loop amplitudes within loop-tree duality
• IBP reduction coefficients made simple
• Lepton-pair scattering with an off-shell and an on-shell photon at two loops in massless QED
• Three-loop helicity amplitudes for quark-gluon scattering in QCD
• Two-loop leading colour QCD helicity amplitudes for top quark pair production in the gluon fusion channel
• Symbol Alphabets from the Landau Singular Locus
• Two-loop master integrals for a planar topology contributing to $pp\to t\bar{t}j$
• Loop-tree duality from vertices and edges
• Locally finite two-loop amplitudes for off-shell multi-photon production in electron-positron annihilation
• Ansätze for Scattering Amplitudes from $p$-adic Numbers and Algebraic Geometry
• Reduction to master integrals via intersection numbers and polynomial expansions
• First look at the evaluation of three-loop non-planar Feynman diagrams for Higgs plus jet production
• Automatic computation of Feynman integrals containing linear propagators via auxiliary mass flow
• Two-loop mixed QCD-EW corrections to $gg\to Hg$
• On one-loop corrections to the Bunch-Davies wavefunction of the universe
• Building Bases of Loop Integrands
• Electroweak corrections to double Higgs production at the LHC
• Universal opening of four-loop scattering amplitudes to trees
• Complete $N_f^2$ contributions to four-loop pure-singlet splitting functions
• One-loop QCD helicity amplitudes for $pp\to t\bar{t}j$ to $O({\epsilon }^2)$
• Two-Loop Five-Point Two-Mass Planar Integrals and Double Lagrangian Insertions in a Wilson Loop
• Full-colour double-virtual amplitudes for associated production of a Higgs boson with a bottom-quark pair at the LHC
• Glue-and-Cut at Five Loops
• A first look at the function space for planar two-loop six-particle Feynman integrals
• Numerical evaluation of two-loop QCD helicity amplitudes for $gg\to t\bar{t}g$ at leading colour
• One-loop hexagon integral to higher orders in the dimensional regulator
• Heavy-quark pair production at lepton colliders at NNNLO in QCD
• Towards Systematic Evaluation of de Sitter Correlators via Generalized Integration-By-Parts Relations
• Next-to-next-to-leading order matching of beauty-charmed meson $B_c$ and $B_c^{\ast }$ decay constants
• Computational challenges for multi-loop collider phenomenology
• Two-loop Feynman integrals for leading colour $t\bar{t}W$ production at hadron colliders
• Two-loop massive QCD and QED helicity amplitudes for light-by-light scattering
• SOFIA: Singularities of Feynman Integrals Automatized
• Module Intersection and Uniform Formula for Iterative Reduction of One-loop Integrals
• $D$-Module Techniques for Solving Differential Equations in the Context of Feynman Integrals
• Two-loop QCD corrections to the $V\to q\bar{q}g$ helicity amplitudes with axial-vector couplings
• The SAGEX Review on Scattering Amplitudes, Chapter 5: Analytic Bootstraps for Scattering Amplitudes and Beyond
• Renormalization of twist-two operators in covariant gauge to three loops in QCD
• Feynman Integrals from Positivity Constraints
• p-adic reconstruction of rational functions in multi-loop amplitudes
• Intersection Numbers from Companion Tensor Algebra
• On canonical differential equations for Calabi-Yau multi-scale Feynman integrals
• Third order correction to semileptonic $b\to u$ decay: fermionic contributions
• Twisted Riemann bilinear relations and Feynman integrals
• Three-loop helicity amplitudes for photon+jet production
• Feynman integral reduction using Gröbner bases
• Three-loop matching coefficients for heavy flavor-changing currents and the phenomenological applications
• Learning Feynman integrals from differential equations with neural networks
• Les Houches 2023 -- Physics at TeV Colliders: Report on the Standard Model Precision Wishlist
• Double virtual QCD corrections to $t\bar{t}+$jet production at the LHC
• Three-loop QCD matching of the flavor-changing scalar current involving the heavy charm and bottom quark
• A first computation of three-loop master integrals for the production of two off-shell vector bosons with different masses
• All Two-Loop Feynman Integrals for Five-Point One-Mass Scattering
• Two-loop amplitudes for di-Higgs and di-pseudo-Higgs productions through quark annihilation in QCD
• Virtual QCD corrections to gluon-initiated diphoton plus jet production at hadron colliders
• Pushforwards via Scattering Equations with Applications to Positive Geometries
• Three-loop master integrals for the Higgs boson self-energy with internal top-quarks and W-bosons
• Four-dimensional differential equations for the leading divergences of dimensionally-regulated loop integrals
• Reduction to master integrals and transverse integration identities
• Two-loop all-plus helicity amplitudes for self-dual Higgs boson with gluons via unitarity cut constraints
• Two-loop mixed QCD-electroweak amplitudes for $Z+$jet production at the LHC: bosonic corrections
• NNLO QED contribution to the $\mu e\to \mu e$ elastic scattering
• Evaluation of three-loop self-energy master integrals with four or five propagators
• CALICO: Computing Annihilators from Linear Identities Constraining (differential) Operators
• Three-Loop QCD corrections to the production of a Higgs boson and a Jet
• A new method for finding more symmetry relations of Feynman integrals
• Integrated Unitarity for Scattering Amplitudes
• Three-loop helicity amplitudes for four-quark scattering in massless QCD
• One-Loop QCD Corrections to $\bar{u}d\to t\bar{t}W$ at $\mathcal{O}({\epsilon }^2)$
• Dihadron Angular Correlations in the $e^{+}{e}^{-}$ Collision
• Complete two-loop Yukawa-induced running of the Higgs-gluon coupling in SMEFT
• Optimising hadronic collider simulations using amplitude neural networks
• IBP reduction via Gröbner bases in a rational double-shift algebra
• $\text{history}$: A tool for fully-differential cross sections at next-to-next-to-leading order
• Top-Yukawa contributions to $pp\to b\bar{b}H$: two-loop leading-colour amplitudes
• Evaluating master integrals in non-factorizable corrections to $t$-channel single-top production at NNLO QCD
• Evaluating Feynman Integrals through differential equations and series expansions
• One-loop amplitudes for $t\bar{t}j$ and $t\bar{t}\gamma$ productions at the LHC through $\mathcal{O}({\epsilon }^2)$
• Anomalous Ward identities for on-shell amplitudes at the conformal fixed point
• Mixed QCD-EW corrections to $W$-pair production at electron-positron colliders
• Reconstructing Laurent expansion of rational functions using p-adic numbers
• Recent progress for five-particle two-loop scattering amplitudes with an off-shell leg