Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

June 25, 2006

The LQG Landscape

Over at Cosmic Variance, in a long, and somewhat histrionic comment thread, Lee Smolin makes a new (to me, at least) claim about LQG

LQG easily incorporates most proposals for beyond the standard model unification including supersymmetry.

Since I’m afraid it will get buried over there, I thought I would drag the discussion of this rather important physics point over here. Hopefully, some LQG experts can chime in and explain Lee’s statement.

  1. What classes of quantum field theories can be incorporated in LQG and what classes cannot?
  2. In what sense do the former constitute “most”?
  3. In light of the fact that “most” can be coupled to LQG, how are we to deal with Georgi’s objection (which is discussed at greater length here) ?

In the same comment, Lee also says

… someone might earn a Clay prize by rigorously constructing quantum Yang-Mills within LQG. It will certainly not be me, but there are people working on exactly that program. The conjecture is that background independent QFTs are more likely to exist rigorously in 3+1 dimensions than Poincare invariant QFTs.

It would also be interesting for someone to chime in with an explanation of the intuition for why coupling to quantum gravity should make the problem of constructing quantum Yang Mills theory easier, rather than harder.

Posted by distler at June 25, 2006 12:53 PM

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/855

170 Comments & 2 Trackbacks

Re: The LQG Landscape

Page 190 of the book “Not Even Wrong” (Woit, Cape edition, 2006):

“A possibility consistent with everything known about superstring theory and loop quantum gravity is that, just as there are many consistent quantum field that don’t include gravity, there are many consistent quantum theories, some field theories, some not, that do include gravitational forces. If the loop quantum gravity programme is successful, it should construct a quantum theory of the gravitational field to which one can add just about any other consistent quantum field theory for other fields. If there is a consistent M-theory, it probably will depend on a choice of background spacetime and make sense for an infinity of such choices. Neither loop quantum gravity nor M-theory offers any evidence for the existence of a unique unified theory of gravity and other interactions. Even if these theories do achieve their goal of finding a consistent quantum theory of gravity, if they don’t have anything to say about the standard model such theories will be highly unsatisfactory since there is a serious question about whether they can ever be experimentally tested.”

Surely the standard model is entirely Yang-Mills exchange radiation based. So the loop transformation scheme has physical dynamics: force-causing gauge bosons flowing between masses. The there-and-back flow of gauge boson energy would constitute the loop.

I can’t believe that the widely held view of “rigor” in theoretical physics is such as to exclude the possibility of representing physical processes by any but the most intangible and sophisticated calculations which turn out to suffer landscape problems. Why is theoretical physics now stuck into a top-down abstract level methodology, instead of building representations of successful QFT based on experimental evidence? Is it entirely down to the fear of being submerged by crackpotism? Or just the fear that the subject might start moving?

Posted by: nc on June 25, 2006 2:07 PM | Permalink | Reply to this

Re: The LQG Landscape

This paper seems to indicate that the Immirzi parameter cannot be set arbitrarily once fermions are included.

Thus the question of “What classes of quantum field theories can be coupled to LQG and what classes cannot?” should include the sentence “and still get the correct value for the BH entropy”.

Posted by: wolfgang on June 25, 2006 2:33 PM | Permalink | Reply to this

Immirzi

The Immirzi parameter is one problem. The cosmological constant is another (already vexing, even before coupling LQG to matter).

But I wasn’t hoping for an answer to all questions about LQG, here. Just a simple “foundational” one: what sorts of quantum field theories can be coupled to it?

P.S.: I hope you don’t mind that I turned your reference to that paper into a clickable hyperlink.

Posted by: Jacques Distler on June 25, 2006 3:07 PM | Permalink | PGP Sig | Reply to this

Re: Immirzi

There is an even more foundational question, which no one has ever answered to my satisfaction: is LQG a well-defined theory? I always get the impression they effectively are choosing some action at a cutoff scale, then cloaking this in obscure mathematics. In other words, is there not possibly some infinite set of nj-symbols (or something along these lines) that reflects the infinitely many parameters of nonrenormalizable gravity? If so, it seems to me that it wouldn’t be at all surprising that one can couple any field theory to this, since I can always write down a nonrenormalizable action for gravity coupled to whatever I want.

Posted by: Anon. on June 25, 2006 8:31 PM | Permalink | Reply to this

Re: Immirzi

This comment is a bit late, but I’ll post it anyway–the Immirzi parameter can still be set arbitrarily with fermions. The paper mentioned previously was more or less superceded (and subsequently rewritten) by hep-th/0507253. The original hope was that the Immirzi term would yield parity violating effects via torsion in the effective field theory. It was then shown that these effects come from the choice of what you might call a “shadow” term in the fermionic Lagrangian which is also parity violating but has no classical effect in the absence of torsion. With the approproate choice of the shadow term, one can reproduce Einstein-Cartan gravity coupled to fermions (with the correct torsion terms) for an arbitrary value of the Immirzi parameter. This was shown in hep-th/0510001 and again in more detail in gr-qc/0601013. With other choices for the shadow term you can get parity violating effects or even no torsion at all. This of course is all at the classical level–I’m not sure that it has been investigated at the quantum level.

Posted by: Andrew Randono on June 26, 2006 8:19 PM | Permalink | Reply to this

Hodge-*

Dear Andrew,

Thanks for chiming in. Maybe you can explain something that puzzles me about the discussion in these papers, which purport to couple fermions to gravity in Hilbert-Palatini form.

They write expressions like *e aψ¯γ aDψ where “*” is the Hodge-* operator.

How does one define the Hodge-* operator, without assuming that the vierbein is invertible (which one presumably does not want to assume, if one is planning an Ashtekar-like quantization)?

Posted by: Jacques Distler on June 27, 2006 2:31 AM | Permalink | PGP Sig | Reply to this

Hodge-*

Hmmm.

I suppose what you must really mean is ϵ abcde ae be cψ¯γ dDψ

Is that it?

Posted by: Jacques Distler on June 27, 2006 3:50 AM | Permalink | PGP Sig | Reply to this

Re: Hodge-*

Yes, this is correct. The trick is to write everything in a way that all the metric information, in this case the dual, is in the SO(3,1) representation space prior to quantization. Then the e’s, which project the metric back down to the base manifold, become operators.

Posted by: Andrew Randono on June 28, 2006 11:42 AM | Permalink | Reply to this

Re: The LQG Landscape

Maybe someone can explain what it even *means* for LQG practioners when they talk about field theories being background independant.

AFAICs, the only candidates for such a loaded term are topological field theories, with the simplest nontrivial example being of the Witten type.

Posted by: Haelfix on June 25, 2006 2:40 PM | Permalink | Reply to this

Re: The LQG Landscape

Dear Jacques,

There is a large literature on coupling matter to loop quantum gravity and spin foam models as well as extensions to supergravity, higher dimensional gravity, branes, etc. All forms of matter have been coupled including fermions, Maxwell and Yang-Mills, scalars, supersymmetric extensions, p-form gauge fields.

These are all constructed by hand by adding degrees of freedom by enlarging the gauge group that defines the labelings on spin networks. There is also a new point of view about matter, which is that it is emergent from spin foam and some other background independent models of quantum spacetime, because there exist automatically coherent excitations that can be interpreted as chiral matter fields. This is work of Markopoulou and collaborators: F.Markopoulou hep-th/0604120, D. Krebs and F. Markopoulou gr-qc/0510052,, S. Bilson-Thompson, F. Markopoulou, LS hep-th/0603022. This is of course to be preferred if it works as it is much more restrictive, but there is much here to be done here.

Some references to the old approach of adding matter by hand are in my review paper hep-th/0408048, where there is also a list of open problems (not every important question has been solved!). Below are a small set of references found quickly, sorry for the sloppiness of the listing.

Also, as to what we mean by LQG and spin foam models being background independent, look at Rovelli’s book and my hep-th/0507235.

As to Georgi’s objection, there is a test case, which is 2+1 gravity coupled to matter. There are no gravitons but for any Feynman diagram of the matter theory there are gravitational degrees of freedom. The theory seems consistent for all forms of matter it is coupled to. As shown by Freidel and Livine, hep-th/0512113, one can also in this case integrate out the matter degrees of freedom to find an effective field theory on kappa-Minkowski spacetime.

