Reformulation of Loop gravity in progress, comment?

[tom.stoer]

1) The theory must have consistent quantizations w/o anomalies etc.
I think that (due to the unsettled problems regarding H or the second-class constraints / the PI measure) this is still work in progress, but I am optimistic that these issues can be clarified quite soon. Whether we will have one unique theory or whether this will result in a larger class of theories is still unclear to me.

2) There must be a subset of quantum theories for which GR is recovered in a certain limit.
I am optimistic that this is a more or less universal property of a large class of LQG theories.

3) These theories should predict genuine quantum-gravity effects beyond GR and beyond the semiclassical limit which are testable in principle.

4) There must be a non-empty subset of theories for which these genuine quantum-gravity effects are testable in practice and agree with nature.
I am afraid that this problem (which is a problem for all theories dealing with 'quantum gravity') could be an insurmountable obstacle. It is unclear to me whether CMB effects are sufficient to distinguish between different QG approaches.

 

[Dickfore]

Ted Jacobson put this message implicitly in his paper on GR as a thermodynamical equation of state.
http://arxiv.org/abs/gr-qc/9504004
The title has the phrase "the Einstein Equation of State" so you can get it by googling, for example, "jacobson equation of state"

the abstract has this memorable comment:
This perspective suggests that it may be no more appropriate to canonically quantize the Einstein equation than it would be to quantize the wave equation for sound in air.

Notice the careful language: suggests that it MAY
It could well be extremely appropriate to quantize the GR equation Diracly! Or it might not be so appropriate. The important thing is not the formalities or the heuristics used to arrive. The important thing is what you said.

I don't know if a wide audience of people in the LQG community is familiar with the fact, but the equation for sound is quantied, albeit in condensed systems (solids and liquids, plasma), and not gases. The bosonic quasiparticles corresponding to these collective modes of excitations are called phonons, plasmons, depending on the system.

These quasiparticles play a significant role in determining the properties of the system. Not only do they determine the heat capacity due to lattice vibrations (motion of ions), but one can make an effective theory where the electrons interact with them. A consequence of this interaction in metals is resistivity to charge transport, or, more exotically, Cooper pairing to form a new superconducting state.

 

[atyy]

I don't know if a wide audience of people in the LQG community is familiar with the fact, but the equation for sound is quantied, albeit in condensed systems (solids and liquids, plasma), and not gases. The bosonic quasiparticles corresponding to these collective modes of excitations are called phonons, plasmons, depending on the system.

These quasiparticles play a significant role in determining the properties of the system. Not only do they determine the heat capacity due to lattice vibrations (motion of ions), but one can make an effective theory where the electrons interact with them. A consequence of this interaction in metals is resistivity to charge transport, or, more exotically, Cooper pairing to form a new superconducting state.

Yes, Jacobson made an error there. He corrected himself later, citing the same examples you mention. However, the examples from condensed matter support his general point "in spirit": the quasiparticles are emergent properties of more fundamental degrees of freedom, as in string theory.

Here's Jacobson's later remarks http://arxiv.org/abs/gr-qc/0308048
"This led me at first to suggest that the metric shouldn’t be quantized at all. However I think this is wrong. Condensed matter physics abounds with examples of collective modes that become meaningless at short length scales, and which are nevertheless accurately treated as quantum fields within the appropriate domain. (Consider for example the sound field in a Bose-Einstein condensate of atoms, which loses meaning at scales below the so-called “healing length”, which is still several orders of magnitude longer than the atomic size of the fundamental constituents.) Similarly, there exists a perfectly good perturbative approach to quantum gravity in the framework of low energy effective field theory[2]. However, this is not regarded as a solution to the problem of quantum gravity, since the most pressing questions are non-perturbative in nature: the nature and fate of spacetime singularities, the fate of Cauchy horizons, the nature of the microstates counted by black hole entropy, and the possible unification of gravity with other interactions."

 

[marcus]

Thanks both Dickfore and Atyy for these interesting points relating to the Jacobson quote. Since we just turned a page, I will copy the quote from his 1995 paper to make it clear what you refer to:

...Ted Jacobson put this message implicitly in his paper on GR as a thermodynamical equation of state.
http://arxiv.org/abs/gr-qc/9504004
The title has the phrase "the Einstein Equation of State" so you can get it by googling, for example, "jacobson equation of state"

the abstract has this memorable comment:
This perspective suggests that it may be no more appropriate to canonically quantize the Einstein equation than it would be to quantize the wave equation for sound in air.

Notice the careful language: suggests that it MAY
It could well be extremely appropriate to quantize the GR equation Diracly! Or it might not be so appropriate. The important thing is not the formalities or the heuristics used to arrive. The important thing is what you said...

It must provide a testable theoretical prediction different from GR.

 

[Dickfore]

