arXiv ScienceSearch

arXiv subjects

Ross Glew

Publications and source records attributed to Ross Glew.

13 recordsLinked to original sources

Acyclic Poset Multiplihedra and their Quotients

Two families of polytopes underlie the combinatorics of associative operations. Associahedra and multiplihedra respectively capture the information in the operation itself and in the morphisms that respect that operation. The first applications of these polytopes, from Stasheff, were for modeling homotopy associative spaces and their homotopy homomorphisms. Later, lax and weak higher categories used both as the shapes of commuting diagrams. More recently, the associahedra have been generalized to versions based on graphs, and then to acyclic versions based on posets: the acyclonestohedra. Meanwhile, the associated multiplihedra have also been generalized to graph associahedra and generalized permutohedra. Here we complete that picture: we use the graph multiplihedra to define and realize new acyclic poset multiplihedra for the acyclic poset associahedra. Quotients of these are also studied, concluding with the conjectured interval polytopes of the order polytopes of posets.

math.CO

Geometry of in-in correlators

We introduce a family of polytopes -- in-in zonotopes -- whose boundary structure organizes the contributions to scalar equal-time correlators in flat space computed via the in-in formalism. We provide explicit Minkowski sum and facet descriptions of these polytopes, and show that their boundaries factorize into products of graphical zonotopes and lower-dimensional in-in zonotopes, thereby mimicking the factorization structure of the correlators themselves. Evaluating their canonical forms at the origin -- equivalently, calculating the volume of the dual polytope -- reproduces the correlator. Finally, in a simple example, we show that the wavefunction decomposition of the correlator corresponds to a subdivision of the dual polytope.

hep-th

Correlators are simpler than wavefunctions

Recent works reveal a simplicity in equal-time correlators absent from wavefunctions. We show that it follows from the fact that correlators are full spacetime integrals, rather than half-spacetime integrals as for the wavefunction. This makes striking properties manifest: some wavefunction singularities are absent, factorization simplifies, and around every pole the Laurent expansion has vanishing first subleading term. Near the total-energy pole, the expansion to second order is generated by a differential operator on scattering amplitudes.

hep-th

The Geometry of BCFW for ABJM Loop Integrands

