arXiv++ Combinatorics

Scaffolds are the one-dimensional skeleta of high-dimensional flag simplicial complexes of nonpositive curvature. They generalize the phylogenetic trees of Trop G(2,n) to arbitrary $k$, drawing together SL(k)-web bases, affine buildings, the combinatorics of the positive tropical Grassmannian and low-dimensional topology. We prove that scaffolds model points in all tropical Grassmannians via a $k$-point distance function. In this paper, we study in detail CAT(0) planar graphs, which are positive scaffolds for the tropical Grassmannian of three-planes. CAT(0) planar graphs are directed versions of the diskoids of Fontaine-Kamnitzer-Kuperberg, planar dual to SL(3)-webs. Our main result is the construction of a unique representation of any given integer positive tropical Plucker vector by a normal CAT(0) planar graph. We show that any normal CAT(0) planar graph embeds into the tropical linear space as a Lam-Postnikov membrane, and embeds into the Keel-Tevelev membrane within the affine building. We show that Early's planar basis expansion can be computed directly from the strand combinatorics of the dual web, and connect this expansion to Petersen-Pylyavskyy-Speyer's noncrossing tableaux, explored further in our companion paper.

While the positive Grassmannian is deeply understood through the rich combinatorics of plabic graphs and positroid cells, its tropical counterpart, the positive tropical Grassmannian Trop$_{>0}G(k,n)$, has lacked a comparable structural framework for general $k$. Both the global face structure of Trop$_{>0}G(k,n)$ and the internal metric geometry of the tropical linear spaces it parametrizes have remained largely uncharted. This paper develops a systematic algebraic and polyhedral foundation that resolves this gap. The engine of our framework is a fundamental tropical duality, analogous to the duality between cluster variables (or more precisely, their $u$-coordinates) and $\mathbf{g}$-vectors, pairing two families of objects introduced by the first author: the planar basis of tropical Plücker vectors and the planar cross-ratios on the positive configuration space. We prove that this duality links the fan structure of the positive tropical Grassmannian to the noncrossing fan of Santos, Stump, and Welker, yielding a global bijection between integer points of $Trop_{>0}G(k,n)$ and noncrossing tableaux. We then study how this discrete combinatorial data controls the continuous metric geometry of positive tropical linear spaces. We realize the bounded complex of an integer positive tropical linear space as the subdifferential of a central roof function on the hypersimplex, and use this realization to embed it into a dilate of the fundamental alcoved simplex. The dilation factor, and hence the geometric diameter of the complex, is governed by a single invariant, the planar kinematics ($K) weight, which we show equals the number of columns in the associated noncrossing tableau. The results of this work are applied in our parallel work on scaffolds for higher tropical Grassmannians.

Studying quantum field theories through geometric principles has revealed deep connections between physics and mathematics, including the discovery by Cachazo, Early, Guevara and Mizera (CEGM) of a generalization of biadjoint scalar amplitudes. However, extending this to generalizations of other quantum field theories remains a central challenge. Recently it has been discovered that the nonlinear sigma model (NLSM) emerges after a certain zero-preserving deformation from $\text{tr}(φ^3)$. In this work, we find a much richer story of zero-preserving deformations in the CEGM context, yielding generalized NLSM amplitudes. We prove an explicit formula for the residual embedding of an $n$-point NLSM amplitude in a mixed $n+2$ point generalized NLSM amplitude, which provides a strong consistency check on our generalization. We show that the dimension of the space of pure kinematic deformations is $\gcd(k,n)-1$, we introduce a deformation-compatible modification of the Global Schwinger Parameterization, and we include a new proof, using methods from matroidal blade arrangements, of the linear independence for the set of planar kinematic invariants for CEGM amplitudes. Our framework is compatible with string theory through recent generalizations of the Koba-Nielsen string integral to any positive configuration space $X^+(k,n)$, where the usual Koba-Nielsen string integral corresponds to $X(2,n) = \mathcal{M}_{0,n}$.

