Introduction To Loop Quantum Gravity

[marlon]

INTRODUCTION TO LOOP QUANTUM GRAVITY, everything you ever wanted to know...


In Loop Quantum Gravity, also referred to as LQG, the attempt is made to introduce the concept of quantum gravity. This is the unification of the General Theory of Relativity and the Quantummechanics. It is a very well established fact that gravitation and quantummechanics both have totally different foundations, which makes it very difficult to unify them at “first sight”. On the one hand position is uncertain in QM due to the Heisenberg-principle, while this is never the case in GTR. On the other hand, there is no metrical connection between space and time in QM, similar to the space-time-continuum of GTR. This leads to the fact that there is no curvature of space nor time in QM


In order to quantize the GTR we need gauge-fields, curved on a manifold just like in GTR. These gauge fields then need to be quantized just like other fermionic fields are quantized in QFT. When following this procedure, one needs to obey the following two laws at any point and time :

1) diffeomorfism invariance (this is the general covariance of GTR)
2) gauge invariance (like in QFT, invariance of gauge fields under local symmetries)


Basically these two laws ensure us that we have background independence so that we can choose any metric we want in order to describe the manifold. The different possible frames on that manifold must yield the same physical equations at any point on the manifold, that is the covariance (just like in GTR). These diffeomorfisms from one possible metric to another make sure that the physical laws remain the same when metrics are interchanged.


More specifically one needs to describe a manifold. Great mathematicians like Gauss and Riemann have taught us that this is done by the socalled connections. A metric describing a manifold is the most familiar example of a connection, i.e. the socalled metrical connection. There are other options though, like in GTR the connections are not metric-functions but they are gauge fields.


Next question is, how do we study some manifold ? What system can be followed in order to describe how objects behave on some chosen manifold ?
Well, we want background independence, so we must be able to chose any metric or connection we want in order to describe our manifold we are working on. In the early stages of LQG all possible metrics were used in order to implement this concept of back-ground-independence. A certain physical state was then represented as a probability-density containing all these metrics. This way of working was not very practical and in the mid-eighties it was even replaced by a description based upon the set of connections instead of all possible metrics.



Now, how does a connection work ? Well suppose you are on the manifold at a certain point A. Then you want to move in some direction on the manifold along a loop to that starts in A and comes back to A, like a circle. In order to describe this transition in mathematics, one uses the concept of parallel transport of tangent vectors. In order to be able to talk about such things as vectors, we need a reference frame that we can choose as we please because of the two laws mentioned above. Take a frame in A then make a very little step along the loop and look how this chosen frame has changed its position during the movement. Then complete the same procedure until you get back in A after completing the loop. Ofcourse it is not useful to look at the movement of the frame at every intermediate step along the loop. Actually one can integrate out the evolution of the frame over the entire trajectory that is followed from A to A.

When we start in A we actually take a tangent vector. This is an element of the tangent space of the manifold at point A. The transformation that is used to go from a point A on the manifold to the tangential space is called a projection. This tangent space can be turned into a socalled the Lie-Algebra, containing vectors written in terms of differentials, and provides the description for the movement from A to A along the loop. Now the operations that can be executed on the elements of a Lie-Algebra, like the identity or rotations, can be found in the Lie-Group.


As stated in the above paragraph it will be the intention to map elements from the Lie-Algebra to the Lie-Group. To be more specific : suppose we look at some vectors from the Lie-Algebra at A and we parallel transport them along the loop back to A. Now, we see for example that these vectors have rotated 45 degrees during their transport. This 45-degree-rotation is an element from the Lie-Group and the map between these two concepts gives us some idea on how vectors behave when replaced along some chosen loop on the manifold. Thus, yielding in a system to describe the manifold itself. It is proven that if you exponentiate Lie-Algebra-elements, you get the Lie-Group-elements.



More specifically, we take the frame around some loop and integrate all the differential motions of this frame during it’s transport. It is this integral that is exponentiated in order to get the corresponding group-element. In the Lie-Algebra, the group-element has a certain representation like a matrix. It is the trace if this matrix that is considered because the trace is a scalar and it will be the same for all reference frames. The map between the Lie-Algebra element and the Lie-Group element is called a Wilson Loop. Basically it “tries to feel” the metric by parallel transporting a Lie-Algebra element along a loop and “measuring” how this element changes it’s position with respect to the original position, after the loop is completed. Thus yielding a Lie-Group element.


The reason why we can ultimately speak about integrations and so on, is because initially everything is considered to be very very small. We work in terms of differential motions, which add up into the total motion between A and A. We use the Algebra’s in order to talk in terms of differentials d. As we move the frame along some "d(loop)" it experiences some "d(rotation)."


Now, once we have established such a relation, we can calculate the total movement by exponentiating the two differentials of the Lie-Algebra. The d(loop) ofcourse yields a transformation that describes the trajectory of the loop, while the d(rotation) yields the total rotation that has been undergone by the transported vector.