In this paper we investigate the loop-level geometry of ABJM theory from the perspective of lightcone geometries in dual space. This geometry admits a natural fibration, where one of the loop variables can be naturally interpreted as living in a fiber for each fixed point of a lower-loop geometry. When varying the latter, this leads us to the definition of $L$-loop half-chambers, defined such that `half' of the $(L+1)$-loop fiber remains unchanged. We provide a full classification of these half-chambers, and demonstrate a surprising bijection between $n$-point $L$-loop half-chambers and $L$-loop Feynman diagrams for a cubic scalar theory with $n/2$ particles. Consequently, the sum over $L$-loop half-chambers that computes the $n$-point ABJM amplitude is in direct correspondence with the sum over $L$-loop Feynman diagrams that computes the $(n/2)$-point amplitude of $\text{Tr}(\phi^3)$ theory. These Feynman diagrams are also realised geometrically in the structure of the loop fibers. Furthermore, we argue that the half-chamber expansion is equivalent to the loop-level BCFW recursion for ABJM, which arises naturally from our geometric construction. Finally, we will illustrate how $L$-loop chambers emerge as the intersection of two $L$-loop half-chambers, and we provide concrete examples of this construction.

hep-th

Kinematic flow from the flow of cuts

The wavefunction coefficients of conformally coupled scalars in power-law FRW cosmologies satisfy differential equations governed by a set of simple combinatorial rules known as the kinematic flow. In this paper we derive the kinematic flow, expressed using a set of differential forms referred to as the cut basis, from a geometric perspective, relying solely on the cosmological hyperplane arrangement and without invoking bulk physics. Each element of the cut basis corresponds to the positive geometry associated to an independent cut of the physical FRW-form and can be labeled by decorating (minors of) the truncated Feynman graph with an acyclic orientation. We provide a straightforward prescription to associate a logarithmic differential form to each element of the cut basis by considering its corresponding decorated graph. Moreover, we show that the residues of the physical FRW-form are canonical forms of certain graphical zonotopes labeled by the same set of decorated graphs. These zonotopes control the cut combinatorics -- flow of cuts -- of the physical FRW-form and the cut basis (by construction). Using the theory of relative twisted cohomology and intersection theory, we derive a closed form formula for the differential equations of the cut basis. We also introduce combinatorial rules that compute the kinematic differential of any basis element without explicit calculation. The combinatorics of our differential equations is a natural consequence of the flow of cuts and is equivalent (up to rescaling) to the kinematic flow for the recently studied time integral basis. In particular, our differential equations decouple into exponentially many sectors, one for each way of cutting a subset of edges of the graph.

hep-th

Generalised wavefunction coefficients and acyclonesto-cosmohedra

Scattering amplitudes of $\operatorname{tr}(\phi^3)$ theory can be encoded as the canonical form of the Stasheff associahedron. Similarly, the flat-space wavefunction coefficients of the same theory are captured by the recently proposed cosmohedron, a non-simple polytope associated to the Stasheff associahedron; unitarity and locality of the amplitudes and wavefunction coefficients are then encoded in the factorisation properties of faces of these polytopes. In this paper, we argue that these desirable properties of the Stasheff associahedron are shared by a wider class of polytopes called acyclonestohedra and generalise the cosmohedron construction to arbitrary acyclonestohedra. Acyclonestohedra are generalisations of Stasheff associahedra and graph associahedra defined on the data of a partially ordered set or, more generally, an acyclic realisable matroid on a building set. When the acyclonestohedron is associated to a partially ordered set, it may be interpreted as arising from Chan-Paton-like factors that are only (cyclically) partially ordered, rather than (cyclically) totally ordered as for the ordinary open string. In this paper, we argue that the canonical forms of acyclonestohedra encode scattering-amplitude-like objects that factorise onto themselves, thereby extending recent results for graph associahedra, and construct truncations of acyclonestohedra into acyclonesto-cosmohedra whose canonical forms may be interpreted as encoding a generalisation of the cosmological wavefunction coefficients. As a byproduct, we provide evidence that acyclonesto-cosmohedra can be obtained as sections of graph cosmohedra.

hep-th

Correlators from Amplitubes

Recently, the wavefunction coefficients for conformally coupled scalars in an FRW cosmology have been presented as a sum over amplitude-like functions known as {\it amplitubes}. In this work we extend this analysis to full {\it correlation functions}. Remarkably, the amplitube expansion of the correlator exhibits many vanishing contributions that are otherwise present in the expansion of the wavefunction. Moreover, while the wavefunction coefficients suffer from relative minus signs between terms, the surviving terms in correlation function do not. These observations point to a hidden simplicity in the structure of the correlation function compared to that of the wavefunction coefficient.

hep-th

Singularities of massless scattering and cluster algebras

Partial flag varieties arise in the context of massless scattering kinematics. They can be associated to both spinor-helicity variables and momentum twistor variables in two separate yet natural ways. Here we report on evidence at five and six points that the cluster algebras associated to these partial flag varieties contain information relevant to non-dual conformal massless scattering amplitudes and related observables. At five points both spinor-helicity and momentum twistor cluster structures capture similar information about symbol alphabets. At six points we demonstrate that the momentum twistor structure captures a larger subset of the alphabet compared to the spinor-helicity one. We also observe that the associated cluster structures correctly predict the appearance of certain triples of symbol letters related to cluster mutation relations.

hep-th

Wavefunction coefficients from Amplitubes

Given a graph its set of connected subgraphs (tubes) can be defined in two ways: either by considering subsets of edges, or by considering subsets of vertices. We refer to these as binary tubes and unary tubes respectively. Both notions come with a natural compatibility condition between tubes which differ by a simple adjacency constraint. Compatible sets of tubes are refered to as tubings. By considering the set of binary tubes, and summing over all maximal binary-tubings, one is lead to an expression for the flat space wavefunction coefficients relevant for computing cosmological correlators. On the other hand, considering the set of unary tubes, and summing over all maximal unary-tubings, one is lead to expressions recently referred to as amplitubes which resemble the scattering amplitudes of $\text{tr}(\phi^3)$ theory. In this paper we study the two definitions of tubing in order to provide a new formula for the flat space wavefunction coefficient for a single graph as a sum over products of amplitubes. Motivated by our rewriting of the wavefunction coefficient we introduce a new definition of tubing which makes use of both the binary and unary tubes which we refer to as cut tubings. We explain how each cut tubing induces a decorated orientation of the underlying graph satisfying an acyclic condition and demonstrate how the set of all acyclic decorated orientations for a given graph count the number of basis functions appearing in the kinematic flow.

hep-th

Amplitubes: Graph Cosmohedra

The tree-level scattering amplitudes for $\text{tr}(\phi^3)$ theory can be interpreted as a sum over the vertices of a polytope known as the associahedron. For each graph $G$, there exists a natural generalisation of the associahedron, which is constructed by considering tubes and tubings of the underling graph. This family of polytopes are called graph associahedra. The classical associahedra then arise as the graph associahedron for the path graphs. It is therefore natural to associate to each graph associahedron an amplitude-like object, we refer to as the amplitube, defined via a sum over its vertices. Recently, also in the context of trace $\text{tr}(\phi^3)$ theory, progress has been made towards defining a new geometric object, coined the cosmohedron, which computes not the amplitude, but the cosmological wavefunction as a sum over its vertices. This polytope can be constructed by consistently blowing up all boundaries of the associahedron to co-dimension one. Building on these results, in the present paper, we generalise the notion of the wavefunction for arbitrary graphs. These new expressions, which we call cosmological amplitubes, are defined via a sum over the vertices of a corresponding polytope, the graph cosmohedron. The graph cosmohedra are constructed by considering regions and regional tubings of the underlying graph which we introduce. Like the cosmohedron, the graph cosmohedra can be obtained by consistently blowing up all boundaries of the corresponding graph associahedron to co-dimension one. This new family of polytopes constitutes a vast generalisation of the cosmohedron, and we provide explicit embeddings for them, which builds upon an ABHY-like embedding for the graph associahedra.

hep-th

Positive and Negative Ladders in Loop Space

Motivated by a new term-wise factorised formula for the two-loop MHV integrand for scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills (SYM), together with recent results for the five-point negative ladders in loop space, we present the canonical forms for general ladders in loop space for an arbitrary number of particles to all loops. We make use of the graphical notation introduced in the negative geometries literature, where each loop momentum is represented as a vertex, and mutual positivity (resp. negativity) conditions as a positive (resp. negative) edge. In this paper we extend this notation to include the notion of chambers of the one-loop momentum amplituhedron. Equipped with this new graphical notation, we find the canonical form of the $L$-loop (negative/positive) ladders for all MHV$_n$ amplitudes. Our final formula is remarkably simple and reminiscent of the chiral pentagon expansion of the one and two loop momentum amplituhedron. It expresses ladder contributions as sums over maximal cuts, with each term appearing in the sum factorising into products of either chiral pentagons or their simple generalisations.

hep-th

The Two-loop MHV Momentum Amplituhedron from Fibrations of Fibrations

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.

hep-th

Prescriptive Unitarity from Positive Geometries

In this paper, we define the momentum amplituhedron in the four-dimensional split-signature space of dual momenta. It encodes scattering amplitudes at tree level and loop integrands for N=4 super Yang-Mills in the planar sector. In this description, every point in the tree-level geometry is specified by a null polygon. Using the null structure of this kinematic space, we find a geometry whose canonical differential form produces loop-amplitude integrands. Remarkably, at one loop it is a curvy version of a simple polytope, whose vertices are specified by maximal cuts of the amplitude. This construction allows us to find novel formulae for the one-loop integrands for amplitudes with any multiplicity and helicity. The formulae obtained in this way agree with the ones derived via prescriptive unitarity. It makes prescriptive unitarity naturally emerge from this geometric description.

hep-th