arXiv++ Combinatorics

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)$.

This paper investigates enumerative aspects of permutohedral blades, which provide a generalization of the notion of the tropical hyperplane arrangement. Blade provide the combinatorial underpinning of generalized biadjoint scalar scattering amplitudes in work of Cachazo, Early, Guevara and Mizera (CEGM). We construct a graded basis for a vector space of indicator functions of blades, with the grading determined by the dimension of the support of the function. We prove a Minkowski sum decomposition law into lines and tripods and we explore connections to the cohomology ring of certain moduli spaces and a non-planar analog of the square move for plabic graphs. We give a closed formula for the graded dimension of the basis. It is shown in an Appendix by Donghyun Kim that the coefficients appearing in the numerator of the generating function for the graded dimension are symmetric, and that they sum to $\frac{(2j)!}{j!}$. Unimodality is still open.

S. Whitehouse's lifts of the Eulerian representations of $S_n$ to $S_{n+1}$ are reinterpreted, topologically and ring-theoretically, building on the first author's work on A. Ocneanu's theory of permutohedral blades.

In this note, we study the permutohedral geometry of the poles of a certain differential form introduced in recent work of Arkani-Hamed, Bai, He and Yan. There it was observed that the poles of the form determine a family of polyhedra which have the same face lattice as that of the permutohedron. We realize that family explicitly, proving that it in fact fills out the configuration space of a particularly well-behaved family of generalized permutohedra, the zonotopal generalized permutohedra, that are obtained as the Minkowski sums of line segments parallel to the root directions $e_i-e_j$. Finally we interpret Mizera's formula for the biadjoint scalar amplitude $m(\mathbb{I}_n,\mathbb{I}_n)$, restricted to a certain dimension $n-2$ subspace of the kinematic space, as a sum over the boundary components of the standard root cone, which is the conical hull of the roots $e_1-e_2,\ldots, e_{n-2}-e_{n-1}$.

We study three finite-dimensional quotient vector spaces constructed from the linear span of the set of characteristic functions of permutohedral cones by imposing two kinds of constraints: (1) neglect characteristic functions of higher codimension permutohedral cones, and (2) neglect characteristic functions of non-pointed permutohedral cones. We construct an ordered basis which is canonical, in the sense that it has subsets which map onto ordered bases for the quotients. We present straightening relations to the canonical basis, and using Laplace transforms we obtain functional representations for each quotient space.

We formulate conjectures giving combinatorial interpretations of the Ehrhart $h^*$-vector, for hypersimplices, for dilated simplices and for generic cross-sections of cubes, in terms of certain decorated ordered set partitions. All were formulated and checked computationally during our graduate study at Penn State.

In this note, we apply combinatorial techniques from our Ph.D. thesis to study how generalized permutohedra may be represented functionally on Parke-Tayor factors and related rational functions. In any functional representation of polyhedral cones, in general certain homological information may be lost. The combinatorial relations of the Parke-Taylor factors lift homologically to generalized permutohedra. The 6-particle case contains several related layers of interesting geometric data: the Newton polytope for the polynomial numerator lifts the permutohedron in three variables, which is a hexagon, and the fraction itself provides a functional representation of certain neighborhoods of a vertex of a 5-dimensional weight permutohedron. The lift from fraction to generalized permutohedron was derived by comparing functional representations. We observe additionally that the numerator and its permutations satisfy a degree 3 polynomial relation which defines a classical projective variety known as the Segre cubic. We include in an extended Appendix selected Mathematica code which can be used to verify our computations independently.

In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation. In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation. A detailed paper is in preparation.