Towards numerical two-loop integrand reduction
Giuseppe Bevilacqua, Dhimiter Canko, Costas Papadopoulos, Aris Spourdalakis
TL;DR
This work develops a general framework for integrand-level reduction of two-loop helicity amplitudes in $d=4-2\epsilon$ and $d=4$, expressing the amplitude as ${\cal A}^{(2)}=\sum_i c_i(\{p\})\,F_i$ with integrals ${F_i}$ and an ISP-based numerator expansion ${\cal N}=P^{(n)}+\sum P_i^{(n-1)}D_i+\cdots$. It introduces two complementary coefficient-extraction strategies: a linear-fit, cut-based approach and a global-fit approach, and further proposes projecting onto a full integral family to reduce the polynomial complexity. The method is tested across 4-, 5-, and 6-point processes, including double-box, penta-box, penta-triangle, hexabubble, non-planar double-box, $t\bar t$, $t\bar t H$, and six-gluon topologies, with both analytic and numerically supplied numerators, demonstrating consistent reconstruction of integrand coefficients. Findings indicate that projecting over a full family and using the two-fit strategies yields a scalable path toward automated two-loop amplitude calculations for arbitrary processes, compatible with IBP-based master integral reductions. The work lays the groundwork for integrating this reduction with numerical numerator evaluation (via HELAC-2LOOP) and existing master integral libraries, advancing toward a fully automated two-loop computational framework. The results hold potential to significantly improve precision predictions at NNLO and beyond for multi-leg scattering processes at current and future colliders.
Abstract
We present a method for the integrand-level reduction of two-loop helicity amplitudes in both $d=4-2ε$ and $d=4$ dimensions. The amplitude is expressed in terms of a set of Feynman integrals and their coefficients that depend on the external kinematics. The analysis presented in this paper, in conjunction with the ongoing development of the computational framework $\text{HELAC-2LOOP}$, paves the road for the construction of an automated program for two-loop amplitude calculations for arbitrary scattering processes.
