Abel–Ruffini theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
disambiguate
en>Nealmcb
clarify a bit more via tenses
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{Beyond the Standard Model|expanded=[[Quantum gravity]]}}
Take heart in knowing that 85% of those individuals diagnosed with some form of infertility are able to conceive. Depending on the model of wholesale cost impotence Female Outlet Hardy Burberry shoes you bought, usually takes a bit longer compared towards the length Christian Louboutin Black Calfskin Lina 100 Banded Boots. NAION (or stroke in the eye) results when blood flow to the optic nerve is disrupted, causing nerve damage and PERMANENT vision loss. Go native - top native trees to add to your landscaping. Men who have erection problems frequently encounter this during gender. <br><br>Not only that, the process of cell repair can also be done well ( the regenerate ) , that old cells replaced with better ones. Researchers have also discovered a correlation between sucralose consumption and an increased risk of cancer and Multiple Sclerosis, Lupus, diabetes, and other serious health disorders. In a column published yesterday titled 'An Anatomy of Law Enforcement Impotence,' Daniel Greenfield (aka 'Sultan Knish') analyzes the 'malfeasance of ideas' that is plaguing modern policing. Cigarettes affect the amount of oxygen your body can absorb. Therefore, in order to find out if impotence is inherited or not a research was conducted. <br><br>In most cases the cause for male impotence is a physical problem. The tight jeans increase the temperature in your groin. For many leaders this can be a bewildering, confidence-sapping time - for them, this doesn't feel like a transition from adolescence to maturity. Poor flow of nitric oxide into the reproductive organ also can be a crucial reason for it. The advantage that herbal impotence cures have over different cures is that they are much cheaper and are out there everywhere. <br><br>On getting the impulses, neurotransmitters are released and this relaxes the penile muscles and it fills up with blood. So, I would advise anyone suffering from low testosterone symptoms to get out there and do something about this condition in order to get their lives back. These symptoms include lack of energy and motivation, fatigue, sleeping problems, weight gain and increase in fat deposits in the abdomen, impotence, lack of interest in sex and other side effects. Problems such as erectile dysfunction, premature ejaculation, loss of libido and inability to make sexual partner pregnant woman are few and known of them. A person or couples health can definitely be a factor involving infertility, however it is not usually one of the key factors. <br><br>Overdose can create problem also so be aware about taking its dosages. Their hair stylist are very professional and by gaining a deep understanding of their clients requirements they are able to deliver a service that is second to none. Well, as the old adage goes, be careful what you wish for. You are also going to find that if you begin lifting weights you are going to have the ability to decrease your signs of aging. These drugs can cause dangerously low blood pressure and even heart attack.<br><br>If you loved this article and also you would like to collect more info about home remedy for erectile dysfunction ([http://www.eiaculazione-precoce.info/sitemap/ www.eiaculazione-precoce.info]) nicely visit our own web page.
 
'''Loop quantum gravity''' (''LQG'') is a theory that attempts to describe the [[quantum]] properties of [[gravity]]. It is also a theory of quantum [[space]] and quantum  [[time]], because, according to [[general relativity]], the geometry of [[spacetime]] is a manifestation of gravity. LQG is an attempt to merge and adapt standard [[quantum mechanics]] and standard general relativity. The main output of the theory is a physical picture of [[space]] where space is granular. The granularity is a direct consequence of the [[quantization (physics)|quantization]]. It has the same nature of the granularity of the [[photons]] in the quantum theory of [[electromagnetism]] or the discrete levels of the [[energy]] of the [[atoms]]. But here, it is space itself which is discrete.
 
More precisely, space can be viewed as an extremely fine fabric or network "woven" of finite loops. These networks of loops are called [[spin network]]s.  The evolution of a spin network over time is called a [[spin foam]]. The predicted size of this structure is the [[Planck length]], which is approximately 10<sup>&minus;35</sup> meters.  According to the theory, there is no meaning to distance at scales smaller than the Planck scale. Therefore, LQG predicts that not just matter, but also space itself has an [[atomic hypothesis|atomic structure]].
 
