Tuesday, 29 September 2015

Give a description of Loop Quantum Gravity your grandmother could understand


Of course, assuming your grandmother is not a theoretical physicist.


I'd like to hear the basics concepts that make LQG tick and the way it relates to the GR. I heard about spin-networks where one assigns Lie groups representations to the edges and intertwining operators to the nodes of the graph but at the moment I have no idea why this concept should be useful (except for a possible similarity with gauge theories and Wilson loops; but I guess this is purely accidental). I also heard that this spin-graph can evolve by means of a spin-foam which, I guess, should be a generalization of a graph to the simplicial complexes but that's where my knowledge ends.


I have also read the wikipedia article but I don't find it very enlightening. It gives some motivation for quantizing gravity and lists some problems of LQG but (unless I am blind) it never says what LQG actually is.


So, my questions:




  1. Try to give a simple description of fundamentals of Loop Quantum Gravity.


  2. Give some basic results of the theory. Not necessary physical, I just want to know what are implications of the fundamentals I ask for in 1.

  3. Why is this theory interesting physically? In particular, what does it tell us about General Relativity (both about the way it is quantized and the way it is recovered from LQG).




Answer



@Marek your question is very broad. Replace "lqg" with "string theory" and you can imagine that the answer would be too long to fit here ;>). So if this answer seems short on details, I hope you will understand.


The program of Loop Quantum Gravity is as follows:




  1. The notion of diffeomorphism invariance background independence, which is central to General Relativity, is considered sacrosanct. In other words this rules out the String Theory based approaches where the target manifold, in which the string is embedded, is generically taken to be flat [Please correct me if I'm wrong.] I'm sure that that is not the only background geometry that has been looked at, but the point is that String Theory is not written in a manifestly background independent manner. LQG aims to fill this gap.





  2. The usual quantization of LQG begins with Dirac's recipe for quantizing systems with constraints. This is because General Relativity is a theory whose Hamiltonian density ($\mathcal{H}_{eh}$), obtained after performing a $3+1$ split of the Einstein-Hilbert action via the ADM procedure [1,2], is composed only of constraints, i.e.


    $$ \mathcal{H}_{eh} = N^a \mathcal{V}_a + N \mathcal{H} $$


    where $N^a$ and $N$ are the lapse and shift vectors respectively which determine the choice of foliation for the $3+1$ split. $\mathcal{V}_a$ and $\mathcal{H}$ are referred to as the vector (or diffeomorphism) constraint and the scalar (or "hamiltonian") constraint. In the resulting phase space the configuration and momentum variables are identified with the intrinsic metric ($h_{ab}$) of our 3-manifold $M$ and its extrinsic curvature ($k_{ab}$) w.r.t its embedding in the full $3+1$ spacetime, i.e.


    $$ {p,q} \rightarrow \{\pi_{ab},q^{ab}\} := \{k_{ab},h^{ab}\} $$


    This procedure is generally referred to as canonical quantization. It can also be shown that $ k_{ab} = \mathcal{L}_t h_{ab} $, where $ \mathcal{L}_t $ is the Lie derivative along the time-like vector normal to $M$. This is just a fancy way of saying that $ k_{ab} = \dot{h}_{ab} $


    This is where, in olden days, our progress would come to a halt, because after applying the ADM procedure to the usual EH form of the action, the resulting constraints are complicated non-polynomial expressions in terms of the co-ordinates and momenta. There was little progress in this line until in 1986 $\sim$ 88, Abhay Ashtekar put forth a form of General Relativity where the phase space variables were a canonically transformed version of $ \{k_{ab},h^{ab}\} $ This change is facilitated by writing GR in terms of connection and vielbien (tetrads) $ \{A_{a}^i,e^{a}_i\}$ where $a,b,\cdots$ are our usual spacetime indices and $i,j,\cdots$ take values in a Lie Algebra. The resulting connection is referred to as the "Ashtekar" or sometimes "Ashtekar-Barbero" connection. The metric is given in terms of the tetrad by :


    $$ h_{ab} = e_a^i e_b^j \eta_{ij} $$


    where $\eta_{ij}$ is the Minkowski metric $\textrm{diag}(-1,+1,+1,+1)$. After jumping through lots of hoops we obtain a form for the constraints which is polynomial in the co-ordinates and momenta and thus amenable to usual methods of quantization:



    $$ \mathcal{H}_{eha} = N^a_i \mathcal{V}_a^i + N \mathcal{H} + T^i \mathcal{G_i} $$


    where, once again, $ \mathcal{V}_a^i $ and $\mathcal{H}$ are the vector and scalar constraints. The explanation of the new, third term is postponed for now.


    Nb: Thus far we have made no modifications to the theoretical structure of GR. The Ashtekar formalism describes the exact same physics as the ADM version. However, the ARS (Ashtekar-Rovelli-Smolin) framework exposes a new symmetry of the metric. The introduction of spinors in quantum mechanics (and the corresponding Dirac equation) allows us to express a scalar field $\phi(x)$ as the "square" of a spinor $ \phi = \Psi^i \Psi_i $. In a similar manner the use of the vierbien allows us to write the metric as a square $ g_{ab} = e_a^i e_b^j \eta_{ij} $. The transition from the metric to connection variables in GR is analogous to the transition from the Klein-Gordon to the Dirac equation in field theory.




  3. The application of the Dirac quantization procedure for constrained systems shows us that the kinematical Hilbert space, consisting of those states which are annihilated by the quantum version of the constraints, has spin-networks as its elements. All of this is very rigorous and several mathematical technicalities have gradually been resolved over the past two decades.






This answer is already pretty long. It only gives you a taste of things to come. The explanation of the Dirac quantization procedure and spin-networks would be separate answers in themselves. One can give an algorithm for this approach:





  1. Write GR in connection and tetrad variables (in first order form).




  2. Perform $3+1$ decomposition to obtain the Einstein-Hilbert-Ashtekar Hamiltonian $\mathcal{H}_{eha}$ which turns out to be a sum of constraints. Therefore, the action of the quantized version of this Hamiltonian on elements of the physical space of states yields $ \mathcal{H}_{eha} \mid \Psi \rangle = 0 $. (After a great deal of investigation) we find that these states are represented by graphs whose edges are labeled by representations of the gauge group (for GR this is $SU(2)$).




  3. Spin-foams correspond to histories which connect two spin-networks states. On a given spin-network one can perform certain operations on edges and vertices which leave the state in the kinematical Hilbert space. These involve moves which split or join edges and vertices and those which change the connectivity (as in the "star-triangle transformation"). One can formally view a spin-foam as a succession of states $\{ \mid \Psi(t_i) \rangle \}$ obtained by the repeated action of the scalar constraint $ \mid \Psi(t_1) \rangle \sim \exp{}^{-i\mathcal{H}_{eha}\delta t} \mid \Psi (t_0); \mid \Psi(t_2) \rangle \sim \exp{}^{-i\mathcal{H}_{eha}\delta t} \mid \Psi (t_1) \cdots \rangle $ [3].





  4. The graviton propogator has a robust quantum version in these models. Its long-distance limit yields the $1/r^2$ behavior expected for gravity and an effective coarse-grained action given by the usual one consisting of the Ricci scalar plus terms containing quantum corrections.




There is a great deal of literature to back up everything I've said here, but this is already pretty exhausting so you'll have to take me on my word. Let me know what your Grandma thinks of this answer ;).



No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...