Header

UZH-Logo

Maintenance Infos

FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs


Peraro, Tiziano (2019). FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs. Journal of High Energy Physics, 2019(7):031.

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.

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.

Statistics

Citations

Dimensions.ai Metrics
4 citations in Web of Science®
5 citations in Scopus®
Google Scholar™

Altmetrics

Downloads

20 downloads since deposited on 15 Aug 2019
20 downloads since 12 months
Detailed statistics

Additional indexing

Item Type:Journal Article, refereed, original work
Communities & Collections:07 Faculty of Science > Physics Institute
Dewey Decimal Classification:530 Physics
Uncontrolled Keywords:Nuclear and High Energy Physics
Language:English
Date:1 July 2019
Deposited On:15 Aug 2019 15:06
Last Modified:25 Sep 2019 00:40
Publisher:Springer
ISSN:1029-8479
OA Status:Gold
Free access at:Publisher DOI. An embargo period may apply.
Publisher DOI:https://doi.org/10.1007/jhep07(2019)031

Download

Gold Open Access

Download PDF  'FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs'.
Preview
Content: Published Version
Filetype: PDF
Size: 1MB
View at publisher
Licence: Creative Commons: Attribution 4.0 International (CC BY 4.0)