arXiv++ Combinatorics

The cosmohedron was recently proposed as a polytope underlying the cosmological wavefunction for $\text{Tr}(Φ^3)$ theory. Its faces were conjectured to be in bijection with Matryoshkas, which are obtained from a subdivision of a polygon by sequentially wrapping groups of polygons into larger polygons. In this paper we prove the correctness of this construction, and elucidate its combinatorial structure. Cosmohedra generalize to a wider class of $\mathcal{X}$ in $Y$ polytopes, where we chisel a polytope from the family $\mathcal{X}$ at each vertex of a polytope $Y$. We sketch a new application of these chiseled polytopes to the physics of ultraviolet divergences in loop-integrated Feynman amplitudes.

Recently, "cosmohedra" have been introduced as polytopes underlying the cosmological wavefunction for conformally coupled Tr($Φ^3$) theory in FRW cosmologies, generalizing associahedra for flat space scattering amplitudes. In this letter we show that correlation functions are also directly captured by a new polytope - the "Correlatron". The combinatorics of correlation functions is an interesting blend of flat space scattering amplitudes and wavefunctions. This is reflected in the correlatron geometry, which is a one-higher dimensional polytope sandwiched between cosmohedron and associahedron facets. We provide an explicit embedding for the correlatron, which is a natural extension of the "shaving" picture for cosmohedra to one higher dimension. As a byproduct, we also define "graph correlahedra" as polytopes for the contribution to correlators from any fixed graph. We show how the canonical form of these polytopes directly computes the graph correlator, without the power of two weights seen in previous geometric formulations. Finally, we give a prescription for extracting the full correlator from the canonical form of the correlatron.

Cosmological observables in perturbation theory turn out to be plagued with infrared divergences, which represents both a conceptual and computational challenge. In this paper we present a proof of concept for a systematic procedure to remove these divergences in a large class of scalar cosmological integrals and consistently define an infrared safe computable in perturbation theory. We provide diagrammatic rules which are based on the nestohedra underlying the asymptotic structure of such integrals.

We provide a general analysis of the asymptotic behaviour of perturbative contributions to observables in arbitrary power-law FRW cosmologies, indistinctly the Bunch-Davies wavefunction and cosmological correlators. We consider a large class of scalar toy models, including conformally-coupled and massless scalars in arbitrary dimensions, that admits a first principle definition in terms of (generalised/weighted) cosmological polytopes. The perturbative contributions to an observable can be expressed as an integral of the canonical function associated to such polytopes and to weighted graphs. We show how the asymptotic behaviour of these integrals is governed by a special class of nestohedra living in the graph-weight space, both at tree and loop level. As the singularities of a cosmological process described by a graph can be associated to its subgraphs, we provide a realisation of the nestohedra as a sequential truncation of a top-dimensional simplex based on the underlying graph. This allows us to determine all the possible directions -- both in the infrared and in the ultraviolet --, where the integral can diverge as well as their divergence degree. Both of them are associated to the facets of the nestohedra, which are identified by overlapping tubings of the graph: the specific tubing determines the divergent directions while the number of overlapping tubings its degree of divergence. This combinatorial formulation makes straightforward the application of sector decomposition for extracting both leading and subleading divergences from the integral, as the sectors in which the integration domain can be tiled are identified by the collection of compatible facets of the nestohedra, with the latter that can be determined via the graph tubings. Finally, the leading divergence can be interpreted as a restriction of the canonical function of the relevant polytope onto a special hyperplane.