Pith. sign in

REVIEW 15 cited by

Reconstructing Rational Functions with texttt{FireFly}

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1904.00009 v2 pith:T27BIMKS submitted 2019-03-29 cs.SC hep-ph

Reconstructing Rational Functions with texttt{FireFly}

classification cs.SC hep-ph
keywords textttfireflyfunctionsrationalalgebraicalgorithmsapplicationapproach
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We present the open-source $\texttt{C++}$ library $\texttt{FireFly}$ for the reconstruction of multivariate rational functions over finite fields. We discuss the involved algorithms and their implementation. As an application, we use $\texttt{FireFly}$ in the context of integration-by-parts reductions and compare runtime and memory consumption to a fully algebraic approach with the program $\texttt{Kira}$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 15 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Efficient AI-Inspired Reduction of Feynman Integrals via Tube Seeding

    hep-ph 2026-06 unverdicted novelty 8.0

    Machine learning discovers a tube-seeding strategy for IBP reduction of Feynman integrals that scales linearly with numerator power, demonstrated on rank-20 2-loop 5-point integrals.

  2. Learning to Unscramble Feynman Loop Integrals with SAILIR

    hep-ph 2026-04 unverdicted novelty 8.0

    A self-supervised transformer learns to unscramble Feynman integrals for online IBP reduction, delivering bounded memory use on complex two-loop topologies while matching Kira's speed on the hardest cases tested.

  3. The photon-energy spectrum in $B\to X_s\gamma$ to N$^3$LO: light-fermion and large-$N_{\rm c}$ corrections

    hep-ph 2026-03 unverdicted novelty 8.0

    N3LO calculation of the B to Xs gamma photon spectrum including complete light-fermion corrections, two massive fermion loops, and large-Nc terms, with improved results in kinetic and MSR mass schemes.

  4. Emergence of Calabi-Yau manifolds in high-precision black hole scattering

    hep-th 2024-11 unverdicted novelty 8.0

    At 5PM-1SF order, Calabi-Yau three-fold periods emerge in radiation-reacted observables for classical black hole scattering computed with worldline QFT and advanced IBP/DE methods.

  5. Electroweak corrections to Higgs boson pair production: The quark channel

    hep-ph 2026-06 unverdicted novelty 7.0

    Mixed QCD-EW corrections to qqbar -> HH computed analytically via differential equations, matched to large-mass limit, implemented in POWHEG-BOX, showing up to +10% effect on invariant mass distribution near threshold.

  6. Taming Symbolic IBP Reduction with Intermediate Bases

    hep-ph 2026-06 unverdicted novelty 7.0

    An algorithm reconstructs symbolic IBP reduction coefficients via intermediate bases, demonstrated on massive box-triangle and pentagon-triangle integrals using 3289 and 13013 samplings versus over a million unknowns.

  7. Heavy-Quark Condensate and Vacuum Energy Anomalous Dimension at Five Loops

    hep-ph 2026-05 unverdicted novelty 7.0

    The heavy-quark condensate is computed at five-loop order in QCD with massive quarks, confirming the five-loop vacuum anomalous dimension.

  8. Two-loop leading-color QCD corrections for Higgs plus two-jet production in the heavy-top limit

    hep-ph 2026-05 unverdicted novelty 7.0

    Analytic expressions for the finite remainders of two-loop leading-color helicity amplitudes in Higgs plus two-jet production are obtained in the heavy-top effective theory using numerical unitarity and a new partial-...

  9. Next-to-next-to-next-to-leading order QCD corrections to photon-pair production

    hep-ph 2026-04 unverdicted novelty 7.0

    N³LO QCD predictions for photon-pair production are presented, demonstrating perturbative convergence.

  10. Conservative Black Hole Scattering at Fifth Post-Minkowskian and Second Self-Force Order

    hep-th 2026-01 conditional novelty 7.0

    The conservative black-hole scattering angle at fifth post-Minkowskian and second self-force order is computed in terms of K3 periods, but contains a coefficient fixed only by an ad hoc 'γ-3' prescription.

  11. Two-loop all-plus helicity amplitudes for self-dual Higgs boson with gluons via unitarity cut constraints

    hep-ph 2025-11 unverdicted novelty 7.0

    Two-loop all-plus helicity amplitudes for self-dual Higgs plus gluons are obtained via four-dimensional unitarity cuts into one-loop and tree amplitudes plus finite-field tensor reduction.

  12. Double virtual QCD corrections to $t\bar{t}+$jet production at the LHC

    hep-ph 2025-11 unverdicted novelty 7.0

    Leading-colour two-loop virtual amplitudes for ttbar+jet are extracted analytically via finite-field evaluations and differential equations, then packaged in a C++ library with new numerical integration techniques.

  13. Integral Reduction with Kira 2.0 and Finite Field Methods

    hep-ph 2020-08 conditional novelty 7.0

    Kira 2.0 implements finite-field coefficient reconstruction for IBP reductions and improved user-equation handling, yielding lower memory use and faster performance on state-of-the-art problems.

  14. Linac: linear algebra with CUDA over finite fields

    physics.comp-ph 2026-05 unverdicted novelty 3.0

    Linac provides a high-performance open-source CUDA implementation of Gaussian elimination over finite fields and floating-point arithmetic for analytic reconstruction of scattering amplitudes in quantum field theory.

  15. Les Houches 2023 -- Physics at TeV Colliders: Report on the Standard Model Precision Wishlist

    hep-ph 2025-04 unverdicted novelty 2.0

    The report reviews progress since 2021 in fixed-order computations for LHC applications and identifies processes requiring missing higher-order corrections to match anticipated experimental precision.