(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

Photon propagation in a cold axion background with and without magnetic field

A cold relic axion condensate resulting from vacuum misalignment in the early universe oscillates with a frequency m, where m is the axion mass. We determine the properties of photons propagating in a simplified version of such a background where the sinusoidal variation is replaced by a square wave profile. We prove that previous results that indicated that charged particles moving fast in such a background radiate, originally derived assuming that all momenta involved were much larger than m, hold for long wavelengths too. We also analyze in detail how the introduction of a magnetic field changes the properties of photon propagation in such a medium. We briefly comment on possible astrophysical implications of these results.Comment: 17 pages, 4 figures, revised version includes an extended discussion on physical implication

Regge calculus from a new angle

In Regge calculus space time is usually approximated by a triangulation with flat simplices. We present a formulation using simplices with constant sectional curvature adjusted to the presence of a cosmological constant. As we will show such a formulation allows to replace the length variables by 3d or 4d dihedral angles as basic variables. Moreover we will introduce a first order formulation, which in contrast to using flat simplices, does not require any constraints. These considerations could be useful for the construction of quantum gravity models with a cosmological constant.Comment: 8 page

Gauge invariant perturbations around symmetry reduced sectors of general relativity: applications to cosmology

We develop a gauge invariant canonical perturbation scheme for perturbations around symmetry reduced sectors in generally covariant theories, such as general relativity. The central objects of investigation are gauge invariant observables which encode the dynamics of the system. We apply this scheme to perturbations around a homogeneous and isotropic sector (cosmology) of general relativity. The background variables of this homogeneous and isotropic sector are treated fully dynamically which allows us to approximate the observables to arbitrary high order in a self--consistent and fully gauge invariant manner. Methods to compute these observables are given. The question of backreaction effects of inhomogeneities onto a homogeneous and isotropic background can be addressed in this framework. We illustrate the latter by considering homogeneous but anisotropic Bianchi--I cosmologies as perturbations around a homogeneous and isotropic sector.Comment: 39 pages, 1 figur

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

Loop quantization of spherically symmetric midi-superspaces

We quantize the exterior of spherically symmetric vacuum space-times using a midi-superspace reduction within the Ashtekar new variables. Through a partial gauge fixing we eliminate the diffeomorphism constraint and are left with a Hamiltonian constraint that is first class. We complete the quantization in the loop representation. We also use the model to discuss the issues that will arise in more general contexts in the ``uniform discretization'' approach to the dynamics.Comment: 18 pages, RevTex, no figures, some typos corrected, published version, for some reason a series of figures were incorrectly added to the previous versio

Quantum Spin Dynamics VIII. The Master Constraint

Recently the Master Constraint Programme (MCP) for Loop Quantum Gravity (LQG) was launched which replaces the infinite number of Hamiltonian constraints by a single Master constraint. The MCP is designed to overcome the complications associated with the non -- Lie -- algebra structure of the Dirac algebra of Hamiltonian constraints and was successfully tested in various field theory models. For the case of 3+1 gravity itself, so far only a positive quadratic form for the Master Constraint Operator was derived. In this paper we close this gap and prove that the quadratic form is closable and thus stems from a unique self -- adjoint Master Constraint Operator. The proof rests on a simple feature of the general pattern according to which Hamiltonian constraints in LQG are constructed and thus extends to arbitrary matter coupling and holds for any metric signature. With this result the existence of a physical Hilbert space for LQG is established by standard spectral analysis.Comment: 19p, no figure

Note About Hamiltonian Formalism of Healthy Extended Horava-Lifshitz Gravity

In this paper we continue the study of the Hamiltonian formalism of the healthy extended Horava-Lifshitz gravity. We find the constraint structure of given theory and argue that this is the theory with the second class constraints. Then we discuss physical consequence of this result. We also apply the Batalin-Tyutin formalism of the conversion of the system with the second class constraints to the system with the first class constraints to the case of the healthy extended Horava-Lifshitz theory. As a result we find new theory of gravity with structure that is different from the standard formulation of Horava-Lifshitz gravity or General Relativity.Comment: 17 pages, v.2. references added, v.3. typos corrected, references adde

Coherent states, constraint classes, and area operators in the new spin-foam models

Recently, two new spin-foam models have appeared in the literature, both motivated by a desire to modify the Barrett-Crane model in such a way that the imposition of certain second class constraints, called cross-simplicity constraints, are weakened. We refer to these two models as the FKLS model, and the flipped model. Both of these models are based on a reformulation of the cross-simplicity constraints. This paper has two main parts. First, we clarify the structure of the reformulated cross-simplicity constraints and the nature of their quantum imposition in the new models. In particular we show that in the FKLS model, quantum cross-simplicity implies no restriction on states. The deeper reason for this is that, with the symplectic structure relevant for FKLS, the reformulated cross-simplicity constraints, in a certain relevant sense, are now \emph{first class}, and this causes the coherent state method of imposing the constraints, key in the FKLS model, to fail to give any restriction on states. Nevertheless, the cross-simplicity can still be seen as implemented via suppression of intertwiner degrees of freedom in the dynamical propagation. In the second part of the paper, we investigate area spectra in the models. The results of these two investigations will highlight how, in the flipped model, the Hilbert space of states, as well as the spectra of area operators exactly match those of loop quantum gravity, whereas in the FKLS (and Barrett-Crane) models, the boundary Hilbert spaces and area spectra are different.Comment: 21 pages; statements about gamma limits made more precise, and minor phrasing change

Testing the Master Constraint Programme for Loop Quantum Gravity I. General Framework

Recently the Master Constraint Programme for Loop Quantum Gravity (LQG) was proposed as a classically equivalent way to impose the infinite number of Wheeler -- DeWitt constraint equations in terms of a single Master Equation. While the proposal has some promising abstract features, it was until now barely tested in known models. In this series of five papers we fill this gap, thereby adding confidence to the proposal. We consider a wide range of models with increasingly more complicated constraint algebras, beginning with a finite dimensional, Abelean algebra of constraint operators which are linear in the momenta and ending with an infinite dimensional, non-Abelean algebra of constraint operators which closes with structure functions only and which are not even polynomial in the momenta. In all these models we apply the Master Constraint Programme successfully, however, the full flexibility of the method must be exploited in order to complete our task. This shows that the Master Constraint Programme has a wide range of applicability but that there are many, physically interesting subtleties that must be taken care of in doing so. In this first paper we prepare the analysis of our test models by outlining the general framework of the Master Constraint Programme. The models themselves will be studied in the remaining four papers. As a side result we develop the Direct Integral Decomposition (DID) for solving quantum constraints as an alternative to Refined Algebraic Quantization (RAQ).Comment: 42 pages, no figure