Below are the references, broken up into categories.

For the Hamiltonian version of LQG the coupling to all matter fields was worked out in detail in several early papers, see for example, the following and references cited:

Ashtekar et. Al. Phys.Rev. D40 (1989) 2572

gr-qc/9705019 [abs, ps, pdf, other] :
Title: QSD V : Quantum Gravity as the Natural Regulator of Matter Quantum Field Theories
Authors: Thomas Thiemann
Comments: 34p, LATEX
Journal-ref: Class.Quant.Grav. 15 (1998) 1281-1314

Thomas Thiemann gr-qc/0110034 [abs, ps, pdf, other] :
Title: Introduction to Modern Canonical Quantum General Relativity

hep-th/9210110 [abs, ps, pdf, other] :
Title: Quantum Einstein-Maxwell Fields: A Unified Viewpoint from the Loop Representation
Authors: R. Gambini, J. Pullin
Comments: 13pp. no figures, Revtex, UU-HEP-92/9, IFFI 92-11
Journal-ref: Phys.Rev. D47 (1993) 5214

For coupling of the path integral or spin foam formulation to Yang-Mills fields:

gr-qc/0210051 [abs, ps, pdf, other] :
Title: Spin Foam Models of Yang-Mills Theory Coupled to Gravity
Authors: A. Mikovic
Comments: 10 pages
Journal-ref: Class.Quant.Grav. 20 (2003) 239-246

3. gr-qc/0207041 [abs, ps, pdf, other] :
Title: A spin foam model for pure gauge theory coupled to quantum gravity
Authors: Daniele Oriti, Hendryk Pfeiffer
Comments: 18 pages, LaTeX, 1 figure, v2: details clarified, references added
Journal-ref: Phys.Rev. D66 (2002) 124010

Coupling to fermions (see the above general papers and:)

gr-qc/9705021 [abs, ps, pdf, other] :
Title: Kinematical Hilbert Spaces for Fermionic and Higgs Quantum Field Theories
Authors: Thomas Thiemann
Comments: 26p, LATEX
Journal-ref: Class.Quant.Grav. 15 (1998) 1487-1512

gr-qc/9401011 [abs, ps, pdf, other] :
Title: Fermions in Quantum Gravity
Authors: H A Marales-Tecotl, C Rovelli
Comments: LaTeX file, 37 pages, no figures
Journal-ref: Phys.Rev.Lett. 72 (1994) 3642-3645

hep-th/9703112 [abs, ps, pdf, other] :
Title: Quantization of Diffeomorphism-Invariant Theories with Fermions
Authors: John C. Baez, Kirill V. Krasnov
Comments: 28 pages, latex, 7 ps-files (included) are needed to process the source file
Journal-ref: J.Math.Phys. 39 (1998) 1251-1271
SLAC-comments: Published in J.Math.Phys.39:1251-1271,1998

gr-qc/9506029 [abs, ps, pdf, other] :
Title: Quantum Loop Representation for Fermions coupled to Einstein-Maxwell field
Authors: Kirill V.Krasnov
Comments: 28 pages, REVTeX 3.0, 15 uuencoded ps-figures. The construction of the representation has been changed so that the representation space became irreducible. One part is removed because it developed into a separate paper; some corrections added
Journal-ref: Phys.Rev. D53 (1996) 1874-1888
SLAC-comments: Published in Phys.Rev.D53:1874-1888,1996

For general matter couplings to spin foams

gr-qc/0602010 [abs, ps, pdf, other] :
Title: Group field theory formulation of 3d quantum gravity coupled to matter fields
Authors: Daniele Oriti, James Ryan

For supersymmetry and supergravity in the Hamiltonian formulation:

hep-th/0009020 [abs, ps, pdf, other] :
Title: Introduction to supersymmetric spin networks
Authors: Yi Ling
Comments: 27 pages, 16 eps figures. Based on the talk given at Marcel Grossmann Meeting IX in Rome
Journal-ref: J.Math.Phys. 43 (2002) 154-169

16. hep-th/0009018 [abs, ps, pdf, other] :
Title: Holographic Formulation of Quantum Supergravity
Authors: Yi Ling, Lee Smolin
Comments: 30 pages, no figure
Journal-ref: Phys.Rev. D63 (2001) 064010

hep-th/9904016 [abs, ps, pdf, other] :
Title: Supersymmetric Spin Networks and Quantum Supergravity
Authors: Yi Ling, Lee Smolin
Comments: 21 pages, LaTex, 22 figures, typos corrected and references completed
Journal-ref: Phys.Rev. D61 (2000) 044008

For d=11 supergravity:

hep-th/0003285 [abs, ps, pdf, other] :
Title: Eleven dimensional supergravity as a constrained topological field theory
Authors: Yi Ling, Lee Smolin
Comments: 15 pages+7, Appendix added
Journal-ref: Nucl.Phys. B601 (2001) 191-208

hep-th/9703174 [abs, ps, pdf, other] :
Title: Chern-Simons theory in 11 dimensions as a non-perturbative phase of M theory
Authors: Lee Smolin


For supergravity in spin foam models:

hep-th/0307251 [abs, ps, pdf, other] :
Title: Three-dimensional Quantum Supergravity and Supersymmetric Spin Foam Models
Authors: Etera R. Livine, Robert Oeckl
Comments: 43 pages, 10 figures
Journal-ref: Adv.Theor.Math.Phys. 7 (2004) 951-1001
SLAC-comments: Published in Adv.Theor.Math.Phys.7:951-1001,2004


For higher dimensional gravity:

hep-th/9901069 [abs, ps, pdf, other] :
Title: BF Description of Higher-Dimensional Gravity Theories
Authors: L. Freidel, K. Krasnov, R. Puzio (Penn State)
Comments: 26 pages, Revtex; minor changes
Journal-ref: Adv.Theor.Math.Phys. 3 (1999) 1289-1324


For branes and p-form gauge fields:

gr-qc/9302011 [abs, ps, pdf, other] :
Title: Finite, diffeomorphism invariant observables in quantum gravity
Authors: Lee Smolin
Comments: Latex, no figures, 30 pages, SU-GP-93/1-1
Journal-ref: Phys.Rev. D49 (1994) 4028-4040

For attempts to use LQG methods to discover the background independent formulation of string and M theory:

hep-th/0002009 [abs, ps, pdf, other] :
Title: M theory as a matrix extension of Chern-Simons theory
Authors: Lee Smolin
Comments: Latex, 17 pages, no figures
Journal-ref: Nucl.Phys. B591 (2000) 227-242

hep-th/0104050 [abs, ps, pdf, other] :
Title: The exceptional Jordan algebra and the matrix string
Authors: Lee Smolin
Comments: LaTex 15 pages, no figures
Subj-class: High Energy Physics - Theory; Quantum Algebra

hep-th/0006137 [abs, ps, pdf, other] :
Title: The cubic matrix model and a duality between strings and loops
Authors: Lee Smolin
Comments: Latex, 32 pages, 7 figures
Subj-class: High Energy Physics - Theory; Quantum Algebra

hep-th/9712148 [abs, ps, pdf, other] :
Title: Nonperturbative dynamics for abstract (p,q) string networks
Authors: Fotini Markopoulou, Lee Smolin
Comments: Latex, 12 pages, epsfig, 7 figures, min

Posted by: Lee Smolin on June 26, 2006 6:25 AM | Permalink | Reply to this

Core Dump

Thanks for the long list of papers. They will, I’m sure, make for some interesting reading.

But, first to Georgi’s objection. You say:

As to Georgi’s objection, there is a test case, which is 2+1 gravity coupled to matter. There are no gravitons but for any Feynman diagram of the matter theory there are gravitational degrees of freedom. The theory seems consistent for all forms of matter it is coupled to. As shown by Freidel and Livine, hep-th/0512113, one can also in this case integrate out the matter degrees of freedom to find an effective field theory on kappa-Minkowski spacetime.

I have no idea why you think that Freidel-Livine addresses Geogi’s objection, let alone answers it.

First of all, Freidel and Livine integrate out gravity (not the matter) to obtain an effective theory of matter on a noncommutative spacetime (without gravity).

