The existence of a finite basis of algebraically independent one-loop integrals has underpinned important developments in the computation of one-loop amplitudes in field theories and gauge theories, in particular. We give an explicit construction reducing integrals with massless propagators to a finite basis for planar integrals at two loops, both to all orders in the dimensional regulator $ϵ$, and also when all integrals are truncated to $\mathcal{O}(ϵ)$. We show how to reorganize integration-by-parts equations to obtain elements of the first basis efficiently, and how to use Gram determinants to obtain additional linear relations reducing this all-orders basis to the second one. The techniques we present should apply to nonplanar integrals, to integrals with massive propagators, and beyond two loops as well.

• Received 11 October 2010

DOI:https://doi.org/10.1103/PhysRevD.83.045012