arXiv++ Combinatorics

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.

We provide a first principle definition of cosmological correlation functions for a large class of scalar toy models in arbitrary FRW cosmologies, in terms of novel geometries we name {\it weighted cosmological polytopes}. Each of these geometries encodes a universal rational integrand associated to a given Feynman graph. In this picture, all the possible ways of organising, and computing, cosmological correlators correspond to triangulations and subdivisions of the geometry, containing the in-in representation, the one in terms of wavefunction coefficients and many others. We also provide two novel contour integral representations, one connecting higher and lower loop correlators and the other one expressing any of them in terms of a building block. We study the boundary structure of these geometries allowing us to prove factorisation properties and Steinmann-like relations when single and sequential discontinuities are approached. We also show that correlators must satisfy novel vanishing conditions. As the weighted cosmological polytopes can be obtained as an orientation-changing operation onto a certain subdivision of the cosmological polytopes encoding the wavefunction of the universe, this picture allows us to sharpen how the properties of cosmological correlators are inherited from the ones of the wavefunction. From a mathematical perspective, we also provide an in-depth characterisation of their adjoint surface.

Unitarity of time evolution is one of the basic principles constraining physical processes. Its consequences in the perturbative Bunch-Davies wavefunction in cosmology have been formulated in terms of the cosmological optical theorem. In this paper, we re-analyse perturbative unitarity for the Bunch-Davies wavefunction, focusing on: 1) the role of the $iε$-prescription and its compatibility with the requirement of unitarity; 2) the origin of the different "cutting rules"; 3) the emergence of the flat-space optical theorem from the cosmological one. We take the combinatorial point of view of the cosmological polytopes, which provide a first-principle description for a large class of scalar graphs contributing to the wavefunctional. The requirement of the positivity of the geometry together with the preservation of its orientation determine the $iε$-prescription. In kinematic space it translates into giving a small negative imaginary part to all the energies, making the wavefunction coefficients well-defined for any value of their real part along the real axis. Unitarity is instead encoded into a non-convex part of the cosmological polytope, which we name optical polytope. The cosmological optical theorem emerges as the equivalence between a specific polytope subdivision of the optical polytope and its triangulations, each of which provides different cutting rules. The flat-space optical theorem instead emerges from the non-convexity of the optical polytope. On the more mathematical side, we provide two definitions of this non-convex geometry, none of them based on the idea of the non-convex geometry as a union of convex ones.

We review the most recent progress in our understanding of quantum mechanical observables in cosmology in the perturbative regime. It relies on an approach that considers them directly as functions of the data at the space-like boundary at future infinity prescinding from the explicit time evolution. It takes inspiration from the on-shell formulation of perturbative scattering amplitudes developed in the past 20 years: starting with the requirement of consistency with some fundamental principles such as causality, unitarity and locality, it provides different ways of phrasing and extracting predictions. In this review, we aim to provide a pedagogical treatment of the most recent insights about the analytic structure of the perturbative quantum mechanical observables in cosmology, its relation to fundamental principles as well as physical processes, and how such observables and their features emerge from novel well-defined mathematical objects with their own first principle definition. The review is divided in three parts: Part 0 discusses the definition of quantum mechanical observables in cosmology and some general principles; Part I reviews the boundary approach to the analysis and computation of the perturbative wavefunction of the universe; Part II provides an introduction to the combinatorial-geometrical description of cosmological processes in terms of cosmological polytopes.

The way we organise perturbation theory is of fundamental importance both for computing the observables of relevance and for extracting fundamental physics out of them. If on one hand the different ways in which the perturbative observables can be written make manifest different features (e.g. symmetries as well as principles such as unitarity, causality and locality), on the other hand precisely demanding that some concrete features are manifest lead to different ways of organising perturbation theory. In the context of flat-space scattering amplitudes, a number of them are already known and exploited, while much less is known for cosmological observables. In the present work, we show how to systematically write down both the wavefunction of the universe and the flat-space scattering amplitudes, in such a way that they manifestly show physical poles only. We make use of the invariant definition of such observables in terms of {\it cosmological polytopes} and their {\it scattering facet}. In particular, we show that such representations correspond to triangulations of such objects through hyperplanes identified by the intersection of their facets outside of them. All possible triangulations of this type generate the different representations. This allows us to provide a general proof for the conjectured all-loop causal representation of scattering amplitudes. Importantly, all such representations can be viewed as making explicit a subset of compatible singularities, and our construction provides a way to extend Steinmann relations to higher codimension singularities for both the flat-space scattering amplitudes and the cosmological wavefunction.