The main consequence of Loop Quantum Gravity is the fact that our space-time-continuum is no longer infinitely divisible. In LQG space has a “granular” structure that represents the fact that space is divided into elementary space-quanta of which the dimensions can be measured in LQG. The main problem of QFT is the fact that it relies on the existence of some physical background. As stated one of the main postulates of LQG is the fact that we need background independence. The diffeomorfisms give us the possibility to go from one metric to another and the physical laws must remain the same. Basically some physical state in LQG is a superposition over all possible backgrounds or in other words a physical state is a wavefunction over all geometries.



In String Theory, the main “competitor” when it comes to quantumgravity starts from the fact that there must be some kind of fictitious background space, thus actually undoing the aspects of general relativity. All calculations can then be made with respect to this background field and in the end the background independence must “somehow” be recovered. LQG starts from a totally different approach, though. We start from the knowledge we have from General Relativity, thus no background field, and we then try to rewrite the entire Quantum Field Theory in a certain way that no background-field is needed.



How to implement this nice background-independence in QFT has already shortly been introduced, i.e. The Wilson Loop and more generally the spin networks :

The map between the Lie-Algebra element and the Lie-Group element is called a Wilson Loop. Basically it “tries to feel” the metric by parallel transporting a Lie-Algebra element along a loop and “measuring” how this element changes it’s position with respect to the original position, after the loop is completed. Thus yielding a Lie-Group element.

The strategy is as follows : in stead of working with one specific metric like in “ordinary” QFT, just sum up over all possible metrics. So QFT should be redefined into somekind of pathintegral over all possible geometries. A wavefunction is then expressed in terms of all these geometries and one can calculate the probability of one specific metric over another. This special LQG-adapted wavefunction must obey the Wheeler-DeWitt equation, which can be viewed at as some kind of Schrödinger-equation for the gravitational field. So just like the dynamics of the EM-field is described by the Maxwell-equations, they dynamics of the gravitational-field are dedeterminedy the above mentioned equation. Now how can we describe the motion of some object or particle in this gravitational field. Or in other words, knowing the Maxwell equations, what will be the variant of the Lorentz-force ?


This is where the loops come in. First questions one must ask is :

Why exactly them loops ?

Well, let’s steal some ideas from particle physics... In QFT we have fermionic matter-fields and bosonic force-fields. The quanta of these force-fields or the socalled force-carrier-particles that mediate forces between matter-particles. Sometimes force-carriers can also interact with each other, like strong-force-mediating gluons for example. These force carriers also have wavelike properties and in this view they are looked as excitations of the bosonic-forcefields. For example some line in a field can start to vibrate (think of a guitar-string) and in QFT one then says that this vibration is a particle. This may sound strange but what is really meant is that the vibration has the properties of some particle with energy, speed, and so on, corresponding to that of the vibration. These lines are also known as Faraday’s lines of force. Photons are "generated" this way in QFT, where they are excitations of the EM-field. Normally these lines go from one matter-particle to another and in the absence of particles or charges they form closed lines, aka loops. Loop Quantum Gravity is the mathematical description of quantum gravity in terms of loops on a manifold. We have already shown how we can work with loops on a manifold and still be assured of background-independence and gauge-invariance for QFT. So we want to quantize the gravitational field by expressing it in terms of loops. These loops are quantum excitations of the Faraday-lines that live in the field and who represent the gravitational force. Gravitons or closed loops that arise as low-energy-excitations of the gravitational field and these particles mediate the gravitational force between objects.


It is important to realize that these loops do not live on some space-time-continuum, they are space-time ! The loops arise as excitations of the gravitational field, which on itself constitutes “space”. Now the problem is how to incorporate the concept of space or to put it more accurately : “how do we define all these different geometries in order to be able to work with a wave function ?”


The Wheeler-DeWitt equation has solutions describing excitations of the gravitational field in terms of loops. A great step was taken when Abhay Ashtekar rewrote the General Theory of Relativity in a similar form as the Yang-Mills-Theory of QFT. The main gauge-field was not the gravitational field. No, the gravitational field was replaced by the socalled connection-field that will then be used to work with different metrics. In this model space must be regarded as some kind of fabric weaved together by loops. This fabric contains finite small space-parts that reflect the quantization of space. It is easy to see that there are no infinite small space regions, thus no space-continuum. Quantummechanics teaches us that in order to look at very small distance-scales, an very big amount of energy is needed. But since we also work in General Relativity we must take into account the fact that great amounts of energy concentrated at a very small scale gives rise to black holes that make the space-region disappear. By making the Schwardzschildradius equal to the Comptonradius we can get a number expressing the minimum size of such a space-region. The result is a number that is in the order of the Planck Length.


Now how is space constructed in LQG ? Well, the above mentioned minimal space-regions are denoted by spheres called the nodes. Nodes are connected to each other by lines called the links.



By quantizing a physical theory, operators that calculate physical quantities will acquire a certain set of possible outcomes or values. It can be proven that in our case the area of the surface between two nodes is quantized and the corresponding quantumnumbers can be denoted along a link. These surfaces I am referring are drawn as purple triangles. In this way a three-dimensional space can be constructed.







One can also assign a quantumnumber which each node, that corresponds to the volume of the grain. Finally, a physical state is now represented as a superposition of such spin-networks.


regards
marlon, thanks to marcus for the necessary information and corrections of this text



REFERENCE : maestro Carlo Rovelli “Loop Quantum Gravity”
Physics World, November 2003

 