Alcoved polytopes are characterized by the property that all facet normal directions are parallel to the roots $e_i-e_j$. Unlike other prominent families of polytopes, like generalized permutahedra, alcoved polytopes are not closed under Minkowski sums. We nonetheless show that the Minkowski sum of a collection of alcoved polytopes is alcoved if and only if each pairwise sum is alcoved. This implies that the type fan of alcoved polytopes is determined by its two-dimensional cones. Moreover, we provide a complete characterization of when the Minkowski sum of alcoved simplices is again alcoved via a graphical criterion on pairs of ordered set partitions. Our characterization reduces to checking conditions on restricted partitions of length at most six. In particular, we show how the Minkowski sum decompositions of the two most well-known families of alcoved polytopes, the associahedron and the cyclohedron, fit in our framework. Additionally, inspired by the physical construction of one-loop scattering amplitudes, we present a new infinite family of alcoved polytopes, called $\widehat{D}_n$ polytopes. We conclude by drawing a connection to matroidal blade arrangements and the Dressian.

Recent developments in particle physics have revealed deep connections between scattering amplitudes and tropical geometry. From the heart of this relationship emerged the chirotropical Grassmannian $\text{Trop}^χ\text{G}(k,n)$ and the chirotropical Dressian $\text{Dr}^χ(k,n)$, polyhedral fans built from uniform realizable chirotopes that encode the combinatorial structure of Generalized Feynman Diagrams. We prove that $\text{Trop}^χ\text{G}(3,n) = \text{Dr}^χ(3,n)$ for $n = 6,7,8$, and develop algorithms to compute these objects from their rays modulo lineality. Using these algorithms, we compute all chirotropical Grassmannians $\text{Trop}^χ\text{G}(3,n)$ for $n = 6,7,8$ across all isomorphism classes of chirotopes. We prove that each chirotopal configuration space $X^χ(3,6)$ is diffeomorphic to a polytope and propose an associated canonical logarithmic differential form. Finally, we show that the equality between chirotropical Grassmannian and Dressian fails for $(k,n) = (4,8)$.

Minimal kinematics identifies likelihood degenerations where the critical points are given by rational formulas. These rest on the Horn uniformization of Kapranov-Huh. We characterize all choices of minimal kinematics on the moduli space $\mathcal{M}_{0,n}$. These choices are motivated by the CHY model in physics and they are represented combinatorially by 2-trees. We compute 2-tree amplitudes, and we explore extensions to non-planar on-shell diagrams, here identified with the hypertrees of Castravet-Tevelev.

A detailed understanding of the moduli spaces $X(k,n)$ of $n$ points in projective $k-1$ space is essential to the investigation of generalized biadjoint scalar amplitudes, as discovered by Cachazo, Early, Guevara and Mizera (CEGM) in 2019. But in math, conventional wisdom says that it is completely hopeless due to the arbitrarily high complexity of realization spaces of oriented matroids. In this paper, we nonetheless find a path forward. We present a Lie-theoretic realization of color factors for color-dressed generalized biadjoint scalar amplitudes, formulated in terms of certain tilings of the real moduli space $X(k,n)$ and collections of logarithmic differential forms, resolving an important open question from recent work by Cachazo, Early and Zhang. The main idea is to replace the realization space decomposition of $X(k,n)$ with a large class of overlapping tilings whose topologies are individually relatively simple. So we obtain a collection of color-dressed amplitudes, each of which satisfies $U(1)$ decoupling separately. The essential complexity appears when they are all superposed.

Real, complex, and tropical algebraic geometry join forces in a new branch of mathematical physics called positive geometry. We develop the positive geometry of del Pezzo surfaces and their moduli spaces, viewed as very affine varieties. Their connected components are derived from polyhedral spaces with Weyl group symmetries. We study their canonical forms and scattering amplitudes, and we solve the likelihood equations.