It’s nifty that one can do that in 2+1 dimensions, where there are no local degrees of freedom in the gravitational field. But it obviously doesn’t generalize to 3+1 dimensions (where the gravitational field has two local propagating degrees of freedom). Attempting to do the same thing in 3+1 dimensions would yield (if it were even possible) a disgusting nonlocal mess.

But that’s neither here nor there. Freidel-Livine has nothing to say vis-a-vis Georgi’s objection, and I don’t know why you brought it up.

Turning to the general question of coupling matter to LQG, am I to understand from your comments, and the lengthy list of references, that where you previously said “most”, you actually meant “all”?

Is there an example of a QFT that cannot be coupled to LQG?

And, if any QFT can be coupled to LQG, does that not make the “Landscape” problem infinitely worse (there being no “Swampland” in LQG)?

I have to say that, looking over the abstracts (I haven’t looked at more than a couple of the papers themselves, yet) gives one an interesting sense of the more cautious, methodical, “foundational” style of the LQG community, in contrast to the shoot-from-the-hip, over-hype and over-claim style of the string theorists.

Here’s Thomas Thiemann’s abstract

It is an old speculation in physics that, once the gravitational field is successfully quantized, it should serve as the natural regulator of infrared and ultraviolet singularities that plague quantum field theories in a background metric. We demonstrate that this idea is implemented in a precise sense within the framework of four-dimensional canonical Lorentzian quantum gravity in the continuum. Specifically, we show that the Hamiltonian of the standard model supports a representation in which finite linear combinations of Wilson loop functionals around closed loops, as well as along open lines with fermionic and Higgs field insertions at the end points are densely defined operators. This Hamiltonian, surprisingly, does not suffer from any singularities, it is completely finite without renormalization. This property is shared by string theory. In contrast to string theory, however, we are dealing with a particular phase of the standard model coupled to gravity which is entirely non-perturbatively defined and second quantized.

Since QCD is part of the Standard Model, I suppose that it is only Thomas’s natural modesty that prevented him from submitting this paper for the Clay prize.

Posted by: Jacques Distler on June 26, 2006 1:11 PM | Permalink | PGP Sig | Reply to this

Re: The LQG Landscape

Dear Jacques,

I just wanted to list about 20 not-exactly-convincing (and mutually incompatible) papers that are clearly supposed to be the basis of the strange statements, but the commenter before me has already done it, so it’s OK. Thanks, Lee. How are you?

The most modern way to get particle physics in loop quantum gravity is described in two texts that you obtain if you search for “different octopi” (with quotation marks) on Google.com. ;-)

I have read many of these papers. As far as I can tell, none of the papers that claim to contain a supersymmetric model is actually supersymmetric; by a supersymmetry, I mean a fermionic symmetry where translations appear in the commutator. (A gauge supergroup is something different than SUSY, if you understand what I mean.) Most of the papers that claim to incorporate a gauge symmetry do not actually have any symmetry between the components of the multiplet at all - for example the trinion paper.

Some of them have a different strategy, and they just add extra fields in the normal way to the LQG treatment of the metric tensor.

None of the papers actually leads to low energy physics that can look like quantum field theory as we know it.

More generally, I think that you know very well that the question “what fields can you couple LQG to” cannot be invariantly answered. LQG does not work, even qualitatively, even before you couple it to anything. What feature of the LQG do you exactly want to preserve in order to be allowed to say that you can couple it to a field?

In Appendix A of the review by A. Ashtekar, J. Lewandowski in Class. Quantum Grav, 2004, they show what they imagine under the “Einstein-Maxwell” system in LQG. They add the gauge potential and hope for the best. There are papers explaining that chiral fermions and even scalars cannot be coupled to LQG, which also makes SUSY (and Higgs mechanism) impossible. I will write you more details if I re-find them.

All the best
Lubos

Posted by: Lubos Motl on June 26, 2006 11:47 AM | Permalink | Reply to this

Re: The LQG Landscape

If you take hep-th/0501114 by Nicolai et al., you will see on page 12 that the Immirzi parameter being +-i was good for interpreting the SU(2) as the self-dual part of the Euclidean Lorentzian group SO(4). That would morally allow you to couple LQG to chiral fermions. However, the Immirzi parameter is taken to be something completely different, to adjust the black hole entropy etc.

On page 34, they tell you that the consensus LQG approach is to view LQG as lattice field theory, and try to attach scalars and fermions to the vertices of the spin networks. On this page 34, they explain how very awkward expressions you get if you need to obtain e.g. the Dirac kinetic term, by realigning things with viel-beins etc. They agree with me that it is completely uncertain whether the resulting lattice-like physics has anything to do with the Fock space of the matter fields anyway.

They cite Varadarajan 2000 and 2001 for some Fock space ideas in LQG, and Ashtekar Lewandowski gr-qc/0107043. Polymers and scalar fields in LQG are discussed by Ashtekar et al. in gr-qc/0211012, claiming to have filled holes that existed for scalar fields, and it’s up to you whether you still see some holes. ;-)

Posted by: Lubos Motl on June 26, 2006 12:00 PM | Permalink | Reply to this

Re: The LQG Landscape

An addition. The papers by Ling and Lee, and Ling and others, e.g. more recent SUGRA paper

http://arxiv.org/abs/hep-th/0310141

are always built on the assumption that you can view gravity as a deformed topological field theory. It is a purely classical argument that requires unusual quantization procedures and has no reasons to give the right physics at the quantum level.

The fermionic part of the supergroups they have is manifestly non-isomorphic to the actual spacetime supersymmetry (or superdiffeomorphisms), and this strongly indicates that you can never get such a supersymmetry inside them because it is not there to start with and there is no reason why it should appear. Similar criticism would however also apply to Petr Horava’s holographic field theory and other approaches that many of us have been trying.

In loop quantum gravity, it is their assumption that the only task is to find a different description of the classical system, a field redefinition, and then it works inevitable at the quantum level. In effect, all their excitement is based on counting the number of classical off-shell degrees of freedom. Of course, we now know dozens of reasons why such an assumption is naive.

In holography, the number of classical degrees of freedom in the two dual descriptions looks completely different - even the spacetime dimension is different - nevertheless the systems are fully equivalent. It’s because of dynamics in the quantum theory.

The notion of the “number of degrees of freedom” in a full quantum theory (at generic coupling where the classical limits are not applicable) only makes sense if you count the actual number of quantum states (and entropy) at some energy, which requires you to know the Hamiltonian.

Their alternative paradigm is that they assume that you can count the number of degrees of freedom before you know what the dynamics is, and then keep the number as you completely change dynamics from topological gauge theory to gravity or anything else. It’s just a completely flawed assumption that is enough to show why hundreds of their papers are wrong both morally as well as in details - and of course, there are very many additional reasons why these papers are incorrect.

Even the simple toy model, 3D gravity, does not really confirm the naive preconceptions that 3D gravity is isomorphic to Chern-Simons theory. It is just a classical coincidence that is invalidated by virtually every quantum effect you look at: different ranges and signs in the path integral etc. In higher dimensions, the differences become even more striking. Most of the problems in the LQG line of reasoning, much like Prof. Penrose’s reasoning etc., can be summarized by the fact that they don’t take quantum theory seriously and think that it is always just a straightforward addition to classical physics. They’re not right.

Posted by: Lubos Motl on June 26, 2006 12:33 PM | Permalink | Reply to this

Re: The LQG Landscape



Most of the problems in the LQG line of reasoning, much like Prof. Penrose’s reasoning etc., can be summarized by the fact that they don’t take quantum theory seriously and think that it is always just a straightforward addition to classical physics.

I get the same vibe reading some of the articles. This is incorrect on so many levels, of course. The insights of QFT are too many(anomalies, instantons, SUSY, duality, effective field theories etc..) to be appreciated from merely thinking about the EPR paradox or similar such “deep” philosophical matters.

A couple of questions:

1. I do not understand the big deal about gravity being “a kind of gauge theory” being used as the basis of LQG(as in review by LS 0408048). Was this not textbook knowledge before 80s(connection and curvature in GR analogous to gauge fields and field strength in Y-M)? What am I missing?