[marcus]

marlon,
congratulations on a great sticky thread!
though you are the primary author, I'm assuming it is OK
for others to contribute. So I would like to bring in some
bibliography----some more links to online reading, besides
the Rovelli article that you already have

I believe you plan on continuing your essay, when studies permit,
and hope that others' contributions don't interfere with
your writing future chapters.

best regards,

====
hi, I just saw your next message #3 that you posted. I will reply here to save space. That is a good point about keeping the level Introductory.
I will keep that in mind and concentrate on adding just a small amount of bibliography (unless you get around to it before I do) which is the
more accessible sort. Actually that makes sense for several reasons including the fact that more technical articles can have a shorter shelf life!
the technical methods can get old and be replaced while the basic intuitions
stay useful longer. hope your mainstream QFT studies are going well.
BTW this sticky is really nice to have. thanks again!

 

[marlon]

Marcus, thanks for the reply...

It can only be a good thing that others contribute but i am convinced that we need to keep the level basic enough in this sense that i want to move up the "difficulty-scale" gradually. It would be a bad thing if we were to discuss high-level papers because i think most of us (including myself) will not be able to follow this up and we would get discouraged and drop the subject. I will continue this matter and i would suggest that we follow the content of Rovelli's book which is online at his website.You have given the reference to it...

regards
marlon

 

[marcus]

I will continue this matter and i would suggest that we follow the content of Rovelli's book which is online at his website.You have given the reference to it...

regards
marlon

I am very much looking forward to your continuing the essay, marlon!
I will restrain my tendency to talk too much, so as not to crowd.
BTW just yesterday in the mail was delivered the copy of Rovelli "Quantum Gravity" which I ordered from Amazon. I am very happy with the book and
have been reading it instead of being at computer.

I am only sad that it is so expensive----70 dollars. You have to be rich, or be willing to splurge. Or you have to be in graduate school and need it for a class, as textbook. In US the textbooks are all very expensive, so 70 dollars is fairly normal.

Anyway Rovelli is a good writer and Cambridge Press did a good job, with the editing and just the physical production----nice paper, nice binding, nice feel, and printing. So it is a pleasure to own: at least for me.

But to save money it certainly makes sense to print off the free draft copy at Rovelli site. Even just the first 3 or 4 chapters and some appendices---or whatever you find the most accessible parts and most relevant for you.

Marlon, why not give some online bibliography yourself? It would be a refreshing change (I am always doing the librarian work) and I would enjoy seeing your picks and how you organize it. (If you do not want to, I will not shirk the job, but maybe you would like to list intro-level links?)

 

[jeff]

yesterday in the mail was delivered the copy of Rovelli "Quantum Gravity"

I sincerely hope you enjoy your new book, which I know you will. I was leafing through it at the U of T bookstore. I want to point out two things carlo says in the introductory bit.

1) That any correct quantum gravity theory must be able to calculate amplitudes for graviton-graviton scattering, and that he hopes that lqg will one day lead to a theory that can.

2) That he knows that GR must almost certainly be an effective field theory that is modified at higher energies so that lqg can't be correct. Thus he says he views lqg basically as a laboratory for investigating certain fundamental issues in quantum gravity.

As far as your sticky goes, would you be bothered if I corrected it?

 

[marcus]

... I want to point out two things carlo says in the introductory bit.

1) That any correct quantum gravity theory must be able to calculate amplitudes for graviton-graviton scattering, and that he hopes that lqg will one day lead to a theory that can.

2) That he knows that GR must almost certainly be an effective field theory that is modified at higher energies so that lqg can't be correct. Thus he says he views lqg basically as a laboratory for investigating certain fundamental issues in quantum gravity.
...

I believe you are mistaken, jeff. Carlo does not say these things in the introductory bit.
At least I looked in the first part of the book, and used the index to search the rest, and could not find any statements of the kind.

It would be nice to have some page references, if you have any more would-be paraphrases from Rovelli----even sweller of you to provide actual quotes. Since a paraphrase can often mislead as to what was said in the original.

Thanks for your kind wish as to the book! Indeed it is surprising me. I was not expecting this much, since I had read much of the last year's draft version.

BTW if you pick up a copy either at library or store and can give me some actual page reference (whether or not in the first 50-or-so pages, anywhere in the book will do) where he says these things 1. and 2. that you state, that would be most helpful of you and I will be very interested to read the actual passages and think about it. If he does say something like that my eye somehow missed it.

 

[jeff]

I believe you are mistaken, jeff. Carlo does not say these things in the introductory bit.

We'll, I don't have the book on hand, but...

In rovelli's dec 30 2003 draft, he says on page ix entitled "PREFACE"

"What we need is not just a technique for computing, say, graviton-graviton scattering amplitudes (although we certainly want to be able to do so, eventually)"

On page 5 of the same draft,

"The einstein-hilbert action might very well be a low energy approximation of something else. But the modification of the notions of space and time has to do with the diffeomorphism invariance and the background independence of the action, not with it's specific form."

Be this as it may, jim bjorken in the forward of carlo's book states quite plainly that effective field theory has taught us that GR must be viewed as just an effective field theory, and it's difficult to believe that carlo would've allowed such a statement if it fundamentally contradicted his position.

