arXiv++ Combinatorics

This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. Toën and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topoï, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.

Building on the recently discovered origami-amplituhedron correspondence, we prove that the BCFW (Britto-Cachazo-Feng-Witten) cells triangulate the $m=4$ amplituhedron in full generality at all loop orders, both in momentum and momentum-twistor space. Along the way, we develop two natural "$L$-punctured" extensions of the positive Grassmannian and relate them via T-duality.

Momentum twistors for scattering amplitudes in particle physics are lines in three-space. We develop Landau analysis for Feynman integrals in this setting. The resulting discriminants and resultants are identified with Hurwitz and Chow forms of incidence varieties in products of Grassmannians. We study their degrees and factorizations, and the kinematic regimes in which the fibers of the Landau map are rational or real. Identifying this map with the amplituhedron map on positroid varieties, and the associated recursions with promotion maps, yields a geometric mechanism for the emergence of positivity and cluster structures in planar N=4 super Yang-Mills theory.

Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.

Inspired by the BCFW recurrence for tilings of the amplituhedron, we introduce the general framework of `plabic tangles' that utilizes plabic graphs to define rational maps between products of Grassmannians called `promotions'. The central conjecture of the paper is that promotion maps are quasi-cluster homomorphisms, which we prove for several classes of promotions. In order to define promotion maps, we utilize $m$-vector-relation configurations ($m$-VRCs) on plabic graphs. We relate $m$-VRCs to the degree (a.k.a `intersection number') of the amplituhedron map on positroid varieties and characterize all plabic trees with intersection number one and their VRCs. Finally, we show that promotion maps admit an operad structure and, supported by the class of `$4$-mass box' promotion, we point at new positivity properties for non-rational maps beyond cluster algebras. Promotion maps have important connections to the geometry and cluster structure of the amplituhedron and singularities of scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory.

The amplituhedron is a semialgebraic set in the Grassmannian. We study convexity and duality of amplituhedra. We introduce a notion of convexity, called \textit{extendable convexity}, for real semialgebraic sets in any embedded projective variety. We show that the $k=m=2$ amplituhedron is extendably convex in the Grassmannian of lines in projective three-space. In the process we introduce a new polytope called the \emph{exterior cyclic polytope}, generalizing the cyclic polytope. It is equal to the convex hull of the amplituhedron in the Plücker embedding. We undertake a combinatorial analysis of the exterior cyclic polytope, its facets, and its dual. Finally, we introduce the \textit{(extendable) dual amplituhedron}, which is closely related to the dual of the exterior cyclic polytope. We show that the dual amplituhedron for $k=m=2$ is again an amplituhedron, where the external matrix data is changed by the twist map.

In 2005, Britto, Cachazo, Feng and Witten gave a recurrence (now known as the BCFW recurrence) for computing scattering amplitudes in N=4 super Yang Mills theory. Arkani-Hamed and Trnka subsequently introduced the amplituhedron to give a geometric interpretation of the BCFW recurrence. Arkani-Hamed and Trnka conjectured that each way of iterating the BCFW recurrence gives a "triangulation" or "tiling" of the m=4 amplituhedron. In this article we prove the BCFW tiling conjecture of Arkani-Hamed and Trnka. We also prove the cluster adjacency conjecture for BCFW tiles of the amplituhedron, which says that facets of tiles are cut out by collections of compatible cluster variables for the Grassmannian Gr(4,n). Moreover we show that each BCFW tile is the subset of the Grassmannian where certain cluster variables have particular signs.

We establish a precise correspondence between points of momentum amplituhedra and origami crease patterns. As an application, we prove that the BCFW cells triangulate the momentum amplituhedron when all Mandelstam variables are nonnegative. As another application, we show that every weighted planar bipartite graph $Γ$ admits a t-embedding, i.e., an embedding of the planar dual of $Γ$ such that the sum of angles of white (equivalently, black) faces around each vertex is equal to $π$.

This thesis investigates geometric descriptions of scattering amplitudes, with a specific focus on scattering amplitudes in N=4 SYM and ABJM theory. The recent development of the field of positive geometries provides us with a suitable framework for this endeavour. In particular, we will give a detailed account of the amplituhedron, the momentum amplituhedron, and the ABJM momentum amplituhedron. Alongside these geometries, we will also discuss the ABHY associahedron, which encapsulates tree-level scattering amplitudes in bi-adjoint scalar theory. We provide a detailed introduction to these positive geometries, which includes a comprehensive discussion of their structure. For the momentum amplituhedron, ABJM momentum amplituhedron, and ABHY associahedron we give a full stratification of their boundaries, which equivalently elucidates the singularity structure of the tree-level scattering amplitudes. Notably, we show that the ABJM momentum amplituhedron has an Euler characteristic equal to one. Furthermore, we explore the interconnections between these, and other, positive geometries. These connections are in part obtained via push forwards through the scattering equations. We develop techniques to calculate these push forwards which circumvents the necessity to solve the scattering equations explicitly. Beyond tree-level, we illustrate how positive geometries can be used to describe loop integrands in planar N=4 SYM and ABJM. A new framework is established to investigate these loop geometries in the space of dual momenta. The construction relies solely on lightcones and their intersections, and the framework simultaneously encompasses the loop level structure of the amplituhedron, momentum amplituhedron, and the ABJM momentum amplituhedron. This further leads to compact general formulae for all one-loop integrands in N=4 SYM and ABJM.

Recently, a new approach to computing the canonical forms of the momentum amplituhedron in dual-momentum space was proposed by the authors. These are relevant for the integrands of scattering amplitudes in planar N=4 super-Yang-Mills. At one-loop the idea was to view the set of all loop momenta, which we refer to as the one-loop fiber geometry, as a fibration over the tree-level kinematic data. This led to the notion of tree-level chambers, subsets of the tree-level kinematic space for which the combinatorial structure of the one-loop fiber remains unchanged, that allowed for a novel representation of the one-loop integrand. The goal of this paper is to extend these ideas to two loops for MHV integrands. Our approach will be to view the geometry accessed by the second loop momentum, similarly referred to as the two-loop fiber geometry, as a fibration over both the one-loop kinematic data and the position of the first loop momentum in the one-loop fiber. This will lead to the notion of one-loop chambers, subsets of the one-loop fibers for which the combinatorial structure of the two-loop fiber remains unchanged. We will characterise the full set of one-loop chambers and their corresponding two-loop fibers and present formulae for their canonical forms. Ultimately, this will result in a new formula for the two-loop MHV integrand written as a fibration of fibration.

The amplituhedron $A_{n,k,m}$ is a geometric object introduced in the context of scattering amplitudes in $N=4$ super Yang Mills. It generalizes the positive Grassmannian (when $n=k+m$), cyclic polytopes (when $k=1$), and the bounded complex of the cyclic hyperplane arrangement (when $m=1$). Of substantial interest are the tilings of the amplituhedron, which are analogous to triangulations of a polytope. Karp, Williams and Zhang (2020) observed that the known tilings of $A_{n,k,2}$ have cardinality ${n-2 \choose k}$ and the known tilings of $A_{n,k,4}$ have cardinality the Narayana number $\frac{1}{n-3}{n-3 \choose k+1}{n-3 \choose k}$; generalizing these observations, they conjectured that for even $m$ the tilings of $A_{n, k,m}$ have cardinality the MacMahon number, the number of plane partitions which fit inside a $k \times (n-k-m) \times \frac{m}{2}$ box. We refer to this prediction as the `Magic Number Conjecture'. In this paper we prove the Magic Number Conjecture for the $m=2$ amplituhedron: that is, we show that each tiling of $A_{n,k,2}$ has cardinality ${n-2 \choose k}$. We prove this by showing that all positroid tilings of the hypersimplex $Δ_{k+1,n}$ have cardinality ${n-2 \choose k}$, then applying T-duality. In addition, we give combinatorial necessary conditions for tiles to form a tiling of $A_{n,k,2}$; we give volume formulas for Parke-Taylor polytopes and certain positroid polytopes in terms of circular extensions of cyclic partial orders; and we prove new variants of the classical Parke-Taylor identities.