2. It seems to me that LQG is based on the following: BF theory + constraints = Classical GR. It is not clear to me how it is quantized(at least from the LS review); simply do a path integral of the above? How can that solve ANY of the problems associated with quantum gravity, with or without matter? I realize that in some cases a clever trick can make a seemingly hard problem more tractable(like Fadeev-Popov ghosts); I see nothing like that here.

However, maybe I am missing something since work in such areas is being published by leading journals like Adv Theo Math Phys(home to many important papers and with distinguished members in the Editorial Board).

Posted by: ignoramus on June 26, 2006 1:50 PM | Permalink | Reply to this

Re: The LQG Landscape

Thank you for your comments, Luboš.

I’ll now ask that you sit down, take a deep breath, and let someone else have a turn.

Posted by: Jacques Distler on June 26, 2006 12:54 PM | Permalink | PGP Sig | Reply to this

Re: The LQG Landscape

Dear Lee,

among the many questions here, one seems to stick out. Could you please tell us whether or not there exists an example of a quantum field theory that can *not* be coupled to LQG?

Thanks,

Posted by: Michael on June 26, 2006 6:33 PM | Permalink | Reply to this

Re: The LQG Landscape

Dear Michael,

Sure, there is as yet no published work on supergravity with N greater than 2. This is an important problem that should be worked on.


To answer ignoramus’s questions:

1. I do not understand the big deal about gravity being “a kind of gauge theory” being used as the basis of LQG(as in review by LS 0408048). Was this not textbook knowledge before 80s(connection and curvature in GR analogous to gauge fields and field strength in Y-M)? What am I missing?


The missing thing is that it was not known before Ashtekar that GR and supergravity could be formulated so that the configuration space was a space of connections mod gauge transformations, while all the metric information was represented in an electric field conjugate to the gauge field. This is the first key result that everything depends on because it means that all components of the connection commute so you can define quantum states as functionals of connections.

2. It seems to me that LQG is based on the following: BF theory + constraints = Classical GR. It is not clear to me how it is quantized(at least from the LS review); simply do a path integral of the above? How can that solve ANY of the problems associated with quantum gravity, with or without matter?

The reason is that to define the path integral one has to choose a measure. What is new and powerful is that one can use the relation to BF theory to choose a path integral measure that is either a restriction or perturbation of a measure used to rigorously define BF theory. This is the second key result, it underlies the results on finiteness of sums over representation labels in spin foam models.

Posted by: Lee Smolin on June 26, 2006 7:23 PM | Permalink | Reply to this

Matter, not (super)gravity

Sure, there is as yet no published work on supergravity with N greater than 2. This is an important problem that should be worked on.

That’s about changing the (super)gravity theory. Michael (and I) were interested in fixing a particular (super)gravity theory and asking which matter QFTs could be coupled to it.

Obviously, the matter QFT must have at least as much supersymmetry as the supergravity theory you wish to couple it to (i.e., the matter theory coupled to N=2 supergravity must have, at least, N=2 supersymmetry).

But, beyond that, are there any restrictions?

Posted by: Jacques Distler on June 26, 2006 7:50 PM | Permalink | PGP Sig | Reply to this

Re: The LQG Landscape

hi Lee,

I’m curious about some explicit examples. Let’s take a very simple theory which can’t be embedded in perturbative string theory: a single scalar field with canonical kinetic terms and leading interaction c(ϕ) 4 with c negative. Can this theory be coupled to LQG? If not, why not?

best, allan

Posted by: allan on June 26, 2006 8:12 PM | Permalink | Reply to this

Re: The LQG Landscape

I’d like to know how the anomaly cancellation constraint (not in 10d with GS, but the ordinary 4d cancellation) arises in LQG framework. Thanks in advance.

Posted by: anonymous on June 27, 2006 12:59 AM | Permalink | Reply to this

Any QFT?

Another way to state your question is:

  1. Can one couple an SU(N) gauge theory with a single Weyl fermion in the fundamental representation, N, to LQG?
  2. If not, how about an SU(N) gauge theory, with a Weyl fermion in the N¯ 2 (N) representation?
  3. If LQG distinguishes between cases 1,2, how does it do so?

The statement that LQG can incorporate the Standard Model (let alonemost proposals for beyond the standard model unification”) hinges on this “foundational” question.

As far as I can tell, none of the long list of papers that Lee referred to even attempts to answer it.

To the contrary, people like Thomas Thiemann insist that LQG provides a manifestly gauge-invariant, nonperturbative UV regularization, and hence any theory coupled LQG (even case 1 above) is automatically free of anomalies.

Posted by: Jacques Distler on June 27, 2006 1:42 AM | Permalink | PGP Sig | Reply to this

Re: Any QFT?

The reason I asked the question about which field theory is background independant (in lqg terms) is b/c coupling to a *background dependant* field theory (virtually all known examples other than tqfts, at least in the language I understand) will manifestly break their diffeomorphism invariance and afaics that is explicitly forbidden in their framework by internal theorems and so forth (pls correct me if im wrong).

Posted by: Haelfix on June 27, 2006 2:45 AM | Permalink | Reply to this

Re: Any QFT?

I suppose that’s another way of stating the question I asked Andrew above.

Posted by: Jacques Distler on June 27, 2006 2:51 AM | Permalink | PGP Sig | Reply to this

Re: Any QFT?

Based on what I read and heard about LQG, I feel that Jacques is right.

There are no papers that would even attempt to incorporate Standard-Model-like chiral gauge couplings into LQG. If you don’t have chiral couplings, there are no gauge anomalies.

LQG is a background-free, anomaly-free, chiral-coupling-free, scalar-free, graviton-free, Yang-Mills-free, spacetime-free, Lorentz-invariance-free, unitarity-free theory. And it’s for free.

On the other hand, there are various other anomalies that particle physicists are not familiar with that LQG practitioners are solving such as the unitarity anomaly and off-shell anomalies in the algebra of constraints discussed by Nicolai et al.

Posted by: Lubos Motl on June 27, 2006 8:08 AM | Permalink | Reply to this

Re: The LQG Landscape

This is regarding one of Lubos’s comments. I’d appreciate it if he can expand on his criticisms regarding varadarajan’s 2000-2001 papers.
Thanks

Posted by: anonymous on June 27, 2006 1:44 AM | Permalink | Reply to this

Re: The LQG Landscape

Dear anonymous,

at least so far, I have not written any criticism of Varadarajan’s papers. What I wrote was that Nicolai et al. cite Varadarajan’s papers.

Of course, indirectly, the fact that a paper XY is cited by Nicolai et al. review of loop quantum gravity is indirectly a criticism :-), but I did not make this paradigm manifest.

I will try to write a comment about these papers if I successfully finish the trip.

Best
Lubos

Posted by: Lubos Motl on June 27, 2006 7:55 AM | Permalink | Reply to this

Re: The LQG Landscape

Dear Allen,

I don’t know the answer, it would be interesting to try. I would expect, though, that if the Hamilton of the matter theory is not bounded from below, this will also be true of the ADM energy when the theory is coupled to gravity. uv finiteness is not the only good property a theory must have, and a theory that is uv finite but whose energy is not bounded from below is probably not physical.

Dear Jacques,

In my first post in this series I mentioned that there are lots of open problems and to please see my review for details. One of the open problems, which you are raising, is what happens to anomalies in theories in which LQG is coupled to gauge fields and fundamental chiral fermions. One possibility, among several. is that the fermions double, as is common in lattice gauge theories. This is, as you note, not solved in the papers I mention and it would be very important to do so. This is one reason for the interest in composite or emergent chiral states, in our recent work.

Dear Michael and everyone,

To answer your questions I think it is important to emphasize what has and has not been shown in LQG and spin foam models (The open problems are not hidden and are emphasized in every review paper on the subject, but perhaps not everyone has read them.)

Let us start with the claim is that there is a universal mechanism, as discussed by Thiemann, which removes ultraviolet divergences when matter QFTs are coupled to gravity. What is meant is that, in the defining of the Hamiltonian and other constraints, a limit has been taken in which a regulator, imposed in the construction of the Hamiltonian and other operators, has been removed, in such a way that the theory remains diffeomorphsim invariant. In doing so operator products that would normally be divergent and require renormalization have been defined in such a way that the resulting operators are finite. In the analogous calculations in ordinary QFT renormalization is needed to remove divergences, here the operator products are defined in such a way that there are no divergences.

