Generating families of surface triangulations. The case of punctured surfaces with inner degree at least 4

We present two versions of a method for generating all triangulations of any punctured surface in each of these two families: (1) triangulations with inner vertices of degree at least 4 and boundary vertices of degree at least 3 and (2) triangulations with all vertices of degree at least 4. The method is based on a series of reversible operations, termed reductions, which lead to a minimal set of triangulations in each family. Throughout the process the triangulations remain within the corresponding family. Moreover, for the family (1) these operations reduce to the well-known edge contractions and removals of octahedra. The main results are proved by an exhaustive analysis of all possible local configurations which admit a reduction.Comment: This work has been partially supported by PAI FQM-164; PAI FQM-189; MTM 2010-2044

A better upper bound on the number of triangulations of a planar point set

We show that a point set of cardinality $n$ in the plane cannot be the vertex set of more than $59^n O(n^{-6})$ straight-edge triangulations of its convex hull. This improves the previous upper bound of $276.75^n$.Comment: 6 pages, 1 figur

On the Absence of an Exponential Bound in Four Dimensional Simplicial Gravity

We have studied a model which has been proposed as a regularisation for four dimensional quantum gravity. The partition function is constructed by performing a weighted sum over all triangulations of the four sphere. Using numerical simulation we find that the number of such triangulations containing $V$ simplices grows faster than exponentially with $V$. This property ensures that the model has no thermodynamic limit.Comment: 8 pages, 2 figure

Quantum Gravity, or The Art of Building Spacetime

The method of four-dimensional Causal Dynamical Triangulations provides a background-independent definition of the sum over geometries in quantum gravity, in the presence of a positive cosmological constant. We present the evidence accumulated to date that a macroscopic four-dimensional world can emerge from this theory dynamically. Using computer simulations we observe in the Euclidean sector a universe whose scale factor exhibits the same dynamics as that of the simplest mini-superspace models in quantum cosmology, with the distinction that in the case of causal dynamical triangulations the effective action for the scale factor is not put in by hand but obtained by integrating out {\it in the quantum theory} the full set of dynamical degrees of freedom except for the scale factor itself.Comment: 22 pages, 6 figures. Contribution to the book "Approaches to Quantum Gravity", ed. D. Oriti, Cambridge University Pres

Local limits of uniform triangulations in high genus

We prove a conjecture of Benjamini and Curien stating that the local limits of uniform random triangulations whose genus is proportional to the number of faces are the Planar Stochastic Hyperbolic Triangulations (PSHT) defined in arXiv:1401.3297. The proof relies on a combinatorial argument and the Goulden--Jackson recurrence relation to obtain tightness, and probabilistic arguments showing the uniqueness of the limit. As a consequence, we obtain asymptotics up to subexponential factors on the number of triangulations when both the size and the genus go to infinity. As a part of our proof, we also obtain the following result of independent interest: if a random triangulation of the plane $T$ is weakly Markovian in the sense that the probability to observe a finite triangulation $t$ around the root only depends on the perimeter and volume of $t$, then $T$ is a mixture of PSHT.Comment: 36 pages, 10 figure

On the relation between Euclidean and Lorentzian 2D quantum gravity

Starting from 2D Euclidean quantum gravity, we show that one recovers 2D Lorentzian quantum gravity by removing all baby universes. Using a peeling procedure to decompose the discrete, triangulated geometries along a one-dimensional path, we explicitly associate with each Euclidean space-time a (generalized) Lorentzian space-time. This motivates a map between the parameter spaces of the two theories, under which their propagators get identified. In two dimensions, Lorentzian quantum gravity can therefore be viewed as a ``renormalized'' version of Euclidean quantum gravity.Comment: 12 pages, 2 figure

Monte Carlo simulations of 4d simplicial quantum gravity

Dynamical triangulations of four-dimensional Euclidean quantum gravity give rise to an interesting, numerically accessible model of quantum gravity. We give a simple introduction to the model and discuss two particularly important issues. One is that contrary to recent claims there is strong analytical and numerical evidence for the existence of an exponential bound that makes the partition function well-defined. The other is that there may be an ambiguity in the choice of the measure of the discrete model which could even lead to the existence of different universality classes.Comment: 16 pages, LaTeX, epsf, 4 uuencoded figures; contribution to the JMP special issue on "Quantum Geometry and Diffeomorphism-Invariant Quantum Field Theory

The Ising Model on a Quenched Ensemble of c = -5 Gravity Graphs

We study with Monte Carlo methods an ensemble of c=-5 gravity graphs, generated by coupling a conformal field theory with central charge c=-5 to two-dimensional quantum gravity. We measure the fractal properties of the ensemble, such as the string susceptibility exponent gamma_s and the intrinsic fractal dimensions d_H. We find gamma_s = -1.5(1) and d_H = 3.36(4), in reasonable agreement with theoretical predictions. In addition, we study the critical behavior of an Ising model on a quenched ensemble of the c=-5 graphs and show that it agrees, within numerical accuracy, with theoretical predictions for the critical behavior of an Ising model coupled dynamically to two-dimensional quantum gravity, provided the total central charge of the matter sector is c=-5. From this we conjecture that the critical behavior of the Ising model is determined solely by the average fractal properties of the graphs, the coupling to the geometry not playing an important role.Comment: 23 pages, Latex, 7 figure