NeatIBP 1.0, A package generating small-size integration-by-parts relations for Feynman integrals
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 23 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.
-
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.
-
NNLO QCD predictions for $t\bar{t}W$ production at the LHC
NNLO QCD predictions for ttW production with two-loop amplitudes evaluated explicitly in the generalised leading-colour limit.
-
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.
-
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.
-
NNLO QCD predictions for $t\bar t W$ production at hadron colliders
NNLO QCD predictions for ttW production at hadron colliders using direct two-loop amplitude computation in the generalised leading-colour limit.
-
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...
-
The OPE Approach to Renormalization: Operator Mixing
OPE-based recursive renormalization for mixed composite operators gives five-loop anomalous dimensions in phi^4 and two-loop in phi^3 models.
-
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.
-
Two-loop all-plus helicity amplitudes for self-dual Higgs boson with gluons via unitarity cut constraints
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.
-
Double virtual QCD corrections to $t\bar{t}+$jet production at the LHC
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.
-
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...
-
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.
-
Four-loop Anomalous Dimensions of Scalar-QED Theory from Operator Product Expansion
Four-loop anomalous dimension of φ^Q in scalar-QED computed via OPE, extending prior three-loop results and validating the method in a gauge theory.
-
New algorithms for Feynman integral reduction and $\varepsilon$-factorised differential equations
A geometric order relation in IBP reduction yields a master-integral basis with Laurent-polynomial differential equations on the maximal cut that are then ε-factorized.
-
Weak-field waveforms for generic relativistic orbits
Outlines a Schwinger-Keldysh path-integral framework that derives worldline equations of motion and computes weak-field gravitational waveforms independently for unspecified relativistic orbits.
-
Multi-Loop Negative Geometries
Explicit three-loop computation of negative geometries for F(g,z) with all-loop resummation of one-cycle diagrams and extraction of the cusp anomalous dimension via z-integration.
-
SubTropica
SubTropica is a software package that automates symbolic integration of linearly-reducible Euler integrals via tropical subtraction, supported by HyperIntica and an AI-driven Feynman integral database.
-
Feynman Integral Reduction without Integration-By-Parts
Contour equivalence in Feynman parameterization yields universal reduction formulas for one-loop integrals without integration-by-parts.
-
One-loop amplitudes for $t\bar{t}j$ and $t\bar{t}\gamma$ productions at the LHC through $\mathcal{O}(\epsilon^2)$
Analytic expressions for one-loop helicity amplitudes in ttj and ttγ production are derived to O(ε²) as linear combinations of pentagon functions with rational coefficients in momentum-twistor variables, obtained via ...
-
From geometry to phenomenology
Feynman integrals with mixed geometries (K3 surfaces, curves, points) can be computed more efficiently by extracting and using their algebraic geometric properties.
-
Les Houches 2023 -- Physics at TeV Colliders: Report on the Standard Model Precision Wishlist
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.