In a recent paper, we defined generalized color orderings (GCO) and Feynman diagrams (GFD) to compute color-dressed generalized biadjoint amplitudes. In this work, we study the Cachazo-Early-Guevara-Mizera (CEGM) representation of generalized partial amplitudes and ``decoupling" identities. This representation is a generalization of the Cachazo-He-Yuan (CHY) formulation as an integral over the configuration space $X(k,n)$ of $n$ points on $\mathbb{CP}^{k-1}$ in generic position. Unlike the $k=2$ case, Parke-Taylor-like integrands are not enough to compute all partial amplitudes for $k>2$. Here we give a set of constraints that integrands associated with GCOs must satisfy and use them to construct all $(3,n<9)$ integrands, all $(3,9)$ integrands up to four undetermined constants, and $95 \%$ of $(4,8)$ integrands up to 24 undetermined constants. $k=2$ partial amplitudes are known to satisfy identities. Among them, the so-called $U(1)$ decoupling identities are the simplest ones. These are characterized by a label $i$ and a color ordering in $X(2,|[n]\setminus \{i\}|)$. Here we introduce decoupling identities for $k>2$ determined combinatorially using GCOs. Moreover, we identify the natural analog of $U(1)$ identities as those characterized by a pair of labels $i\neq j$, and a pair of GCOs, one in $X(k,|[n]\setminus \{i\}|)$ and the other in $X(k-1,|[n]\setminus \{j\}|)$. We call them {\it double extension} identities. We also provide explicit connections among different ways of representing GCOs, such as configurations of lines, configurations of points, and reorientation classes of uniform oriented matroids (chirotopes).

The goal of this paper is to make a connection between tropical geometry, representations of quantum affine algebras, and scattering amplitudes in physics. The connection allows us to study important and difficult questions in these areas: (1) We give a systematic construction of prime modules (including prime non-real modules) of quantum affine algebras using tropical geometry. We also introduce new objects which generalize positive tropical Grassmannians. (2) We propose a generalization of Grassmannian string integrals in physics, in which the integrand is no longer a finite, but rather an infinite product indexed by prime modules of a quantum affine algebra. We give a general formula of $u$-variables using prime tableaux (corresponding to prime modules of quantum affine algebras of type $A$) and Auslander-Reiten quivers of Grassmannian cluster categories. (3) We study limit $g$-vectors of cluster algebras. This is another way to obtain prime non-real modules of quantum affine algebras systematically. Using limit $g$-vectors, we construct new examples of non-real modules of quantum affine algebras.

The biadjoint scalar theory has cubic interactions and fields transforming in the biadjoint representation of ${\rm SU}(N)\times {\rm SU}\big({\tilde N}\big)$. Amplitudes are "color" decomposed in terms of partial amplitudes computed using Feynman diagrams which are simultaneously planar with respect to two orderings. In 2019, a generalization of biadjoint scalar amplitudes based on generalized Feynman diagrams (GFDs) was introduced. GFDs are collections of Feynman diagrams derived by incorporating an additional constraint of "local planarity" into the construction of the arrangements of metric trees in combinatorics. In this work, we propose a natural generalization of color orderings which leads to color-dressed amplitudes. A generalized color ordering (GCO) is defined as a collection of standard color orderings that is induced, in a precise sense, from an arrangement of projective lines on $\mathbb{RP}^2$. We present results for $n\leq 9$ generalized color orderings and GFDs, uncovering new phenomena in each case. We discover generalized decoupling identities and propose a definition of the "colorless" generalized scalar amplitude. We also propose a notion of GCOs for arbitrary $\mathbb{RP}^{k-1}$, discuss some of their properties, and comment on their GFDs. In a companion paper, we explore the definition of partial amplitudes using CEGM integral formulas.

We study the problem of factorization for residues of generalized biadjoint scalar scattering amplitudes $m^{(k)}_n$, introduced by Cachazo, Early, Guevara and Mizera (CEGM), involving multi-dimensional residues which factorize generically into $k$-ary products of lower-point generalized biadjoint amplitudes of the same type $m^{(k)}_{n_1}\cdots m^{(k)}_{n_k}$, where $n_1+\cdots +n_k = n+k(k-1)$, noting that smaller numbers of factors arise as special cases. Such behavior is governed geometrically by regular matroid subdivisions of hypersimplices and cones in the positive tropical Grassmannian, and combinatorially by collections of compatible decorated ordered set partitions, considered modulo cyclic rotation. We make a proposal for conditions under which this happens and we develop $k=3,4$ in detail. We conclude briefly to propose a novel formula to construct coarsest regular matroid subdivisions of all hypersimplices $Δ_{k,n}$ and rays of the positive tropical Grassmannian, which should be of independent interest.