Positive geometries encode the physics of scattering amplitudes in flat space-time and the wavefunction of the universe in cosmology for a large class of models. Their unique canonical forms, providing such quantum mechanical observables, are characterised by having only logarithmic singularities along all the boundaries of the positive geometry. However, physical observables have logarithmic singularities just for a subset of theories. Thus, it becomes crucial to understand whether a similar paradigm can underlie their structure in more general cases. In this paper we start a systematic investigation of a geometric-combinatorial characterisation of differential forms with non-logarithmic singularities, focusing on projective polytopes and related meromorphic forms with multiple poles. We introduce the notions of covariant forms and covariant pairings. Covariant forms have poles only along the boundaries of the given polytope; moreover, their leading Laurent coefficients along any of the boundaries are still covariant forms on the specific boundary. Whereas meromorphic forms in covariant pairing with a polytope are associated to a specific (signed) triangulation, in which poles on spurious boundaries do not cancel completely, but their order is lowered. These meromorphic forms can be fully characterised if the polytope they are associated to is viewed as the restriction of a higher dimensional one onto a hyperplane. The canonical form of the latter can be mapped into a covariant form or a form in covariant pairing via a covariant restriction. We show how the geometry of the higher dimensional polytope determines the structure of these differential forms. Finally, we discuss how these notions are related to Jeffrey-Kirwan residues and cosmological polytopes.

We extend the investigation of the structure of the late-time wavefunction of the universe to a class of toy models of scalars with time-dependent masses and polynomial couplings, which contains general massive scalars in FRW cosmologies. We associate a universal integrand to each Feynman diagram contributing to the wavefunction of the universe. For certain (light) masses, such an integrand satisfies recursion relations involving differential operators, connecting states with different masses and having, as a seed, the massless scalar (which describes a conformally coupled scalar as a special case). We show that it is a degenerate limit of the canonical form of a generalisation of the cosmological polytopes describing the wavefunction for massless scalars. Intriguingly, the flat-space scattering amplitude appears as a higher codimension face: it is encoding the leading term in the Laurent expansion as the total energy is taken to zero, with the codimension of the face providing the order of the total energy pole. The same connection between the other faces and the Laurent expansion coefficients holds for the other singularities of the wavefunction of the universe, all of them connectable to flat-space processes. As the degenerate limit is taken, some of the singularities of the canonical form of the polytope collapse onto each other generating higher order poles. Finally, we consider the mass as a perturbative coupling, showing that the contribution to the wavefunction coming from graphs with mass two-point couplings can be identified with a degenerate limit of the canonical form of the cosmological polytope, if the perturbative expansion is done around the conformally coupled state; or as double degenerate limit of the canonical form of the extension of the cosmological polytopes introduced in the present paper, if the perturbative expansion is done around minimally coupled states.

The physical information encoded in the cosmological late-time wavefunction of the universe is tied to its singularity structure and its behaviour as such singularities are approached. One important singularity is identified by the vanishing of the total energy, where the wavefunction reduces to the physics of scattering in flat space. In this paper, we discuss the behaviour of the perturbative wavefunction as its other singularities are approached and the role played by the flat-space scattering, in the simplified context of the class of toy models admitting a first principle definition in terms of cosmological polytopes. The problems then translates into the analysis of the structure of its facets, one of which -- the scattering facet -- beautifully encodes the flat-space S-matrix. We show that all the boundaries of the cosmological polytope encode information about the flat-space physics. In particular, a subset of its facets turns out to have a similar structure as the scattering facet, with the vertices which can be grouped together to form lower dimensional scattering facets. The other facets admit one (and only one) triangulation in terms of products of lower dimensional scattering facets. As a consequence, the whole perturbative wavefunction can be represented as a sum of product of flat-space scattering amplitudes. Finally, we turn the table around and ask whether the knowledge of the flat-space scattering amplitudes suffices to reconstruct the wavefunction of the universe. We show that, at least for our class of toy models, this is indeed the case at tree level if we are also provided with a subset of symmetries that the wavefunction ought to satisfy. Once the tree cosmological polytopes are reconstructed, the loop ones can be obtained as a particular projection of them.

We present a connection between the physics of cosmological time evolution and the mathematics of positive geometries, roughly analogous to similar connections seen in the context of scattering amplitudes. We consider the wavefunction of the universe in a class of toy models of conformally coupled scalars (with non-conformal interactions) in FRW cosmologies. The contribution of each Feynman diagram to the wavefunction of the universe is associated with a certain universal rational integrand, which we identify as the canonical form of a "cosmological polytope", which have an independent, intrinsic definition, making no reference to physics. The singularity structure of the wavefunction for this model of scalars is common to all theories, and is geometrized by the cosmological polytope. Natural triangulations of the polytope reproduce the path-integral and "old-fashioned perturbation theory" representations of the wavefunction, and we also find new representations of the wavefunction with no extant physical interpretation. We show in suitable examples how symmetries of the cosmological polytope descend to symmetries of the wavefunction, (such as conformal invariance). In cases such as $φ^3$ theory in $dS_4$, the final wavefunction obtained from integration of the rational functions gives rise to polylogarithms associated with every graph. We give an explicit expression for the symbol of these polylogs, which record the geometry of sequential projections of the cosmological polytope.