It is true that in Condensed Matter Physics (CM) every field theory is an effective long length scale theory (notice the tendency to use units of length instead of energy in CM). Also, it is "trivial" that the "true" underlying theory is that of non-relativistic outer-shell electrons and heavy inert ionic cores interacting through Coulomb interactions. That is all there is to the "microscopic" physics.

However, I don't think leaps in scientific discoveries are made by postulating some "weird" microscopic physics (a la String Theory) and going backwards to longer length scales where previous theories gave good agreement with experiment to test whether your new theory gives the same predictions.

I think one needs to consider possible next order corrections to the current theory.

Let me give an example. QED was not dreamed up by Feynman, Schwinger and Tomonaga. It was a crown achievement of a long series of refinements that started with Sommerfeld's relativistic Bohr model. Sommerfeld's model predicted the lifting of the accidental degeneracy in the Coulomb field (the energies depend only on the principal, but not on the orbital quantum number in the non-relativistic Kepler problem). This splitting is α² times smaller than the spacing of the hydrogen terms, where α = 1/137. That is why the small parameter is called the fine-structure constant. It turns out it is a wonderful small parameter with respect to which we can develop a perturbation theory.

Another (relativstic) effect of the same order is the spin-orbit interaction. Namely, a moving magnetic dipole in a static electric field sees a magnetic field, and feels an extra potential energy. There are some fine points about numerical factors due to the proper relativistic treatment of the gyromagnetic ratio of the electron and Thomas precession. I think these are taken into account by the semi-empirical Pauli equation.

It was Dirac who developed a relativistic equation for the electron, and predicted a g-factor for the electron of exactly g = 2! He also started quantizing the EM field and obtained the result for the coefficient of spontaneous emission of a photon. However, he encountered one insurmountable mathematical difficulty. That of the infinities in some of the integrals for second-order corrections.

This is where the 1946 Nobel trio comes in with the procedure of renormalization. Additionally, their theory predicts that g - 2 is a quantity of the order of α². Notice that we need a completely different experiment than spectroscopy to measure this effect. Namely, the fine-structure is proportional to g, and to α². But, the difference g - 2 is itself proportional to α², which is beyond precision. One needs to put the free electron in a strong external magnetic field to measure a simple second order effect.

And this is where the story of QED ends. Feynman did not solve the mysteries of the atomic nucleus. This was a different success story from several decades later.

The point is, it is wonderful that we are ignorant beings. Feynman was never aware of electroweak symmetry breaking, yet, he made a theory that is in perfect agreement with experiments.

I think that we need to clarify first where the state-of-the art experimental status is for GR at present. I am no expert, but, it is my impression that laboratory sized experiments are very crude. The best tests come from astronomy/cosmology. Then, we need to identify a small parameter. Some may say "non-perturbative results" are also of interest. But, one must remember that Physics is, by itself, a successive asymptotic approach to the exact model. Sure, it may be that the zeroth order approximation is not a non-interacting theory, but there is still a small parameter (like 1/N in QCD). Then, we need to see what is the next order correction to GR.

Notice that:
<br /> \alpha = \frac{e^2}{\hbar \, c}<br />
It is proportional to the square of the coupling constant, and that is why the interaction is a small perturbation. But, it is also inversely proportional to Planck's constant. Thus, in the limit of non-quantum Physics (\hbar \rightarrow 0), it would tend to infinity! One needs to clarify what is the role of quantum effects in QED from the above.

GR is truly non-quantum. Thus, we need to clarify in what sense are quantum corrections small compared to GR.

 

[atyy]

GR is truly non-quantum. Thus, we need to clarify in what sense are quantum corrections small compared to GR.

Quantum GR with quantum corrections to classical GR is usually considered in a framework like http://arxiv.org/abs/gr-qc/9607039 , analogous to QED. In this framework, quantum GR is good up to near the Planck scale.

 

[marcus]

I should have included the view of current status and developments of Loop gravity from the perspective of Jerzy Lewandowski. He has been actively involved in both the canonical quantization side of LQG and the inclusion of matter fields (as well as schematizing spinfoam LQG).

JL will be the lead organizer of the major triennial GR conference next year---GR20 will be held at Warsaw. The other large international General Relativity conference (also held once every three years) is the Marcel Grossmann meeting. MG13 is next month in Stockholm. Here also Lewandowski plays an important role: he leads two 4-hour sessions on LQG and Spinfoam QG at the Stockholm conference. He is also doing the overview of LQG at the Prague conference on Relativity and Gravitation that is being held this month. He is the main organizer of the Loop session at this year's Group Theory in Physics conference, a biennial event, and has been invited to lecture at a LQG school in Beijing later this summer. So this is a representative figure and I think it's worth studying his brief overview carefully.

==quote from MG13 conference program (typo corrected)==

Jerzy LEWANDOWSKI

Parallel Sessions QG1a and QG1b - Loop Quantum Gravity, Quantum Geometry, Spin Foams

