Notes for a brief history of quantum gravity
I sketch the main lines of development of the research in quantum gravity, from the first explorations in the early thirties to nowadays.
gr-qc↗
arXiv subjects
Carlo Rovelli
Publications and source records attributed to Carlo Rovelli.
Statistical mechanics of generally covariant quantum theories: A Boltzmann-like approach
We study the possibility of applying statistical mechanics to generally covariant quantum theories with a vanishing Hamiltonian. We show that (under certain appropiate conditions) this makes sense, in spite of the absence of a notion of energy and external time. We consider a composite system formed by a large number of identical components, and apply Boltzmann's ideas and the fundamental postulates of ordinary statistical physics. The thermodynamical parameters are determined by the properties of the thermalizing interaction. We apply these ideas to a simple example, in which the component system has one physical degree of freedom and mimics the constraint algebra of general relativity.
gr-qc↗
3+1 spinfoam model of quantum gravity with spacelike and timelike components
We present a spinfoam formulation of Lorentzian quantum General Relativity. The theory is based on a simple generalization of an Euclidean model defined in terms of a field theory over a group. The model is an extension of a recently introduced Lorentzian model, in which both timelike and spacelike components are included. The spinfoams in the model, corresponding to quantized 4-geometries, carry a natural non-perturbative local causal structure induced by the geometry of the algebra of the internal gauge (sl(2,C)). Amplitudes can be expressed as integrals over the spacelike unit-vectors hyperboloid in Minkowski space, or the imaginary Lobachevskian space.
gr-qc↗
Spin foam model for Lorentzian General Relativity
We present a spin foam formulation of Lorentzian quantum General Relativity. The theory is based on a simple generalization of an Euclidean model defined in terms of a field theory over a group. Its vertex amplitude turns out to be the one recently introduced by Barrett and Crane. As in the case of its Euclidean relatives, the model fully implements the desired sum over 2-complexes which encodes the local degrees of freedom of the theory.
gr-qc↗
A spin foam model without bubble divergences
We present a spin foam model in which the fundamental ``bubble amplitudes'' (the analog of the one-loop corrections in quantum field theory) are finite as the cutoff is removed. The model is a natural variant of the field theoretical formulation of the Barrett-Crane model. As the last, the model is a quantum BF theory plus an implementation of the constraint that reduces BF theory to general relativity. We prove that the fundamental bubble amplitudes are finite by constructing an upper bound, using certain inequalities satisfied by the Wigner (3n)j-symbols, which we derive in the paper. Finally, we present arguments in support of the conjecture that the bubble diagrams of the model are finite at all orders.
gr-qc↗
Spacetime as a Feynman diagram: the connection formulation
Spin foam models are the path integral counterparts to loop quantized canonical theories. In the last few years several spin foam models of gravity have been proposed, most of which live on finite simplicial lattice spacetime. The lattice truncates the presumably infinite set of gravitational degrees of freedom down to a finite set. Models that can accomodate an infinite set of degrees of freedom and that are independent of any background simplicial structure, or indeed any a priori spacetime topology, can be obtained from the lattice models by summing them over all lattice spacetimes. Here we show that this sum can be realized as the sum over Feynman diagrams of a quantum field theory living on a suitable group manifold, with each Feynman diagram defining a particular lattice spacetime. We give an explicit formula for the action of the field theory corresponding to any given spin foam model in a wide class which includes several gravity models. Such a field theory was recently found for a particular gravity model [De Pietri et al, hep-th/9907154]. Our work generalizes this result as well as Boulatov's and Ooguri's models of three and four dimensional topological field theories, and ultimately the old matrix models of two dimensional systems with dynamical topology. A first version of our result has appeared in a companion paper [gr-qc\0002083]: here we present a new and more detailed derivation based on the connection formulation of the spin foam models.
gr-qc↗
Spin foams as Feynman diagrams
It has been recently shown that a certain non-topological spin foam model can be obtained from the Feynman expansion of a field theory over a group. The field theory defines a natural ``sum over triangulations'', which removes the cut off on the number of degrees of freedom and restores full covariance. The resulting formulation is completely background independent: spacetime emerges as a Feynman diagram, as it did in the old two-dimensional matrix models. We show here that any spin foam model can be obtained from a field theory in this manner. We give the explicit form of the field theory action for an arbitrary spin foam model. In this way, any model can be naturally extended to a sum over triangulations. More precisely, it is extended to a sum over 2-complexes.
gr-qc↗
Refined Algebraic Quantization in the oscillator representation of SL(2,R)
We investigate Refined Algebraic Quantization (RAQ) with group averaging in a constrained Hamiltonian system with unreduced phase space T^*R^4 and gauge group SL(2,R). The reduced phase space M is connected and contains four mutually disconnected `regular' sectors with topology R x S^1, but these sectors are connected to each other through an exceptional set where M is not a manifold and where M has non-Hausdorff topology. The RAQ physical Hilbert space H_{phys} decomposes as H_{phys} = (direct sum of) H_i, where the four subspaces H_i naturally correspond to the four regular sectors of M. The RAQ observable algebra A_{obs}, represented on H_{phys}, contains natural subalgebras represented on each H_i. The group averaging takes place in the oscillator representation of SL(2,R) on L^2(R^{2,2}), and ensuring convergence requires a subtle choice for the test state space: the classical analogue of this choice is to excise from M the exceptional set while nevertheless retaining information about the connections between the regular sectors. A quantum theory with the Hilbert space H_{phys} and a finitely-generated observable subalgebra of A_{obs} is recovered through both Ashtekar's Algebraic Quantization and Isham's group theoretic quantization.
gr-qc↗
Loop Quantum Gravity and the Meaning of Diffeomorphism Invariance
This series of lectures gives a simple and self-contained introduction to the non-perturbative and background independent loop approach of canonical quantum gravity. The Hilbert space of kinematical quantum states is constructed and a complete basis of spin network states is introduced. An application of the formalism is provided by the spectral analysis of the area operator, which is the quantum analogue of the classical area function. This leads to one of the key results of loop quantum gravity: the derivation of the discreteness of the geometry and the computation of the quanta of area. Finally, an outlock on a possible covariant formulation of the theory is given leading to a "sum over histories" approach, denoted as spin foam model. Throughout the whole lecture great significance is attached to conceptual and interpretational issues. In particular, special emphasis is given to the role played by the diffeomorphism group and the notion of observability in general relativity.
gr-qc↗
The century of the incomplete revolution: searching for general relativistic quantum field theory
In fundamental physics, this has been the century of quantum mechanics and general relativity. It has also been the century of the long search for a conceptual framework capable of embracing the astonishing features of the world that have been revealed by these two ``first pieces of a conceptual revolution''. I discuss the general requirements on the mathematics and some specific developments towards the construction of such a framework. Examples of covariant constructions of (simple) generally relativistic quantum field theories have been obtained as topological quantum field theories, in nonperturbative zero-dimensional string theory and its higher dimensional generalizations, and as spin foam models. A canonical construction of a general relativistic quantum field theory is provided by loop quantum gravity. Remarkably, all these diverse approaches have turn out to be related, suggesting an intriguing general picture of general relativistic quantum physics.
hep-th↗
SL(2,R) model with two Hamiltonian constraints
We describe a simple dynamical model characterized by the presence of two noncommuting Hamiltonian constraints. This feature mimics the constraint structure of general relativity, where there is one Hamiltonian constraint associated with each space point. We solve the classical and quantum dynamics of the model, which turns out to be governed by an SL(2,R) gauge symmetry, local in time. In classical theory, we solve the equations of motion, find a SO(2,2) algebra of Dirac observables, find the gauge transformations for the Lagrangian and canonical variables and for the Lagrange multipliers. In quantum theory, we find the physical states, the quantum observables, and the physical inner product, which is determined by the reality conditions. In addition, we construct the classical and quantum evolving constants of the system. The model illustrates how to describe physical gauge-invariant relative evolution when coordinate time evolution is a gauge.
gr-qc↗
Spectral noncommutative geometry and quantization: a simple example
We explore the relation between noncommutative geometry, in the spectral triple formulation, and quantum mechanics. To this aim, we consider a dynamical theory of a noncommutative geometry defined by a spectral triple, and study its quantization. In particular, we consider a simple model based on a finite dimensional spectral triple (A, H, D), which mimics certain aspects of the spectral formulation of general relativity. We find the physical phase space, which is the space of the onshell Dirac operators compatible with A and H. We define a natural symplectic structure over this phase space and construct the corresponding quantum theory using a covariant canonical quantization approach. We show that the Connes distance between certain two states over the algebra A (two ``spacetime points''), which is an arbitrary positive number in the classical noncommutative geometry, turns out to be discrete in the quantum theory, and we compute its spectrum. The quantum states of the noncommutative geometry form a Hilbert space K. D is promoted to an operator *D on the direct product *H of H and K. The triple (A, *H, *D) can be viewed as the quantization of the family of the triples (A, H, D).
gr-qc↗
Quantum spacetime: what do we know?
This is a contribution to a book on quantum gravity and philosophy. I discuss nature and origin of the problem of quantum gravity. I examine the knowledge that may guide us in addressing this problem, and the reliability of such knowledge. In particular, I discuss the subtle modification of the notions of space and time engendered by general relativity, and how these might merge into quantum theory. I also present some reflections on methodological questions, and on some general issues in philosophy of science which are are raised by, or a relevant for, the research on quantum gravity.
gr-qc↗
The fermionic contribution to the spectrum of the area operator in nonperturbative quantum gravity
The role of fermionic matter in the spectrum of the area operator is analyzed using the Baez--Krasnov framework for quantum fermions and gravity. The result is that the fermionic contribution to the area of a surface $S$ is equivalent to the contribution of purely gravitational spin network's edges tangent to $S$. Therefore, the spectrum of the area operator is the same as in the pure gravity case.
gr-qc↗
The projector on physical states in loop quantum gravity
We construct the operator that projects on the physical states in loop quantum gravity. To this aim, we consider a diffeomorphism invariant functional integral over scalar functions. The construction defines a covariant, Feynman-like, spacetime formalism for quantum gravity and relates this theory to the spin foam models. We also discuss how expectation values of physical quantity can be computed.
gr-qc↗
Loop quantum gravity and quanta of space: a primer
We present a straightforward and self-contained introduction to the basics of the loop approach to quantum gravity, and a derivation of what is arguably its key result, namely the spectral analysis of the area operator. We also discuss the arguments supporting the physical prediction following this result: that physical geometrical quantities are quantized in a non-trivial, computable, fashion. These results are not new; we present them here in a simple form that avoids the many non-essential complications of the first derivations.
gr-qc↗
Strings, loops and others: a critical survey of the present approaches to quantum gravity
I review the present theoretical attempts to understand the quantum properties of spacetime. In particular, I illustrate the main achievements and the main difficulties in: string theory, loop quantum gravity, discrete quantum gravity (Regge calculus, dynamical triangulations and simplicial models), Euclidean quantum gravity, perturbative quantum gravity, quantum field theory on curved spacetime, noncommutative geometry, null surfaces, topological quantum field theories and spin foam models. I also briefly review several recent advances in understanding black hole entropy and attempt a critical discussion of our present understanding of quantum spacetime.
gr-qc↗
``Incerto tempore, incertisque loci'': Can we compute the exact time at which a quantum measurement happens?
Without addressing the measurement problem (i.e. what causes the wave function to ``collapse'', or to ``branch'', or a history to become realized, or a property to actualize), I discuss the problem of the timing of the quantum measurement: assuming that in an appropriate sense a measurement happens, when precisely does it happen? This question can be posed within most interpretations of quantum mechanics. By introducing the operator M, which measures whether or not the quantum measurement has happened, I suggest that, contrary to what is often claimed, quantum mechanics does provide a precise answer to this question, although a somewhat surprising one.
quant-ph↗