In the Grassmannian formulation of the S-matrix for planar $\mathcal{N}=4$ Super Yang-Mills, $N^{k-2}MHV$ scattering amplitudes for $k$ negative and $n-k$ positive helicity gluons can be expressed, by an application of the global residue theorem, as a signed sum over a collection of $(k-2)(n-k-2)$-dimensional residues. These residues are supported on certain positroid subvarieties of the Grassmannian $G(k,n)$. In this paper, we replace the Grassmannian $G(3,n)$ with its torus quotient, the moduli space of $n$ points in the projective plane in general position, and planar $\mathcal{N}=4$ SYM with generalized biadjoint scalar amplitudes $m^{(3)}_n$ as introduced by Cachazo-Early-Guevara-Mizera (CEGM). Whereas in the Grassmannian formulation residues of the Parke-Taylor form correspond to individual BCFW, or on-shell diagrams, we show that each such $(n-5)$-dimensional residue of $m^{(3)}_n$ is an entire biadjoint scalar partial amplitude $m^{(2)}_n$, that is a sum over all tree-level Feynman diagrams for a fixed planar order. We propose a generalization which would give rise to identifications of $m^{(2)}_n$ inside $m^{(k)}_n$ for $k\ge 4$, via $(k-2)(n-k-2)$-dimensional residues. Our proof for $k=3$ uses the CEGM formula for $m^{(3)}_n$; it predicts a new Minkowski sum realization of the associahedron in terms of certain positroid polytopes in the second hypersimplex $Δ_{2,n}$.

In this paper, we study a novel behavior developed by certain tree-level scalar scattering amplitudes, including the biadjoint, NLSM, and special Galileon, when a subset of kinematic invariants vanishes without producing a singularity. This behavior exhibits properties which we call $\textit{smooth splitting}$ and $\textit{semi-locality}$. The former means that an amplitude becomes the product of exactly three amputated Berends-Giele currents, while the latter means that any two currents share one external particle. We call these smooth splittings 3-splits. In fact, there are exactly $\binom{n}{3}-n$ such 3-splits, one for each generic, interior triangle in a polygon; as they cannot be obtained from standard factorization, they are a new phenomenon in Quantum Field Theory. In fact, the resulting splitting is analogous to the one first seen in Cachazo-Early-Guevara-Mizera (CEGM) amplitudes which generalize standard cubic scalar amplitudes from their ${\rm Tr}\, G(2,n)$ formulation to ${\rm Tr}\, G(k,n)$, where ${\rm Tr}\, G(k,n)$ is the tropical Grassmannian. Along the way, we show how smooth splittings naturally lead to the discovery of mixed amplitudes in the NLSM and special Galileon theories and to novel BCFW-like recursion relations for NLSM amplitudes.

