Loop quantum gravity (LQG) is a theory of quantum gravity attempting to merge quantum mechanics and general relativity,
including the incorporation of the matter of the standard model into
the framework established for the pure quantum gravity case. LQG
competes with string theory as a candidate for quantum gravity, but unlike string theory is not a candidate for a theory of everything.
According to Einstein, gravity is not a force – it is a property of spacetime
itself. So far, all attempts to treat gravity as another quantum force
equal in importance to electromagnetism and the nuclear forces have
failed, and loop quantum gravity is an attempt to develop a quantum
theory of gravity based directly on Einstein's geometric formulation
rather than the treatment of gravity as a force. To do this, in LQG
theory space and time are quantized analogously to the way quantities like energy and momentum are quantized in quantum mechanics.
The theory gives a physical picture of spacetime where space and time
are granular and discrete directly because of quantization just like photons in the quantum theory of electromagnetism and the discrete energy levels of atoms. An implication of a quantized space is that a minimum distance exists.
The structure of space prefers an extremely fine fabric or network woven of finite loops. These networks of loops are called spin networks. The evolution of a spin network, or spin foam, has a scale on the order of a Planck length, approximately 10−35 metres, and smaller scales are meaningless. Consequently, not just matter, but space itself, prefers an atomic structure.
The vast areas of research involve about 30 research groups worldwide.
They all 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 spin foam theory.
The most well-developed consequences of the theory apply to cosmology, called loop quantum cosmology (LQC), the study of the early universe and the physics of the Big Bang. Its greatest consequence sees the evolution of the universe continuing beyond the Big Bang called the Big Bounce.
History
In 1986, Abhay Ashtekar reformulated Einstein's general relativity in a language closer to that of the rest of fundamental physics. Shortly after, Ted Jacobson and 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 Ashtekar variables. Carlo Rovelli and Lee Smolin defined a nonperturbative and background-independent quantum theory of gravity in terms of these loop solutions. Jorge Pullin and 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 graphs.
In 1994, Rovelli and Smolin showed that the quantum operators
of the theory associated to area and volume have a discrete spectrum.
That is, geometry is quantized. This result defines an explicit basis of
states of quantum geometry, which turned out to be labelled by Roger Penrose's spin networks, which are graphs labelled by spins.
The canonical version of the dynamics was put on firm ground by Thomas Thiemann,
who defined an anomaly-free Hamiltonian operator, showing the existence
of a mathematically consistent background-independent theory. The
covariant or spin foam
version of the dynamics developed during several decades, and
crystallized in 2008, from the joint work of research groups in France,
Canada, UK, Poland, and Germany, leading to the definition of a family
of transition amplitudes, which in the classical limit can be shown to be related to a family of truncations of general relativity. The finiteness of these amplitudes was proven in 2011. It requires the existence of a positive cosmological constant, and this is consistent with observed acceleration in the expansion of the Universe.
General covariance and background independence
In theoretical physics, general covariance is the invariance of the
form of physical laws under arbitrary differentiable coordinate
transformations. The essential idea is that coordinates are only
artifices used in describing nature, and hence should play no role in
the formulation of fundamental physical laws. A more significant
requirement is the principle of general relativity that states that the
laws of physics take the same form in all reference systems. This is a
generalization of the principle of special relativity which states that the laws of physics take the same form in all inertial frames.
In mathematics, a diffeomorphism is an isomorphism in the category of smooth manifolds. It is an invertible function that maps one differentiable manifold
to another, such that both the function and its inverse are smooth.
These are the defining symmetry transformations of General Relativity
since the theory is formulated only in terms of a differentiable
manifold.
In general relativity, general covariance
is intimately related to "diffeomorphism invariance". This symmetry is
one of the defining features of the theory. However, it is a common
misunderstanding that "diffeomorphism invariance" refers to the
invariance of the physical predictions of a theory under arbitrary coordinate transformations; this is untrue and in fact every physical theory is invariant under coordinate transformations this way. Diffeomorphisms,
as mathematicians define them, correspond to something much more
radical; intuitively a way they can be envisaged is as simultaneously
dragging all the physical fields (including the gravitational field)
over the bare differentiable manifold
while staying in the same coordinate system. Diffeomorphisms are the
true symmetry transformations of general relativity, and come about from
the assertion that the formulation of the theory is based on a bare
differentiable manifold, but not on any prior geometry — the theory is background-independent
(this is a profound shift, as all physical theories before general
relativity had as part of their formulation a prior geometry). What is
preserved under such transformations are the coincidences between the
values the gravitational field takes at such and such a "place" and the
values the matter fields take there. From these relationships one can
form a notion of matter being located with respect to the gravitational
field, or vice versa. This is what Einstein discovered: that physical
entities are located with respect to one another only and not with
respect to the spacetime manifold. As Carlo Rovelli puts it: "No more fields on spacetime: just fields on fields".
This is the true meaning of the saying "The stage disappears and
becomes one of the actors"; 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. The realization by Einstein that general relativity should
be interpreted this way is the origin of his remark "Beyond my wildest
expectations".
In LQG this aspect of general relativity is taken seriously and
this symmetry is preserved by requiring that the physical states remain
invariant under the generators of diffeomorphisms. The interpretation of
this condition is well understood for purely spatial diffeomorphisms.
However, the understanding of diffeomorphisms involving time (the Hamiltonian constraint) is more subtle because it is related to dynamics and the so-called "problem of time" in general relativity. A generally accepted
calculational framework to account for this constraint has yet to be found. A plausible candidate for the quantum hamiltonian constraint is the operator introduced by Thiemann.
LQG is formally background independent.
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 large compared to 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, while any consistent quantum theory of gravity should include topology change as a dynamical process.