(Broken) Gauge Symmetries and Constraints in Regge Calculus

We will examine the issue of diffeomorphism symmetry in simplicial models of (quantum) gravity, in particular for Regge calculus. We find that for a solution with curvature there do not exist exact gauge symmetries on the discrete level. Furthermore we derive a canonical formulation that exactly matches the dynamics and hence symmetries of the covariant picture. In this canonical formulation broken symmetries lead to the replacements of constraints by so--called pseudo constraints. These considerations should be taken into account in attempts to connect spin foam models, based on the Regge action, with canonical loop quantum gravity, which aims at implementing proper constraints. We will argue that the long standing problem of finding a consistent constraint algebra for discretized gravity theories is equivalent to the problem of finding an action with exact diffeomorphism symmetries. Finally we will analyze different limits in which the pseudo constraints might turn into proper constraints. This could be helpful to infer alternative discretization schemes in which the symmetries are not broken.Comment: 32 pages, 15 figure

From covariant to canonical formulations of discrete gravity

Starting from an action for discretized gravity we derive a canonical formalism that exactly reproduces the dynamics and (broken) symmetries of the covariant formalism. For linearized Regge calculus on a flat background -- which exhibits exact gauge symmetries -- we derive local and first class constraints for arbitrary triangulated Cauchy surfaces. These constraints have a clear geometric interpretation and are a first step towards obtaining anomaly--free constraint algebras for canonical lattice gravity. Taking higher order dynamics into account the symmetries of the action are broken. This results in consistency conditions on the background gauge parameters arising from the lowest non--linear equations of motion. In the canonical framework the constraints to quadratic order turn out to depend on the background gauge parameters and are therefore pseudo constraints. These considerations are important for connecting path integral and canonical quantizations of gravity, in particular if one attempts a perturbative expansion.Comment: 37 pages, 5 figures (minor modifications, matches published version + updated references

Counting a black hole in Lorentzian product triangulations

We take a step toward a nonperturbative gravitational path integral for black-hole geometries by deriving an expression for the expansion rate of null geodesic congruences in the approach of causal dynamical triangulations. We propose to use the integrated expansion rate in building a quantum horizon finder in the sum over spacetime geometries. It takes the form of a counting formula for various types of discrete building blocks which differ in how they focus and defocus light rays. In the course of the derivation, we introduce the concept of a Lorentzian dynamical triangulation of product type, whose applicability goes beyond that of describing black-hole configurations.Comment: 42 pages, 11 figure

From the discrete to the continuous - towards a cylindrically consistent dynamics

Discrete models usually represent approximations to continuum physics. Cylindrical consistency provides a framework in which discretizations mirror exactly the continuum limit. Being a standard tool for the kinematics of loop quantum gravity we propose a coarse graining procedure that aims at constructing a cylindrically consistent dynamics in the form of transition amplitudes and Hamilton's principal functions. The coarse graining procedure, which is motivated by tensor network renormalization methods, provides a systematic approximation scheme towards this end. A crucial role in this coarse graining scheme is played by embedding maps that allow the interpretation of discrete boundary data as continuum configurations. These embedding maps should be selected according to the dynamics of the system, as a choice of embedding maps will determine a truncation of the renormalization flow.Comment: 22 page

Coupling a Point-Like Mass to Quantum Gravity with Causal Dynamical Triangulations

We present a possibility of coupling a point-like, non-singular, mass distribution to four-dimensional quantum gravity in the nonperturbative setting of causal dynamical triangulations (CDT). In order to provide a point of comparison for the classical limit of the matter-coupled CDT model, we derive the spatial volume profile of the Euclidean Schwarzschild-de Sitter space glued to an interior matter solution. The volume profile is calculated with respect to a specific proper-time foliation matching the global time slicing present in CDT. It deviates in a characteristic manner from that of the pure-gravity model. The appearance of coordinate caustics and the compactness of the mass distribution in lattice units put an upper bound on the total mass for which these calculations are expected to be valid. We also discuss some of the implementation details for numerically measuring the expectation value of the volume profiles in the framework of CDT when coupled appropriately to the matter source.Comment: 26 pages, 9 figures, updated published versio

The Phoenix Project: Master Constraint Programme for Loop Quantum Gravity

The Hamiltonian constraint remains the major unsolved problem in Loop Quantum Gravity (LQG). Seven years ago a mathematically consistent candidate Hamiltonian constraint has been proposed but there are still several unsettled questions which concern the algebra of commutators among smeared Hamiltonian constraints which must be faced in order to make progress. In this paper we propose a solution to this set of problems based on the so-called {\bf Master Constraint} which combines the smeared Hamiltonian constraints for all smearing functions into a single constraint. If certain mathematical conditions, which still have to be proved, hold, then not only the problems with the commutator algebra could disappear, also chances are good that one can control the solution space and the (quantum) Dirac observables of LQG. Even a decision on whether the theory has the correct classical limit and a connection with the path integral (or spin foam) formulation could be in reach. While these are exciting possibilities, we should warn the reader from the outset that, since the proposal is, to the best of our knowledge, completely new and has been barely tested in solvable models, there might be caveats which we are presently unaware of and render the whole {\bf Master Constraint Programme} obsolete. Thus, this paper should really be viewed as a proposal only, rather than a presentation of hard results, which however we intend to supply in future submissions.Comment: LATEX, uses AMSTE

Area-angle variables for general relativity

We introduce a modified Regge calculus for general relativity on a triangulated four dimensional Riemannian manifold where the fundamental variables are areas and a certain class of angles. These variables satisfy constraints which are local in the triangulation. We expect the formulation to have applications to classical discrete gravity and non-perturbative approaches to quantum gravity.Comment: 7 pages, 1 figure. v2 small changes to match published versio

Phase space descriptions for simplicial 4d geometries

Starting from the canonical phase space for discretised (4d) BF-theory, we implement a canonical version of the simplicity constraints and construct phase spaces for simplicial geometries. Our construction allows us to study the connection between different versions of Regge calculus and approaches using connection variables, such as loop quantum gravity. We find that on a fixed triangulation the (gauge invariant) phase space associated to loop quantum gravity is genuinely larger than the one for length and even area Regge calculus. Rather, it corresponds to the phase space of area-angle Regge calculus, as defined by Dittrich and Speziale in [arXiv:0802.0864] (prior to the imposition of gluing constraints, that ensure the metricity of the triangulation). We argue that this is due to the fact that the simplicity constraints are not fully implemented in canonical loop quantum gravity. Finally, we show that for a subclass of triangulations one can construct first class Hamiltonian and Diffeomorphism constraints leading to flat 4d space-times.Comment: corrected structure constants, several references ad

Semiclassical quantisation of space-times with apparent horizons

Coherent or semiclassical states in canonical quantum gravity describe the classical Schwarzschild space-time. By tracing over the coherent state wavefunction inside the horizon, a density matrix is derived. Bekenstein-Hawking entropy is obtained from the density matrix, modulo the Immirzi parameter. The expectation value of the area and curvature operator is evaluated in these states. The behaviour near the singularity of the curvature operator shows that the singularity is resolved. We then generalise the results to space-times with spherically symmetric apparent horizons.Comment: 52 pages, 4 figure

Coarse graining methods for spin net and spin foam models

We undertake first steps in making a class of discrete models of quantum gravity, spin foams, accessible to a large scale analysis by numerical and computational methods. In particular, we apply Migdal-Kadanoff and Tensor Network Renormalization schemes to spin net and spin foam models based on finite Abelian groups and introduce `cutoff models' to probe the fate of gauge symmetries under various such approximated renormalization group flows. For the Tensor Network Renormalization analysis, a new Gauss constraint preserving algorithm is introduced to improve numerical stability and aid physical interpretation. We also describe the fixed point structure and establish an equivalence of certain models.Comment: 39 pages, 13 figures, 1 tabl