The Christensen-Egan algorithm is extended and generalized to efficiently evaluate new spin foam vertex amplitudes proposed by Engle, Pereira & Rovelli and Freidel & Krasnov, with or without (factored) boundary states. A concrete pragmatic proposal is made for comparing the different models using uniform methodologies, applicable to the behavior of large spin asymptotics and of expectation values of specific semiclassical observables. The asymptotics of the new models exhibit non-oscillatory, power-law decay similar to that of the Barrett-Crane model, though with different exponents. Also, an analysis of the semiclassical wave packet propagation problem indicates that the Magliaro, Rovelli and Perini's conjecture of good semiclassical behavior of the new models does not hold for generic factored states, which neglect spin-spin correlations.
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 …
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…
Assignment of consistent quantum probabilities to events in a quantum universe is a fundamental challenge which every quantum cosmology/gravity framework must overcome. In loop quantum cosmology, this issue leads to a fundamental question: What is the probability that the universe undergoes a non-singular bounce? Using the consistent histories formulation, this question was successfully answered recently by the authors for a spatially flat FRW model in the canonical approach. In this manuscript, we obtain a covariant generalization of this result. Our analysis is based on expressing loop quant…
We find all the spin-foams contributing in the first order of the vertex expansion to the transition amplitude of the Bianchi-Rovelli-Vidotto Dipole Cosmology model. Our algorithm is general and provides spin-foams of arbitrarily given, fixed: boundary and, respectively, a number of internal vertices. We use the recently introduced Operator Spin-Network Diagrams framework.
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.
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…
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 …
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…
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…
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.
The intricated combinatorial structure and the non-compactness of the Lorentz group have always made the computation of $SL(2,\mathbb{C})$ EPRL spin foam transition amplitudes a very hard and resource demanding task. With \texttt{sl2cfoam} we provide a C-coded library for the evaluation of the Lorentzian EPRL vertex amplitude. We provide a tool to compute the Lorentzian EPRL 4-simplex vertex amplitude in the intertwiner basis and some utilities to evaluate SU(2) invariants, booster functions and $SL(2,\mathbb{C})$ Clebsch-Gordan coefficients. We discuss the data storage, parallelizations, time…
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.
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 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.
We present the first numerical calculation of the 4D Euclidean spin foam vertex amplitude for vertices with hypercubic combinatorics. Concretely, we compute the amplitude for coherent boundary data peaked on cuboid and frustum shapes. We present the numerical algorithms to explicitly compute the vertex amplitude and compare the results in different cases to the semi-classical approximation of the amplitude. Overall we find good qualitative agreement of the amplitudes and evidence of convergence of the asymptotic formula to the full amplitude already at fairly small spins, yet also differences …
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…
Loop quantum cosmology (LQC) is used to provide concrete evidence in support of the general paradigm underlying spin foam models (SFMs). Specifically, it is shown that: i) the physical inner product in the timeless framework equals the transition amplitude in the deparameterized theory; ii) this quantity admits a %convergent vertex expansion a la SFMs in which the $M$-th term refers just to $M$ volume transitions, without any reference to the time at which the transition takes place; iii) the exact physical inner product is obtained by summing over just the discrete geometries; no `continuum l…
"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…
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.
We construct a spin foam model of Yang-Mills theory coupled to gravity by using a discretized path integral of the BF theory with polynomial interactions and the Barret-Crane ansatz. In the Euclidian gravity case we obtain a vertex amplitude which is determined by a vertex operator acting on a simple spin network function. The Euclidian gravity results can be straightforwardly extended to the Lorentzian case, so that we propose a Lorentzian spin foam model of Yang-Mills theory coupled to gravity.
Vertex amplitudes are elementary contributions to the transition amplitudes in the spin foam models of quantum gravity. The purpose of this article is make the first step towards computing vertex amplitudes with the use of quantum algorithms. In our studies we are focused on a vertex amplitude of 3+1 D gravity, associated with a pentagram spin-network. Furthermore, all spin labels of the spin network are assumed to be equal $j=1/2$, which is crucial for the introduction of the \emph{intertwiner qubits}. A procedure of determining modulus squares of vertex amplitudes on universal quantum comput…
We show that the EPRL/FK spin foam model of quantum gravity has an absolutely convergent partition function if the vertex amplitude is divided by an appropriate power $p$ of the product of dimensions of the vertex spins. This power is independent of the spin foam 2-complex and we find that $p>2$ insures the convergence of the state sum. Determining the convergence of the state sum for the values $0 \le p \le 2$ requires the knowledge of the large-spin asymptotics of the vertex amplitude in the cases when some of the vertex spins are large and other are small.
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 transition amplitudes between two spin networks with dipole graphs, using the Lorentzian EPRL model with up to two (non-simplicial) vertices. We find power-law decreasing amplitudes in the large spin limit, decreasing faster as the complexity of the foam increases. There are no oscillations nor asymptotic Regge actions at the order considered, nonetheless the amplitudes still induce non-trivial correlations. Spin correlations between the two dipoles appear only when one internal face is present in the foam. We compute them within a mini-superspace description, finding positive corre…
We show that the degenerate sector of Spin(4) Plebanski formulation of four-dimensional gravity is exactly solvable and describes covariantly embedded SU(2) BF theory. This fact ensures that its spin foam quantization is given by the SU(2) Crane-Yetter model and allows to test various approaches of imposing the simplicity constraints. Our analysis strongly suggests that restricting representations and intertwiners in the state sum for Spin(4) BF theory is not sufficient to get the correct vertex amplitude. Instead, for a general theory of Plebanski type, we propose a quantization procedure whi…
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…
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…
We define an effective action for spin foam models of quantum gravity by adapting the background field method from quantum field theory. We show that the Regge action is the leading term in the semi-classical expansion of the spin foam effective action if the vertex amplitude has the large-spin asymptotics which is proportional to an exponential function of the vertex Regge action. In the case of the known three-dimensional and four-dimensional spin foam models this amounts to modifying the vertex amplitude such that the exponential asymptotics is obtained. In particular, we show that the ELPR…
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. Finall…
I discuss the use of spinors in the construction of spin-foam models, in particular the form of the closure and simplicity constraints for triangles that are space-like, i.e. with (area)$^2=\half S^{IJ}S_{IJ}>0$, regardless of whether they belong the tetrahedra with a space-like or time-like normal, emphasizing the role of the light-like 4-vector $u_tσ^I\bar u_t$. In the quantization of the model, with the representations of SL(2,$\mathbb{C}$) acting on spaces of functions of light-like vectors, one may use the canonical basis of SU(2) representations, or the pseudobasis limited to the discret…
We study the problem of semiclassical limit of Loop Quantum Gravity theory defined by the new spin foam models. This is done by analyzing the large-spin asymptotics of the Hartle-Hawking wavefunction. By using the stationary phase method we determine the wavefunction asymptotics, which then determines the large-distance asymptotics of the corresponding graviton propagator. We show that the graviton propagator behaves as the inverse distance to the fourth power. Our result is a direct consequence of the large-spin asymptotics of the spin foam model vertex amplitude, and it is valid for all new …
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…
It is often emphasized that spin-foam models could realize a projection on the physical Hilbert space of canonical Loop Quantum Gravity (LQG). As a first test we analyze the one-vertex expansion of a simple Euclidean spin-foam. We find that for fixed Barbero-Immirzi parameter γ=1 the one vertex-amplitude in the KKL prescription annihilates the Euclidean Hamiltonian constraint of LQG. Since for γ=1 the Lorentzian part of the Hamiltonian constraint does not contribute this gives rise to new solutions of the Euclidean theory. Furthermore, we find that the new states only depend on the diagonal ma…
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…
The simplicial framework of Engle-Pereira-Rovelli-Livine spin-foam models is generalized to match the diffeomorphism invariant framework of loop quantum gravity. The simplicial spin-foams are generalized to arbitrary linear 2-cell spin-foams. The resulting framework admits all the spin-network states of loop quantum gravity, not only those defined by triangulations (or cubulations). In particular the notion of embedded spin-foam we use allows to consider knotting or linking spin-foam histories. Also the main tools as the vertex structure and the vertex amplitude are naturally generalized to ar…
The amplitude for a spin foam in the Barrett-Crane model of Riemannian quantum gravity is given as a product over its vertices, edges and faces, with one factor of the Riemannian 10j symbols appearing for each vertex, and simpler factors for the edges and faces. We prove that these amplitudes are always nonnegative for closed spin foams. As a corollary, all open spin foams going between a fixed pair of spin networks have real amplitudes of the same sign. This means one can use the Metropolis algorithm to compute expectation values of observables in the Riemannian Barrett-Crane model, as in sta…
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…
We explore the structure of the spin foam-like vertex expansion in loop quantum cosmology and discuss properties of the corresponding amplitudes, with the aim of elucidating some of the expansion's useful properties and features. We find that the expansion is best suited for consideration of conceptual questions and for investigating short-time, highly quantum behavior. In order to study dynamics at cosmological scales, the expansion must be carried to very high order, limiting its direct utility as a calculational tool for such questions. Conversely, it is unclear that the expansion can be tr…
We study the semiclassical properties of the Riemannian spin foam models with Immirzi parameter that are constructed via coherent states. We show that in the semiclassical limit the quantum spin foam amplitudes of an arbitrary triangulation are exponentially suppressed, if the face spins do not correspond to a discrete geometry. When they do arise from a geometry, the amplitudes reduce to the exponential of i times the Regge action. Remarkably, the dependence on the Immirzi parameter disappears in this limit.
We formulate the spin foam representation of discrete SU(2) gauge theory as a product of vertex amplitudes each of which is the spin network generating function of the boundary graph dual to the vertex. In doing so the sums over spins have been carried out. The boundary data of each n-valent node is explicitly reduced with respect to the local gauge invariance and has a manifest geometrical interpretation as a framed polyhedron of fixed total area. Ultimately, sums over spins are traded for contour integrals over simple poles and recoupling theory is avoided using generating functions.
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 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 construct and analyse a quantum deformation of the Lorentzian EPRL model. The model is based on the representation theory of the quantum Lorentz group with real deformation parameter. We give a definition of the quantum EPRL intertwiner, study its convergence and braiding properties and construct an amplitude for the four-simplexes. We find that the resulting model is finite.
In this article, we consider an ad-hoc deformation of the EPRL model for quantum gravity by a cosmological constant term. This sort of deformation has been first introduced by Han for the case of the $4$-simplex. In this article, we generalise the deformation to the case of arbitrary vertices, and compute its large-$j$-asymptotics. We show that, if the boundary data corresponds to a $4d$ polyhedron $P$, then the asymptotic formula gives the usual Regge action plus a cosmological constant term. We pay particular attention to the determinant of the Hessian matrix, and show that it can be related…
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 constraint…
The proper spin-foam vertex amplitude is obtained from the EPRL vertex by projecting out all but a single gravitational sector, in order to achieve correct semi-classical behavior. In this paper we calculate the gravitational two-point function predicted by the proper spin-foam vertex to lowest order in the vertex expansion. We find the same answer as in the EPRL case in the `continuum spectrum' limit, so that the theory is consistent with the predictions of linearized gravity in the regime of small curvature. The method for calculating the two-point function is similar to that used in prior w…
While the use of spin networks has greatly improved our understanding of the kinematical aspects of quantum gravity, the dynamical aspects remain obscure. To address this problem, we define the concept of a `spin foam' going from one spin network to another. Just as a spin network is a graph with edges labeled by representations and vertices labeled by intertwining operators, a spin foam is a 2-dimensional complex with faces labeled by representations and edges labeled by intertwining operators. Spin foams arise naturally as higher-dimensional analogs of Feynman diagrams in quantum gravity and…
Quantum computers are an increasingly hopeful means for understanding large quantum many-body systems bearing high computational complexity. Such systems exhibit complex evolutions of quantum states, and are prevailing in fundamental physics, e.g., quantum gravity. Computing the transition amplitudes between different quantum states by quantum computers is one of the promising ways to solve such computational complexity problems. In this work, we apply a 10-qubit superconducting quantum processor, where the all-to-all circuit connectivity enables a many-body entangling gate that is highly effi…
The Turaev-Viro state sum model provides a covariant spin foam quantization of three-dimensional Riemannian gravity with a positive cosmological constant Λ. We complete the program to canonically quantize the theory in the BF formulation using the formalism of Loop Quantum Gravity. In particular, we show first how quantum group structures arise from the requirement of the constraint algebra to be anomaly free. This allows us to generalize the construction of the physical scalar product, from the Λ = 0 case, in presence of a positive Λ. We prove the equivalence between the covariant and canonic…
The amplitude for the 4-simplex in a spin foam model for quantum gravity is defined using a graphical calculus for the unitary representations of the Lorentz group. The asymptotics of this amplitude are studied in the limit when the representation parameters are large, for various cases of boundary data. It is shown that for boundary data corresponding to a Lorentzian simplex, the asymptotic formula has two terms, with phase plus or minus the Lorentzian signature Regge action for the 4-simplex geometry, multiplied by an Immirzi parameter. Other cases of boundary data are also considered, inclu…
Modern spin-foam models of four dimensional gravity are based on a discrete version of the $Spin(4)$ Plebanski formulation. Beyond what is already in the literature, we clarify the meaning of different Plebanski sectors in this classical discrete model. We show that the linearized simplicity constraints used in the EPRL and FK models are not sufficient to impose a restriction to a single Plebanski sector, but rather, three Plebanski sectors are mixed. We propose this as the reason for certain extra `undesired' terms in the asymptotics of the EPRL vertex analyzed by Barrett et al. This explanat…
We study the 4-d holomorphic Spin Foam amplitude on arbitrary connected 2-complexes and degrees of divergence. With recently developed tools and truncation scheme, we derive a formula for a certain class of graphs, which allows us to write down the value of bulk amplitudes simply based on graph properties. We then generalize the result to arbitrary connected 2-complexes and extract a simple expression for the degree of divergence only in terms of combinatorial properties and topological invariants. The distinct behaviors of the model in different regions of parameter space signal phase transit…