We define and study the face stratification of the m=2 amplituhedron. We show that the face poset is an upper order ideal in the face poset of the totally nonnegative Grassmannian. Our construction is consistent with earlier work of Lukowski, and we confirm various predictions of Lukowski.

The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in $\mathcal{N}=4$ super Yang Mills theory. It generalizes \emph{cyclic polytopes} and the \emph{positive Grassmannian}, and has a very rich combinatorics with connections to cluster algebras. In this article we provide a series of results about tiles and tilings of the $m=4$ amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for $\mbox{Gr}_{4,n}$. Secondly, we exhibit a tiling of the $m=4$ amplituhedron which involves a tile which does not come from the BCFW recurrence -- the \emph{spurion} tile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for $\mbox{Gr}_{4,n}$. This paper is a companion to our previous paper ``Cluster algebras and tilings for the $m=4$ amplituhedron''.

The Amplituhedron is a subspace of the Grassmannian that was recently defined by Arkani-Hamed and Trnka in their study of scattering amplitudes in planar $\mathcal{N}=4$ super Yang Mills theory (arXiv:1312.2007), and was the subject of many papers in the last decade. In this work we define a tropical analog of the amplituhedron, and develop techniques to address it. We prove that many of the key properties of the amplituhedron hold also in this simpler, piecewise linear, model.