Description: Loop Quantum Gravity (LQG), a framework suited to quantize general relativity, has seen rapid progress in the last three years. The results achieved strongly suggest that the goal of finding a working and predictive quantum theory of gravity is within reach. For specific kinds of matter couplings, a way to drastically simplify the dynamics and its physical interpretation has been discovered. It gives rise to a set of examples of theories of gravity coupled to the fields in which the canonical quantization scheme can be completed. Independently, there have been important breakthroughs in the path integral formulation of the theory related to the so called Spin Foam Models. The session will review the results of canonical Loop Quantum Gravity and Spin Foam Models with the emphasis on the models admitting local degrees of freedom without the symmetry (or any other) reduction. Related approaches to quantum gravity will be also welcome. The common theme is the background independent quantization of Einstein's gravity and the occurrence of quantum geometry.
==endquote==
http://www.icra.it/mg/mg13/par_sessions_chairs_details.htm#lewandowski

 

[atyy]

I should have included the view of current status and developments of Loop gravity from the perspective of Jerzy Lewandowski. He has been actively involved in both the canonical quantization side of LQG and the inclusion of matter fields (as well as schematizing spinfoam LQG).

JL will be the lead organizer of the major triennial GR conference next year---GR20 will be held at Warsaw. The other large international General Relativity conference (also held once every three years) is the Marcel Grossmann meeting. MG13 is next month in Stockholm. Here also Lewandowski plays an important role: he leads two 4-hour sessions on LQG and Spinfoam QG at the Stockholm conference. He is also doing the overview of LQG at the Prague conference on Relativity and Gravitation that is being held this month. He is the main organizer of the Loop session at this year's Group Theory in Physics conference, a biennial event, and has been invited to lecture at a LQG school in Beijing later this summer. So this is a representative figure and I think it's worth studying his brief overview carefully.

==quote from MG13 conference program (typo corrected)==

Jerzy LEWANDOWSKI

Parallel Sessions QG1a and QG1b - Loop Quantum Gravity, Quantum Geometry, Spin Foams

Description: Loop Quantum Gravity (LQG), a framework suited to quantize general relativity, has seen rapid progress in the last three years. The results achieved strongly suggest that the goal of finding a working and predictive quantum theory of gravity is within reach. For specific kinds of matter couplings, a way to drastically simplify the dynamics and its physical interpretation has been discovered. It gives rise to a set of examples of theories of gravity coupled to the fields in which the canonical quantization scheme can be completed. Independently, there have been important breakthroughs in the path integral formulation of the theory related to the so called Spin Foam Models. The session will review the results of canonical Loop Quantum Gravity and Spin Foam Models with the emphasis on the models admitting local degrees of freedom without the symmetry (or any other) reduction. Related approaches to quantum gravity will be also welcome. The common theme is the background independent quantization of Einstein's gravity and the occurrence of quantum geometry.
==endquote==
http://www.icra.it/mg/mg13/par_sessions_chairs_details.htm#lewandowski

He's probably referring to http://arxiv.org/abs/1009.2445.

 

[marcus]

He's probably referring to http://arxiv.org/abs/1009.2445.

Yes probably, among other things. That paper is 2 years old and his overview of the session says says rapid progress in the last 3 years. I would guess there is more development to report along the lines you indicate.

BTW I don't think it's clear that Ted Jacobson was mistaken in his memorable quote about "canonically quantizing the Einstein equation". His opinion may have swung back and forth, and may still---the discussion is not over. Just as a reminder:

..Ted Jacobson put this message implicitly in his paper on GR as a thermodynamical equation of state.
http://arxiv.org/abs/gr-qc/9504004
The title has the phrase "the Einstein Equation of State" so you can get it by googling...
the abstract has this memorable comment:
This perspective suggests that it may be no more appropriate to canonically quantize the Einstein equation than it would be to quantize the wave equation for sound in air.
...​

Obviously we are not talking about phonons and quantizing crystal lattice vibrations, so it's quite clear that it is NOT appropriate to quantize the equation of sound in air.
And yet the fundamental objects are molecules, behaving according to QM.
So the illustration shows that one might have a correct quantum theory (e.g. of geometry) with an Equation of State (e.g. the Einstein GR) where the quantum theory does NOT result from canonically quantizing the EoS.

If you quantized the equation of sound in air you would not get the quantum mechanics of air molecules. Something like that may (or may not) apply in the case of GR.

I think that is all his statement means, and it's a significant point which so far remains valid. Do you agree? Athough it's not completely clear, I think from reading your post #33 that perhaps you may.

 

[atyy]

Jacobson's opinion has not swung back and forth. His main point has always been the same.

 

[marcus]

Jacobson's opinion has not swung back and forth. His main point has always been the same.

Thanks. I can kind of see it that way too. He and Rovelli are friends and I imagine they will be discussing this, since the issue has come up in such a pronounced way of late. It could be interesting to see where this goes.

 

[atyy]

Thanks. I can kind of see it that way too. He and Rovelli are friends and I imagine they will be discussing this, since the issue has come up in such a pronounced way of late. It could be interesting to see where this goes.

