arXiv++ Combinatorics

Planar arrays of tree diagrams were introduced as a generalization of Feynman diagrams that enables the computation biadjoint amplitudes $m^{(k)}_n$ for $k>2$ . In this follow-up work we investigate the poles of $m^{(k)}_n$ from the perspective of such arrays. For general $k$ we characterize the underlying polytope as a Flag Complex and propose a computation of the amplitude based solely on the knowledge of poles, which number is drastically less than the number of full arrays. As an example we first provide all the poles for the cases $(k,n)=(3,7),(3,8),(4,8)$ and $(4,9)$ in terms of their generalized Feynman diagrams. We then implement a simple compatibility criteria together with an addition operation between arrays, and recover the full collections/arrays recently presented for such cases. Along the way we implement hard and soft kinematical limits, which provide a map between poles in kinematic space and their combinatoric arrays. We use the operation to give a proof of a previously conjectured combinatorial duality for arrays in $(k,n)$ and $(n-k,n)$. We also outline the relation to boundary maps of the hypersimplex $Δ_{k,n}$ and rays in the tropical Grassmannian $\textrm{Tr}(k,n)$.

Very recently planar collections of Feynman diagrams were proposed by Borges and one of the authors as the natural generalization of Feynman diagrams for the computation of $k=3$ biadjoint amplitudes. Planar collections are one-dimensional arrays of metric trees satisfying an induced planarity and compatibility condition. In this work we introduce planar matrices of Feynman diagrams as the objects that compute $k=4$ biadjoint amplitudes. These are symmetric matrices of metric trees satisfying compatibility conditions. We introduce two notions of combinatorial bootstrap techniques for finding collections from Feynman diagrams and matrices from collections. As applications of the first, we find all $693$, $13\,612$, and $346\,710$ collections for $(k,n)=(3,7), (3,8),$ and $(3,9)$ respectively. As applications of the second kind, we find all $90\, 608$ and $30\,659\,424$ planar matrices that compute $(k,n)=(4,8)$ and $(4,9)$ biadjoint amplitudes respectively. As an example of the evaluation of matrices of Feynman diagrams, we present the complete form of the $(4,8)$ and $(4,9)$ biadjoint amplitudes. We also start the study of higher dimensional arrays of Feynman diagrams, including the combinatorial version of the duality between $(k,n)$ and $(n-k,n)$ objects.

We introduce a natural generalization of the scattering equations, which connect the space of Mandelstam invariants to that of points on ${\mathbb{CP}^1}$, to higher-dimensional projective spaces $\mathbb{CP}^{k-1}$. The standard, $k=2$ Mandelstam invariants, $s_{ab}$, are generalized to completely symmetric tensors $\textsf{s}_{a_1a_2\ldots a_k}$ subject to a `massless' condition $\textsf{s}_{a_1a_2\cdots a_{k-2}\,b\,b}=0$ and to `momentum conservation'. The scattering equations are obtained by constructing a potential function and computing its critical points. We mainly concentrate on the $k=3$ case: study solutions and define the generalization of biadjoint scalar amplitudes. We compute all `biadjoint amplitudes' for $(k,n)=(3,6)$ and find a direct connection to the tropical Grassmannian. This leads to the notion of $k=3$ Feynman diagrams. We also find a concrete realization of the new kinematic spaces, which coincides with the spinor-helicity formalism for $k=2$, and provides analytic solutions analogous to the MHV ones.

In this paper we study an algebra that naturally combines two familiar operations in scattering amplitudes: computations of volumes of polytopes using triangulations and constructions of canonical forms from products of smaller ones. We mainly concentrate on the case of $G(2,n)$ as it controls both general MHV leading singularities and CHY integrands for a variety of theories. This commutative algebra has also appeared in the study of configuration spaces and we called it the $Δ$-algebra. As a natural application, we generalize the well-known square move. This allows us to generate infinite families of new moves between non-planar on-shell diagrams. We call them sphere moves. Using the $Δ$-algebra we derive familiar results, such as the KK and BCJ relations, and prove novel formulas for higher-order relations. Finally, we comment on generalizations to $G(k,n)$.