Abstract:Integration-by-parts (IBP) reduction is one of the essential steps in evaluating Feynman integrals. A modern approach to IBP reduction uses modular arithmetic evaluations with parameters set to numerical values at sample points, followed by reconstruction of the analytic rational coefficients. Due to the large number of sample points needed, problems at the frontier of science require an application of supercomputers. In this article, we present a rational function reconstruction method that fully takes advantage of sparsity, combining the balanced reconstruction method and the Zippel method. Additionally, to improve the efficiency of the finite-field IBP reduction runs, at each run several numerical probes are computed simultaneously, which allows to decrease the resource overhead. We describe what performance issues one encounters on the way to an efficient implementation on supercomputers, and how one should co-design the algorithm and the supercomputer infrastructure. Benchmarks are presented for IBP reductions for massless two-loop four- and five-point integrals using a development version of FIRE, as well as synthetic examples mimicking the coefficients involved in scattering amplitudes for post-Minkowskian gravitational binary dynamics.

Recursive structure of Baikov representations: The top-down reduction with intersection theory

The recursive structure of Baikov representations II: the top-down reduction with intersection theory

Recursive structure of Baikov representations: Generics and application to symbology

The recursive structure of Baikov representations I: generics and application to symbology

Module Intersection and Uniform Formula for Iterative Reduction of One-loop Integrals

Tensor Loop Reduction via the Baikov Representation and an Auxiliary Vector

Baikov representations, intersection theory, and canonical Feynman integrals

Intersection theory, relative cohomology and the Feynman parametrization

Reduction of two-loop Feynman integrals in parametric representation with syzygy trick

Decomposition of Feynman integrals by multivariate intersection numbers

The Loop-by-Loop Baikov Representation -- Strategies and Implementation

Decomposition of Feynman integrals on the maximal cut by intersection numbers

Baikov-Lee Representations Of Cut Feynman Integrals

Reduction to master integrals via intersection numbers and polynomial expansions

On the finite basis topologies for multi-loop high-multiplicity Feynman integrals

Reduction to master integrals and transverse integration identities

Iteratively Reduce Auxiliary Scalar Product in Multi-loop Integrals

Universal Treatment of the Reduction for One-Loop Integrals in a Projective Space

A practical criterion of irreducibility of multi--loop Feynman integrals

Feynman integral reduction: balanced reconstruction of sparse rational functions and implementation on supercomputers in a co-design approach

PV-reduction of Sunset Topology with Auxiliary Vector