The amplituhedron $A_{n,k,m}(Z)$ is the image of the positive Grassmannian $Gr_{k,n}^{\geq 0}$ under the map ${Z}: Gr_{k,n}^{\geq 0} \to Gr_{k,k+m}$ induced by a positive linear map $Z:\mathbb{R}^n \to \mathbb{R}^{k+m}$. Motivated by a question of Hodges, Arkani-Hamed and Trnka introduced the amplituhedron as a geometric object whose tilings conjecturally encode the BCFW recursion for computing scattering amplitudes. More specifically, the expectation was that one can compute scattering amplitudes in ${N}=4$ SYM by tiling the $m=4$ amplituhedron $A_{n,k,4}(Z)$ - that is, decomposing the amplituhedron into `tiles' (closures of images of $4k$-dimensional cells of $Gr_{k,n}^{\geq 0}$ on which ${Z}$ is injective) - and summing the `volumes' of the tiles. In this article we prove two major conjectures about the $m=4$ amplituhedron: $i)$ the BCFW tiling conjecture, which says that any way of iterating the BCFW recurrence gives rise to a tiling of the amplituhedron $A_{n,k,4}(Z)$; $ii)$ the cluster adjacency conjecture for BCFW tiles, which says that facets of tiles are cut out by collections of compatible cluster variables for $Gr_{4,n}$. Moreover, we show that each BCFW tile is the subset of $Gr_{k, k+4}$ where certain cluster variables have particular signs. Along the way, we construct many explicit seeds for $Gr_{4,n}$ comprised of high-degree cluster variables, which may be of independent interest in the study of cluster algebras.

A Grasstope is the image of the totally nonnegative Grassmannian $\text{Gr}_{\geq 0}(k,n)$ under a linear map $\text{Gr}(k,n)\dashrightarrow \text{Gr}(k,k+m)$. This is a generalization of the amplituhedron, a geometric object of great importance to calculating scattering amplitudes in physics. The amplituhedron is a Grasstope arising from a totally positive linear map. While amplituhedra are relatively well-studied, much less is known about general Grasstopes. We study Grasstopes in the $m=1$ case and show that they can be characterized as unions of cells of a hyperplane arrangement satisfying a certain sign variation condition, extending work of Karp and Williams. Inspired by this characterization, we also suggest a notion of a Grasstope arising from an arbitrary oriented matroid.

We introduce the notion of lattice path matroidal subdivisions, or LPM subdivisions for short, and show that these subdivisions are regular and hence the weight vectors for them lie in the Dressian. This leads us to explore the structure of the set of these weights inside the Dressian and owing to the fact that Lattice path matroids are positroids, we move to the positive Dressian which in turn is equal to the positive tropical Grassmannian, an object of immense interest currently in Physics. This is related to the amplituhedron and positive configuration space, which we describe here and wish to explore these connections further.

The strict definition of positive geometry implies that all maximal residues of its canonical form are $\pm 1$. We observe, however, that the loop integrand of the amplitude in planar $\mathcal{N}=4$ super Yang-Mills has maximal residues not equal to $\pm 1$. We find the reason for this is that deep in the boundary structure of the loop amplituhedron there are geometries which contain internal boundaries: codimension one defects separating two regions of opposite orientation. This phenomenon requires a generalisation of the concept of positive geometry and canonical form to include such internal boundaries and also suggests the utility of a further generalisation to `weighted positive geometries'. We re-examine the deepest cut of $\mathcal{N}=4$ amplitudes in light of this and obtain new all order residues.

In this thesis, we take a journey through two different but not dissimilar stories with an underlying theme of combinatorics emerging from scattering amplitudes in quantum field theories. The first part tells the tale of the $c_2$-invariant, an arithmetic invariant related to the Feynman integral in $φ^4$-theory, which studies the zeros of the Kirchoff polynomial and related graph polynomials. Through reformulating the $c_2$-invariant as a purely combinatorial problem, we show how enumerating certain edge bipartitions through fixed-point free involutions can complete a special case of the long sought after $c_2$ completion conjecture. The second part tells the tale of the positive Grassmannian and a combinatorial T-duality map on its cells, as related to scattering amplitudes in planar $\mathcal{N} = 4$ SYM theory. In particular, T-duality is a bridge between triangulations of the hypersimplex and triangulations of the amplituhedron, two objects that appear as images of the positive Grassmannian. We give an algorithm for viewing T-duality as a map on Le diagrams and characterize a nice structure to the Le diagrams (which can then be used in lieu of the algorithm). Through this Le diagram perspective on T-duality, we show how the dimensional relationship between the positroid cells on either side of the map can be directly explained.

In \cite{arkani2018unwinding}, Arkani-Hamed, Thomas and Trnka formulated two conjectural descriptions of the tree amplituhedron $\ampli$ depending on the parity of $m$. When $m$ is even, the description involves the winding number and when $m$ is odd the description involves the crossing number. In this paper, we prove that if a point of the amplituhedron is in the image of the positive Grassmannian by the amplituhedron map, then it satisfies the winding or crossing descriptions depending on the parity of $m$. When $m=2$, we also prove the other direction: a point satisfying the winding description is inside the amplituhedron.