Btw, did you notice that carlo writes (probably in the preface) that thiemann is publishing a book on the more mathematical aspects of lqg?

 

[marcus]

the Mexican Loop and String Show (21-27 November)

Oh I see.
I thought you were talking about the actual book. that you said you were browsing in the bookstore.

but you apparently meant the draft, from 2003, which is available online.

there's been considerable up-dating and revision. so one should be specific which
=============

Meanwhile, maybe readers of this thread would be interested in the Loop and String lineup of talks at the conference that just finished in Mexico (at the Quintana Roo beach resort in sight of the island of Cozumel)

A lot of the lectures were by top people both string and loop, and they were rather much introductory. The conference aimed at being a "school" to bring more people in. And to introduce stringies to loop research and viceversa.

I thought the lineup of who the organizers wanted to talk about the various hot topics was enlightening. So since it could be instructive, I will copy it here:

http://www.nuclecu.unam.mx/~gravit/EscuelaVI/courses.html

--quote--
COURSES AND INVITED TALKS

Courses:

A. Ashtekar (PSU, USA): Quantum Geometry

A. P. Balachandran (Syracuse, USA): Quantum Physics with Time-Space Noncommutativity

P. T. Chrusciel (Tours, France): Selected Problems in Classical Gravity

R. Kallosh (Stanford, USA): De Sitter Vacua in String Theory and the String Landscape

A. Peet (Toronto, Canada): Black Holes in String Theory

C. Rovelli (Marseille, France): Loop Quantum Gravity and Spinfoams


Plenary talks:

J. D. Barrow (Cambridge, UK): Cosmological Constants and Variations

M. Bojowald (AEI, Germany): Loop Quantum Cosmology

A. Corichi (ICN-UNAM, Mexico): Black Holes and Quantum Gravity

A. Linde (Stanford, USA): Inflation and String Theory

O. Obregon (U. Guanajuato, Mexico): Noncommutativity in Gravity, Topological Gravity and Cosmology

A. Perez (PSU, USA): Selected Topics on Spin Foams

L. Smolin (PITP, Canada): Loops and Strings

R. Wald (U. Chicago, USA): Topics on Quantum Field Theory


Short talks:

E. Caceres (CINVESTAV, Mexico): Wrapped D-branes and confining gauge theories

A. Guijosa (ICN-UNAM, Mexico): Far-from-Extremal Black Holes from Branes and Antibranes

H. Morales (UAM, Mexico): Semiclassical Aspects and Phenomenology of Loop Quantum Gravity

D. Sudarsky (ICN-UNAM, Mexico): Spacetime Granularity and Lorentz Invariance

L. Urrutia (ICN-UNAM, Mexico): Synchrotron Radiation in Lorentz-Violating Effective Electrodynamics

---endquote---

 

[matthias]

marlon...got any extra info on LQG?

great introduction btw...

lola

 

[jeff]

Oh I see.
I thought you were talking about the actual book. that you said you were browsing in the bookstore.

but you apparently meant the draft, from 2003, which is available online.

there's been considerable up-dating and revision. so one should be specific which

You want to play games? Fine with me.

 

[nightcleaner]

This is a project I've been working on, and I'd very much like to know what the participants on this thread think. Thanks, nc

Abstract and prospectus, Spacetime at the Planck Scale
This is an abstract and prospectus for additional research. The proposal would use computational techniques such as those described in Stephen Wolfram's New Kind of Science as an exploratory probe of events at the Planck scale. Authors are currently recruiting mathematicians and physicists to mentor and contribute to the work. We still need someone who can design the NKS experiments.

In this work in progress, we describe a mechanism by which four space-time dimensions are reduced to the classical view of three space-like dimensions arrayed in the customary orthagonal basis with one time-like dimension which can be thought of as permeating the space-like dimensions. The time-like dimension is shown to appear to be unique to a moving observer, and preserves the appearance of freedom of choice as one perspective in a structure which can also be viewed from other perspectives as competely deterministic.

The Einstein-Minkowski principle of space time equivalence taken in the strongest sense creates a powerful model for investigation of the relationship between general relativity and quantum mechanics. We begin by defining the Planck Sphere (here named to be consistant with the Planck length and Planck time) as a three dimensional volume filled by a radient event at the speed of light in one Planck time. Thus the radius of the Planck Sphere is equal to one Planck length and is equal to one Planck time, making a three dimensional model which can be used in a perspective sense to portray events which occur at the Planck scale in four dimensions.

After describing the features of the model, we go on to propose that computational graphing techniques similar to those used by Stephan Wolfram in his book A New Kind Of Science be developed to explore the evolution of the Planck Sphere in Kepler dense packed space up to the scale of the fine structure constant, thereby showing the geometric origins of mass and charge. The first step in this process is to define a viable space-time lattice structure, which we believe we have done by defining the Planck Sphere as an element in a Kepler stack. The next step in this process is to develop a rational algorithem to simulate events on the Planck scale. This may be accomplished by applying what we know of cosmogeny and of physics near singularities. As a first approximation we advance the conjecture that expansion from the Planck scale will recapitulate cosmogeny. We carry through the first steps in this approximation to demonstrate a mechanism for early inflation in the burgeoning universe.


