View source for Physics:Loop quantum gravity

{{Short description|Theory of quantum gravity, merging quantum mechanics and general relativity}}


{{Beyond the Standard Model|expanded=[[Physics:Quantum gravity|Quantum gravity]]}}

'''Loop quantum gravity''' ('''LQG''') is a theory of [[Physics:Quantum gravity|quantum gravity]] that incorporates matter of the [[Physics:Standard Model|Standard Model]] into the framework established for the intrinsic quantum gravity case. It is an attempt to develop a quantum theory of gravity based directly on Albert Einstein's geometric formulation rather than the treatment of gravity as a mysterious mechanism (force). As a theory, LQG postulates that the structure of [[Physics:Spacetime|space and time]] is composed of finite loops woven into an extremely fine fabric or network. These networks of loops are called [[Physics:Spin network|spin network]]s. The evolution of a spin network, or [[Physics:Spin foam|spin foam]], has a scale above the order of a [[Planck length]], approximately 10<sup>−35</sup> meters, and smaller scales are meaningless. Consequently, not just matter, but space itself, prefers an atomic structure.

The areas of research, which involve about 30 research groups worldwide,{{sfn|Rovelli|2008}} share the basic physical assumptions and the mathematical description of quantum space. Research has evolved in two directions: the more traditional canonical loop quantum gravity, and the newer covariant loop quantum gravity, called [[Physics:Spin foam|spin foam]] theory. The most well-developed theory that has been advanced as a direct result of loop quantum gravity is called [[Astronomy:Loop quantum cosmology|loop quantum cosmology]] (LQC). LQC advances the study of the early universe, incorporating the concept of the [[Astronomy:Big Bang|Big Bang]] into the broader theory of the [[Astronomy:Big Bounce|Big Bounce]], which envisions the Big Bang as the beginning of a [[Physics:Metric expansion of space|period of expansion]] that follows a period of contraction, which has been described as the ''[[Astronomy:Big Crunch|Big Crunch]].''

== History ==
{{main|Physics:History of loop quantum gravity}}

In 1986, Abhay Ashtekar reformulated Einstein's general relativity in a language closer to that of the rest of fundamental physics, specifically [[Yang–Mills theory]].<ref>{{cite journal |last1=Ashtekar |first1=Abhay |title=New Variables for Classical and Quantum Gravity |journal=Physical Review Letters |date=3 November 1986 |volume=57 |issue=18 |pages=2244–2247 |doi=10.1103/PhysRevLett.57.2244 |pmid=10033673 |bibcode=1986PhRvL..57.2244A |url=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.57.2244}}</ref> Shortly after, [[Biography:Ted Jacobson|Ted Jacobson]] and [[Biography:Lee Smolin|Lee Smolin]] realized that the formal equation of quantum gravity, called the [[Wheeler–DeWitt equation]], admitted solutions labelled by loops when rewritten in the new [[Physics:Ashtekar variables|Ashtekar variables]]. [[Biography:Carlo Rovelli|Carlo Rovelli]] and Smolin defined a nonperturbative and background-independent quantum theory of gravity in terms of these loop solutions. [[Biography:Jorge Pullin|Jorge Pullin]] and [[Biography:Jerzy Lewandowski|Jerzy Lewandowski]] understood that the intersections of the loops are essential for the consistency of the theory, and the theory should be formulated in terms of intersecting loops, or [[Graph (discrete mathematics)|graphs]].

In 1994, Rovelli and Smolin showed that the quantum [[Physics:Operator|operators]] of the theory associated to area and volume have a discrete spectrum.<ref>{{cite journal |title = Discreteness of area and volume in quantum gravity |last1 = Rovelli |first1 = Carlo |last2 = Smolin |first2 = Lee |journal = Nuclear Physics B |year = 1995 |volume = 442 |issue = 3 |pages = 593–619 |doi = 10.1016/0550-3213(95)00150-Q|arxiv = gr-qc/9411005 }}</ref> That is, geometry is quantized. This result defines an explicit basis of states of quantum geometry, which turned out to be labelled by [[Biography:Roger Penrose|Roger Penrose]]'s [[Physics:Spin network|spin network]]s, which are [[Graph (discrete mathematics)|graphs]] labelled by [[Physics:Spin|spins]].

The canonical version of the dynamics was established by Thomas Thiemann, who defined an anomaly-free [[Physics:Hamiltonian (quantum mechanics)|Hamiltonian]] operator and showed the existence of a mathematically consistent background-independent theory. The covariant, or "spin foam", version of the dynamics was developed jointly over several decades by research groups in France, Canada, UK, Poland, and Germany. It was completed in 2008, leading to the definition of a family of transition amplitudes, which in the [[Physics:Classical limit|classical limit]] can be shown to be related to a family of truncations of general relativity.{{sfn|Rovelli|2011}} The finiteness of these amplitudes was proven in 2011.{{sfn|Muxin|2011|p=064010}}{{sfn|Fairbairn|Meusburger|2011}} It requires the existence of a positive [[Astronomy:Cosmological constant|cosmological constant]], which is consistent with observed acceleration in the expansion of the Universe.

== Background independence ==

LQG is formally [[Physics:Background independence|background independent]], meaning the equations of LQG are not embedded in, or dependent on, space and time (except for its invariant topology). Instead, they are expected to give rise to space and time at distances which are 10 times the [[Planck length]]. The issue of background independence in LQG still has some unresolved subtleties. For example, some derivations require a fixed choice of the [[Topology|topology]], while any consistent quantum theory of gravity should include topology change as a dynamical process.{{Citation needed|date=July 2021}}

Space-time as a "container" over which physics takes place has no objective physical meaning and instead the gravitational interaction is represented as just one of the fields forming the world. This is known as the relationalist interpretation of space-time. In LQG this aspect of [[Physics:General relativity|general relativity]] is taken seriously and this symmetry is preserved by requiring that the physical states remain invariant under the generators of [[Diffeomorphism|diffeomorphism]]s. The interpretation of this condition is well understood for purely spatial [[Diffeomorphism|diffeomorphism]]s. However, the understanding of diffeomorphisms involving time (the [[Physics:Hamiltonian constraint|Hamiltonian constraint]]) is more subtle because it is related to [[Physics:Relativistic dynamics|dynamics]] and the so-called "[[Physics:Problem of time|problem of time]]" in general relativity.{{sfn|Kauffman|Smolin|1997}} A generally accepted calculational framework to account for this constraint has yet to be found.{{sfn|Smolin|2006|pp=196''ff''}}{{sfn|Rovelli|2004|pp=13ff}} A plausible candidate for the quantum Hamiltonian constraint is the operator introduced by Thiemann.{{sfn|Thiemann|1996|pp=257–264}}

== Constraints and their Poisson bracket algebra ==
{{main|Physics:Poisson bracket|Physics:Hamiltonian constraint}}

=== Dirac observables ===
The constraints define a constraint surface in the original phase space. The [[Physics:Gauge theory|gauge]] motions of the constraints apply to all phase space but have the feature that they leave the constraint surface where it is, and thus the orbit of a point in the hypersurface under gauge transformations will be an orbit entirely within it. Dirac observables are defined as [[Physics:Phase space|phase space]] functions, <math>O</math>, that Poisson commute with all the constraints when the constraint equations are imposed,

:<math>\{ G_j , O \}_{G_j=C_a=H = 0} = \{ C_a , O \}_{G_j=C_a=H = 0} = \{ H , O \}_{G_j=C_a=H = 0} = 0,</math>

that is, they are quantities defined on the constraint surface that are invariant under the gauge transformations of the theory.

Then, solving only the constraint <math>G_j = 0</math> and determining the Dirac observables with respect to it leads us back to the [[Physics:ADM formalism|Arnowitt–Deser–Misner (ADM) phase space]] with constraints <math>H, C_a</math>. The dynamics of general relativity is generated by the constraints, it can be shown that six Einstein equations describing time evolution (really a gauge transformation) can be obtained by calculating the Poisson brackets of the three-metric and its conjugate momentum with a linear combination of the spatial diffeomorphism and Hamiltonian constraint. The vanishing of the constraints, giving the physical phase space, are the four other Einstein equations.{{sfn|Baez|de Muniain|1994|loc=Part III, chapter 4}}

== Quantization of the constraints – the equations of quantum general relativity ==
=== Pre-history and Ashtekar new variables ===
{{main|Physics:Frame fields in general relativity| Physics:Ashtekar variables| Physics:Self-dual Palatini action}}
Many of the technical problems in canonical quantum gravity revolve around the constraints. Canonical general relativity was originally formulated in terms of metric variables, but there seemed to be insurmountable mathematical difficulties in promoting the constraints to quantum operators because of their highly non-linear dependence on the canonical variables. The equations were much simplified with the introduction of Ashtekar's new variables. Ashtekar variables describe canonical general relativity in terms of a new pair of canonical variables closer to those of gauge theories. The first step consists of using densitized triads <math>\tilde{E}_i^a</math> (a triad <math>E_i^a</math> is simply three orthogonal vector fields labeled by <math>i = 1,2,3</math> and the densitized triad is defined by <math display="inline">\tilde{E}_i^a = \sqrt{\det (q)} E_i^a</math>) to encode information about the spatial metric,

:<math>\det(q) q^{ab} = \tilde{E}_i^a \tilde{E}_j^b \delta^{ij}.</math>

(where <math>\delta^{ij}</math> is the flat space metric, and the above equation expresses that <math>q^{ab}</math>, when written in terms of the basis <math>E_i^a</math>, is locally flat). (Formulating general relativity with triads instead of metrics was not new.) The densitized triads are not unique, and in fact one can perform a local in space [[Physics:Rotation|rotation]] with respect to the internal indices <math>i</math>. The canonically conjugate variable is related to the extrinsic curvature by <math display="inline">K_a^i = K_{ab} \tilde{E}^{ai} / \sqrt{\det (q)}</math>. But problems similar to using the metric formulation arise when one tries to quantize the theory. Ashtekar's new insight was to introduce a new configuration variable,

<math>A_a^i = \Gamma_a^i - i K_a^i</math>

that behaves as a complex <math>\operatorname{SU}(2)</math> connection where <math>\Gamma_a^i</math> is related to the so-called [[Spin connection|spin connection]] via <math>\Gamma_a^i = \Gamma_{ajk} \epsilon^{jki}</math>. Here <math>A_a^i</math> is called the chiral spin connection. It defines a covariant derivative <math>\mathcal{D}_a</math>. It turns out that <math>\tilde{E}^a_i</math> is the conjugate momentum of <math>A_a^i</math>, and together these form Ashtekar's new variables.

The expressions for the constraints in Ashtekar variables; Gauss's theorem, the spatial diffeomorphism constraint and the (densitized) Hamiltonian constraint then read:

:<math>G^i = \mathcal{D}_a \tilde{E}_i^a = 0</math>

:<math>C_a = \tilde{E}_i^b F^i_{ab} - A_a^i (\mathcal{D}_b \tilde{E}_i^b) = V_a - A_a^i G^i = 0,</math>

:<math>\tilde{H} = \epsilon_{ijk} \tilde{E}_i^a \tilde{E}_j^b F^k_{ab} = 0</math>

respectively, where <math>F^i_{ab}</math> is the field strength tensor of the connection <math>A_a^i</math> and where <math>V_a</math> is referred to as the vector constraint. The above-mentioned local in space rotational invariance is the original of the <math>\operatorname{SU}(2)</math> gauge invariance here expressed by Gauss's theorem. Note that these constraints are polynomial in the fundamental variables, unlike the constraints in the metric formulation. This dramatic simplification seemed to open up the way to quantizing the constraints. (See the article [[Physics:Self-dual Palatini action|Self-dual Palatini action]] for a derivation of Ashtekar's formalism).

With Ashtekar's new variables, given the configuration variable <math>A^i_a</math>, it is natural to consider wavefunctions <math>\Psi (A^i_a)</math>. This is the connection representation. It is analogous to ordinary quantum mechanics with configuration variable <math>q</math> and wavefunctions <math>\psi (q)</math>. The configuration variable gets promoted to a quantum operator via:

:<math>\hat{A}_a^i \Psi (A) = A_a^i \Psi (A),</math>

(analogous to <math>\hat{q} \psi (q) = q \psi (q)</math>) and the triads are (functional) derivatives,

:<math>\hat{\tilde{E_i^a}} \Psi (A) = - i {\delta \Psi (A) \over \delta A_a^i}.</math>

(analogous to <math>\hat{p} \psi (q) = -i \hbar d \psi (q) / dq</math>). In passing over to the quantum theory the constraints become operators on a kinematic Hilbert space (the unconstrained <math>\operatorname{SU}(2)</math> Yang–Mills Hilbert space). Note that different ordering of the <math>A</math>'s and <math>\tilde{E}</math>'s when replacing the <math>\tilde{E}</math>'s with derivatives give rise to different operators – the choice made is called the factor ordering and should be chosen via physical reasoning. Formally they read

:<math>\hat{G}_j \vert\psi \rangle = 0</math>

:<math>\hat{C}_a \vert\psi \rangle = 0</math>

:<math>\hat{\tilde{H}} \vert\psi \rangle = 0.</math>

There are still problems in properly defining all these equations and solving them. For example, the Hamiltonian constraint Ashtekar worked with was the densitized version instead of the original Hamiltonian, that is, he worked with <math display="inline">\tilde{H} = \sqrt{\det (q)} H</math>. There were serious difficulties in promoting this quantity to a quantum operator. Moreover, although Ashtekar variables had the virtue of simplifying the Hamiltonian, they are complex. When one quantizes the theory, it is difficult to ensure that one recovers real general relativity as opposed to complex general relativity.

=== Quantum constraints as the equations of quantum general relativity ===
The classical result of the Poisson bracket of the smeared Gauss' law <math display="inline">G(\lambda) = \int d^3x \lambda^j (D_a E^a)^j</math> with the connections is

:<math>\{ G(\lambda), A_a^i \} = \partial_a \lambda^i + g \epsilon^{ijk} A_a^j \lambda^k = (D_a \lambda)^i.</math>

The quantum Gauss' law reads

:<math>\hat{G}_j \Psi (A) = - i D_a {\delta \lambda \Psi [A] \over \delta A_a^j} = 0.</math>

If one smears the quantum Gauss' law and study its action on the quantum state one finds that the action of the constraint on the quantum state is equivalent to shifting the argument of <math>\Psi</math> by an infinitesimal (in the sense of the parameter <math>\lambda</math> small) gauge transformation,

:<math>\left [ 1 + \int d^3x \lambda^j (x) \hat{G}_j \right] \Psi (A) = \Psi [A + D \lambda] = \Psi [A],</math>

and the last identity comes from the fact that the constraint annihilates the state. So the constraint, as a quantum operator, is imposing the same symmetry that its vanishing imposed classically: it is telling us that the functions <math>\Psi [A]</math> have to be gauge invariant functions of the connection. The same idea is true for the other constraints.

Therefore, the two step process in the classical theory of solving the constraints <math>C_I = 0</math> (equivalent to solving the admissibility conditions for the initial data) and looking for the gauge orbits (solving the 'evolution' equations) is replaced by a one step process in the quantum theory, namely looking for solutions <math>\Psi</math> of the quantum equations <math>\hat{C}_I \Psi = 0</math>. This is because it obviously solves the constraint at the quantum level and it simultaneously looks for states that are gauge invariant because <math>\hat{C}_I</math> is the quantum generator of gauge transformations (gauge invariant functions are constant along the gauge orbits and thus characterize them).{{sfn|Thiemann|2003|pp=41–135}} Recall that, at the classical level, solving the admissibility conditions and evolution equations was equivalent to solving all of Einstein's field equations, this underlines the central role of the quantum constraint equations in canonical quantum gravity.