You might ask, what happens if you try to do a perturbation theory? Do you not get divergences again from something analogous to integrating over momentum?

Evolution ampltidues can be expressed as
an infinite series in spin foam models (they are in fact the Feynman diagram expansion of a certain dual QFT called group field theory.) The analogue of integrating over momentum is summing over labels on these diagrams which refer to representations and intertwiners of gauge groups. There are explicit calculations and in some cases proofs that for certain choices of these amplitudes, which can be derived from quantizing GR + matter, the sums over these labels also are uv finite.

The point is that diffeo invariant and background dependent QFT really are quite different, in ways that are understood in detail at a technical level.

To understand this you have to really go through the calculations, just as in any context. There are very non-trivial things happening in these calculations, and just as in QFT or string theory I don’t think you can really understand the claims unless you study them.

Now lets turn to what has not been shown.
-It has not been shown that all these theories have a good low energy or classical limit described by an effective field theory on a background spacetime.
-It has not been shown that the quantum Hamiltonian is, with appropriate choices of boundary conditions, bounded from below.

-It has not been shown whether or not the sums over spin foam diagrams, analogous to summing the Feynman diagrams up, is convergent, even if each diagraom is uv finite. (Apart from some results in 2+1 where the diagrams are Borel summable.)

-It has not been shown that fermions do not double so that, when the low energy limit exists, it is chiral.

I hope this makes clear what is meant and not meant by the claims I stated before.

Does this mean, as you imply, that there is a landscape issue because LQG does not restrict matter content? Possibly yes, so far as explicit couplings of matter. (Of course, if chiral fermions double then this is probably not the way to couple matter physically.)

But there is a very different situation with recent results of Markopoulou + others which show that many of these theories have emergent chiral matter. These are just beginning to be studied but there does not appear to be a lot of freedom-once the quantum gravity theory is defined the emergent matter content and dynamicds appears fixed.

A closing comment: the issues you are raising are important. As you imply, they are understudied. I have been urging people for years to study what happens to chirality and chiral symmetry breaking in LQG and spin foam models. Recently there are some results (our work with Bilson-Thompson and Markopoulou, recent work of Alexander, Soo and oa few others) but many questions remain open.

But please don’t assume that because there are important open issues it must mean that we don’t know what we are doing. In fact, there are relatively few of us, and many open problems, so the reason many problems remain open is that there has simply not been enough people working on the subject. But we are also careful, so if you read what we say, you will find that the precise claims-as stated-are backed up with detailed calculations and, in some cases, rigorous proofs. I would then hope that you would see the existence of open problems as opportunities for smart people like you, with good backgrounds in QFT, to get involved and contribute.

Finally, I do think that extending LQG and spin foam models to higher supersymmetry (N) is very important because it would make it possible to 1) understand the role of BPS states in this context and 2) make detailed comparisons possible between LQG and string theory in the AdS/CFT context and in the context of extremal black holes.

Thanks,

Lee

Posted by: Lee Smolin on June 27, 2006 5:11 AM | Permalink | Reply to this

Like a Lattice

Many a time, when I was first attempting to understand what y’all were doing in LQG, I was chided for assuming, even tacitly, that LQG was like a lattice theory.

Now, when faced with the obvious contradiction between the statement that LQG provided a gauge-invariant, nonperturbative regulator for field theories coupled to it and the strongly-held belief among particle theorists that chiral gauge theories with randomly-chosen fermion representations suffer from gauge anomalies, you assert that perhaps LQG suffers from fermion doubling.

(At least Thomas Thiemann has the strength of conviction to assert that the particle theorists are wrong.)

In Lattice Gauge Theory, it’s easy to see where the doublers come from: they are modes of the lattice fermions with momenta of order the inverse lattice spacing. Is there any way to see where the doubler come from in LQG?

In any case, regardless of where they come from, if LQG suffers from fermion doubling, then the correct answer to the question I posed in this blog post is

LQG is (at present) incapable of incorporating QFTs with chiral fermions.

That would include both the Standard Model and all “proposals for beyond the standard model unification”.

To say anything else would be somewhat misleading, no?

You write:

This is one reason for the interest in composite or emergent chiral states, in our recent work.

Well, as you know, I’ve expressed grave doubts about that paper. In that discussion, you never did explain how the Standard Model (without a Higgs, or a Higgs-replacement) managed to remain unitary at energy scales above a TeV.

Amusingly, this ties directly into Allan’s question. The “Higgless” Standard Model is, in this regard, no different from the toy field theory he asked you about.

Posted by: Jacques Distler on June 27, 2006 10:44 AM | Permalink | PGP Sig | Reply to this

… and supersymmetry

LQG easily incorporates most proposals … including supersymmetry.

Just to complete a thought, that might not be obvious to the non-cognoscenti, fermion doubling is a key impediment to putting supersymmetry on the lattice (N=1 supersymmetric theories are inherently chiral).

It’s only when one gets to N=4 supersymmetry that Kogut-Susskind-type fermions (with the attendant replication of fermion flavours) prove to be exactly what one wants, in order to put extended supersymmetry on the lattice.

But, then, no one has attempted an LQG formulation of N=4 supergravity…

Posted by: Jacques Distler on June 27, 2006 12:24 PM | Permalink | PGP Sig | Reply to this

Re: The LQG Landscape

Jacques,

You say that, if the quantum gravity action has a non-trivial UV fixed point, adding matter might destroy this fixed point.

Your reasoning seems to be as follows: if we have a theory with a fixed point and then we embed this theory in another theory with more fields, the space of possible coupling constants is much larger than before and, it would be quite a surprise for the fixed point to survive. I completely agree with this, even if you didn’t spell it out like that.

Now, what bothers me is the this. We know that the existence of the the fixed points is an universal feature. For example, all 2 invariant theories in d=3 have a non-gaussian fixed point. Even if I add some more fields, I think that as long as the 2 symmetry is there, the fixed point survives. What I’m trying to emphasize here is that the existence of the fixed point is a robust feature, provided the original symmetry is unbroken.

Now, for gauge theories we don’t really have symmetries but we have gauge invariance which, I would say, is at least as constraining as a physical symmetry. Then, adding matter fields which also have this gauge invariance (as they have to because of the Equivalence Principle) might not kill the UV fixed point (assuming such fixed point exists).

Thanks!

Posted by: Lord Sidious on June 27, 2006 12:11 PM | Permalink | Reply to this

Fixed points

I think that this comment was really intended for either this entry or this one. Unlike some people, all my old entries have comments open, and it’s better to add to the discussion there, rather than veering off-topic here.

But, anyway…

There are really two issues.

  1. Does the erstwhile fixed point persist when you add new degrees of freedom to the theory? Sometimes, this is guaranteed by a symmetry. But, in the case at hand, no one knows of any symmetry that guarantees the existence of a fixed point in the first place.
  2. Does the low-energy theory lie on an RG trajectory emanating from the fixed point?

Even if the modified theory still has a nontrivial UV fixed point, we will need to tune the couplings of the low-energy theory so that we recover the property that it lies on a trajectory emanating from the fixed point (recall that a UV fixed point has an infinite number of UV-repulsive directions).

When we don’t know what new field content lies just above accessible energies, we have no idea how the couplings of the low-energy theory are to be tuned.

Put differently, in the context of effective field theories, there’s no way to extract any useable information from the knowledge/belief/hope that there exists a UV fixed point, which is approached only at energy scales much much higher than accessible energies.

Posted by: Jacques Distler on June 27, 2006 12:49 PM | Permalink | PGP Sig | Reply to this

Re: The LQG Landscape

What precisely do you all have in mind when you say “LQG”?

Originally, the term denoted attempts to quantize gravity by expressing the metric in terms of a connection and using Wilson loop observables for those connection degrees of freedom. This is the attempt to quantize gravity “canonically” by encoding the system in terms of Wilson loops.

I believe this is still what most people think of when hearing the term “LQG”. On the other hand, in a reaction to that Nicolai et. al paper, which listed technical difficulties with this approach, Lee Smolin wrote, on some blog, a long public reply where he said that practitioners of LQG have abandoned this canonical loop-basis quantization about ten years ago in favor of spin foam models.

