FIRE 6.5: Feynman Integral Reduction with New Simplification Library

Abstract

FIRE is a program which performs integration-by-parts (IBP) reduction of Feynman integrals. Originally, the C++ version of FIRE relies on the computer algebra system Fermat by Robert Lewis to simplify rational functions. We present an upgrade of FIRE which incorporates a new library FUEL initially described in a separate publication, which enables a flexible choice of third-party computer algebra systems as simplifiers, as well as efficient communications with some of the simplifiers as C++ libraries rather than through Unix pipes. We achieve significant speedups for IBP reduction of Feynman integrals involving many kinematic variables, when using an open source backend based on FLINT newly added in this work, or the Symbolica backend developed by Ben Ruijl as a potential successor of FORM.

arXiv comment21 pages, 4 figures, 5 tables

References in corpus (30)

• Differential Equations for Two-Loop Four-Point Functions
• LiteRed 1.4: a powerful tool for the reduction of the multiloop integrals
• FIRE5: a C++ implementation of Feynman Integral REduction
• Kira - A Feynman Integral Reduction Program
• Reduze - Feynman Integral Reduction in C++
• FIRE6: Feynman Integral REduction with Modular Arithmetic
• Integral Reduction with Kira 2.0 and Finite Field Methods
• Automatic Integral Reduction for Higher Order Perturbative Calculations
• A novel approach to integration by parts reduction
• Scattering amplitudes over finite fields and multivariate functional reconstruction
• Towards a Basis for Planar Two-Loop Integrals
• Two-loop Integrand Decomposition into Master Integrals and Surface Terms
• Integration-by-parts reductions from unitarity cuts and algebraic geometry
• Reconstructing Rational Functions with $\text{FireFly}$
• FIRE4, LiteRed and accompanying tools to solve integration by parts relations
• Analytic Form of the Planar Two-Loop Five-Parton Scattering Amplitudes in QCD
• Planar Two-Loop Five-Gluon Amplitudes from Numerical Unitarity
• A New Algorithm For The Generation Of Unitarity-Compatible Integration By Parts Relations
• Two-Loop Four-Gluon Amplitudes with the Numerical Unitarity Method
• Group structure of the integration-by-part identities and its application to the reduction of multiloop integrals
• Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections
• How to choose master integrals
• Determine Arbitrary Feynman Integrals by Vacuum Integrals
• Integration-by-parts reductions of Feynman integrals using Singular and GPI-Space
• Complete reduction of integrals in two-loop five-light-parton scattering amplitudes
• Ansätze for Scattering Amplitudes from $p$-adic Numbers and Algebraic Geometry
• Computation of Gröbner Bases for Two-Loop Propagator Type Integrals
• A Maple Package for Computing Groebner Bases for Linear Recurrence Relations
• Balancing act: multivariate rational reconstruction for IBP
• S-bases as a tool to solve reduction problems for Feynman integrals

Cited by in corpus (12)

• FeynCalc 10: Do multiloop integrals dream of computer codes?
• First Look at Quartic-in-Spin Binary Dynamics at Third Post-Minkowskian Order
• Spinning Black Hole Scattering at $\mathcal{O}(G^3{S}^2)$: Casimir Terms, Radial Action and Hidden Symmetry
• Calabi-Yau Feynman integrals in gravity: $\epsilon$-factorized form for apparent singularities
• Classifying post-Minkowskian geometries for gravitational waves via loop-by-loop Baikov
• A double copy from twisted (co)homology at genus one
• Classification of Feynman integral geometries for black-hole scattering at 5PM order
• Les Houches 2023 -- Physics at TeV Colliders: Report on the Standard Model Precision Wishlist
• Two-loop form factors for $P$-wave quarkonium production and decay
• Evaluating Feynman Integrals through differential equations and series expansions
• $\text{history}$: A tool for fully-differential cross sections at next-to-next-to-leading order
• Transition Form-Factor for ${\eta }_Q$ at NNLO in the strong coupling ${\alpha }_s$ and with all-order $v^2$ resummation