References:
[PDF] On quantum nature of black hole space-time: A Possible new source of intense radiation DV Ahluwalia - View as HTML - Cited by 11 ... spheres of fluctua- tions. The one that may be called a Schwarzschild sphere, and the other a Planck sphere. The sizes of these ... International Journal of Modern Physics D, 1999 - arxiv.org - ejournals.wspc.com.sg - arxiv.org - adsabs.harvard.edu

[PDF] The Quantum structure of space-time at the Planck scale and quantum fields S Doplicher, K Fredenhagen, JE Roberts, CM Phys - View as HTML - Cited by 242... In the classical limit where the Planck length goes to zero, our Quantum spacetime ...components are homeomorphic to the tangent bundle TS 2 of the 2–sphere. ... Communications in Mathematical Physics, 1995 - arxiv.org - arxiv.org - adsabs.harvard.edu

[PDF] Inflationary theory and alternative cosmology L Kofman, A Linde, V Mukhanov - Cited by 9 ... the large scale structure observed today were generated at an epoch when the energy
density of the hot universe was 10 95 times greater than the Planck density ... The Journal of High Energy Physics (JHEP) - iop.org - arxiv.org - physik.tu-muenchen.de - adsabs.harvard.edu - all 7 versions »

[PDF] Physics, Cosmology and the New Creationism VJ Stenger - View as HTML ... 10. -43 second time interval around t. = 0, if it was confined within a Planck sphere as big bang cosmology implies. The. universe ... colorado.edu


200411290100GTC
Richard T. Harbaugh
Program Director
Society for the Investigation of Prescience

 

[luco_jash]

Hello Marlon

i will thank you for the nice clear introduction on loop quantum gravity. I am planning to do my thesis on this subject and i would like to keep in touch with all the specialists here in order to get more info. I am just starting to know this field...

bye...Luco

 

[Rothiemurchus]

The challenge for string theorists and LQG theorists is to explain why the vacuum energy exists at 10^120 J/m^3 ( there is no reason to think there is anything wrong with the QM calculation) but does not curve space-time.How can
quantum gravity be proved if gravity is not understood on its own yet?

 

[marcus]

( there is no reason to think there is anything wrong with the QM calculation)

!



gotta be something wrong with it

 

[marcus]

explain why the vacuum energy exists at 10^120 J/m^3 ...

beg your pardon Rothie but that is a crazy amount of energy
maybe QFT can come up with a mechanism that cancels all or most of it out, or find some reason to say that it doesn't really exist----maybe QFT already has.

but that density of energy, not canceled out and real enough to cause gravity, is simply incredible (at least to me). commonsense persuades me that there must be something wrong with any theory that predicts it

And there is some reason to be hopeful, because QFT is still formulated in an unrealistic way: using a fixed spacetime framework. Reformulating it in a background independent version might possibly get rid of that huge vacuum energy.

BTW just to have a basis for comparision, the astronomers' dark energy estimate is currently around 0.6 joule per cubic km. In joules per cubic meter (the units you were using) that comes to:

0.6 x 10^-9 joule per cubic meter.

 

[Rothiemurchus]

I am aware of the cosmological evidence.But the problem is this:
the energy that can be experimentally associated with the Casimir force
is greater than the cosmological observation (10^-6 Newtons/m^2 net force
at 10^-7 m plate separation - i think but I'm not sure,that this is at
least 10-7 J/m^3).So, the plates involved in
measurements of the Casimir force must somehow, switch on vacuum energy,locally.And what sort of effect would a galaxy have on the vacuum energy?

 

[marcus]

I am aware of the cosmological evidence.But the problem is this:
the energy that can be experimentally associated with the Casimir force
...

Rothie, I will try to respond---tell me if I am making a mistake. I do not believe that the experimental existence of the Cas. force proves that the
QFT calculation of a huge vacuum energy is correct.
what I think is true is that there is some normal vacuum energy density and that between two conducting plates it is LESS namely

$$\text{energy density betw. plates = usual vacuum energy density} -\frac{\hbar c \pi^2}{720 d^4}$$

the QFT calculation of the usual vacuum energy density is bad or dubious, but the Casimir effect does not depend on this, it depends on the fact that the energy density between plates is LESS by the amount shown, which QFT does calculate successfully!, and which depends on the inverse fourth power of the separation distance.

So I say that I believe the QFT calculation of the Casimir effect and I like the Casimir effect, and this is consistent with not believing the huge vacuum energy which QFT calculates, which is roughly 120 OOM wrong---or actually different people try to fix it different ways and say different things, but anyway wrong.

 

[marcus]

$$\text{energy density betw. plates = usual vacuum energy density} -\frac{\hbar c \pi^2}{720 d^4}$$

If I calculate right, this is what the energy density has to be in order that the force turn out
what one usually sees for the Casimir effect

$$\text{force divided by area} = -\frac{\hbar c \pi^2}{240 d^4}$$

 

[marlon]

https://www.physicsforums.com/journal.php?s=&journalid=13790&action=view#DUALITY%20:%20STRING%20THEORY%20PART%203

