Reconstructing rational functions with \texttt{FireFly}

DOI10.1016/j.cpc.2019.106951OpenAlexW2940630536WikidataQ127201709 ScholiaQ127201709MaRDI QIDQ2698810

Jonas Klappert, Fabian Lange

Publication date: 25 April 2023

Published in: Computer Physics Communications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1904.00009

zbMATH Keywords

finite fieldsymbolic calculationsmodular arithmeticblack-box interpolation

Mathematics Subject Classification ID

Computer science (68-XX) Number theory (11-XX)

Related Items (23)

Pentagon functions for scattering of five massless particles ⋮ Integration-by-parts reductions of Feynman integrals using singular and GPI-space ⋮ Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\) ⋮ Bootstrapping the relativistic two-body problem ⋮ Reduction to master integrals via intersection numbers and polynomial expansions ⋮ Feynman integrals from positivity constraints ⋮ \textsc{Caravel}: a C++ framework for the computation of multi-loop amplitudes with numerical unitarity ⋮ Macaulay matrix for Feynman integrals: linear relations and intersection numbers ⋮ Pushforwards via scattering equations with applications to positive geometries ⋮ Local unitarity: cutting raised propagators and localising renormalisation ⋮ \texttt{AMFlow}: a Mathematica package for Feynman integrals computation via auxiliary mass flow ⋮ Integral reduction with Kira 2.0 and finite field methods ⋮ MultivariateApart: generalized partial fractions ⋮ Interpolation of dense and sparse rational functions and other improvements in \texttt{FireFly} ⋮ Restrictions of Pfaffian systems for Feynman integrals ⋮ Soft theorem to three loops in QCD and \(\mathcal{N} = 4\) super Yang-Mills theory ⋮ Ansätze for scattering amplitudes from \(p\)-adic numbers and algebraic geometry ⋮ Collider physics at the precision frontier ⋮ FireFly ⋮ Results and techniques for higher order calculations within the gradient-flow formalism ⋮ Extracting analytical one-loop amplitudes from numerical evaluations ⋮ Two-loop hexa-box integrals for non-planar five-point one-mass processes ⋮ Integration-by-Parts: A Survey

Uses Software

• Fermat
• FLINT
• gmp
• MATAD
• FORM
• Reduze
• FIRE
• LiteRed
• FIRE5
• FlexibleSUSY
• TikZ-Feynman
• Forcer
• Kira

Cites Work

• Unnamed Item
• Unnamed Item
• FIRE5: a C++ implementation of Feynman integral REduction
• FIRE4, LiteRed and accompanying tools to solve integration by parts relations
• Finding linear dependencies in integration-by-parts equations: a Monte Carlo approach
• \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}
• Sparse interpolation of multivariate rational functions
• Analytic tools for Feynman integrals
• Interpolating polynomials from their values
• Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators
• Ti\(k\)Z-Feynman: Feynman diagrams with Ti\(k\)Z
• Early termination in sparse interpolation algorithms
• Kira -- a Feynman integral reduction program
• A novel approach to integration by parts reduction
• HIGH-PRECISION CALCULATION OF MULTILOOP FEYNMAN INTEGRALS BY DIFFERENCE EQUATIONS
• Modern Computer Algebra
• INTEGRATION BY PARTS: AN INTRODUCTION
• Fast rational function reconstruction
• Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• P-adic reconstruction of rational numbers
• Computational Complexity of Sparse Rational Interpolation
• Maximal quotient rational reconstruction
• Fast Library for Number Theory: An Introduction
• MATAD: A program package for the computation of MAssive TADpoles

This page was built for publication: Reconstructing rational functions with \texttt{FireFly}