Kira 3: integral reduction with efficient seeding and optimized equation selection
read the original abstract
We present version 3 of Kira, a Feynman integral reduction program for high-precision calculations in quantum field theory and gravitational-wave physics. Building on previous versions, Kira 3 introduces optimized seeding and equation selection algorithms, significantly improving performance for multi-loop and multi-scale problems. New features include convenient numerical sampling, symbolic integration-by-parts reductions, and support for user-defined additional relations. We demonstrate its capabilities through benchmarks on two- and three-loop topologies, showcasing up to two orders of magnitude improvement over Kira 2.3. Kira 3 is publicly available and poised to support ambitious projects in particle physics and beyond.
This paper has not been read by Pith yet.
Forward citations
Cited by 29 Pith papers
-
Efficient AI-Inspired Reduction of Feynman Integrals via Tube Seeding
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.
-
Nonlocal-in-time tail effects in gravitational scattering to fifth Post-Minkowskian and tenth self-force orders
Nonlocal-in-time conservative tail contributions to gravitational scattering are derived at 5PM and 10SF orders, expressed via polylogarithms up to weight three and agreeing with prior results through 6PN.
-
The four-loop non-singlet splitting functions in QCD
Four-loop non-singlet splitting functions in QCD are computed analytically for the first time, with numerical representations provided.
-
Learning to Unscramble Feynman Loop Integrals with SAILIR
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.
-
The photon-energy spectrum in $B\to X_s\gamma$ to N$^3$LO: light-fermion and large-$N_{\rm c}$ corrections
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.
-
The spectrum of Feynman-integral geometries at two loops
Two-loop Feynman integrals involve Riemann spheres, elliptic curves, hyperelliptic curves of genus 2 and 3, K3 surfaces, and a rationalizable Del Pezzo surface of degree 2.
-
Gravitational Compton scattering at the fourth post-Minkowskian order
Derives gravitational Compton amplitude at O(G^4) and N-matrix element for scattering phase shift, verified by agreement with black-hole perturbation theory.
-
Gravitational wave scattering at $\mathcal{O}(G^4)$: Murua construction and elliptics
O(G^4) gravitational wave scattering amplitude computed in worldline QFT with Murua decomposition, matched to black hole perturbation theory to validate the formalism for Schwarzschild black holes.
-
Double-real corrections to color singlet decay in a parton-shower inspired scheme
A parton-shower-inspired local subtraction scheme for double-real corrections in color singlet decays is introduced, with finiteness verified for the e+e- to qqbar remainder and phase-space integrals computed analytic...
-
Electroweak corrections to Higgs boson pair production: The quark channel
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.
-
Taming Symbolic IBP Reduction with Intermediate Bases
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.
-
Analytic results for heavy-quark contributions to charged-current DIS at NNLO
Analytic NNLO partonic coefficient functions for F2, FL, F3 in charged-current DIS with exact charm mass, expressed via Goncharov polylogarithms and Chen iterated integrals.
-
Magic Relations and Critical Varieties of Feynman Integrals
Magic relations in Feynman integral families coincide with higher-dimensional critical varieties, enabling a practical test to detect and handle them.
-
SIRENA -- Sum-Integral REductioN Algorithm
SIRENA automates IBP reduction of sum-integrals in finite-temperature QFT, reproduces known results to 3 loops, supplies new 3-loop fermionic reductions, and derives an analytic factorization formula for arbitrary 2-l...
-
All-loop four-quark Bethe-Salpeter kernel
The all-loop bare perturbative part of the four-quark Bethe-Salpeter kernel is computed analytically in the large-Nf limit of massless QCD.
-
Loop integrals in de Sitter spacetime: The parity-split IBP system and $\mathrm{d}\log$-form differential equations
A parity-split IBP system for n-propagator families in de Sitter space is identified, along with a conjecture that dlog-form differential equations extend to dS integrands with Hankel functions, verified for the one-l...
-
Feynman integral reduction with intersection theory made simple
Branch representation reduces the variable count for intersection-theory-based Feynman integral reduction to at most 3L-3 for L-loop integrals regardless of leg number.
-
Chebyshev Approximations of Feynman Integrals for Collider Physics
Chebyshev polynomial approximations with adaptive sampling solve canonical differential equations for Feynman integrals, demonstrated to be stable and competitive for two-loop five-point cases in double precision.
-
On the spanning cuts consistency problem in the IBP reductions of Feynman integrals
Inconsistency in spanning cuts for IBP reductions arises because cuts can make hidden terms in IBP relations finite via pinch singularities that cancel vanishing parameters, linked to hidden linear relations between p...
-
Towards the two-loop electroweak corrections to the Drell-Yan process: the complete fermionic contributions
The authors present the finite two-loop fermionic virtual corrections to the Drell-Yan cross section after renormalization and infrared subtraction using an automated methodology.
-
$B_c \to \eta_c$ form factors at large recoil: SCET analysis and a three-loop consistency check
SCET factorization confirms the double-logarithmic resummation for B_c to eta_c form factors up to three loops and derives the iterative structure from RG equations of light-cone distribution amplitudes with cutoff re...
-
Progress on the soft anomalous dimension in QCD
A lightcone-expansion strategy using Wilson-line correlators and the Method of Regions yields the three-loop soft anomalous dimension for QCD amplitudes with one massive colored particle and arbitrary massless ones.
-
All-order structure of static gravitational interactions and the seventh post-Newtonian potential
A closed formula computes static post-Newtonian corrections at arbitrary odd orders in gravity, yielding the explicit seventh post-Newtonian potential that matches an independent diagrammatic method.
-
Two-loop QCD corrections to $ H \rightarrow b + \bar{b} + g $ at higher powers in the dimensional regulator
Two-loop QCD corrections to H → b b-bar g amplitude at higher powers of ε in dimensional regularization.
-
Two-loop QCD corrections to $ H \rightarrow b + \bar{b} + g $ at higher powers in the dimensional regulator
Two-loop QCD corrections to H → b b-bar g amplitude computed at higher orders in ε via Lorentz projection.
-
The geometric bookkeeping guide for $\varepsilon$-factorised differential equations
Describes a geometric-ordering approach to the Laporta algorithm plus transformation matrices that produce ε-factorised differential equations for arbitrary Feynman integral families.
-
Numerical analytical continuation of multivariate hypergeometric functions
A general numerical framework is described for high-precision evaluation and analytic continuation of multivariate hypergeometric functions via Pfaffian systems and the Frobenius method.
-
Three loop QCD corrections to electroweak radiative parameters
Three-loop QCD corrections to electroweak radiative parameters Δρ, Δr, and Δκ are computed, yielding an updated W boson mass prediction relevant for FCC precision targets.
-
The Monte Carlo Ecosystem in High-Energy Physics: A Primer
A primer that surveys the architecture, methodologies, computational challenges, and future trajectory of the Monte Carlo event generator ecosystem in collider physics.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.