FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs

05/20/2019
by   Tiziano Peraro, et al.
0

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.

READ FULL TEXT
research
03/29/2019

Reconstructing Rational Functions with FireFly

We present the open-source C++ library FireFly for the reconstruction of...
research
09/09/2019

SRIM and SCRIM Factors of x^n+1 over Finite Fields and Their Applications

Self-Reciprocal Irreducible Monic (SRIM) and Self-Conjugate-Reciprocal I...
research
01/31/2016

On p-adic differential equations with separation of variables

Several algorithms in computer algebra involve the computation of a powe...
research
03/24/2022

The SAGEX Review on Scattering Amplitudes, Chapter 4: Multi-loop Feynman Integrals

The analytic integration and simplification of multi-loop Feynman integr...
research
03/24/2021

Similarity-Based Equational Inference in Physics

Derivation in physics, in the form of derivation reconstruction of publi...
research
05/12/2020

CarnegiePLUG: Prosumer-in-the-Loop simUlation Grid

This paper introduces Carnegie Mellon campus-wide CarnegiePLUG test-bed....
research
05/25/2020

Complexes from complexes

This paper is concerned with the derivation and properties of differenti...

Please sign up or login with your details

Forgot password? Click here to reset