Pith. sign in

REVIEW 16 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

classification cs.SChep-ph
keywords textttfireflyfunctionsrationalalgebraicalgorithmsapplicationapproach
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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). Continue with ORCID to comment.

Forward citations

Cited by 16 Pith papers

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

  1. Analytic two-loop amplitudes for $q\bar{q}\to \gamma \gamma$ and $gg \to \gamma \gamma$ mediated by a heavy-quark loop

    hep-ph 2025-01 accept novelty 8.0 of 10

    The two-loop amplitudes for q qbar -> gamma gamma and gg -> gamma gamma with a heavy-quark loop are computed analytically in terms of elliptic iterated integrals, with validated fast series expansions for numerical ev...

  2. Numerical evaluation of two-loop QCD helicity amplitudes for $gg\to t \bar{t} g$ at leading colour

    hep-ph 2024-12 conditional novelty 8.0 of 10

    The two-loop finite remainders for gg to ttbar g at leading colour are evaluated numerically at one benchmark point, with elliptic functions confined to the finite part.

  3. Full-colour double-virtual amplitudes for associated production of a Higgs boson with a bottom-quark pair at the LHC

    hep-ph 2024-12 accept novelty 8.0 of 10

    First analytic full-color two-loop five-particle amplitudes for associated Higgs-plus-bottom-quark-pair production at the LHC, with public C++ implementation.

  4. Investigating the universality of five-point QCD scattering amplitudes at high energy

    hep-ph 2024-11 conditional novelty 8.0 of 10

    First extraction of the two-loop universal central-emission vertex in QCD and in N=4 super Yang-Mills from the multi-Regge limit of five-point amplitudes.

  5. 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 of 10

    Two-loop leading-color helicity amplitudes for H+2 jets in the heavy-top limit are computed analytically and validated, enabling NNLO phenomenology and revealing an anomalous threshold.

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

    hep-th 2026-01 conditional novelty 7.0 of 10

    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.

  7. Anomalous dimensions and critical exponents for the Gross-Neveu-Yukawa model at five loops

    hep-th 2025-07 conditional novelty 7.0 of 10

    First five-loop renormalization group functions for the O(N) Gross-Neveu-Yukawa model, yielding refined, resummed critical exponent estimates for N=1, 2, and 5.

  8. Analytic Regression of Feynman Integrals from High-Precision Numerical Sampling

    hep-th 2025-07 conditional novelty 6.0 of 10

    Multi-point lattice reduction on high-precision numerical samples can recover exact analytic expressions for multi-loop Feynman integrals with rational coefficients.

  9. Kira 3: integral reduction with efficient seeding and optimized equation selection

    hep-ph 2025-05 conditional novelty 6.0 of 10

    Kira 3 cuts Feynman-integral reduction cost by up to two orders of magnitude using smarter seeding and equation selection.

  10. Reduction of $\epsilon$-expanded Feynman integrals

    hep-ph 2025-04 conditional novelty 6.0 of 10

    A new R-bar operation yields locally finite Feynman integrals in higher dimensions and reduces epsilon-expanded master integrals to a minimal basis, shown on one-, two-, and three-loop examples.

  11. Explainable AI-assisted Optimization for Feynman Integral Reduction

    hep-ph 2025-02 conditional novelty 6.0 of 10

    FunSearch discovered a simple priority function for ordering IBP seeding integrals, reducing the number needed for multi-loop Feynman integral reductions by factors up to 3058.

  12. Refining Integration-by-Parts Reduction of Feynman Integrals with Machine Learning

    hep-th 2025-02 conditional novelty 6.0 of 10

    Machine learning program search rediscovers state-of-the-art integration-by-parts seeding heuristics and finds a modestly smaller seed set for a single two-loop benchmark integral.

  13. Efficient Computation of One-Loop Feynman Integrals and Fixed-Branch Integrals to High Orders in $\epsilon$

    hep-ph 2024-12 conditional novelty 6.0 of 10

    A dimension-changing transformation computes one-loop and fixed-branch Feynman integrals to high orders in the dimensional regulator by integrating auxiliary-mass integrals over the mass parameter, implemented in an o...

  14. Integration-by-parts reductions of Feynman integrals using Singular and GPI-Space

    hep-th 2019-08 conditional novelty 6.0 of 10

    The authors build a parallelized Singular and GPI-Space pipeline for integration-by-parts reductions and use it to compute the two-loop nonplanar double-pentagon family analytically up to numerator degree 4.

  15. Direct Expression for One-Loop Tensor Reduction with Lorentz Indices via Generating Function

    hep-th 2025-01 conditional novelty 5.0 of 10

    A rational, recursion-free expression for one-loop tensor reduction coefficients with Lorentz indices is given, built from a small set of tensor building blocks.

  16. Rational-function interpolation from p-adic evaluations in scattering amplitude calculations

    hep-ph 2024-12 conditional novelty 3.0 of 10

    A p-adic interpolation method reconstructs loop-amplitude rational functions directly in partial-fractioned form, cutting required probes by about 25x and output size by about 134x on a challenging two-loop five-point...

Pith tools