\textsc{NeatIBP} 1.0, a package generating small-size integration-by-parts relations for Feynman integrals

DOI10.1016/J.CPC.2023.108999MaRDI QIDQ6178490zbMATH OpenFDO

Authors Zihao Wu, Janko Böhm, Rourou Ma, Hefeng Xu, Yang Zhang

Publication date 16 January 2024

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

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

zbMATH Keywords

Feynman integralsIBP identitiesmodule intersection methodsyzygies

Mathematics Subject Classification ID

Numerical integration (65D30) Feynman integrals and graphs; applications of algebraic topology and algebraic geometry (81Q30) Feynman diagrams (81T18)

Abstract: In this work, we present the package {sc NeatIBP}, which automatically generates small-size integration-by-parts (IBP) identities for Feynman integrals. Based on the syzygy and module intersection techniques, the generated IBP identities' propagator degree is controlled and thus the size of the system of IBP identities is shorter than that generated by the standard Laporta algorithm. This package is powered by the computer algebra systems {sc Mathematica} and {sc Singular}, and the library {sc SpaSM}. It is parallelized on the level of Feynman integral sectors. The generated small-size IBP identities can subsequently be used for either finite field reduction or analytic reduction. We demonstrate the capabilities of this package on several multi-loop IBP examples.

Recommendations

• Integration-by-parts reductions of Feynman integrals using singular and GPI-space
• FIRE4, LiteRed and accompanying tools to solve integration by parts relations
• A new algorithm for the generation of unitarity-compatible integration by parts relations
• \texttt{AlgRel.wl}: algebraic relations for the product of propagators in Feynman integrals

Cites work

• \textsc{Azurite}: an algebraic geometry based package for finding bases of loop integrals
• \texttt{Reduze} -- Feynman integral reduction in \texttt{C++}
• A new algorithm for the generation of unitarity-compatible integration by parts relations
• A novel approach to integration by parts reduction
• A practical criterion of irreducibility of multi-loop Feynman integrals
• Algorithm FIRE-Feynman integral reduction
• Critical points and number of master integrals
• Decomposition of Feynman integrals by multivariate intersection numbers
• Decomposition of Feynman integrals on the maximal cut by intersection numbers
• Feynman integral reduction using Gröbner bases
• Feynman integral relations from parametric annihilators
• Feynman integrals and intersection theory
• FIRE4, LiteRed and accompanying tools to solve integration by parts relations
• FIRE5: a C++ implementation of Feynman integral REduction
• FIRE6: Feynman integral reduction with modular arithmetic
• Four-dimensional differential equations for the leading divergences of dimensionally-regulated loop integrals
• Generalized unitarity and one-loop amplitudes in N=1 super-Yang-Mills
• High-precision calculation of multiloop Feynman integrals by difference equations
• Integration by parts: an introduction
• Kira -- a Feynman integral reduction program
• Linear algebra to compute Syzygies and Gröbner bases
• Reducing full one-loop amplitudes to scalar integrals at the integrand level
• Scattering amplitudes over finite fields and multivariate functional reconstruction
• Syzygies probing scattering amplitudes
• The number of master integrals is finite
• Towards massively parallel computations in algebraic geometry

Cited in

(26)

• Balancing act: multivariate rational reconstruction for IBP
• \textsc{FeAmGen.jl}: a Julia program for \textbf{Fe}ynman \textbf{Am}plitude \textbf{Gen}eration
• Towards systematic evaluation of de Sitter correlators via generalized integration-by-parts relations
• Two-loop QCD corrections for three-photon production at hadron colliders
• A double copy from twisted (co)homology at genus one
• An improved framework for computing waveforms
• FeynCalc 10: do multiloop integrals dream of computer codes?
• Amplitudes, supersymmetric black hole scattering at \(\mathcal{O}(G^5)\), and loop integration
• Two-loop five-point two-mass planar integrals and double Lagrangian insertions in a Wilson loop
• Feynman integral reduction using syzygy-constrained symbolic reduction rules
• One-loop amplitudes for \(t\bar{t}j\) and \(t\bar{t}\gamma\) productions at the LHC through \(\mathcal{O}(\epsilon^2)\)
• Towards numerical two-loop integrand reduction
• Reconstructing Laurent expansion of rational functions using p-adic numbers
• CALICO: computing annihilators from linear identities constraining (differential) operators
• Scaling up to multivariate rational function reconstruction
• Performing integration-by-parts reductions using \textsc{NeatIBP} 1.1 + \textsc{Kira}
• Intersection numbers from companion tensor algebra
• From operator product expansion to anomalous dimensions
• On the seven-loop renormalization of Gross-Neveu model
• Intersection theory, relative cohomology and the Feynman parametrization
• The loop-by-loop Baikov representation -- strategies and implementation
• Semi-automatic calculations of multi-loop Feynman amplitudes with AmpRed
• Reduction to master integrals and transverse integration identities
• Twisted Riemann bilinear relations and Feynman integrals
• \texttt{Blade}: a package for block-triangular form improved Feynman integrals decomposition
• Mixed QCD-EW corrections to W-pair production at electron-positron colliders

This page was built for publication: \textsc{NeatIBP} 1.0, a package generating small-size integration-by-parts relations for Feynman integrals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178490)