Integral reduction with Kira 2.0 and finite field methods

DOI10.1016/j.cpc.2021.108024zbMath1523.81078arXiv2008.06494OpenAlexW3049116843MaRDI QIDQ6156526

Philipp Maierhöfer, Johann Usovitsch, Fabian Lange, Jonas Klappert

Publication date: 13 June 2023

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

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

zbMATH Keywords

dimensional regularizationcomputer algebraFeynman diagramsmodular arithmeticLaporta algorithmmulti-loop Feynman integrals

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Path integrals in quantum mechanics (81S40) Feynman integrals and graphs; applications of algebraic topology and algebraic geometry (81Q30) Nonstandard models of arithmetic (03H15) Dimensional compactification in quantum field theory (81T33)

Related Items

Beam functions for \(N\)-jettiness at \(\mathrm{N^3LO}\) in perturbative QCD ⋮ Module intersection and uniform formula for iterative reduction of one-loop integrals ⋮ The ice cone family and iterated integrals for Calabi-Yau varieties ⋮ Machine learning post-Minkowskian integrals ⋮ On a procedure to derive \(\epsilon\)-factorised differential equations beyond polylogarithms ⋮ \(\varepsilon\)-factorized differential equations for two-loop non-planar triangle Feynman integrals with elliptic curves ⋮ Two-loop helicity amplitudes for \(V\)+jet production including axial vector couplings to higher orders in \(\epsilon\) ⋮ Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\) ⋮ Bootstrapping the relativistic two-body problem ⋮ Reduction to master integrals via intersection numbers and polynomial expansions ⋮ \textsc{pfd-parallel}, a singular/GPI-space package for massively parallel multivariate partial fractioning ⋮ Renormalization of twist-two operators in covariant gauge to three loops in QCD ⋮ Revisiting the double-soft asymptotics of one-loop amplitudes in massless QCD ⋮ Bananas of equal mass: any loop, any order in the dimensional regularisation parameter ⋮ Deciphering the maximal transcendentality principle via bootstrap ⋮ Three loop QCD corrections to the heavy-light form factors in the color-planar limit ⋮ Local unitarity: cutting raised propagators and localising renormalisation ⋮ All things retarded: radiation-reaction in worldline quantum field theory ⋮ A study of Feynman integrals with uniform transcendental weights and their symbology ⋮ Lepton-pair scattering with an off-shell and an on-shell photon at two loops in massless QED ⋮ Three-loop master integrals for the Higgs boson self-energy with internal top-quarks and \(W\)-bosons ⋮ \texttt{tapir}: a tool for topologies, amplitudes, partial fraction decomposition and input for reductions ⋮ Evaluation of Feynman integrals with arbitrary complex masses via series expansions ⋮ \texttt{AMFlow}: a Mathematica package for Feynman integrals computation via auxiliary mass flow ⋮ Two-loop master integrals for a planar and a non-planar topology relevant for single top production ⋮ Feynman integral reduction using Gröbner bases ⋮ Balancing act: multivariate rational reconstruction for IBP ⋮ Restrictions of Pfaffian systems for Feynman integrals ⋮ Soft theorem to three loops in QCD and \(\mathcal{N} = 4\) super Yang-Mills theory ⋮ What can be measured asymptotically? ⋮ Leading singularities in Baikov representation and Feynman integrals with uniform transcendental weight ⋮ On non-factorisable contributions to \(t\)-channel single-top production ⋮ Radiative quark jet function with an external gluon ⋮ On phase-space integrals with heaviside functions ⋮ Two-loop hexa-box integrals for non-planar five-point one-mass processes ⋮ Reduction of general one-loop integrals using auxiliary vector ⋮ Two-loop tensor integral coefficients in OpenLoops ⋮ Complete collection of one-loop triple-collinear splitting operators for dimensionally-regulated QCD ⋮ Baikov representations, intersection theory, and canonical Feynman integrals ⋮ Master integrals for mixed QCD-QED corrections to charged-current Drell-Yan production of a massive charged lepton ⋮ A Feynman integral depending on two elliptic curves ⋮ The SAGEX review on scattering amplitudes Chapter 3: Mathematical structures in Feynman integrals

Cites Work

• Unnamed Item
• Unnamed Item
• Magnus and Dyson series for master integrals
• FIRE5: a C++ implementation of Feynman integral REduction
• Finding linear dependencies in integration-by-parts equations: a Monte Carlo approach
• Sparse interpolation of multivariate rational functions
• All orders structure and efficient computation of linearly reducible elliptic Feynman integrals
• How to choose master integrals
• Interpolating polynomials from their values
• A probabilistic remark on algebraic program testing
• The NX message passing interface
• Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
• Ti\(k\)Z-Feynman: Feynman diagrams with Ti\(k\)Z
• Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections
• Early termination in sparse interpolation algorithms
• Decomposition of Feynman integrals by multivariate intersection numbers
• Kira -- a Feynman integral reduction program
• Results and techniques for higher order calculations within the gradient-flow formalism
• Decomposition of Feynman integrals on the maximal cut by intersection numbers
• A novel approach to integration by parts reduction
• FIRE6: Feynman integral reduction with modular arithmetic
• Reconstructing rational functions with \texttt{FireFly}
• HIGH-PRECISION CALCULATION OF MULTILOOP FEYNMAN INTEGRALS BY DIFFERENCE EQUATIONS
• Modern Computer Algebra
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• Lieu des pôles d'un système holonome d'équations aux différences finies
• On the computation of intersection numbers for twisted cocycles
• Differential equations for two-loop four-point functions.
• Interpolation of dense and sparse rational functions and other improvements in \texttt{FireFly}
• DiffExp, a Mathematica package for computing Feynman integrals in terms of one-dimensional series expansions