As far as I understand, spin foam models are a rather general concept, which for instance also includes topological string theory (by constructiuon). So here it crucially depends on which particular spin foam model we are talking about. I am not aware of any canonical choice that people would be thinking of by default (but maybe there is one which I am ignorant of).

But, as far as I can tell, there is still more ambiguity. One or two years ago, there has been increasing activity in trying to understand if gravity can be understood as a perturbation about a topological BF-theory. While I have seen statements that such a setup would lend itself to “LQG-methods”, it appears to me to be a rather independent idea on how quantum gravity might work.

Even more recently, there has been increased activity in the LQG community in studying 3d gravity coupled to matter. I know that the idea is that what works for point particles in 3D should work for strings in 4D, and that this might lead to a description of 4D gravity in terms of spin foams. But at the moment it looks like yet another more or less independent line of attack to me.

Personally, I find some of these approaches more promising than others. So I would hesitate to make general statements about “LQG”. What is “LQG”?

Posted by: urs on June 27, 2006 4:38 PM | Permalink | Reply to this

Definitions

Since it was Lee’s statement

LQG easily incorporates most proposals for beyond the standard model unification including supersymmetry.

that I set out to try to understand, I will leave it entirely up to him to choose whatever definition of “LQG” makes the statement true.

Posted by: Jacques Distler on June 27, 2006 5:48 PM | Permalink | PGP Sig | Reply to this

Re: Definitions

Unfortunately, it does not seem that we can expect a straight answer even to basic questions. An even simpler question is whether or not we should be surprised.

Posted by: Michael on June 27, 2006 8:24 PM | Permalink | Reply to this

Cynicism

You can choose to be cynical about this, if you wish. For myself, I choose not to.

I’ve found this whole discussion quite informative, if a little lopsided. I was hoping that some other LQG experts besides Lee (and Andrew) would chime in with responses the questions raised here. After all several of them either have their own blogs, or are frequent commenters on other blogs.

Still, one takes what one can get. I think I got something out of this discussion; I hope others feel likewise.

Posted by: Jacques Distler on June 27, 2006 10:11 PM | Permalink | PGP Sig | Reply to this

Re: Cynicism

Am I being cynical, or just honest? You and I both asked whether there is an example of a matter QFT that can’t be coupled to LQG. An acceptable answer would be “Yes, for example XY.” or “No such example is known.” Instead I get: “there is as yet no published work on supergravity with N greater than 2” Hmmm, and the question was?! His second attempt was even more nebulous: “Let us start with the claim is that there is a universal mechanism, as discussed by Thiemann […]” – No thanks, I asked a question!

I don’t know, Jacques, if the PC-police allows you to say so, but you *know* that the “different octopi”-paper is contentless, incosistent and childish. You have cherry picked an example of a question Lee refuses to answer straight up: What prevents unitarity violation above a TeV in their model? Am I being cynical because I know the unique correct answer to this question and can state it in a concise sentence?

If I ask string theorists such as yourself, I typically get sharp verifiable and correct answers. Do you mind if I notice the difference?

Oh, I just decided you don’t get that praise for free. ;) Please summarize for me what it is you learned. Thanks!

Posted by: Michael on June 27, 2006 11:18 PM | Permalink | Reply to this

Re: The LQG Landscape

I think before talking about which field theories can be coupled to LQG, there’s a (presumably) simpler question one can ask.
As “traditional canonical” LQG(or LQG type quantizations) essentially relies on choosing a particular Poisson subalgebra(the so called holonomy-flux algebra) and quantizing it using a peculiar GNS functional (one that is spatially diffeomorphism invariant) one can also apply this procedure to field theories on flat spacetime. So for example take U(1) theory on flat spacetime and quantize it this way. One will get a “loopy” Hilbert space with a spatially diffeomorphism invariant measure on which holonomies and smeared electric fields are well defined operators. Now one can ask the question, how is this representation
(with holonomies as well defined operators) related to the usual Fock representation on which holonomies(without smearing) are not even well defined. This question was answered by varadarajan in his 2000-2001 papers. The upshot is that,
there is a so called r-Fock representation which is very closely tied to the usual Fock representation and whose states are distributions over the loopy Hilbert space. One can play the same game for scalar fields (Ashtekar et al. 2001). But all this has only been done for free field theories. I think before addressing the question “what field theories can be coupled to lqg” one should probably study some interacting field theory (say \phi^{4} theory)on flat spacetime in the loopy(or r-Fock) Hilbert space, and see how do divergences arise, can be renormalized etc. As far as I am aware, this has never been done. So atleast from canonical LQG point of view, i think its too naive to say what field theories can or can not be coupled to LQG. Certainly saying that standard model can be easily incorportated in LQG seems like a bit of overselling. But then again, i am completely ignorant about spinfoams and so am unaware of progress happening on that front.
Thanks

Posted by: anonymous on June 28, 2006 2:40 AM | Permalink | Reply to this

Re: The LQG Landscape

Interesting thread.

Is it also possible to view entries in date order, rather than nested? I sometimes find it difficult to locate new comments but perhaps I am being stupid.

Posted by: boreds on June 28, 2006 1:17 PM | Permalink | Reply to this

Unthreading comments

Not stupid at all.

It’s been on my “TODO” list for a long time to write a javascript which would allow the reader to sort the comments into chronological order. I’ve seen similar things on other sites, and they work quite well.

In the meantime, you can always subscribe to my comment feed, which delivers the last 20 comments in chronological order.

Posted by: Jacques Distler on June 28, 2006 1:30 PM | Permalink | PGP Sig | Reply to this

Re: The LQG Landscape

Dear Urs,

I agree, I use LQG to mean a collection of models and techniques which study the problem of quantum gravity incorporating the following elements:

-some version of background independence

-some version of a connection as configuration variable

-whose quantum theory is described in terms of the dual loop or spin network basis in which states and histories are expressed in terms of labeled graphs.

There are many things which have been investigated which fall under these characteristics.

Dear Jacques,

You suggest I should have answered, “LQG is (at present) incapable of incorporating QFTs with chiral fermions.” The problem is that in the self-dual representation based on the Ashtekar connection the fermions that are naturally coupled to gravity are chiral fermions. So your proposed statement is wrong.

The issue is not whether there is consistent coupling to chiral fermions at the Planck scale-there is. The issues are a) in which theories is there a good low energy limit described in terms of a low energy effective matter QFT and b) what happens to the fundamental chiral fermions in those cases when they are in reps that would be anomalous?

I speculated that in these cases the fermions might double, but I emphasized this is not the only possibility. Another one is that only those theories that could be represented as non-anomolous low energy theories have good low energy limits. A third is that the low energy effective theories live on non-commutative manifolds on which there are no anomalies. But as I emphasized, we don’t know the answer, this is an important unsolved problem.

The confusion seems to be that you take “incorporate” to mean incorporated in such a way that it has been shown there is a good low energy limit, where as I took it to mean, “can be incorporated so that the quantum constraints have a consistent algebra”, i.e. so there is a well defined quantum theory with a well defined Hilbert space, without regard to whether or not there is a good low energy limit.


Dear Michael,

I genuinely don’t understand your problem. Several questions were asked which I answered honestly. I was explicit about what is known and not known and mentioned various of the open problems. Because I understood that the context was unfamiliar I tried to state carefully what are the issues and questions involved.

The original question was, is there a landscape issue in LQG in that many different fields can be coupled to it, supersymmetry can be present or not etc? I answered yes and then I explained what was meant by saying that a field could be coupled to LQG on a technical level. When the issue was raised about chiral fermions I responded and explained what the issues were. I hope the above comments have further clarified the issues.

Your response above is meant to somehow criticize us but it just gives the impression you are not even trying to understand the issues.

After saying over and over again that there are open problems connected with defining the low energy limit you criticize me because we don’t have a quick answer to, “What prevents unitarity violation above a TeV in their model?” The reason we don’t have a quick answer is that we don’t have a low energy effective field theory in which it makes sense to ask your question. The paper and talks have been quite explicit about these and other open issues. The fact that you fail to get the point suggests to me that you have not spent any time trying to understand how one would even start to do QFT without a background metric.

