Interpolation of dense and sparse rational functions and other improvements in \texttt{FireFly}

DOI10.1016/J.CPC.2021.107968MaRDI QIDQ6161965zbMATH OpenOpenAlexFDO

Authors Jonas Klappert, S. Y. Klein, Fabian Lange

Publication date 5 June 2023

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

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

zbMATH Keywords

black-box interpolationFeynman integralfinite fieldmodular arithmeticsymbolic calculations

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to approximations and expansions (41-04) Numerical interpolation (65D05)

Abstract: We present the main improvements and new features in version $exttt2.0$ of the open-source $extttC++$ library $extttFireFly$ for the interpolation of rational functions. This includes algorithmic improvements, e.g. a hybrid algorithm for dense and sparse rational functions and an algorithm to identify and remove univariate factors. The new version is applied to a Feynman-integral reduction to showcase the runtime improvements achieved. Moreover, $extttFireFly$ now supports parallelization with $extttMPI$ and offers new tools like a parser for expressions or an executable for the insertion of replacement tables.

Recommendations

• Reconstructing rational functions with \texttt{FireFly}
• FIRE6: Feynman integral reduction with modular arithmetic
• FIRE5: a C++ implementation of Feynman integral REduction
• Integral reduction with Kira 2.0 and finite field methods
• scientific article; zbMATH DE number 1273635

Cites work

• \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}
• A novel approach to integration by parts reduction
• A probabilistic remark on algebraic program testing
• A simple derivation of the Berlekamp- Massey algorithm and some applications (Corresp.)
• A simple Hankel interpretation of the Berlekamp-Massey algorithm
• Analytic tools for Feynman integrals
• Computational Complexity of Sparse Rational Interpolation
• Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators
• Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm
• Early termination in sparse interpolation algorithms
• Fast Library for Number Theory: An Introduction
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• Finding linear dependencies in integration-by-parts equations: a Monte Carlo approach
• FIRE4, LiteRed and accompanying tools to solve integration by parts relations
• FIRE5: a C++ implementation of Feynman integral REduction
• FIRE6: Feynman integral reduction with modular arithmetic
• High-precision calculation of multiloop Feynman integrals by difference equations
• How to choose master integrals
• scientific article; zbMATH DE number 6488188 (Why is no real title available?)
• scientific article; zbMATH DE number 3765126 (Why is no real title available?)
• Interpolating polynomials from their values
• Kira -- a Feynman integral reduction program
• Maximal quotient rational reconstruction
• Modern computer algebra
• Reconstructing rational functions with \texttt{FireFly}
• Shift-register synthesis and BCH decoding
• Sparse interpolation of multivariate rational functions

Cited in

(23)

• Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\)
• Ansätze for scattering amplitudes from \(p\)-adic numbers and algebraic geometry
• The SAGEX review on scattering amplitudes Chapter 3: Mathematical structures in Feynman integrals
• Bootstrapping the relativistic two-body problem
• Integral reduction with Kira 2.0 and finite field methods
• Balancing act: multivariate rational reconstruction for IBP
• An explicit expression of generating function for one-loop tensor reduction
• One loop QCD corrections to \(gg\rightarrow t\bar{t}H\) at \(\mathcal{O}(\epsilon^2)\)
• The non-first-order-factorizable contributions to the three-loop single-mass operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\)
• Short-flow-time expansion of quark bilinears through next-to-next-to-leading order QCD
• Simplifying the large-mass expansion of Feynman integrals
• Efficient reduction of Feynman integrals on supercomputers
• Reconstructing Laurent expansion of rational functions using p-adic numbers
• Scaling up to multivariate rational function reconstruction
• Performing integration-by-parts reductions using \textsc{NeatIBP} 1.1 + \textsc{Kira}
• Four-loop renormalisation of chiral gauge theories with non-anticommuting _5 in the BMHV scheme
• Calabi-Yau period geometry and restricted moduli in type II compactifications
• A new method for finding more symmetry relations of Feynman integrals
• Integrated unitarity for scattering amplitudes and the four-loop ladder Feynman integral
• \texttt{Blade}: a package for block-triangular form improved Feynman integrals decomposition
• Analytic two-loop four-point form factor of the stress-tensor supermultiplet in \(\mathcal{N} = 4\) SYM
• Three-loop ladder diagrams with two off-shell legs
• Heavy-quark production in deep-inelastic scattering Mellin moments of structure functions

This page was built for publication: Interpolation of dense and sparse rational functions and other improvements in \texttt{FireFly}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6161965)