I don't think your interpretation of Jacobson's statement is his. His point was that new degrees of freedom must be introduced, like strings. The spirit of his point would be against spin foams in the Rovellian interpretation.

 

[marcus]

My interpretation is straightforward and literal. I don't see how yours is based on his actual words, or on what was expressed without introducing additional complication.
But so be it. We each have our own interpretation, and we cannot read Ted's mind to check if we are or were in the past right.

However we will see how things go in the future! It's an exciting time. I am looking forward to the next few months and then Loops 2013 taking place at Perimeter.

 

[atyy]

Hmm, but isn't the Rovellian view of spin foams to covariantly quantize gravity so as to canonically quantize gravity?

http://relativity.livingreviews.org/Articles/lrr-2008-5/fulltext.html (section 6.7)
"A recent derivation as the quantization of a discretization of general relativity is in [105, 104], which can also be seen as an independent derivation of the loop-gravity canonical formalism itself. "

 

[marcus]

I'm not talking right now about what you think is the "Rovellian" this or that which you interpret from his 2008 essay.
what we are talking about is our interpretation of what Jacobson said might or might not be the case. I think its interesting to seriously consider that it may (or may not) be inap to canon'ly qu'tize GR eqn like it would be inap to qu'tize the eqn of sound in air.

That is, the classical eqn just might happen to be the equation of state of, say, a spinfoam quantum geometry system.

Where you do not get the quantum "molecules" description by applying some conventional "quantization" ritual to the equation of state. A ritual which has certainly worked wonderfully in the past with other equations but may (or may not) be the way to proceed with this equation.

I think the possibility is really interesting---that GR is the equation of state of, say, a spinfoam quantum geometry.

That doesn't mean that the approaches followed by Lewandowski Warsaw group, or currently by the Marseille group, are NOT interesting. But let's focus right now of the Jacobson idea.
=====================
Just as a footnote: I think that was the second element I identified back in post #19 when I tried to characterize the present situation:
A. unclamping the Immirzi parameter, Bianchi's entropy result.
B. this TJ thermodynamical equation of state idea
C. the cohesive flock of tetrads picture where you introduce the sign of the tetrad
(may have interesting consequences)

https://www.physicsforums.com/showthread.php?p=3948196#post3948196

These are all (but especially B and C I think) risky gambits and that is probably one reason the Loop program has been doing well in the past 5 or so years. It is a small community that stays focused on the main goal of background independent QFT and takes calculated risks. But that's merely interpretative side-comment and not so important.

 

[atyy]

I'm not talking right now about what you think is the "Rovellian" this or that which you interpret from his 2008 essay.
what we are talking about is our interpretation of what Jacobson said might or might not be the case. I think its interesting to seriously consider that it may (or may not) be inap to canon'ly qu'tize GR eqn like it would be inap to qu'tize the eqn of sound in air.

That is, the classical eqn just might happen to be the equation of state of, say, a spinfoam quantum geometry system.

Where you do not get the quantum "molecules" description by applying some conventional "quantization" ritual to the equation of state. A ritual which has certainly worked wonderfully in the past with other equations but may (or may not) be the way to proceed with this equation.

I think the possibility is really interesting---that GR is the equation of state of, say, a spinfoam quantum geometry.

That doesn't mean that the approaches followed by Lewandowski Warsaw group, or currently by the Marseille group, are NOT interesting. But let's focus right now of the Jacobson idea.
=====================
Just as a footnote: I think that was the second element I identified back in post #19 when I tried to characterize the present situation:
A. unclamping the Immirzi parameter, Bianchi's entropy result.
B. this TJ thermodynamical equation of state idea
C. the cohesive flock of tetrads picture where you introduce the sign of the tetrad
(may have interesting consequences)

https://www.physicsforums.com/showthread.php?p=3948196#post3948196

These are all (but especially B and C I think) risky gambits and that is probably one reason the Loop program has been doing well in the past 5 or so years. It is a small community that stays focused on the main goal of background independent QFT and takes calculated risks. But that's merely interpretative side-comment and not so important.

Well, the Smolin paper you quoted in your post #19 argues against Jacobson's idea. http://arxiv.org/abs/1205.5529 "In his groundbreaking paper, [1], Jacobson argued that classical general relativity could emerge from a quantum statistical mechanics system that is not the quantization of classical general relativity. This point is well taken, but neither is it excluded that the thermodynamic system the Einstein equations are emergent from would happen to be a quantization of general relativity"

 

[marcus]

Well, the Smolin paper you quoted in your post #19 argues against Jacobson's idea. http://arxiv.org/abs/1205.5529 "In his groundbreaking paper, [1], Jacobson argued that classical general relativity could emerge from a quantum statistical mechanics system that is not the quantization of classical general relativity. This point is well taken, but neither is it excluded that the thermodynamic system the Einstein equations are emergent from would happen to be a quantization of general relativity"