Today LQG is a vast area of research, developing in several directions, which involves about 50 research groups worldwide.<ref>{{cite web|url=https://maps.google.com/maps/ms?msid=201675987190934929965.0004843830d27f3e6c50e&msa=0 |title=Loop Quantum Gravity - Google Maps |publisher=Maps.google.com |date= |accessdate=2012-08-13}}</ref> They all share the basic physical assumptions and the mathematical description of quantum space. The full development of the theory is being pursued in two directions: the more traditional canonical loop quantum gravity, and the newer covariant loop quantum gravity, more commonly called [[spin foam]] theory.
 
Research into the physical consequences of the theory is proceeding in several directions. Among these, the most well-developed is the application of LQG to cosmology, called [[Loop quantum cosmology]] (LQC). LQC applies LQG ideas to the study of the early universe and the physics of the [[Big Bang]]. Its most spectacular consequence is that the evolution of the universe can be continued beyond the Big Bang. The Big Bang appears thus to be replaced by a sort of cosmic [[Big Bounce]].
 
== History ==
{{main|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. 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]], and [[Carlo Rovelli]] and [[Lee Smolin]] defined a [[nonperturbative]] and background-independent quantum theory of gravity in terms of these loop solutions. [[Jorge Pullin]] and [[Jurek 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 (mathematics)|graphs]].
 
In 1994, [[Carlo Rovelli|Rovelli]] and [[Lee Smolin|Smolin]] showed that the quantum [[operator (physics)|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 network]]s, which are [[Graph (mathematics)|graphs]] labelled by [[spin (physics)|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 spinfoam 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.<ref>{{cite web|url=http://inspirehep.net/record/889853 |title=Zakopane lectures on loop gravity |publisher=Inspire-Hep |date= |accessdate=2012-08-13}}</ref>  The finiteness of these amplitudes was proven in 2011.<ref>http://inspirehep.net/record/899209. http://inspirehep.net/record/1080875.</ref>  It requires the existence of a positive [[cosmological constant]], and this is consistent with observed [[Accelerating universe|acceleration in the expansion of the Universe]].
 
== General covariance and background independence ==
{{main|General covariance|background-independent|diffeomorphism}}
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 Relativitiy, [[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#Transformations|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 take 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, 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.".<ref>see Carlo Rovelli (2004). ''Quantum Gravity'', p 71.</ref> 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 [[Relativistic dynamics|dynamics]] and the so-called "[[problem of time]]" in general relativity.<ref>See ''e.g.'' Stuart Kauffman and Lee Smolin "A Possible Solution For The Problem Of Time In Quantum Cosmology" (1997). [http://www.edge.org/3rd_culture/smolin/smolin_p1.html]</ref> A generally accepted
calculational framework to account for this constraint has yet to be found.<ref>See Lee Smolin, "The Case for Background Independence", in Dean Rickles, ''et al.'' (eds.) ''The Structural Foundations of Quantum Gravity'' (2006), p 196 ff.</ref><ref>For a highly technical explanation, see Carlo Rovelli (2004). ''Quantum Gravity'', p 13 ''ff''.</ref> A plausible candidate for the quantum hamiltonian constraint is the operator introduced by Thiemann.<ref name="Thom">''Anomaly-free formulation of non-perturbative, four-dimensional Lorentzian quantum gravity'', T. Thiemann'', Phys.Lett. B380 (1996) 257-264.</ref>
 
LQG is formally [[background independence|background independent]]. The equations of LQG are not embedded in, or presuppose, 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.
 
== Constraints and their Poisson Bracket Algebra ==
{{main|Poisson bracket|Hamiltonian constraint}}
 
=== The constraints of classical canonical general relativity ===
{{main|Lie derivative}}
 
In the Hamiltonian formulation of ordinary classical mechanics the Poisson bracket is an important concept. A "canonical coordinate system" consists of canonical position and momentum variables that satisfy canonical Poisson-bracket relations,
 
<math>\{ q_i , p_j \} = \delta_{ij}</math>
 
where the Poisson bracket is given by
 
:<math>\{f,g\} = \sum_{i=1}^{N} \left(
\frac{\partial f}{\partial q_{i}} \frac{\partial g}{\partial p_{i}} - \frac{\partial f}{\partial p_{i}} \frac{\partial g}{\partial q_{i}}\right).</math>
 
for arbitrary phase space functions <math>f (q_i , p_j)</math> and <math>g (q_i , p_j)</math>. With the use of Poisson brackets, the [[Hamilton's equations]] can be rewritten as,
 
<math>\dot{q}_i = \{ q_i , H \}</math>,
 
<math>\dot{p}_i = \{ p_i , H \}</math>.
 
These equations describe a ``flow" or orbit in phase space generated by the Hamiltonian <math>H</math>. Given any phase space function <math>F (q,p)</math>, we have
 
<math>{d \over dt} F (q_i,p_i) = \{ F , H \}.</math>
 
Let us consider constrained systems, of which General relativity is an example. In a similar way the Poisson bracket between a constraint and the phase space variables generates a flow along an orbit in (the unconstrained) phase space generated by the constraint. There are three types of constraints in Ashtekar's reformulation of classical general relativity:
 
1. <math>SU(2)</math> Gauss gauge constraints
 
<math>G_j (x) = 0</math>.
 
These come about from re-expressing General relativity as an <math>SU(2)</math> [[Yang-Mills]] type gauge theory (Yang-Mills is a generalization of Maxwell's theory where the gauge field transforms as a vector under Gauss transformations, that is, the Gauge field is of the form <math>A_a^i (x)</math> where <math>i</math> is an internal index. See [[Ashtekar variables]]). These infinite number of Gauss gauge constraints can be smeared with test fields with internal indices, <math>\lambda^j (x)</math>,
 
<math>G (\lambda) = \int d^3x G_j (x) \lambda^j (x)</math>.
 
which we demand vanish for any such function. These smeared constraints defined with respect to a suitable space of smearing functions give an equivalent description to the original constraints.
 
In fact Ashtekar's formulation may be thought of as ordinary <math>su (2)</math> Yang-Mills theory together with the following special constraints, resulting from diffeomorphism invariance, and a Hamiltonian that vanishes. The dynamics of such a theory are thus very different from that of ordinary Yang-Mills theory.
 
2. Spatial diffeomorphisms constraints
 
<math>C_a (x) = 0</math>
 
of which there are an infinite number, can be smeared by the so-called shift functions <math>\vec{N} (x)</math> to give an equivalent set of smeared spatial diffeomorphism  constraints,
 
<math>C (\vec{N}) = \int d^3 x C_a (x) N^a (x)</math>.
 
These generate spatial diffeomorphisms along orbits defined by the shift function <math>N^a (x)</math>.
 
3. Hamiltonian constraints
 
<math>H (x) = 0</math>
 
of which there are an infinite number, can be smeared by the so-called lapse functions <math>N (x)</math> to give an equivalent set of smeared Hamiltonian constraints,
 
<math>H (N) = \int d^3 x H (x) N (x)</math>.
 
These generate time diffeomorphisms along orbits defined by the lapse function <math>N (x)</math>.
 
In Ashtekar formulation the gauge field <math>A_a^i (x)</math> is the configuration variable (the configuration variable being analogous to <math>q</math> in ordinary mechanics) and its conjugate momentum is the (densitized) triad (electrical field) <math>\tilde{E}^a_i (x)</math>. The constraints are certain functions of these phase space variables.
 
We consider the action of the constraints on arbitrary phase space functions. An important notion here is the [[Lie derivative]], <math>\mathcal{L}_V</math>, which is basically a derivative operation that infinitesimally "shifts" functions along some orbit with tangent vector <math>V</math>.
 
=== The Poisson bracket algebra ===
 
Of particular importance is the Poisson bracket algebra formed between the (smeared) constraints themselves as it completely determines the theory. In terms of the above the smeared constraints the constraint algebra amongst the Gauss' law reads,
 
<math>\{ G (\lambda) , G (\mu) \} = G ([\lambda , \mu])</math>
 
where <math>[\lambda , \mu]^k = \lambda_i \mu_j \epsilon^{ijk}</math>. And so we see that the Poisson bracket of two Gauss' law is equivalent to a single Gauss' law evaluated on the commutator of the smearings. The Poisson bracket amongst spatial diffeomorphisms constraints reads
 
<math>\{ C (\vec{N})  , C (\vec{M}) \} = C (\mathcal{L}_\vec{N} \vec{M})</math>
 
and we see that its effect is to "shift the smearing". The reason for this is that the smearing functions are not functions of the canonical variables and so the spatial diffeomorphism does not generate diffeomorphims on them. They do however generate diffeomorphims on everything else. This is equivalent to leaving everything else fixed while shifting the smearing .The action of the spatial diffeomorphism on the Gauss law is
 
<math>\{ C (\vec{N})  , G (\lambda) \} = G (\mathcal{L}_\vec{N} \lambda)</math>,
 
again, it shifts the test field <math>\lambda</math>. The Gauss law has vanishing Poisson bracket with the Hamiltonian constraint. The spatial diffeomorphism constraint with a Hamiltonian gives a Hamiltonian with its smearing shifted,
 
<math>\{ C (\vec{N})  , H (M) \} = H (\mathcal{L}_\vec{N} M)</math>.
 
Finally, the poisson bracket of two Hamiltonians is a spatial diffeomorphism,
 
<math>\{ H (N)  , H (M) \} = C (K)</math>
 
where <math>K</math> is some phase space function. That is, it is a sum over infinitesimal spatial diffeomorphisms constraints where the coefficients of proportionality are not constants but have non-trivial phase space dependence.
 
A (Poisson bracket) [[Lie algebra]], with constraints <math>C_I</math>, is of the form
 
<math>\{ C_I  , C_J \} = f_{IJ}^K C_K</math>
 
where <math>f_{IJ}^K</math> are constants (the so-called [[structure constants]]). The above Poisson bracket algebra for General relativity does not form a true Lie algebra as we have structure functions rather than structure constants for the Poisson bracket between two Hamiltonians. This leads to difficulties.
 
=== Dirac observables ===
 
The constraints define a constraint surface in the original phase space. The 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 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 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.<ref>See part III, chapter 4 of ''Gauge Fields, Knots and Quantum Gravity'', John C. Baez and Javier Perez de Muniain, World Scientific (1994)</ref>
 
== Quantization of the constraints - the equations of Quantum General Relativity ==
{{Technical|section|date=December 2013}}
 
=== Pre-history and Ashtekar new variables ===
{{main|Frame fields in general relativity| Ashtekar variables| 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 Ashtekars new variables. Ashtekar variables describe canonical general relativity in terms of a new pair canonical variables closer to that 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>\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 [[rotation]] with respect to the internal indices <math>i</math>. The canonically conjugate variable is related to the extrinsic curvature by <math>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>SU(2)</math> connection where <math>\Gamma_a^i</math> is related to the so-called [[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; the Gauss's law, 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^i_{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>SU(2)</math> gauge invariance here expressed by the Gauss law. Note that these constraints are polynomial in the fundamental variables, unlike as with the constraints in the metric formulation. This dramatic simplification seemed to open up the way to quantizing the constraints.
 
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>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 |\psi \rangle = 0</math>
 
<math>\hat{C}_a |\psi \rangle = 0</math>
 
<math>\hat{\tilde{H}} |\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>\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 ===
 
We now move on to demonstrate an important aspect of the quantum constraints. We consider Gauss' law only. First we state the classical result that the Poisson bracket of the smeared Gauss' law <math>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 \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>\Big [ 1 + \int d^3x \lambda^j (x) \hat{G}_j \Big]  \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).<ref>''Lectures on Loop Quantum Gravity'', Thomas Thiemann, Lect. Notes Phys. 631 (2003) 41-135.</ref> 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| Wilson loop| Knot invariant}}
It was in particular the inability to have good control over the space of solutions to the Gauss' law and spacial diffeomorphism constraints that led Rovelli and Smolin to consider a new representation - the loop representation.<ref>Rovelli, C. and Smolin, L. ''Phys. Rev. Lett 61, 1155''</ref>
 
We need the notion of a [[holonomy]]. A holonomy is a measure of how much the initial and final values of a spinor or vector differ after [[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> if we take the trace of this, that is, putting <math>\alpha = \beta</math> and summing we obtain
 
<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>Tr h'_\gamma = Tr h_\gamma.</math>.
 
The trace of an holonomy around a closed loop and is written
 
<math>W_\gamma [A]</math>
 
and is called a Wilson loop. Thus Wilson loop are gauge invariant. The explicit form of the Holonomy is
 
<math>h_\gamma [A] = \mathcal{P} \exp \Big\{ - \int_{\gamma_0}^{\gamma_1} ds \dot{\gamma}^a A_a^i (\gamma (s)) T_i \Big\}</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>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 non of these can be thought to `decompose' into two or more examples of lower dimension. They are called different [[irreducible representations]] of the <math>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 [[Wilson loop]]s explicitly solves the Gauss gauge constraint. To handle the spatial diffeomorphism constraint we need to go over to the [[loop representation]]. As Wilson loops form a basis we can formally expand any Gauss gauge invariant function as,
 
<math>\Psi [A] = \sum_\gamma \Psi [\gamma] W_\gamma [A] </math>.
 
This is called the loop transform. We can see the analogy with going to the [[momentum representation]] in quantum mechanics. There one has a basis of states <math>\exp (ikx)</math> labelled by a number <math>k</math> and one expands
 
<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 by <math>\hat{O}^\dagger</math> we mean 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). We evaluate the action of this operator on the Wilson loop as a calculation in the connection representation and rearranging the result as a manipulation purely in terms of loops (one should remember that when considering the action on the Wilson loop one should choose the operator one wishes to transform with the opposite factor ordering to the one chosen 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 we can then solve the spatial diffeomorphism constraint by considering functions of loops <math>\Psi [\gamma]</math> that are invariant under spatial diffeomorphisms of the loop <math>\gamma</math>. That is, we construct what mathematicians call [[knot invariant]]s. This opened up an unexpected connection between [[knot theory]] and quantum gravity.
 
What about the Hamiltonian constraint? Let us go back to the connection representation. Any collection of non-intersecting Wilson loops satisfy Ashtekar's quantum Hamiltonian constraint. This can be seen from the following. With 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} {\delta \over \delta A_a^i} \; {\delta \over \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 we have something like
 
<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). Now let us go back to the loop representation.
 
We consider wavefunctions <math>\Psi [\gamma]</math> that vanish if the loop has discontinuities and that are knot invariants. Such functions solve the Gauss law, the spatial diffeomorphism constraint and (formally) the Hamiltonian constraint. Thus we have identified an infinite set of exact (if only formal) solutions to all the equations of quantum general relativity!<ref>''Knot Theory and Quantum Gravity'', Rovelli, C., Smolin ,L., Phys. Rev. Lett. 61, 1155–1158 (1988), http://prl.aps.org/abstract/PRL/v61/i10/p1155_1</ref> 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)}</math>
<math>\quad = \sqrt{\| \vec{u} \|^2 \| \vec{v} \|^2 - (\vec{u} \cdot \vec{v})^2}</math>
 
From this we get the area of the surface <math>\Sigma</math> to be given by
 
<math>A_\Sigma = \int_\Sigma dx^1 dx^2 \sqrt{det \; q^{(2)}}</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>. This can be 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^{acd} \epsilon^{bef} q_{ce} q_{df} \over 3! det (q)}</math>
 
Note the similarity between this and the expression for <math>det \; q^{(2)}</math>. But in Ashtekar variables we have <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 we should promote the triads <math>\tilde{E}^3_i</math> to quantum operators,
 
<math>\hat{\tilde{E}}^3_i \sim {\delta \over \delta A_3^i}</math>.
 
It turns out that the area <math>A_\Sigma</math> can be promoted to a well defined quantum operator despite the fact that we are dealing with product of two functional derivatives and worse we have a square-root to contend with as well.<ref>For example see section 8.2 of ''A First Course in Loop Quantum Gravity'', Gambini, R, and Pullin, J. Published by Oxford University Press 2011.</ref> Putting <math>N = 2J</math>, we talk of being in the <math>J</math>-th representation. We note that <math>\sum_i T^i T^i = J (J+1) 1</math>. This quantity is important in the final formula for the area spectrum. We simply state the result below,
 
<math>\hat{A}_\Sigma W_\gamma [A] = 8 \pi \ell_{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)} = {1 \over 6} \int_R dx^3 \sqrt{\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. As we take the derivative, and each time we do so we bring down the tangent vector <math>\dot{\gamma}^a</math>, 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 we would need at least intersections with three non-[[coplanar]] lines. Actually it turns out that one needs at least four-valent vertices for the volume operator to be non-vanishing.
 
We now consider Wilson loops with intersections. We assume the real representation where the gauge group is <math>SU(2)</math>. Wilson loops are an over complete basis as there are identities relating different Wilson loops. These come about from the fact that Wilson loops are based on matrices (the holonomy) and these matrices satisfy identities, the so-called Mandelstam identities. Given any two <math>SU(2)</math> matrices <math>A</math> and <math>B</math> it is easy to check that,
 
<math>Tr (A) Tr (B) = Tr (AB) + Tr (AB^{-1})</math>.
 
This implies that given two loops <math>\gamma</math> and <math>\eta</math> that intersect, we will have,
 
<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. Spin networks are certain linear combinations of intersecting Wilson loops designed to address the over completeness introduced by the Mandelstam identities.
 
[[File:The Mandelstam identity.jpg|right|thumb|500px|Graphical representation of the Mandestam identity relating different [[Wilson loops]].]]
 
As mentioned above the holonomy tells you 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.
 
=== Real variables, modern analysis and LQG ===
{{main| Hamiltonian constraint of LQG}}
 
Let us go into more detail about the technical difficulties associated with using Ashtekar's variables:
 
With Ashtekar's variables one uses a complex connection and so the relevant gauge group as actually <math>SL(2, \mathbb{C})</math> and not <math>SU(2)</math>. As <math>SL(2, \mathbb{C})</math> is [[non-compact]] it creates serious problems for the rigorous construction of the necessary mathematical machinery. The group <math>SU(2)</math> is on the other hand is [[compact space|compact]] and the relevant constructions needed have been developed.
 
As mentioned above, because Ashtekar's variables are complex it results in complex general relativity. To recover the real theory one has to impose what are known as the reality conditions. These require that the densitized triad be real and that the real part of the Ashtekar connection equals the compatible spin connection (the compatibility condition being <math>\nabla_a e_b^I = 0</math>) determined by the desitized triad. The expression for compatible connection <math>\Gamma_a^i</math> is rather complicated and as such non-polynomial formula enters through the back door.
 
Before we state the next difficulty we should give a definition; a [[tensor density]] of weight <math>W</math> transforms like an ordinary [[tensor]], except that in additional the <math>W</math>th power of the [[Jacobian]],
 
<math>J = \Big| {\partial x^a \over \partial x^{'b}} \Big|</math>
 
appears as a factor, i.e.
 
<math>{T'}^{a \dots}_{b \dots} = J^W {\partial x^{'a} \over \partial x^c} \dots {\partial x^d \over \partial x^{'b}} T^{c \dots}_{d \dots}</math>.
 
It turns out that it is impossible, on general grounds, to construct a UV-finite, diffeomorphism non-violating operator corresponding to <math>\sqrt{det (q)} H</math>. The reason is that the rescaled Hamiltonian constraint is a scalar density of weight two while it can be shown that only scalar densities of weight one have a chance to result in a well defined operator. Thus, one is forced to work with the original unrescaled, density one-valued, Hamiltonian constraint. However, this is non-polynomial and the whole virtue of the complex variables is questioned. In fact, all the solutions constructed for Ashtekar's Hamiltonian constraint only vanished for finite [[regularization (physics)]], however, this violates spatial diffeomorphism invariance.
 
Without the implementation and solution of the Hamiltonian constraint no progress can be made and no reliable predictions are possible!
 
To overcome the first problem one works with the configuration variable
 
<math>A_a^i = \Gamma_a^i + \beta K_a^i</math>
 
where <math>\beta</math> is real (as pointed out by Barbero, who introduced real variables some time after Ashtekar's variables<ref>''Reality Conditions and Ashtekar Variables: a Different Perspective'', J. Fernando, G. Barbero, Phys.Rev.D51:5498-5506,1995</ref><ref>''Real Ashtekar Variables for Lorentzian Signature Space-times'', J. Fernando, G. Barbero, Phys.Rev.D51:5507-5510,1995</ref>). The Guass law and the spatial diffeomorphism constraints are the same. In real Ashtekar variables the Hamiltonian is
 
<math>H = {\epsilon_{ijk} F_{ab}^k \tilde{E}_i^a \tilde{E}_j^b \over \sqrt{det (q)}} + 2 {\beta^2 + 1 \over \beta^2} {(\tilde{E}_i^a \tilde{E}_j^b - \tilde{E}_j^a \tilde{E}_i^b) \over \sqrt{det (q)}} (A_a^i - \Gamma_a^i) (A_b^j - \Gamma_b^j) = H_E + H'</math>.
 
The complicated relationship between <math>\Gamma_a^i</math> and the desitized triads causes serious problems upon quantization. It is with the choice <math>\beta = \pm i</math> that the second more complicated term is made to vanish. However, as mentioned above <math>\Gamma_a^i</math> reappears in the reality conditions. Also we still have the problem of the  <math>1 / \sqrt{det (q)}</math> factor.
 
Thiemann was able to make it work for real <math>\beta</math>. First he could simplify the troublesome <math>1 / \sqrt{det (q)}</math> by using the identity
 
<math>\{ A_c^k , V \} = {\epsilon_{abc} \epsilon^{ijk} \tilde{E}_i^a \tilde{E}_j^b \over \sqrt{det (q)}}</math>
 
where <math>V</math> is the volume. The <math>A_c^k</math> and <math>V</math> can be promoted to well defined operators in the loop representation and the Poisson bracket is replaced by a commutator upon quantization; this takes care of the first term. It turns out that a similar trick can be used to treat the second term. One introduces the quantity
 
<math>K = \int d^3 x K_a^i \tilde{E}_i^a</math>
 
and notes that
 
<math>K_a^i = \{ A_a^i , K \}</math>.
 
We are then able to write
 
<math>A_a^i - \Gamma_a^i = \beta K_a^i = \beta \{ A_a^i , K \}</math>.
 
The reason the quantity <math>K</math> is easier to work with at the time of quantization is that it can be written as
 
<math>K = - \{ V , \int d^3 x H_E \}</math>
 
where we have used that the integrated densitized trace of the extrinsic curvature is the``time derivative of the volume".
 
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.<ref name="Thom" /> We leave more details of its construction to the article [[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.
 
A very 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.
 
=== Solving the quantum constraints ===
{{main|spectrum|dual space|Rigged Hilbert space}}
We solve, at least approximately, all the quantum constraint equations and for the physical inner product to make physical predictions.
 
Before we move on to the constraints of LQG, lets us consider certain cases. We start with a kinematic Hilbert space <math>\mathcal{H}_{Kin}</math> as so is equipped with an inner product - the kinematic inner product <math><\phi , \psi>_{Kin}</math>.
 
i) Say we have constraints <math>\hat{C}_I</math> whose zero eigenvalues lie in their discrete [[spectrum]].
Solutions of the first constraint, <math>\hat{C}_1</math>, correspond to a subspace of the kinematic Hilbert space, <math>\mathcal{H}_1 \subset \mathcal{H}_{Kin}</math>. There will be a projection operator <math>P_1</math> mapping <math>\mathcal{H}_{Kin}</math> onto <math>\mathcal{H}_1</math>. The kinematic inner product structure is easily employed to provide the inner product structure after solving this first constraint; the new inner product <math><\phi , \psi>_1</math> is simply
 
<math><\phi , \psi>_1 = <P \phi , P \psi>_{Kin}</math>
 
They are based on the same inner product and are states normalizable with respect to it.
 
ii) The zero point is not contained in the point spectrum of all the <math>\hat{C}_I</math>, there is then no non-trivial solution <math>\Psi \in \mathcal{H}_{Kin}</math> to the system of quantum constraint equations <math>\hat{C}_I \Psi = 0</math> for all <math>I</math>.
 
For example the zero eigenvalue of the operator
 
<math>\hat{C} = \Big( i {d \over dx} - k \Big)</math>
 
on <math>L_2 (\mathbb{R} , dx)</math> lies in the continuous spectrum <math>\mathbb{R}</math> but the formal ``eigenstate" <math>\exp (-ikx)</math> is not normalizable in the kinematic inner product,
 
<math>\int_{- \infty}^\infty dx \psi^* (x) \psi (x) = \int_{- \infty}^\infty dx e^{ikx} e^{-ikx} = \int_{- \infty}^\infty dx = \infty</math>
 
and so does not belong to the kinematic Hilbert space <math>\mathcal{H}_{Kin}</math>. In these cases we take a [[dense subset]] <math>\mathcal{S}</math> of <math>\mathcal{H}_{Kin}</math> (intuitively this means either any point in <math>\mathcal{S}</math> is either in <math>\mathcal{H}_{Kin}</math> or arbitrarily close to a point in <math>\mathcal{H}_{Kin}</math>) with very good convergence properties and consider its [[dual space]] <math>\mathcal{S}'</math> (intuitively these map elements of <math>\mathcal{S}</math> onto finite complex numbers in a linear manner), then <math>\mathcal{S} \subset \mathcal{H}_{Kin} \subset \mathcal{S}'</math> (as <math>\mathcal{S}'</math> contains distributional functions). The constraint operator is then implemented on this larger dual space, which contains distributional functions, under the adjoint action on the operator. One looks for solutions on this larger space. This comes at the price that the solutions must be given a new Hilbert space inner product with respect to which they are normalizable (see article on [[rigged Hilbert space]]). In this case we have a generalized projection operator on the new space of states. We cannot use the above formula for the new inner product as it diverges, instead the new inner product is given by the simply modification of the above,
 
<math><\phi , \psi>_1 = <P \phi , \psi>_{Kin}.</math>
 
The generalized projector <math>P</math> is known as a rigging map.
 
Let us move to LQG, additional complications will arise from the fact the constraint algebra is not a Lie algebra due to the bracket between two Hamiltonian constraints.
 
The Gauss law is solved by the use of spin network states. They provide a basis for the Kinematic Hilbert space <math>\mathcal{H}_{Kin}</math>. The spatial diffeomorphism constraint has been solved. The induced inner product on <math>\mathcal{H}_{Diff}</math>, we do not purrsue the details, has a very simple description in terms of spinor network states; given two spin networks <math>s</math> and <math>s'</math>, with associated spin network states <math>\psi_s</math> and <math>\psi_{s'}</math>, the inner product is 1 if <math>s</math> and <math>s'</math> are related to each other by a spatial diffeomorphism and zero otherwise.
 
The Hamiltonian constraint maps diffeomorphism invariant states onto non-diffeomorphism invaiant states as so does not preserve the diffeomorphism Hilbert space <math>\mathcal{H}_{Diff}</math> (this is an unavoidable consequence of the operator algebra). This means that you cant just solve the diffeomorphism constraint and then the Hamiltonian constraint. This problem can be circumvented by the introduction of the Master constraint, with its trivial operator algebra, one is then able in principle to construct the physical inner product from <math>\mathcal{H}_{Diff}</math>.
 
== Spin foams ==
{{main| spin network| spin foam| BF model| Barrett-Crane model}}
In loop quantum gravity (LQG), a spin network represents a "quantum state" of the gravitational field on a 3-dimensional 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 ===
 
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]]. This is a rather singular function of the real line, denoted <math>\delta (x)</math>, that is zero everywhere except at <math>x = 0</math> but whose integral is finite and nonzero. It can be represented as a Fourier integral,
 
<math>\delta (x) = \int e^{ikx} dk</math>.
 
One can employ the idea of the delta function to impose the condition that the Hamiltonian constraint should vanish. It is obvious that
 
<math>\prod_{x \in \Sigma} \delta (\hat{H} (x))</math>
 
is non-zero only when <math>\hat{H} (x) = 0</math> for all <math>x</math> in <math>\Sigma</math>. Using this we can `project' out solutions to the Hamiltonian constraint. Using this the physical inner product is formally given by
 
<math> <\prod_{x \in \Sigma} \delta (\hat{H} (x)) s_{int} , s_{fin}>_{Diff}</math>
 
where <math>s_{int}</math> are the initial spin network and <math>s_{fin}</math> is the final spin network. With analogy to the Fourier integral given above, this (generalized) projector can formally be written as
 
<math>\int [d N] e^{i \int d^3 x N (x) \hat{H} (x)}</math>.
 
The exponential can be expanded
 
<math>< \int [d N] (1 + i \int d^3 x N (x) \hat{H} (x) + {i^2 \over 2!} [\int d^3 x N (x) \hat{H} (x)] [\int d^3 x' N (x') \hat{H} (x')] + \dots) s_{int} , s_{fin}>_{Diff}</math>
 
and each time a Hamiltonian operator acts it does so by adding a new edge at the vertex. The summation over different sequences of actions of <math>\hat{H}</math> 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. 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 up a way of trying to directly link canonical LQG to a path integral description. Now 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 [[Functional integration|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 and so the exponential cant be well defined 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>\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 so-called [[BF theory]]. This is a simpler theory to 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,<ref>See section 2.1 of ''Spin Foam Quantization and Anomalies '', Bojowald, M. and Alejandro P. http://fr.arxiv.org/pdf/gr-qc/0303026 for an explanation of this idea for a toy model</ref> 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} (E^I_a E^J_b - E^I_b E^J_a)</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 [[Barrett-Crane model]].<ref>Barrett, J. and Crane, L. (2000) ''Class. Quan. Grav.'' 17, 3101.</ref> 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.<ref>''The complete LQG propagator I. Difficulties with the Barrett-Crane vertex'', Alesci E, Rovelli C (2007), Phys.Rev. D76:104012.</ref> 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 [[Lorenz gauge condition]] <math>\partial_\mu \hat{A}^\mu</math> in the [[Gupta–Bleuler formalism]] of [[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, one expects an appropriate quantum simplicity constraint will recover quantum gravity from quantum BF theory.
 
Much progress has been made with regard to this issue by Engle, Pereira, and Rovelli<ref>Engle, J., Pereira, R., and Rovelli, C. (2009). Phys. Rev. Lett. 99, 161301.</ref> and Freidal and Krasnov<ref>Freidal, L. and Krasnov, K. (2008) ''Clas. Quan. Grav.'' 25, 125018.</ref> in defining spin foam interaction amplitudes with much better behaviour.
 
An attempt to make contact between EPRL-FK spin foam and the canonical formulation of LQG has been made.<ref>``Linking covariant and canonical LQG: new solutions to the Euclidean Scalar Constraint``, Emanuele Alesci, Thomas Thiemann, Antonia Zipfel, 6th Sep 2011, arXiv:1109.1290</ref>
 
=== Spin foam derived from the Master constraint operator ===
 
See below.
 
=== Spin foams from consistent discretisations ===
 
== The semi-classical limit ==
 
=== What is the semiclassical limit? ===
{{main|Correspondence principle|classical limit}}
The '''[[classical limit]]''' or '''correspondence limit''' is the ability of a [[theoretical physics|physical theory]] to approximate or "recover" [[classical mechanics]] when considered over special values of its parameters.<ref>{{cite book | author=[[David Bohm|Bohm, David]] | title=Quantum Theory | publisher=[[Dover Publications]] | year=1989 | isbn=0-486-65969-0}}</ref> The classical limit is used with physical theories that predict non-classical behavior.
 
In [[physics]], the '''correspondence principle''' states that the behavior of systems described by the theory of [[quantum mechanics]] (or by the [[old quantum theory]]) reproduces [[classical mechanics|classical physics]] in the limit of large [[quantum numbers]].  In other words, it says that for large [[orbit]]s and for large [[energy|energies]], quantum calculations must agree with classical calculations.<ref name="Tipler">{{cite book|last1=Tipler|first1=Paul|last2=Llewellyn|first2=Ralph|title=Modern Physics|edition=5|year=2008|publisher=[[W. H. Freeman and Company]]|isbn=978-0-7167-7550-8|pages=160–161}}</ref>
 
The principle was formulated by [[Niels Bohr]] in 1920,<ref>{{Citation
      | last=Bohr | first=N. | authorlink = Niels Bohr
      | title = Über die Serienspektra der Element
      | journal = Zeitschrift für Physik
      | year = 1920 | volume = 2 | issue = 5 | pages = 423&ndash;478
      | doi=10.1007/BF01329978
  |bibcode = 1920ZPhy....2..423B }} (English translation in {{harv |Bohr|1976|pp=241&ndash;282}})</ref> though he had previously made use of it as early as 1913 in developing his [[Bohr model|model of the atom]].<ref>{{Citation
      | last=Jammer | first=Max
      | title=The conceptual development of quantum mechanics
      | isbn=0-88318-617-9 | year=1989
      | publisher=Tomash Publishers, American Institute of Physics | location=Los Angeles, CA}}, Section 3.2</ref>
 
There are two basic requirements in establishing the semi-classical limit of any quantum theory:
 
i) reproduction of the Poisson brackets (of the diffeomorphism constraints in the case of general relativity). This is extremely important because, as noted above, the Poisson bracket algebra formed between the (smeared) constraints themselves completely determines the classical theory. This is analogous to establishing [[Ehrenfest's theorem]];
 
ii) the specification of a complete set of classical observables whose corresponding operators when acted on by appropriate semi-classical states reproduce the same classical variables with small quantum corrections (a subtle point is that states that are semi-classical for one class of observables may not be semi-classical for a different class of observables<ref>''Semiclassical States for Constrained Systems'', Abhay Ashtekar, Luca Bombelli, Alejandro Corichi, Phys.Rev. D72 (2005) 025008.</ref>).
 
This may be easily done, for example, in ordinary quantum mechanics for a particle but in general relativity this becomes a highly non-trivial problem as we will see below.
 
=== Why might LQG not have general relativity as its semiclassical limit? ===
 
Any candidate theory of [[quantum gravity]] must be able to reproduce Einstein's theory of [[general relativity]] as a classical limit of a [[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 you do not recover general relativity in the semi classical limit (in fact there might not be any physical sector at all).
 
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 - the realization that everybody was using) have been given by two groups (Lewandowski, Okolow, Sahlmann and Thiemann)<ref>Lewandowski, J., Okołów, A., Sahlmann, H., and Thiemann, T., ''Uniqueness of Diffeomorphism Invariant States on Holonomy-Flux Algebras'', Commun. Math. Phys., 267, 703–733, (2005).</ref> and (Christian Fleischhack).<ref>Fleischhack, C., ''Irreducibility of the Weyl algebra in loop quantum gravity'', Phys. Rev. Lett., 97, 061302, (2006).</ref> 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 so far. These uniqueness theorems imply no others exist and so if LQG does not have the correct semiclassical limit then this would mean the end of the loop representation of quantum gravity altogether.
 
=== Difficulties checking the semiclassical limit of LQG ===
 
There are difficulties in trying to establish LQG gives Einstein's theory of general relativity in the semi classical limit.  There are a number of particular difficulties in establishing the semi-classical limit
# There is no operator corresponding to infinitesimal spacial 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)<ref name="ReferenceB">See section 10.6 of ''Modern Canonical General Relativity'', by Thomas Thiemann</ref>
# 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 we have just noted, 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 much improved by the introduction of the Master constraint.<ref name="ReferenceB"/>
# The semi-classical 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 Kimematic 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.
# Formulating observables for classical general relativity is a formidable problem by itself because of its non-linear nature and space-time diffeomorphism invariance. In fact a systematic approximation scheme to calculate observables has only been recently developed.<ref>''Partial and Complete Observables for Hamiltonian Constrained Systems'' Gen.Rel.Grav.39:1891-1927,2007 or http://fr.arxiv.org/pdf/gr-qc/0411013</ref><ref>Partial and Complete Observables for Canonical General Relativity Class.Quant.Grav. 23 (2006) 6155-6184 or http://fr.arxiv.org/pdf/gr-qc/0507106</ref>
 
Difficulties in trying to examine the semi classical limit of the theory should not be confused with it having the wrong semi classical limit.
 
=== Progress in demonstrating LQG has the correct semiclassical limit ===
 
Much details here to be written up...
 
Concerning issue number 2 above one can 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 a 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 very large spin network formed by a very large number of nodes and links, each of [[Planck scale]]. But probed at a macroscopic scale, it appears as a three-dimensional continuous metric geometry.
 
As far as the editor knows problem 4 of having semi-classical machinery for non-graph changing operators is as the moment still out of reach.
 
To make contact with familiar low energy physics it is mandatory to have to develop approximation schemes both for the physical inner product and for Dirac observables.
 
The spin foam models have been intensively studied can be viewed as avenues toward approximation schemes for the physical inner product.
 
Markopoulou et al. adopted the idea of [[noiseless subsystems]] in an attempt to solve the problem of the low
energy limit in background independent quantum gravity theories<ref>Dreyer O., Markopoulou F., Smolin L., ''Symmetry and entropy of black hole horizons'', Nuclear Phys. B 744 (2006), 1-13.</ref><ref>Kribs D.W., Markopoulou F., ''Geometry from quantum particles'', gr-qc/0510052.</ref><ref>Markopoulou F., Poulin D., ''Noiseless subsystems and the low energy limit of spin foam models'', unpublished.</ref> The idea has even led to the intriguing 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'').
 
== Improved dynamics and the Master constraint ==
{{main|Hamiltonian (quantum mechanics)|Hamiltonian constraint of LQG}}
 
=== The Master constraint ===
 
Thiemann's Master constraint should not be confused with the Master equation to do with random processes. The Master Constraint Programme for Loop Quantum Gravity (LQG) was proposed as a classically equivalent way to impose the infinite number of Hamiltonian constraint equations
 
<math>H (x) = 0</math>
 
(<math>x</math> being a continuous index) in terms of a single Master constraint,
 
<math>M = \int d^3x {[H (x)]^2 \over \sqrt{\mathrm{det}\; q (x)}}</math>.
 
which involves the square of the constraints in question. Note that <math>H (x)</math> were infinitely many whereas the Master constraint is only one. It is clear that if <math>M</math> vanishes then so do the infinitely many <math>H (x)</math>'s. Conversely, if all the <math>H (x)</math>'s vanish then so does <math>M</math>, therefore they are equivalent. The Master constraint <math>M</math> involves an appropriate averaging over all space and so is invariant under spatial diffeomorphisms (it is invariant under spatial "shifts" as it is a summation over all such spatial "shifts" of a quantity that transforms as a scalar). Hence its Poisson bracket with the (smeared) spacial diffeomorphism constraint, <math>C (\vec{N})</math>, is simple:
 
<math>\{ M  , C (\vec{N}) \} = 0</math>.
 
(it is <math>su (2)</math> invariant as well). Also, obviously as any quantity Poisson commutes with itself, and the Master constraint being a single constraint, it satisfies
 
<math>\{ M  , M \} = 0</math>.
 
We also have the usual algebra between spatial diffeomorphisms. This represents a dramatic simplification of the Poisson bracket structure, and raises new hope in understanding the dynamics and establishing the semi-classical limit.<ref name="fr.arxiv.org">''The Phoenix Project: Master Constraint Programme for Loop Quantum Gravity'', Class.Quant.Grav.23:2211-2248,2006 or http://fr.arxiv.org/pdf/gr-qc/0305080</ref>
 
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 Mater constraint is quadratic in the constraint, when you compute its Poisson bracket with any quantity, the result is proportional to the constraint, therefore it always 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>\{ \{ M  , O \} , O \}_{M = 0} = 0</math>
 
is equivalent to <math>O</math> being a Dirac observable. So the Master constraint does capture information about the observables. Because of its significance this is known as the Master equation.<ref name="fr.arxiv.org"/>
 
That the Master constraint Poisson algebra is an honest Lie algebra opens up the possibility of using a certain method, know 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]] RAQ<ref>''Modern Canonical Quantum General Relativity'' by Thomas Thiemann</ref>
 
=== 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 ultraviolent behaviour of the corresponding operator and hence the Master constraint programme must be approached with due 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.<ref>''Testing the Master Constraint Programme for Loop Quantum Gravity I. General Framework'', Bianca Dittrich, Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1025-1066.</ref><ref>''Testing the Master Constraint Programme for Loop Quantum Gravity II. Finite Dimensional Systems'', Bianca Dittrich, Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1067-1088.</ref><ref>''Testing the Master Constraint Programme for Loop Quantum Gravity III. SL(2,R) Models'', Bianca Dittrich, Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1089-1120.</ref><ref>''Testing the Master Constraint Programme for Loop Quantum Gravity IV. Free Field Theories'', Bianca Dittrich, Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1121-1142.</ref><ref>''Testing the Master Constraint Programme for Loop Quantum Gravity V. Interacting Field Theories'', Bianca Dittrich, Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1143-1162.</ref> 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,<ref>''Quantum Spin Dynamics VIII. The Master Constraint'', Thomas Thiemann, Class.Quant.Grav. 23 (2006) 2249-2266.</ref> an obvious 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.<ref>''Approximating the physical inner product of Loop Quantum Cosmology'', Benjamin Bahr, Thomas Thiemann, Class.Quant.Grav.24:2109-2138,2007.</ref><ref>''On the Relation between Operator Constraint --, Master Constraint --, Reduced Phase Space --, and Path Integral Quantisation'', Muxin Han, Thomas Thiemann, Class.Quant.Grav.27:225019,2010.</ref><ref>''On the Relation between Rigging Inner Product and Master Constraint Direct Integral Decomposition'', Muxin Han, Thomas Thiemann, J.Math.Phys.51:092501,2010.</ref><ref>''A Path-integral for the Master Constraint of Loop Quantum Gravity'', Muxin Han, Class.Quant.Grav.27:215009,2010</ref>
 
The Consistent Discretizations approach to LQG,<ref>''Emergent diffeomorphism invariance in a discrete loop quantum gravity model'', Rodolfo Gambini, Jorge Pullin, Class.Quant.Grav.26:035002,2009</ref><ref>Section 10.2.2 ''A First Course in Loop quantum Gravity'', Rodolfo Gambinni, Jorge Pullin, Oxford University Press, first published 2011.</ref> is an application of the master constraint program to construct the physical Hilbert space of the canonical theory.
 
=== Spin foam from the Master constraint ===
 
It turns out that 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><\phi , \psi>_{Phys} = \lim_{T \rightarrow \infty} <\phi , \int_{-T}^T dt e^{i t \hat{M}_E} \psi>.</math>
 
(as <math>\delta (\hat{M_E}) = \lim_{T \rightarrow \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>e^{i t \hat{M}_E} = \lim_{n \rightarrow \infty} [e^{i t \hat{M}_E / n}]^n = \lim_{n \rightarrow \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 semi-classical 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 ===
 
The Master constraint programme has evolved into a fully combinatorial treatment of gravity known as Algebraic Quantum Gravity (AQG).<ref>''Algebraic Quantum Gravity (AQG) I. Conceptual Setup'', K. Giesel, T. Thiemann, Class.Quant.Grav.24:2465-2498,2007.</ref> 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 existing semiclassical machinery, which is only viable for non-graph changing operators, can be employed, and progress has been made in establishing it has the correct semiclassical limit and providing contact with familiar low energy physics.<ref>''Algebraic Quantum Gravity (AQG) II. Semiclassical Analysis'', K. Giesel, T. Thiemann, Class.Quant.Grav.24:2499-2564,2007.</ref><ref>''Algebraic Quantum Gravity (AQG) III. Semiclassical Perturbation Theory'', K. Giesel, T. Thiemann, Class.Quant.Grav.24:2565-2588,2007.</ref> See Thiemann's book for details.
 
== Physical applications of LQG ==
 
=== Black hole entropy ===
{{main|Black hole thermodynamics|Isolated horizon| Immirzi parameter}}
The Immirzi parameter (also known as the Barbero-Immirzi parameter) is a numerical coefficient appearing in loop quantum gravity. It may take real or imaginary values.
 
[[File:Black Hole Merger.jpg|thumb|right|275px|An artist depiction of two [[black hole]]s merging, a process in which the [[laws of thermodynamics]] are upheld.]]
 
Black hole thermodynamics is the area of study that seeks to reconcile the [[laws of thermodynamics]] with the existence of [[black hole]] [[event horizon]]s. The [[no hair theorem|no hair conjecture]] of general relativity states that a black hole is characterized only by its [[mass]], its [[charge (physics)|charge]], and its [[angular momentum]]; hence, it has no [[entropy]]. It appears, then, that one can violate the [[second law of thermodynamics]] by dropping an object with nonzero entropy into a black hole.<ref name="Bousso 2002 825–874">{{cite journal |last=Bousso |first=Raphael |year=2002 |title=The Holographic Principle |journal=[[Reviews of Modern Physics]] |volume=74 |issue=3 |pages=825–874 |doi=10.1103/RevModPhys.74.825 |arxiv=hep-th/0203101 |bibcode=2002RvMP...74..825B |ref=harv}}</ref> Work by [[Stephen Hawking]] and [[Jacob Bekenstein]] showed that one can preserve the second law of thermodynamics by assigning to each black hole a ''black-hole entropy''
 
:<math>S_{\text{BH}} = \frac{k_\mathrm{B}A}{4\ell_{\mathrm{P}}^2},</math>
 
where ''A'' is the area of the hole's event horizon, ''k''<sub>B</sub> is the [[Boltzmann constant]], and ''ℓ''<sub>P</sub>&nbsp;= {{sqrt|''Għ''/''c''<sup>3</sup>}} is the [[Planck length]].<ref>{{cite journal | first = Parthasarathi | last = Majumdar | title = Black Hole Entropy and Quantum Gravity | arxiv = gr-qc/9807045 | journal = ArXiv: General Relativity and Quantum Cosmology | year = 1998|bibcode = 1999InJPB..73..147M | volume = 73 | pages = 147 | ref = harv }}</ref> The fact that the black hole entropy is also the maximal entropy that can be obtained by the [[Bekenstein bound]] (wherein the Bekenstein bound becomes an equality) was the main observation that led to the [[holographic principle]].<ref name="Bousso 2002 825–874"/>
 
An oversight in the application of the 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? Actually, 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 semi-classical limit of the [[quantum state]] of the gravitational field, but there are many quantum states that have the same semiclasical limit. Specifically, in LQG<ref name="ReferenceA">See [[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, A, 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.<ref name="Rovelli1996">{{cite journal |last=Rovelli |first=Carlo |year=1996 |title=Black Hole Entropy from Loop Quantum Gravity |journal=Physical Review Letters |volume=77 |pages=3288&ndash;3291 |doi=10.1103/PhysRevLett.77.3288 |arxiv=gr-qc/9603063 |bibcode=1996PhRvL..77.3288R |issue=16 |ref=harv}}</ref><ref name="Ashtekar1997">{{cite journal |last=Ashtekar |first=Abhay |coauthors=Baez, John; Corichi, Alejandro; Krasnov, Kirill |year=1998 |title=Quantum Geometry and Black Hole Entropy |journal=Physical Review Letters |volume=80 |issue=5 |pages=904&ndash;907 |doi=10.1103/PhysRevLett.80.904 |arxiv=gr-qc/9710007 |bibcode=1998PhRvL..80..904A |ref=harv}}</ref> These calculations have been generalized to rotating black holes.<ref>''Quantum horizons and black hole entropy: Inclusion of distortion and rotation'', Abhay Ashtekar, Jonathan Engle, Chris Van Den Broeck, Class.Quant.Grav.22:L27-L34, 2005.</ref>
 
[[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 [[Defect (geometry)|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.<ref name="Bianchi2012">{{cite journal |last=Bianchi |first=Eugenio |year=2012 |title=Entropy of Non-Extremal Black Holes from Loop Gravity |arxiv=gr-qc/1204.5122 |bibcode=2012arXiv1204.5122B |volume=1204 |pages=5122 |ref=harv}}</ref> The calculation makes use of the notion of [[dynamical horizon]] and is done for non-extremal black holes.
 
A recent success of the theory in this direction is the computation of the [[entropy]] of all non singular black holes directly from theory and independent of [[Immirzi parameter]].<ref>http://inspirehep.net/record/940357?ln=en. http://inspirehep.net/record/1111991.</ref>  The result is the expected formula <math>S=A/4</math>, where S is the entropy and A 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 had to be fixed by demanding agreement with [[Jacob Bekenstein|Bekenstein]] and [[Stephen Hawking|Hawking's]] calculation of the [[black hole thermodynamics|black hole entropy]].
 
=== Loop quantum cosmology ===
{{main|loop quantum cosmology|Big bounce|inflation (cosmology)}}
The popular and technical literature makes extensive references to LQG-related topic of loop quantum cosmology. LQC was mainly developed by Martin Bojowald, it was popularized Loop quantum cosmology in ''[[Scientific American]]'' for predicting a [[big bounce]] prior to the [[big bang]].  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, the prediction of a big bounce, and a natural mechanism for [[inflation (cosmology)]].
 
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.<ref>''On (Cosmological) Singularity Avoidance in Loop Quantum Gravity'', Johannes Brunnemann, Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1395-1428.</ref><ref>''Unboundedness of Triad -- Like Operators in Loop Quantum Gravity'', Johannes Brunnemann, Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1429-1484.</ref>
 
=== Loop Quantum Gravity phenomenology ===
 
Quantum gravity effects are notoriously difficult to measure because the Plank length is so incredibly small. However recently physicists have started to consider the possibility of measuring quantum gravity effects, mostly from astrophysical observations and gravitational wave detectors.
 
=== Background independent scattering amplitudes ===
 
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 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 far from obvious, and it is far from 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;<ref>L Modesto, C Rovelli:''Particle scattering in loop quantum gravity'', Phys Rev Lett 95 (2005) 191301</ref> the idea is to study the boundary amplitude, namely a path integral over a finite space-time region, seen as a function of the boundary value of the field.<ref>R Oeckl, ''A ‘general boundary’ formulation for quantum mechanics and quantum gravity'', Phys Lett B575 (2003) 318-324 ; ''Schrodinger’s cat and the clock: lessons for quantum gravity'', Class Quant Grav 20 (2003) 5371-5380l</ref> In conventional quantum field theory, this boundary amplitude is well–defined<ref>F Conrady, C Rovelli ''Generalized Schrodinger equation in Euclidean field theory”, Int J Mod Phys A 19, (2004) 1-32.</ref><ref>L Doplicher, ''Generalized Tomonaga-Schwinger equation from the Hadamard formula,'' Phys Rev D70 (2004) 064037</ref> and codes the physical information of the theory; it does so in quantum gravity as well, but in a fully background–independent manner.<ref>F Conrady, L Doplicher, R Oeckl, C Rovelli, M Testa, ''Minkowski vacuum in background independent quantum gravity'', Phys Rev D69 (2004) 064019.</ref> 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.
 
== The problem of time in quantum gravity ==
 
Roughly speaking the problem of time is that there ''is none'' in general relativity. This is because in general relativity the Hamiltonian is a constraint that must vanish. However, in any canonical theory, the Hamiltonian generates time translations. Therefore we arrive at the conclusion that "nothing moves" ("there is no time") in general relativity. Since "there is no time", the usual interpretation of quantum mechanics measurements at given moments of time breaks down. This problem of time is the broad banner for all interpretational problems of the formalism.
 
=== Time in quantum mechanics ===
 
In classical mechanics a special status is assigned to time in the sense that it is treated as a classical background parameter, external to the system itself. This special role is seen in the standard formulation of quantum mechanics. It is regarded as part of an a priori given classical background with a well defined value. In fact, the classical treatment of time is deeply intertwined with the Copenhagen interpretation of quantum mechanics, and, thus, with the conceptual foundations of quantum theory: all measurements of observables are made at certain instants of time and probabilities are only assigned to such measurements.
 
Special relativity has modified the notion of time. But from a fixed Lorentz observer's viewpoint time remains a distinguished, absolute, external, global parameter. The newtonian notion of time essentially carries over to special relativistic systems, hidden in the spacetime structure.
 
=== Overturning of absolute time in general relativity ===
 
We want to describe the notion of time in the general theory of relativity. Spacetime is no longer an absolute background object, but is dynamical. Gravity is a manifestation of spacetime geometry. There is a reaction of all matter with spacetime and even an interaction of spacetime on itself (e.g. gravitational waves). The dynamical nature of spacetime has far reaching consequences for the notion of time and hence the foundations of quantum mechanics.
 
The dynamical nature of spacetime, via the [[Hole argument]], implies that the theory is diffeomorphism invariant. The constraints are the imprint in the canonical theory of the diffeomorphism invariance of the four-dimensional theory. They also contain the dynamics of the theory, since the Hamiltonian identically vanishes. The quantum theory has no explicit dynamics, wavefunctions are annihilated by the constraints and Dirac observables commute with the constraints and hence are constants of motion. Kuchar introduces the idea of "perennials" and Rovelli the idea of "partial observables". The expectation is that in physical situations some of the variables of the theory will play the role a "time" with respect to which other variables would evolve and define dynamics in a relational way. This runs into difficulties and is a version of the "problem of time" in the canonical quantization.<ref>K. Kuchar, in "Proceedings of the 4th Canadian meeting on Relativity and Relativistic Astrophysics", editors G. Kunstatter, D. Vincent, J. Williams, World Scientific, Singapore (1992).</ref>
 
=== Proposed solutions to the problem of time ===
{{main|Evolving constants of motion|Reduced phase space quantization|Consistent histories}}
Section to be written up...
 
Carlo Rovelli's book provides a very good introduction to conceptual problems.
 
Evolving constants of motion (relation to Dittrich's approximation scheme)...
 
Page-Wootters made a proposal to address the problem of time in systems like general relativity called conditional probabilities interpretation.<ref>Page, D. and Wootters, W. (1983). Phys. Rev. D27, 2885.</ref> It consists in promoting all variables to quantum operators one of them as a clock and asking conditional probability questions with respect to other variables.
 
Consistent discretetizations approach developed by [[Jorge Pullin]] and [[Rodolfo Gambini]] have no constraints. These are lattice approximation techniques for quantum gravity. In the canonical approach if one discretizes the constraints and equations of motion, the resulting discrete equations are inconsistent: they cannot be solved simultaneously. To address this problem one uses a technique based on discretizing the action of the theory and working with the discrete equations of motion. These are automatically guaranteed to be consistent. Most of the hard conceptual questions of quantum gravity are related to the presence of constraints in the theory. Consistent discretized theories are free of these conceptual problems and can be straightforwardly quantized, providing a solution to the problem of time. It is a bit more subtle than this. Although without constraints and having "general evolution", the latter is only in terms of a discrete parameter that isn't physically accessible. The way out is addressed in a way similar to the Page-Wooters approach. The idea is to pick one of the physical variables to be a clock and asks relational questions. These ideas where the clock is also quantum mechanical have actually led to a new interpretation of quantum mechanics - the Montevideo interpretation of quantum mechanics.<ref>''The Montevideo interpretation of quantum mechanics: frequently asked questions'', Rodolfo Gambini, Jorge Pullin, J. Phys. Conf. Series, proceedings of the DICE 2008 Castiglioncello meeting. J.Phys.Conf.Ser.174:012003,2009.</ref><ref>''An axiomatic formulation of the Montevideo interpretation of quantum mechanics'', Rodolfo Gambini, Luis Pedro Garcia-Pintos, Jorge Pullin. Studies In History and Philosophy of Modern Physics 42, 256-263 (2011).</ref> This new interpretation solves the problems of the use of environmental decoherence as a solution to the [[problem of measurement]] in quantum mechanics by invoking fundamental limitations, due to the quantum mechanical nature of clocks, in the process of measurement in quantum mechanics. These limitations are very natural in the context of generally covariant theories as quantum gravity where the clock must be taken a one of the degrees of freedom of the system itself. They have also put forward this fundamental dechorence as a way to resolve the [[black hole information paradox]].<ref>''No black hole information puzzle in a relational universe'', Rodolfo Gambini, Rafael Porto, Jorge Pullin. Int.J.Mod.Phys. D13 (2004) 2315-2320.</ref><ref>''Realistic clocks, universal decoherence and the black hole information paradox'', Rodolfo Gambini, Rafael Porto, Jorge Pullin. Phys.Rev.Lett. 93 (2004) 240401.</ref>
 
In certain circumstances use a matter field to deparametrize the theory and introduce a physical Hamiltonian - one that generates physical time evolution, not a constraint...
 
Reduced phase space quantization...constraints solved first then quantized. This approach was considered for some time to be impossible as it seems to require first finding the general solution to Einstein's equations. However with use of ideas involved in Dittrich's approximation scheme (built on ideas of Rovelli) a way to explicitly implement, at least in principle, a reduced phase space quantization was made viable.<ref>''Reduced Phase Space Quantization and Dirac Observables'', Thomas Thiemann, Class.Quant.Grav. 23 (2006) 1163-1180.</ref>
 
=== The thermal time hypothesis ===
{{main|thermodynamics}}
 
Generally covariant theories do not have a notion of a distinguished physical time with respect to which everything evolves. However, it is not needed for the full formulation and interpretation of the theory. The dynamical laws are determined by correlations which are sufficient to make predictions. But then a mechanism is needed which explains how the familiar notion of time eventually emerges from the timeless structure to become such an important ingredient of the macroscopic world we live in as well as of our conscious experience.
 
A possible solution to this problem has been put forward by [[Carlo Rovelli]] and [[Alain Connes]], both in the classical and quantum theory, and goes by the name of the thermal time hypothesis. It postulates that physical time flow is not a priori given fundamental property of the theory, but is a macroscopic feature of thermodynamical origin.<ref>''Von Neumann Algebra Automorphisms and Time-Thermodynamics Relation in General Covariant Quantum Theories'', A. Connes, C. Rovelli, Class.Quant.Grav.11:2899-2918,1994.</ref>
 
== Gravitons, string theory, super symmetry, extra dimensions in LQG ==
{{main| graviton| string theory| supersymmetry| Kaluza–Klein theory| supergravity}}
Some quantum theories of gravity posit a spin-2 quantum field that is quantized, giving rise to gravitons. In string theory and quantum field theories, one starts with quantized excitations on top of a classically fixed background. These theories are thus described as background dependent. The excitations are the quanta of the associated fields (photons, gravitons, ...). String theory's claim as a theory of quantum gravity is its prediction of a massless spin-2 particle, the graviton, whose interactions in the classical limit reproduce general relativity. While string theory is "background dependent", the choice of background, like a gauge fixing, does not affect the physical predictions. This is not the case, however, for quantum field theories, which give different predictions for different backgrounds. In contrast, loop quantum gravity, like general relativity, is manifestly background independent, eliminating the (in some sense) "redundant" background required in string theory. Loop quantum gravity, like string theory, also aims to overcome the nonrenormalizable divergences of quantum field theories.
 
LQG never introduces a background and excitations living on this 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.
 
So in contrast to any other QFT and string theory where the "gravitons" are the fundamental (mathematical and physical) entities in LQG the gravitons are not fundamental but only to be considered in a certain limited approximation.
 
LQG differs from string theory in that it is formulated in 3 and 4 dimensions and without supersymmetry or Kaluza–Klein theory extra dimensions, while the latter requires both to be true. There is no experimental evidence to date that supports string theory's predictions of supersymmetry and Kaluza–Klein theory extra dimensions. In a 2003 paper A dialog on quantum gravity,<ref>http://arxiv.org/abs/arXiv:hep-th/0310077</ref> 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. Peter Woit in Not Even Wrong and Lee Smolin in [[The Trouble with Physics]] also regards string/M-theory to be in conflict with current known experimental results.
 
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 extradimensions 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. In fact a series of recent papers have been published attempting just this.<ref>''New Variables for Classical and Quantum Gravity in all Dimensions I. Hamiltonian Analysis'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Class. Quantum Grav. 30 (2013) 045001</ref><ref>''New Variables for Classical and Quantum Gravity in all Dimensions II. Lagrangian Analysis'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Quantum Grav. 30 (2013) 045002</ref><ref>''New Variables for Classical and Quantum Gravity in all Dimensions III. Quantum Theory'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Class. Quantum Grav. 30 (2013) 045003</ref><ref>''New Variables for Classical and Quantum Gravity in all Dimensions IV. Matter Coupling'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Class. Quantum Grav. 30 (2013) 045004</ref><ref>''On the Implementation of the Canonical Quantum Simplicity Constraint'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Class. Quantum Grav. 30 (2013) 045005</ref><ref>''Towards Loop Quantum Supergravity (LQSG) I. Rarita-Schwinger Sector'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Class. Quantum Grav. 30 (2013) 045006</ref><ref>''Towards Loop Quantum Supergravity (LQSG) II. p-Form Sector'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Class. Quantum Grav. 30 (2013) 045007</ref><ref>''Towards Loop Quantum Supergravity (LQSG)'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, Phys. Lett. B 711: 205-211 (2012)</ref> Most recently, Thiemann at el have made progress toward calculating black hole entropy for supergravity in higher dimensions. It will be interesting to compare these results to the corresponding super string calculations.<ref>''New Variables for Classical and Quantum Gravity in all Dimensions V. Isolated Horizon Boundary Degrees of Freedom'', Norbert Bodendorfer, Thomas Thiemann, Andreas Thurn, http://uk.arxiv.org/pdf/1304.2679.</ref><ref>''Black hole entropy from loop quantum gravity in higher dimensions'', Norbert Bodendorfer http://uk.arxiv.org/pdf/1307.5029</ref>
 
As of April 2013 LHC has failed to find evidence of supersymmetry or Kaluza–Klein theory extra dimensions, which has encouraged LQG researchers. Shaposhnikov in  his paper "Is there a new physics between electroweak and Planck scales?" has proposed the neutrino minimal standard model,<ref>http://arxiv.org/abs/0708.3550</ref> which claims the most parsimonious theory is a standard model extended with neutrinos, plus gravity, and that extra dimensions, GUT physics, and supersymmetry, string/M-theory physics are unrealized in nature, and that any theory of quantum gravity must be four dimensional, like loop quantum gravity.
 
== LQG and related research programs ==
{{main| noncommutative geometry| twistor theory| entropic gravity| Sundance Bilson-Thompson| Asymptotic safety in quantum gravity| Causal dynamical triangulation| group field theory| consistent discretizations}}
Several research groups have attempted to combine LQG with other research programs: Johannes Aastrup, Jesper M. Grimstrup et al. research combines [[noncommutative geometry]] with loop quantum graivty,<ref>http://arxiv.org/abs/1203.6164</ref> Laurent Freidel, Simone Speziale, et al., [[spinors]] and [[twistor theory]] with loop quantum gravity,<ref>http://arxiv.org/abs/1006.0199</ref> and Lee Smolin et al. with Verlinde [[entropic gravity]] and loop gravity.<ref>http://arxiv.org/abs/1001.3668</ref> Stephon Alexander, Antonino Marciano and Lee Smolin have attempted to explain the origins of [[weak force]] chirality in terms of Ashketar's variables, which describe gravity as chiral,<ref>http://arxiv.org/abs/1212.5246</ref> and LQG with [[Yang-mills]] fields <ref>http://arxiv.org/abs/1105.3480</ref> in four dimensions. [[Sundance Bilson-Thompson]], Hackett et al.,<ref>''Quantum gravity and the standard model'', Sundance O. Bilson-Thompson, Fotini Markopoulou, Lee Smolin, Class.Quant.Grav.24:3975-3994,2007.</ref><ref>For a precise review and outlook
of this research see: ''Emergent Braided Matter of Quantum Geometry'', Sundance Bilson-Thompson, Jonathan Hackett, Louis Kauffman, Yidun Wan, SIGMA 8 (2012), 014, 43 pages.</ref> has attempted to introduce standard model via LQG"s degrees of freedom as an emergent property (by employing the idea [[noiseless subsystems]] a useful notion introduced in 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>) LQG has also drawn philosophical comparisons with [[Causal dynamical triangulation]] <ref>http://www.perimeterinstitute.ca/people/renate-loll</ref> and  [[asymptotically safe gravity]],<ref>wwnpqft.inln.cnrs.fr/pdf/Bianchi.pdf</ref> and the spinfoam with [[group field theory]] and [[AdS/CFT correspondence]].<ref>http://arxiv.org/abs/0804.0632</ref> Smolin and Wen have suggested combining LQG with [[String-net liquid]], [[tensors]], and Smolin and Fotini Markopoulou-Kalamara [[Quantum Graphity]] There is the consistent discretizations approach. In addition to what has already mentioned above, Pullin and Gambini provide a framework to connect the [[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 topsin networks.{{citation needed|date=September 2013}}
 
== Problems and comparisons with alternative approaches ==
{{main|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.
 
Can quantum mechanics and general relativity be realized as a fully consistent theory (perhaps as a quantum field theory)?[7] 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 [[string theory]]. There are substantial differences however.  For example, string theory also addresses  [[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 LQG's description of spacetime at the [[Planck scale]] has the right continuum limit (described by general relativity with possible quantum corrections). Specifically, the dynamics of the theory is encoded in the [[Hamiltonian constraint]], but there is no candidate [[Hamiltonian (quantum mechanics)|Hamiltonian]].<ref name="autogenerated2005">{{Cite journal |last1=Nicolai |first1=Hermann |last2=Peeters |first2=Kasper |last3=Zamaklar |first3=Marija |doi=10.1088/0264-9381/22/19/R01 |journal=Classical and Quantum Gravity |volume=22 |title=Loop quantum gravity: an outside view |issue=19 |pages=R193–R247 |year=2005 |arxiv=hep-th/0501114 |postscript=.|bibcode = 2005CQGra..22R.193N |ref=harv }}</ref> Other technical problems include finding [[off-shell]] closure of the constraint algebra and physical inner product [[vector space]], coupling to matter fields of [[Quantum field theory]], fate of the [[renormalization]] of the [[graviton]] in [[perturbation theory]] that lead to [[ultraviolet divergence]] beyond 2-loops (see [[One-loop Feynman diagram]] in [[Feynman diagram]]).<ref name="autogenerated2005"/>
 
While there has been a recent proposal relating to observation of [[naked singularity|naked singularities]],<ref>{{Cite journal| arxiv=gr-qc/0506129| author=Goswami et al.| author2=Joshi, Pankaj S.| author3=Singh, Parampreet|title=Quantum evaporation of a naked singularity | journal=Physical Review Letters| volume=96| issue=3| page=31302| year=2006| doi=10.1103/PhysRevLett.96.031302| bibcode=2006PhRvL..96c1302G| postscript=.| ref=harv}}</ref> and [[doubly special relativity]] as a part of a program called [[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 hasn't yet  even reproduced the predictions made by general relativity.
 
An alternative criticism is that general relativity may be an [[effective field theory]], and therefore quantization ignores the fundamental degrees of freedom.
 
== See also ==
{{col-begin}}
{{col-break}}
* [[Ashtekar variables]]
* [[C*-algebra]]
* [[Category theory]]
* [[Consistent discretizations]]
* [[Double special relativity]]
* [[GNS construction]]
* [[Group field theory]]
* [[Heyting algebra]]
* [[Hamiltonian constraint]]
* [[Hamiltonian constraint of LQG]]
* [[Immirzi parameter]]
{{col-break}}
* [[Invariance mechanics]]
* [[Knot invariant]]
* [[Kodama state]]
* [[Loop quantum cosmology]]
* [[Lorentz invariance in loop quantum gravity]]
* [[Noncommutative geometry]]
* [[Regge calculus]]
{{col-break}}
* [[S-knot]]
* [[Spin foam]]
* [[String-net]]
* [[Supersymmetry]]
* [[Topos theory]]
{{col-end}}
 
== Notes ==
{{Reflist|30em}}
 
== References ==
* Topical Reviews
** {{Cite journal
| last=Rovelli
| first=Carlo
| authorlink=Carlo Rovelli
| title=Zakopane lectures on loop gravity
| year=2011
| arxiv = 1102.3660
| bibcode=2011arXiv1102.3660R
| volume=1102
| pages=3660
| ref=harv
| postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}
}}
** {{Cite journal
| last=Rovelli
| first=Carlo
| authorlink=Carlo Rovelli
| title=Loop Quantum Gravity
| journal=Living Reviews in Relativity
| volume=1
| year=1998
| url=http://www.livingreviews.org/lrr-1998-1
| accessdate=2008-03-13
| ref=harv
| postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}
}}
** {{Cite journal
| last=Thiemann
| first=Thomas
| title=Lectures on Loop Quantum Gravity
| year=2003
| journal=Lectures Notes in Physics
| volume=631
| pages=41–135
| arxiv = gr-qc/0210094
|bibcode = 2003LNP...631...41T |doi = 10.1007/978-3-540-45230-0_3
| series=Lecture Notes in Physics
| isbn=978-3-540-40810-9
| ref=harv
| postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}} }}
**{{Cite journal
| last=Ashtekar
| first=Abhay
| authorlink=Abhay Ashtekar
| first2=Jerzy
| last2=Lewandowski
| title=Background Independent Quantum Gravity: A Status Report
| journal=Classical and Quantum Gravity
| volume=21
| year=2004
| issue=15
| pages=R53–R152
| doi=10.1088/0264-9381/21/15/R01
| arxiv = gr-qc/0404018
|bibcode = 2004CQGra..21R..53A
| ref=harv
| postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}} }}
** [[Carlo Rovelli]] and Marcus Gaul, ''Loop Quantum Gravity and the Meaning of Diffeomorphism Invariance'', e-print available as [http://arxiv.org/abs/gr-qc/9910079 gr-qc/9910079].
** [[Lee Smolin]], ''The case for background independence'', e-print available as [http://arxiv.org/abs/hep-th/0507235 hep-th/0507235].
** [[Alejandro Corichi]], ''Loop Quantum Geometry: A primer'', e-print available as [http://arxiv.org/abs/gr-qc/0507038v2].
** Alejandro Perez, ''Introduction to loop quantum gravity and spin foams'', e-print available as [http://arxiv.org/abs/gr-qc/0409061v3].
** Hermann Nicolai and Kasper Peeters ''Loop and spin foam quantum gravity: A Brief guide for beginners.'', e-print available as [http://arxiv.org/abs/hep-th/0601129v2].
* Popular books:
** [[Lee Smolin]], ''[[Three Roads to Quantum Gravity]]''
** [[Carlo Rovelli]], ''Che cos'è il tempo? Che cos'è lo spazio?'', Di Renzo Editore, Roma, 2004. French translation: ''Qu'est ce que le temps? Qu'est ce que l'espace?'', Bernard Gilson ed, Brussel, 2006. English translation: ''What is Time? What is space?'', Di Renzo Editore, Roma, 2006.
** [[Julian Barbour]], ''[[The End of Time: The Next Revolution in Our Understanding of the Universe]]''
** {{Cite journal | first = George | last = Musser | authorlink = George Musser | coauthors =  | year = 2008 | title = The Complete Idiot's Guide to String Theory | chapter =  | editor =  | others =  | edition =  | journal = The Physics Teacher | volume = 47 | issue = 2| page = 368 | publisher = Alpha | location = Indianapolis | isbn = 978-1-59257-702-6 | url = | doi = 10.1119/1.3072469 | bibcode = 2009PhTea..47Q.128H | ref = harv | postscript = <!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}} }} – Focuses on string theory but has an extended discussion of loop gravity as well.
* Magazine articles:
** [[Lee Smolin]], "Atoms of Space and Time," [[Scientific American]], January 2004
** [[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 [http://arxiv.org/abs/gr-qc/0410054 gr-qc/0410054] (2004)
** [[John C. Baez]] and Javier Perez de Muniain, ''Gauge Fields, Knots and Quantum Gravity'', World Scientific (1994)
** [[Carlo Rovelli]], ''A Dialog on Quantum Gravity'', e-print available as [http://arxiv.org/abs/hep-th/0310077 hep-th/0310077] (2003)
* More advanced introductory/expository works:
** [[Carlo Rovelli]], ''Quantum Gravity'', Cambridge University Press (2004); [http://www.cpt.univ-mrs.fr/~rovelli/book.pdf draft available online]
** Thomas Thiemann, ''Introduction to modern canonical quantum general relativity'', e-print available as [http://arxiv.org/abs/gr-qc/0110034 gr-qc/0110034]
** Thomas Thiemann, ''Introduction to Modern Canonical Quantum General Relativity'', Cambridge University Press (2007)
** [[Abhay Ashtekar]], ''New Perspectives in Canonical Gravity'', Bibliopolis (1988).
** [[Abhay Ashtekar]], ''Lectures on Non-Perturbative Canonical Gravity'', World Scientific (1991)
** [[Rodolfo Gambini]] and [[Jorge Pullin]], ''Loops, Knots, Gauge Theories and Quantum Gravity'', Cambridge University Press (1996)
** Hermann Nicolai, Kasper Peeters, Marija Zamaklar, ''Loop quantum gravity: an outside view'', e-print available as [http://arxiv.org/abs/hep-th/0501114 hep-th/0501114]
** H. Nicolai and K. Peeters, ''Loop and Spin Foam Quantum Gravity: A Brief Guide for Beginners'', e-print available as [http://lanl.arxiv.org/abs/hep-th/0601129 hep-th/0601129]
** T. Thiemann [http://arxiv.org/abs/hep-th/0401172v1 The LQG – String: Loop Quantum Gravity Quantization of String Theory] (2004)
 
* Conference proceedings:
** [[John C. Baez]] (ed.), ''Knots and Quantum Gravity''
* Fundamental research papers:
**{{Cite journal | last=Ashtekar | first=Abhay  | authorlink=Abhay Ashtekar
| title=New variables for classical and quantum gravity | journal=Physical Review Letters
| volume=57 | pages=2244–2247 | year=1986 | doi=10.1103/PhysRevLett.57.2244 | pmid=10033673 | issue=18 | bibcode=1986PhRvL..57.2244A | ref=harv | postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}
}}
** {{Cite journal | last=Ashtekar | first=Abhay | authorlink=Abhay Ashtekar
| title=New Hamiltonian formulation of general relativity | journal=Physical Review D
| volume=36 | issue=6 | pages=1587–1602 | year=1987 | doi=10.1103/PhysRevD.36.1587
|bibcode = 1987PhRvD..36.1587A | ref=harv | postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}} }}
** [[Roger Penrose]], ''Angular momentum: an approach to combinatorial space-time'' in ''Quantum Theory and Beyond'', ed. Ted Bastin, Cambridge University Press, 1971
** {{Cite journal | last1 = Rovelli | first1 = Carlo | authorlink = Carlo Rovelli | authorlink2 = Lee Smolin | last2 = Smolin | first2 = Lee | year = 1988 | title = Knot theory and quantum gravity | url = | journal = Physical Review Letters | doi = 10.1103/PhysRevLett.61.1155 | volume = 61 | issue = 10 | bibcode = 1988PhRvL..61.1155R| page = 1155 | postscript = . | ref = harv }}
** {{Cite journal | last1 = Rovelli | first1 = Carlo | authorlink = Carlo Rovelli | authorlink2 = Lee Smolin | last2 = Smolin | first2 = Lee | year = 1990 | title = Loop space representation of quantum general relativity | url = | journal = Nuclear Physics | volume = B331 | issue = | pages = 80–152 | postscript = . | ref = harv }}
** [[Carlo Rovelli]] and [[Lee Smolin]], ''Discreteness of area and volume in quantum gravity'', Nucl. Phys., '''B442''' (1995) 593-622, e-print available as [http://xxx.lanl.gov/abs/gr-qc/9411005 gr-qc/9411005]
**{{Cite book
| last=Kuchař
| first=Karel
| contribution=Canonical Quantization of Gravity
| editor-last=Israel
| editor-first=Werner
| title=Relativity, Astrophysics and Cosmology
| year=1973
| publisher=D. Reidel
| pages=237–288
| isbn=90-277-0369-8
| ref=harv
| postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}
}}
**{{Cite journal
| last=Thiemann
| first=Thomas
| title=Loop Quantum Gravity: An Inside View
| journal=Approaches to Fundamental Physics
| volume=721
| page=185
| year=2006
| arxiv=hep-th/0608210
| bibcode=2007LNP...721..185T
| doi=10.1007/978-3-540-71117-9_10
| series=Lecture Notes in Physics
| isbn=978-3-540-71115-5
| ref=harv
| postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}
}}
 
== External links ==
*[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.]
*[http://xstructure.inr.ac.ru/x-bin/theme3.py?level=2&index1=205615 Loop Quantum Gravity on arxiv.org]
*[http://sps.nus.edu.sg/~wongjian/lqg.html A list of LQG references catered to fresh graduates]
*[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: ''[http://www.wired.com/news/technology/0,71828-0.html Moving Beyond String Theory]''
*[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/
*[http://uk.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.
*[http://space.newscientist.com/article/mg19826514.300-did-prebig-bang-universe-leave-its-mark-on-the-sky.html?feedId=online-news_rss20 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)
 
{{Theories of gravitation}}
{{quantum gravity}}
 
{{DEFAULTSORT:Loop Quantum Gravity}}
[[Category:Theories of gravitation]]
[[Category:Loop quantum gravity]]
[[Category:Physics beyond the Standard Model]]

Latest revision as of 01:05, 20 December 2014

Take heart in knowing that 85% of those individuals diagnosed with some form of infertility are able to conceive. Depending on the model of wholesale cost impotence Female Outlet Hardy Burberry shoes you bought, usually takes a bit longer compared towards the length Christian Louboutin Black Calfskin Lina 100 Banded Boots. NAION (or stroke in the eye) results when blood flow to the optic nerve is disrupted, causing nerve damage and PERMANENT vision loss. Go native - top native trees to add to your landscaping. Men who have erection problems frequently encounter this during gender.

Not only that, the process of cell repair can also be done well ( the regenerate ) , that old cells replaced with better ones. Researchers have also discovered a correlation between sucralose consumption and an increased risk of cancer and Multiple Sclerosis, Lupus, diabetes, and other serious health disorders. In a column published yesterday titled 'An Anatomy of Law Enforcement Impotence,' Daniel Greenfield (aka 'Sultan Knish') analyzes the 'malfeasance of ideas' that is plaguing modern policing. Cigarettes affect the amount of oxygen your body can absorb. Therefore, in order to find out if impotence is inherited or not a research was conducted.

In most cases the cause for male impotence is a physical problem. The tight jeans increase the temperature in your groin. For many leaders this can be a bewildering, confidence-sapping time - for them, this doesn't feel like a transition from adolescence to maturity. Poor flow of nitric oxide into the reproductive organ also can be a crucial reason for it. The advantage that herbal impotence cures have over different cures is that they are much cheaper and are out there everywhere.

On getting the impulses, neurotransmitters are released and this relaxes the penile muscles and it fills up with blood. So, I would advise anyone suffering from low testosterone symptoms to get out there and do something about this condition in order to get their lives back. These symptoms include lack of energy and motivation, fatigue, sleeping problems, weight gain and increase in fat deposits in the abdomen, impotence, lack of interest in sex and other side effects. Problems such as erectile dysfunction, premature ejaculation, loss of libido and inability to make sexual partner pregnant woman are few and known of them. A person or couples health can definitely be a factor involving infertility, however it is not usually one of the key factors.

Overdose can create problem also so be aware about taking its dosages. Their hair stylist are very professional and by gaining a deep understanding of their clients requirements they are able to deliver a service that is second to none. Well, as the old adage goes, be careful what you wish for. You are also going to find that if you begin lifting weights you are going to have the ability to decrease your signs of aging. These drugs can cause dangerously low blood pressure and even heart attack.

If you loved this article and also you would like to collect more info about home remedy for erectile dysfunction (www.eiaculazione-precoce.info) nicely visit our own web page.

Retrieved from "https://en.formulasearchengine.com/index.php?title=Abel–Ruffini_theorem&oldid=224656"