22 pages, no figures; v2: remarks on operator formalism added in discussion; correction: the spin 1/2 irrep of the discrete series does not appear in the Plancherel decomposition
Spin foams of 4d gravity were recently extended from complexes with purely spacelike surfaces to complexes that also contain timelike surfaces. In this article, we express the associated partition function in terms of vertex amplitudes and integrals over coherent states. The coherent states are characterized by unit 3--vectors which represent normals to surfaces and lie either in the 2--sphere or the 2d hyperboloids. In the case of timelike surfaces, a new type of coherent state is used and the associated completeness relation is derived. It is also shown that the quantum simplicity constraints can be deduced by three different methods: by weak imposition of the constraints, by restriction of coherent state bases and by the master constraint.
We construct a canonical formulation of general relativity for the case of a timelike foliation of spacetime. The formulation possesses explicit covariance with respect to Lorentz transformations in the tangent space. Applying the loop approach to quantize the theory we derive the spectrum of the area operator of a two-dimensional surface. Its different branches are naturally associated to spacelike and timelike surfaces. The results are compared with the predictions of Lorentzian spin foam models. A restriction of the representations labeling spin networks leads to perfect agreement between t…
The large $j$ asymptotic behavior of $4$-dimensional spin foam amplitude is investigated for the extended spin foam model (Conrady-Hnybida extension) on a simplicial complex. We study the most general situation in which timelike tetrahedra with timelike triangles are taken into account. The large $j$ asymptotic behavior is determined by critical configurations of the amplitude. We identify the critical configurations that correspond to the Lorentzian simplicial geometries with timelike tetrahedra and triangles. Their contributions to the amplitude are phases asymptotically, whose exponents equ…
We derive simplicity constraints for the quantization of general Lorentzian 4-geometries. Our method is based on the correspondence between coherent states and classical bivectors and the minimization of associated uncertainties. For spacelike geometries, this scheme agrees with the master constraint method of the model by Engle, Pereira, Rovelli and Livine (EPRL). When it is applied to general Lorentzian geometries, we obtain new constraints that include the EPRL constraints as a special case. They imply a discrete area spectrum for both spacelike and timelike surfaces. We use these constrain…
In this article we lay foundations for a formal relationship of spin foam models of gravity and BF theory to their continuum canonical formulations. First the derivation of the spin foam model of the BF theory from the discrete BF theory action in n dimensions is reviewed briefly. By foliating the underlying n dimensional simplicial manifold using n-1 dimensional simplicial hypersurfaces, the spin foam model is reformulated. Then it is shown that spin network functionals arise naturally on the foliations. The graphs of these spin network functionals are dual to the triangulations of the foliat…
We propose a way to describe the origin of black hole entropy in the spin foam models of quantum gravity. This stimulates a new way to study the relation of spin foam models and loop quantum gravity.
We give a brief and a critical review of the Barret-Crane spin foam models of quantum gravity. Then we describe two new spin foam models which are obtained by direct quantization of General Relativity and do not have some of the drawbacks of the Barret-Crane models. These are the model of spin foam invariants for the embedded spin networks in loop quantum gravity and the spin foam model based on the integration of the tetrads in the path integral for the Palatini action.
In this article we give a systematic definition of the recently introduced spin foam models for four dimensional quantum gravity reviewing the main results on their semiclassical limit on fixed discretizations.
We propose a spin foam model of four-dimensional quantum gravity which is based on the integration of the tetrads in the path integral for the Palatini action of General Relativity. In the Euclidian gravity case we show that the model can be understood as a modification of the Barrett-Crane spin foam model. Fermionic matter can be coupled by using the path integral with sources for the tetrads and the spin connection, and the corresponding state sum is based on a spin foam where both the edges and the faces are colored independently with the irreducible representations of the spacetime rotatio…
We describe how the Barrett-Crane spin foam model defines transition amplitudes for quantum gravity states and how causality can be consistently implemented in it.
We compute Teitelboim's causal propagator in the context of canonical loop quantum gravity. For the Lorentzian signature, we find that the resultant power series can be expressed as a sum over branched, colored two-surfaces with an intrinsic causal structure. This leads us to define a general structure which we call a ``causal spin foam''. We also demonstrate that the causal evolution models for spin networks fall in the general class of causal spin foams.
We revise imposition of various constraints in spin foam models of 4-dimensional general relativity. We argue that the usual simplicity constraint must be supplemented by a constraint on holonomies and together they must be inserted explicitly into the discretized path integral. At the same time, the closure constraint must be relaxed so that the new constraint expresses covariance of intertwiners assigned to tetrahedra by spin foam quantization. As a result, the spin foam boundary states are shown to be realized in terms of projected spin networks of the covariant loop approach to quantum gra…
We fill one of the remaining gaps in the asymptotic analysis of the vertex amplitudes of the Engle-Pereira-Rovelli-Livine (EPRL) spin foam models: We show that the hessian is nondegenerate for the stationary points that corresponds to geometric nondegenerate $4$ simplices. Our analysis covers the case when all faces are spacelike.
We present a comparison of the calculation of BTZ black hole entropy in loop quantum gravity and in spin foam models. We see that both give the same answer.
The spin foam framework provides a way to define the dynamics of canonical loop quantum gravity in a spacetime covariant way, by using a path integral over histories of quantum states which can be interpreted as `quantum space-times'. This chapter provides a basic introduction to spin foams aimed principally at beginning graduate students and, where possible, at broader audiences.
We compute metric correlations in loop quantum gravity with the dynamics defined by the new spin foam models. The analysis is done at the lowest order in a vertex expansion and at the leading order in a large spin expansion. The result is compared to the graviton propagator of perturbative quantum gravity.
In a seminal paper, Kaminski, Kisielowski an Lewandowski for the first time extended the definition of spin foam models to arbitrary boundary graphs. This is a prerequisite in order to make contact to the canonical formulation of Loop Quantum Gravity (LQG) whose Hilbert space contains all these graphs. This makes it finally possible to investigate the question whether any of the presently considered spin foam models yields a rigging map for any of the presently defined Hamiltonian constraint operators. In the analysis of this would-be spin foam rigging map we are able to identify an elementary…
We discuss the notion of causality in Quantum Gravity in the context of sum-over-histories approaches, in the absence therefore of any background time parameter. In the spin foam formulation of Quantum Gravity, we identify the appropriate causal structure in the orientation of the spin foam 2-complex and the data that characterize it; we construct a generalised version of spin foam models introducing an extra variable with the interpretation of proper time and show that different ranges of integration for this proper time give two separate classes of spin foam models: one corresponds to the sp…
Starting from Plebanski formulation of gravity as a constrained BF theory we propose a new spin foam model for 4d Riemannian quantum gravity that generalises the well-known Barrett-Crane model and resolves the inherent to it ultra-locality problem. The BF formulation of 4d gravity possesses two sectors: gravitational and topological ones. The model presented here is shown to give a quantization of the gravitational sector, and is dual to the recently proposed spin foam model of Engle et al. which, we show, corresponds to the topological sector. Our methods allow us to introduce the Immirzi par…
"The Spin Foams for People Without the 3d/4d Imagination" could be an alternative title of our work. We derive spin foams from operator spin network diagrams} we introduce. Our diagrams are the spin network analogy of the Feynman diagrams. Their framework is compatible with the framework of Loop Quantum Gravity. For every operator spin network diagram we construct a corresponding operator spin foam. Admitting all the spin networks of LQG and all possible diagrams leads to a clearly defined large class of operator spin foams. In this way our framework provides a proposal for a class of 2-cell c…
A spin-foam model is derived from the canonical model of Loop Quantum Gravity coupled to a massless scalar field. We generalized to the full theory the scheme first proposed in the context of Loop Quantum Cosmology by Ashtekar, Campiglia and Henderson, later developed by Henderson, Rovelli, Vidotto and Wilson-Ewing.
The central object of this paper is a holonomy formulation for spin foams. Within this new represen- tation, we analyze three general requirements: locality, composition law, cylindrical consistency. In particular, cylindrical consistency is shown to fix the arbitrary normalization of the vertex amplitude in the case of Euclidean signature.
We show that N = 1 supersymmetric BF theory in 3d leads to a supersymmetric spin foam amplitude via a lattice discretisation. Furthermore, by analysing the supersymmetric quantum amplitudes, we show that they can be re-interpreted as 3d gravity coupled to embedded fermionic Feynman diagrams.
Spin-foam models are hoped to provide a dynamics for loop quantum gravity. These start from the Plebanski formulation of gravity, in which gravity is obtained from a topological field theory, BF theory, through constraints, which, however, select more than one gravitational sector, as well as an unphysical degenerate sector. We show this is why terms beyond the needed Feynman-prescribed one appear in the semiclassical limit of the EPRL spin-foam amplitude. By quantum mechanically isolating a single gravitational sector, we modify this amplitude, yielding a spin-foam amplitude for loop quantum …
We describe a class of spin foam models of four-dimensional quantum gravity which is based on the integration of the tetrad one-forms in the path integral for the Palatini action of General Relativity. In the Euclidian gravity case this class of models can be understood as a modification of the Barrett-Crane spin foam model. Fermionic matter can be coupled by using the path integral with sources for the tetrads and the spin connection, and the corresponding state sum is based on a spin foam where both the edges and the faces are colored independently with the irreducible representations of the…
A dual holonomy version of operator spin foam models is presented, which is particularly adapted to the notion of coarse graining. We discuss how this leads to a natural way of comparing models on different discretization scales, and a notion of renormalization group flow on the partially ordered set of 2-complexes.
This paper aims at clarifying the link between Loop Quantum Gravity and Spin-Foam models in four dimensions. Starting from the canonical framework, we construct an operator P acting on the space of cylindrical functions Cyl($Γ$), where $Γ$ is the 4-simplex graph, such that its ma- trix elements are, up to some normalization factors, the vertex amplitude of Spin-Foam models. The Spin-Foam models we are considering are the topological model, the Barrett-Crane model and the Engle-Pereira-Rovelli model. The operator P is usually called the "projector" into physical states and its matrix elements g…
I discuss how to impose causality on spin-foam models, separating forward and backward propagation, turning a given triangulation to a 'causal set', and giving asymptotically the exponential of the Regge action, not a cosine. I show the equivalence of the prescriptions which have been proposed to achieve this. Essential to the argument is the closure condition for the 4-simplices, all made of space-like tetrahedra.
In the search for a covariant formulation for Loop Quantum Gravity, spin foams have arised as the corresponding discrete space-time structure and, among the different models, the Barrett-Crane model seems the most promising. Here, we study its boundary states and introduce cylindrical functions on both the Lorentz connection and the time normal to the studied hypersurface. We call them projected cylindrical functions and we explain how they would naturally arise in a covariant formulation of Loop Quantum Gravity.
In this paper, we apply a recently proposed numerical algorithm for finding stationary phase points in spin foam amplitudes. We study a spin foam amplitude with three vertices and a bulk face in 4d BF theory. We fix the boundary coherent states to three possible triangulations, one with zero deficit angle on the bulk face and two with non-zero deficit angle. We compute the amplitude numerically and we find a stationary phase point already at low spins in all the three cases. We comment on how this result contrasts with the claims of flatness problem in spin foam theories. We point out where th…
This paper is twofold. First of all a complete unified picture of $n$-dimensional quantum gravity is proposed in the following sense: In spin foam models of quantum gravity the evaluation of spin networks play a very important role. These evaluations correspond to amplitudes which contribute in a state sum model of quantum gravity. In \cite{fk}, the evaluation of spin networks as integrals over internal spaces was described. This evaluation was restricted to evaluations of spin networks in $n$-dimensional Euclidean quantum gravity. Here we propose that a similar method can be considered to inc…
We present $\mathtt{\text{sl2cfoam-next}}$, a high-performance software library for computing Lorentzian EPRL spin foam amplitudes. The library improves on previous codes by many orders of magnitude in single-core performance, can be parallelized on a large number of CPUs and on the GPU, and can be used interactively. We describe the techniques used in the code and provide many usage examples. As first applications, we use $\mathtt{\text{sl2cfoam-next}}$ to complete the numerical test of the Lorentzian single-vertex asymptotics and to confirm the presence of the "flatness problem" of spin foam…
Energetic causal sets are causal sets endowed by a flow of energy-momentum between causally related events. These incorporate a novel mechanism for the emergence of space-time from causal relations. Here we construct a spin foam model which is also an energetic causal set model. This model is closely related to the model introduced in parallel by Wolfgang Wieland in arXiv:1407.0025, and this construction makes use of results used there. What makes a spin foam model also an energetic causal set is Wieland's identification of new momenta, conserved at events (or four-simplices), whose norms are …
We describe here some new results concerning the Lorentzian Barrett-Crane model, a well-known spin foam formulation of quantum gravity. Generalizing an existing finiteness result, we provide a concise proof of finiteness of the partition function associated to all non-degenerate triangulations of 4-manifolds and for a class of degenerate triangulations not previously shown. This is accomplished by a suitable re-factoring and re-ordering of integration, through which a large set of variables can be eliminated. The resulting formulation can be interpreted as a ``dual variables'' model that uses …
We present a rigorous regularization of Rovellis's generalized projection operator in canonical 2+1 gravity. This work establishes a clear-cut connection between loop quantum gravity and the spin foam approach in this simplified setting. The point of view adopted here provides a new perspective to tackle the problem of dynamics in the physically relevant 3+1 case.
The Spin Foam Model for the SO(4,C) BF theory is discussed. The Barrett-Crane intertwiner for the SO(4,C) general relativity is systematically derived. The SO(4,C) Barret-Crane interwiner is unique. The propagators of the SO(4,C) Barrett-Crane model are discussed. The asymptotic limit of the SO(4,C) general relativity is discussed. The asymptotic limit is controlled by the SO(4,C) Regge calculus.
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.
An idea of reality conditions in the context of spin foams (Barrett-Crane models) is developed. The square of areas are the most elementary observables in the case of spin foams. This observation implies that simplest reality conditions in the context of the Barrett-Crane models is that the all possible scalar products of the bivectors associated to the triangles of a four simplex be real. The continuum generalization of this is the area metric reality constraint: the area metric is real iff a non-degenerate metric is real or imaginary. Classical real general relativity (all signatures) can be…
Using numerical calculations, we compare three versions of the Barrett-Crane model of 4-dimensional Riemannian quantum gravity. In the version with face and edge amplitudes as described by De Pietri, Freidel, Krasnov, and Rovelli, we show the partition function diverges very rapidly for many triangulated 4-manifolds. In the version with modified face and edge amplitudes due to Perez and Rovelli, we show the partition function converges so rapidly that the sum is dominated by spin foams where all the spins labelling faces are zero except for small, widely separated islands of higher spin. We al…
Spin foam models for gravity or BF theory can be constructed by path integral formulation of the classical discrete models formulated on simplicial manifolds. Using this, we discuss the rigorous construction of Lorentzian spin foam models for gravity and BF theory based on the Gelfand-Naimark theory of the representations of SL(2,C). First we construct the simplex amplitude for the BF SL(2,C) model. Next we discuss the implementation of the Barrett-Crane constraints on this model to derive the spin foam model for gravity. The non-trivial constraints are the cross simplicity constraints which s…
We numerically estimate the divergence of several two-vertex diagrams that contribute to the radiative corrections for the Lorentzian EPRL spin foam propagator. We compute the amplitudes as functions of a homogeneous cutoff over the bulk quantum numbers, fixed boundary data, and different Immirzi parameters, and find that for a class of two-vertex diagrams, those with fewer than six internal faces are convergent. The calculations are done with the numerical framework sl2cfoam-next.
Spin foams are candidate state-sum models for transition amplitudes in quantum gravity. An active research subject is to identify the possible divergences of spin foam models, or alternatively to show that models are finite. We will discuss in detail the (non--occurrence of) divergences in the Barrett-Crane model, formulated as an integral of delta function weights only. We will furthermore present a simple method to estimate the divergence degree of the so-called bubbles for general spin foam models. Divergences in spin foams are expected to be related to the existence of gauge symmetries (di…
Spin foam vertex amplitudes are the key ingredient of spin foam models for quantum gravity. These fall into the realm of discretized path integral, and can be seen as generalized lattice gauge theories. They can be seen as an attempt at a 4-dimensional generalization of the Ponzano-Regge model for 3d quantum gravity. We motivate and review the construction of the vertex amplitudes of recent spin foam models, giving two different and complementary perspectives of this construction. The first proceeds by extracting geometric configurations from a topological theory of the BF type, and can be see…
We study the asymptotic properties of four-simplex amplitudes for various four-dimensional spin foam models. We investigate the semi-classical limit of the Ooguri, Euclidean and Lorentzian EPRL models using coherent states for the boundary data. For some classes of geometrical boundary data, the asymptotic formulae are given, in all three cases, by simple functions of the Regge action for the four-simplex geometry.
The goal of spin foam models is to provide a viable path integral formulation of quantum gravity. Because of background independence, their underlying framework has certain novel features that are not shared by path integral formulations of familiar field theories in Minkowski space. As a simple viability test, these features were recently examined through the lens of loop quantum cosmology (LQC). Results of that analysis, reported in a brief communication [1], turned out to provide concrete arguments in support of the spin foam paradigm. We now present detailed proofs of those results. Since …
We suggest a modification of the Barrett-Crane spin foam model of 4-dimensional Lorentzian general relativity motivated by the canonical quantization. The starting point is Lorentz covariant loop quantum gravity. Its kinematical Hilbert space is found as a space of the so-called projected spin networks. These spin networks are identified with the boundary states of a spin foam model and provide a generalization of the unique Barrette-Crane intertwiner. We propose a way to modify the Barrett-Crane quantization procedure to arrive at this generalization: the B field (bi-vectors) should be promot…
We propose a quantum version of the quadratic volume simplicity constraint for the EPRL spin foam model. It relies on a formula for the volume of 4-dimensional polyhedra, depending on its bivectors and the knotting class of its boundary graph. While this leads to no further condition for the 4-simplex, the constraint becomes non-trivial for more complicated boundary graphs. We show that, in the semi-classical limit of the hypercuboidal graph, the constraint turns into the geometricity condition observed recently by several authors.
We give a unified description of all recent spin foam models introduced by Engle, Livine, Pereira and Rovelli (ELPR) and by Freidel and Krasnov (FK). We show that the FK models are, for all values of the Immirzi parameter, equivalent to path integrals of a discrete theory and we provide an explicit formula for the associated actions. We discuss the relation between the FK and ELPR models and also study the corresponding boundary states. For general Immirzi parameter, these are given by Alexandrov's and Livine's SO(4) projected states. For 0 <= gamma < 1, the states can be restricted to SU(2) s…
Spin foam theory is a concrete framework for quantum gravity where numerical calculations of transition amplitudes are possible. Recently, the field became very active, but the entry barrier is steep, mainly because of its unusual language and notions scattered around the literature. This paper is a pedagogical guide to spin foam transition amplitude calculations. We show how to write an EPRL-FK transition amplitude, from the definition of the 2-complex to its numerical implementation using \texttt{sl2cfoam-next}. We guide the reader using an explicit example balancing mathematical rigor with …
We discuss the expansions used in spin foam cosmology. We point out that already at the one vertex level arbitrarily complicated amplitudes contribute, and discuss the geometric asymptotics of the five simplest ones. We discuss what type of consistency conditions would be required to control the expansion. We show that the factorisation of the amplitude originally considered is best interpreted in topological terms. We then consider the next higher term in the graph expansion. We demonstrate the tension between the truncation to small graphs and going to the homogeneous sector, and conclude th…
Recently an idea for computing the entropy of black holes in the spin foam formalism has been introduced. Particularly complete calculations for the three dimensional euclidean BTZ black hole were done. The whole calculation is based on observables living at the horizon of the black hole universe. Departing from this idea of observables living at the horizon, we now go further and compute the entropy of BTZ black hole in the spirit of statistical mechanics. We compare both calculations and show that they are very interrelated and equally valid. This latter behaviour is certainly due to the imp…
We numerically study Barrett-Crane models of Riemannian quantum gravity. We have extended the existing numerical techniques to handle q-deformed models and arbitrary space-time triangulations. We present and interpret expectation values of a few selected observables for each model, including a spin-spin correlation function which gives insight into the behaviour of the models. We find the surprising result that, as the deformation parameter q goes to 1 through roots of unity, the limit is discontinuous.
Spin foam models for quantum gravity are derived from lattice path integrals. The setting involves variables from both lattice BF theory and Regge calculus. The action consists in a Regge action, which depends on areas, dihedral angles and includes the Immirzi parameter. In addition, a measure is inserted to ensure a consistent gluing of simplices, so that the amplitude is dominated by configurations which satisfy the parallel transport relations. We explicitly compute the path integral as a sum over spin foams for a generic measure. The Freidel-Krasnov and Engle-Pereira-Rovelli models corresp…
We study perturbation theory for spin foam models on triangulated manifolds. Starting with any model of this sort, we consider an arbitrary perturbation of the vertex amplitudes, and write the evolution operators of the perturbed model as convergent power series in the coupling constant governing the perturbation. The terms in the power series can be efficiently computed when the unperturbed model is a topological quantum field theory. Moreover, in this case we can explicitly sum the whole power series in the limit where the number of top-dimensional simplices goes to infinity while the coupli…