=== Introduction of the loop representation ===
{{main| Holonomy| Physics:Wilson loop| Knot invariant}}
It was in particular the inability to have good control over the space of solutions to Gauss's law and spatial diffeomorphism constraints that led Rovelli and Smolin to consider the loop representation in gauge theories and quantum gravity.{{sfn|Rovelli|Smolin|1988|pp=1155–1958}}

LQG includes the concept of a [[Holonomy|holonomy]]. A holonomy is a measure of how much the initial and final values of a spinor or vector differ after [[Parallel transport|parallel transport]] around a closed loop; it is denoted

:<math>h_\gamma [A]</math>.

Knowledge of the holonomies is equivalent to knowledge of the connection, up to gauge equivalence. Holonomies can also be associated with an edge; under a Gauss Law these transform as

:<math>(h'_e)_{\alpha \beta} = U_{\alpha \gamma}^{-1} (x) (h_e)_{\gamma \sigma} U_{\sigma \beta} (y).</math>

For a closed loop <math>x = y</math> and assuming <math>\alpha = \beta</math>, yields

:<math>(h'_e)_{\alpha \alpha} = U_{\alpha \gamma}^{-1} (x) (h_e)_{\gamma \sigma} U_{\sigma \alpha} (x) = [U_{\sigma \alpha} (x) U_{\alpha \gamma}^{-1} (x)] (h_e)_{\gamma \sigma} = \delta_{\sigma \gamma} (h_e)_{\gamma \sigma} = (h_e)_{\gamma \gamma}</math>

or

:<math>\operatorname{Tr} h'_\gamma = \operatorname{Tr} h_\gamma.</math>

The trace of an holonomy around a closed loop is written

:<math>W_\gamma [A]</math>

and is called a Wilson loop. Thus Wilson loops are gauge invariant. The explicit form of the Holonomy is

:<math>h_\gamma [A] = \mathcal{P} \exp \left \{-\int_{\gamma_0}^{\gamma_1} ds \dot{\gamma}^a A_a^i (\gamma (s)) T_i \right \}</math>

where <math>\gamma</math> is the curve along which the holonomy is evaluated, and <math>s</math> is a parameter along the curve, <math>\mathcal{P}</math> denotes path ordering meaning factors for smaller values of <math>s</math> appear to the left, and <math>T_i</math> are matrices that satisfy the <math>\operatorname{SU}(2)</math> algebra

:<math>[T^i ,T^j] = 2i \epsilon^{ijk} T_k.</math>

The [[Pauli matrices]] satisfy the above relation. It turns out that there are infinitely many more examples of sets of matrices that satisfy these relations, where each set comprises <math>(N+1) \times (N+1)</math> matrices with <math>N = 1,2,3,\dots</math>, and where none of these can be thought to 'decompose' into two or more examples of lower dimension. They are called different irreducible representations of the <math>\operatorname{SU}(2)</math> algebra. The most fundamental representation being the Pauli matrices. The holonomy is labelled by a half integer <math>N/2</math> according to the irreducible representation used.

The use of [[Physics:Wilson loop|Wilson loop]]s explicitly solves the Gauss gauge constraint. Loop representation is required to handle the spatial diffeomorphism constraint. With Wilson loops as a basis, any Gauss gauge invariant function expands as,

:<math>\Psi [A] = \sum_\gamma \Psi [\gamma] W_\gamma [A].</math>

This is called the loop transform and is analogous to the momentum representation in quantum mechanics (see [[Physics:Position and momentum space|Position and momentum space]]). The QM representation has a basis of states <math>\exp (ikx)</math> labelled by a number <math>k</math> and expands as

:<math>\psi [x] = \int dk \psi (k) \exp (ikx). </math>

and works with the coefficients of the expansion <math>\psi (k).</math>

The inverse loop transform is defined by

:<math>\Psi [\gamma] = \int [dA] \Psi [A] W_\gamma [A].</math>

This defines the loop representation. Given an operator <math>\hat{O}</math> in the connection representation,

:<math>\Phi [A] = \hat{O} \Psi [A] \qquad Eq \; 1,</math>

one should define the corresponding operator <math>\hat{O}'</math> on <math>\Psi [\gamma]</math> in the loop representation via,

:<math>\Phi [\gamma] = \hat{O}' \Psi [\gamma] \qquad Eq \; 2,</math>

where <math>\Phi [\gamma]</math> is defined by the usual inverse loop transform,

:<math>\Phi [\gamma] = \int [dA] \Phi [A] W_\gamma [A] \qquad Eq \; 3.</math>

A transformation formula giving the action of the operator <math>\hat{O}'</math> on <math>\Psi [\gamma]</math> in terms of the action of the operator <math>\hat{O}</math> on <math>\Psi [A]</math> is then obtained by equating the R.H.S. of <math>Eq \; 2</math> with the R.H.S. of <math>Eq \; 3</math> with <math>Eq \; 1</math> substituted into <math>Eq \; 3</math>, namely

:<math>\hat{O}' \Psi [\gamma] = \int [dA] W_\gamma [A] \hat{O} \Psi [A],</math>

or

:<math>\hat{O}' \Psi [\gamma] = \int [dA] (\hat{O}^\dagger W_\gamma [A]) \Psi [A],</math>

where <math>\hat{O}^\dagger</math> means the operator <math>\hat{O}</math> but with the reverse factor ordering (remember from simple quantum mechanics where the product of operators is reversed under conjugation). The action of this operator on the Wilson loop is evaluated as a calculation in the connection representation and the result is rearranged purely as a manipulation in terms of loops (with regard to the action on the Wilson loop, the chosen transformed operator is the one with the opposite factor ordering compared to the one used for its action on wavefunctions <math>\Psi [A]</math>). This gives the physical meaning of the operator <math>\hat{O}'</math>. For example, if <math> \hat{O}^\dagger</math> corresponded to a spatial diffeomorphism, then this can be thought of as keeping the connection field <math>A</math> of <math>W_\gamma [A]</math> where it is while performing a spatial diffeomorphism on <math>\gamma</math> instead. Therefore, the meaning of <math>\hat{O}'</math> is a spatial diffeomorphism on <math>\gamma</math>, the argument of <math>\Psi [\gamma]</math>.

In the loop representation, the spatial diffeomorphism constraint is solved by considering functions of loops <math>\Psi [\gamma]</math> that are invariant under spatial diffeomorphisms of the loop <math>\gamma</math>. That is, [[Knot invariant|knot invariant]]s are used. This opens up an unexpected connection between [[Knot theory|knot theory]] and quantum gravity.

Any collection of non-intersecting Wilson loops satisfy Ashtekar's quantum Hamiltonian constraint. Using a particular ordering of terms and replacing <math>\tilde{E}^a_i</math> by a derivative, the action of the quantum Hamiltonian constraint on a Wilson loop is

:<math>\hat{\tilde{H}}^\dagger W_\gamma [A] = - \epsilon_{ijk} \hat{F}^k_{ab} \frac{\delta}{\delta A_a^i} \frac{\delta}{\delta A_b^j} W_\gamma [A].</math>

When a derivative is taken it brings down the tangent vector, <math>\dot{\gamma}^a</math>, of the loop, <math>\gamma</math>. So,

:<math>\hat{F}^i_{ab} \dot{\gamma}^a \dot{\gamma}^b.</math>

However, as <math>F^i_{ab}</math> is anti-symmetric in the indices <math>a</math> and <math>b</math> this vanishes (this assumes that <math>\gamma</math> is not discontinuous anywhere and so the tangent vector is unique).

With regard to loop representation, the wavefunctions <math>\Psi [\gamma]</math> vanish when the loop has discontinuities and are knot invariants. Such functions solve the Gauss law, the spatial diffeomorphism constraint and (formally) the Hamiltonian constraint. This yields an infinite set of exact (if only formal) solutions to all the equations of quantum general relativity!{{sfn|Rovelli|Smolin|1988|pp=1155–1958}} This generated a lot of interest in the approach and eventually led to LQG.

=== Geometric operators, the need for intersecting Wilson loops and spin network states ===
The easiest geometric quantity is the area. Let us choose coordinates so that the surface <math>\Sigma</math> is characterized by <math>x^3 = 0</math>. The area of small parallelogram of the surface <math>\Sigma</math> is the product of length of each side times <math>\sin \theta</math> where <math>\theta</math> is the angle between the sides. Say one edge is given by the vector <math>\vec{u}</math> and the other by <math>\vec{v}</math> then,

:<math>A = \| \vec{u} \| \| \vec{v} \| \sin \theta = \sqrt{\| \vec{u} \|^2 \| \vec{v} \|^2 (1 - \cos^2 \theta)} = \sqrt{\| \vec{u} \|^2 \| \vec{v} \|^2 - (\vec{u} \cdot \vec{v})^2}</math>

In the space spanned by <math>x^1</math> and <math>x^2</math> there is an infinitesimal parallelogram described by <math>\vec{u} = \vec{e}_1 dx^1</math> and <math>\vec{v} = \vec{e}_2 dx^2</math>. Using <math>q_{AB}^{(2)} = \vec{e}_A \cdot \vec{e}_B</math> (where the indices <math>A</math> and <math>B</math> run from 1 to 2), yields the area of the surface <math>\Sigma</math> given by

:<math>A_\Sigma = \int_\Sigma dx^1 dx^2 \sqrt{\det \left(q^{(2)}\right)}</math>

where <math>\det (q^{(2)}) = q_{11} q_{22} - q_{12}^2</math> and is the determinant of the metric induced on <math>\Sigma</math>. The latter can be rewritten <math>\det (q^{(2)}) = \epsilon^{AB} \epsilon^{CD} q_{AC} q_{BD} / 2</math> where the indices <math>A \dots D</math> go from 1 to 2. This can be further rewritten as

:<math>\det (q^{(2)}) = {\epsilon^{3ab} \epsilon^{3cd} q_{ac} q_{bc} \over 2}.</math>

The standard formula for an inverse matrix is

:<math>q^{ab} = {\epsilon^{bcd} \epsilon^{aef} q_{ce} q_{df} \over 2!\det (q)}.</math>

There is a similarity between this and the expression for <math>\det(q^{(2)})</math>. But in Ashtekar variables, <math>\tilde{E}^a_i\tilde{E}^{bi} = \det (q) q^{ab}</math>. Therefore,

:<math>A_\Sigma = \int_\Sigma dx^1 dx^2 \sqrt{\tilde{E}^3_i \tilde{E}^{3i}}.</math>

According to the rules of canonical quantization the triads <math>\tilde{E}^3_i</math> should be promoted to quantum operators,

:<math>\hat{\tilde{E}}^3_i \sim {\delta \over \delta A_3^i}.</math>

The area <math>A_\Sigma</math> can be promoted to a well defined quantum operator despite the fact that it contains a product of two functional derivatives and a square-root.{{sfn|Gambini|Pullin|2011|loc=Section 8.2}} Putting <math>N = 2J</math> (<math>J</math>-th representation),

:<math>\sum_i T^i T^i = J (J+1) 1.</math>

This quantity is important in the final formula for the area spectrum. The result is

:<math>\hat{A}_\Sigma W_\gamma [A] = 8 \pi \ell_{\text{Planck}}^2 \beta \sum_I \sqrt{j_I (j_I + 1)} W_\gamma [A]</math>

where the sum is over all edges <math>I</math> of the Wilson loop that pierce the surface <math>\Sigma</math>.

The formula for the volume of a region <math>R</math> is given by

:<math>V = \int_R d^3 x \sqrt{\det (q)} = \int_R dx^3 \sqrt{\frac{1}{3!} \epsilon_{abc} \epsilon^{ijk} \tilde{E}^a_i \tilde{E}^b_j \tilde{E}^c_k}.</math>

The quantization of the volume proceeds the same way as with the area. Each time the derivative is taken, it brings down the tangent vector <math>\dot{\gamma}^a</math>, and when the volume operator acts on non-intersecting Wilson loops the result vanishes. Quantum states with non-zero volume must therefore involve intersections. Given that the anti-symmetric summation is taken over in the formula for the volume, it needs intersections with at least three non-coplanar lines. At least four-valent vertices are needed for the volume operator to be non-vanishing.

Assuming the real representation where the gauge group is <math>\operatorname{SU}(2)</math>, Wilson loops are an over complete basis as there are identities relating different Wilson loops. These occur because Wilson loops are based on matrices (the holonomy) and these matrices satisfy identities. Given any two <math>\operatorname{SU}(2)</math> matrices <math>\mathbb{A}</math> and <math>\mathbb{B}</math>,

:<math>\operatorname{Tr}(\mathbb{A}) \operatorname{Tr}(\mathbb{B}) = \operatorname{Tr}(\mathbb{A}\mathbb{B}) + \operatorname{Tr}(\mathbb{A}\mathbb{B}^{-1}).</math>

This implies that given two loops <math>\gamma</math> and <math>\eta</math> that intersect,

<math>W_\gamma [A] W_\eta [A] = W_{\gamma \circ \eta} [A] + W_{\gamma \circ \eta^{-1}} [A]</math>

where by <math>\eta^{-1}</math> we mean the loop <math>\eta</math> traversed in the opposite direction and <math>\gamma \circ \eta</math> means the loop obtained by going around the loop <math>\gamma</math> and then along <math>\eta</math>. See figure below. Given that the matrices are unitary one has that <math>W_\gamma [A] = W_{\gamma^{-1}} [A]</math>. Also given the cyclic property of the matrix traces (i.e. <math>\operatorname{Tr} (\mathbb{A} \mathbb{B}) = \operatorname{Tr}(\mathbb{B} \mathbb{A})</math>) one has that <math>W_{\gamma \circ \eta} [A] = W_{\eta \circ \gamma} [A]</math>. These identities can be combined with each other into further identities of increasing complexity adding more loops. These identities are the so-called Mandelstam identities. Spin networks certain are linear combinations of intersecting Wilson loops designed to address the over-completeness introduced by the Mandelstam identities (for trivalent intersections they eliminate the over-completeness entirely) and actually constitute a basis for all gauge invariant functions.

[[File:The Mandelstam identity.jpg|right|thumb|500px|Graphical representation of the simplest non-trivial Mandelstam identity relating different Wilson loops]]

As mentioned above the holonomy tells one how to propagate test spin half particles. A spin network state assigns an amplitude to a set of spin half particles tracing out a path in space, merging and splitting. These are described by spin networks <math>\gamma</math>: the edges are labelled by spins together with 'intertwiners' at the vertices which are prescription for how to sum over different ways the spins are rerouted. The sum over rerouting are chosen as such to make the form of the intertwiner invariant under Gauss gauge transformations.

=== Hamiltonian constraint of LQG ===
{{main| Physics:Hamiltonian constraint of LQG}}

In the long history of canonical quantum gravity formulating the Hamiltonian constraint as a quantum operator ([[Wheeler–DeWitt equation]]) in a mathematically rigorous manner has been a formidable problem. It was in the loop representation that a mathematically well defined Hamiltonian constraint was finally formulated in 1996.{{sfn|Thiemann|1996|pp=257–264}} We leave more details of its construction to the article [[Physics:Hamiltonian constraint of LQG|Hamiltonian constraint of LQG]]. This together with the quantum versions of the Gauss law and spatial diffeomorphism constrains written in the loop representation are the central equations of LQG (modern canonical quantum General relativity).

Finding the states that are annihilated by these constraints (the physical states), and finding the corresponding physical inner product, and observables is the main goal of the technical side of LQG.

An important aspect of the Hamiltonian operator is that it only acts at vertices (a consequence of this is that Thiemann's Hamiltonian operator, like Ashtekar's operator, annihilates non-intersecting loops except now it is not just formal and has rigorous mathematical meaning). More precisely, its action is non-zero on at least vertices of valence three and greater and results in a linear combination of new spin networks where the original graph has been modified by the addition of lines at each vertex together and a change in the labels of the adjacent links of the vertex.{{Citation needed|date=July 2021}}

== Spin foams ==
{{main| Physics:Spin network|Physics:Spin foam|Physics:BF model|Physics:Barrett–Crane model}}
In loop quantum gravity (LQG), a spin network represents a "quantum state" of the gravitational field on a 3-dimensional [[Hypersurface|hypersurface]]. The set of all possible spin networks (or, more accurately, "s-knots" – that is, equivalence classes of spin networks under diffeomorphisms) is countable; it constitutes a basis of LQG [[Hilbert space]].

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

=== Spin foam derived from the Hamiltonian constraint operator ===

On this section see {{sfn|Thiemann|2008|pp=458–462}} and references therein. The Hamiltonian constraint generates 'time' evolution. Solving the Hamiltonian constraint should tell us how quantum states evolve in 'time' from an initial spin network state to a final spin network state. One approach to solving the Hamiltonian constraint starts with what is called the [[Dirac delta function]]. The summation of which over different sequences of actions can be visualized as a summation over different histories of 'interaction vertices' in the 'time' evolution sending the initial spin network to the final spin network. Each time a Hamiltonian operator acts it does so by adding a new edge at the vertex.

This then naturally gives rise to the two-complex (a combinatorial set of faces that join along edges, which in turn join on vertices) underlying the spin foam description; we evolve forward an initial spin network sweeping out a surface, the action of the Hamiltonian constraint operator is to produce a new planar surface starting at the vertex. We are able to use the action of the Hamiltonian constraint on the vertex of a spin network state to associate an amplitude to each "interaction" (in analogy to Feynman diagrams). See figure below. This opens a way of trying to directly link canonical LQG to a path integral description. Just as a spin networks describe quantum space, each configuration contributing to these path integrals, or sums over history, describe 'quantum space-time'. Because of their resemblance to soap foams and the way they are labeled John Baez gave these 'quantum space-times' the name 'spin foams'.

[[File:Spin foam from Hamiltonian constraint.jpg|right|thumb|500px|The action of the Hamiltonian constraint translated to the path integral or so-called spin foam description. A single node splits into three nodes, creating a spin foam vertex. <math>N (x_n)</math> is the value of <math>N</math> at the vertex and <math>H_{nop}</math> are the matrix elements of the Hamiltonian constraint <math>\hat{H}</math>.]]

There are however severe difficulties with this particular approach, for example the Hamiltonian operator is not self-adjoint, in fact it is not even a [[Normal operator|normal operator]] (i.e. the operator does not commute with its adjoint) and so the [[Spectral theorem|spectral theorem]] cannot be used to define the exponential in general. The most serious problem is that the <math>\hat{H} (x)</math>'s are not mutually commuting, it can then be shown the formal quantity <math display="inline">\int [d N] e^{i \int d^3 x N (x) \hat{H} (x)}</math> cannot even define a (generalized) projector. The master constraint (see below) does not suffer from these problems and as such offers a way of connecting the canonical theory to the path integral formulation.

=== Spin foams from BF theory ===
It turns out there are alternative routes to formulating the path integral, however their connection to the Hamiltonian formalism is less clear. One way is to start with the BF theory. This is a simpler theory than general relativity, it has no local degrees of freedom and as such depends only on topological aspects of the fields. BF theory is what is known as a topological field theory. Surprisingly, it turns out that general relativity can be obtained from BF theory by imposing a constraint,{{sfn|Bojowald|Perez|2009|p=877}} BF theory involves a field <math>B_{ab}^{IJ}</math> and if one chooses the field <math>B</math> to be the (anti-symmetric) product of two tetrads

:<math>B_{ab}^{IJ} = {1 \over 2} \left(E^I_a E^J_b - E^I_b E^J_a\right)</math>

(tetrads are like triads but in four spacetime dimensions), one recovers general relativity. The condition that the <math>B</math> field be given by the product of two tetrads is called the simplicity constraint. The spin foam dynamics of the topological field theory is well understood. Given the spin foam 'interaction' amplitudes for this simple theory, one then tries to implement the simplicity conditions to obtain a path integral for general relativity. The non-trivial task of constructing a spin foam model is then reduced to the question of how this simplicity constraint should be imposed in the quantum theory. The first attempt at this was the famous [[Physics:Barrett–Crane model|Barrett–Crane model]].{{sfn|Barrett|Crane|2000|pp=3101–3118}} However this model was shown to be problematic, for example there did not seem to be enough degrees of freedom to ensure the correct classical limit.{{sfn|Rovelli|Alesci|2007|p=104012}} It has been argued that the simplicity constraint was imposed too strongly at the quantum level and should only be imposed in the sense of expectation values just as with the [[Physics:Lorenz gauge condition|Lorenz gauge condition]] <math>\partial_\mu \hat{A}^\mu</math> in the [[Physics:Gupta–Bleuler formalism|Gupta–Bleuler formalism]] of [[Physics:Quantum electrodynamics|quantum electrodynamics]]. New models have now been put forward, sometimes motivated by imposing the simplicity conditions in a weaker sense.

Another difficulty here is that spin foams are defined on a discretization of spacetime. While this presents no problems for a topological field theory as it has no local degrees of freedom, it presents problems for GR. This is known as the problem triangularization dependence.

=== Modern formulation of spin foams ===
Just as imposing the classical simplicity constraint recovers general relativity from BF theory, it is expected that an appropriate quantum simplicity constraint will recover quantum gravity from quantum BF theory.

Progress has been made with regard to this issue by Engle, Pereira, and Rovelli,{{sfn|Engle|Pereira|Rovelli|2009|p=161301}} Freidel and Krasnov{{sfn|Freidel|Krasnov|2008|p=125018}} and Livine and Speziale{{sfn|Livine|Speziale|2008|p=50004}} in defining spin foam interaction amplitudes with better behaviour.

An attempt to make contact between EPRL-FK spin foam and the canonical formulation of LQG has been made.{{sfn|Alesci|Thiemann|Zipfel|2011|p=024017}}

=== Spin foam derived from the master constraint operator ===
See below.<!--

=== Spin foams from consistent discretisations ===-->

== The semiclassical limit and loop quantum gravity ==
The [[Physics:Classical limit|Classical limit]] is the ability of a physical theory to approximate classical mechanics. It is used with physical theories that predict non-classical behavior.{{Citation needed|date=July 2021}} Any candidate theory of quantum gravity must be able to reproduce Einstein's theory of [[Physics:General relativity|general relativity]] as a classical limit of a [[Physics:Quantum|quantum]] theory. This is not guaranteed because of a feature of quantum field theories which is that they have different sectors, these are analogous to the different phases that come about in the thermodynamical limit of statistical systems. Just as different phases are physically different, so are different sectors of a quantum field theory. It may turn out that LQG belongs to an unphysical sector – one in which one does not recover general relativity in the semiclassical limit or there might not be any physical sector.

Moreover, the physical Hilbert space <math>H_{phys}</math> must contain enough semiclassical states to guarantee that the quantum theory obtained can return to the classical theory when <math>\hbar \to 0</math> avoiding quantum anomalies; otherwise there will be restrictions on the physical Hilbert space that have no counterpart in the classical theory, implying that the quantum theory has fewer degrees of freedom than the classical theory.

Theorems establishing the uniqueness of the loop representation as defined by Ashtekar et al. (i.e. a certain concrete realization of a Hilbert space and associated operators reproducing the correct loop algebra) have been given by two groups (Lewandowski, Okolow, Sahlmann and Thiemann;{{sfn|Lewandowski|Okołów|Sahlmann|Thiemann|2006|pp=703–733}} and Christian Fleischhack{{sfn|Fleischhack|2006|p=061302}}). Before this result was established it was not known whether there could be other examples of Hilbert spaces with operators invoking the same loop algebra – other realizations not equivalent to the one that had been used. These uniqueness theorems imply no others exist, so if LQG does not have the correct semiclassical limit then the theorems would mean the end of the loop representation of quantum gravity.

=== Difficulties and progress checking the semiclassical limit ===
There are a number of difficulties in trying to establish LQG gives Einstein's theory of general relativity in the semiclassical limit:
# There is no operator corresponding to infinitesimal spatial diffeomorphisms (it is not surprising that the theory has no generator of infinitesimal spatial 'translations' as it predicts spatial geometry has a discrete nature, compare to the situation in condensed matter). Instead it must be approximated by finite spatial diffeomorphisms and so the Poisson bracket structure of the classical theory is not exactly reproduced. This problem can be circumvented with the introduction of the so-called master constraint (see below).{{sfn|Thiemann|2008|loc=Section 10.6}}
# There is the problem of reconciling the discrete combinatorial nature of the quantum states with the continuous nature of the fields of the classical theory.
# There are serious difficulties arising from the structure of the Poisson brackets involving the spatial diffeomorphism and Hamiltonian constraints. In particular, the algebra of (smeared) Hamiltonian constraints does not close: It is proportional to a sum over infinitesimal spatial diffeomorphisms (which, as noted above, does not exist in the quantum theory) where the coefficients of proportionality are not constants but have non-trivial phase space dependence – as such it does not form a [[Lie algebra]]. However, the situation is improved by the introduction of the master constraint.{{sfn|Thiemann|2008|loc=Section 10.6}}
# The semiclassical machinery developed so far is only appropriate to non-graph-changing operators, however, Thiemann's Hamiltonian constraint is a graph-changing operator – the new graph it generates has degrees of freedom upon which the coherent state does not depend and so their quantum fluctuations are not suppressed. There is also the restriction, so far, that these coherent states are only defined at the Kinematic level, and now one has to lift them to the level of <math>\mathcal{H}_{Diff}</math> and <math>\mathcal{H}_{Phys}</math>. It can be shown that Thiemann's Hamiltonian constraint is required to be graph-changing in order to resolve problem 3 in some sense. The master constraint algebra however is trivial and so the requirement that it be graph-changing can be lifted and indeed non-graph-changing master constraint operators have been defined. As far as is currently known, this problem is still out of reach.
# Formulating observables for classical general relativity is a formidable problem because of its non-linear nature and space-time diffeomorphism invariance. A systematic approximation scheme to calculate observables has been recently developed.{{sfn|Dittrich|2007|pp=1891–1927}}{{sfn|Dittrich|2006|pp=6155–6184}}

Difficulties in trying to examine the semiclassical limit of the theory should not be confused with it having the wrong semiclassical limit.

Concerning issue number 2 above, consider so-called weave states. Ordinary measurements of geometric quantities are macroscopic, and planckian discreteness is smoothed out. The fabric of a T-shirt is analogous: at a distance it is a smooth curved two-dimensional surface, but on closer inspection we see that it is actually composed of thousands of one-dimensional linked threads. The image of space given in LQG is similar. Consider a large spin network formed by a large number of nodes and links, each of [[Physics:Planck scale|Planck scale]]. Probed at a macroscopic scale, it appears as a three-dimensional continuous metric geometry.

To make contact with low energy physics it is mandatory to develop approximation schemes both for the physical inner product and for Dirac observables; the spin foam models that have been intensively studied can be viewed as avenues toward approximation schemes for said physical inner product.

Markopoulou, et al. adopted the idea of [[Noiseless subsystems|noiseless subsystems]] in an attempt to solve the problem of the low energy limit in background independent quantum gravity theories.{{sfn|Dreyer|Markopoulou|Smolin|2006|pp=1–13}}{{sfn|Kribs|Markopoulou|2005}} The idea has led to the possibility of matter of the standard model being identified with emergent degrees of freedom from some versions of LQG (see section below: ''LQG and related research programs'').

As Wightman emphasized in the 1950s, in Minkowski QFTs the <math>n-</math> point functions

:<math>W (x_1, \dots , x_n) = \langle 0 | \phi (x_n) \dots \phi (x_1) |0 \rangle , </math>

completely determine the theory. In particular, one can calculate the scattering amplitudes from these quantities. As explained below in the section on the ''Background independent scattering amplitudes'', in the background-independent context, the <math>n-</math> point functions refer to a state and in gravity that state can naturally encode information about a specific geometry which can then appear in the expressions of these quantities. To leading order, LQG calculations have been shown to agree in an appropriate sense with the <math>n-</math>point functions calculated in the effective low energy quantum general relativity.

== Improved dynamics and the master constraint ==
{{main|Physics:Hamiltonian (quantum mechanics)|Physics:Hamiltonian constraint of LQG|Friedrichs extension}}

=== The master constraint ===
Thiemann's Master Constraint Programme for Loop Quantum Gravity (LQG) was proposed as a classically equivalent way to impose the infinite number of Hamiltonian constraint equations in terms of a single master constraint <math>M</math>, which involves the square of the constraints in question. An initial objection to the use of the master constraint was that on first sight it did not seem to encode information about the observables; because the Master constraint is quadratic in the constraint, when one computes its Poisson bracket with any quantity, the result is proportional to the constraint, therefore it vanishes when the constraints are imposed and as such does not select out particular phase space functions. However, it was realized that the condition 

:<math>\{ O , \{ O , M \} \}_{M = 0} = 0,</math>

is where <math>O</math> is at least a twice differentiable function on phase space is equivalent to <math>O</math> being a weak Dirac observable with respect to the constraints in question. So the master constraint does capture information about the observables. Because of its significance this is known as the master equation.{{sfn|Thiemann|2006a|pp=2211–2247}}

That the master constraint Poisson algebra is an honest Lie algebra opens the possibility of using a method, known as group averaging, in order to construct solutions of the infinite number of Hamiltonian constraints, a physical inner product thereon and Dirac observables via what is known as refined algebraic quantization, or RAQ.<ref>{{Citation |last=Thiemann |first=Thomas |title=Introduction to Modern Canonical Quantum General Relativity |date=2001-10-05 |arxiv=gr-qc/0110034 |bibcode=2001gr.qc....10034T }}</ref>

=== The quantum master constraint ===
Define the quantum master constraint (regularisation issues aside) as

:<math>\hat{M} := \int d^3x \widehat{\left( \frac{H}{\sqrt[4]{\det (q(x))}} \right)}^\dagger(x) \widehat{\left(\frac{H}{\sqrt[4]{\det (q(x))}} \right)} (x). </math>

Obviously,

:<math>\widehat{\left( \frac{H}{\sqrt[4]{\det (q(x))}} \right)} (x) \Psi = 0</math>

for all <math>x</math> implies <math>\hat{M} \Psi = 0</math>. Conversely, if <math>\hat{M} \Psi = 0</math> then

:<math>0 = \left \langle \Psi , \hat{M} \Psi \right \rangle = \int d^3x \left\| \widehat{\left( \frac{H}{\sqrt[4]{\det (q(x))}} \right)} (x) \Psi \right\|^2 \qquad Eq \; 4</math>

implies

:<math>\widehat{\left( \frac{H}{\sqrt[4]{\det (q(x))}} \right)} (x) \Psi = 0</math>.

First compute the matrix elements of the would-be operator <math>\hat{M}</math>, that is, the quadratic form <math>Q_M</math>. <math>Q_M</math> is a graph changing, diffeomorphism invariant quadratic form that cannot exist on the kinematic Hilbert space <math>H_{Kin}</math>, and must be defined on <math> H_{Diff}</math>. Since the master constraint operator <math>\hat{M}</math> is densely defined on <math>H_{Diff}</math>, then <math>\hat{M}</math> is a positive and [[Symmetric operator|symmetric operator]] in <math>H_{Diff}</math>. Therefore, the quadratic form <math>Q_M</math> associated with <math>\hat{M}</math> is closable. The closure of <math>Q_M</math> is the quadratic form of a unique [[Self-adjoint operator|self-adjoint operator]] <math>\hat{\overline{M}}</math>, called the [[Friedrichs extension]] of <math>\hat{M}</math>. We relabel <math>\hat{\overline{M}}</math> as <math>\hat{M}</math> for simplicity.

Note that the presence of an inner product, viz Eq 4, means there are no superfluous solutions i.e. there are no <math>\Psi</math> such that

:<math>\widehat{\left( \frac{H}{\sqrt[4]{\det (q(x))}} \right)} (x) \Psi \not= 0,</math>

but for which <math>\hat{M} \Psi = 0</math>.

It is also possible to construct a quadratic form <math>Q_{M_E}</math> for what is called the extended master constraint (discussed below) on <math>H_{Kin}</math> which also involves the weighted integral of the square of the spatial diffeomorphism constraint (this is possible because <math>Q_{M_E}</math> is not graph changing).

The spectrum of the master constraint may not contain zero due to normal or factor ordering effects which are finite but similar in nature to the infinite vacuum energies of background-dependent quantum field theories. In this case it turns out to be physically correct to replace <math>\hat{M}</math> with <math>\hat{M}' := \hat{M} - \min (spec (\hat{M})) \hat{1}</math> provided that the "normal ordering constant" vanishes in the classical limit, that is,

:<math>\lim_{\hbar \to 0} \min (spec(\hat{M})) = 0,</math>

so that <math>\hat{M}'</math> is a valid quantisation of <math>M</math>.

=== Testing the master constraint ===
The constraints in their primitive form are rather singular, this was the reason for integrating them over test functions to obtain smeared constraints. However, it would appear that the equation for the master constraint, given above, is even more singular involving the product of two primitive constraints (although integrated over space). Squaring the constraint is dangerous as it could lead to worsened ultraviolet behaviour of the corresponding operator and hence the master constraint programme must be approached with care.

In doing so the master constraint programme has been satisfactorily tested in a number of model systems with non-trivial constraint algebras, free and interacting field theories.{{sfn|Dittrich|Thiemann|2006a|pp=1025–1066}}{{sfn|Dittrich|Thiemann|2006b|pp=1067–1088}}{{sfn|Dittrich|Thiemann|2006c|pp=1089–1120}}{{sfn|Dittrich|Thiemann|2006d|pp=1121–1142}}{{sfn|Dittrich|Thiemann|2006e|pp=1143–1162}} The master constraint for LQG was established as a genuine positive self-adjoint operator and the physical Hilbert space of LQG was shown to be non-empty,{{sfn|Thiemann|2006b|pp=2249–2265}} a consistency test LQG must pass to be a viable theory of quantum general relativity.

=== Applications of the master constraint ===
The master constraint has been employed in attempts to approximate the physical inner product and define more rigorous path integrals.{{sfn|Bahr|Thiemann|2007|pp=2109–2138}}{{sfn|Han|Thiemann|2010a|p=225019}}{{sfn|Han|Thiemann|2010b|p=092501}}{{sfn|Han|2010|p=215009}}

The Consistent Discretizations approach to LQG,{{sfn|Gambini|Pullin|2009|p=035002}}{{sfn|Gambini|Pullin|2011|loc=Section 10.2.2}} is an application of the master constraint program to construct the physical Hilbert space of the canonical theory.

=== Spin foam from the master constraint ===
The master constraint is easily generalized to incorporate the other constraints. It is then referred to as the extended master constraint, denoted <math>M_E</math>. We can define the extended master constraint which imposes both the Hamiltonian constraint and spatial diffeomorphism constraint as a single operator,

:<math>M_E = \int_\Sigma d^3x {H (x)^2 - q^{ab} V_a (x) V_b (x) \over \sqrt{\det (q)}}</math>.

Setting this single constraint to zero is equivalent to <math>H(x) = 0</math> and <math>V_a (x) = 0</math> for all <math>x</math> in <math>\Sigma</math>. This constraint implements the spatial diffeomorphism and Hamiltonian constraint at the same time on the Kinematic Hilbert space. The physical inner product is then defined as

:<math>\langle\phi, \psi\rangle_{\text{Phys}} = \lim_{T \to \infty} \left\langle\phi, \int_{-T}^T dt e^{i t \hat{M}_E} \psi\right\rangle</math>

(as <math display="inline">\delta (\hat{M_E}) = \lim_{T \to \infty} \int_{-T}^T dt e^{i t \hat{M}_E}</math>). A spin foam representation of this expression is obtained by splitting the <math>t</math>-parameter in discrete steps and writing

<math display="inline">e^{i t \hat{M}_E} = \lim_{n \to \infty} \left [e^{i t \hat{M}_E / n} \right]^n = \lim_{n \to \infty} [1 + i t \hat{M}_E / n]^n.</math>

The spin foam description then follows from the application of <math>[1 + i t \hat{M}_E / n]</math> on a spin network resulting in a linear combination of new spin networks whose graph and labels have been modified. Obviously an approximation is made by truncating the value of <math>n</math> to some finite integer. An advantage of the extended master constraint is that we are working at the kinematic level and so far it is only here we have access semiclassical coherent states. Moreover, one can find none graph changing versions of this master constraint operator, which are the only type of operators appropriate for these coherent states.

=== Algebraic quantum gravity (AQG) ===
The master constraint programme has evolved into a fully combinatorial treatment of gravity known as algebraic quantum gravity (AQG).{{sfn|Giesel|Thiemann|2007a|pp=2465–2498}} The non-graph changing master constraint operator is adapted in the framework of algebraic quantum gravity. While AQG is inspired by LQG, it differs drastically from it because in AQG there is fundamentally no topology or differential structure – it is background independent in a more generalized sense and could possibly have something to say about topology change. In this new formulation of quantum gravity AQG semiclassical states always control the fluctuations of all present degrees of freedom. This makes the AQG semiclassical analysis superior over that of LQG, and progress has been made in establishing it has the correct semiclassical limit and providing contact with familiar low energy physics.{{sfn|Giesel|Thiemann|2007b|pp=2499–2564}}{{sfn|Giesel|Thiemann|2007c|pp=2565–2588}}

== Physical applications of LQG ==
=== Black hole entropy ===
{{main|Astronomy:Black hole thermodynamics|Astronomy:Isolated horizon| Astronomy:Immirzi parameter}}
[[File:Black Hole Merger.jpg|thumb|right|275px|An artist depiction of two black holes merging, a process in which the laws of thermodynamics are upheld]]

Black hole thermodynamics is the area of study that seeks to reconcile the [[Physics:Laws of thermodynamics|laws of thermodynamics]] with the existence of [[Astronomy:Black hole|black hole]] [[Astronomy:Event horizon|event horizon]]s. The no hair conjecture of general relativity states that a black hole is characterized only by its [[Physics:Mass|mass]], its [[Physics:Charge|charge]], and its [[Physics:Angular momentum|angular momentum]]; hence, it has no [[Physics:Entropy|entropy]]. It appears, then, that one can violate the [[Physics:Second law of thermodynamics|second law of thermodynamics]] by dropping an object with nonzero entropy into a black hole.{{sfn|Bousso|2002|pp=825–874}} Work by [[Biography:Stephen Hawking|Stephen Hawking]] and [[Biography:Jacob Bekenstein|Jacob Bekenstein]] showed that the second law of thermodynamics can be preserved by assigning to each black hole a ''black-hole entropy''

:<math>S_{\text{BH}} = \frac{k_{\text{B}}A}{4\ell_{\text{P}}^2},</math>

where <math>A</math> is the area of the hole's event horizon, <math>k_{\text{B}}</math> is the [[Physics:Boltzmann constant|Boltzmann constant]], and <math display="inline">\ell_{\text{P}} = \sqrt{G\hbar/c^{3}}</math> is the Planck length.{{sfn|Majumdar|1998|p=147}} The fact that the black hole entropy is also the maximal entropy that can be obtained by the [[Astronomy:Bekenstein bound|Bekenstein bound]] (wherein the Bekenstein bound becomes an equality) was the main observation that led to the [[Physics:Holographic principle|holographic principle]].{{sfn|Bousso|2002|pp=825–874}}

An oversight in the application of the [[Astronomy:No-hair theorem|no-hair theorem]] is the assumption that the relevant degrees of freedom accounting for the entropy of the black hole must be classical in nature; what if they were purely quantum mechanical instead and had non-zero entropy? This is what is realized in the LQG derivation of black hole entropy, and can be seen as a consequence of its background-independence – the classical black hole spacetime comes about from the semiclassical limit of the [[Physics:Quantum state|quantum state]] of the gravitational field, but there are many quantum states that have the same semiclassical limit. Specifically, in LQG<ref name="ReferenceA">See [[Physics:List of loop quantum gravity researchers|List of loop quantum gravity researchers]]</ref> it is possible to associate a quantum geometrical interpretation to the microstates: These are the quantum geometries of the horizon which are consistent with the area, <math>A</math>, of the black hole and the topology of the horizon (i.e. spherical). LQG offers a geometric explanation of the finiteness of the entropy and of the proportionality of the area of the horizon.{{sfn|Rovelli|1996|pp=3288–3291}}{{sfn|Ashtekar|Baez|Corichi|Krasnov|1998|pp=904–907}} These calculations have been generalized to rotating black holes.{{sfn|Ashtekar|Engle|Broeck|2005|pp=L27}}

[[File:LQG black hole Horizon.jpg|thumb|left|275px|Representation of quantum geometries of the horizon. Polymer excitations in the bulk puncture the horizon, endowing it with quantized area. Intrinsically the horizon is flat except at punctures where it acquires a quantized deficit angle or quantized amount of curvature. These deficit angles add up to <math>4 \pi</math>.]]

It is possible to derive, from the covariant formulation of full quantum theory (Spinfoam) the correct relation between energy and area (1st law), the Unruh temperature and the distribution that yields Hawking entropy.{{sfn|Bianchi|2012}} The calculation makes use of the notion of [[Astronomy:Dynamical horizon|dynamical horizon]] and is done for non-extremal black holes.

A recent success of the theory in this direction is the computation of the [[Physics:Entropy|entropy]] of all non singular black holes directly from theory and independent of [[Astronomy:Immirzi parameter|Immirzi parameter]].{{sfn|Bianchi|2012}}{{sfn|Frodden|Ghosh|Perez|2013|p=121503}} The result is the expected formula <math>S=A/4</math>, where <math>S</math> is the entropy and <math>A</math> the area of the black hole, derived by Bekenstein and Hawking on heuristic grounds. This is the only known derivation of this formula from a fundamental theory, for the case of generic non singular black holes. Older attempts at this calculation had difficulties. The problem was that although Loop quantum gravity predicted that the entropy of a black hole is proportional to the area of the event horizon, the result depended on a crucial free parameter in the theory, the above-mentioned Immirzi parameter. However, there is no known computation of the Immirzi parameter, so it was fixed by demanding agreement with Bekenstein and Hawking's calculation of the [[Astronomy:Black hole thermodynamics|black hole entropy]].

===Hawking radiation in loop quantum gravity===
{{main|Physics:Hawking radiation}}
A detailed study of the quantum geometry of a black hole horizon has been made using loop quantum gravity.{{sfn|Ashtekar|Baez|Corichi|Krasnov|1998|pp=904–907}} Loop-quantization does not reproduce the result for black hole entropy originally discovered by Bekenstein and Hawking, unless one chooses the value of the [[Astronomy:Immirzi parameter|Immirzi parameter]] to cancel out another constant that arises in the derivation. However, it led to the computation of higher-order corrections to the entropy and radiation of black holes.

Based on the fluctuations of the horizon area, a quantum black hole exhibits deviations from the Hawking spectrum that would be observable were [[Physics:X-ray|X-ray]]s from Hawking radiation of evaporating primordial black holes to be observed.{{sfn|Ansari|2007|pp=179–212}} The quantum effects are centered at a set of discrete and unblended frequencies highly pronounced on top of Hawking radiation spectrum.{{sfn|Ansari|2008|pp=635–644}}

=== Planck star ===

In 2014 Carlo Rovelli and Francesca Vidotto proposed that there is a [[Astronomy:Planck star|Planck star]] inside every black hole.{{sfn|Rovelli|Vidotto|2014|p=1442026}} Based on LQG, the theory states that as stars are collapsing into black holes, the energy density reaches the Planck energy density, causing a repulsive force that creates a star. Furthermore, the existence of such a star would resolve the black hole firewall and [[Astronomy:Black hole information paradox|black hole information paradox]].

=== Loop quantum cosmology ===
The popular and technical literature makes extensive references to the LQG-related topic of loop quantum cosmology. LQC was mainly developed by Martin Bojowald. It was popularized in ''Scientific American'' for predicting a [[Astronomy:Big Bounce|Big Bounce]] prior to the [[Astronomy:Big Bang|Big Bang]].{{sfn|Bojowald|2008}} Loop quantum cosmology (LQC) is a symmetry-reduced model of classical general relativity quantized using methods that mimic those of loop quantum gravity (LQG) that predicts a "quantum bridge" between contracting and expanding cosmological branches.

Achievements of LQC have been the resolution of the big bang [[Singularity (mathematics)|singularity]], the prediction of a Big Bounce, and a natural mechanism for [[Astronomy:Inflation (cosmology)|inflation]].

LQC models share features of LQG and so is a useful toy model. However, the results obtained are subject to the usual restriction that a truncated classical theory, then quantized, might not display the true behaviour of the full theory due to artificial suppression of degrees of freedom that might have large quantum fluctuations in the full theory. It has been argued that singularity avoidance in LQC are by mechanisms only available in these restrictive models and that singularity avoidance in the full theory can still be obtained but by a more subtle feature of LQG.{{sfn|Brunnemann|Thiemann|2006a|pp=1395–1428}}{{sfn|Brunnemann|Thiemann|2006b|pp=1429–1484}}

=== Loop quantum gravity phenomenology ===
Quantum gravity effects are difficult to measure because the Planck length is so small. However recently physicists, such as Jack Palmer, have started to consider the possibility of measuring quantum gravity effects mostly from astrophysical observations and gravitational wave detectors. The energy of those fluctuations at scales this small cause space-perturbations which are visible at higher scales.

=== Background-independent scattering amplitudes ===
{{main|Physics:Scattering amplitude}}

Loop quantum gravity is formulated in a background-independent language. No spacetime is assumed a priori, but rather it is built up by the states of theory themselves – however scattering amplitudes are derived from <math>n</math>-point functions ([[Physics:Correlation function (quantum field theory)|Correlation function]]) and these, formulated in conventional quantum field theory, are functions of points of a background space-time. The relation between the background-independent formalism and the conventional formalism of quantum field theory on a given spacetime is not obvious, and it is not obvious how to recover low-energy quantities from the full background-independent theory. One would like to derive the <math>n</math>-point functions of the theory from the background-independent formalism, in order to compare them with the standard perturbative expansion of quantum general relativity and therefore check that loop quantum gravity yields the correct low-energy limit.

A strategy for addressing this problem has been suggested;{{sfn|Modesto|Rovelli|2005|p=191301}} by studying the boundary amplitude, namely a path integral over a finite space-time region, seen as a function of the boundary value of the field.{{sfn|Oeckl|2003a|pp=318–324}}{{sfn|Oeckl|2003b|pp=5371–5380}} In conventional quantum field theory, this boundary amplitude is well–defined{{sfn|Conrady|Rovelli|2004|p=4037}}{{sfn|Doplicher|2004|p=064037}} and codes the physical information of the theory; it does so in quantum gravity as well, but in a fully background–independent manner.{{sfn|Conrady|Doplicher|Oeckl|Rovelli|2004|p=064019}} A generally covariant definition of <math>n</math>-point functions can then be based on the idea that the distance between physical points – arguments of the <math>n</math>-point function is determined by the state of the gravitational field on the boundary of the spacetime region considered.

Progress has been made in calculating background-independent scattering amplitudes this way with the use of spin foams. This is a way to extract physical information from the theory. Claims to have reproduced the correct behaviour for graviton scattering amplitudes and to have recovered classical gravity have been made. "We have calculated Newton's law starting from a world with no space and no time." – Carlo Rovelli.

== Gravitons, string theory, supersymmetry, extra dimensions in LQG ==
{{main| Physics:Graviton| Physics:String theory| Physics:Supersymmetry| Physics:Kaluza–Klein theory| Physics:Supergravity}}
Some quantum theories of gravity posit a spin-2 quantum field that is quantized, giving rise to gravitons. In string theory, one generally starts with quantized excitations on top of a classically fixed background. This theory is thus described as background dependent. Particles like photons as well as changes in the spacetime geometry (gravitons) are both described as excitations on the string worldsheet. The background dependence of string theory can have physical consequences, such as determining the number of quark generations. In contrast, loop quantum gravity, like general relativity, is manifestly background independent, eliminating the background required in string theory. Loop quantum gravity, like string theory, also aims to overcome the nonrenormalizable divergences of quantum field theories.

LQG does not introduce a background and excitations living on such a background, so LQG does not use gravitons as building blocks. Instead one expects that one may recover a kind of semiclassical limit or weak field limit where something like "gravitons" will show up again. In contrast, gravitons play a key role in string theory where they are among the first (massless) level of excitations of a superstring.

LQG differs from string theory in that it is formulated in 3 and 4 dimensions and without supersymmetry or [[Physics:Kaluza–Klein theory|Kaluza–Klein]] extra dimensions, while the latter requires both to be true. There is no experimental evidence to date that confirms string theory's predictions of supersymmetry and Kaluza–Klein extra dimensions. In a 2003 paper "A Dialog on Quantum Gravity",{{sfn|Rovelli|2003|pp=1509–1528}} Carlo Rovelli regards the fact LQG is formulated in 4 dimensions and without supersymmetry as a strength of the theory as it represents the most parsimonious explanation, consistent with current experimental results, over its rival string/M-theory. Proponents of string theory will often point to the fact that, among other things, it demonstrably reproduces the established theories of general relativity and quantum field theory in the appropriate limits, which loop quantum gravity has struggled to do. In that sense string theory's connection to established physics may be considered more reliable and less speculative, at the mathematical level. Loop quantum gravity has nothing to say about the matter (fermions) in the universe.

Since LQG has been formulated in 4 dimensions (with and without supersymmetry), and M-theory requires supersymmetry and 11 dimensions, a direct comparison between the two has not been possible. It is possible to extend mainstream LQG formalism to higher-dimensional supergravity, general relativity with supersymmetry and Kaluza–Klein extra dimensions should experimental evidence establish their existence. It would therefore be desirable to have higher-dimensional Supergravity loop quantizations at one's disposal in order to compare these approaches. A series of papers have been published attempting this.{{sfn|Bodendorfer|Thiemann|Thurn|2013a|p=045001}}{{sfn|Bodendorfer|Thiemann|Thurn|2013b|p=045002}}{{sfn|Bodendorfer|Thiemann|Thurn|2013c|p=045003}}{{sfn|Bodendorfer|Thiemann|Thurn|2013d|p=045004}}{{sfn|Bodendorfer|Thiemann|Thurn|2013e|p=045005}}{{sfn|Bodendorfer|Thiemann|Thurn|2012|p=205}}{{sfn|Bodendorfer|Thiemann|Thurn|2013f|p=045006}}{{sfn|Bodendorfer|Thiemann|Thurn|2013g|p=045007}} Most recently, Thiemann (and alumni) have made progress toward calculating black hole entropy for supergravity in higher dimensions. It will be useful to compare these results to the corresponding super string calculations.{{sfn|Bodendorfer|Thiemann|Thurn|2014|p=055002}}{{sfn|Bodendorfer|2013|pp=887–891}}

== LQG and related research programs ==
{{main| Noncommutative geometry| Physics:Twistor theory| Entropic gravity| Physics:Asymptotic safety in quantum gravity| Astronomy:Causal dynamical triangulation| Physics:Group field theory}}
Several research groups have attempted to combine LQG with other research programs: Johannes Aastrup, Jesper M. Grimstrup et al. research combines [[Noncommutative geometry|noncommutative geometry]] with canonical quantum gravity and Ashtekar variables,{{sfn|Aastrup|2012|p=018}} Laurent Freidel, Simone Speziale, et al., [[Physics:Spinors|spinors]] and [[Physics:Twistor theory|twistor theory]] with loop quantum gravity,{{sfn|Freidel|Speziale|2010|p=084041}}{{sfn|Speziale|Wieland|2012|p=124023}} and Lee Smolin et al. with Verlinde [[Entropic gravity|entropic gravity]] and loop gravity.{{sfn|Smolin|2010}} Stephon Alexander, Antonino Marciano and Lee Smolin have attempted to explain the origins of [[Physics:Weak force|weak force]] chirality in terms of Ashketar's variables, which describe gravity as chiral,{{sfn|Alexander|Marcianò|Smolin|2014|p=065017}} and LQG with [[Yang–Mills theory]] fields{{sfn|Alexander|Marcianò|Tacchi|2012|p=330}} in four dimensions. Sundance Bilson-Thompson, Hackett et al.,{{sfn|Bilson-Thompson|Markopoulou|Smolin|2007|pp=3975–3994}}{{sfn|Bilson-Thompson|2012|p=014}} has attempted to introduce the standard model via LQGs degrees of freedom as an emergent property (by employing the idea of [[Noiseless subsystems|noiseless subsystems]], a notion introduced in a more general situation for constrained systems by Fotini Markopoulou-Kalamara et al.)<ref>''Constrained Mechanics and Noiseless Subsystems'', Tomasz Konopka, Fotini Markopoulou, arXiv:gr-qc/0601028.</ref>

Furthermore, LQG has drawn philosophical comparisons with [[Astronomy:Causal dynamical triangulation|causal dynamical triangulation]]{{sfn|PITP: Renate Loll}} and asymptotically safe gravity,{{sfn|Bianchi|2010}} and the spinfoam with [[Physics:Group field theory|group field theory]] and AdS/CFT correspondence.{{sfn|Freidel|2008}} Smolin and Wen have suggested combining LQG with [[Physics:String-net liquid|string-net liquid]], [[Tensor|tensor]]s, and Smolin and Fotini Markopoulou-Kalamara quantum graphity. There is the consistent discretizations approach. Also, Pullin and Gambini provide a framework to connect the [[Physics:Functional integration|path integral]] and canonical approaches to quantum gravity. They may help reconcile the spin foam and canonical loop representation approaches. Recent research by Chris Duston and Matilde Marcolli introduces topology change via topspin networks.{{sfn|Duston|2013}}

== Problems and comparisons with alternative approaches ==
{{main|Physics:List of unsolved problems in physics}}

Some of the major unsolved problems in physics are theoretical, meaning that existing theories seem incapable of explaining a certain observed phenomenon or experimental result. The others are experimental, meaning that there is a difficulty in creating an experiment to test a proposed theory or investigate a phenomenon in greater detail.

Many of these problems apply to LQG, including:
* Can quantum mechanics and general relativity be realized as a fully consistent theory (perhaps as a quantum field theory)?
* Is spacetime fundamentally continuous or discrete?
* Would a consistent theory involve a force mediated by a hypothetical graviton, or be a product of a discrete structure of spacetime itself (as in loop quantum gravity)?
* Are there deviations from the predictions of general relativity at very small or very large scales or in other extreme circumstances that flow from a quantum gravity theory?

The theory of LQG is one possible solution to the problem of quantum gravity, as is [[Physics:String theory|string theory]]. There are substantial differences however. For example, string theory also addresses [[Physics:Unified field theory|unification]], the understanding of all known forces and particles as manifestations of a single entity, by postulating extra dimensions and so-far unobserved additional particles and symmetries. Contrary to this, LQG is based only on quantum theory and general relativity and its scope is limited to understanding the quantum aspects of the gravitational interaction. On the other hand, the consequences of LQG are radical, because they fundamentally change the nature of space and time and provide a tentative but detailed physical and mathematical picture of quantum spacetime.

Presently, no semiclassical limit recovering general relativity has been shown to exist. This means it remains unproven that LQGs description of spacetime at the [[Physics:Planck scale|Planck scale]] has the right [[Physics:Continuum limit|continuum limit]] (described by general relativity with possible quantum corrections). Specifically, the dynamics of the theory are encoded in the [[Physics:Hamiltonian constraint of LQG|Hamiltonian constraint]], but there is no candidate [[Physics:Hamiltonian (quantum mechanics)|Hamiltonian]].{{sfn|Nicolai|Peeters|Zamaklar|2005|pp=R193–R247}} Other technical problems include finding off-shell closure of the constraint algebra and physical inner product [[Vector space|vector space]], coupling to matter fields of [[Physics:Quantum field theory|quantum field theory]], fate of the [[Physics:Renormalization|renormalization]] of the [[Physics:Graviton|graviton]] in [[Physics:Perturbation theory|perturbation theory]] that lead to [[Physics:Ultraviolet divergence|ultraviolet divergence]] beyond 2-loops (see [[Physics:One-loop Feynman diagram|one-loop Feynman diagram]] in [[Physics:Feynman diagram|Feynman diagram]]).{{sfn|Nicolai|Peeters|Zamaklar|2005|pp=R193–R247}}

While there has been a proposal relating to observation of [[Astronomy:Naked singularity|naked singularities]],{{sfn|Goswami|Joshi|Singh|2006|p=31302}} and [[Physics:Doubly special relativity|doubly special relativity]] as a part of a program called [[Astronomy:Loop quantum cosmology|loop quantum cosmology]], there is no experimental observation for which loop quantum gravity makes a prediction not made by the Standard Model or general relativity (a problem that plagues all current theories of quantum gravity). Because of the above-mentioned lack of a semiclassical limit, LQG has not yet even reproduced the predictions made by general relativity.

An alternative criticism is that general relativity may be an [[Physics:Effective field theory|effective field theory]], and therefore quantization ignores the fundamental degrees of freedom.

ESA's [[Astronomy:INTEGRAL|INTEGRAL]] satellite measured polarization of photons of different wavelengths and was able to place a limit in the granularity of space<ref>{{Cite web|url=https://www.esa.int/Science_Exploration/Space_Science/Integral_challenges_physics_beyond_Einstein|title = Integral challenges physics beyond Einstein}}</ref> that is less than 10<sup>−48</sup>m or 13 orders of magnitude below the Planck scale.{{Clarify|date=November 2022|reason= See "Last part about granulation of spacetime is misleading?" in the talk page: "Public relations people at ESA put out a press release making popularized and overly sensationalized and overly broad claims. Someone should correct this."}}

== See also ==
{{cols|colwidth=20em}}
* {{annotated link|Physics:Problem of time}}
* {{annotated link|Physics:Ashtekar variables}}
* {{annotated link|C*-algebra}}
* {{annotated link|Category theory}}
* {{annotated link|Physics:Doubly special relativity}}
* {{annotated link|Gelfand–Naimark–Segal construction}}
* {{annotated link|Physics:Group field theory}}
* {{annotated link|Heyting algebra}}
* {{annotated link|Physics:Hamiltonian constraint}}
* {{annotated link|Physics:Hamiltonian constraint of LQG}}
* {{annotated link|Astronomy:Immirzi parameter}}
* {{annotated link|Knot invariant}}
* {{annotated link|Physics:Kodama state}}
* {{annotated link|Physics:Lorentz invariance in loop quantum gravity}}
* {{annotated link|Noncommutative geometry}}
* {{annotated link|Physics:Regge calculus}}
* {{annotated link|Physics:S-knot}}
* {{annotated link|Physics:Spin foam}}
* {{annotated link|Physics:String-net liquid}}
* {{annotated link|Physics:String theory}}
* {{annotated link|Physics:Supersymmetry}}
* {{annotated link|Topos|Topos theory}}
* {{annotated link|Physics:Einstein–Cartan theory}}
{{colend}}

== Notes ==
{{notelist}}

===Citations===
{{Reflist|22em}}

==Works cited==
{{refbegin|30em}}
*{{cite journal | title = Intersecting Quantum Gravity with Noncommutative Geometry – a Review
 | last = Aastrup | first = Johannes
 | journal = Symmetry, Integrability and Geometry: Methods and Applications
 | year = 2012 | volume = 8 | page = 018
 | arxiv = 1203.6164 | bibcode = 2012SIGMA...8..018A | doi = 10.3842/SIGMA.2012.018
| s2cid = 18279314 }}
*{{Cite journal | title = Linking covariant and canonical LQG: new solutions to the Euclidean Scalar Constraint
 | last1 = Alesci | first1 = E.
 | last2 = Thiemann | first2 = T.
 | last3 = Zipfel | first3 = A.
 | journal = Physical Review D
 | year = 2011 | volume = 86 | issue = 2 | page = 024017
 | arxiv = 1109.1290 | bibcode = 2012PhRvD..86b4017A | doi = 10.1103/PhysRevD.86.024017
| s2cid = 119210827 }}
*{{cite journal | title = Gravitational origin of the weak interaction's chirality
 | last1 = Alexander | first1 = Stephon
 | last2 = Marcianò | first2 = Antonino
 | last3 = Smolin | first3 = Lee
 | journal = Physical Review D
 | year = 2014 | volume = 89 | issue = 6 | page = 065017
 | arxiv = 1212.5246 | bibcode = 2014PhRvD..89f5017A | doi = 10.1103/PhysRevD.89.065017
| s2cid = 118727458 }}
*{{cite journal | title = Towards a Loop Quantum Gravity and Yang–Mills unification
 | last1 = Alexander | first1 = Stephon
 | last2 = Marcianò | first2 = Antonino
 | last3 = Tacchi | first3 = Ruggero Altair
 | journal = Physics Letters B
 | year = 2012 | volume = 716 | issue = 2 | page = 330
 | arxiv = 1105.3480 | bibcode = 2012PhLB..716..330A | doi = 10.1016/j.physletb.2012.07.034
| s2cid = 118655185 }}
*{{Cite journal | title = Spectroscopy of a canonically quantized horizon
 | last = Ansari | first = M. H.
 | journal = Nucl. Phys. B
 | year = 2007 | volume = 783 | issue = 3 | pages = 179–212
 | arxiv = hep-th/0607081 | bibcode = 2007NuPhB.783..179A | doi = 10.1016/j.nuclphysb.2007.01.009
| s2cid = 9966483 }}
*{{Cite journal | title = Generic degeneracy and entropy in loop quantum gravity
 | last = Ansari | first = M. H.
 | journal = Nucl. Phys. B
 | year = 2008 | volume = 795 | issue = 3 | pages = 635–644
 | arxiv = gr-qc/0603121 | bibcode = 2008NuPhB.795..635A | doi = 10.1016/j.nuclphysb.2007.11.038
| s2cid = 119039723 }}
*{{cite journal | title = Semiclassical States for Constrained Systems
 | last1 = Ashtekar | first1 = A.
 | last2 = Bombelli | first2 = L.
 | last3 = Corichi | first3 = A.
 | journal = [[Physics:Physical Review D|Physical Review D]]
 | year = 2005 | volume = 72 | issue = 1 | page = 025008
 | arxiv = hep-ph/0504114 | bibcode = 2005PhRvD..72a5008C | doi = 10.1103/PhysRevD.72.015008
| s2cid = 16541870 }}
*{{cite journal | title = Quantum Geometry and Black Hole Entropy
 | last1 = Ashtekar | first1 = Abhay
 | last2 = Baez | first2 = John
 | last3 = Corichi | first3 = Alejandro
 | last4 = Krasnov | first4 = Kirill
 | journal = Physical Review Letters
 | year = 1998 | volume = 80 | issue = 5 | pages = 904–907
 | arxiv = gr-qc/9710007 | bibcode = 1998PhRvL..80..904A | doi = 10.1103/PhysRevLett.80.904
| s2cid = 18980849 }}
*{{cite journal | title = Quantum horizons and black-hole entropy: Inclusion of distortion and rotation
 | last1 = Ashtekar | first1 = Abhay
 | last2 = Engle | first2 = Jonathan
 | last3 = Broeck | first3 = Chris Van Den
 | journal = Classical and Quantum Gravity
 | year = 2005 | volume = 22 | issue = 4 | pages = L27
 | arxiv = gr-qc/0412003 | bibcode = 2005CQGra..22L..27A | doi = 10.1088/0264-9381/22/4/L02
| s2cid = 53842643 }}
*{{cite book| title = Gauge Fields, Knots and Quantum Gravity
 | last1 = Baez | first1 = J.
 | last2 = de Muniain | first2 = J. P.
 | publisher = [[Company:World Scientific|World Scientific]]
 | volume = 4 | series = Series on Knots and Everything
 | at = Part III, chapter 4
 | date = 1994
 | isbn = 978-981-02-1729-7
}}
*{{cite journal | title = Approximating the physical inner product of loop quantum cosmology
 | last1 = Bahr | first1 = Benjamin
 | last2 = Thiemann | first2 = Thomas
 | journal = Classical and Quantum Gravity
 | year = 2007 | volume = 24 | issue = 8 | pages = 2109–2138
 | arxiv = gr-qc/0607075 | bibcode = 2007CQGra..24.2109B | doi = 10.1088/0264-9381/24/8/011
| s2cid = 13953362 }}
*{{cite journal | title = A Lorentzian signature model for quantum general relativity
 | last1 = Barrett | first1 = J.
 | last2 = Crane | first2 = L.
 | journal = [[Physics:Classical and Quantum Gravity|Classical and Quantum Gravity]]
 | year = 2000 | volume = 17 | issue = 16 | pages = 3101–3118
 | arxiv = gr-qc/9904025 | bibcode = 2000CQGra..17.3101B | doi = 10.1088/0264-9381/17/16/302
| s2cid = 14192824 }}
*{{Cite web| title = Loop Quantum Gravity
 | last = Bianchi | first = Eugenio
 | publisher = Institut de Physique de Nice
 | url = http://wwnpqft.inln.cnrs.fr/pdf/Bianchi.pdf | url-status = dead
 | archive-url = https://web.archive.org/web/20161018065537/http://wwnpqft.inln.cnrs.fr/pdf/Bianchi.pdf
 | date = 18–20 January 2010 | archive-date = 18 October 2016
}}
*{{cite arXiv| title = Entropy of Non-Extremal Black Holes from Loop Gravity
 | last = Bianchi | first = Eugenio
 | class = gr-qc
 | date = 2012
 | eprint = 1204.5122
}}
*{{cite journal | title = Emergent Braided Matter of Quantum Geometry
 | last = Bilson-Thompson | first = Sundance
 | journal = Symmetry, Integrability and Geometry: Methods and Applications
 | year = 2012 | volume = 8 | page = 014
 | arxiv = 1109.0080 | bibcode = 2012SIGMA...8..014B | doi = 10.3842/SIGMA.2012.014
| s2cid = 14955019 }}
*{{cite journal | title = Quantum gravity and the standard model
 | last1 = Bilson-Thompson | first1 = Sundance O
 | last2 = Markopoulou | first2 = Fotini
 | last3 = Smolin | first3 = Lee
 | journal = Classical and Quantum Gravity
 | year = 2007 | volume = 24 | issue = 16 | pages = 3975–3994
 | arxiv = hep-th/0603022 | bibcode = 2007CQGra..24.3975B | doi = 10.1088/0264-9381/24/16/002
| s2cid = 37406474 }}
*{{cite journal | title = Black hole entropy from loop quantum gravity in higher dimensions
 | last = Bodendorfer | first = N.
 | journal = Physics Letters B
 | year = 2013 | volume = 726 | issue = 4–5 | pages = 887–891
 | arxiv = 1307.5029 | bibcode = 2013PhLB..726..887B | doi = 10.1016/j.physletb.2013.09.043
| s2cid = 119331759 }}
*{{cite journal | title = Towards Loop Quantum Supergravity (LQSG)
 | last1 = Bodendorfer | first1 = N.
 | last2 = Thiemann | first2 = T.
 | last3 = Thurn | first3 = A.
 | journal = Physics Letters B
 | year = 2012 | volume = 711 | issue = 2 | page = 205
 | arxiv = 1106.1103 | bibcode = 2012PhLB..711..205B | doi = 10.1016/j.physletb.2012.04.003
| s2cid = 67817878 }}
*{{cite journal | title = New variables for classical and quantum gravity in all dimensions: I. Hamiltonian analysis
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2013a | volume = 30 | issue = 4 | page = 045001
 | arxiv = 1105.3703 | bibcode = 2013CQGra..30d5001B | doi = 10.1088/0264-9381/30/4/045001
| s2cid = 55215120 }}
*{{cite journal | title = New variables for classical and quantum gravity in all dimensions: II. Lagrangian analysis
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2013b | volume = 30 | issue = 4 | page = 045002
 | arxiv = 1105.3704 | bibcode = 2013CQGra..30d5002B | doi = 10.1088/0264-9381/30/4/045002
| s2cid = 55736166 }}
*{{cite journal | title = New variables for classical and quantum gravity in all dimensions: III. Quantum theory
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2013c | volume = 30 | issue = 4 | page = 045003
 | arxiv = 1105.3705 | bibcode = 2013CQGra..30d5003B | doi = 10.1088/0264-9381/30/4/045003
| s2cid = 55516259 }}
*{{cite journal | title = New variables for classical and quantum gravity in all dimensions: IV. Matter coupling
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2013d | volume = 30 | issue = 4 | page = 045004
 | arxiv = 1105.3706 | bibcode = 2013CQGra..30d5004B | doi = 10.1088/0264-9381/30/4/045004
| s2cid = 55530282 }}
*{{cite journal | title = On the implementation of the canonical quantum simplicity constraint
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2013e | volume = 30 | issue = 4 | page = 045005
 | arxiv = 1105.3707 | bibcode = 2013CQGra..30d5005B | doi = 10.1088/0264-9381/30/4/045005
| s2cid = 56074665 }}
*{{cite journal | title = Towards loop quantum supergravity (LQSG): I. Rarita–Schwinger sector
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2013f | volume = 30 | issue = 4 | page = 045006
 | arxiv = 1105.3709 | bibcode = 2013CQGra..30d5006B | doi = 10.1088/0264-9381/30/4/045006
| s2cid = 55726240 }}
*{{cite journal | title = Towards loop quantum supergravity (LQSG): II.p-form sector
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2013g | volume = 30 | issue = 4 | page = 045007
 | arxiv = 1105.3710 | bibcode = 2013CQGra..30d5007B | doi = 10.1088/0264-9381/30/4/045007
| s2cid = 56562416 }}
*{{cite journal | title = New variables for classical and quantum gravity in all dimensions: V. Isolated horizon boundary degrees of freedom
 | last1 = Bodendorfer | first1 = N
 | last2 = Thiemann | first2 = T
 | last3 = Thurn | first3 = A
 | journal = Classical and Quantum Gravity
 | year = 2014 | volume = 31 | issue = 5 | page = 055002
 | arxiv = 1304.2679 | bibcode = 2014CQGra..31e5002B | doi = 10.1088/0264-9381/31/5/055002
| s2cid = 119265359 }}
*{{cite book| title = Quantum Theory
 | last = Bohm | first = D.
 | publisher = [[Social:Dover Publications|Dover Publications]]
 | url = https://archive.org/details/quantumtheory0000bohm | url-access = registration
 | date = 1989
 | isbn = 978-0-486-65969-5
}}
*{{cite journal | title = Über die Serienspektra der Element
 | last = Bohr | first = N.
 | journal = [[Physics:Zeitschrift für Physik|Zeitschrift für Physik]]
 | year = 1920 | volume = 2 | issue = 5 | pages = 423–478
 | url = https://zenodo.org/record/2051363
 | bibcode = 1920ZPhy....2..423B | doi = 10.1007/BF01329978
| s2cid = 121792424 }}
*{{cite magazine| title = Big Bang or Big Bounce?: New Theory on the Universe's Birth
 | last = Bojowald | first = Martin
 | magazine = Scientific American
 | url = https://www.scientificamerican.com/article/big-bang-or-big-bounce/ | url-access = registration
 | date = October 2008
}}(available [http://www.stealthskater.com/Documents/LQG_02.pdf here]{{open access}} as of 2 May 2017)
*{{cite journal | title = Spin foam quantization and anomalies
 | last1 = Bojowald | first1 = Martin
 | last2 = Perez | first2 = Alejandro
 | journal = General Relativity and Gravitation
 | year = 2009 | volume = 42 | issue = 4 | page = 877
 | arxiv = gr-qc/0303026 | bibcode = 2010GReGr..42..877B | doi = 10.1007/s10714-009-0892-9
| s2cid = 118474 }}
*{{cite journal | title = The Holographic Principle
 | last = Bousso | first = Raphael
 | journal = [[Physics:Reviews of Modern Physics|Reviews of Modern Physics]]
 | year = 2002 | volume = 74 | issue = 3 | pages = 825–874
 | arxiv = hep-th/0203101 | bibcode = 2002RvMP...74..825B | doi = 10.1103/RevModPhys.74.825
| s2cid = 55096624 }}
*{{cite journal | title = On (cosmological) singularity avoidance in loop quantum gravity
 | last1 = Brunnemann | first1 = J
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2006a | volume = 23 | issue = 5 | pages = 1395–1428
 | arxiv = gr-qc/0505032 | bibcode = 2006CQGra..23.1395B | doi = 10.1088/0264-9381/23/5/001
| s2cid = 17901385 }}
*{{cite journal | title = Unboundedness of triad-like operators in loop quantum gravity
 | last1 = Brunnemann | first1 = J
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2006b | volume = 23 | issue = 5 | pages = 1429–1484
 | arxiv = gr-qc/0505033 | bibcode = 2006CQGra..23.1429B | doi = 10.1088/0264-9381/23/5/002
| s2cid = 15885452 }}
*{{cite journal | title = Minkowski vacuum in background independent quantum gravity
 | last1 = Conrady | first1 = Florian
 | last2 = Doplicher | first2 = Luisa
 | last3 = Oeckl | first3 = Robert
 | last4 = Rovelli | first4 = Carlo
 | last5 = Testa | first5 = Massimo
 | journal = Physical Review D
 | year = 2004 | volume = 69 | issue = 6 | page = 064019
 | arxiv = gr-qc/0307118 | bibcode = 2004PhRvD..69f4019C | doi = 10.1103/PhysRevD.69.064019
| s2cid = 30190407 }}
*{{cite journal | title = Generalized Schrödinger Equation in Euclidean Field Theory
 | last1 = Conrady | first1 = Florian
 | last2 = Rovelli | first2 = Carlo
 | journal = International Journal of Modern Physics A
 | year = 2004 | volume = 19 | issue = 24 | page = 4037
 | arxiv = hep-th/0310246 | bibcode = 2004IJMPA..19.4037C | doi = 10.1142/S0217751X04019445
| s2cid = 18048123 }}
*{{cite journal | title = Partial and Complete Observables for Canonical General Relativity
 | last = Dittrich | first = B
 | journal = [[Physics:Classical and Quantum Gravity|Classical and Quantum Gravity]]
 | year = 2006 | volume = 23 | issue = 22 | pages = 6155–6184
 | arxiv = gr-qc/0507106 | bibcode = 2006CQGra..23.6155D | doi = 10.1088/0264-9381/23/22/006
| s2cid = 6945571 }}
*{{cite journal | title = Partial and Complete Observables for Hamiltonian Constrained Systems
 | last = Dittrich | first = B.
 | journal = [[Astronomy:General Relativity and Gravitation|General Relativity and Gravitation]]
 | year = 2007 | volume = 39 | issue = 11 | pages = 1891–1927
 | arxiv = gr-qc/0411013 | bibcode = 2007GReGr..39.1891D | doi = 10.1007/s10714-007-0495-2
| s2cid = 14617707 }}
*{{cite journal | title = Testing the master constraint programme for loop quantum gravity: I. General framework
 | last1 = Dittrich | first1 = B
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2006a | volume = 23 | issue = 4 | pages = 1025–1066
 | arxiv = gr-qc/0411138 | bibcode = 2006CQGra..23.1025D | doi = 10.1088/0264-9381/23/4/001
| s2cid = 16155563 }}
*{{cite journal | title = Testing the master constraint programme for loop quantum gravity: II. Finite-dimensional systems
 | last1 = Dittrich | first1 = B
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2006b | volume = 23 | issue = 4 | pages = 1067–1088
 | arxiv = gr-qc/0411139 | bibcode = 2006CQGra..23.1067D | doi = 10.1088/0264-9381/23/4/002
| s2cid = 14395043 }}
*{{cite journal | title = Testing the master constraint programme for loop quantum gravity: III. Models
 | last1 = Dittrich | first1 = B
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2006c | volume = 23 | issue = 4 | pages = 1089–1120
 | arxiv = gr-qc/0411140 | bibcode = 2006CQGra..23.1089D | doi = 10.1088/0264-9381/23/4/003
| s2cid = 16944390 }}
*{{cite journal | title = Testing the master constraint programme for loop quantum gravity: IV. Free field theories
 | last1 = Dittrich | first1 = B
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2006d | volume = 23 | issue = 4 | pages = 1121–1142
 | arxiv = gr-qc/0411141 | bibcode = 2006CQGra..23.1121D | doi = 10.1088/0264-9381/23/4/004
| s2cid = 16510175 }}
*{{cite journal | title = Testing the master constraint programme for loop quantum gravity: V. Interacting field theories
 | last1 = Dittrich | first1 = B
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2006e | volume = 23 | issue = 4 | pages = 1143–1162
 | arxiv = gr-qc/0411142 | bibcode = 2006CQGra..23.1143D | doi = 10.1088/0264-9381/23/4/005
| s2cid = 17888279 }}
*{{cite journal | title = Generalized Tomonaga-Schwinger equation from the Hadamard formula
 | last = Doplicher | first = Luisa
 | journal = Physical Review D
 | year = 2004 | volume = 70 | issue = 6 | page = 064037
 | arxiv = gr-qc/0405006 | bibcode = 2004PhRvD..70f4037D | doi = 10.1103/PhysRevD.70.064037
| s2cid = 14402915 }}
*{{cite journal | title = Symmetry and entropy of black hole horizons
 | last1 = Dreyer | first1 = O.
 | last2 = Markopoulou | first2 = f.
 | last3 = Smolin | first3 = L.
 | journal = Nuclear Physics B
 | year = 2006 | volume = 774 | issue = 1–2 | pages = 1–13
 | arxiv = hep-th/0409056 | bibcode = 2006NuPhB.744....1D | doi = 10.1016/j.nuclphysb.2006.02.045
| s2cid = 14282122 }}
*{{Cite journal | title = The Fundamental Group of a Spatial Section Represented by a Topspin Network
 | last = Duston | first = Christopher L
 | date = 13 August 2013
 | arxiv = 1308.2934 | bibcode = 2013arXiv1308.2934D
}}
*{{cite journal | title = Loop-Quantum-Gravity Vertex Amplitude
 | last1 = Engle | first1 = J.
 | last2 = Pereira | first2 = R.
 | last3 = Rovelli | first3 = C.
 | journal = [[Physics:Physical Review Letters|Physical Review Letters]]
 | year = 2009 | volume = 99 | issue = 16 | page = 161301
 | arxiv = 0705.2388 | bibcode = 2007PhRvL..99p1301E | doi = 10.1103/physrevlett.99.161301 | pmid = 17995233
| s2cid = 27052383 }}
*{{cite arXiv| title = q-Deformation of Lorentzian spin foam models
 | last1 = Fairbairn | first1 = W. J.
 | last2 = Meusburger | first2 = C.
 | class = gr-qc
 | date = 2011
 | eprint = 1112.2511
}}
*{{cite journal | title = Reality Conditions and Ashtekar Variables: A Different Perspective
 | last1 = Fernando | first1 = J.
 | last2 = Barbero | first2 = G.
 | journal = [[Physics:Physical Review D|Physical Review D]]
 | year = 1995a | volume = 51 | issue = 10 | pages = 5498–5506
 | arxiv = gr-qc/9410013 | bibcode = 1995PhRvD..51.5498B | doi = 10.1103/PhysRevD.51.5498 | pmid = 10018308
| s2cid = 16131908 }}
*{{cite journal | title = Real Ashtekar Variables for Lorentzian Signature Space-times
 | last1 = Fernando | first1 = J.
 | last2 = Barbero | first2 = G.
 | journal = [[Physics:Physical Review D|Physical Review D]]
 | year = 1995b | volume = 51 | issue = 10 | pages = 5507–5520
 | arxiv = gr-qc/9410014 | bibcode = 1995PhRvD..51.5507B | doi = 10.1103/PhysRevD.51.5507 | pmid = 10018309
| s2cid = 16314220 }}
*{{cite journal | title = Irreducibility of the Weyl algebra in loop quantum gravity
 | last = Fleischhack | first = C.
 | journal = [[Physics:Physical Review Letters|Physical Review Letters]]
 | year = 2006 | volume = 97 | issue = 6 | page = 061302
 | bibcode = 2006PhRvL..97f1302F | doi = 10.1103/physrevlett.97.061302 | pmid = 17026156
}}
*{{cite journal | title = A new spin foam model for 4D gravity
 | last1 = Freidel | first1 = L.
 | last2 = Krasnov | first2 = K.
 | journal = [[Physics:Classical and Quantum Gravity|Classical and Quantum Gravity]]
 | year = 2008 | volume = 25 | issue = 12 | page = 125018
 | arxiv = 0708.1595 | bibcode = 2008CQGra..25l5018F | doi = 10.1088/0264-9381/25/12/125018
| s2cid = 119138842 }}
*{{Cite journal | title = Reconstructing AdS/CFT
 | last = Freidel | first = Laurent
 | date = 4 April 2008
 | arxiv = 0804.0632 | bibcode = 2008arXiv0804.0632F
}}
*{{cite journal | title = Twistors to twisted geometries
 | last1 = Freidel | first1 = Laurent
 | last2 = Speziale | first2 = Simone
 | journal = Physical Review D
 | year = 2010 | volume = 82 | issue = 8 | page = 084041
 | arxiv = 1006.0199 | bibcode = 2010PhRvD..82h4041F | doi = 10.1103/PhysRevD.82.084041
| s2cid = 119292655 }}
*{{cite journal | title = Quasilocal first law for black hole thermodynamics
 | last1 = Frodden | first1 = Ernesto
 | last2 = Ghosh | first2 = Amit
 | last3 = Perez | first3 = Alejandro
 | journal = Physical Review D
 | year = 2013 | volume = 87 | issue = 12 | page = 121503
 | arxiv = 1110.4055 | bibcode = 2013PhRvD..87l1503F | doi = 10.1103/PhysRevD.87.121503
| s2cid = 56145555 }}
*{{cite book| title = A First Course in Loop Quantum Gravity
 | last1 = Gambini | first1 = R.
 | last2 = Pullin | first2 = J.
 | publisher = [[Organization:Oxford University Press|Oxford University Press]]
 | date = 2011
 | isbn = 978-0-19-959075-9
}}
*{{cite journal | title = Emergent diffeomorphism invariance in a discrete loop quantum gravity model
 | last1 = Gambini | first1 = Rodolfo
 | last2 = Pullin | first2 = Jorge
 | journal = Classical and Quantum Gravity
 | year = 2009 | volume = 26 | issue = 3 | page = 035002
 | arxiv = 0807.2808 | bibcode = 2009CQGra..26c5002G | doi = 10.1088/0264-9381/26/3/035002
| s2cid = 118500639 }}
*{{cite book| title = Loop Quantum Gravity for Everyone
 | last1 = Gambini | first1 = Rodolfo
 | last2 = Pullin | first2 = Jorge
 | publisher = World Scientific
 | date = 2020
 | doi = 10.1142/11599 | isbn = 978-981121195-9
| s2cid = 202934669 }}
*{{cite journal | title = Algebraic quantum gravity (AQG): I. Conceptual setup
 | last1 = Giesel | first1 = K
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2007a | volume = 24 | issue = 10 | pages = 2465–2498
 | arxiv = gr-qc/0607099 | bibcode = 2007CQGra..24.2465G | doi = 10.1088/0264-9381/24/10/003
| s2cid = 17907375 }}
*{{cite journal | title = Algebraic quantum gravity (AQG): II. Semiclassical analysis
 | last1 = Giesel | first1 = K
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2007b | volume = 24 | issue = 10 | pages = 2499–2564
 | arxiv = gr-qc/0607100 | bibcode = 2007CQGra..24.2499G | doi = 10.1088/0264-9381/24/10/004
| s2cid = 88507130 }}
*{{cite journal | title = Algebraic quantum gravity (AQG): III. Semiclassical perturbation theory
 | last1 = Giesel | first1 = K
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2007c | volume = 24 | issue = 10 | pages = 2565–2588
 | arxiv = gr-qc/0607101 | bibcode = 2007CQGra..24.2565G | doi = 10.1088/0264-9381/24/10/005
| s2cid = 17728576 }}
*{{Cite journal | title = Quantum evaporation of a naked singularity
 | last1 = Goswami
 | last2 = Joshi | first2 = Pankaj S.
 | last3 = Singh | first3 = Parampreet
 | display-authors = etal
 | journal = Physical Review Letters
 | year = 2006 | volume = 96 | issue = 3 | page = 31302
 | arxiv = gr-qc/0506129 | bibcode = 2006PhRvL..96c1302G | doi = 10.1103/PhysRevLett.96.031302 | pmid = 16486681
| s2cid = 19851285
 }}
*{{cite journal | title = A path integral for the master constraint of loop quantum gravity
 | last = Han | first = Muxin
 | journal = Classical and Quantum Gravity
 | year = 2010 | volume = 27 | issue = 21 | page = 215009
 | arxiv = 0911.3432 | bibcode = 2010CQGra..27u5009H | doi = 10.1088/0264-9381/27/21/215009
| s2cid = 118610209 }}
*{{cite journal | title = On the relation between operator constraint, master constraint, reduced phase space and path integral quantization
 | last1 = Han | first1 = Muxin
 | last2 = Thiemann | first2 = T
 | journal = Classical and Quantum Gravity
 | year = 2010a | volume = 27 | issue = 22 | page = 225019
 | arxiv = 0911.3428 | bibcode = 2010CQGra..27v5019H | doi = 10.1088/0264-9381/27/22/225019
| s2cid = 119262615 }}
*{{cite journal | title = On the relation between rigging inner product and master constraint direct integral decomposition
 | last1 = Han | first1 = Muxin
 | last2 = Thiemann | first2 = Thomas
 | journal = Journal of Mathematical Physics
 | year = 2010b | volume = 51 | issue = 9 | page = 092501
 | arxiv = 0911.3431 | bibcode = 2010JMP....51i2501H | doi = 10.1063/1.3486359
| s2cid = 115176353 }}
*{{cite book| title = The Conceptual Development of Quantum Mechanics | edition = 2nd
 | last = Jammer | first = M.
 | publisher = Tomash Publishers
 | at = Section 3.2
 | date = 1989
 | isbn = 978-0-88318-617-6
}}
*{{cite web| title = A Possible Solution For The Problem Of Time In Quantum Cosmology
 | last1 = Kauffman | first1 = S.
 | last2 = Smolin | first2 = L.
 | website = Edge.org
 | url = http://www.edge.org/3rd_culture/smolin/smolin_p1.html | url-status = dead
 | archive-url = https://web.archive.org/web/20190101202114/https://www.edge.org/3rd_culture/smolin/smolin_p1.html
 | date = 7 April 1997 | access-date = 20 August 2014 | archive-date = 1 January 2019
}}
*{{cite arXiv| title = Geometry from quantum particles
 | last1 = Kribs | first1 = D. W.
 | last2 = Markopoulou | first2 = F.
 | date = 11 October 2005
 | eprint = gr-qc/0510052
}}
*{{cite journal | title = Uniqueness of Diffeomorphism Invariant States on Holonomy-Flux Algebras
 | last1 = Lewandowski | first1 = J.
 | last2 = Okołów | first2 = A.
 | last3 = Sahlmann | first3 = H.
 | last4 = Thiemann | first4 = T.
 | journal = [[Physics:Communications in Mathematical Physics|Communications in Mathematical Physics]]
 | year = 2006 | volume = 267 | issue = 3 | pages = 703–733
 | arxiv = gr-qc/0504147 | bibcode = 2006CMaPh.267..703L | doi = 10.1007/s00220-006-0100-7
| s2cid = 14866220 }}
*{{cite journal | title = Consistently Solving the Simplicity Constraints for Spinfoam Quantum Gravity
 | last1 = Livine | first1 = E.
 | last2 = Speziale | first2 = S.
 | journal = EPL
 | year = 2008 | volume = 81 | issue = 5 | page = 50004
 | arxiv = 0708.1915 | bibcode = 2008EL.....8150004L | doi = 10.1209/0295-5075/81/50004
| s2cid = 119718476 }}
*{{cite journal | title = Black Hole Entropy and Quantum Gravity
 | last = Majumdar | first = Parthasarathi
 | journal = Indian J. Phys.
 | year = 1998 | volume = 73 | issue = 2 | page = 147
 | arxiv = gr-qc/9807045 | bibcode = 1999InJPB..73..147M
}}
*{{cite journal | title = Particle Scattering in Loop Quantum Gravity
 | last1 = Modesto | first1 = Leonardo
 | last2 = Rovelli | first2 = Carlo
 | journal = Physical Review Letters
 | year = 2005 | volume = 95 | issue = 19 | page = 191301
 | arxiv = gr-qc/0502036 | bibcode = 2005PhRvL..95s1301M | doi = 10.1103/PhysRevLett.95.191301 | pmid = 16383970
| s2cid = 46705469 }}
*{{cite journal | title = Cosmological constant in loop quantum gravity vertex amplitude
 | last = Muxin | first = H.
 | journal = [[Physics:Physical Review D|Physical Review D]]
 | year = 2011 | volume = 84 | issue = 6 | page = 064010
 | arxiv = 1105.2212 | bibcode = 2011PhRvD..84f4010H | doi = 10.1103/PhysRevD.84.064010
| s2cid = 119144559 }}
*{{Cite journal | title = Loop quantum gravity: an outside view
 | last1 = Nicolai | first1 = Hermann
 | last2 = Peeters | first2 = Kasper
 | last3 = Zamaklar | first3 = Marija
 | journal = Classical and Quantum Gravity
 | year = 2005 | volume = 22 | issue = 19 | pages = R193–R247
 | arxiv = hep-th/0501114 | bibcode = 2005CQGra..22R.193N | doi = 10.1088/0264-9381/22/19/R01
| s2cid = 14106366 }}
*{{cite journal | title = A "general boundary" formulation for quantum mechanics and quantum gravity
 | last = Oeckl | first = Robert
 | journal = Physics Letters B
 | year = 2003a | volume = 575 | issue = 3–4 | pages = 318–324
 | arxiv = hep-th/0306025 | bibcode = 2003PhLB..575..318O | doi = 10.1016/j.physletb.2003.08.043
| s2cid = 119485193 }}
*{{cite journal | title = Schrödinger's cat and the clock: Lessons for quantum gravity
 | last = Oeckl | first = Robert
 | journal = Classical and Quantum Gravity
 | year = 2003b | volume = 20 | issue = 24 | pages = 5371–5380
 | arxiv = gr-qc/0306007 | bibcode = 2003CQGra..20.5371O | doi = 10.1088/0264-9381/20/24/009
| s2cid = 118978523 }}
*{{cite web| title = Renate Loll
 | publisher = [[Organization:Perimeter Institute for Theoretical Physics|Perimeter Institute for Theoretical Physics]]
 | url = http://www.perimeterinstitute.ca/people/renate-loll
 | access-date = 4 November 2016
 | ref = {{harvid|PITP: Renate Loll}}
}}
*{{cite book| title = Quantum Gravity
 | last = Rovelli | first = C. | year = 2004
 | series = Cambridge Monographs on Mathematical Physics
 | pages = 13ff
 | isbn = 978-0-521-83733-0
}}
*{{cite arXiv| title = Zakopane lectures on loop gravity
 | last = Rovelli | first = C. | year = 2011
 | class = gr-qc
 | eprint = 1102.3660
}}
*{{cite journal | title = The complete LQG propagator I. Difficulties with the Barrett–Crane vertex
 | last1 = Rovelli | first1 = C.
 | last2 = Alesci | first2 = E.
 | journal = [[Physics:Physical Review D|Physical Review D]]
 | year = 2007 | volume = 76 | issue = 2 | page = 104012
 | arxiv = 0708.0883 | bibcode = 2007PhRvD..76j4012A | doi = 10.1103/PhysRevD.76.104012
| s2cid = 18845501 }}
*{{cite journal | title = Knot Theory and Quantum Gravity
 | last1 = Rovelli | first1 = C.
 | last2 = Smolin | first2 = L.
 | journal = [[Physics:Physical Review Letters|Physical Review Letters]]
 | year = 1988 | volume = 61 | issue = 10 | pages = 1155–1158
 | bibcode = 1988PhRvL..61.1155R | doi = 10.1103/PhysRevLett.61.1155 | pmid = 10038716
}}
*{{cite journal | title = Black Hole Entropy from Loop Quantum Gravity
 | last = Rovelli | first = Carlo
 | journal = Physical Review Letters
 | year = 1996 | volume = 77 | issue = 16 | pages = 3288–3291
 | arxiv = gr-qc/9603063 | bibcode = 1996PhRvL..77.3288R | doi = 10.1103/PhysRevLett.77.3288 | pmid = 10062183
| s2cid = 43493308 }}
*{{cite journal | title = A Dialog on Quantum Gravity
 | last = Rovelli | first = Carlo
 | journal = International Journal of Modern Physics D
 | year = 2003 | volume = 12 | issue = 9 | pages = 1509–1528
 | arxiv = hep-th/0310077 | bibcode = 2003IJMPD..12.1509R | doi = 10.1142/S0218271803004304
| s2cid = 119406493 }}
*{{cite journal| title = Loop Quantum Gravity
 | last = Rovelli | first = Carlo
 | journal = Living Reviews in Relativity
 | url = http://indico.cern.ch/event/21917/contribution/30/material/slides/0.pdf
 | date = August 2008 | volume = 11 | issue = 1 | page = 5 | doi = 10.12942/lrr-2008-5 | pmid = 28179822 | pmc = 5256093 | bibcode = 2008LRR....11....5R | access-date = 14 September 2014
}}
*{{cite journal | title = Planck stars
 | last1 = Rovelli | first1 = Carlo
 | last2 = Vidotto | first2 = Francesca
 | journal = International Journal of Modern Physics D
 | year = 2014 | volume = 23 | issue = 12 | page = 1442026
 | arxiv = 1401.6562 | bibcode = 2014IJMPD..2342026R | doi = 10.1142/S0218271814420267
| s2cid = 118917980 }}
*{{cite book| chapter = The Case for Background Independence
 | last = Smolin | first = L.
 | title = The Structural Foundations of Quantum Gravity
 | editor1-last = Rickles | editor1-first = D.
 | editor2-last = French | editor2-first = S.
 | editor3-last = Saatsi | editor3-first = J. T.
 | publisher = Clarendon Press
 | date = 2006 | pages = 196''ff''
 | arxiv = hep-th/0507235 | bibcode = 2005hep.th....7235S | isbn = 978-0-19-926969-3
}}
*{{Cite journal | title = Newtonian gravity in loop quantum gravity
 | last = Smolin | first = Lee
 | date = 20 January 2010
 | arxiv = 1001.3668 | bibcode = 2010arXiv1001.3668S
}}
*{{cite journal | title = The twistorial structure of loop-gravity transition amplitudes
 | last1 = Speziale | first1 = Simone
 | last2 = Wieland | first2 = Wolfgang
 | journal = Physical Review D
 | year = 2012 | volume = 86 | issue = 12 | page = 124023
 | arxiv = 1207.6348 | bibcode = 2012PhRvD..86l4023S | doi = 10.1103/PhysRevD.86.124023
| s2cid = 59406729 }}
*{{cite journal | title = Anomaly-free formulation of non-perturbative, four-dimensional Lorentzian quantum gravity
 | last = Thiemann | first = Thomas
 | journal = [[Physics:Physics Letters B|Physics Letters B]]
 | year = 1996 | volume = 380 | issue = 3–4 | pages = 257–264
 | arxiv = gr-qc/9606088 | bibcode = 1996PhLB..380..257T | doi = 10.1016/0370-2693(96)00532-1
| s2cid = 8691449 }}
*{{cite book| chapter = Lectures on Loop Quantum Gravity
 | last = Thiemann | first = Thomas
 | title = Quantum Gravity
 | volume = 631 | series = [[Physics:Lecture Notes in Physics|Lecture Notes in Physics]]
 | pages = 41–135
 | date = 2003
 | arxiv = gr-qc/0210094 | bibcode = 2003LNP...631...41T | doi = 10.1007/978-3-540-45230-0_3 | isbn = 978-3-540-40810-9
| s2cid = 119151491 }}
*{{cite journal | title = The Phoenix Project: Master constraint programme for loop quantum gravity
 | last = Thiemann | first = Thomas
 | journal = Classical and Quantum Gravity
 | year = 2006a | volume = 23 | issue = 7 | pages = 2211–2247
 | arxiv = gr-qc/0305080 | bibcode = 2006CQGra..23.2211T | doi = 10.1088/0264-9381/23/7/002
| s2cid = 16304158 }}
*{{cite journal | title = Quantum spin dynamics: VIII. The master constraint
 | last = Thiemann | first = Thomas
 | journal = Classical and Quantum Gravity
 | year = 2006b | volume = 23 | issue = 7 | pages = 2249–2265
 | arxiv = gr-qc/0510011 | bibcode = 2006CQGra..23.2249T | doi = 10.1088/0264-9381/23/7/003
| s2cid = 29095312 }}
*{{cite book| title = Modern Canonical General Relativity
 | last = Thiemann | first = Thomas
 | publisher = {{wipe|Cambridge University Press}}
 | at = Section 10.6
 | series = Cambridge Monographs on Mathematical Physics
 | date = 2008
 | isbn = 978-0-521-74187-3
}}
*{{cite book| title = Modern Physics | edition = 5th
 | last1 = Tipler | first1 = P.
 | last2 = Llewellyn | first2 = R.
 | publisher = W. H. Freeman and Co
 | date = 2008 | pages = 160–161
 | isbn = 978-0-7167-7550-8
}}
{{refend}}

== Further reading ==
* Popular books:
** Rodolfo Gambini and [[Biography:Jorge Pullin|Jorge Pullin]], [https://doi.org/10.1142/11599 ''Loop Quantum Gravity for Everyone''], [[Company:World Scientific|World Scientific]], 2020.
** [[Biography:Carlo Rovelli|Carlo Rovelli]], "Reality is not what it seems", Penguin, 2016.
** [[Biography:Martin Bojowald|Martin Bojowald]], ''Once Before Time: A Whole Story of the Universe'' 2010.
** [[Biography:Carlo Rovelli|Carlo Rovelli]], ''What is Time? What is space?'', Di Renzo Editore, Roma, 2006.
** [[Biography:Lee Smolin|Lee Smolin]], ''[[Physics:Three Roads to Quantum Gravity|Three Roads to Quantum Gravity]]'', 2001.
* Magazine articles:
** [[Biography:Lee Smolin|Lee Smolin]], "Atoms of Space and Time", ''Scientific American'', January 2004.
** [[Biography:Martin Bojowald|Martin Bojowald]], "Following the Bouncing Universe", ''Scientific American'', October 2008.
* Easier introductory, expository or critical works:
** Abhay Ashtekar, ''Gravity and the quantum'', e-print available as [https://arxiv.org/abs/gr-qc/0410054 gr-qc/0410054] (2004).
** [[Biography:John C. Baez|John C. Baez]] and Javier P. Muniain, ''Gauge Fields, Knots and Quantum Gravity'', World Scientific (1994).
** [[Biography:Carlo Rovelli|Carlo Rovelli]], ''A Dialog on Quantum Gravity'', e-print available as [https://arxiv.org/abs/hep-th/0310077 hep-th/0310077] (2003).
** [[Biography:Carlo Rovelli|Carlo Rovelli]] and Francesca Vidotto, ''Covariant Loop Quantum Gravity'', Cambridge (2014); [http://www.cpt.univ-mrs.fr/~rovelli/IntroductionLQG.pdf draft available online].
* More advanced introductory/expository works:
** [[Biography:Carlo Rovelli|Carlo Rovelli]], ''Quantum Gravity'', Cambridge University Press (2004); [http://www.cpt.univ-mrs.fr/~rovelli/book.pdf draft available online].
** Abhay Ashtekar, ''New Perspectives in Canonical Gravity'', Bibliopolis (1988).
** Abhay Ashtekar, ''Lectures on Non-Perturbative Canonical Gravity'', World Scientific (1991).
** Rodolfo Gambini and [[Biography:Jorge Pullin|Jorge Pullin]], ''Loops, Knots, Gauge Theories and Quantum Gravity'', Cambridge University Press (1996).
** T. Thiemann [https://arxiv.org/abs/hep-th/0401172v1 The LQG – String: Loop Quantum Gravity Quantization of String Theory] (2004).
** {{cite journal | title = BF gravity
 | last1 = Celada | first1 = Mariano
 | last2 = Gonzalez | first2 = Diego
 | last3 = Montesinos | first3 = Merced
 | journal = Classical and Quantum Gravity
 | year = 2016 | volume = 33 | issue = 21 | page = 213001
 | arxiv = 1610.02020 | bibcode = 2016CQGra..33u3001C | doi = 10.1088/0264-9381/33/21/213001
 | s2cid = 119605468 | ref = none
}}
* Topical reviews
** {{cite arXiv| title = Zakopane lectures on loop gravity
 | last = Rovelli | first = Carlo
 | class = gr-qc
 | date = 2011
 | eprint = 1102.3660
 | ref = none
}}
** {{Cite journal | title = Loop Quantum Gravity
 | last = Rovelli | first = Carlo
 | journal = Living Reviews in Relativity
 | year = 1998 | volume = 1 | issue = 1 | page = 1
 | arxiv = gr-qc/9710008 | bibcode = 1998LRR.....1....1R | doi = 10.12942/lrr-1998-1 | pmc = 5567241 | pmid = 28937180
 | ref = none
}}
** {{Cite book| chapter = Lectures on Loop Quantum Gravity
 | last = Thiemann | first = Thomas
 | title = Quantum Gravity
 | volume = 631 | series = [[Physics:Lecture Notes in Physics|Lecture Notes in Physics]]
 | pages = 41–135
 | date = 2003
 | arxiv = gr-qc/0210094 | bibcode = 2003LNP...631...41T | doi = 10.1007/978-3-540-45230-0_3 | isbn = 978-3-540-40810-9
 | s2cid = 119151491 | ref = none
}}
** {{Cite journal | title = Background Independent Quantum Gravity: A Status Report
 | last1 = Ashtekar | first1 = Abhay
 | last2 = Lewandowski | first2 = Jerzy
 | journal = Classical and Quantum Gravity
 | year = 2004 | volume = 21 | issue = 15 | pages = R53–R152
 | arxiv = gr-qc/0404018 | bibcode = 2004CQGra..21R..53A | doi = 10.1088/0264-9381/21/15/R01
 | s2cid = 119175535 | ref = none
}}
** [[Biography:Carlo Rovelli|Carlo Rovelli]] and Marcus Gaul, ''Loop Quantum Gravity and the Meaning of Diffeomorphism Invariance'', e-print available as [https://arxiv.org/abs/gr-qc/9910079 gr-qc/9910079].
** [[Biography:Lee Smolin|Lee Smolin]], ''The case for background independence'', e-print available as [https://arxiv.org/abs/hep-th/0507235 hep-th/0507235].
** Alejandro Corichi, ''Loop Quantum Geometry: A primer'', e-print available as [https://arxiv.org/abs/gr-qc/0507038v2 Loop Quantum Geometry: A primer].
** Alejandro Perez, ''Introduction to loop quantum gravity and spin foams'', e-print available as [https://arxiv.org/abs/gr-qc/0409061v3 Introduction to Loop Quantum Gravity and Spin Foams].
* Fundamental research papers:
** [[Biography:Roger Penrose|Roger Penrose]], ''Angular momentum: an approach to combinatorial space-time'' in ''Quantum Theory and Beyond'', ed. Ted Bastin, Cambridge University Press, 1971.
** {{Cite journal | title = Knot theory and quantum gravity
 | last1 = Rovelli | first1 = Carlo
 | last2 = Smolin | first2 = Lee
 | journal = Physical Review Letters
 | year = 1988 | volume = 61 | issue = 10 | pages = 1155–1158
 | bibcode = 1988PhRvL..61.1155R | doi = 10.1103/PhysRevLett.61.1155 | pmid = 10038716
 | ref = none
}}
** {{Cite journal | title = Loop space representation of quantum general relativity
 | last1 = Rovelli | first1 = Carlo
 | last2 = Smolin | first2 = Lee
 | journal = Nuclear Physics
 | year = 1990 | volume = B331 | issue = 1 | pages = 80–152
 | bibcode = 1990NuPhB.331...80R | doi = 10.1016/0550-3213(90)90019-a
 | ref = none
}}
** [[Biography:Carlo Rovelli|Carlo Rovelli]] and [[Biography:Lee Smolin|Lee Smolin]], ''Discreteness of area and volume in quantum gravity'', Nucl. Phys., '''B442''' (1995) 593–622, e-print available as {{arxiv|gr-qc/9411005}}.
** {{Cite book | last = Thiemann | first = Thomas
 | title = Approaches to Fundamental Physics | chapter = Loop Quantum Gravity: An Inside View | year = 2007 | volume = 721 | pages = 185–263
 | series = Lecture Notes in Physics
 | arxiv = hep-th/0608210 | bibcode = 2007LNP...721..185T | doi = 10.1007/978-3-540-71117-9_10 | isbn = 978-3-540-71115-5
 | s2cid = 119572847 | ref = none
}}

== External links ==
* [https://www.youtube.com/playlist?list=PLwLvxaPjGHxR6zr421tXXlaDGbq8S36Un Introduction to Loop Quantum Gravity] Online lectures by Carlo Rovelli
* [http://www.cpt.univ-mrs.fr/~rovelli/IntroductionLQG.pdf ''Covariant Loop Quantum Gravity''] by [[Biography:Carlo Rovelli|Carlo Rovelli]] and Francesca Vidotto
* [http://cgpg.gravity.psu.edu/people/Ashtekar/articles/rovelli03.pdf "Loop Quantum Gravity" by Carlo Rovelli] Physics World, November 2003
* [http://universe-review.ca/R01-07-quantumfoam.htm Quantum Foam and Loop Quantum Gravity]
* [http://cgpg.gravity.psu.edu/people/Ashtekar/articles.html Abhay Ashtekar: Semi-Popular Articles. Some excellent popular articles suitable for beginners about space, time, GR, and LQG]
* [http://www.edge.org/3rd_culture/smolin03/smolin03_index.html Loop Quantum Gravity: Lee Smolin]
* [https://web.archive.org/web/20070928110105/http://www.perimeterinstitute.ca/Events/Introduction_to_Quantum_Gravity/Introduction_to_Quantum_Gravity/ Loop Quantum Gravity Lectures Online] by Lee Smolin
* [http://jdc.math.uwo.ca/spin-foams/ Spin networks, spin foams and loop quantum gravity]
* Wired magazine, News: ''[https://www.wired.com/news/technology/0,71828-0.html Moving Beyond String Theory]''
* [https://web.archive.org/web/20081013031912/http://www.sciam.com/special/toc.cfm?issueid=40&sc=rt_nav_list April 2006 Scientific American Special Issue, ''A Matter of Time'', has Lee Smolin LQG Article ''Atoms of Space and Time'']
* September 2006, The Economist, article ''[http://www.economist.com/science/displaystory.cfm?story_id=7963608 Looping the loop]''
* Gamma-ray Large Area Space Telescope: [http://glast.gsfc.nasa.gov/ The Fermi Gamma-ray Space Telescope] {{Webarchive|url=https://web.archive.org/web/20080618221025/http://glast.gsfc.nasa.gov/ |date=18 June 2008 }}
* [https://arxiv.org/abs/physics/0505042 Zeno meets modern science.] Article from [http://th-www.if.uj.edu.pl/acta/ Acta Physica Polonica B] by Z.K. Silagadze.
* [https://www.newscientist.com/article/mg19826514.300-did-prebig-bang-universe-leave-its-mark-on-the-sky.html Did pre-big bang universe leave its mark on the sky?] – According to a model based on "loop quantum gravity" theory, a parent universe that existed before ours may have left an imprint (''New Scientist'', 10 April 2008)
*{{cite web| title = Loop Quantum Gravity Explained
 | last = O'Dowd | first = Matt
 | work = PBS Space Time
 | url = https://www.youtube.com/watch?v=L2suMPiuog4 | via = [[Company:YouTube|YouTube]]
 | date = 15 October 2019
}}

{{Theories of gravitation}}
{{quantum gravity}}
{{Standard model of physics}}

{{DEFAULTSORT:Loop Quantum Gravity}}
[[Category:Loop quantum gravity| ]]
[[Category:Physics beyond the Standard Model]]

{{Sourceattribution|Loop quantum gravity}}