Spin foam

(Redirected from Spinfoam)

In physics, a spinfoam or spin foam is a topological structure made out of two-dimensional faces that represents one of the configurations that must be summed by functional integration to obtain a Feynman's path integral description of quantum gravity. It is closely related to loop quantum gravity.

Spin foam in loop quantum gravity

Loop quantum gravity has a covariant formulation that, at present, provides the best formulation of the dynamics of the theory of quantum gravity. This is a quantum field theory where the invariance under diffeomorphisms of general relativity is implemented. The resulting path integral represents a sum over all the possible configuration of the geometry, coded in the spinfoam.[how?]

Spin network

A spin network is a one-dimensional graph, together with labels on its vertices and edges which encodes aspects of a spatial geometry.

A spin network is defined as a diagram (like the Feynman diagram) that makes a basis of connections[clarification needed] between the elements of a differentiable manifold for the Hilbert spaces defined over them. Spin networks provide a representation for computations of amplitudes between two different hypersurfaces of the manifold. Any evolution of spin network provides a spin foam over a manifold of one dimension higher than the dimensions of the corresponding spin network.[clarification needed] A spin foam may be viewed as a quantum history.[why?]

Spacetime

Spin networks provide a language to describe quantum geometry of space. Spin foam does the same job on spacetime.

Spacetime can be defined as a superposition of spin foams, which is a generalized Feynman diagram where instead of a graph, a higher-dimensional complex is used. In topology this sort of space is called a 2-complex. A spin foam is a particular type of 2-complex, with labels for vertices, edges and faces. The boundary of a spin foam is a spin network, just as in the theory of manifolds, where the boundary of an n-manifold is an (n-1)-manifold.

In Loop Quantum Gravity, the present Spinfoam Theory has been inspired by the work of Ponzano-Regge model. The concept of a spin foam, although not called that at the time, was introduced in the paper "A Step Toward Pregeometry I: Ponzano-Regge Spin Networks and the Origin of Spacetime Structure in Four Dimensions" by Norman J. LaFave. In this paper, the concept of creating sandwiches of 4-geometry (and local time scale) from spin networks is described, along with the connection of these spin 4-geometry sandwiches to form paths of spin networks connecting given spin network boundaries (spin foams). Quantization of the structure leads to a generalized Feynman path integral over connected paths of spin networks between spin network boundaries. This paper goes beyond much of the later work by showing how 4-geometry is already present in the seemingly three dimensional spin networks, how local time scales occur, and how the field equations and conservation laws are generated by simple consistency requirements. The idea was reintroduced in [1] and later developed into the Barrett–Crane model. The formulation that is used nowadays is commonly called EPRL after the names of the authors of a series of seminal papers,[2] but the theory has also seen fundamental contributions from the work of many others, such as Laurent Freidel (FK model) and Jerzy Lewandowski (KKL model).

Definition

The partition function for a spin foam model is, in general,

${\displaystyle Z:=\sum _{\Gamma }w(\Gamma )\left[\sum _{j_{f},i_{e}}\prod _{f}A_{f}(j_{f})\prod _{e}A_{e}(j_{f},i_{e})\prod _{v}A_{v}(j_{f},i_{e})\right]}$

with:

• a set of 2-complexes ${\displaystyle \Gamma }$ each consisting out of faces ${\displaystyle f}$, edges ${\displaystyle e}$ and vertices ${\displaystyle v}$. Associated to each 2-complex ${\displaystyle \Gamma }$ is a weight ${\displaystyle w(\Gamma )}$
• a set of irreducible representations ${\displaystyle j}$ which label the faces and intertwiners ${\displaystyle i}$ which label the edges.
• a vertex amplitude ${\displaystyle A_{v}(j_{f},i_{e})}$ and an edge amplitude ${\displaystyle A_{e}(j_{f},i_{e})}$
• a face amplitude ${\displaystyle A_{f}(j_{f})}$, for which we almost always have ${\displaystyle A_{f}(j_{f})=\dim(j_{f})}$