check out my journal if you are interested in an introductory text on string theory and dualities


regards
marlon, let me know your comments

 

[marlon]

https://www.physicsforums.com/journal.php?s=&journalid=13790&action=view

Check out my journal. I posted a link to the paper that John Baez will be using for his speech on monday on LQG...very nice introduction...

regards
marlon

 

[marcus]

https://www.physicsforums.com/journal.php?s=&journalid=13790&action=view

Check out my journal. I posted a link to the paper that John Baez will be using for his speech on monday on LQG...very nice introduction...

regards
marlon

marlon thanks for the link!
your journal has become a real trove of information!
I liked the Tensors-made-easy,
and the interesting historical bits

 

[marcus]

Including spinfoam

http://math.ucr.edu/home/baez/acm/

http://math.ucr.edu/home/baez/acm/acm.pdf

the paper Marlon referred to is Baez 24January 2005 talk to the ACM symposium on discrete algorithms, essentially introducing spinfoam research to Computer Science people.

However the talk is titled "Loop Quantum Gravity"

this points out an everpresent knotty semantics problem: LQG is used in two senses

A. Restricted sense of LQG proper (program set out in early 1990s) which does not include spinfoams approach and some other allied developments
B. Inclusive sense to mean Loop-and-allied QG approaches, in which case spinfoams is included.

These are mostly approaches which have grown out of the LQG of the 1990s.

I don't know the statistics but I believe that most LQG people actually do their work in spinfoam-related areas: the thrust of the research is towards a path-integral treatment of spacetime geometry.

(path-integral didnt figure in the original LQG program of the early 1990s AFAIK but it obviously is a major part of things now)

Judging from his talk Baez believes in including spinfoams under the LQG rubric because in his talk to the ComputerScience people he titled it LQG and gave an 11 page thumbnail of LQG proper
and then on page 12, without even saying what he was doing, he shifted to talking about the Barrett-Crane (spinfoam) model and related computing problems!

Baez helped initiate the spinfoam approach and invented the term, so if he wants to include it under the LQG heading then I guess he has the right to.