Smolin obviously likes TJ's general idea and he's designating an interesting variation where the right "molecules" turn out to have already been arrived at via a path-integral Feynman-like gambit---the spinfoam approach.

As LS says "neither is it excluded" that things might work out that way. I think that would be delightful and mentioned that possibility in my earlier post #19. It's a quibble whether you consider spinfoam dynamics to have been arrived at "Diracly" by canonical quantization. I certainly don't, but if you like to think of it that way then there is that minor "argues against" to point out at the level of detail FWIW.

I think there it's an exciting time and all these various related ideas and possibilities are on the table.

There are major conferences this month and next in Prague and Stockholm (Prague "Relativity and Gravitation" and Stockholm "MG13"). Hopefully major people involved will get together to talk one place or another, maybe stop off at Marseille. We probably won't learn anything much until the dust settles.

 

[atyy]

Smolin obviously likes TJ's general idea and he's designating an interesting variation where the right "molecules" turn out to have already been arrived at via a path-integral Feynman-like gambit---the spinfoam approach.

As LS says "neither is it excluded" that things might work out that way. I think that would be delightful and mentioned that possibility in my earlier post #19.

I think there it's an exciting time and all these various related ideas and possibilities are on the table.

There are major conferences this month and next in Prague and Stockholm (Prague "Relativity and Gravitation" and Stockholm "MG13"). Hopefully major people involved will get together to talk one place or another, maybe stop off at Marseille. We probably won't learn anything much until the dust settles.

Exactly. There are two parts to Jacobson's idea. The first technical part is the relation between thermodynamics and gravity. This is not disputed. The second "spiritual" part is that gravity is emergent from new degrees of freedom. This is disputed, and spin foams in the Rovellian approach are against this idea.

 

[marcus]

Exactly. ...with new degrees of freedom. ... and spin foams in the Rovellian approach are against this idea.

Not against, though! Because in that particular scenario the spinfoams ARE the "new degrees of freedom".

Or if you like the field or flock of tetrads that play an important role in Rovelli's latest papers (but have been there all along in the spinfoam approach) ARE the "new degrees of freedom".

So no essential contradiction. Everything, as I was saying, is on the table, probably some new synthesis is brewing.

 

[atyy]

Not against, though! Because in that particular scenario the spinfoams ARE the "new degrees of freedom".

Or if you like the field or flock of tetrads that play an important role in Rovelli's latest papers (but have been there all along in the spinfoam approach) ARE the "new degrees of freedom".

So no essential contradiction. Everything, as I was saying, is on the table, probably some new synthesis is brewing.

No, spin foams are not "new" in the Jacobson sense. The Rovellian spin foams are quantizations of general relativity. This is why Smolin says that Jacobson could be wrong on that point.

 

[marcus]

No, spin foams are not "new" in the Jacobson sense...

By your personal interpretation of what "Jacobson sense" means.
You seem to want to control the meanings of words like "Rovellian" and perhaps you will be talking about the true meaning of "Jacobsonian".

Tom often objects that one DOESN'T actually get spinfoam dynamics by a canonical Dirac quantization of GR equation and the relation between the approaches isn't clear.

And on the other hand you now seem to be complaining that one actually DOES get spinfoam dynamics by some kind of (rigorous conventional I suppose) quantization and therefore the spinfoam degrees of freedom are not "new in the true Jacobsonian sense". Or some such thing.

All this breathless quibbling about who said what when in which refined "sense". Why not just relax and see what a few exceptionally creative lucky people make of it?

 

[marcus]

...

Since we just turned a page, I'll copy post #19 as a reminder of what the reformulation topic-of-the-thread is about. It's interesting that things are in flux because we are now effectively in the runup to Loops 2013 which will be held at Perimeter Institute in about one year's time.

====quote post #19==
The reformulation of Loop now being explored is complex, and some parts seem still tentative.
I see three main initiatives:

A. Immirzi-less BH entropy.
Bianchi and others find S = A/4. The coefficient of area no longer depends on Immirzi parameter γ. So gamma is unclamped. arxiv:1204.5122 arxiv:1205.5325

B. un-Diracly quantizing GR.
Jacobson proposed a new goal. Find the correct quantum "molecules" of spacetime geometry for which Einstein's GR equation is the thermodynamic equation of state.
It could turn out that the Spinfoam description of geometric evolution already provides the correct degrees of freedom, and GR is simply the equation of state of spinfoam.
So that instead of quantizing GR Diracly, one has quantized it un-Diracly.
arxiv:1204.6349 arxiv:1205.5529