Posted by: Lee Smolin on June 28, 2006 3:57 PM | Permalink | Reply to this

Once More on Anomalies

The problem is that in the self-dual representation based on the Ashtekar connection the fermions that are naturally coupled to gravity are chiral fermions. So your proposed statement is wrong.

Please, Lee.

No one ever claimed that there is anything inconsistent about coupling chiral fermions to 4D gravity.

The issue only arises when you have gauge fields and you want to couple chiral fermions in a complex representation of the gauge group.

And then the issue only arises in the quantum theory, not at the level of the choice of canonical variables in the classical theory.

The issue is not whether there is consistent coupling to chiral fermions at the Planck scale-there is.

This is either some sort of semantic quibble or a basic misunderstanding.

Lattice gauge theorists have no trouble writing down lattice Lagrangians that naïvely look like they contain chiral fermions. But appearances to the contrary, the spectrum is actually doubled, and the theory is non-chiral.

(Again, since you appeared to be confused about this, one can always choose to count Weyl fermions of a fixed chirality. The invariantly-defined distinction is between whether these Weyl fermions form a complex representation, R, versus a real representation, RR¯, of the gauge group.)

The lattice gauge theorists don’t go around saying, “Sure, we can put chiral fermions on the lattice; there’s just this pesky little problem of whether there’s a suitable low energy limit.” They say, “We have trouble putting chiral fermions on the lattice.”

Above, I gave the example of an SU(N) gauge theory coupled to a Weyl fermion in two different possible representations of SU(N):

  1. The N representation.
  2. The N¯ 2 (N) representation.

Is there any evidence that LQG treats these two cases in a qualitatively different way? What would that evidence be?

This is the central question of this subject. The reason why lattice gauge theory has trouble incorporating chiral fermions is that it doesn’t distinguish (despite the efforts of many smart people) between these two cases.

If LQG doesn’t distinguish between the two cases, either, then there is no way that it can possibly incorporate chiral gauge theories.

The confusion seems to be that you take “incorporate” to mean incorporated in such a way that it has been shown there is a good low energy limit, where as I took it to mean, “can be incorporated so that the quantum constraints have a consistent algebra”, i.e. so there is a well defined quantum theory with a well defined Hilbert space,

That’s exactly what anomalies spoil.

The only reason why anomalies ever arise is the absence of a short-distance regulator that preserves the symmetries of the classical theory. If you have a short distance regulator which allows you to build a quantum theory in which the symmetries (in this case, SU(N) gauge-invariance) are preserved, then you are done. There are no anomalies.

If the gauge symmetry is unspoiled in the high energy theory, there’s no reason for it to be spoiled in the low energy limit.

Now, it could be that fermion-doubling renders would-be chiral gauge theories coupled to LQG non-anomalous (by rendering them non-chiral). But, if that’s the way gauge invariance is “saved” in the LQG approach, then no one in his right mind would say that you’ve solved the problem of coupling chiral gauge theories to quantum gravity.

A third is that the low energy effective theories live on non-commutative manifolds on which there are no anomalies.

How would non-commutativity change anything?

But as I emphasized, we don’t know the answer, this is an important unsolved problem.

It doesn’t trouble me that there are unsolved problems. “Unsolved problems” are how we physicists earn a living. But incorporating chiral gauge theories into LQG still every bit as much of an unsolved problem as it was in 1997, when Thiemann claimed to have solved it.

Maybe this whole chiral gauge theory business is too complicated. Maybe you need to tackle a simpler problem first.

I know that your colleagues don’t much care for thinking about quantum gravity in other dimensions, but you have.

How about LQG in 6 dimensions? Can one couple it to a single Weyl fermion (no gauge theory, or anything complicated like that; just pure gravity, coupled to a Weyl fermion)?

Posted by: Jacques Distler on June 28, 2006 9:23 PM | Permalink | PGP Sig | Reply to this

dynamics?

Lee Smolin said… […]But there is a very different situation with recent results of Markopoulou + others which show that many of these theories have emergent chiral matter. These are just beginning to be studied but there does not appear to be a lot of freedom-once the quantum gravity theory is defined the emergent matter content and dynamicds appears fixed.

what exactly do you mean with dynamics?

Posted by: confused on June 29, 2006 4:28 AM | Permalink | Reply to this

Re: The LQG Landscape

Dear Jacques

Thanks for considering the chronological order. I might sign up to your feed, though checking here for new comments is good work-avoidance.

Dear Lee

I would like to understand better how people who work on LQG view the comments by Jacques or say p17 of Nicolai et al on LQG and effective field theory.

I.e. before one even considers adding matter d.o.f., are there already infinitely many LQGs with different Hamiltonians? If so, does this ambiguity correspond to choosing the infinite number of counterterms in perturbative gravity, as I think the intuition of Nicolai (and others) seems to indicate?

I’ve seen this question asked here and elsewhere, so apologies if I am going over old ground—but I’m not sure what the viewpoint is from people who work on LQG. I think it would help people who work on particle physics and string theory to understand what you are doing if you address questions posed in this kind of language.

Is your intuition is that some principles of LQG fix the effective action uniquely?

Posted by: boreds on June 29, 2006 12:32 PM | Permalink | Reply to this

Re: The LQG Landscape

Dear Jacques,

So far as I know, at the kinematical level, there is no problem coupling to any gauge group and fermions in any representation, that is one can solve the quantum Gauss laws constraint and diffeomorphism constraints consistently in each case. I am not sure whether different choices of fermion reps affect the consistency of the Hamiltonian constraint, so why don’t I suggest to experts that they check this.

Similarly for the 6 dimensional case. It hasn’t been done, so the best thing is that someone look at it in detail.

Dear Boreds,

Different people working in LQG and related areas take different views of these questions. I believe I have already expressed mine many places. Ill try to be clear about them here.

For me LQG is nothing but the study of diffeomorphism invariant quantum gauge theories. At the kinematical level these theories are picked out by choice of a gauge group, manifold, differential structure and value of the cosmological constant. (There is no background metric or geometry.) The LOST uniqueness theorem tells us this there is a unique Hilbert space and observable algebra at the level of gauge and spatially diffeo invariant states, for each of these choices. This then gives a class of kinematical theories labeled by those choices.

These are then a class of theories, like gauge theories on background spacetimes with fixed metrics. As in those cases, the gauge invariances strongly restrict the forms of the quantum theories, kinematically.

I believe there is compelling reason to study this class of theories as possible quantum theories of gravity. These include the fact that all classical gravity theories we know can be expressed as diffeo invariant gauge theories, together with the uniqueness theorem. Furthermore, when one uses the unique representation given us by the LOST theorem, one can find explicit finite closed form expressions for the quantum dynamics derived from those gravitational theories, in both Hamiltonian and path integral forms. There is no other approach in which these things all work, down to rigorous details.

The many results that have been obtained from these theories, or from reduced models obtained from them, more and more supports the view that this class of theories captures a description of physics at the Planck scale which is consistent and plausibly true. The discreteness of quantum geometry is only the start of what is now a long list of results. It is as direct a consequence of the quantum kinematics in this setting as the relationship between energy and frequency is for ordinary quantum mechanics.

At the same time, there is as there is in any quantum theory, some freedom in the choice of dynamics. From the path integral point of view (which for reasons I’ve discussed a lot elsewhere is the more powerful one) a dynamical theory is picked out by 1) a choice of local moves and 2) specifications of the amplitudes for these local moves.

While this is a large class, there are preferred models which have been studied quite a lot. Some of these, such as the Barrett-Crane model, turn out to be uv finite (in the sense that the analogues of integrals over momenta are convergent.) These are also models for which the dynamics is derived through a well defined quantization procedure from classical GR (with or without matter.) These two facts make these special and worthy of a lot of study.

It is not known how large is the class of evolution amplitudes which lead to uv finite theories. I doubt it is an infinite set, but it is not known. This is an important open question.

At the Hamiltonian level there has been more work on this and it has turned out to be so far impossible to find more than a handful of regularizations of the Hamiltonian constraint that are consistent quantum mechanically. There is, so far as I know, no evidence that there is an infinite parameter family of consistent versions of the Hamiltonian constraint. Quite the opposite, most attempts I know about to find new consistent orderings and regularizations on top of the few that were known in the mid 90s have failed-and hence remained unpublished. So the evidence is strongly against the analogy Nicolai et al suggest.