By contrast, Hermann Nicolai had a sad case of talking at cross-purposes recently where he wrote this review paper about LQG (an outsider's view) and didnt even mention what most of the LQG people have been doing for 5 or 10 years! He didnt discuss spinfoams at all!
He took LQG in the narrow (circa 1995) sense and went thru the motions of reviewing it. Didnt even discuss Thomas Thiemann masterconstraint, which is the closest thing to directline development from 1995 strict interpretation LQG. Didnt discuss Loop Cosmology either. So his review looks kind of vacuous: a review of no one's current research.

Somehow we have to get the general classifications straight so that we include in our picture of LQG not just the LQG of 5 or 10 years ago but what LQG people actually do i.e. the models of spacetime and gravity that they actually investigate.

What I'm thinking about is our ADDING ON to this thread whatever it takes to make it more of an introduction to the general field of LQG (including allied approaches that have grown out of the LQG of the past)

Probably the key paper that one wants to prepare to understand is one the authors say they are working on but has not appeared yet! here is a chance to use various embarrassment smilies

that's right it hasnt appeared yet.
Laurent Freidel and Artem Starodubtsev
Perturbative Gravity Via Spin Foam

this was cited in their January 2005 preprint
http://arxiv.org/hep-th/0501191

 

[marcus]

I want to better understand where the spinfoam approach comes from and how it fits together with the original or basic LQG approach. Sometimes it helps to go back to the beginnings of a research line which in this case is not only Baez papers but also this (which does not even use the term "spin foam":

http://arxiv.org/gr-qc/9612035
"Sum over Surfaces'' form of Loop Quantum Gravity
Michael P Reisenberger, Carlo Rovelli
Phys.Rev. D56 (1997) 3490-3508

"We derive a spacetime formulation of quantum general relativity from (hamiltonian) loop quantum gravity. In particular, we study the quantum propagator that evolves the 3-geometry in proper time. We show that the perturbation expansion of this operator is finite and computable order by order. By giving a graphical representation á la Feynman of this expansion, we find that the theory can be expressed as a sum over topologically inequivalent (branched, colored) 2d surfaces in 4d. The contribution of one surface to the sum is given by the product of one factor per branching point of the surface. Therefore branching points play the role of elementary vertices of the theory. Their value is determined by the matrix elements of the hamiltonian constraint, which are known. The formulation we obtain can be viewed as a continuum version of Reisenberger's simplicial quantum gravity. Also, it has the same structure as the Ooguri-Crane-Yetter 4d topological field theory, with a few key differences that illuminate the relation between quantum gravity and TQFT. Finally, we suggests that certain new terms should be added to the hamiltonian constraint in order to implement a "crossing'' symmetry related to 4d diffeomorphism invariance."

that says what spinfoam later came to mean: a branched colored surface in 4D, or an equivalence class of such.

 

[marcus]

In Baez talk to the ACM symposium which Marlon just flagged a couple of posts back he concludes:

"Moral for physicists: In a regime where analytical methods don’t work well (yet), we need computer simulations to test our models.

Moral for computer scientists: In loop quantum gravity, the geometry of space is built from qubits. Spacetime is like a parallel-processing quantum computer that constantly modifies its own topology. "

he is definitely talking about spinfoams here, and indeed has just been discussing his own and others' computer simulations of spinfoam models (Barrett-Crane in particular IIRC). the dynamics of a spinfoam is step by step modification of topology and there are amplitudes of each kind of "move"----to put it crudely and imprecisely, moves like inserting a vertex, removing a vertex, replacing one sort of edge by another, disconnecting things and reconnecting them differently, bit by bit. Maybe we could say it portrays space as a sort of glittering blur of never-certain and ever-shifting relationships.

anyway the point is that each elementary change or move, in the path that is a spinfoam, can have an amplitude number calculated for it.
the researchers want to integrate or average over lots and lots of paths (spinfoams are pathways that the geometry of space can take) from one shape of space to another. they need to calculate an amplitude for each, and sum.

 

[marcus]

I am going to try to get another piece of the jigsaw out of this February2005 paper of Freidel and Livine. For now I'll just get it out on the table.
http://arxiv.org/hep-th/0502106
"1 Introduction

Spin Foam models offer a rigorous framework implementing a path integral for quantum gravity [1]. They provide a definition of a quantum spacetime in purely algebraic and combinatorial terms and describe it as generalized two-dimensional Feynman diagrams with degrees of freedom propagating along surfaces. Since these models were introduced, the most pressing issue has been to understand their semi-classical limit, in order to check whether we effectively recover general relativity and quantum field theory as low energy regimes and in order to make physical and experimental predictions carrying a quantum gravity signature. A necessary ingredient of such an analysis is the inclusion of matter and particles in a setting which has been primarily constructed for pure gravity. On one hand, matter degrees of freedom allow to write physically relevant diffeomorphism invariant observables, which are needed to fully build and interpret the theory. On the other hand, ultimately, we would like to derive an effective theory describing the propagation of matter within a quantum geometry and extract quantum gravity corrections to scattering amplitudes and cross-sections..."

 

[katelynndevere]

D'Oh! i just found your beautiful introduction, after I posted a thread asking if anyone had one. it's very close to being simple enough for me to understand it. I will persevere, dictionary at hand...

 

[marcus]

D'Oh! i just found your beautiful introduction, after I posted a thread asking if anyone had one. it's very close to being simple enough for me to understand it. I will persevere, dictionary at hand...

I think you must mean Marlon's introduction, which begins this thread. He will be very pleased that you are interested and finding it useful. For something that is very introductory, conceptual and non-math, I think a magazine article by Carlo Rovelli is pretty good. I will get a link or two.
Here is Rovelli's homepage:
http://www.cpt.univ-mrs.fr/~rovelli/rovelli.html

Here is the Rovelli magazine article:
http://cgpg.gravity.psu.edu/people/Ashtekar/articles/rovelli03.pdf

this is a general audience intro to LQG from Physics World November 2003 issue.

this link to Rovelli's article is actually at the website of Abhay Ashtekar at Penn State. Abhay has links to an interesting collection of other popular and semipopular articles, as well as to technical writings about LQG. Here is the main Ashtekar link
http://cgpg.gravity.psu.edu/people/Ashtekar/articles.html
and his home page
http://cgpg.gravity.psu.edu/people/Ashtekar/index.html

Ashtekar and Rovelli are two of the original pioneers of the LQG approach, so its worth checking out what they they think is a good introduction.

 

[katelynndevere]

Thanks, Marcus!

The Rovelli article is superb; I can actually understand it! I really need to sort out my maths, though.
Thanks again,
Kate.

 

[Tom McCurdy]

Yes kately marcus and marlon are the sources to go to for loopquantum questions and most other questions. I hope to get back to my studying of loop quantum gravity over the summer... I know I know.. I have been saying this for months but I am redesigning the site in my spare time to get ready for a relaunch...

omg... this is my 1,000 post... I have moved out of the triple digit range.

 

[marlon]

I hope to get back to my studying of loop quantum gravity over the summer... I know I know.. I have been saying this for months but

I can relate, really i can...i have not done any LQG related studies over the past months because i was too busy with applying and preparing for my phd...maybe in the future...

regards
marlon

ps : thanks for the nice complements, glad to see the intro to LQG is usefull

 

[marcus]

Introduction to LQG Part II

it isn't good to stay permanently with the naive, non-math story told of LQG in popular accounts, because it can lead to misconceptions.

the main reference cited in the first segment of this thread is a popular wide-audience presentation by Rovelli. It was published in "Physics World" November 2003 IIRC and it is very good for what it is: a non-math story. I have recommended it to beginners as a first exposure to LQG and it seems to work fine. But it is easy to get misled by popularizations and at some point you have to move on.

It came to my attention that there are seriously mistaken ideas going around that appear to come from the impressionistic verbal story (as told by Rovelli or Smolin or whoever) and need to be corrected, so it is probably time to start Part II of this introduction.

 

[marcus]

LQG can mean several things

LQG is either used to refer to a specific definite approach to quantizing Gen Rel, or it is used to refer to a collection of allied approaches that many of the same people (the LQG people) work on.

there should be a recognized collective name like "Loop-and-allied Quantum Gravity", but there isn't yet. People just say LQG for the whole collection.
If we had a collective name for the field like "Loop-and-allied Quantum Gravity", then it would include LQG in the specialized restrictive sense and would also include spinfoam research and some related form-theories of gravity (modified topological field theories) and some allied path-integral approaches like dynamical triangulations. Although most of these approaches are what is called "nonperturbative" it would even include a recently initiated perturbative approach. In a growing field the terminology is necessarily loose and you cannot perfectly delineate things in advance.

BTW I am not an expert, i just watch QG, so I don't speak authoritatively. But I'm pretty sure of what I'm telling you. The field is dynamic and in flux.
It is a creative time in LQG.

So when there is a "LQG conference" people give papers on all these allied lines of research. Then LQG is used as a collective name to refer to a bunch of things. It is what "LQG people" do and it includes a lot of approaches to quantizing the theory of spacetime and its geometry----to quantizing Gen Rel. probabably some of these approaches are eventually going to change and converge and turn out to be connected or even equivalent. but we can't say which, in advance.

So keep in mind that sometimes LQG means a particular canonical nonperturbative approach to quantizing Gen Rel (an approach that Abhay Ashtekar, who helped invent it, likes to call "quantum geometry") and sometimes LQG means a bunch of related lines of investigation that LQG people are currently pursuing.

 

[marcus]

There are textbook-level LQG sources

Rovelli's book Quantum Gravity (Cambridge 2004), also on-line 2003 draft free
Thiemann's Lecture Notes (Springer 2004?) also on-line free
Ashtekar Lewandowski Background Independent Quantum Gravity (2004) online
Rovelli's 1998 Living Reviews introduction online
Smolin 2004 Invitation to Loop Quantum Gravity online

The links to these things are in the surrogate sticky thread where we've been keeping LQG links. You can also get them with an arxiv search or google search using author's name. When time permits i will fetch them from the LQG links thread.

 

[marcus]

Textbook LQG is based on a differentiable manifold

the diff manif is a key concept in mathematics and the main thing separating popular accounts from textbook level.

In Gen Rel, spacetime is represented by a geometry-less floppy limp shapeless thing called a differentiable manifold
this is sometimes called a "continuum"
it is basically a set with a collection of coordinate charts.

you have to realize that a diff-manif is harmless. the good thing about it is that it doesn't have any pre-committment to any particular geometry!

you can impose whatever geometry on a diff-manif by specifying a METRIC or distance function, that will then allow you to calculate areas and volumes and angles and define what corresponds to geodesics or "straight" lines.

the great thing about a diff-manif, before you choose a metric, is that it comes into the world without any preconceptions, innocent of bias in favor of this or that geometry.

Gen Rel has a version which uses a 3D differentiable manifold representing space. It does not always have to be constructed using a 4D diff-manif spacetime. But either way it is based on a limp diff-manif ON WHICH A METRIC IS LATER IMPOSED where the metric arises as a solution of the einstein equation.

you start out with a shapeless continuum and you set up some conditions (which can involve having some matter in the picture) and then you crank out what the geometry (as shown by the distance function) is going to be.

OK, now LQG is characterized by the fact that it tries to imitate Gen Rel very closely. So the first thing you get in textbook LQG is a shapeless differentiable manifold representing space.

This version of space is infinitely divisible and smooth and continuous like any differentiable manifold has to be. it is the same diff-manif model of space that you get in one of the versions of Gen Rel.

WHAT IS "QUANTUM" ABOUT LQG IS HOW YOU PUT THE GEOMETRY ON

 

[marcus]

"QUANTUM" is a way of handling uncertainty and incomplete information realistically

the main feature of quantum mechanics is that it copes in an apparently realistic way with indeterminacy, uncertainty, the incomplete information that one system or observe has about another system.

in the real world everything depends, literally, on who is observing what.

and no who can ever know everything about any what.

it is not possible to have a realistic description of the world which fails to take this into account

"QUANTUM" IS NOT ABOUT DIVIDING SPACE UP INTO LITTLE BITS
quantum is not about dividing anything up into little bits

It can happen that discrete spectra come out of the mathematics, you quantize a system and you find that a certain measurement has a discrete range of possibilities, like the energy levels of a hydrogen atom

but this discreteness is a byproduct of what quantizing is really about, which is setting up a way to implement uncertainty and incomplete information-----call it fuzziness, call it probability.

the predominant mathematical machine that quantum theories use to hold the uncertainty and deal out the probabilities is called a hilbertspace
The possible states of a system are represented by the hilbertspace and measurements of the realworld system correspond to linear OPERATORS on the hilbertspace.

But if you don't know what a hilberspace is, or what operators on it are don't worry, someday some different language will be invented. What matters now is that

QUANTIZING A CLASSICAL THEORY IS NOT primarily about dividing some stuff into little bits. It is primarily about building a machine which can represent states of the system and measurements on the system but embodies uncertainty.

QUANTIZING GEN REL means to build a machine that can represent STATES OF GEOMETRY and MEASUREMENTS OF GEOMETRIC VARIABLES like area and volume and angle and so on, and which is also more realistic than classical Gen Rel because it implements the inherent uncertainties.