C. The sign of the tetrad--could one detect a region of "antispacetime"?
One possible crude picture of spacetime geometry is that of a partially coherent swarm of tetrads. Like flocking birds or shoals of fish, these tetrads tend to be oriented coherently with their neighbors. But in principle, divisions might occur: there could appear patches with opposite orientation. The set-up described in the May paper "Discrete Symmetries in Covariant LQG" arxiv:1205.0733 allows for this to happen. The usual Holst action is modified in a significant way---by introducing the sign of the tetrad, a symbol s which can be +1, 0, or -1 depending on the sign of the determinant of the tetrad.
Since fermions couple to the tetrad, phase can evolve in either of two senses and a double slit experiment can in principle detect reversed geometry by a shift of the interference pattern.
==endquote==

 

[atyy]

By your personal interpretation of what "Jacobson sense" means.
You seem to want to control the meanings of words like "Rovellian" and perhaps you will be talking about the true meaning of "Jacobsonian".

Tom often objects that one DOESN'T actually get spinfoam dynamics by a canonical Dirac quantization of GR equation and the relation between the approaches isn't clear.

And on the other hand you now seem to be complaining that one actually DOES get spinfoam dynamics by some kind of (rigorous conventional I suppose) quantization and therefore the spinfoam degrees of freedom are not "new in the true Jacobsonian sense". Or some such thing.

All this breathless quibbling about who said what when in which refined "sense". Why not just relax and see what a few exceptionally creative lucky people make of it?

Rovelli's programme has not yet been shown to succeed. My point, and Tom's, I think, is that if it succeeds, then the covariant quantization will be equivalent to a canonical quantization.

 

[marcus]

Rovelli's programme has not yet been shown to succeed. My point, and Tom's, I think, is that if it succeeds, then the covariant quantization will be equivalent to a canonical quantization.

That sounds reasonable, there is a Loop research community and a Loop program which involves a number of DIFFERENT approaches and versions. Bianchi has laid out several different ones. Etera Livine has some great ideas. Engle has too. Rovelli's view is obviously in flux. Lewandowski and Ashtekar are clearly major players in the program. That's only the beginning of a list

So there is a Loop program. That is something real and it may or may not succeed. And if it succeeds it MAY OR MAY NOT contain a background independent QFT that was derived by some preconceived "quantization" method which you have in mind. So that is all real enough and makes sense.

But sometimes you sound as if you actually believe there is a definite permanently fixed "Rovellian" approach to Loop QG. And you go on about how this conflicts with what Engle says or what Jacobson says etc etc. This sounds peculiar to me. When you talk about the "Rovellian" this or that as if you knew of some permanent definite approach it does not seem based on reality.

As far as I can see, Loop is rapidly evolving and advancing on several fronts and seems to change every two or three years. So far it has been up to Ashtekar and Rovelli to present a coherent in-a-manner-of-speaking "OFFICIAL" version every 2 or 3 years. In any given year they are the ones normally asked to supply the principle review paper and give the overview conference talk. With Ashtekar concentrating on the cosmology side.

However the lineup could change. Younger people could be invited to start filling these roles. And this year Jerzy Lewandowski is doing a great job reviewing organizing representing the program.
Also Jorge Pullin. A program has to have leaders and if there is rapid progress then every 2 or 3 years you need an official redefinition or reformulation. But who and how it's done can change. We will see how it shapes up at Loops 2013.

I don't known enough to even begin to give you a complete accurate portrait, of course.
But obviously back in 2011 a defining role was played by Rovelli's Zakopane lectures
arxiv 1102.3660 and May presentation at the Madrid Loops conference. Now we can expect something new and we can wonder what shape will it take this time? What will take the place of arxiv 1102.3660 when people gather for Loops 2013 at Perimeter. Who will give the main overview? What new work will stand out? It could be several peoples' work.

 

[atyy]

That sounds reasonable, there is a Loop research community and a Loop program which involves a number of DIFFERENT approaches and versions. Bianchi has laid out several different ones. Etera Livine has some great ideas. Engle has too. Rovelli's view is obviously in flux. Lewandowski and Ashtekar are clearly major players in the program. That's only the beginning of a list

So there is a Loop program. That is something real and it may or may not succeed. And if it succeeds it MAY OR MAY NOT contain a background independent QFT that was derived by some preconceived "quantization" method which you have in mind. So that is all real enough and makes sense.

But sometimes you sound as if you actually believe there is a definite permanently fixed "Rovellian" approach to Loop QG. And you go on about how this conflicts with what Engle says or what Jacobson says etc etc. This sounds peculiar to me. When you talk about the "Rovellian" this or that as if you knew of some permanent definite approach it does not seem based on reality.

Oh, I usually mean very specific statements of X are in conflict with very specific statements of Y. I never mean all statements of X are in conflict with all statements of Y, which would be absurd. In this case, it has to do with the possibility of canonically quantizing GR, even in the UV. Rovelli does seem to alternate between two views. Sometimes he does seem to indicate that one could have a successful spin foam quantization which does not meet up with the canonical formalism. But I think the he mostly approaches spin foams as a way to meet up with canonical quantization. You can trace this line of thinking quite consistently over a period of more than 10 years, including the latest paper about anti-spacetime:

