arXiv++ Combinatorics

We present a closed formula for all Bern-Carrasco-Johansson (BCJ) numerators describing $D$-dimensional tree-level scattering amplitudes in a heavy-mass effective field theory with two massive particles and an arbitrary number of gluons. The corresponding gravitational amplitudes obtained via the double copy directly enter the computation of black-hole scattering and gravitational-wave emission. Our construction is based on finding a kinematic algebra for the numerators, which we relate to a quasi-shuffle Hopf algebra. The BCJ numerators thus obtained have a compact form and intriguing features: gauge invariance is manifest, locality is respected for massless exchange, and they contain poles corresponding to massive exchange. Counting the number of terms in a BCJ numerator for $n{-}2$ gluons gives the Fubini numbers $\mathsf{F}_{n-3}$, reflecting the underlying quasi-shuffle Hopf algebra structure. Finally, by considering an appropriate factorisation limit, the massive particles decouple, and we thus obtain a kinematic algebra and all tree-level BCJ numerators for $D$-dimensional pure Yang-Mills theory.

We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We make significant progress towards a general classification of arbitrary on-shell diagrams by means of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and it matches the combinatorial description of the diagrams in terms of generalized matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Plucker coordinates beyond Plucker relations when deleting edges, which are neatly captured by the generalized matching and matroid polytopes. This behavior is tied to the existence of a new type of poles in the on-shell form at which combinations of Plucker coordinates vanish. Finally, we introduce a prescription, applicable beyond the MHV case, for writing the on-shell form as a function of minors directly from the graph.