In this paper we study the role of planarity in generalized scattering amplitudes, through several closely interacting structures in combinatorics, algebraic and tropical geometry. The generalized biadjoint scalar amplitude, introduced recently by Cachazo-Early-Guevara-Mizera (CEGM), is a rational function of homogeneous degree $-(k-1)(n-k-1)$ in $\binom{n}{k}-n$ independent variables; its poles can be constructed directly from the rays of the positive tropical Grassmannian. We introduce for each pair of integers $(k,n)$ with $2\le k\le n-2$ a system of generalized positive roots which arises as a specialization of the planar basis of kinematic invariants. We prove that the higher root polytope $\mathcal{R}^{(k)}_{n-k}$ has volume the k-dimensional Catalan number $C^{(k)}_{n-k}$, via a flag unimodular triangulation into simplices, in bijection with noncrossing collections of $k$-element subsets. We also give a bijection between certain positroidal subdivisions, called tripods, of the hypersimplex $Δ_{3,n}$ and noncrossing pairs of 3-element subsets that are not weakly separated. We show that the facets of the Planar Kinematics (PK) polytope, introduced recently by Cachazo and the author, are exactly the $\binom{n}{k}-n$ generalized positive roots. We show that the PK specialization of the generalized biadjoint amplitude evaluates to $C^{(k)}_{n-k}$. Looking forward, we give defining equations and conjecture explicit solutions using $(\mathbb{CP}^{n-k-1})^{\times (k-1)}$ via a notion of compatibility degree for noncrossing collections, for a two parameter family of generalized worldsheet associahedra $\mathcal{W}^+_{k,n}$. These specialize when $k=2$ to a certain dihedrally invariant partial compactification of the configuration space $M_{0,n}$ of $n$ distinct points in $\mathbb{CP}^{1}$. Many detailed examples are given throughout to motivate future work.

In this paper we prove that points in the space $X(k,n)$ of configurations of $n$ points in $\mathbb{CP}^{k-1}$ which are fixed under a certain cyclic action are the solutions to the generalized scattering equations on planar kinematics (PK). In the first part, we give a constructive upper bound: we show that these solutions inject into certain aperiodic k-element subsets of $\{1,\ldots, n\}$, and consequently that their number is bounded above by the number of Lyndon words with k one's and n-k zeros. The proof uses a somewhat surprising connection between the superpotential of the mirror of $G(n-k,n)$ and the generalized CHY potential on $X(k,n)$. We also check the recent conjecture that generalized biadjoint amplitudes evaluate to $k$-dimensional Catalan numbers on PK for several examples including $k=3$ and $n\leq 40$ and $(k,n)=(6,13)$. We then reformulate the CEGM generalized biadjoint scalar amplitude directly as a Laplace transform-type integral over ${\rm Trop}^+ G(k,n)$ and we use it to evaluate the amplitude on PK with the purpose of exhibiting how GFD's glue together. We initiate the study of two minimal lattice polytopal neighborhoods of the planar kinematics point. One of these, the rank-graded root polytope $\mathcal{R}_{k,n}$, in the case $k=2$, is a projection of the standard type A root polytope. The other, denoted $Π_{k,n}$, in the case $k=2$, is a degeneration of the associahedron. We check up to and including $\mathcal{R}_{3,9}$ and $\mathcal{R}_{4,9}$ that the relative volume of $\mathcal{R}_{k,n}$ is the multi-dimensional Catalan number $C^{(k)}_{n-k}$, hinting towards the possibility of deeper geometric and combinatorial interpretations of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ near the PK point.

In this paper, we continue our study of blade arrangements and the positroidal subdivisions which are induced by them on $Δ_{k,n}$. A blade is a tropical hypersurface which is generated by a system of $n$ affine simple roots of type $SL_n$ that enjoys a cyclic symmetry. When placed at the center of a simplex, a blade induces a decomposition into $n$ maximal cells which are known as Pitman-Stanley polytopes. We introduce a complex $(B_{k,n},\partial)$ of weighted blade arrangements and we prove that the positive tropical Grassmannian surjects onto the top component of the complex, such that the induced weights on blades in the faces $Δ_{2,n-(k-2)}$ of $Δ_{k,n}$ are (1) nonnegative and (2) their support is weakly separated. We finally introduce a hierarchy of elementary weighted blade arrangements for all hypersimplices which is minimally closed under the boundary maps $\partial$, and apply our result to classify up to isomorphism type all rays of the positive tropical Grassmannian $\text{Trop}_+ G(3,n)$ for $n\le 9$.