http://arxiv.org/abs/gr-qc/9806121 (bottom of p1)
"Here, we complete the translation of canonical loop quantum gravity into covariant spacetime form initiated in [6]. The “quantum gravity Feynman graphs” are two-dimensional colored branched surfaces, and the theory takes the form of a “spin foam model” ..."

http://arxiv.org/abs/0708.1236 (abstract)
"... providing a solution to the problem of connecting the covariant SO(4) spinfoam formalism with the canonical SO(3) spin-network one. ..."

http://arxiv.org/abs/0711.0146 (abstract)
"These results establish a bridge between canonical loop quantum gravity and the spinfoam formalism in four dimensions."

http://arxiv.org/abs/1205.0733
p2: "In canonical loop gravity one works in the time gauge and chooses a linear combination of the connection and its Hodge dual as a canonical variable. The corresponding conjugate momentum is the Ashtekar electric field Eai, but (confusingly) one finds two different expressions for this field in the literature ... The two expressions differ by the sign s and can be derived from S' and S", respectively."

footnote 5: "... we know from canonical loop quantum gravity that links with j = 0 can be erased from the spin-network. ..."

 

[tom.stoer]

But I think the he mostly approaches spin foams as a way to meet up with canonical quantization.

I think this is what the objective of the whole community - find a mathematical consistent and physically reasonable quantization. They use different approaches - canonical, covariant canonical, spin foams, group field, ... - not b/c these different approaches are mutually exclusive but complementary views, just like in ordinary quantum mechanics.

 

[marcus]

I think this is what the objective of the whole community - find a mathematical consistent and physically reasonable quantization. They use different approaches - canonical, covariant canonical, spin foams, group field, ... - not b/c these different approaches are mutually exclusive but complementary views, just like in ordinary quantum mechanics.

Good point! Different approaches can indeed complement each other and help to deepen and fill out the understanding. I remember Eugenio Bianchi saying this same thing--he has developed/worked on several alternate formulations of Loop gravity--they can improve or supplement each other. I don't recall his exact words.

BTW this just came out today. It has to do with the topic I called "The Sign of the Tetrad" (the possibility of having regions of spacetime geometry where the phase of a fermion rotates in reverse).

http://arxiv.org/abs/1206.3903
How to detect an anti-spacetime
Marios Christodoulou, Aldo Riello, Carlo Rovelli
(Submitted on 18 Jun 2012)
Is it possible, in principle, to measure the sign of the Lapse? We show that fermion dynamics distinguishes spacetimes having the same metric but different tetrads, for instance a Lapse with opposite sign. This sign might be a physical quantity not captured by the metric. We discuss its possible role in quantum gravity.
6 pages, 8 figures. Article awarded with an "Honorable Mention" from the 2012 Gravity Foundation Award.

 

[marcus]

==quote post #52==
B. un-Diracly quantizing GR.
Jacobson proposed a new goal. Find the correct quantum "molecules" of spacetime geometry for which Einstein's GR equation is the thermodynamic equation of state.
It could turn out that the Spinfoam description of geometric evolution already provides the correct degrees of freedom, and GR is simply the equation of state of spinfoam.
So that instead of quantizing GR Diracly, one has quantized it un-Diracly.
arxiv:1204.6349 arxiv:1205.5529
==endquote==

Regarding this general theme I should mention recent work by Thomas Thiemann and the group at Erlangen. Abstracts of several paper are given here
https://www.physicsforums.com/showthread.php?p=3964712#post3964712
with some comment. They seem to be exploring paths to a kinda-sorta Hamiltonian-style quantization without being constrained to a strictly Dirac format. If someone has a different interpretation of what's happening in those 3 new papers, please share it. I'd be interested to know how you see it. I like Derek Wise and Steffen Gielen's paper that uses the concept of a field of observers (straight out of standard cosmology).

In this same connection we should also look at a paper by a German PhD student David Schroeren, now at Marseille. He makes what seems to me creative and effective use of some ideas of Gell-Mann, Hartle, and others. See Hartle's 1993 Les Houches account http://arxiv.org/abs/gr-qc/9304006 .
As described there by Hartle an important motivation was to restructure Quantum Mechanics so that it would be more suitable for Cosmology (where there is no separate Observer, since the System is the whole universe.) Obviously Quantum Theory must be reformulated if it is going to be applied to the whole universe, and when reformulated it might in fact be GENERALLY BETTER and turn out to be useful for other applications besides Cosmology.

So we get proposals with names like "decoherent histories" QM and "consistent histories" QM with some slightly different formalism. Now Schroeren has tried applying these heretical ideas about Quantumtheory to Spinfoams.
It leads to a different kind of quantization of General Relativity, so I list this paper too.
http://arxiv.org/abs/1206.4553
Decoherent Histories of Spin Networks
David P.B. Schroeren
(Submitted on 20 Jun 2012)
The decoherent histories formalism, developed by Griffiths, Gell-Mann, and Hartle is a general framework in which to formulate a timeless, 'generalised' quantum theory and extract predictions from it. Recent advances in spin foam models allow for loop gravity to be cast in this framework. In this paper, I propose a decoherence functional for loop gravity and interpret existing results as showing that coarse grained histories follow quasiclassical trajectories in the appropriate limit.
13 pages

 