Nevertheless, a few people, beginning with Markopoulou, have advocated a more general RG point of view with flow in some space of couplings. Unfortunately, so far this has not been easy to realize in detail, because of complications with applying the RG to spin foam models discussed in Markopoulou’s papers. But I think this is a fruitful direction and deserves more work. One doesn’t say the Ising model is not a good model of ferromagnetism because there are flows in the space of couplings, and for the same reason the existence of flows in the space of parameters governing evolution will not invalidate the use of models of quantum gravity in giving predictions for experiments that probe the Planck scale.

I hope this helps. One of the confusions in these discussions is that what I defend strongly is the study of this whole class of models, as a uniquely suitable setting for studying the problems of quantum gravity and unification. I do not up to now defend any particular model within it as a candidate for THE theory.

Nonetheless, in spite of the many open problems, and in spite of the freedom to vary the models, there are some generic features whose study suggests predictions which may be soon compared to experiment. While none of them has of yet been rigorously derived, there are to me strong reasons to suspect they are generic predictions of large classes of these theories. These have to do with DSR, emergent particles, and cosmological applications. These are where I am putting my energy.

As for my view of Nicolai et al, imagine someone criticizing string theory now, but not mentioning anything that has been learned since 1993. That is what Nicolai et al did. What they neglected to say is that the criticisms they raised about the Hamiltonian constraint have been well known since the mid 90s and they are the reason most (not all, but most) workers in the field shifted to spin foam models for the last ten years.

Finally, as to your question, is there a principle of LQG that fixes the effective action uniquely? It is not known. Much is fixed by the LOST theorem. I strongly suspect, but cannnot yet prove, that there are generic features of the low energy physics which are fixed, including whether DSR is the symmetry group of the ground state. If true, this is falsifiable experimentally. As I mentioned, attempts to widen the class of consistent quantum dyanmics in this setting have so far led to failure. And while there has been a lot of progress on the key issue of deriving the low energy physics, the problem is not solved in 3+1 (it was only solved in 2+1 last year). So we do not now know the answer to your last question.

I hope this helps clarify things,

Thanks,

Lee

Posted by: Lee Smolin on June 29, 2006 6:38 PM | Permalink | Reply to this

Too Naïve

So far as I know, at the kinematical level, there is no problem coupling to any gauge group and fermions in any representation, that is one can solve the quantum Gauss laws constraint and diffeomorphism constraints consistently in each case.

I’ve explained to you why I think that’s wrong, and, long ago, I pointed you to a paper which explains, from the Hamiltonian perspective, where the (unremovable) Berry-phase in the ground state of the fermion system arises.

It’s certainly possible that a naïve; quantization of the fermions might miss this phase but I don’t think one should put much stock in a quantization more naïve than what Schwinger was able to do in the 1950s.

I am not sure whether different choices of fermion reps affect the consistency of the Hamiltonian constraint, so why don’t I suggest to experts that they check this.

I’d be a little surprised if you had somehow managed to shift the anomaly into the Hamiltonian constraint. But, since you haven’t been able to find it elsewhere …

Similarly for the 6 dimensional case. It hasn’t been done, so the best thing is that someone look at it in detail.

I shall look forward to hearing about the 6D case. Stripped of all the gauge-theoretic complications, it should be a very good test of LQG quantization methods.

I have a lot of questions about your comments to “Boreds”. But I’ll leave those for later (or for others to pursue).

Posted by: Jacques Distler on June 29, 2006 7:41 PM | Permalink | PGP Sig | Reply to this

Re: The LQG Landscape

I remarked here that there are quite different methods that are called “LQG”. One of them is CQL, “canonical quantization in terms of loop variables”. Another is SF, “spin foam models”.

As far as I am aware, there is nothing known about a direct relation between these. Or is there? Is there a way to construct a spin foam model which reproduces CQL? Or the other way around?

I am aware that the introduction of “spin foam” was motivated as an attempt to view “spin networks” evolving in time, somehow. But has this ever been made precise?

As Lee Smolin emphasized once again, most people have abandoned CQL more than ten years ago due to the problems that Nicolai et al have recently listed in two papers:

[…] criticisms they raised about the Hamiltonian constraint have been well known since the mid 90s and they are the reason most (not all, but most) workers in the field shifted to spin foam models for the last ten years.

This would imply that there is indeed no equivalence of CQL and certain spin foam models, since otherwise there would be no reason to abandon one in favor of the other.

From all this it seems one would have to conclude that when we talk about LQG, we should be talking about spin foam models, not about CQL.

But in the above reply, Lee Smolin says for instance

[…] at the kinematical level, there is no problem coupling to any gauge group and fermions in any representation, that is one can solve the quantum Gauss laws constraint and diffeomorphism constraints consistently in each case.

This is a statement which concerns CQL and CQL only, as far as I can tell. It is in CQL that one has to solve a Hamiltonian and a Gauss law constraint. In spin foam models one computes state sums instead of solving constraints.

So this is the reason why I am having trouble figuring out which precise formalism it is we are discussing.

Given all the indications, it seems that there should be a certain (class of) spin foam models for 4d gravity wherein all these statements about coupling of gravity to fermions etc. are to be interpreted.

Which model is that?

Posted by: urs on June 30, 2006 6:17 AM | Permalink | Reply to this

Re: The LQG Landscape

Dear Lee

Thanks for the reply.

“It is not known how large is the class of evolution amplitudes which lead to uv finite theories. I doubt it is an infinite set, but it is not known. This is an important open question.”

This issue is something I don’t fully understand. Particularly focussing on `uv finite’ theories sounds unnecessarily restrictive from a particle theorist’s perspective. Renormalization is not a sin, and uv divergences in field theory are usually thought to be an artefact of perturbation theory, in some sense—and not necessarily an indicator of anything unpleasant.

Is the notion of uv finiteness in this context somehow more fundamental than uv finiteness in regular QFT? If not, why would we restrict to this set of theories? They might seem nicer, but is there a deeper reason?

“Nevertheless, a few people, beginning with Markopoulou, have advocated a more general RG point of view with flow in some space of couplings. Unfortunately, so far this has not been easy to realize in detail, because of complications with applying the RG to spin foam models discussed in Markopoulou’s papers. “

This sounds interesting, and maybe addresses my point above—but I’m not sure as I haven’t read the papers.

“What they neglected to say is that the criticisms they raised about the Hamiltonian constraint have been well known since the mid 90s and they are the reason most (not all, but most) workers in the field shifted to spin foam models for the last ten years.”

That sounds like a fair point, but if the idea is that the dynamics of a given spin foam is related to a particular choice of Hamiltonian constraint, then it still seems legitimate to discuss the ambiguities in this choice.

“So the evidence is strongly against the analogy Nicolai et al suggest.”

Maybe so, but I’d certainly be interested in understanding what the correct analogy is! In general I think particle theorists would understand much better what LQG means if you could relate features of LQG to a features of a low energy effective field theory. Maybe this is just too hard a problem at the moment, but is it something that people work on in LQG?

James

Posted by: boreds on June 30, 2006 10:58 AM | Permalink | Reply to this

Re: The LQG Landscape

Dear Lee (and myself)

I should probably clarify what I said above:

“Particularly focussing on `uv finite’ theories sounds unnecessarily restrictive”

Obviously one would like theories to be finite in the sense that amplitudes calculated are (ultimately) finite.

You probably understood what I was getting at, but let me rephrase what I was asking: are the divergences that you allude to in the excluded spin-foam models analogous to the UV-divergences in regular field theory? Or are they actually much more dangerous?

Posted by: boreds on June 30, 2006 11:45 AM | Permalink | Reply to this

Re: The LQG Landscape

Dear Jacques,

The problem with applying the usual arguments for the chiral gauge anomalies to LQG directly is that the methods used, such as calculating the phase of the fermion determinant in the path integral or calculating a triangle diagram are background dependent. When the metric is an operator there is not a linear operator on a fermionic fock space to compute its spectrum. Nor is there a Fock space of