In this note we present a formula for the Cachazo-Early-Guevara-Mizera (CEGM) generalized biadjoint amplitudes for all $k$ and $n$ on what we call the minimal kinematics. We prove that on the minimal kinematics, the scattering equations on the configuration space of $n$ points on $\mathbb{CP}^{k-1}$ has a unique solution, and that this solution is in the image of a Veronese embedding. The minimal kinematics is an all $k$ generalization of the one recently introduced by Early for $k=2$ and uses a choice of cyclic ordering. We conjecture an explicit formula for $m_n^{(k)}(\mathbb{I},\mathbb{I})$ which we have checked analytically through $n=10$ for all $k$. The answer is a simple rational function which has only simple poles; the poles have the combinatorial structure of the circulant graph ${\rm C}_n^{(1,2,\dots, k-2)}$. Generalized biadjoint amplitudes can also be evaluated using the positive tropical Grassmannian ${\rm Tr}^+{\rm G}(k,n)$ in terms of generalized planar Feynman diagrams. We find perfect agreement between both definitions for all cases where the latter is known in the literature. In particular, this gives the first strong consistency check on the $90\,608$ planar arrays for ${\rm Tr}^+{\rm G}(4,8)$ recently computed by Cachazo, Guevara, Umbert and Zhang. We also introduce another class of special kinematics called planar-basis kinematics which generalizes the one introduced by Cachazo, He and Yuan for $k=2$ and uses the planar basis recently introduced by Early for all $k$. Based on numerical computations through $n=8$ for all $k$, we conjecture that on the planar-basis kinematics $m_n^{(k)}(\mathbb{I},\mathbb{I})$ evaluates to the multidimensional Catalan numbers, suggesting the possibility of novel combinatorial interpretations. For $k=2$ these are the standard Catalan numbers.

In recent work of Cachazo, Guevara, Mizera and the author, a generalization of the biadjoint scattering amplitude $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ was introduced as an integral over the moduli space of $n$ points in $\mathbb{CP}^{k-1}$, with value a sum of certain rational functions on the kinematic space $\mathcal{K}_{k,n}$. It was shown there for $m^{(3)}(\mathbb{I}_6,\mathbb{I}_6)$ and later by Cachazo and Rojas that collections of poles appearing in $m^{(3)}(\mathbb{I}_7,\mathbb{I}_7)$ are compatible exactly when they are dual to collections of rays which generate the maximal faces of a polyhedral complex known as the (nonnegative) tropical Grassmannian. In this note, we derive a remarkable planar basis for the space of generalized kinematic invariants which coincides in the case $k=2$ with usual standard planar multi-particle basis for the kinematic space. We implement in Mathematica the action on formal linear combinations of planar matroid subdivisions of a boundary operator which, together with the planar basis, determines compatibility for any given poles appearing in the expansion of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$, by computing a certain combinatorial non-crossing condition on the second hypersimplicial faces $Δ_{2,n-(k-2)}$ of $Δ_{k,n}$. The algorithms are implemented in an accompanying Mathematica notebook and are evaluated on existing tables of rays, in the form of tropical Plucker vectors, to tabulate the finest planar subdivisions of $Δ_{3,8},Δ_{3,9}$ and $ Δ_{4,8}$, or equivalently the set of maximal cones for the corresponding nonnegative tropical Grassmannians.

We study arrangements of slightly skewed tropical hyperplanes, called blades by A. Ocneanu, on the vertices of a hypersimplex $Δ_{k,n}$, and we investigate the resulting induced polytopal subdivisions. We show that placing a blade on a vertex $e_J$ induces an $\ell$-split matroid subdivision of $Δ_{k,n}$, where $\ell$ is the number of cyclic intervals in the $k$-element subset $J$. We prove that a given collection of $k$-element subsets is weakly separated, in the sense of the work of Leclerc and Zelevinsky on quasicommuting families of quantum minors, if and only if the arrangement of the blade $((1,2,\ldots, n))$ on the corresponding vertices of $Δ_{k,n}$ induces a matroid (in fact, a positroid) subdivision. In this way we obtain a compatibility criterion for (planar) multi-splits of a hypersimplex, generalizing the rule known for 2-splits. We study in an extended example the case $(k,n) = (3,7)$ the set of arrangements of $(k-1)(n-k-1)$ weakly separated vertices of $Δ_{k,n}$.