[marcus]

Decoherent Histories (DH) quantum mechanics looks interesting. I think the most active proponent is James Hartle (UC Santa Barbara)

Other authors are Murray Gell-Mann and Robert Griffiths, but I think of it primarily as "Hartle-QM"

It is a definition of QM that depends less heavily on the Observer making Measurements with a classical instrument. There is no essential split of the universe into a quantum system and a classical observer.

It is a "path integral" or Histories approach. The basic mathematical objects are PARTITIONS of all possible histories.

A partition is a collection of disjoint subsets whose union is the whole. Generally a partition involves many subsets, but a simple example could be a partition into just two:
"the ball went into the hole" versus "the ball did not go into the hole"

Partitions of all possible histories can represent things that we might care about, which matter to us, or which we might want to risk betting on, like whether the flight will land safely in Seattle or a certain flip will flop or a bridge not break. We may want to know which set of histories the world is in whether or not we are classical creatures and whether or not we are making measurements at the moment.

"the moon is there" versus "the moon is not there" has an approximate welldefined probability even when no one is looking. The set of histories in which it is there has high probability.

So Hartle-QM frees quantum mechanics from a kind of ontological dependence. One can invoke approximate probabilities of the subsets in a partition when the partition is sufficiently decoherent
(almost by definition) and a key part of Hartle-QM is formalizing when partitions are sufficiently unambiguous in this sense.

I'd like to see Hartle-QM applied to Spinfoam QG. I'll be interested to see the outcome.
I'll bring over some links.
Hartle Gell-Mann 2011 paper: http://arxiv.org/abs/1106.0767
Hartle 2008: http://arxiv.org/abs/0801.0688 (appendix A especially helpful)
Hartle 2006: http://arxiv.org/abs/gr-qc/0602013 (generalizing QM for quantum spacetime)

 

[marcus]

In just a week from tomorrow, on Tuesday 10 July, Fay Dowker is going to talk about something which I think is important to the development of Loop gravity. It will go into the PIRSA online video archive. I for one am certainly going to watch the talk.

PIRSA:12070001
Title: The Path Integral Interpretation of Quantum Mechanics
Speaker(s): Fay Dowker - Imperial College
Abstract: In 1932 Dirac wrote that the lagrangian approach to classical mechanics was probably more fundamental than the hamiltonian approach because the former is relativistically invariant whereas the latter is "essentially nonrelativistic". In quantum theory the hamiltonian approach leads to canonincal quantisation, Hilbert space, operators and the textbook rules for state vector "collapse", which are all indeed more or less divorced from the spacetime nature of the physical world as revealed by relativity. The "essentially relativistic" lagrangian approach on the other hand leads to the path integral, as shown by Dirac in 1932 and developed by Feynman. I will show how the interpretation of quantum mechanics in a path integral framework is based directly on events in spacetime and show that it leads to a second "fork in the road" depending on whether it is necessary for probabilities to play a fundamental role in the theory.
Date: 10/07/2012 - 3:30 pm
Series: Quantum Foundations
Location: Time Rm
URL: http://pirsa.org/12070001/
================

Basically I think this goes back to Jim Hartle's talk to the 2005 Solvay Conference (on the "Quantum Structure of Space and Time"). The talk was written up and posted in early 2006. I'll get the abstract:
http://arxiv.org/abs/gr-qc/0602013
Generalizing Quantum Mechanics for Quantum Spacetime
James B. Hartle (University of California, Santa Barbara)
(Submitted on 2 Feb 2006)
Familiar textbook quantum mechanics assumes a fixed background spacetime to define states on spacelike surfaces and their unitary evolution between them. Quantum theory has changed as our conceptions of space and time have evolved. But quantum mechanics needs to be generalized further for quantum gravity where spacetime geometry is fluctuating and without definite value. This paper reviews a fully four-dimensional, sum-over-histories, generalized quantum mechanics of cosmological spacetime geometry. This generalization is constructed within the framework of generalized quantum theory. This is a minimal set of principles for quantum theory abstracted from the modern quantum mechanics of closed systems, most generally the universe. In this generalization, states of fields on spacelike surfaces and their unitary evolution are emergent properties appropriate when spacetime geometry behaves approximately classically. The principles of generalized quantum theory allow for the further generalization that would be necessary were spacetime not fundamental...
31 pages. 4 figures.

To paraphrase, states and evolution of fields defined on spacelike surfaces are ONLY appropriate as math idealizations when geometry behaves APPROXIMATELY CLASSICALLY. In more general situations such idealizations are NOT appropriate.
They are, as Dowker put it, "more or less divorced from the spacetime nature of the physical world".