Learning about Quantum Gravity with a Couple of Nodes
Loop Quantum Gravity provides a natural truncation of the infinite degrees of freedom of gravity, obtained by studying the theory on a given finite graph. We review this procedure and we present the construction of the canonical theory on a simple graph, formed by only two nodes. We review the U(N)...
Saved in:
| Published in: | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Date: | 2012 |
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Published: |
Інститут математики НАН України
2012
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/148405 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Learning about Quantum Gravity with a Couple of Nodes / E.F. Borja, I. Garay, F. Vidotto // Symmetry, Integrability and Geometry: Methods and Applications. — 2012. — Т. 8. — Бібліогр.: 109 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860016232126742528 |
|---|---|
| author | Borja, E.F. Garay, I. Vidotto, F. |
| author_facet | Borja, E.F. Garay, I. Vidotto, F. |
| citation_txt | Learning about Quantum Gravity with a Couple of Nodes / E.F. Borja, I. Garay, F. Vidotto // Symmetry, Integrability and Geometry: Methods and Applications. — 2012. — Т. 8. — Бібліогр.: 109 назв. — англ. |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | Loop Quantum Gravity provides a natural truncation of the infinite degrees of freedom of gravity, obtained by studying the theory on a given finite graph. We review this procedure and we present the construction of the canonical theory on a simple graph, formed by only two nodes. We review the U(N) framework, which provides a powerful tool for the canonical study of this model, and a formulation of the system based on spinors. We consider also the covariant theory, which permits to derive the model from a more complex formulation, paying special attention to the cosmological interpretation of the theory.
|
| first_indexed | 2025-12-07T16:44:51Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 8 (2012), 015, 44 pages
Learning about Quantum Gravity
with a Couple of Nodes?
Enrique F. BORJA †1†2, Iñaki GARAY †1†3 and Francesca VIDOTTO †4†5
†1 Institute for Theoretical Physics III, University of Erlangen-Nürnberg,
Staudtstraße 7, 91058 Erlangen, Germany
E-mail: efborja@theorie3.physik.uni-erlangen.de, igael@theorie3.physik.uni-erlangen.de
†2 Departamento de F́ısica Teórica and IFIC, Centro Mixto Universidad de Valencia-CSIC,
Facultad de F́ısica, Universidad de Valencia, Burjassot-46100, Valencia, Spain
†3 Departamento de F́ısica Teórica, Universidad del Páıs Vasco,
Apartado 644, 48080 Bilbao, Spain
†4 Laboratoire de Physique Subatomique et de Cosmologie,
53 rue des Martyrs, 38026 Grenoble, France
†5 Centre de Physique Théorique de Luminy, Case 907, 13288 Marseille, France
E-mail: vidotto@cpt.univ-mrs.fr
Received October 08, 2011, in final form March 12, 2012; Published online March 25, 2012
http://dx.doi.org/10.3842/SIGMA.2012.015
Abstract. Loop Quantum Gravity provides a natural truncation of the infinite degrees
of freedom of gravity, obtained by studying the theory on a given finite graph. We review
this procedure and we present the construction of the canonical theory on a simple graph,
formed by only two nodes. We review the U(N) framework, which provides a powerful tool
for the canonical study of this model, and a formulation of the system based on spinors. We
consider also the covariant theory, which permits to derive the model from a more complex
formulation, paying special attention to the cosmological interpretation of the theory.
Key words: discrete gravity; canonical quantization; spinors; spinfoam; quantum cosmology
2010 Mathematics Subject Classification: 83C27; 83C45; 83C60; 83F05
1 Introduction to few-nodes models
It’s a long way to quantum gravity, and the way is not unique. We do not yet have a complete
quantization of the gravitational field. Different proposals have been explored, and we are
assisting to the convergence of some of them into a unique coherent picture, that takes the name
of Loop Quantum Gravity (LQG) [85, 89, 102].
The state space of LQG, HLQG, admits subspaces that are determined by graphs Γ, whose
physical meaning we discuss below. In [96] the idea was put forward to study the truncation of
the full quantum theory on a very simple graph: a graph formed by only two nodes. This trun-
cation, it was argued, can be sufficient to study cosmology. The idea has since been developed
in various directions. First, the physical approximation involved in this truncation has become
more clear. Second, the relation between the degrees of freedom captured by this “dipole” graph
and the degree of freedom of Bianchi XI has been clarified.
More importantly, the “dipole” truncation has proven to be a natural context for developing
the U(N) formalism, a powerful mathematical language for controlling the mathematical struc-
?This paper is a contribution to the Special Issue “Loop Quantum Gravity and Cosmology”. The full collection
is available at http://www.emis.de/journals/SIGMA/LQGC.html
mailto:efborja@theorie3.physik.uni-erlangen.de
mailto:igael@theorie3.physik.uni-erlangen.de
mailto:vidotto@cpt.univ-mrs.fr
http://dx.doi.org/10.3842/SIGMA.2012.015
http://www.emis.de/journals/SIGMA/LQGC.html
2 E.F. Borja, I. Garay and F. Vidotto
ture of the quantum states of geometry, especially in the homogeneous and isotropic context,
and to suggest the form of the Hamiltonian.
Finally, the “dipole” graph has represented the starting point for deriving cosmological am-
plitudes from the covariant spinfoam theory, opening the way to the use of richer graphs.
In this article we review these different directions of research opened by the study of the
“dipole” graph. We begin, below, by discussing the physical meaning of the graph. We discuss
the original Hamiltonian quantization of dipole in the context of cosmology in Section 2, then
the U(N) formalism in Section 3, and finally the spinfoam application in Section 4.
1.1 Why graphs?
Let us begin by discussing how a truncation can appear in quantum gravity, and how it is related
to graphs.
Discrete gravity (1961). The essential idea behind the graph truncation can be traced to
Regge calculus [79], which is based on the idea of approximating spacetime with a triangulation,
where the metric is everywhere flat except on the triangles. On a fixed spacelike surface, Regge
calculus induces a discrete 3-geometry defined on a 3d triangulation, where the metric is every-
where flat except on the bones. The two-skeleton of the dual of this 3d cellular decomposition
is a graph Γ, obtained by taking a point (a “node”) inside each cell, and connecting it to the
node in an adjacent cell by a link, puncturing the triangle shared by the two cells. These are
the graph we are considering here. More precisely, we will consider some generalizations of
this construction, where the cellular decomposition is not necessarily a triangulation and the
geometry can be more discontinuous than a Regge geometry.
Spinnetworks (1971). In Loop Quantum Gravity, the spinnetwork basis |Γ, j`, νn〉 [13,
14, 92] is an orthonormal basis that diagonalizes the area and volume operators. The states
in this basis are labelled by a graph Γ and two quantum numbers coloring it: a spin j at
each link ` and a volume eigenvalue ν at each node n. The (diff-invariant) Hilbert space HΓ
obtained by considering only the states on the (abstract) graph Γ is precisely the Hilbert space
of an SU(2) Yang–Mills theory on this lattice. Penrose’s “spin-geometry” theorem connects
this Hilbert space with the description of the geometry of the cellular decomposition mentioned
above: states in this Hilbert space admit a geometrical interpretation [76] as a quantum version
of the 3-geometry (see [89] and [26]). That is, a Regge 3-geometry defined on a triangulation
with dual graph Γ can be approximated by semiclassical state in HΓ.1
Holonomies (1986). In the canonical quantization of General Relativity (GR), in order
to implement Dirac quantization, it’s convenient to choose the densitized inverse triad Eia
(Ashtekar’s electric field) and the Ashtekar–Barbero connection Aia as conjugate variables [3],
and then use the flux of Eia and the the holonomy hγ = P exp[
∫
γ A
i
a], namely the parallel
transport operator for A along a path γ, as fundamental variables for the quantization. In the
quantum theory, all relevant physical objects (partial obsevables [84]), for instance the operators
for area and volume, have support only on these paths and their intersections. Considering
a truncation of the theory amounts to restricting the choice of the observables to a finite subset.
In particular, the holonomies can be taken along the links of the graph, and the densitized
inverse triad can be smeared over the faces of the triangulation. This connects the holonomy-
triad variables to the discrete geometry picture.
The common point of these different derivations is 3d coordinate gauge invariance, that has
important consequences2. This invariance is the reason for the use of abstract graphs: it removes
1Generically, the geometry defined by the semiclassical states in HΓ can be more general than a Regge geomet-
ry [55, 94]. Furthermore, the graphs can be dual to generic cellular decomposition which are not triangulations,
or to a cellular decomposition subjected to some specific restrictions [60, 63, 65].
2The 3d coordinate gauge invariance is the fundamental assumption of the LOST theorem [48, 67], that states
the uniqueness of the representation in the LQG Hilbert space.
Learning about Quantum Gravity with a Couple of Nodes 3
|Γ, jl, vn〉
Figure 1. To each node of a spinnetwork we can associate a “quantum of space”.
the physical meaning of the location of the graph on the manifold. Therefore the graph we are
considering is just a combinatorial object, that codes the adjacency of the nodes. Each node
describe a quantum of space, and the graph describes the relations between different pieces of
space. The Hilbert subspaces associated to distinct but topologically equivalent embedded graphs
are identified [90, 91], and each graph space hΓ contains the Hilbert spaces of all the subgraphs.
1.2 Doing physics with few nodes
Full general relativity is recovered from Regge calculus only by moving to triangulations with an
arbitrary large number of cells; the full LQG Hilbert space includes arbitrary large graphs; and
the full set of observables cannot be restricted to holonomies and fluxes on a fixed graph. The
restriction to a fixed triangulation or a fixed graph amounts only to a truncation of the theory,
namely to disregarding an infinite number of degrees of freedom and cutting down the theory to
an approximate theory with a finite number of degrees of freedom. But truncations are always
needed in quantum field theory, in order to extract numbers from the theory. For instance,
numerical lattice QCD calculations are performed on a finite lattice, and every given Feynman
graph in QED involves only a finite number of particles, hence a truncation of the full theory3.
A given truncation can provide a valuable approximation to the full theory only under certain
conditions and in certain physical regimes. It is important to notice that in appropriate physical
regimes even a low-order approximation can be effective. The Regge dynamics approximates the
continuous GR dynamics when RL2 � 1 where R is the curvature scale and L the length of the
Regge bones4. Therefore, as far as computing dynamics is concerned, a very rough triangulation
can well approximate a near-flat spacetime. Very similarly, a first order Feynman diagram gives
an excellent approximation to a scattering amplitude, even if the real spacetime trajectory of the
particles is a smooth curved path, quite different from the piecewise straight path depicted in
the Feynman diagram. Notice that since any given Feynman diagram involves a finite number N
of particle, the diagram is concretely defined on the subspace HN of Fock space spanned by the
n-particle states with n ≤ N .
In LQG, the analog of HN is the state space HΓ formed by the (diff-invariant) states on
a given graph is a subspace of the full Hilbert space HLQG ∼ lim
Γ→∞
HΓ [6, 89]. It has the
structure HΓ = L2
[
SU(2)L/SU(2)n
]
, where L the number of oriented links of Γ, n is the number
3It is interesting to remark that these two very different truncation schemes (finite number of lattice sites in
lattice QCD and finite number of particles in perturbative QED) end up merging in quantum gravity. This is
because a lattice site is a region of space and in quantum gravity a region of space is quantum of the gravitational
field, very much like a particle is a quantum of a quantum field. Therefore both truncations are reinterpreted in
quantum gravity as expansions in the number of a quanta: a finite number of quanta of the gravitational field is
described by a spin network, and is also a lattice in the sense of QCD, as shown by the structure of HΓ indicated
below. This convergence of the different quantum field theory pictures of lattice QCD and perturbative QED is
one of the most beautiful aspects of LQG.
4Namely when the Regge deficit angles, which code the curvature, are small.
4 E.F. Borja, I. Garay and F. Vidotto
of nodes, and the group quotient is given by the gauge transformations at the nodes on the
group elements on the links as in lattice gauge theory. It is therefore interesting to explore if
we can compute physical quantities approximately working in HΓ instead of the full HLQG, in
the same spirit of Quantum Field Theory when one considers the Fock space for N particles,
instead of infinite particles. This approach to LQG is called graph expansion, and relies on the
invariance under diffeomorphism, that we have just discussed above.
Truncating the theory to a given fixed Γ corresponds to disregarding the states that need
a “larger” graph to be defined, while all states that have support on graphs “smaller” than Γ
are already contained in hΓ.5
As the connection with Regge calculus shows, choosing a graph corresponds then to choosing
an approximation for the system that we want to describe. Discretizing a continuous geometry
by a given graph is nothing but coarse graning the theory. It is important to stress that the
discreteness introduced by this process is different from the fundamental quantum discreteness
of the theory. The first is the discreteness of the abstract graphs; the later is the discreteness
of the spectra of the area and volume operator on each given HΓ. Mistaking these two sources
of discreteness has been a source of confusion in the literature6.
Another source of confusion in the literature is the confusion between two different expansion:
the graph expansion and the semiclassical expansion (see Fig. 2). The first is obtained by
a refinement of the graph, the second by a large-distance limit [89] on each graph. The first is
an expansion valid in the regimes where a rough graph approximation is good (in particular at
scales L smaller that the curvature scale R); the second when we can disregard quantum effects,
(in particular, at scales L larger that the Planck scale LP ).
Figure 2. Continuous and classical limits in LQG.
This allows us to study two distinct limits in the theory:
Continuous limit. We are considering a discretized system with the further properties to be
diff-invariant system. This lead to a peculiarity while taking the continuum limit, as discussed
in [83]. In a theory like lattice QCD, this limit is achieved by sending the lattice spacing to zero
and the coupling constant to its critical value. Here instead we just refine the graph, because
the dynamics is not affected by the size of the discretization since coordinates are unphysical.
This may have an important consequence: the discretization becomes nearly exact, the number
of nodes behaves as an effective expansion parameter and the system may approach a regime
where the theory is topological (Ditt-invariance regime [82]). This might happen in describing
homogeneous and isotropic geometries [16, 17, 18, 19].
Classical limit. The fundamental discreteness of the theory is washed away when the large-
distance limit of the theory is taken. This corresponds to considering large spins, namely j →∞.
The classical theory is therefore recovered and the quantum parameters ~ and γ (the Barbero–
5States with support on graph smaller than Γ (subgraphs of Γ) are already included in HΓ.
6This is analog to the case of an electromagnetic field in a box: the modes of the field are discrete and allow
a truncation of the theory, but quantum discreteness is something else: it is given by the quantized energy of each
mode.
Learning about Quantum Gravity with a Couple of Nodes 5
Figure 3. On the left, a 4d building block of spacetime and, on the right, the evolution of 5, 16 and 500
of these building block (dashed lines), modeling a closed universe, compared whit the continuous analytic
solution (solid line) [35]. The qualitative behavior of these universes, coded in the rate of change of the
volume, is the same.
Immirzi parameter) disappear. Different ways to take the semi-classical limit, such that the
quantum corrections would be under better control, are under study [73].
The classical continuous theory of General Relativity is recovered once both limits are taken.
In quantum theory, these expansions have provided interesting insights on the full theory. (This
will be addressed further while addressing the covariant theory in Section 4.)
The point of view that we are presenting in this review is that we may not necessarily be
obliged to deal with very complicated graph in quantum gravity. Interesting physics can arise
even by considering a simple graph, with few nodes, and comparing our results with classical
discrete gravity (Regge calculus).
Notice that, in Regge calculus, few nodes are already enough to capture the qualitative
behavior of the model. This is true for FLRW cosmologies. It has in fact been proven numeri-
cally [35] that the dynamics of a closed universe, with homogeneous and isotropic geometry, can
be capture by 5, 16 and 600 nodes (these are the regular triangulations of a 3-sphere) adapting
the dynamics to these triangulations, and the only resulting difference is given by the scaling:
having more tetrahedra, the growth is faster.
This review focuses on the construction of the theory when the graph is particularly small.
In fact, we use here a minimal graph, given just by 2 nodes.
The main problem that we do not address in this review is how radiative corrections can affect
the viability of the graph expansion. In a renormalizable quantum field theory we know that
radiative corrections can be split into a finite part which is small, and therefore does not spoil
the viability of the expansion, and a divergent part, which can be absorbed into a redefinition
of fields and coupling constants. The same question arises in the present context: when refining
the disctretization, do we generate corrections that are large and cannot be reabsorbed? This
question, upon which relies the viability of the entire philosophy of the graph expansion has not
been sufficiently studied yet [66, 78].
1.3 The cosmological interpretation
The graph expansion can be put in correspondence with a mode expansion of the gravitational
field on a compact space [96]. (In the case of the dipole graph – see below – this correspondence
has been worked out explicitly in [24].) The truncation of the theory on a graph provides
a natural cut off of the infinite degrees of freedom of general relativity down to a finite number.
Choosing a graph, we disregard the higher modes of this expansion. Therefore the truncation
6 E.F. Borja, I. Garay and F. Vidotto
defines an approximation viable for gravitational phenomena where the ratio between the largest
and the smallest relevant wavelengths in the boundary state is small.
Notice that this is neither an ultraviolet nor an infrared truncation, because the whole physical
space can still be large or small. What is lost are not wavelengths shorter than a given length,
but rather wavelengths k times shorter than the full size of physical space, for some integer k.
To understand the nature of this approximation, we can refer again to numerical lattice QCD.
The number of lattice sites concretely needed for a numerical calculation is determined by the
ratio between the smallest and largest wavelenghts involved in the phenomenon studied. For
instance, for studying hadron masses [43], the relevant ratio is that determined by the hadron
and quarks’ sizes.
But the most striking example, where this kind of approximation applies, is given by cos-
mology itself. Modern cosmology is based on the cosmological principle, that says that the
dynamics of a homogeneous and isotropic space approximates well our universe. The presence
of inhomogeneities (which in the real universe are large and well beyond perturbation theory
at small scales) can be disregarded at a first order approximation, where we consider the dy-
namics as described at the scale of the scale factor, namely the size of the universe. Thus our
approximation depends on the scale factor, it is not just a large scale approximation: it depends
on the ratio between the scale factor and the interaction that we want to consider. If we con-
sider the dynamics of the whole universe, this ratio gives 1, and an unique degree of freedom
is concerned. We can then recover the full theory adding degrees of freedom one by one. We
obtain an approximate dynamics of the universe, with a finite number of degrees of freedom.
Postulating less symmetry, allows to add more degrees of freedom. So one can recover the full
theory adding the degrees of freedom one by one. The specific choice of the truncation depends
on the phenomena considered and the approximation desired.
In other words, working with a graph corresponds to choosing how many degrees of freedom
we want to describe. A graph with a single degree of freedom is just one node: in a certain
sense, this is the case of usual Loop Quantum Cosmology [12]. To add degrees of freedom, we
add nodes and links with a coloring. These further degrees of freedom are a natural way to
describe inhomogeneities and anisotropies [24, 96], present in our universe. When we ask the
graph to give a regular cellular decomposition, node and links become indistinguishable, and we
obtain back the unique FLRW degrees of freedom.
Figure 4. The “dipole” graph Γ2 is given by 2 nodes and 4 links. It is dual to a triangulation of
a 3-sphere, where 2 tetrahedra are glued together by identifying their faces.
The easiest thing that can be done is to pass from n = 1 to n = 2 nodes. We choose to
connect them by L = 4 links, because in this way the dual graph will be two tetrahedra glued
together, and this can be viewed as the triangulation of a 3-sphere (Fig. 4). Note that we are
not obliged to chose a graph corresponding to a triangulation, but this turn out to be very useful
when we want to associate an intuitive interpretation to our model. In order to understand how
this can be concretely use to do quantum gravity and quantum cosmology, we need to place on
the graph the SU(2) variables.
2 The Hamiltonian dipole
In this section we review the original dipole construction, and the relation between its variables
and those of the cosmological models.
Learning about Quantum Gravity with a Couple of Nodes 7
2.1 LQG phase space
Loop Quantum Gravity is a general covariant quantum field theory, where the 3d coordinate
gauge invariance is reflected in the choice of SU(2) as fundamental group. Let us start by
associating the group element h` ∈ SU(2) and a su(2) algebra element E` = Ei`τi where {τi | i =
1, 2, 3} is a basis in su(2) to the links ` of a given graph Γ.
The cotangent boundle of SU(2)L and its natural symplectic structure give the phase space of
the theory: h` and E` are phase space variables with the conventional Poisson brackets structure
of a canonical lattice SU(2) Yang–Mills theory, that is7
{h`, h`′} = 0, {Ei`, h`′} = δ``′τ
ih`, {Ei`, E
j
`′} = −δ``′εijkEk` . (2.1)
As in lattice QCD, a quantum representation of the observable algebra (2.1) is provided by
the Hilbert space Haux = L2[SU(2)L,dh`] where dh` is the Haar measure. The operators h`
are diagonal and the operators E` are the left invariant vector fields on each SU(2). The
operators E`−1 turn then out to be the right invariant vector fields. These operators satisfy8
the
gauge constraint Gn ≡
∑
`
E` ∼ 0 ∀ ` ∈ n, (2.2)
that can be seen as a closure condition on the cell dual to the node n.
The states that solve the gauge constraint (2.2) are labeled by SU(2) spinnetworks on the
graph Γ. A basis of these is given by states |j`, ιn〉, where ` = 1, . . . , L and n = 1, . . . , N range
over the links and the nodes of the graph. These are defined by
spinnetwork states ψj`ιn(h`) ≡ 〈h`|j`, ιn〉 ≡ ⊗` Π(j`)(h`) · ⊗n ιn,
where Π(j)(U) are the matrix elements of the spin-j representation of SU(2) and “·” indicates
the contraction of the indices of these matrices with the indices of the intertwiners ιn dictated
by the graph Γ. For details, see [2, 85, 102].
Operators for area and volume can be constructed in terms of E`. For each link ` we can
associate the area of the face punctured by the link in the dual cellular decompositon
area A` =
√
E`E` = 8πγ`2Pl
√
j`(j` + 1), (2.3)
where γ is the Barbero–Immirzi parameter, and for each node we can associate the volume of
the cell on which the node n is sitting. The expression for a generic n-valent node is available
but complicate [26], while in the simplest 4-valent case the expression becomes just
volume2 V 2
n =
1
4
∑
``′`′′∈n
Tr [E`E`′E`′′ ] = Tr [E`E`′E`′′ ].
where we have chosen the links {`, `′, `′′} to have positive orientation. Notice that the sum over
the four unordered triplets of distinct links drops because of (2.2). The total volume will be
just VΓ =
∑
Vn ∀n ⊂ Γ. The dynamics is governed by the Hamiltonian constraint. Recall that
the Hamiltonian constraint for general relativity can be written as [102]:
Cgrav =
∫
S3
d3x εijkE
aiEbjF kab − 2
(
1 + γ2
) ∫
S3
d3xEaiEbjKi
[aK
j
b] := C + Cγ ,
7Here we have assumed `′ 6= `−1. If `′ = `−1, the Poisson brackets are obtained using the equations h`−1 = U−1
`
and the algebra element E`−1 = −h−1
` E`h`.
8Notice that these variables transform properly under internal gauge transformations. In fact we can write
G[λ] := 2
∑
n Tr [λnGn] where λn ∈ su(2), the infinitesimal gauge transformation of h` is δh` = {h`, G[λ]} =
λn1h` − h`λn2 where (n1, n2) are respectively the source and the target of of the link `.
8 E.F. Borja, I. Garay and F. Vidotto
where Ki
a is the extrinsic curvature, and where we have set the lapse equal to the total 3-volume.
Let us concentrate for the moment on the first term. If the discretization is appropriately
chose before the quantization, we can write the first term of the Hamiltonian constraint by
approxmating the field-strength tensor F kab with the holomy h``′ such that
C =
∑
n
Cn with Cn =
∑
``′∈n
Tr [h``′E`′E`] ∼ 0. (2.4)
This form was suggested in the early day of LQG [93] and is nowadays exploited in loop cos-
mology [5, 12].
To complete our construction, at each node we couple a scalar field φn, with conjugate
momentum pφn , that work as a family of multifingered “clock” variables [1, 4, 5, 8]. We need to
introduce this physical clock because otherwise we would not be able to keep track of evolution
in a background-independent manner [38, 39, 40, 84, 86, 88]. The introduction of a scalar
field provides also a simplified manner to model the matter content of the universe. The
generalization to a more realistic description is straightforward: here we will choose an ultra-
local scalar field, but one can add the spacial derivative terms in the Hamiltonian of the matter
field, and the description of Yang–Mills and fermion fields is particularly well-adapted to this
formalism [2, 85, 102].
Therefore the total Hamiltonian constraint is
Ctot =
∑
n
∑
``′∈n
(
Tr [h``′E`′E`] + Cγ + 4πGp2
φn
)
∼ 0, (2.5)
where G is the Newton constant, determining the matter-gravity coupling. With a scalar field,
the Hilbert space becomesHaux = L2[SU(2)L, dh`]⊗L2[Rn], with a (generalized) basis |j`, νn, φn〉
and the states can be written in the form
ψ(j`, νn, φn) ≡ 〈j`, νn, φn|ψ〉.
In this basis the operator φn is diagonal while pφn = −i ∂
∂φn
.
2.2 Dipole cosmology
Consider the simple case obtained by taking n = 2 and the natural triangulation of the a three-
sphere S3 obtained by gluing two tetrahedra by all their faces, as in Fig. 4. This represents
a finite dimensional truncation of LQG and describes the Bianchi IX Universe plus six inhomo-
geneous degrees of freedom [24]. The gravitational variables are (h`, E`), ` = 1, 2, 3, 4. We have
two Hamiltonian constraints, whose algebra is naturally closed given the simplicity of the sys-
tem considered. The SU(2) symmetry structure enters twice in our description: not only in the
discretization of the Ashtekar–Barbero variables, but also in order to add the inhomogeneities.
The gravitational Hilbert space is L2[SU(2)4/SU(2)2] and a basis of spinnetwork states that
solve the gauge constraint is given by the states |j`, ιn〉 = |j1, j2, j3, j4, ι1, ι2〉. The action of one
gravitational Hamiltonian constraint on a state gives
C̃|j`, ιn〉 =
∑
``′
C``′ |j`, ιn〉,
where each term of the sum comes from one of the terms in the sum in ` and `′ in (2.4). More
explicitly, we have
C12|j1, j2, j3, j4, ι1, ι2〉 =
∑
ε,δ=±1
C
εδι′1ι
′
2
jf ι1ι2
|j1 +
ε
2
, j2 +
δ
2
, j3, j4, ι
′
1, ι
′
2〉,
Learning about Quantum Gravity with a Couple of Nodes 9
because the operator U12 = U1U
−1
2 in (2.4) multiplies the terms Πj1(U1) and Πj2(U2) and
UΠj(U) = Π1/2(U)Πj(U) = c+Πj+1/2(U) + c−Πj−1/2(U).
The matrix elements C
εδι′1ι
′
2
j`ι1ι2
can be computed with a straightforward exercise in recoupling
theory from (2.4) (and from the Hamiltonian that makes use of the “Thiemann’s trick” with
some more algebra). In a different notation, in terms of the wave function components, we can
write
C̃ψ(j`, ιn) =
∑
εj=0,±1
C
ε`ι
′
n
j`ιn
ψ
(
j` +
ε`
2
, ι′n
)
,
where C
εjι
′
n
j`ιn
vanishes unless ε` = 0 for two and only two of the four j’s. The scalar field variables
are φ1, φ2. Taking these into account leads to the wave functions ψ(j`, ιn, φn), and (2.5) gives
the dynamical equations(
∂2
∂φ2
1
+
∂2
∂φ2
2
)
ψ(j`, ιn, φn) =
2
κ
∑
ε`=0,±1
C
ε`ι
′
n
j`ιn
ψ
(
j` +
εj
2
, ι′n, φn
)
, (2.6)
∂2
∂φ2
1
ψ(j`, ιn, φn) =
∂2
∂φ2
2
ψ(j`, ιn, φn). (2.7)
The coefficients C can be computed explicitly from recoupling theory. They vanish unless
two ε`’s are zero. Equations (2.6), (2.7), defined on Hilbert space H2 = L2[SU(2)4/SU(2)2] ⊗
L2[R2] define a quantum cosmological model which is just one step out of homogeneity.
2.2.1 Born–Oppenheimer approximation and LQC
We now ask if and how LQC is contained in the model defined above. The state space H2
contains a subspace that could be identified as a homogeneous universe. This is the subspace
Hhom ⊂ H2 spanned by the states |j, j, j, j, ιj , ιj , φ, φ〉 where ιj is the eigenstate of the volume
that better approximates the volume of a classical tetrahedron whose triangles have area j.
However, the dynamical equations (2.6), (2.7) do not preserve this subspace. This is physically
correct, because the inhomogeneous degrees of freedom cannot remain sharply vanishing in
quantum mechanics, due to Heisenberg uncertainty. Therefore it would be wrong to search for
states that reproduce LQG exactly, within this model. In which sense then can a quantum
homogeneous cosmology make sense?
The answer should be clear thinking to the meaning of the cosmological principle, that is at
the base of every cosmological model. The cosmological principle is the hypothesis that in the
theory there is a regime where the inhomogeneous degrees of freedom do not affect too much the
dynamics of the homogeneous degrees of freedom, and that the state of the universe happens to
be within such a regime. In other words, the homogeneous degrees of freedom can be treated
as “heavy” degrees of freedom, in the sense of the Born–Oppenheimer approximation, and the
inhomogeneous one can be treated as “light” ones. Let us therefore separate explicitly the two
sets of degrees of freedom. This can be done as follows.
First, change variables from the group variables h` ∈ SU(2) to algebra variables A` ∈ su(2),
defined by expA` = h`.
9 Following what is done in Loop Quantum Cosmology [4], let us fix
a fiducial su(2) element ω` ∈ su(2) for each link `. We choose for simplicity a fiducial connection
normalized as |ω`| = 1, and such that the four vectors ω` are normal to the faces of a regular
tetrahedron centered at the origin of su(2) ∼ R3. Our variables can be decomposed into
A` = cω` + a`, E` = pω` + e`. (2.8)
9This is only a convenient rewriting of the holonomies, not really a return of the connection as main variable.
10 E.F. Borja, I. Garay and F. Vidotto
In order to fix this decomposition uniquely, we impose the following conditions: p has to be
determined by the total volume V = p3/2, and c should be its conjugate variable so that
{c, p} =
8
3
πγG.
The variable c can then be identified at the classical level with the scalar coefficients multiplying
respectively the extrinsic and intrinsic curvature, namely we have c ∼ γȧ+1 as in LGC, where ȧ
is the time derivative of the scale factor. We also define ∆V = V2−V1, so that V1,2 = 1
2(V ±∆V ).
In the quantum theory, E` turns out to be a left invariant vector field, call it L`, so that (2.8)
yields the decomposition
L` = ω`
∂
∂c
+ L̃`,
where L̃`c = 0. Inserting this decomposition into the Hamiltonian constraint (2.4) gives
C̃n =
∑
``′∈t
Tr
[
ecω`−a`e−cω`′−a`′
(
ω`′
∂
∂c
+ L̃`
)(
ω`
∂
∂c
+ L̃`′
)]
.
Let us now decompose this constraint into two parts, the first of which depends only on the
homogeneous variable c. This can be done keeping only the first term of the expansion of the
exponentials in a` and a`′ , and only the V term in the volume term. That is, we write
Cn =
1
2
Chom + C inh
n ,
where
C̃n =
∑
``′∈t
Tr
[
ecω`e−cω`′
(
ω`′
∂
∂c
)(
ω`
∂
∂c
)]
. (2.9)
The interpretation of this spilt is transparent: Chom gives the gravitational energy in the homo-
geneous degree of freedom, while C inh
n gives the sum of the energy in the inhomogeneous degrees
of freedom and the interaction energy between the two sets of degrees of freedom. Finally, we
write the homogeneous variable φ = φ1 + φ2 and φ− = φ1 − φ2.
Following Born and Oppenheimer, let us now make the hypothesis that the state can be
rewritten in the form
ψ(U`, φn) = ψhom(c, φ)ψinh(c, φ; a`, φ−), (2.10)
where the variation of ψinh with respect to c and φ can be neglected at first order. Here ψhom
represents the quantum state of the homogeneous cosmological variables, while ψinh represents
the quantum state of the inhomogeneous fluctuations over the homogeneous background (c, φ).
Inserting the Born–Oppenheimer ansatz (2.10) into the Hamiltonian constraint equation, and
taking N1 = N2, we have the equation
κ
2
ψinh
∂2
∂φ2
ψhom +
κ
2
ψhom
∂2
∂φ2
−
ψinh − ψinhC̃
homψhom − C̃ inhψhomψinh = 0.
Dividing by ψhomψinh this gives
κ
2
∂2
∂φ2ψhom
ψhom
− C̃homψhom
ψhom
= −
κ
2
∂2
∂φ2
−
ψinh
ψinh
+
C̃ inhψhomψinh
ψhomψinh
.
Learning about Quantum Gravity with a Couple of Nodes 11
Since the left hand side of this equation does not depend on the inhomogeneous variables, there
must be a function ρ(c, φ) such that
κ
2
∂2
∂φ2
ψhom − C̃homψhom − ρψhom = 0,
κ
2
∂2
∂φ2
−
ψinh +
C̃ inhψhomψinh
ψhom
= ρψinh.
The second equation is the Schrödinger equation for the inhomogeneous modes in the background
homogeneous cosmology (c, φ), where ρ(c, φ) plays the role of energy eigenvalue. The first
equation is the quantum Friedmann equation for the homogeneous degrees of freedom (c, φ),
corrected by the energy density ρ(c, φ) of the inhomogeneous modes. At the order zero of
the approximation, where we disregard entirely the effect of the inhomogeneous modes on the
homogeneous modes, we obtain
κ
2
∂2
∂φ2
ψhom = C̃homψhom.
Let us now analyze the action of the operator Chom, defined in (2.9). Notice that c multiplies
the generator of a U(1) subgroup of SU(2)4. Therefore it is a periodic variable c ∈ [0, 4π]. We
can therefore expand the states ψhom(c, φ) in Fourier sum
ψhom(c, φ) =
∑
µ
ψ(µ, φ)eiµc/2,
where µ is an integer. The basis of states 〈c |µ〉 = eiµc/2 in the gravitational sector of the ψhom’s
state space satisfies
p
3
2 |µ〉 = kµ
3
2 |µ〉, −4 sin2(c/2)|µ〉 = |µ+ 2〉 − 2|µ〉+ |µ− 2〉,
which we shall use below10. Here k =
(
8πGγ
6
) 3
2
.
The homogeneous Hamiltonian constraint (2.9) can be rewritten as
C̃t
hom
=
∑
``′∈t
Tr [ecω`e−cω`′ω`′ω`]
∂
∂c
∂
∂c
≡ 1
2
Chom.
This can be rewritten as [24]
C̃hom =
∑
``′
Tr
[(
cos
c
2
11 + 2 sin
c
2
ω`
)(
cos
c
2
11− 2 sin
c
2
ω`′
)
ω`′ω`
] ∂2
∂c2
=
17
6
(cos c− 1)
∂2
∂c2
.
The action of this operator on the states ψhom(µ, φ) is therefore easily computed
C̃homψhom(v, φ) =
17
6
[µ2ψhom(µ+ 2, φ)− µ2ψhom(µ, φ)µ2ψhom(µ− 2, φ)].
Bringing everything together, the full equation (2.9) reads
C+(µ)ψhom(µ+ 2, φ) + C0(µ)ψhom(µ, φ) + C−(µ)ψhom(µ− 2, φ)
+
∂2
∂φ2
ψhom(µ, φ) = 0, (2.11)
where the coefficient take the simple form C±(µ) = −1
2C
0(µ) = µ2
2κ .
10The explicit relation between these states and the states in the inhomogeneous-model state-space is not
straightforward, and will be investigated in detail elsewhere.
12 E.F. Borja, I. Garay and F. Vidotto
Equation (2.11) has the structure of the LQC dynamical equation. Thus, a structure very
similar to the one of LQC appears in the zero order Born–Oppenheimer approximation of a Loop
Quantum Gravity quantization of a finite number of degrees of freedom of the gravitational field,
truncated according to the approximation dictated by the cosmological principle.
We stress that we are not claiming here that the precise form of LQC is recovered. In
particular, the two Hamiltonian operators might differ, because of possible different values of
the coefficients. The exact relation between the two theories, and the possibility of adapting
the quantization scheme to the precise form of LQC have not yet been investigated in detail.
Bounce. It is easy to see that, given the periodicity in c in the gravitational part of the
Hamiltonian constraint, the model we have presented leads to a bounce. A first study of this
has been presented in [23]. In fact, the total Hamiltonian for the system reads
H = Hg +Hm =
17
6
p2(cos(c− α)− 1) + |p|3ρ,
where ρ = ρ(t) is the matter energy density. Studying the equations of motion we obtain
a modified Friedmann equation of the form(
ȧ
a
)2
=
(
ṗ
2p
)2
∝ ρ
(
1− ρ
ρc
)
.
Here ρc, playing the role of the critical density at which the bounce occurs, is defined as ρc =
17/(3p) [23]. We notice that such a density depends on p, giving rise to incompatibility with
a proper classical limit of the model [37]. This is a situation already found in the old models of
LQC and we know it depends on a naive regularization of the Hamiltonian constraint. In LQC
there is a preferred regularization, that corresponds with the so-called µ̄-scheme [9]: the critical
density is a constant in this way, and its value depends on the minimal are gap provided by LQG,
i.e. the minimal eigenvalue given by (2.3). At the moment we write, the implementation of this
kind of regularization in the dipole model is under study. We refer the interested reader to [68],
in particular for what concerns the implementation of the µ̄-scheme in the spinor framework,
that will be introduced in Section 3.
2.2.2 Anisotropies and inhomogeneities
In the previous treatment we have performed the Bohr–Oppenheimer approximation in such
a way to extract the heavier degree of freedom, given by the homogeneous and isotropic one
coded in the scale factor. On the other hand, we have already mentioned that, using the dipole
graph as the base of our model, we are in a natural situation to accommodate more that a single
degree of freedom. In fact, the Hilbert space of the dipole graph contains 6 degrees of freedom.
These should code information about the presence of anisotropy and inhomogeneity, but haw
can we relate them to a classical interpretation? In classical General Relativity, the maximal
amount of anisotropy that a system with the topology of a 3-sphere can have, is described by the
Bianchi IX model. This is usually charachterized by three scale factors aI = aI(t), which identify
three independent directions in the time evolution of the Cauchy surfaces. In the connection
formalism, we have to consider three different connections cI = cI(t) and momenta pI = pI(t).
Therefore the basic variables (2.8) in our model takes the form
h` = exp
(
cIωI` τI
)
, E` = pIωI` τI . (2.12)
Notice that here the holonomies (2.12) are simply group elements taken on the links of the
dipole, without any specific orientation. The connection components are summed over and they
are thus independent on the I-direction. This differs from the situation in the LQC Bianchi IX
Learning about Quantum Gravity with a Couple of Nodes 13
model [109], where the basic holonomies hI are computed along paths parallel to the three axis
individuated by the anisotropies.
The anisotropies of the Bianchi IX model requires only three degrees of freedom. The re-
maining large-scale gravitational degrees of freedom captured by the dipole dynamics are nec-
essarily inhomogeneous. Recall that in Section 1.3 we introduced the idea that these degrees
of freedom can be added one by one as the terms of an expansion in modes. Therefore we
consider here an expansion of the gravitational fields in tensor harmonics: the lowest modes
should be the ones captured by the dipole dynamics. Luckily a similar mode expansion around
Bianchi IX has been already studied by Regge and Hu using Wigner functions [61]. The Wigner
functions Dj
α′α(g(x)) determine a basis of functions of the symmetry-group of the model. Recall
that we can use group elements g(x) to coordinatize the physical space that has the S3 topology.
Let us adapt this formalism to the first order variables we use. We start with the triads.
We write a generic perturbed triad EaI (x, t) as the sum of the background triad eI field and
a perturbation
EaI (x, t) = eaI (x) + ψIJ(x, t)eaJ(x).
We write this as a sum of components of definite j and α quantum numbers
ψIJ(x, t) =
∑
jα
ψjαIJ (x, t), where ψjαIJ (x, t) =
j∑
α′=−j
ψjαα
′
IJ (t)Dj
α′α (g(x)) .
The same can be done for the connection
ωIa(x)→ ω̃Ia(x, t) = ωIa(x) + ϕIJ(x, t)ωJa (x).
Expanding this in components of definite j and α quantum numbers gives
ϕIJ(x, t) =
∑
jα
ϕIJjα(x, t), where ϕIJjα(x, t) =
j∑
α′=−j
ϕIJjαα′(t)D
j
α′α (g(x)) .
The (ϕIJjαα′(t), ψ
IJ
jαα′(t)) are the time-dependent expansion coefficients that capture the inhomo-
geneous degrees of freedom. They, are given by matrices in the internal indices I, J , labeled
by the spin j that runs from j = 1/2 to all the semi-integers numbers, and the corresponding
magnetic number α.
We want to have the inhomogeneities determined by namely nine degrees of freedom coded
in ϕIα(t), ψIα(t). This is achieved by assuming that the matrices (ϕIJjαα′(t), ψ
IJ
jαα′(t)) are diagonal
in the internal indices I, J and it is different from zero only for lowest nontrivial integer spin
j = 1 and for, say, α = 0. That is, we restrict to the components
ϕIJ1,0,α(t) = δIJϕIα(t), ψIJ1,0,α(t) = δIJψIα(t), α = −1, 0, 1.
The Gauss constraint reduces further the degrees of freedom to six, which is the number of
degrees of freedom captured by the dipole variables. Therefore, we can interpret the six extra
degrees of freedom of the dipole model (beyond anisotropies), as a description of the diagonal
part of the lowest integer mode of the inhomogeneities. In this way the variables of the dipole
model can be connected to the quantities (ϕIα(t), ψIα(t)).
In order to complete the connection with the dipole variables, let us consider the fiducial-
algebra elements ωIf . these are perturbed as well, and as a consequence the 1-forms ω̃I no longer
satisfy the Maurer–Cartan structure equation 2dωI − εI JKω
J ∧ ωK = 0. At first order, for
a generic perturbation, let us define
ω̃If =
1
2
∫
f
εI JK ω̃
J ∧ ω̃K = ωIf +
∫
f
εI JKω
J ∧ ϕK = ωIf +
∑
jαα′
ϕKLjαα′(t)φ
Ijαα′
fKL ,
14 E.F. Borja, I. Garay and F. Vidotto
where φIjαα
′
fKL =
∫
f ε
I
JKD
j
αα′ω
J ∧ ωL. In particular, if we restrict to the diagonal j = 1, α = 0
case,
ω̃If = ωIf + ϕ(I)
α (t)φ
(I)
f,α, where φIf,α =
∫
f
εI JKD
1
0αω
J ∧ ωK
are fixed coefficients. Then the relation with the dipole variables can be written as
h`
(
cI , ϕIα
)
= exp
(
cI ω̃I` τI
)
exp
(
αωI` τI
)
,
which replaces (2.12). Similarly, we can write
ẼI` =
∫
`
(eaI + ψaI )εabcdx
b ∧ dxc = EI` + 2
∫
`
ψIJε
J
KLω
K ∧ ψL = EI` + 2
∑
jαα′
ψjαIJφ
J
f,αα′ .
In particular, if we restrict to the diagonal j = 1, α = 0 case,
ẼI` = EI` + 2ψαI φ
I
f,α.
Notice that now the Gauss constraint do not vanish identically. It can be split into two parts:
the homogeneous and the inhomogeneous terms
GI =
∑
`
p(I)ω
(I)
` + 2ψαI
∑
`
φIf,α ≈ 0.
The first part is the constraint which appears within the Bianchi IX framework and vanishes
identically because of the Stokes theorem. The second gives three conditions on the inhomoge-
neous perturbations to the electric fields Ẽ`.
3 The U(N) framework
A number of technical problems are still open in the canonical framework for LQG. Among
these is to determine a form of the dynamics with a fully satisfactory semiclassical limit (but see
the recent developments in [41]), and the difficulty of identifying a homogeneous sector yielding
the Loop Quantum Cosmology (LQC) formalism. A novel point of view on these problems has
been developed in a number of recent papers [53, 54, 57]. This is based on the identification of
a U(N) symmetry in the Hilbert space of LQG intertwiners with N legs and fixed total area.
In this Section we illustrate the basis of this approach, called the U(N) framework, and we
introduce the simplest nontrivial system where this approach prove useful. This system is again
based on a 2-node graph as in the previous Section, but now with an arbitrary number L of
links. The relevant symmetry will be given by the group U(N), where N = L [32, 33, 34]. This
framework allows us to introduce a specific dynamics for the 2-node graph and a convincing
definition of homogeneity and isotropy. In this sense, the U(N) framework may prove a useful
tool for addressing the problems mentioned above.
The U(N) framework has been developed in various directions. Recently, it was given a nice
interpretation in terms of spinors, where intertwiner spaces can be reinterpreted as the product of
the quantization of spinors model [70]. Other directions of research are the definition of coherent
states [54], the reinterpretation of this framework in terms of holomorphic functions [34, 70], and
the study of the simplicity constraints which appear in the spinfoam models [42]. In this review
we focus on the basis of the U(N) framework, the complete treatment of the 2-node model and
the possibility of understanding it as a classical system written in terms of spinors.
Learning about Quantum Gravity with a Couple of Nodes 15
3.1 Introduction to the U(N) framework
The U(N) symmetry defines a framework to investigate the structure of the Hilbert space of
the intertwiners, which are the building blocks of spinnetwork states.
We consider first the space of N -valent intertwiners: the space of SU(2) invariant tensors
of N spins (SU(2) representations). Such intertwiners can be thought dually as a region of 3d
space with a (topologically) spherical boundary punctured by the N legs of the intertwiners.
The boundary surface is made of N elementary patches, whose areas are determined by the
spins carried by the intertwiner legs.
The Hilbert space of the intertwiner space for the group SU(2) is defined as
Hj1,...,jN ≡ Inv[V j1 ⊗ · · · ⊗ V jN ],
where V ji are the irreducible representation spaces associated to the spin j1, . . . , jN .
The key idea of the U(N) formalism is to consider the space formed by all the intertwiners
with N legs and fixed total sum of the spin numbers J =
∑
i ji (related with the total area of
the boundary surface). That is
H(J)
N ≡
⊕
∑
i ji=J
Hj1,...,jN .
It can be shown that the intertwiner space H(J)
N carries an irreducible representation
of U(N) [53]; and the full space HN ≡
⊕
J H(J) can be endowed with a Fock space struc-
ture with creation and annihilation operators compatible with the U(N) action [54]. In the
following, we review the basics of this construction.
The first step to arrive to the U(N) framework is to make use of the well known Schwinger
representation of the su(2) algebra. This representation consists on describing the generators
of su(2) in terms of a pair of uncoupled harmonic oscillators. We introduce 2N oscillators with
operators ai, bi with i running from 1 to N (a pair of uncoupled harmonic oscillators for each
leg of the intertwiner), satisfying
[ai, a
†
j ] = [bi, b
†
j ] = δij , [ai, bj ] = 0.
The local su(2) generators acting on each leg i are defined as quadratic operators
Jzi =
1
2
(a†iai − b
†
ibi), J+
i = a†ibi, J−i = aib
†
i , Ei = (a†iai + b†ibi).
The Ji’s constructed in this way satisfy the standard commutation relations of the su(2) algebra
while the total energy Ei is a Casimir operator
[Jzi , J
±
i ] = ±J±i , [J+
i , J
−
i ] = 2Jzi , [Ei, ~Ji] = 0.
The operator Ei is the total energy carried by the pair of oscillators ai, bi and gives 2ji, namely
twice the spin, of the corresponding SU(2)-representation. Indeed, we can easily express the
standard SU(2) Casimir operator in terms of this energy
~J2
i =
Ei
2
(
Ei
2
+ 1
)
=
Ei
4
(Ei + 2) .
In LQG the spin ji is related to the area associated to the leg i of the intertwiner. Notice that in
this context the most natural ordering of the area operator is the one given by the Casimir Ei/2.
Our goal is to construct operators acting on the Hilbert space of intertwiners. In other words,
we look for operators invariant under global SU(2) transformations generated by ~J ≡
∑
i
~Ji. The
16 E.F. Borja, I. Garay and F. Vidotto
key result, which is the starting point of the U(N) formalism, is that we can identify quadratic
invariant operators acting on pairs of (possibly equal) legs i, j [53, 57]
Eij = a†iaj + b†ibj , E†ij = Eji, Fij = (aibj − ajbi), Fji = −Fij .
These operators E, F , F † form a closed algebra:
[Eij , Ekl] = δjkEil − δilEkj ,
[Eij , Fkl] = δilFjk − δikFjl, [Eij , F
†
kl] = δjkF
†
il − δjlF
†
ik,
[Fij , F
†
kl] = δikElj − δilEkj − δjkEli + δjlEki + 2(δikδjl − δilδjk),
[Fij , Fkl] = 0, [F †ij , F
†
kl] = 0. (3.1)
The commutators of the Eij operators form a u(N)-algebra (hence the name of the U(N) frame-
work). The diagonal operators are equal to the energy on each leg, Eii = Ei. The value of the
total energy E ≡
∑
iEi gives twice the sum of all spins 2×
∑
i ji, i.e. twice the total area.
The Eij-operators change the energy/area carried by each leg, while still conserving the total
energy, while the operators Fij (resp. F †ij) decrease (resp. increase) the total area E by 2
[E,Eij ] = 0, [E,Fij ] = −2Fij , [E,F †ij ] = +2F †ij .
This suggests to decompose the Hilbert space of N -valent intertwiners into subspaces of fixed
area
HN =
⊕
{ji}
Inv
[
⊗Ni=1V
ji
]
=
⊕
J∈N
⊕
∑
i ji=J
Inv
[
⊗Ni=1V
ji
]
=
⊕
J
H(J)
N ,
where V ji denote the Hilbert space of the irreducible SU(2)-representation of spin ji, spanned
by the states of the oscillators ai, bi with fixed total energy Ei = 2ji.
It was proven in [53] that each subspace H(J)
N of N -valent intertwiners with fixed total area J
carries an irreducible representation of U(N) generated by the Eij operators. The operators Eij
allow to navigate from state to state within each subspace H(J)
N . On the other hand, the
operators Fij , F
†
ij allow to go from one subspace H(J)
N to the next H(J±1)
N , thus endowing the
full space of N -valent intertwiners with a Fock space structure with creation operators F †ij and
annihilation operators Fij .
Finally, the whole set of operators Eij , Fij , F
†
ij satisfy quadratic constraints [32], ∀ i, j:
∑
k
EikEkj = Eij
(
E
2
+N − 2
)
, (3.2)
∑
k
F †ikEjk = F †ij
E
2
,
∑
k
EjkF
†
ik = F †ij
(
E
2
+N − 1
)
, (3.3)
∑
k
EkjFik = Fij
(
E
2
− 1
)
,
∑
k
FikEkj = Fij
(
E
2
+N − 2
)
, (3.4)
∑
k
F †ikFkj = Eij
(
E
2
+ 1
)
,
∑
k
FkjF
†
ik = (Eij + 2δij)
(
E
2
+N − 1
)
. (3.5)
As already noticed in [32] and extended in [34], these relations look a lot like constraints on the
multiplication of two matrices Eij and Fij . We will explore this fact at the end of this section,
but first we discuss the 2-node model from the U(N) perspective.
Learning about Quantum Gravity with a Couple of Nodes 17
3.2 Hilbert space for the 2-node model
We are going to establish the main steps to construct the Hilbert space of the 2-node model. In
this case, we need to deal with two intertwiner spaces of N legs each, as shown in Fig. 5.
Figure 5. The 2-node graph: the two nodes α and β are linked by N = L links.
Naming the two nodes α and β, we have two intertwiner spaces attached respectively to α
and β with operators E
(α)
ij , F
(α)
ij and E
(β)
ij , F
(β)
ij . The total Hilbert space of these uncoupled
intertwiners is the tensor product of the two spaces of N -valent intertwiners
H⊗2 = HN ⊗HN =
⊕
Jα,Jβ
H(Jα)
N ⊗H(Jβ)
N =
⊕
{jαi ,j
β
i }
Hjα1 ,...,jαN ⊗Hjβ1 ,...,jβN .
This space carries two decoupled U(N)-actions, one acting on the intertwiner space associated to
the node α and the other acting on β. However, the two intertwiner spaces are not independent.
There are matching conditions unique SU(2) representation, thus the spin on that link must be
the same seen from α or β, i.e. jαi = jβi . This translates into the fact that the oscillator energy
for α on the leg i must be equal to the energy for β on its i-th leg
Ei ≡ E(α)
i − E(β)
i = 0.
Obviously, this set of conditions is stronger than requiring that the total area of α is the same
as β, even though this is a necessary condition. Then, the Hilbert space of spinnetwork states
on the 2-node graph is much smaller than the decoupled Hilbert space H⊗2
2H ≡
⊕
{ji}
H(α)
j1,...,jN
⊗H(β)
j1,...,jN
.
In order to define consistent operators acting on 2H, we have to check that they commute
(at least weakly) with the matching conditions Ei, in addition to the condition that they need
to be invariant under global SU(2) transformations. It is possible to construct such operators
deforming consistently the boundary between α and β. We introduce the following operators,
mixing actions on the two nodes as required
eij ≡ E(α)
ij E
(β)
ij , fij ≡ F (α)
ij F
(β)
ij , f †ij ≡ F
(α)
ij
†F
(β)
ij
†, (3.6)
and we check that they commute with the matching conditions
∀ i, j, k, [Ek, eij ] = [Ek, fij ] = 0.
Calling E =
∑
iE
(α)
i =
∑
iE
(β)
i the operator giving (twice) the total boundary area on our
Hilbert space 2H satisfying the matching conditions, the operators eij ’s preserve the boundary
area while the fij ’s will (as it is expected by construction) modify it
[E, eij ] = 0, [E, fij ] = −2fij , [E, f †ij ] = +2f †ij .
18 E.F. Borja, I. Garay and F. Vidotto
More precisely, the operator eij increases the spin on the i-th link by +1
2 and decreases the spin
of the j-th link. The operator fij decreases both spins on the links i and j, while its adjoint f †ij
increases both spins by 1
2 . These operators generate the deformations of the boundary surface,
consistently with both the SU(2) gauge invariance and the matching conditions imposed by
the graph combinatorial structure. They are natural building blocks for the dynamics of spin
network states on the 2-node graph.
Nevertheless, the operators eij , fij and f †ij are not enough to generate the whole Hilbert
space 2H of spin network states from the vacuum state |0〉. Indeed, they are symmetric in
α↔ β and will only generate states symmetric under the exchange of the two nodes. In order to
generate the whole space of gauge invariant operators on the 2-node graph, we also need operators
that act on a single node and change states without affecting neither the representations on the
edges, nor the intertwiner state living at the other node. Natural candidates for such operators
acting on H(α)
j1,...,jN
are the E
(α)
ij E
(α)
ji . They change the intertwiner living at the node α without
changing the intertwiner living at β. Combining such local operators E
(α)
i , E
(α)
ij E
(α)
ji and E
(β)
i ,
E
(β)
ij E
(β)
ji with the coupled symmetric operators eij , fij , f
†
ij allow to go between any two states
in the Hilbert space 2H and thus generate all gauge invariant operators on the 2-node graph.
3.3 Symmetry reduction and cosmological analogies
We now consider a symmetry reduction in our simple model that yields a homogeneous and
isotropic sector. More specifically, we look for states in the Hilbert space 2H invariant under
a “global” U(N) symmetry generated by a generalization of the matching conditions Ek, and
which takes into account operators Eij acting on both nodes of the graph. Let us explain here
the construction of the generators of this new U(N) symmetry and its action.
The matching conditions Ek break the U(N)-actions on both nodes α and β. Nevertheless,
we can see that the Ek generate a U(1)N symmetry and that they are part of a larger U(N)
symmetry algebra. We introduce the operators
Eij ≡ E(α)
ij − E
(β)
ji = E
(α)
ij −
(
E
(β)
ij
)†
.
It is straightforward to compute their commutation relations and check that these operators
form a u(N) algebra
[Eij , Ekl] = δjkEil − δilEkj .
The diagonal operators are exactly the matching conditions Ekk = Ek and generate the Cartan
Abelian subalgebra of u(N).
These Eij ’s generate U(N) transformations on the two intertwiner system. By construction,
they act in H⊗2 as (U, Ū) with the transformation on β being the complex conjugate of the
transformation on α.
Two remarks are in order when computing the commutator between the matching condition
and these new u(N) generators,
[Eij , Ek] = δjkEik − δikEkj = (δjk − δik)Eij .
On the one hand, we notice that the operators Eij are not fully compatible with the matching
conditions and they do not act on the 2-node Hilbert space 2H. Thus they do not generate
a nontrivial U(N)-action on 2H. On the other hand, we can look for vectors in 2H which are
invariant under this U(N) action, Eij |ψ〉 = 0 for all i, j. In particular, they will satisfy the
matching conditions (given by the special case i = j).
Learning about Quantum Gravity with a Couple of Nodes 19
Following this line of thought, we introduce the subspace of spin network states which are
invariant under this U(N)-action
2Hinv ≡ InvU(N)
[
2H
]
= InvU(N) [H⊗2] = InvU(N)
⊕
Jα,Jβ
H(Jα)
N ⊗H(Jβ)
N
.
Now taking into account that the spaces H(J)
N are irreducible U(N)-representations [53],
requiring U(N)-invariance imposes that the two representations for the two nodes are the same,
Jα = Jβ, but furthermore there exists a unique invariant vector in the tensor productH(J)
N ⊗H
(J)
N .
We will call this unique invariant vector |J〉 and we will construct it explicitly in terms of the
operators eij and fij in the next section.
It is important to notice that imposing U(N)-invariance on our 2-node system, we obtain
a single state |J〉 for every total boundary area J
2Hinv =
⊕
J∈N
C |J〉.
We define these |J〉 states as the homogeneous and isotropic states of the model. The physical
motivation behind this definition is that U(N) invariance is restricting our system to states
which are not sensitive to area-preserving deformations of the boundary between α and β. They
are isotropic in the sense that all directions (i.e. all links) are equivalent and the state only
depends on the total boundary area, and they are homogeneous in the sense that the quantum
state is the same at every point of space, i.e. at both nodes α and β of our 2-node graph.
This allows to realize the reduction at the quantum level to the isotropic/homogeneous sub-
space by a straightforward U(N)-group averaging. This opens the possibility of applying this
logic to Loop Quantum Cosmology, which is based on a symmetry reduction at the classical level
and a quantization à la loop of this reduced phase space. As it will be explained in the next
section, the dynamics that we propose for the U(N) invariant sector has also strong analogies
with the evolution operator used in LQC.
3.4 Dynamics for the 2-node model
In this section, we will define a consistent dynamics based on the U(N) invariance, restricting
ourselves to the subspace of homogeneous/isotropic states described previously. In particular,
such dynamics will automatically be consistent with the matching conditions.
3.4.1 The algebra of U(N) invariant operators
Before proposing a Hamiltonian operator for this system, we explore here the different U(N)-
invariant operators that we can construct. The most obvious one is the total boundary area
operator E itself. It is defined as E = E(α) = E(β) on the space 2H of spin network states
satisfying the matching condition. It is direct to check that it commutes with the u(N) generators
[Eij , E(α)] = [E
(α)
ij , E(α)] = 0 = −[E
(β)
ji , E
(β)] = [Eij , E(β)].
This total area operator is clearly diagonal in the basis |J〉,
E |J〉 = 2J |J〉.
Now, we need operators that could create dynamics on the space 2Hinv by inducing transitions
between states with different areas. To this purpose, we use the operators eij , fij (equation (3.6))
20 E.F. Borja, I. Garay and F. Vidotto
and introduce the unique linear combinations that are U(N)-invariant
e ≡
∑
ij
eij =
∑
ij
E
(α)
ij E
(β)
ij , f ≡
∑
ij
fij =
∑
ij
F
(α)
ij F
(β)
ij .
They obviously commute with the matching conditions since each operator eij and fij does. An
important feature of these new operators, is that they are quadratic in E and/or F separately,
so in this case their action is the same in both nodes. This actually ensure that the matching
conditions hold.
It is convenient, for computational purposes, to introduce a shifted operator ẽ ≡ e + 2(E +
N −1). Then, using the quadratic constraints (3.3)–(3.5) satisfied by the operators Eij and Fij ,
we can show that ẽ, f and f † form a simple algebra
[ẽ, f ] = −2(E +N + 1)f, [ẽ, f †] = 2f †(E +N + 1), [f, f †] = 4(E +N)ẽ.
Written as such, it resembles to a sl2 Lie algebra up to the factors in E, which is an operator
and not a constant11.
We can use f † as a creation operator. Thus we introduce the states
|J〉un ≡ f †J |0〉 =
∑
ij
F
(α)
ij
†F
(β)
ij
†
J
|0〉,
where the index un stands for unnormalized. Since both the operator f † and the vacuum state |0〉
are U(N)-invariant, it is clear that the states |J〉un are also invariant under the U(N)-action.
Moreover, it is easy to check that they are eigenvectors of the total area operator:
E |J〉un = 2J |J〉un,
so that they provide a basis for our Hilbert space 2Hinv of homogeneous states. It is possible
also to work with normalized states defined as
|J〉 ≡ 1
2JJ !(J + 1)!
√
DN,J
|J〉un,
in terms of the dimension DN,J of the intertwiner space H(J)
N [53] (see [32] for details).
The action of all ẽ, f , f † operators over these normalized states is always quadratic in J :
ẽ |J〉 = 2(J + 1)(N + J − 1)|J〉,
f |J〉 = 2
√
J(J + 1)(N + J − 1)(N + J − 2) |J − 1〉,
f † |J〉 = 2
√
(J + 1)(J + 2)(N + J)(N + J − 1) |J + 1〉.
From here, we see that it is possible to introduce renormalized operators that truly form a sl2
algebra. We define the new operators:
Z ≡ 1√
E + 2(N − 1)
ẽ
1√
E + 2(N − 1)
,
X− ≡
1√
E + 2(N − 1)
f
1√
E + 2(N − 1)
,
11This is very similar to the sl2 algebra E
(α)
ρ , F
(α)
z̄ , F
(α)
z̄
† defined in [54] and used to build the U(N) coherent
states.
Learning about Quantum Gravity with a Couple of Nodes 21
X+ ≡
1√
E + 2(N − 1)
f †
1√
E + 2(N − 1)
.
Notice that the inverse square-root is well-defined since E + 2(N − 1) is Hermitian and strictly
positive as soon as N ≥ 2. These operators are still U(N)-invariant since E is invariant too and
we also have the Hermiticity relations, Z† = Z and X†− = X+. Moreover, it is direct to compute
the action of these renormalized operators on our |J〉 basis states.
To conclude, we can extract two important points
• The algebraic structure of the U(N)-invariant space 2Hinv of homogeneous states forms
an irreducible unitary representation of sl(2,R). The basis vectors |J〉 can be obtained by
iterating the action of the creation/raising operator f † (or X+) on the vacuum state |0〉.
• This algebraic structure does not depend at all on the number of links N . Therefore, while
working on homogeneous states, N might have a physical meaning but it is not a relevant
parameter mathematically. On the other hand, we expect it to become highly relevant
when leaving the U(N)-invariant subspace and studying inhomogeneities.
3.4.2 The Hamiltonian
In order to study the dynamics on this 2-node graph we propose the simplest U(N)-invariant
ansatz for a Hamiltonian operator
H ≡ ηẽ+ (σf + σ̄f †).
As explained above, the operator ẽ does not affect the total boundary area, [E, ẽ] = 0, while the
operators f and f † respectively shrink and increase this area, [E, f ] = −2f and [E, f †] = +2f †.
The coupling η is real while σ can be complex a priori, so that the operator H is Hermitian.
We can relate this Hamiltonian operation to the action of holonomy operators acting on all the
loops of the 2-node graph [32]. From this point of view, our proposal is very similar to the
standard ansatz for the quantum Hamiltonian constraint in LQG [103] and LQC (e.g. [10, 64]).
This Hamiltonian is quadratic in J and we can give its explicit action on the basis states
of 2Hinv:
H|J〉 = σ 2
√
J(J + 1)(N + J − 1)(N + J − 2) |J − 1〉+ η2(J + 1)(N + J − 1) |J〉
+ σ̄2
√
(J + 1)(J + 2)(N + J)(N + J − 1) |J + 1〉, (3.7)
the details of the spectral properties of this Hamiltonian can be found in [32]. We observe in
the spectral analysis that it presents three dynamical regimes depending on the value of the
couplings that can be put in the same footing as the three regimes in LQC given by the sign of
the cosmological constant [32]. Moreover, we can see that the structure of the Hamiltonian (3.7)
is analogous to the one given in equation (2.11), with a reparametrization by a factor 2 of the
label J . Notice that both labels µ and J are area values, the coefficients of both equations are
quadratic and both of them have contributions of three states labelled by µ, µ− 2 and µ+ 2 in
the case of equation (2.11) and J , J − 1, J + 1 in the case of (3.7).
The ansatz given above is the most general U(N)-invariant Hamiltonian (allowing only ele-
mentary changes in the total area), up to a renormalization by a E-dependent factor. Therefore,
we can also propose renormalized Hamiltonian operators based on the renormalized operators
considered in the previous section. For instance, we can define
h ≡ 1√
E + 2(N − 1)
H
1√
E + 2(N − 1)
= ηZ + (σX− + σ̄X+) ∈ sl2.
22 E.F. Borja, I. Garay and F. Vidotto
We remark the fact that we study the action of these Hamiltonian operators, H and h, on the
U(N)-invariant space 2Hinv; nevertheless they are generally well-defined on the whole space of
spinnetwork states 2H. Also, that the dynamics on the homogeneous sector does not depend
mathematically on the parameter N giving the number of links of the graph, as it does not
appear in the action of the renormalized Hamiltonian h.
The main characteristic of h is that it is an element in the Lie algebra sl2 and its coefficients
are linear in the variable J at leading order. Thus we know its spectral properties from the repre-
sentation theory of sl2. The important point to underline here is that the three coupling regimes
for the renormalized Hamiltonian h are exactly the same as for the original Hamiltonian H. This
is very similar to the interplay between the evolution operator Θ̂ and the gravitational contri-
bution to the Hamiltonian constraint Ĉgrav (see e.g. [64]) in LQC. At the end of this section,
we will obtain the classical counterpart of these Hamiltonians and we will be able to solve the
equations of motion for h exactly.
3.5 Classical setting: formulation of the 2-node model in terms of spinors
One of the most interesting aspects of the U(N)-framework is that it can be rewritten in terms of
spinors rather straightforward [34, 70]. This fact is natural in this setting because the operators
in the U(N)-formalism can be seen as the quantization of a classical spinorial model. This
relationship may lead us to a better understanding of the geometrical meaning of the spinnetwork
states in LQG and can also help us in the quest of a well defined semi-classical limit for the full
theory.
Another remarkable point is the direct relation with the work by L. Freidel and S. Speziale so
called “twisted geometries” [55, 56]. Within this point of view, it was shown that the classical
phase space of loop gravity on a given graph can be understood as a classical spinor model
unravelling the connection between spinnetworks and the discrete geometry, mainly the Regge
theory. This could be a key ingredient in order to shed light about the physical meaning of the
spinfoam approach which treats the dynamics of the spinnetworks.
In this section we present the main elements allowing the recast of the U(N)-framework in
terms of spinors, showing how this is related with the usual SU(2) intertwiners in LQG. First of
all, we define the classical spinor phase space. Later on, we propose a classical theory based on an
action principle which actually gives us that phase space. After this classical step we perform the
quantization, choosing a specific polarization based on certain spinorial holomorphic functionals
and we will find that we obtain the correct intertwiner Hilbert space. Finally, we will discuss
some interesting topics about the dynamics in our 2-node model using spinors and some points
of contact with LQC.
3.5.1 Spinors and notation
In this part, we introduce the spinors and the related useful notations that we will be using in
the rest of the section [34, 42, 54, 56, 70]. Given a spinor z
|z〉 =
(
z0
z1
)
, 〈z| =
(
z̄0 z̄1
)
,
it is well known that there is a geometrical 3-vector ~V (z), defined from the projection of the
2× 2 matrix |z〉〈z| onto Pauli matrices σa (taken Hermitian and normalized so that (σa)
2 = I)
|z〉〈z| = 1
2
(
〈z|z〉I + ~V (z) · ~σ
)
.
Learning about Quantum Gravity with a Couple of Nodes 23
It is straightforward to compute the norm and the components of this vector in terms of the
spinors
|~V (z)| = 〈z|z〉 =
∣∣z0
∣∣2 +
∣∣z1
∣∣2,
V z =
∣∣z0
∣∣2 − ∣∣z1
∣∣2, V x = 2 Re
(
z̄0z1
)
, V y = 2 Im
(
z̄0z1
)
.
Also, it is important to notice that the spinor z is entirely determined by the corresponding
3-vector ~V (z) up to a global phase. We can give the reverse map
z0 = eiφ
√
|~V |+ V z
2
, z1 = ei(φ−θ)
√
|~V | − V z
2
, tan θ =
V y
V x
,
where eiφ is an arbitrary phase.
We can also introduce the map duality ς acting on spinors
ς
(
z0
z1
)
=
(
−z̄1
z̄0
)
, ς2 = −1.
This is an anti-unitary map, 〈ςz|ςw〉 = 〈w|z〉 = 〈z|w〉, and we will write the related state as
|z] ≡ ς|z〉, [z|w] = 〈z|w〉.
This map ς maps the 3-vector ~V (z) onto its opposite
|z][z| = 1
2
(
〈z|z〉I− ~V (z) · ~σ
)
.
Finally considering the setting necessary to describe intertwiners with N legs, we consider N
spinors zi and their corresponding 3-vectors ~V (zi). Typically, we can require that the N
spinors satisfy a closure condition, i.e. that the sum of the corresponding 3-vectors vanishes,∑
i
~V (zi) = 0. Coming back to the definition of the 3-vectors ~V (zi), the closure condition is
easily translated in terms of 2× 2 matrices∑
i
|zi〉〈zi| = A(z)I, with A(z) ≡ 1
2
∑
i
〈zi|zi〉 =
1
2
∑
i
|~V (zi)|.
This further translates into quadratic constraints on the spinors∑
i
z0
i z̄
1
i = 0,
∑
i
∣∣z0
i
∣∣2 =
∑
i
∣∣z1
i
∣∣2 = A(z).
In simple terms, it means that the two components of the spinors, z0
i and z1
i , are orthogonal
N -vectors of equal norm. In order to simplify the notation, let us introduce the matrix elements
of the 2× 2 matrix
∑
i |zi〉〈zi|
Cab =
∑
i
zai z̄
b
i .
Then the unitary or closure conditions are written very simply
C00 − C11 = 0, C01 = C10 = 0.
24 E.F. Borja, I. Garay and F. Vidotto
3.5.2 Phase space and quantization
We are ready now to describe the phase space in terms of spinors. This will provide us with the
suitable arena to proceed with the quantization [34, 70].
Then, we first introduce a simple Poisson bracket on our space of N spinors
{zai , z̄bj} ≡ iδabδij ,
with all other brackets vanishing, {zai , zbj} = {z̄ai , z̄bj} = 0. This is exactly the Poisson bracket
for 2N decoupled harmonic oscillators.
We expect that the closure conditions generates global SU(2) transformations on the N
spinors. In order to check that, we have to compute the Poisson brackets between the various
components of the C-constraints:
{C00 − C11, C01} = −2iC01, {C00 − C11, C10} = +2iC10, {C10, C01} = i(C00 − C11),
{Tr C, C00 − C11} = {Tr C, C01} = {Tr C, C10} = 0. (3.8)
These four components Cab do indeed form a closed u(2) algebra with the three closure conditions
C00−C11, C01 and C10 forming the su(2) subalgebra. Thus we will write ~C for these three su(2)-
generators with Cz ≡ C00 − C11 and C+ = C10 and C− = C01. The three closure conditions ~C will
actually become the generators ~J at the quantum level, while the operator Tr C will correspond
to the total energy/area E.
Now, let us define matrices M and Q in the following way
Mij = 〈zi|zj〉 = 〈zj |zi〉, Qij = 〈zj |zi] = [zi|zj〉 = −[zj |zi〉
with
zi ≡
(
ūi1
√
λ
ūi2
√
λ
)
, λ ≡ TrM/2
and uij elements of a unitary matrix. It is possible to write this matrices as
M = λU∆U−1, ∆ =
1
1
0N−2
, Q = λU∆ε
tU, ∆ε =
1
−1
0N−2
,
where U is a unitary matrix U †U = I.
It is easy to show that indeed (up to a global phase) these matrices are the most general
ones satisfying M = M †, tQ = −Q and the classical analogs to the quadratic constraints
satisfied by the operators E and F . On the other hand there is a fundamental point in this
construction which is that the unitarity condition on the matrices U is equivalent (with the
presented definition of the spinors in terms of the unitary matrix elements) to the closure
conditions on the spinors.
Now, we can also compute the Poisson brackets of the Mij and Qij matrix elements:
{Mij ,Mkl} = i(δkjMil − δilMkj), {Mij , Qkl} = i(δjkQil − δjlQik),
{Qij , Qkl} = 0, {Q̄ij , Qkl} = i(δikMlj + δjlMki − δjkMli − δilMkj), (3.9)
which reproduces the expected commutators (3.1) up to the i-factor. We further check that
these variables commute with the closure constraints generating the SU(2) transformations
{~C,Mij} = {~C, Qij} = 0.
Learning about Quantum Gravity with a Couple of Nodes 25
Finally, we look at their commutator with Tr C
{Tr C,Mij} = 0, {Tr C, Qij} =
{∑
k
Mkk, Qij
}
= +2iQij ,
which confirms that the matrix M is invariant under the full U(2) subgroup and that Tr C acts
as a dilatation operator on the Q variables, or reversely that the Qij acts as creation operators
for the total energy/area variable Tr C.
So far, we have been able to characterize the classical phase space associated to the spinors zi
and the variables Mij , Qij . Then we can now proceed to the quantization. In order to do that,
we introduce the Hilbert spaces H(Q)
J of homogeneous polynomials in the Qij of degree J
H(Q)
J ≡
{
P ∈ P[Qij ] |P (ρQij) = ρJ P (Qij), ∀ ρ ∈ C
}
.
These are polynomials completely anti-holomorphic in the spinors zi and of order 2J .
One can prove that these Hilbert spaces H(Q)
J are isomorphic to the Hilbert space H(J)
N of
N -valent intertwiners with fixed total area J . To this purpose, we will construct the explicit
representation of the operators quantizing Mij and Qij on the spaces H(Q)
J and show that they
match the actions of the U(N) operators Eij and F †ij which we described earlier. Our quanti-
zation relies on quantizing the z̄i as multiplication operators while promoting zi to a derivative
operator
̂̄zai ≡ z̄ai ×, ẑai ≡
∂
∂z̄ai
,
which satisfies the commutator [ẑ, ˆ̄z] = 1 as expected for the quantization of the classical bracket
{z, z̄} = i. Then, we quantize the matrix elements Mij and Qij and the closure constraints
following this correspondence:
M̂ij = z̄0
i
∂
∂z̄0
j
+ z̄1
i
∂
∂z̄1
j
, Q̂ij = z̄0
i z̄
1
j − z̄1
i z̄
0
j = Qij ,
̂̄Qij =
∂2
∂z̄0
i ∂z̄
1
j
− ∂2
∂z̄1
i ∂z̄
0
j
, Ĉab =
∑
k
z̄bk
∂
∂z̄ak
.
It is straightforward to check that the Ĉab and the M̂ij respectively form a u(2) and a u(N) Lie
algebra, as expected
[Ĉab, Ĉcd] = δadĈcb − δcbĈad, [M̂ij , M̂kl] = δkjM̂il − δilM̂kj , [Ĉab, M̂ij ] = 0,
which amounts to multiply the Poisson bracket (3.8) and (3.9) by −i. Then, we first check the
action of the closure constraints on functions of the variables Qij :
~̂CQij = 0, (̂Tr C)Qij = 2Qij ,
∀P ∈ H(Q)
J = PJ [Qij ], ~̂C P (Qij) = 0, (̂Tr C)P (Qij) = 2JP (Qij),
so that our wavefunctions P ∈ H(Q)
J are SU(2)-invariant (vanish under the closure constraints)
and are eigenvectors of the Tr C-operator with eigenvalue 2J .
Second, we check that the operators M̂ and (̂Tr C) satisfy the same quadratic constraints
on the Hilbert space H(Q)
J (i.e. assuming that the operators acts on SU(2)-invariant functions
vanishing under the closure constraints) that the u(N)-generators Eij
(̂Tr C) =
∑
k
M̂kk,
∑
k
M̂ikM̂kj = M̂ij
(
(̂Tr C)
2
+N − 2
)
,
26 E.F. Borja, I. Garay and F. Vidotto
which allows us to get the value of the (quadratic) U(N)-Casimir operator on the space H(Q)
J :
∑
ik
M̂ikM̂ki = (̂Tr C)
(
(̂Tr C)
2
+N − 2
)
= 2J(J +N − 2).
Thus, we can safely conclude that this provides a proper quantization of our spinors and M -
variables, which matches exactly with the u(N)-structure on the intertwiner space (with the
exact same ordering)
H(Q)
J ∼ H(J)
N , M̂ij = Eij , (̂Tr C) = E.
Now, turning to the Q̂ij-operators, it is straightforward to check that they have the exact same
action that the F †ij operators, they satisfy the same Lie algebra commutators (3.1) and the same
quadratic constraints (3.3)–(3.5). Clearly, the simple multiplicative action of an operator Q̂ij
send a polynomial in PJ [Qij ] to a polynomial in PJ+1[Qij ]. Reciprocally, the derivative action
of ̂̄Qij decreases the degree of the polynomials and maps PJ+1[Qij ] onto PJ [Qij ].
Finally, let us look at the scalar product on the whole space of polynomials P[Qij ]. In order
to ensure the correct Hermiticity relations for M̂ij and Q̂ij ,
̂̄Qij , it seems that we have a unique
measure (up to a global factor)
∀φ, ψ ∈ P[Qij ], 〈φ|ψ〉 ≡
∫ ∏
i
d4zie
−
∑
i〈zi|zi〉φ(Qij)ψ(Qij).
Then it is easy to check that we have M̂ †ij = M̂ji and Q̂†ij = ̂̄Qij as wanted.
It is easy to see that the spaces of homogeneous polynomials PJ [Qij ] are orthogonal with
respect to this scalar product. The quickest way to realize that this is true is to consider the
operator (̂Tr C), which is Hermitian with respect to this scalar product and takes different values
on the spaces PJ [Qij ] depending on the value of J . Thus these spaces PJ [Qij ] are orthogonal to
each other.
This concludes our quantization procedure thus showing that the intertwiner space for N legs
and fixed total area J =
∑
i ji can be seen as the space of homogeneous polynomials in the Qij
variables with degree J . This provides us with a description of the intertwiners as wave-functions
anti-holomorphic in the spinors zi constrained by the closure conditions12.
3.5.3 Action principle
It is possible to write an action principle for the previous Poisson bracket structure in terms of the
spinors. In order to be consistent, we have to take into account the closure constraint, but also
the matching conditions coming from the gluing of several intertwiners together. Furthermore,
we propose an interaction term (a Hamiltonian) for this model.
Once we know that the Hilbert space of LQG can be described as the quantization of the
phase space in terms of spinors (with the construction explained above) [70], it is interesting to
present explicitly the correspondence between the standard formalism of loop (quantum) gravity
and the spinor formulation provided by the reconstruction of the SU(2) group element g` in terms
of the spinors [56].
12It is also possible to present an alternative construction [34], which can be considered as “dual” to the
representation defined above. It is based on the coherent states for the oscillators, thus recovering the framework
of the U(N) coherent intertwiner states introduced in [54] and further developed in [42].
Learning about Quantum Gravity with a Couple of Nodes 27
Considering an link ` with the two spinors at each of its end-nodes zs(`),` and zt(`),`, there
exists a unique SU(2) group element mapping one onto the other. More precisely
g` ≡
|zs(`),`]〈zt(`),`| − |zs(`),`〉[zt(`),`|√
〈zs(`),`|zs(`),`〉〈zt(`),`|zt(`),`〉
is uniquely fixed by the following conditions
g`
|zt(`),`〉√
〈zt(`),`|zt(`),`〉
=
|zs(`),`]√
〈zs(`),`|zs(`),`〉
,
g`
|zt(`),`]√
〈zt(`),`|zt(`),`〉
= −
|zs(`),`〉√
〈zs(`),`|zs(`),`〉
, g` ∈ SU(2),
thus sending the source normalized spinor onto the dual of the target normalized spinor.
Starting from this point, it is possible to construct objects in terms of the matrices M and Q
that are SU(2) invariant and satisfying the matching conditions [34]. The expression of these
objets (dubbed as “generalized holonomies” for their close relation with the usual holonomy
operators in LQG) is
M{ri}L ≡
∏
i
ri−1riQ̄
i
i,i−1 + (1− ri−1)riM
i
i−1,i + ri−1(1− ri)M i
i,i−1
+ (1− ri−1)(1− ri)Qii,i−1 =
∏
i
〈ςri−1zvi,ei−1 | ς1−rizvi,ei〉
with ri = 0, 1; and Mv
j,k, Q
v
j,k the corresponding operators for the node v of a given loop of
a generic graph Γ (Fig. 6) and acting on the links j and k. These objects will be the building
blocks for the interaction term of our model.
Figure 6. The loop L = {`1, `2, . . . , `n} on the graph Γ.
Using all these ingredients, we want to write an action principle for this formalism. We should
keep in mind that the spinnetwork states on a given graph Γ are V intertwiner states – one at
each node v – glued together along the links e so that they satisfy the matching conditions
on each link. Consequently the phase space consists with the spinors zv,` (where e are links
attached to the node v, i.e. such that v = s(`) or v = t(`)) which we constrain by the closure
conditions ~Cv at each node v and the matching conditions on each link e. The corresponding
28 E.F. Borja, I. Garay and F. Vidotto
action reads
SΓ
0 [zv,`] =
∫
dt
∑
v
∑
e|v∈∂e
(−i〈zv,`|∂nzv,`〉+ 〈zv,`|Λv|zv,`〉)
+
∑
`
ρ`
(
〈zs(`),`|zs(`),`〉 − 〈zt(`),`|zt(`),`〉
)
,
where the 2 × 2 Lagrange multipliers Λv satisfying Tr Λv = 0 impose the closure constraints
and the Lagrange multipliers ρ` ∈ R impose the matching conditions. All the constraints are
first class, they generate SU(2) transformations at each node and U(1) transformations on each
link e.
We can analogously describe this system parameterized by Nv×Nv unitary matrices Uv and
the parameters λv. The matrix elements Uvef refer to pairs of links e, f attached to the node v.
As it was mention before, the closure conditions are automatically encoded in the requirement
that the matrices Uv are unitary. Of course, we still have to impose the matching conditions
M
s(`)
ee −M t(`)
ee = 0 on each link e where the matrices Mv = λv U
v∆Uv−1 are functions of both λv
and Uv. So in this case, the action13 reads
SΓ
0 [λv, U
v] =
∫
dt
∑
v
(
−iλvTrUv∆∂nU
v† − Tr Θv(U
vUv† − I)
)
+
∑
`
ρ`(M
s(`)
ee −M t(`)
ee ),
where the ρ` impose the matching conditions while the Nv ×Nv matrices Θv are the Lagrange
multipliers for the unitarity of the matrices Uv.
This free action describes the classical kinematics of spinnetworks on the graph Γ. Now,
we are going to add interaction terms to this action. Such interaction terms are built with
the generalized holonomy observables M{ri}L . With this construction, the closure and matching
conditions are trivially satisfied. Our proposal for a classical action for spinnetworks with
nontrivial dynamics is thus
SΓ
γ
{ri}
L
= SΓ
0 +
∫
dt
∑
L,{ri}
γ
{ri}
L M{ri}L ,
where the γ
{ri}
L are the coupling constants giving the relative weight of each generalized holonomy
in the full Hamiltonian. We will study in more detail this classical action principle in the specific
case of the 2-node graph in the following section.
3.5.4 Effective dynamics for the 2-node graph
Let us particularize to the 2-node graph the action principle proposed before for a general graph.
Then, the action for this model, including a general interaction term is
S[Uα, Uβ, λ] ≡ S0[Uα, Uβ, λ] +
∫
dt
∑
i,j
[
γ+
ijQ
α
ijQ
β
ij + γ−ij Q̄
α
ijQ̄
β
ij + γ0
ijM
α
ijM
β
ij
]
, (3.10)
with
S0[Uα, Uβ, λ] ≡
∫
dt
(
−iλ
[
TrUα∆∂nU
α† + TrUβ∆∂nU
β†]
13This action is invariant under the action of SU(2) × U(Nv − 2) at every node, which reduces the number
of degrees of freedom of the matrices Uv to the spinors zv,` which are actually the two first columns of those
matrices.
Learning about Quantum Gravity with a Couple of Nodes 29
+
∑
i
ρi
[
(Uα∆Uα†)ii − (Uβ∆Uβ†)ii
])
,
where λ ≡ λα = λβ, due to the matching conditions, and the γ’s are coupling constants satisfying
γ− = γ+, γ0 = (γ0)†
in order to have a real Hamiltonian.
At this point one can look for the classical counterpart of the quantum Hamiltonian for the
homogeneous and isotropic sector imposing a global U(N) symmetry. After this, the action
depends just on two conjugated variables λ ≡ TrM/2 and φ. Due to the symmetry reduction
and the matching conditions, φ relates the unitary matrix (or spinor) in the node α with the
one at β: Uα = eiφUβ. Finally, the expression for the action for the reduced sector is
Sinv[λ, φ] = −2
∫
dt
(
λ∂nφ− λ2
(
γ0 − γ+e2iφ − γ−e−2iφ
))
,
with the Hamiltonian H = λ2(γ0 − 2γ cos(2φ)).
This Hamiltonian corresponds with the quantum Hamiltonian H that we have considered
before. As we did also there, we can introduce the renormalized Hamiltonian
h ≡ 1
λ
H = λ(γ0 − 2γ cos(2φ)),
that is still SU(2) and U(N) invariant.
The equations of motion coming from the new Hamiltonian h are simply given by
∂nφ = γ0 − 2γ cos(2φ), ∂nλ = −4γλ sin(2φ).
We can solve exactly these differential equations. First we solve for φ(t) analytically and then
the following expression for λ in terms of φ solves the equations of motions
λ =
ε
γ0 − 2γ cos(2φ)
, (3.11)
where ε = ± is a global sign. Let us point out that the equation of motion for λ only determines
it up a global numerical factor. Then we should remember that λ is the total area and we always
constrain it to be positive. Moreover this is the equation of a conic with radial coordinate given
by λ, polar coordinate 2φ and eccentricity 2γ/γ0.
The solutions14 for φ(t), depending on the different values for the parameters γ0 and γ are
elliptic region (|γ0| > 2|γ|):
φ(t) = − arctan
(2γ − γ0) tan
(
t
√
(γ0)2 − 4γ2
)
√
(γ0)2 − 4γ2
, (3.12a)
hyperbolic region (|γ0| < 2|γ|):
φ(t) = − arctan
√
4γ2 − (γ0)2
(2γ + γ0) tanh
(
t
√
4γ2 − (γ0)2
)
, (3.12b)
14We have chosen the most convenient constants of integration due to the fact that this constants are just
translations in the temporal variable
30 E.F. Borja, I. Garay and F. Vidotto
parabolic region I (γ0 = 2γ):
φ(t) = − arctan
(
1
4γt
)
, (3.12c)
parabolic region II (γ0 = −2γ):
φ(t) = − arctan (4γt) . (3.12d)
Let us give a brief description of these solutions (Fig. 7). First, we notice that we get the same
solution λ(t) for the two cases I and II of the parabolic region by taking ε = + in case I and ε = −
in case II. In the elliptic case, we have a system in which the area λ has an oscillatory behavior.
While in the other two regimes the area shrinks under evolution, reaches a minimum value and
then increases until infinity. As it was pointed out in [32, 34], the quantum Hamiltonian of this
2-node model is mathematically analogous to the gravitational part of the Hamiltonian in LQC.
Following this analogy, we can interpret the results obtained here as the classical analogous of
the quantum big bounce found in LQC.
At this point, it would be very interesting to go beyond the U(N)-invariant sector. The
action (3.10) defines the full classical kinematics and dynamics of spin network states on the 2-
node graph. It is a nontrivial matrix model defined in terms of the unitary matrices Uα and Uβ
and with quartic interaction terms. Even if we still choose a U(N)-invariant Hamiltonian of
the the type γ+TrQαQβ + γ−Tr Q̄αQ̄β + γ0TrMαtMβ, this will nevertheless induce nontrivial
dynamics for the matrices Uα and Uβ. It would be very interesting to follow this line of research
and study what kind of anisotropy does this model describe in the context of loop cosmology.
Finally, let us point out some other possible lines of research on these topics. Although the
results on the 2-node graph are compelling due to the relation with cosmology, there are some
limitations. Up to now, it has not been possible to go beyond the homogeneous sector. The
relation with the improved dynamics in LQC and the introduction of matter are still missing.
It would be interesting to generalize the methods presented here to more complicated graphs in
order to test the truncation of LQG to a fixed graph. We point out two such generalizations.
One is the work with the graph with 3+N nodes in [32]. This graph could allow us, for instance,
to study rotations or black-hole radiation processes. An interesting generalization could be to
consider a graph with an infinite number of nodes in order to study a continuum limit. These
models can be generalized in numerous directions and we think that they can contribute to the
understanding of the framework and shed light on fundamental problems in LQG and spinfoams.
4 The covariant few-node model
So far we have presented the use of the 2-nodes graph in the canonical theory, seeing how this
can be used as a truncation of the full theory to a finite number of degrees of freedom, and we
have seen different techniques to impose homogeneity and isotropy on this system in order to
obtain the description of a FLRW universe. On the other hand, in our description we can not
break free from the ambiguities in the definition of the dynamics: there is no agreement about
the form of the Hamiltonian constraints used. We hope that the works presented in this review
could add new insights to this question.
The dynamics of Loop Quantum Gravity, however, admits also a covariant formulation in
terms of transition amplitudes, which appears to be far less subject to ambiguities. The fun-
damental object is a general covariant path integral, interpreted as a sum over geometries. In
this section we review calculation of the transition amplitude between homogeneous isotropic
states on a regular graph. This calculation was first performed in the context of the 2-node
model [31] and extended to the case with a cosmological constant in [28], but was later extended
Learning about Quantum Gravity with a Couple of Nodes 31
Figure 7. We plot the behavior of φ(t) and λ(t) (given by the equations (3.11) and (3.12)) in the three
different regimes for γ = 1 and respectively γ0 = 4 (elliptic regime), γ0 = 1 (hyperbolic regime) and
finally γ0 = 2 (parabolic regime). In the first column, we give the polar plots constructed by taking as
polar coordinates (2φ, λ(φ)). The second column gives for φ(t) and the third one λ(t). We observe in
those plots the periodical behavior of λ (interpreted as the total area of the model) as a function of time
in the elliptic case and a behavior analogous to a cosmological big bounce in the other two cases.
to an arbitrary regular graph in [107]. Here we give directly the general case with a cosmological
constant on an arbitrary regular graph.
4.1 Brief introduction to spinfoam theory
The transition amplitudes are obtained by summing over all the possible spinfoams. A spinfoam
is a 4-dimensional simplicial 2-complex C colored with spins jf and intertwiners ie, associated,
respectively, to the faces f and the edges e, i.e. the 3-cells. This is the object that encodes
the quantum geometry (Penrose’s spin-geometry theorem). Here we take the sum over the
coloring jf and i`, the product of “face amplitude”
∏
f d(jf ) and a product of vertex amplitudes∏
v Av(j`, iv), that reads [44, 46, 47, 51, 63, 69]:
ZC =
∑
jf ,ie
∏
f
d(jf )
∏
v
Av(jf , ve). (4.1)
The vertex amplitude Av(jf , ve) = 〈jf , ve|Av〉 is written in a basis of intertwiners that diago-
nalizes the volume, and we indicate with ve the corresponding quantum number, which we take
to be the eigenvalue (for simplicity of notation we disregard the eventual degeneracy). Thus the
vertex amplitude is a function of the spins jf and of the intertwiners adjacent to the vertex v.
We can include a positive cosmological constant by considering a simple modification of (4.1)
based on the form of the cosmological-constant term in the Hamiltonian constraint. In the
canonical theory, the cosmological constant appears as an additive term to the gravitational
32 E.F. Borja, I. Garay and F. Vidotto
Hamiltonian constraint, which multiples the 3-volume element. When deriving a path integral
formulation of quantum theory à la Feynman by inserting resolutions of unity into the evo-
lution operator, a potential term appears simply as a multiplicative exponential, because the
potential is diagonal in the position basis. The cosmological constant term is diagonal in the
spin-intertwiner basis. It is therefore possible to insert the cosmological constant “potential” as
a multiplicative term along the spinfoam evolution, that is in between 4-cells, which is to say on
3-cells15. The coupling is therefore very simple, and consists in weighting edge amplitudes with
an exponential term which depends on the volume and the cosmological constant. Therefore we
obtain
ZC =
∑
jf ,ve
∏
f
(2j + 1)
∏
e
eiλve
∏
v
Av(jf , ve), (4.2)
where λ is related to the cosmological constant Λ and eigenvalue of the volume ve associated to
an edge e. The amplitude is written in a basis of intertwiners that diagonalizes the volume, so
that the term with ve in the exponential is well defined.
Incorporating this term into the covariant dynamics of Loop Quantum Gravity (see [81, 87]
and references therein) is important in order to check the semiclassical limit. Einstein equation
admits only the trivial flat solution in absence of matter for Λ = 0. Recovering flat space is
interesting, but is still weak evidence for the full classical limit. Since at the moment the coupling
of matter in spinfoam is not yet completely understood, the inclusion of the cosmological constant
became essential to check the good semiclassical limit of the spinfoam theory beyond the trivial
flat solution.
4.1.1 Coherent states
We want to study the semiclassical behavior of this transition amplitude. In in the Hilbert
space HΓ it is possible to define an overcomplete basis of semiclassical states, obtained as
a superposition of spinnetwork states. These are coherent states, functions of SU(2) and labelled
by a SL(2,C) element H` for each link. They take the form16 [29, 30]
ψH`(h`) =
∫
SU(2)N
dgn
∏
l∈Γ
Kt
(
gs(`)h`g
−1
t(`)H
−1
`
)
. (4.3)
They are defined by an integral on SU(2), so that the stases are gauge invariant, and by the
heat kernel Kt on SU(2)
(
h` ∈ SU(2)
)
, analytically continued to SL(2,C). This is a function
concentrated on the origin of the group, with a spread of order 1/t in j. Its explicit form is17
Kt(h) =
∑
j
(2j + 1)e−2t~ j(j+1)Tr [Dj(h)],
where Dj(h) is the Wigner matrix of the spin-j representation of SU(2). The states (4.3) are
gauge-invariant semiclassical wave packets. The integral in (4.3) projects (“group averages”) on
the gauge invariant states. If H` is in the SU(2) subgroup of SL(2,C), the heat kernel peaks
each h` on H`. The extension of H` to SL(2,C) has the same effect as taking a gaussian function
15The boundary state of each cell is written in the time gauge [95].
16As shown in [29], these states: (i) are the basis of the holomorphic representation [7, 30], (ii) are a special case
of Thiemann’s complexifier’s coherent states [20, 21, 49, 50, 97, 98, 99, 104, 105, 106], (iii) induce Speziale–Livine
coherent tetrahedra [36, 52, 69] on the nodes, and (iv) are equal to the Freidel–Speziale coherent states [55, 56]
for large spins.
17We choose a parameter t with the dimension of an inverse action, and put ~ explicitly in the definition of the
coherent states, in order to emphasize the fact that the small t limit is the classical limit, and to keep track of
the corresponding dependence on ~. The factor 2 is for later convenience.
Learning about Quantum Gravity with a Couple of Nodes 33
Figure 8. Transition amplitude between two states defined on a “dipole” graph. We consider only the
first order in the vertex expansion, i.e. there is only one vertex in the bulk (spinfoam edges are drawn
with thicker lines).
ψ(x) = e(x−zo)2/2 ∼ e(x−xo)2/2eipox for a complex zo = xo + ipo; that is, it adds a phase which
peaks the states on a value of the variable conjugate to h`. Thus, the states (4.3) are peaked on
the variables h` as well as on their conjugate momenta.
We can decompose each SL(2,C) label in the form
H` = D(j)(R~ns(`))e
−iz`
σ3
2 D(j)
(
R−1
~nt(`)
)
,
where R~n ∈ SU(2) is the rotation matrix that rotates the unit vector pointing in the (0, 0, 1)
direction into the unit vector ~n, and D(j)(R~ns) is its representation j. ~σ = {σi}, i = 1, 2, 3 are
the Pauli matrices.
There is a compelling geometrical interpretation for the (~ns, ~nt, ξ, η) labels of each link [55,
72, 94]. The two vectors ~ns and ~nt represent the normals to the face `, in the two polyhedra
bounded by this face. The complex number z` codes the intrinsic and the extrinsic geometry at
the face. More precisely the imaginary part of z` is proportional to the area of the face of the
cellular decomposition dual to the link `. The real part of z` is determined by the holonomy of
the Ashtekar connection along the link [94]. For general states, the interpretation extends to
a simple generalization of Regge geometries, that Freidel and Speziale have baptized “twisted
geometries” [55].
These state, that we use to concretely compute the transition amplitude, should be inter-
preted18 as describing the quantum space surrounding a given 4-dimensional finite region of
spacetime. We talk therefore of “boundary states”, that can be thought here as “in” and “out”
states in the transition amplitude.
4.1.2 Vertex amplitude
The transition amplitude (4.1), (4.2) can be expressed as a vertex expansion. The first nontrivial
term of this expansion involves just a single vertex. In what follows we concentrate on the
evaluation of the transition amplitude in the first order of the vertex expansion. Therefore the
vertex amplitudes Av(H`), one for each vertex v in the bulk of the spinfoam, become for us
just A(H`). We evaluate it in the basis of the coherent states [22, 25, 30, 45, 77], so that the
expression 〈A|ψH`〉 = W (H`) reads
W (H`) =
∫
SL(2,C)
N−1∏
n=1
dGn
L∏
`=1
∑
j`
(2j`+1)e−2t~j`(j`+1)eiλve
× Tr
[
D(j`)(H`)Y
†D(γj`,j`)(G`)Y
]
. (4.4)
18They can also be viewed as describing quantum space at some given coordinate time, but this interpretation
is less covariant.
34 E.F. Borja, I. Garay and F. Vidotto
The amplitude is Lorentzian, with an integration over the SL(2,C) elements Gn associated to
the edges (see Fig. 8). Notice that the integration is over all the Gn but one, in order to
avoid a redundancy that makes the amplitude diverge [45]. We take the product over each
link ` and the sum over the coloring of these links, i.e. on the spins j`. D(j)(H`) is simply
D(j)(R~ns(`))D
(j)(e−iz`
σ3
2 )D(j)(R−1
~nt(`)
). G` = Gs(`)G
−1
t(`) is the product of the SL(2,C) group ele-
ments at the source and target nodes, extremals of each oriented link `, and D(γj`,j`)(G`) is its
representation matrix. Finally, Y is a map from the representation (j) of SU(2) to the repre-
sentation (γj`, j`) of SL(2,C). The first has has dimension 2j + 1 while the second has infinite
dimension. These matrices with different dimensions are glued by the map Y . In other words
Y : H(j) −→ H(j,γj)
|j,m〉 |(j, γj); j,m〉
whose matrix elements are given by 〈(j, γj); j′,m′ |Y | j,m〉 = δp,γjδkjδjj′δmm′ .
In the base of the coherent states the amplitude takes the convenient form (4.4) that we
exploit for the calculation in cosmology.
4.2 Homogeneous and isotropic geometry
We want to evaluate the vertex amplitude (4.4) for the homogeneous and isotropic case [28,
31, 107, 108]. This corresponds to restrict the study to regular graphs, i.e. graphs where the
distribution of the degrees at the nodes is uniform (this condition is trivially satisfy when we
work with the dipole). The requirement of homogeneity and isotropy fixes ~ns, ~nn as the normals
to the faces of the geometrically regular cellular decomposition dual to the graph, and implies
that all the z` elements in H` are equal: z` = z. Furthermore, on a homogeneous isotropic
space the real part of z is the sum of two terms [71] Re z = θ(γK + Γ), where K and Γ are
the scalar coefficients of respectively the extrinsic curvature and the spin connection, that enter
in the definition of the Ashtekar–Barbero connection written in the homogeneous gauge. On
a compact space, Γ = 1, and θ and is the angle between two 4d normals of the two adjacent
polyhedra (the isotropy requires that this is the same for every coupe of normals) and K is
proportional to the time derivative of the scale factor. Finally, all the cells are equal and we can
write ve in the cosmological constant term as the volume vo of a regular cell with faces having
unit area, times j
3
2 .
With these assumptions, any homogeneous isotropic coherent state on any regular graph is
described by a single complex variable z, whose imaginary part is proportional to the area of
each regular face of the cellular decomposition (and it can be put in correspondence with the
total volume) and whose real part is related to the extrinsic curvature [94]. We denote ψH`(z)
this state, and ψH`(z,z′) = ψH`(z)⊗ψH`(z′) the state on two copies of the regular graph, obtained
tensoring the “in” and “out” homogeneous isotropic states.
Before studying further our transition amplitude, let us consider the vertex expansion. We
consider the classical Hamilton function of a homogeneous isotropic cosmology: this results in
a difference between two boundary terms. With the cosmological constant Λ it gives
SH =
∫
dt
(
aȧ2 +
Λ
3
a3
) ∣∣∣
ȧ=±
√
Λ
3
a
=
2
3
√
Λ
3
(
a3
fin − a3
in
)
,
where a is the scale factor and ȧ its time derivative. Therefore at the first order in ~ the quantum
transition amplitude factorizes:
W (afin, ain) = e
i
~SH(afin,ain) = W (afin)W (ain).
Learning about Quantum Gravity with a Couple of Nodes 35
The same happens for the spinfoam amplitude
〈W |ψH`(zfin,zin)〉 = W (zfin, zin) = W (zfin)W (zin)
with W (z) ≡W (H`), where now (4.4) edpends only on a single z trough H`(z).
In [60], Frank Hellmann points out that the factorization survives also beyond the classical
(large distance) limit when we restrict to the one-vertex approximation of the amplitude, and
observes that this factorization can be reinterpreted as the amplitude to go from the initial
state to nothing and from nothing to the final state, namely as the contribution of a discon-
nected spacetime topology to the total transition amplitude. This does not preclude assigning
a standard cosmological interpretation to the W (zfin, zin) = W (zfin)W (zin) amplitude: it is only
a consequence of the particularly simple dynamics of the classical symmetric system considered
above, where the equations of motion determine a relation between a and its conjugate momen-
tum pa which is independent from earlier values of the two. On the other hand, this observation
is quite interesting because it allows each single term W (z) to be interpreted as the Hartle–
Hawking “wave function of the universe” determined by a no-boundary initial condition [59].
At the first order in the expansion, we can therefore study W (z) instead of W (zfin, zin) and
interpret it as the “wave function of the universe”.
We are interested in this quantity in the large volume limit, that correspond to take the
imaginary part of z is large. Let us consider separately the real and the imaginary part of z.
When the imaginary part of z is large we find that the Wigner matrix in the trace gives
D(j)
(
e−iz
σ3
2
)
=
∑
m
e−izm |m〉〈m|.
For Im z � 1 (large area) in this sum the term m = j dominates, therefore
D(j)
(
e−iz
σ3
2
)
≈ eizj |j〉〈j|,
where |j〉 is the eigenstate of L3 with maximum eigenvalue m = j in the representation j.
Inserting this result into (4.4) we obtain
W (z) =
∫ N−1∏
n=1
dGn
L∏
`=1
∑
j`
(2j` + 1)e−2t~j`(j`+1)−iλvoj
3
2−iz`j`
× 〈j`|D(j`)
(
R−1
~nn
)
Y †D(γj`,j`)(G`)Y D
(j`)(R~ns)|j`〉.
The action of the matrix D(j`)(R~nn) on the highest weights states is precisely the definition of
the coherent states |~n〉, so we can write
W (z) =
∫ N−1∏
n=1
dGn
L∏
`=1
∑
j`
(2j` + 1)e−2t~j`(j`+1)−iλvoj
3
2−iz`j`
× 〈~nt(`)|Y †D(γj`,j`)(G`)Y |~ns(`)〉. (4.5)
We can now study the SL(2,C) integral in (4.5) (without fixing the j). Let us rewrite the
previous expression as
W (z) =
∑
{j`}
L∏
`=1
(2j` + 1)e−2t~j`(j`+1)−iλvoj
3
2−izj`
×
∫ N−1∏
n=1
dGn
L∏
`=1
〈~nt(`)|Y †D(γj`,j`)(G`)Y |~ns(`)〉. (4.6)
36 E.F. Borja, I. Garay and F. Vidotto
Since the gaussian sums in the first line peak the j`’s over large values, the integral in the
second line can be computed in the large spin regime, where it can be evaluated using saddle
point methods. The computation of the integral in (4.6) can be written in a spinor base, as the
one introduced in [25] and gives∫ N−1∏
n=1
dGn
L∏
`=1
〈ns(`)|Y †D(γj`,j`)(G`)Y |nt(`)〉 = H
L∏
`=1
e−
1
2
ij`θ, (4.7)
where H is the Hessian of the logarithm of the integrand in (4.7) [25] and θ is a constant
determined by the normals on the faces: it is the intrinsic curvature on the faces, coming from
the spin connection in the Ashtekar connection. We can define a new variable z̃ := z − θ, so
that the real part of z̃ is exactly the extrinsic curvature.
We can now compute the sum that appears in the amplitude
W (z) =
∑
{j}
H
L∏
`=1
(2j` + 1)e−2t~j`(j`+1)−iλvoj
3
2−iz̃j` (4.8)
by approximating it with a Gaussian integral peaked on j` ∼ jo. We expand around j0 so
that the new term is iλvoj
3
2 ∼ iλvoj
3
2
o + 3
2
iλvoj
1
2
o δj. The first term is a constant that can be
reabsorbed in the normalization and the second contributes to the phase. The value of the peak
of the gaussian jo is determined by the stationary point where the real part of the exponent
in (4.8) vanishes. This gives a condition on the imaginary part of z̃ (associated to the area),
that for large (j � 1) is
jo ∼ Im z̃/4t~. (4.9)
The imaginary part of (4.8) is a phase that suppress the amplitude everywhere but where the
argument is zero or a multiple of 2π. This gives the condition
Re z̃ = − 3
2
λvoj
1
2 ,
that, together with the condition (4.9), becomes
Re z̃ = − 3
2
λvoj
1
2
o = − 3
2
λvo
√
Im z̃/4t~.
This expression yields the Friedmann equation: recall that Re z̃ ∼ ȧ and Im z̃ ∼ a2 so that,
squaring the previous equation, we obtain(
ȧ
a
)2
=
Λ
3
,
where Λ = 27λ2v2
o/16t~. The same result can be obtained by a different technique: the transition
amplitude results to be annichilated by a Hamiltonian constraint. In the classical limit, this is(
z̃ + 3
2
λvoj
1
2
o
)2
+
(
z̃ + 3
2
λvoj
1
2
o
)2
= 0
that gives
i4 Im z̃
(
Re z̃ + 3
2
λvoj
1
2
o
)
= 0.
Notice that we don’t obtain the curvature term k/a2 in the full Friedmann equation(
ȧ
a
)2
=
Λ
3
− k
a2
. (4.10)
Learning about Quantum Gravity with a Couple of Nodes 37
This is because of the approximation taken in the evaluation of the gaussian sum. Since we ask
for large j, namely for a large distance regime, the curvature term is neglected being a higher
order in j. Finding a way to relax this approximation is an urgent issue in spinfoam cosmology:
the higher order in j would in fact provide us also the first quantum corrections. Christian
Röken has observed that equation (4.10), including the curvature term, can be obtained simply
by keeping the +1 term of the (j` + 1) in (4.8) and then rescaling a appropriately [80].
4.3 Graph independence and 2-node model
As mentioned above, spinfoam cosmology was introduced in [31] with a calculation based on the
dipole graph with 4 links. This choice was dictated by simplicity and by the fact that this graph,
already studied in the canonical context, has a compelling interpretation being a triangulation
of the 3-sphere. But the computation above shows that, studying the large distance limit the
results for the dipole are the same as for other regular graphs. (We emphasize the fact that
numerical investigation shows that the large j convergence is very fast, and the asymptotic
regime is already essentially reached with j ∼ 3.) Let us discuss the terms in (4.8) that carry
a dependence on the graph used.
At the stationary point the Hessian H give a contribution NΓ that depends on the graph Γ
trough its numbers of links L and nodes N , and a characteristic term j−3
o that is independent of
the graph. This is the norm squared of the Livine–Speziale coherent regular cell of size jo [69]
(recently calculated for the Lorentzian signature [25]). Notice that since we have fixed the
normals, degenerate contributions are not allowed (being these present, we would have had
further terms ∼ j−1
o ).
The volume vo depends on the graph used. On the other hand, such a cosmological-constant
term has been introduced as an edge amplitude. This edge amplitude can be viewed as a re-
definition of the vertex. Possible normalization ambiguities, coming from the introduction of
this term, can therefore be absorbed in the vertex amplitude [72].
The transition amplitudes that we are dicussing are in fact not normalized. The arbitrary
normalization of the vertex amplitude is fixed by cylindrical consistency [72]. We find that
the dependence on the number of nodes enters only in the term NΓ in (4.11), and it can be
counterbalanced by normalizing appropriately the amplitude. This implies that this result can
be obtained also in the 2-node model, with the only caveat that NΓ would be the one for 2
nodes.
Let us consider now the number of links. In the semiclassical limit the expression of the
amplitude can be given in the form
W (z̃) =
(
2jo
√
π
t
e−
z̃2
8t~
)L
NΓ
j3
o
.
Here the information about the semiclassical dynamics is coded in the kernel of the exponential,
that does not depends on the number of links.
Using this and (4.9), we conclude
W (z̃) = Nz̃L−3e−
L
2t~ z̃
2
,
where N = ( 4π
t
)L/2( −i4t~)L−3NΓ. Finally, inserting into (4.2) we have
W (z̃in, z̃fin) = N2(z̃inz̃fin)L−3e−
L
2t~ (z̃2
in+z̃2
fin). (4.11)
This is the transition amplitude between two cosmological homogeneous isotropic coherent
states, with N and L links such that the graph is regular (i.e. every node has the same valency).
38 E.F. Borja, I. Garay and F. Vidotto
Notice that there are an infinite number of such graphs. For instance, two nodes can be con-
nected by arbitrary number of links. Examples of regular graphs with N > 2 are given by the
(dual of) the Platonic solids.
The result of this calculation is that the support of the transition amplitude, obtained trough
the conditions on the real and the imaginary part of z̃ that yields the Friedmann equation, is
not sensitive to the number of links or the number of nodes of the graph used.
One aspect of the problem that (to the best of our knowledge) has not yet been studied is to
compare the transition amplitude for homogeneous to homogeneous geometries to the transition
amplitude from homogeneous to inhomogeneous geometries on the same graph. Namely to
understand wether the quantum evolution smears out a state that is peaked on a homogeneous
geometry to one roughly equally distributed over all geometries.
4.3.1 Covariant U(N) framework
In Section 3, we have illustrated the power of the U(N) framework, for instance for the imple-
mentation of homogeneity and isotropy in the 2-node model. Is it possible to use this technique
in the covariant theory illustrated in this section? Work in this directions is still under develop-
ment. A first step has been recently proposed in [68], where U(N) coherent states are defined on
the dipole (Fig. 5) and a simple SU(2) transition amplitude between these states is studied. This
is an interesting research direction that deserves further studies. In particular, the next step
should be to include in the picture the full Lorentzian spinfoam dynamics of general relativity.
5 Summary
In the early days of LQG, the realization that the theory lead to Planck scale discreteness
nourished the intuition that the only way of recovering a continuous space from the theory was
to have a very large number of links [11, 62]. Gaining clarity about the distinction between large
number of links and large quantum numbers such as the area quantum number j, lead to the
realization that the theory can describe large semiclassical geometries also over a small number
of nodes and links. Here we have reviewed a number of constructions in Loop Quantum Gravity,
based on the idea of truncating the Hilbert space of the theory down to the states supported on
a simple graph with two nodes [96].
The restriction of the full LQG Hilbert space to a simple graph is a truncation of the degrees
of freedom of the full theory. It defines an approximation where concrete calculations can be
performed. The approximation is viable in physical situations where only a small number of the
degrees of freedom of General Relativity are relevant. A characteristic example is cosmology.
The 2-node graphs (dipole) with 4 links defines the simplest triangulation of a 3-sphere and
can accommodate the anisotropic degrees of freedom of a Bianchi IX model, plus some inhomoge-
neous degrees of freedom, which can be seen as the lowest modes in a spherical-harmonic expan-
sion, following a technique introduced by Regge and Hu. In this context, a Bohr–Oppenheimer
approximation provides a tool to separate heavy and light degrees of freedom, and extract the
FLRW dynamics. This way of deriving quantum cosmology from LQG is different from the usual
one: in standard loop quantum cosmology, the strategy is to start from a symmetry-reduced
system, and quantize the single or the few degrees of freedom that survive in the symmetry
reduction. Here instead we consider a truncated version of the full quantum theory of gravity,
in the LQG framework, and look for a “cosmological sector” inside the theory.
In Section 3 we have stepped up to a 2-node graphs with arbitrary number of links. This
system provides an immediate application of the U(N) formalism [32]. This formalism is based
on the observation that the LQG Hilbert space of intertwiners with N -legs and fixed area is
an irreducible representation of the group U(N) [53]. The relation is made explicit using the
Learning about Quantum Gravity with a Couple of Nodes 39
Schwinger representation of SU(2). Furthermore, the full state space of N -leg intertwiners can
be endowed with a Fock-space structure, with annihilation and creation operators Fij and F †ij .
In the 2-node graph context, one can define operators eij and fij , that are SU(2) invariant
and consistent with the matching conditions between the intertwiners (ensuring that the spin
number of one leg is the same seen from both nodes). The system has a U(N) global symmetry,
given by a generalization of the matching conditions. The space of the states invariant under
this symmetry is homogeneous and isotropic. This construction defines the homogeneous and
isotropic configurations via a symmetry reduction at the quantum level, and may shed further
light on the relation between Loop Quantum Cosmology and Loop Quantum Gravity. In par-
ticular, the construction leads to the definitions of a nontrivial consistent Hamiltonian operator
for the homogeneous/isotropic sector, which has intriguing mathematical analogies with the
operators used in LQC.
We have also reviewed the classical spinor system whose quantization yields the Hilbert space
of intertwiners of LQG [34, 70]. This framework permits the construct of the classical counterpart
of the U(N) Hamiltonian for the 2-node model, defining an effective classical dynamics for this
system. The equations of motion of this classical system can be solved, and the resulting
dynamics shows analogies with the results of LQC.
In Section 4 we switched to the covariant, or spinfoam, definition of the dynamics. Here the
dynamics isnot defined by a Hamiltonian, but rather directly by a transition amplitude between
two states of the quantum geometry. At the first order in the vertex expansion, this amplitude
factorizes and defines a “wave function of the universe” à la Hartle–Hawking. In the classical
limit, the amplitude turns out to be peaked on the solutions of Einstein equations, that is, In
presence of isotropy and homogeneity, of the Friedmann equation [31]. The model can include
the presence of the cosmological constant [28]. This is obtained by inserting a “face amplitude”
term into the spinfoam amplitude and can be seen as an effective way to include Λ. It is generally
thought that at the fundamental level the cosmological constant should emerge in a quantum
deformed version of the spinfoam theory. Such a quantum deformation should hopefully results
in a term that match with the one that we have heuristically introduced.
The amplitude for homogeneous isotropic states was first computed using the dipole graph,
but, remarkably, the classical limit of the amplitude turns out to be independ on the (regular)
graph chosen [107]. This result supports the viability of the approximation taken by restricting
the theory to a single graph. States of large regular graphs include in principle inhomoge-
neous quantum fluctuations, beyond perturbations techniques as usually utilized in quantum
cosmology.
In closing, we point out three directions where the techniques reviewed here might turn out
to be useful to better understand loop cosmology.
First, the U(N) symmetry provides an elegant way to impose inhomogeneity and anisotropy
and so far the attention has focused on the U(N)-invariant states. Can we go beyond this sec-
tor? Indeed, the action that defines the full classical kinematics and dynamics of spinnetwork
states on the 2-node graph is a nontrivial matrix model defined in terms of the unitary matri-
ces Uα and Uβ, with quartic interaction terms. It would be very interesting to see what kind of
anisotropy does our model describe in the context of loop cosmology.
Second, the relation between the different dynamics defined by standard LQC, by the Hamil-
tonian of the U(N) framework and by the spinfoam amplitude need to be compared in detail.
For this, in particular, he analysis of the spinfoam amplitude should be developed beyond the
semiclassical limit.
Finally, all the analysis reviewed here is in the context of pure gravity, and disregard the
presence of matter. The coupling of fermions and Yang–Mills fields is simple and natural in the
Hilbert space of Loop Quantum Gravity at the kinematical level. In the U(N) approach there
is a direct formulation of this coupling in spinor phase space before quantization.
40 E.F. Borja, I. Garay and F. Vidotto
The coupling of fermions to canonical LQG is well understood [15, 74, 75, 100, 101]. In
the spinfoam approach, the dynamical coupling with fermions and Yang–Mills fields has been
defined recently in [27, 58] and has not yet been much studied. Including matter couplings is
clearly essential for understanding the quantum dynamics of cosmology.
Acknowledgements
This work was in part supported by the Spanish MICINN research grants FIS2008-01980 and
FIS2009-11893. IG is supported by the Department of Education of the Basque Government
under the “Formación de Investigadores” program.
References
[1] Ashtekar A., An introduction to loop quantum gravity through cosmology, Nuovo Cim. B 122 (2007),
135–155, gr-qc/0702030.
[2] Ashtekar A., Lectures on nonperturbative canonical gravity, Advanced Series in Astrophysics and Cosmology,
Vol. 6, World Scientific Publishing Co. Inc., River Edge, NJ, 1991.
[3] Ashtekar A., New variables for classical and quantum gravity, Phys. Rev. Lett. 57 (1986), 2244–2247.
[4] Ashtekar A., Bojowald M., Lewandowski J., Mathematical structure of loop quantum cosmology, Adv. Theor.
Math. Phys. 7 (2003), 233–268, gr-qc/0304074.
[5] Ashtekar A., Corichi A., Singh P., Robustness of key features of loop quantum cosmology, Phys. Rev. D 77
(2008), 024046, 17 pages, arXiv:0710.3565.
[6] Ashtekar A., Lewandowski J., Representation theory of analytic holonomy C∗-algebras, in Knots and Quan-
tum Gravity (Riverside, CA, 1993), Oxford Lecture Ser. Math. Appl., Vol. 1, Oxford Univ. Press, New York,
1994, 21–61, gr-qc/9311010.
[7] Ashtekar A., Lewandowski J., Marolf D., Mourão J., Thiemann T., Coherent state transforms for spaces of
connections, J. Funct. Anal. 135 (1996), 519–551, gr-qc/9412014.
[8] Ashtekar A., Pawlowski T., Singh P., Quantum nature of the big bang, Phys. Rev. Lett. 96 (2006), 141301,
4 pages, gr-qc/0602086.
[9] Ashtekar A., Pawlowski T., Singh P., Quantum nature of the big bang: improved dynamics, Phys. Rev. D
74 (2006), 084003, 23 pages, gr-qc/0607039.
[10] Ashtekar A., Pawlowski T., Singh P., Vandersloot K., Loop quantum cosmology of k = 1 FRW models,
Phys. Rev. D 75 (2007), 024035, 26 pages, gr-qc/0612104.
[11] Ashtekar A., Rovelli C., Smolin L., Weaving a classical metric with quantum threads, Phys. Rev. Lett. 69
(1992), 237–240, hep-th/9203079.
[12] Ashtekar A., Singh P., Loop quantum cosmology: a status report, Classical Quantum Gravity 28 (2011),
213001, 122 pages, arXiv:1108.0893.
[13] Baez J.C., Spin networks in gauge theory, Adv. Math. 117 (1996), 253–272, gr-qc/9411007.
[14] Baez J.C., Spin networks in nonperturbative quantum gravity, in The Interface of Knots and Physics (San
Francisco, CA, 1995), Proc. Sympos. Appl. Math., Vol. 51, Editor L.H. Kauffman, Amer. Math. Soc.,
Providence, RI, 1996, 167–203, gr-qc/9504036.
[15] Baez J.C., Krasnov K.V., Quantization of diffeomorphism-invariant theories with fermions, J. Math. Phys.
39 (1998), 1251–1271, hep-th/9703112.
[16] Bahr B., Dittrich B., (Broken) gauge symmetries and constraints in Regge calculus, Classical Quantum
Gravity 26 (2009), 225011, 34 pages, arXiv:0905.1670.
[17] Bahr B., Dittrich B., Improved and perfect actions in discrete gravity, Phys. Rev. D 80 (2009), 124030,
15 pages, arXiv:0907.4323.
[18] Bahr B., Dittrich B., He S., Coarse graining free theories with gauge symmetries: the linearized case, New J.
Phys. 13 (2011), 045009, 34 pages, arXiv:1011.3667.
[19] Bahr B., Dittrich B., Steinhaus S., Perfect discretization of reparametrization invariant path integrals, Phys.
Rev. D 83 (2011), 105026, 19 pages, arXiv:1101.4775.
http://dx.doi.org/10.1393/ncb/i2007-10351-5
http://arxiv.org/abs/gr-qc/0702030
http://dx.doi.org/10.1103/PhysRevLett.57.2244
http://arxiv.org/abs/gr-qc/0304074
http://dx.doi.org/10.1103/PhysRevD.77.024046
http://arxiv.org/abs/0710.3565
http://arxiv.org/abs/gr-qc/9311010
http://dx.doi.org/10.1006/jfan.1996.0018
http://arxiv.org/abs/gr-qc/9412014
http://dx.doi.org/10.1103/PhysRevLett.96.141301
http://arxiv.org/abs/gr-qc/0602086
http://dx.doi.org/10.1103/PhysRevD.74.084003
http://arxiv.org/abs/gr-qc/0607039
http://dx.doi.org/10.1103/PhysRevD.75.024035
http://arxiv.org/abs/gr-qc/0612104
http://dx.doi.org/10.1103/PhysRevLett.69.237
http://arxiv.org/abs/hep-th/9203079
http://dx.doi.org/10.1088/0264-9381/28/21/213001
http://arxiv.org/abs/1108.0893
http://dx.doi.org/10.1006/aima.1996.0012
http://arxiv.org/abs/gr-qc/9411007
http://arxiv.org/abs/gr-qc/9504036
http://dx.doi.org/10.1063/1.532400
http://arxiv.org/abs/hep-th/9703112
http://dx.doi.org/10.1088/0264-9381/26/22/225011
http://dx.doi.org/10.1088/0264-9381/26/22/225011
http://arxiv.org/abs/0905.1670
http://dx.doi.org/10.1103/PhysRevD.80.124030
http://arxiv.org/abs/0907.4323
http://dx.doi.org/10.1088/1367-2630/13/4/045009
http://dx.doi.org/10.1088/1367-2630/13/4/045009
http://arxiv.org/abs/1011.3667
http://dx.doi.org/10.1103/PhysRevD.83.105026
http://dx.doi.org/10.1103/PhysRevD.83.105026
http://arxiv.org/abs/1101.4775
Learning about Quantum Gravity with a Couple of Nodes 41
[20] Bahr B., Thiemann T., Gauge-invariant coherent states for loop quantum gravity. I. Abelian gauge groups,
Classical Quantum Gravity 26 (2009), 045011, 22 pages, arXiv:0709.4619.
[21] Bahr B., Thiemann T., Gauge-invariant coherent states for loop quantum gravity. II. Non-Abelian gauge
groups, Classical Quantum Gravity 26 (2009), 045012, 45 pages, arXiv:0709.4636.
[22] Barrett J.W., Dowdall R.J., Fairbairn W.J., Hellmann F., Pereira R., Lorentzian spin foam ampli-
tudes: graphical calculus and asymptotics, Classical Quantum Gravity 27 (2010), 165009, 34 pages,
arXiv:0907.2440.
[23] Battisti M.V., Marcianó A., Big bounce in dipole cosmology, Phys. Rev. D 82 (2010), 124060, 5 pages,
arXiv:1010.1258.
[24] Battisti M.V., Marcianò A., Rovelli C., Triangulated loop quantum cosmology: Bianchi IX universe and
inhomogeneous perturbations, Phys. Rev. D 81 (2010), 064019, 16 pages, arXiv:0911.2653.
[25] Bianchi E., Ding Y., Lorentzian spinfoam propagator, arXiv:1109.6538.
[26] Bianchi E., Dona’ P., Speziale S., Polyhedra in loop quantum gravity, Phys. Rev. D 83 (2011), 044035,
17 pages, arXiv:1009.3402.
[27] Bianchi E., Han M., Magliaro E., Perini C., Rovelli C., Wieland W., Spinfoam fermions, arXiv:1012.4719.
[28] Bianchi E., Krajewski T., Rovelli C., Vidotto F., Cosmological constant in spinfoam cosmology, Phys. Rev. D
83 (2011), 104015, 4 pages, arXiv:1101.4049.
[29] Bianchi E., Magliaro E., Perini C., Coherent spin-networks, Phys. Rev. D 82 (2010), 024012, 7 pages,
arXiv:0912.4054.
[30] Bianchi E., Magliaro E., Perini C., Spinfoams in the holomorphic representation, Phys. Rev. D 82 (2010),
124031, 10 pages, arXiv:1004.4550.
[31] Bianchi E., Rovelli C., Vidotto F., Towards spinfoam cosmology, Phys. Rev. D 82 (2010), 084035, 8 pages,
arXiv:1003.3483.
[32] Borja E.F., Dı́az-Polo J., Garay I., Livine E.R., Dynamics for a 2-vertex quantum gravity model, Classical
Quantum Gravity 27 (2010), 235010, 34 pages, arXiv:1006.2451.
[33] Borja E.F., Dı́az-Polo J., Garay I., Livine E.R., U(n) invariant dynamics for a simplified loop quantum
gravity model, arXiv:1012.3832.
[34] Borja E.F., Freidel L., Garay I., Livine E.R., U(N) tools for loop quantum gravity: the return of the spinor,
Classical Quantum Gravity 28 (2011), 055005, 28 pages, arXiv:1010.5451.
[35] Collins P.A., Williams R.M., Dynamics of the Friedmann universe using Regge calculus, Phys. Rev. D 7
(1973), 965–971.
[36] Conrady F., Freidel L., Quantum geometry from phase space reduction, J. Math. Phys. 50 (2009), 123510,
29 pages, arXiv:0902.0351.
[37] Corichi A., Singh P., Is loop quantization in cosmology unique?, Phys. Rev. D 78 (2008), 024034, 13 pages,
arXiv:0805.0136.
[38] Dittrich B., Partial and complete observables for canonical general relativity, Classical Quantum Gravity 23
(2006), 6155–6184, gr-qc/0507106.
[39] Dittrich B., Partial and complete observables for Hamiltonian constrained systems, Gen. Relativity Gravi-
tation 39 (2007), 1891–1927, gr-qc/0411013.
[40] Dittrich B., Tambornino J., Gauge-invariant perturbations around symmetry-reduced sectors of general
relativity: applications to cosmology, Classical Quantum Gravity 24 (2007), 4543–4585, gr-qc/0702093.
[41] Domagala M., Giesel K., Kamiński W., Lewandowski J., Gravity quantized: loop quantum gravity with
a scalar field, Phys. Rev. D 82 (2010), 104038, 13 pages, arXiv:1009.2445.
[42] Dupuis M., Livine E.R., Revisiting the simplicity constraints and coherent intertwiners, Classical Quantum
Gravity 28 (2011), 085001, 36 pages, arXiv:1006.5666.
[43] Dürr S., Fodor Z., Frison J., Hoelbling C., Hoffmann R., Katz S.D., Krieg S., Kurth T., Lellouch L.,
Lippert T., Szabo K.K., Vulvert G., Ab initio determination of light hadron masses, Science 322 (2008),
1224–1227, arXiv:0906.3599.
[44] Engle J., Livine E., Pereira R., Rovelli C., LQG vertex with finite Immirzi parameter, Nuclear Phys. B 799
(2008), 136–149, arXiv:0711.0146.
[45] Engle J., Pereira R., Regularization and finiteness of the Lorentzian loop quantum gravity vertices, Phys.
Rev. D 79 (2009), 084034, 10 pages, arXiv:0805.4696.
http://dx.doi.org/10.1088/0264-9381/26/4/045011
http://arxiv.org/abs/0709.4619
http://dx.doi.org/10.1088/0264-9381/26/4/045012
http://arxiv.org/abs/0709.4636
http://dx.doi.org/10.1088/0264-9381/27/16/165009
http://arxiv.org/abs/0907.2440
http://dx.doi.org/10.1103/PhysRevD.82.124060
http://arxiv.org/abs/1010.1258
http://dx.doi.org/10.1103/PhysRevD.81.064019
http://arxiv.org/abs/0911.2653
http://arxiv.org/abs/1109.6538
http://dx.doi.org/10.1103/PhysRevD.83.044035
http://arxiv.org/abs/1009.3402
http://arxiv.org/abs/1012.4719
http://dx.doi.org/10.1103/PhysRevD.83.104015
http://arxiv.org/abs/1101.4049
http://dx.doi.org/10.1103/PhysRevD.82.024012
http://arxiv.org/abs/0912.4054
http://dx.doi.org/10.1103/PhysRevD.82.124031
http://arxiv.org/abs/1004.4550
http://dx.doi.org/10.1103/PhysRevD.82.084035
http://arxiv.org/abs/1003.3483
http://dx.doi.org/10.1088/0264-9381/27/23/235010
http://dx.doi.org/10.1088/0264-9381/27/23/235010
http://arxiv.org/abs/1006.2451
http://arxiv.org/abs/1012.3832
http://dx.doi.org/10.1088/0264-9381/28/5/055005
http://arxiv.org/abs/1010.5451
http://dx.doi.org/10.1103/PhysRevD.7.965
http://dx.doi.org/10.1063/1.3257109
http://arxiv.org/abs/0902.0351
http://dx.doi.org/10.1103/PhysRevD.78.024034
http://arxiv.org/abs/0805.0136
http://dx.doi.org/10.1088/0264-9381/23/22/006
http://arxiv.org/abs/gr-qc/0507106
http://dx.doi.org/10.1007/s10714-007-0495-2
http://dx.doi.org/10.1007/s10714-007-0495-2
http://arxiv.org/abs/gr-qc/0411013
http://dx.doi.org/10.1088/0264-9381/24/18/001
http://arxiv.org/abs/gr-qc/0702093
http://dx.doi.org/10.1103/PhysRevD.82.104038
http://arxiv.org/abs/1009.2445
http://dx.doi.org/10.1088/0264-9381/28/8/085001
http://dx.doi.org/10.1088/0264-9381/28/8/085001
http://arxiv.org/abs/1006.5666
http://dx.doi.org/10.1126/science.1163233
http://arxiv.org/abs/0906.3599
http://dx.doi.org/10.1016/j.nuclphysb.2008.02.018
http://arxiv.org/abs/0711.0146
http://dx.doi.org/10.1103/PhysRevD.79.084034
http://dx.doi.org/10.1103/PhysRevD.79.084034
http://arxiv.org/abs/0805.4696
42 E.F. Borja, I. Garay and F. Vidotto
[46] Engle J., Pereira R., Rovelli C., Flipped spinfoam vertex and loop gravity, Nuclear Phys. B 798 (2008),
251–290, arXiv:0708.1236.
[47] Engle J., Pereira R., Rovelli C., Loop-quantum-gravity vertex amplitude, Phys. Rev. Lett. 99 (2007), 161301,
4 pages, arXiv:0705.2388.
[48] Fleischhack C., Irreducibility of the Weyl algebra in loop quantum gravity, Phys. Rev. Lett. 97 (2006),
061302, 4 pages.
[49] Flori C., Semiclassical analysis of the loop quantum gravity volume operator: area coherent states,
arXiv:0904.1303.
[50] Flori C., Thiemann T., Semiclassical analysis of the loop quantum gravity volume operator. I. Flux coherent
states, arXiv:0812.1537.
[51] Freidel L., Krasnov K., A new spin foam model for 4D gravity, Classical Quantum Gravity 25 (2008), 125018,
36 pages, arXiv:0708.1595.
[52] Freidel L., Krasnov K., Livine E.R., Holomorphic factorization for a quantum tetrahedron, Comm. Math.
Phys. 297 (2010), 45–93, arXiv:0905.3627.
[53] Freidel L., Livine E.R., The fine structure of SU(2) intertwiners from U(N) representations, J. Math. Phys.
51 (2010), 082502, 19 pages, arXiv:0911.3553.
[54] Freidel L., Livine E.R., U(N) coherent states for loop quantum gravity, J. Math. Phys. 52 (2011), 052502,
21 pages, arXiv:1005.2090.
[55] Freidel L., Speziale S., Twisted geometries: a geometric parametrization of SU(2) phase space, Phys. Rev. D
82 (2010), 084040, 16 pages, arXiv:1001.2748.
[56] Freidel L., Speziale S., Twistors to twisted geometries, Phys. Rev. D 82 (2010), 084041, 5 pages,
arXiv:1006.0199.
[57] Girelli F., Livine E.R., Reconstructing quantum geometry from quantum information: spin networks as
harmonic oscillators, Classical Quantum Gravity 22 (2005), 3295–3313, gr-qc/0501075.
[58] Han M., Rovelli C., Spinfoam fermions: PCT symmetry, Dirac determinant, and correlation functions,
arXiv:1101.3264.
[59] Hartle J.B., Hawking S.W., Wave function of the universe, Phys. Rev. D 28 (1983), 2960–2975.
[60] Hellmann F., Expansions in spin foam cosmology, Phys. Rev. D 84 (2011), 103516, 9 pages, arXiv:1105.1334.
[61] Hu B.L., Regge T., Perturbations on the mixmaster universe, Phys. Rev. Lett. 29 (1972), 1616–1620.
[62] Iwasaki J., Rovelli C., Gravitons as embroidery on the weave, Internat. J. Modern Phys. D 1 (1992), 533–557.
[63] Kamiński W., Kisielowski M., Lewandowski J., Spin-foams for all loop quantum gravity, Classical Quantum
Gravity 27 (2010), 095006, 24 pages, arXiv:0909.0939.
[64] Kamiński W., Lewandowski J., Paw lowski T., Physical time and other conceptual issues of quantum grav-
ity on the example of loop quantum cosmology, Classical Quantum Gravity 26 (2009), 035012, 20 pages,
arXiv:0809.2590.
[65] Kisielowski M., Lewandowski J., Puchta J., Feynman diagrammatic approach to spin foams, arXiv:1107.5185.
[66] Krajewski T., Magnen J., Rivasseau V., Tanasa A., Vitale P., Quantum corrections in the group field theory
formulation of the Engle–Pereira–Rovelli–Livine and Freidel–Krasnov models, Phys. Rev. D 82 (2010),
124069, 20 pages, arXiv:1007.3150.
[67] Lewandowski J., Oko lów A., Sahlmann H., Thiemann T., Uniqueness of diffeomorphism invariant states on
holonomy-flux algebras, Comm. Math. Phys. 267 (2006), 703–733, gr-qc/0504147.
[68] Livine E.R., Mart́ın-Benito M., Classical setting and effective dynamics for spinfoam cosmology,
arXiv:1111.2867.
[69] Livine E.R., Speziale S., New spinfoam vertex for quantum gravity, Phys. Rev. D 76 (2007), 084028, 14 pages,
arXiv:0705.0674.
[70] Livine E.R., Tambornino J., Spinor representation for loop quantum gravity, J. Math. Phys. 53 (2012),
012503, 33 pages, arXiv:1105.3385.
[71] Magliaro E., Marcianó A., Perini C., Coherent states for FLRW space-times in loop quantum gravity, Phys.
Rev. D 83 (2011), 044029, 9 pages, arXiv:1011.5676.
[72] Magliaro E., Perini C., Local spin foams, arXiv:1010.5227.
[73] Magliaro E., Perini C., Regge gravity from spinfoams, arXiv:1105.0216.
http://dx.doi.org/10.1016/j.nuclphysb.2008.02.002
http://arxiv.org/abs/0708.1236
http://dx.doi.org/10.1103/PhysRevLett.99.161301
http://arxiv.org/abs/0705.2388
http://dx.doi.org/10.1103/PhysRevLett.97.061302
http://arxiv.org/abs/0904.1303
http://arxiv.org/abs/0812.1537
http://dx.doi.org/10.1088/0264-9381/25/12/125018
http://arxiv.org/abs/0708.1595
http://dx.doi.org/10.1007/s00220-010-1036-5
http://dx.doi.org/10.1007/s00220-010-1036-5
http://arxiv.org/abs/0905.3627
http://dx.doi.org/10.1063/1.3473786
http://arxiv.org/abs/0911.3553
http://dx.doi.org/10.1063/1.3587121
http://arxiv.org/abs/1005.2090
http://dx.doi.org/10.1103/PhysRevD.82.084040
http://arxiv.org/abs/1001.2748
http://dx.doi.org/10.1103/PhysRevD.82.084041
http://arxiv.org/abs/1006.0199
http://dx.doi.org/10.1088/0264-9381/22/16/011
http://arxiv.org/abs/gr-qc/0501075
http://arxiv.org/abs/1101.3264
http://dx.doi.org/10.1103/PhysRevD.28.2960
http://dx.doi.org/10.1103/PhysRevD.84.103516
http://arxiv.org/abs/1105.1334
http://dx.doi.org/10.1103/PhysRevLett.29.1616
http://dx.doi.org/10.1142/S0218271892000264
http://dx.doi.org/10.1088/0264-9381/27/9/095006
http://dx.doi.org/10.1088/0264-9381/27/9/095006
http://arxiv.org/abs/0909.0939
http://dx.doi.org/10.1088/0264-9381/26/3/035012
http://arxiv.org/abs/0809.2590
http://arxiv.org/abs/1107.5185
http://dx.doi.org/10.1103/PhysRevD.82.124069
http://arxiv.org/abs/1007.3150
http://dx.doi.org/10.1007/s00220-006-0100-7
http://arxiv.org/abs/gr-qc/0504147
http://arxiv.org/abs/1111.2867
http://dx.doi.org/10.1103/PhysRevD.76.084028
http://arxiv.org/abs/0705.0674
http://dx.doi.org/10.1063/1.3675465
http://arxiv.org/abs/1105.3385
http://dx.doi.org/10.1103/PhysRevD.83.044029
http://dx.doi.org/10.1103/PhysRevD.83.044029
http://arxiv.org/abs/1011.5676
http://arxiv.org/abs/1010.5227
http://arxiv.org/abs/1105.0216
Learning about Quantum Gravity with a Couple of Nodes 43
[74] Morales-Técotl H.A., Rovelli C., Fermions in quantum gravity, Phys. Rev. Lett. 72 (1994), 3642–3645,
gr-qc/9401011.
[75] Morales-Técotl H.A., Rovelli C., Loop space representation of quantum fermions and gravity, Nuclear
Phys. B 451 (1995), 325–361.
[76] Penrose R., Applications of negative dimensional tensors, in Combinatorial Mathematics and its Applications
(Oxford, 1969), Academic Press, London, 1971, 221–244.
[77] Pereira R., Lorentzian loop quantum gravity vertex amplitude, Classical Quantum Gravity 25 (2008),
085013, 8 pages, arXiv:0710.5043.
[78] Perinia C., Rovellia C., Speziale S., Self-energy and vertex radiative corrections in LQG, Phys. Lett. B 682
(2009), 78–84, arXiv:0810.1714.
[79] Regge T., General relativity without coordinates, Nuovo Cim. 19 (1961), 558–571.
[80] Röken C., Private communication, 2012.
[81] Rovelli C., A new look at loop quantum gravity, Classical Quantum Gravity 28 (2011), 114005, 24 pages,
arXiv:1004.1780.
[82] Rovelli C., Discretizing parametrized systems: the magic of Ditt-invariance, arXiv:1107.2310.
[83] Rovelli C., On the structure of a background independent quantum theory: Hamilton function, transition
amplitudes, classical limit and continuous limit, arXiv:1108.0832.
[84] Rovelli C., Partial observables, Phys. Rev. D 65 (2002), 124013, 8 pages, gr-qc/0110035.
[85] Rovelli C., Quantum gravity, Cambridge Monographs on Mathematical Physics, Cambridge University Press,
Cambridge, 2004.
[86] Rovelli C., Quantum reference systems, Classical Quantum Gravity 8 (1991), 317–331.
[87] Rovelli C., Simple model for quantum general relativity from loop quantum gravity, J. Phys. Conf. Ser. 314
(2011), 012006, 12 pages, arXiv:1010.1939.
[88] Rovelli C., What is observable in classical and quantum gravity?, Classical Quantum Gravity 8 (1991),
297–316.
[89] Rovelli C., Zakopane lectures on loop gravity, arXiv:1102.3660.
[90] Rovelli C., Smolin L., Knot theory and quantum gravity, Phys. Rev. Lett. 61 (1988), 1155–1158.
[91] Rovelli C., Smolin L., Loop space representation of quantum general relativity, Nuclear Phys. B 331 (1990),
80–152.
[92] Rovelli C., Smolin L., Spin networks and quantum gravity, Phys. Rev. D 52 (1995), 5743–5759,
gr-qc/9505006.
[93] Rovelli C., Smolin L., The physical Hamiltonian in nonperturbative quantum gravity, Phys. Rev. Lett. 72
(1994), 446–449, gr-qc/9308002.
[94] Rovelli C., Speziale S., Geometry of loop quantum gravity on a graph, Phys. Rev. D 82 (2010), 044018,
6 pages, arXiv:1005.2927.
[95] Rovelli C., Speziale S., Lorentz covariance of loop quantum gravity, Phys. Rev. D 83 (2011), 104029, 6 pages,
arXiv:1012.1739.
[96] Rovelli C., Vidotto F., Stepping out of homogeneity in loop quantum cosmology, Classical Quantum Gravity
25 (2008), 225024, 16 pages, arXiv:0805.4585.
[97] Sahlmann H., Thiemann T., Winkler O., Coherent states for canonical quantum general relativity and the
infinite tensor product extension, Nuclear Phys. B 606 (2001), 401–440, gr-qc/0102038.
[98] Thiemann T., Complexifier coherent states for quantum general relativity, Classical Quantum Gravity 23
(2006), 2063–2117, gr-qc/0206037.
[99] Thiemann T., Gauge field theory coherent states (GCS). I. General properties, Classical Quantum Gravity
18 (2001), 2025–2064, hep-th/0005233.
[100] Thiemann T., Introduction to modern canonical quantum general relativity, gr-qc/0110034.
[101] Thiemann T., Lectures on loop quantum gravity, in Quantum gravity, Lecture Notes in Phys., Vol. 631,
Springer, Berlin, 2003, 41–135, gr-qc/0210094.
[102] Thiemann T., Modern canonical quantum general relativity, Cambridge Monographs on Mathematical
Physics, Cambridge University Press, Cambridge, 2007.
http://dx.doi.org/10.1103/PhysRevLett.72.3642
http://arxiv.org/abs/gr-qc/9401011
http://dx.doi.org/10.1016/0550-3213(95)00343-Q
http://dx.doi.org/10.1016/0550-3213(95)00343-Q
http://dx.doi.org/10.1088/0264-9381/25/8/085013
http://arxiv.org/abs/0710.5043
http://dx.doi.org/10.1016/j.physletb.2009.10.076
http://arxiv.org/abs/0810.1714
http://dx.doi.org/10.1007/BF02733251
http://dx.doi.org/10.1088/0264-9381/28/11/114005
http://arxiv.org/abs/1004.1780
http://arxiv.org/abs/1107.2310
http://arxiv.org/abs/1108.0832
http://dx.doi.org/10.1103/PhysRevD.65.124013
http://arxiv.org/abs/gr-qc/0110035
http://dx.doi.org/10.1017/CBO9780511755804
http://dx.doi.org/10.1088/0264-9381/8/2/012
http://dx.doi.org/10.1088/1742-6596/314/1/012006
http://arxiv.org/abs/1010.1939
http://dx.doi.org/10.1088/0264-9381/8/2/011
http://arxiv.org/abs/1102.3660
http://dx.doi.org/10.1103/PhysRevLett.61.1155
http://dx.doi.org/10.1016/0550-3213(90)90019-A
http://dx.doi.org/10.1103/PhysRevD.52.5743
http://arxiv.org/abs/gr-qc/9505006
http://dx.doi.org/10.1103/PhysRevLett.72.446
http://arxiv.org/abs/gr-qc/9308002
http://dx.doi.org/10.1103/PhysRevD.82.044018
http://arxiv.org/abs/1005.2927
http://dx.doi.org/10.1103/PhysRevD.83.104029
http://arxiv.org/abs/1012.1739
http://dx.doi.org/10.1088/0264-9381/25/22/225024
http://arxiv.org/abs/0805.4585
http://dx.doi.org/10.1016/S0550-3213(01)00226-7
http://arxiv.org/abs/gr-qc/0102038
http://dx.doi.org/10.1088/0264-9381/23/6/013
http://arxiv.org/abs/gr-qc/0206037
http://dx.doi.org/10.1088/0264-9381/18/11/304
http://arxiv.org/abs/hep-th/0005233
http://arxiv.org/abs/gr-qc/0110034
http://arxiv.org/abs/gr-qc/0210094
http://dx.doi.org/10.1017/CBO9780511755682
http://dx.doi.org/10.1017/CBO9780511755682
44 E.F. Borja, I. Garay and F. Vidotto
[103] Thiemann T., Quantum spin dynamics (QSD), Classical Quantum Gravity 15 (1998), 839–873,
gr-qc/9606089.
[104] Thiemann T., Winkler O., Gauge field theory coherent states (GCS). II. Peakedness properties, Classical
Quantum Gravity 18 (2001), 2561–2636, hep-th/0005237.
[105] Thiemann T., Winkler O., Gauge field theory coherent states (GCS). III. Ehrenfest theorems, Classical
Quantum Gravity 18 (2001), 4629–4681, hep-th/0005234.
[106] Thiemann T., Winkler O., Gauge field theory coherent states (GCS). IV. Infinite tensor product and
thermodynamical limit, Classical Quantum Gravity 18 (2001), 4997–5053, hep-th/0005235.
[107] Vidotto F., Many-node/many-link spinfoam: the homogeneous and isotropic case, Classical Quantum Gra-
vity 28 (2011), 245005, 11 pages, arXiv:1107.2633.
[108] Vidotto F., Spinfoam cosmology, J. Phys. Conf. Ser. 314 (2011), 012049, 4 pages, arXiv:1011.4705.
[109] Wilson-Ewing E., Loop quantum cosmology of Bianchi type IX models, Phys. Rev. D 82 (2010), 043508,
13 pages, arXiv:1005.5565.
http://dx.doi.org/10.1088/0264-9381/15/4/011
http://arxiv.org/abs/gr-qc/9606089
http://dx.doi.org/10.1088/0264-9381/18/14/301
http://dx.doi.org/10.1088/0264-9381/18/14/301
http://arxiv.org/abs/hep-th/0005237
http://dx.doi.org/10.1088/0264-9381/18/21/315
http://dx.doi.org/10.1088/0264-9381/18/21/315
http://arxiv.org/abs/hep-th/0005234
http://dx.doi.org/10.1088/0264-9381/18/23/302
http://arxiv.org/abs/hep-th/0005235
http://dx.doi.org/10.1088/0264-9381/28/24/245005
http://dx.doi.org/10.1088/0264-9381/28/24/245005
http://arxiv.org/abs/1107.2633
http://dx.doi.org/10.1088/1742-6596/314/1/012049
http://arxiv.org/abs/1011.4705
http://dx.doi.org/10.1103/PhysRevD.82.043508
http://arxiv.org/abs/1005.5565
1 Introduction to few-nodes models
1.1 Why graphs?
1.2 Doing physics with few nodes
1.3 The cosmological interpretation
2 The Hamiltonian dipole
2.1 LQG phase space
2.2 Dipole cosmology
2.2.1 Born-Oppenheimer approximation and LQC
2.2.2 Anisotropies and inhomogeneities
3 The U(N) framework
3.1 Introduction to the U(N) framework
3.2 Hilbert space for the 2-node model
3.3 Symmetry reduction and cosmological analogies
3.4 Dynamics for the 2-node model
3.4.1 The algebra of U(N) invariant operators
3.4.2 The Hamiltonian
3.5 Classical setting: formulation of the 2-node model in terms of spinors
3.5.1 Spinors and notation
3.5.2 Phase space and quantization
3.5.3 Action principle
3.5.4 Effective dynamics for the 2-node graph
4 The covariant few-node model
4.1 Brief introduction to spinfoam theory
4.1.1 Coherent states
4.1.2 Vertex amplitude
4.2 Homogeneous and isotropic geometry
4.3 Graph independence and 2-node model
4.3.1 Covariant U(N) framework
5 Summary
References
|
| id | nasplib_isofts_kiev_ua-123456789-148405 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2025-12-07T16:44:51Z |
| publishDate | 2012 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Borja, E.F. Garay, I. Vidotto, F. 2019-02-18T11:41:45Z 2019-02-18T11:41:45Z 2012 Learning about Quantum Gravity with a Couple of Nodes / E.F. Borja, I. Garay, F. Vidotto // Symmetry, Integrability and Geometry: Methods and Applications. — 2012. — Т. 8. — Бібліогр.: 109 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 83C27; 83C45; 83C60; 83F05 DOI: http://dx.doi.org/10.3842/SIGMA.2012.015 https://nasplib.isofts.kiev.ua/handle/123456789/148405 Loop Quantum Gravity provides a natural truncation of the infinite degrees of freedom of gravity, obtained by studying the theory on a given finite graph. We review this procedure and we present the construction of the canonical theory on a simple graph, formed by only two nodes. We review the U(N) framework, which provides a powerful tool for the canonical study of this model, and a formulation of the system based on spinors. We consider also the covariant theory, which permits to derive the model from a more complex formulation, paying special attention to the cosmological interpretation of the theory. This paper is a contribution to the Special Issue “Loop Quantum Gravity and Cosmology”. The full collection is available at http://www.emis.de/journals/SIGMA/LQGC.html.
 This work was in part supported by the Spanish MICINN research grants FIS2008-01980 and FIS2009-11893. IG is supported by the Department of Education of the Basque Government under the “Formaci´on de Investigadores” program. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Learning about Quantum Gravity with a Couple of Nodes Article published earlier |
| spellingShingle | Learning about Quantum Gravity with a Couple of Nodes Borja, E.F. Garay, I. Vidotto, F. |
| title | Learning about Quantum Gravity with a Couple of Nodes |
| title_full | Learning about Quantum Gravity with a Couple of Nodes |
| title_fullStr | Learning about Quantum Gravity with a Couple of Nodes |
| title_full_unstemmed | Learning about Quantum Gravity with a Couple of Nodes |
| title_short | Learning about Quantum Gravity with a Couple of Nodes |
| title_sort | learning about quantum gravity with a couple of nodes |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/148405 |
| work_keys_str_mv | AT borjaef learningaboutquantumgravitywithacoupleofnodes AT garayi learningaboutquantumgravitywithacoupleofnodes AT vidottof learningaboutquantumgravitywithacoupleofnodes |