Extended idea of diffeomorphism

[jeff]

...you are saying that sets of isolated points are sets of measure zero.

Yep.

you did not in that post say that the notion of ioslated points and measure zero are equivalent, and i don't know why marcus would think that you did.

To be fair to marcus, there actually was a good reason why he thought this and it was my post that created the confusion. I cleared things up thusly.

Note that in my post,

"sets of measure zero - which can be finite or countably infinite - by definition contain only isolated points. It's only connected sets of points that can have nonzero measure: isolated points, and thus sets of isolated points since measures are additive, have measure zero simply because they have no measurable extension"

I carefully specified that "It's only connected sets of points that can have nonzero measure" as opposed to something like "connected sets of points can only have nonzero measure". Thus it should be reasonably clear that where I uncarefully used the phrase "can be", I probably intended "when", and this is in fact the case.

I suppose you could say if he'd read it more carefully, he might have said it sounds like I'm contradicting myself, which would've been true, but really, it was just an accident, as I've indicated, and I do understand measure theory.

I agree with you that although sets of measure zero are not the same thing as sets of isolated points, the latter is example of the former. all sets of isolated points have Lebesgue measure zero.[/B]

Yep.

However, in a later post, you make this statement:

This statement is clearly mistaken. the definition of measure zero is not the same as the definition of isolated points. a set of measure zero need not contain only isolated points.[/B]

Remarkably, this claim of mine is actually true! The classic example is the "cantor" set which is both uncountable (Edit: as opposed to countable, which isolated points are) and of measure zero. This is one of a number of bizarre results that almost made me drop physics and go into mathematics.

indeed, it was at this point that i posted a counterexample to your statement: the xy-plane in R3. Here is a set which contains many points which are not isolated, and yet is measure zero.[/B]

Right, the measure of lower dimensional subspaces is zero when that measure is the one defined with respect to the enveloping space of higher dimension. Okay, I understand now why you posted this. I indicated my agreement with it, but pointed out that this wasn't what marcus and I were discussing.

perhaps you misspoke with your statement, and did not mean to imply that the property of "containing only isolated points" is the definition of measure zero sets, but rather just provided an example of a certain class of measure zero sets. but this is not what your wording indicated.[/B]

I'm just sorry for my part - which is nearly all - in causing the confusion.

it is therefore not surprising that Rovelli, coming to the thread later, and perhaps influenced by marcus, might assume that you are confused about the difference between these two types of sets.[/B]

I think that's what actually happened.

i think a more reasonable assumption would be that Rovelli simply wasn't interested in continuing the dialogue.

You could very easily be right and I wouldn't bet against it. The thing is that the curt tone is at odds with the basically conciliatory language, and this is not an uncommon way for people to acquiesce when after a long battle they realize they can no longer deny that the other guy had a point after all, but don't want to take the discussion to the "penalty phase". But again, you could very well be right. Anyway, I found this whole experience to be extremely embarrasing.

 

[marcus]

...


Remarkably, this claim of mine is actually true! The classic example is the "cantor" set which is both uncountable (as opposed to countable, which means the points are isolated) and of measure zero. This is one of a number of bizarre results that almost made me drop physics and go into mathematics.

you are saying that a countable set must consist of isolated points
I assume you mean a countable subset of the reals in the ordinary topology
the rationals are a countable set not consisting of isolated points

you say "countable, which means the points are isolated"
that is, you say countable implies isolated
but the rational numbers would seem to afford a counterexample

this basic measure theory and pointset topology stuff is a bit off topic, we could start a tutorial thread in the math forum if anyone wants, definition of what an isolated point is etc

 

[marcus]

Lethe said

However, in a later post, you make this statement:

--------------
Originally Posted by jeff
...but sets of measure zero ... by definition contain only isolated points.
--------------


This statement is clearly mistaken. the definition of measure zero is not the same as the definition of isolated points. a set of measure zero need not contain only isolated points. indeed, it was at this point that i posted a counterexample to your statement: the xy-plane in R3. Here is a set which contains many points which are not isolated, and yet is measure zero.

Lethe was right, sets of measure zero do not (by definition or by any chain of reasoning) consist solely of isolated points----in the real line with the usual type of measure. One might be able to construct unfamiliar sets with unfamiliar measures in which measure zero implies isolated, but it isn't true in ordinary settings

However jeff replied
"remarkably, this claim of mine is actually true" or words to that effect
(that is measure zero implies isolated)
and then went over to the thing quoted above namely
countable implies isolated
but AFAIK neither implication is right

it's distracting to have basic misconceptions of pointset top and meas theory come in when the topic is a new development in quantum gravity
anybody want to start a tutorial thread in math forum?

 

[jeff]

Lethe said
it's distracting to have basic misconceptions of pointset top and meas theory come in when the topic is a new development in quantum gravity

Actually, I'm pretty sure you know it's common for long threads to veer off topic, so the only reason you posted this remark about "basic misconceptions" and "distraction" was to provoke me.

Let me respond by pointing out that it in fact truly is distracting to have claims that lqg proves that previous conceptions of general relativity are in fact wrong when the topic is a new development in quantum gravity, but refuse to admit that such a prepostorous statement is wrong and then after wasting everyone's time with it, not apologize for the remark. In fact such behaviour has a habit of doing more than just distracting, it poisons the entire thread. There's a difference between making a careless error and intentionally misrepresenting the facts.

Anyway marcus, I don't know why you continue to post that I claim zero measure means isolated points. It's strange that someone who posted an objection to the raising of an off topic subject would repeat the same wrong statement over and over on said subject. On the other hand, yes, in the usual metric topologies on the reals, every neighbourhood of a rational contains rationals.

 

[lethe]

you are saying that a countable set must consist of isolated points
I assume you mean a countable subset of the reals in the ordinary topology
the rationals are a countable set not consisting of isolated points

i think what measure you put on a space is independent of what topology you put on the space. so the topology is not relevant

 

[marcus]

Split between Ashtekar and Rovelli's approaches

Ashtekar and Lewandowski just posted a 125 page survey paper on Loop Quantum Gravity

"Background Independent Quantum Gravity"
http://arxiv.org/gr-qc/0404018


"extended diffeomorphisms" in Rovelli's sense of
finite exceptional set were nowhere mentioned.
Rovelli's book was not cited (the paper version is not
out yet, although a draft is online
and has been cited considerably by other authors)

the closest Ashtekar and Lewandowski come is on page
56, where they consider backing off C^\infty
to C^0
that is going from infinitely differentiable to continuous,
from diffeomorphisms to homeomorphisms

in paragraph (iii) of page 56 they briefly consider that
this would get the hilbert space to be separable
but mere continuous maps do "not even have a well-defined
action on the phase space"

for some reason it did not occur to A and L to consider maps
infinitely differentiable (together with the inverse) except at a finite set
or else they considered it and found it so little appealing that it
did not deserve comment. I find this fascinating.

It prompts me, because of my and other's high regard for Ashtekar,
to rethink the whole business about chunkymorphisms to see
what might be wrong with it!

On the other hand there is often a substantial lagtime in getting out long survey articles like this, so it might be that "extended diffeos" are so new
that they didnt yet show up on Ashtekar's radar. Hard to know what to think about this.

Would have expected the idea to show up in that paragraph (iii) of page 56

 

[marcus]

wisdom in Rovelli's emails to jeff

I was just reading over some of the posts in this thread and saw this exerpt of a post by jeff, with two emails from Carlo Rovelli. On reflection it seems to me the two emails have lessons for me and others here. Parts I want to think more about are bolded. Spelling errors fixed.
---------penultimate C.R. email to jeff, quote------
Jeff,
you are both extremely smart guys, and you both hate been found wrong
on anything.

In discussing science, we all make all sorts of mistakes. The best
scientists are the ones that do not focus on others' mistake, but
focus on the interesting things that others say. If you start telling
somebody: "you are wrong, you are wrong, you are wrong", the only
result is that he freezes and becomes aggressive. Never do that. You
lose a good opportunity to discuss, and the only advantage that you
get is a feeling of superiority that is useless and just makes the
others dislike you.

We all make mistakes. I do all the time. You posted the line:
"The idea of mappings having a property save possibly at isolated
points is an important idea that was introduced into functional
analysis long ago. Such functions are said to possesses such a property
"almost everywhere" which means everywhere except on a set of measure
zero.
A student writing this is an exam of mine would fail. This is badly
wrong. But there is no reason of shame of course. It is the sort of
mistakes we do all the time.

When I wrote in the forum that Marcus has good understanding, I was
not thinking about this in specific. I was thinking about the many
comments of him I have found here and there in the forum.

But in the text my Marcus you forwarded to me, there is nothing really
wrong. Maybe the tone is a bit over-enthusiastic. But technically
speaking, it is all correct. So, technically speaking, he was right.

But you were also right in saying: "well, wait a minute, this sort of
things are done in math, and tune down his enthusiasm". In doing
so, you made a small technical mistake, confusing "almost everywhere"
with "in a finite number of points". so, he focused in pointing out
your mistake and you focused in pointing out his exageration. this
leads nowhere. I insisted that I think that you were both right. I
myself told myself precisely those same sentences in thinking about
that. Namely "This is new and great", then "no, it is just like doing
almost everywhere, and then "but not really, because it is actually
different", and concluded "maybe it is new and interesting maybe not",
and "I wonder what is in the math literature on this group". This
were my thoughts, and this is precisely the exchange that you and
Marcus had.

I think this is really great. I suppose that both of you are
far younger and know physics and math far less than me, therefore if,
with less tools and less experience, you are capable of arguing so
correctly about a topic, this means that you must be very brilliant.

Why waste your brilliant mind in sterile polemics? find a way to
transform your exchanges in something useful for both of you.
collaboration and friendship brings you very far. competition and
desire to be the smarter one leads nowere and ruins your life.

If lee smolin and myself had started telling each other "you are
wrong", at every step, and trying to outsmart each other, there would
be no LGQ today. we ignored any tension and focused on being friend
and learn from each other. and we did good physics. you can do quite
good physics as well, if you want, with your intelligence. use it for
the best.

ciao
carlo
--------end quote--------

--------jeff's response, quote-------

Hi carlo,

You pointed out that I said that

> "The idea of mappings having a property save possibly at isolated
> points is an important idea that was introduced into functional
> analysis long ago. Such functions are said to possesses such a property
> "almost everywhere" which means everywhere except on a set of measure
> zero.
> A student writing this is an exam of mine would fail. This is badly
> wrong.
>you made a small technical mistake, confusing "alomost everywhere"
> with "in a finite number of points".

There's nothing in my posts that indicates I was unaware that sets of measure zero can contain more than just isolated points. That's why I pointedly avoided saying - and I actually made this point quite explicitly in my posts - that "almost smooth" functions are the only examples of functions that are smooth almost everywhere, which of course would be wrong, as you mention. However, you did define almost smooth functions to be smooth everywhere except for a finite number of isolated points, i.e., on a set of measure zero. In the books on real or functional analysis that I studied, functions that have a property everywhere except on a set of measure zero - which includes sets containing only a finite number of isolated points - are said to be smooth almost everywhere.

> But in the text my Marcus you forwarded to me, there is nothing really
> wrong. Maybe the tone is a bit over-enthusiastic. But technically
> speaking, it is all correct. So, technically speaking, he was right.

As you've seen, marcus stated without qualification or equivocation that it's simply wrong to think of diffeomorphisms as the gauge group of GR and that the almost smooth category is a heretofore unknown concept in mathematics. If you agree that whether advertising speculation as fact should be dismissed as over-enthusiasm depends on the situation - and I don't see why you wouldn't - then I really don't think it's fair to fault me as you have since it doesn't take much to get people at these online forums to take posts like marcus's at face value, and there's nobody at PF whose mislead other members as much as he has.

Marcus habitually freezes out and defames anyone who directly challenges him, especially on the subject of LGQ. I've tried many, many times to smooth things over with him and stop him from bullying people, but it's like he has no conscience or something.

Anyway, have no doubt that I appreciate very much your wasting time with me on this. I really am sorry about this whole damn thing.

Jeff.
------end quote--------

---------last email to jeff from C.R., quote----

Okay,
I understand. Fine. Sorry if it sounded too much against you.
I did not mean so. Take care and good luck for everything.
ciao
Carlo
--------end quote--------

I guess for me the thing that came out here was this:

"...In discussing science, we all make all sorts of mistakes. The best
scientists are the ones that do not focus on others' mistake, but
focus on the interesting things that others say. If you start telling
somebody..."

much of the rest is probably just Carlo being nice and diplomatic in the situation. but this part could be generally useful to reflect on.

 

[marcus]

In mathematics the question of whether some class of objects has already been studied some or whether it is virgin territory has a very practical significance

that has to do with low-hanging fruit.

if you happen onto something that hasnt been studied there are apt to be useful basic concepts to define and comparatively easy but useful theorems to prove about it.

It appears increasingly likely that chunkies have not been studied yet.

Nonunitary says they have not been---that they are new mathematical objects---which is one piece of evidence. Also Carlo Rovelli says that he and Winston Fairbairn conducted a search for math papers about homeomorphisms smooth except for a finite set and could not find any prior research. Also I have looked and I would imagine several other people have.

Moreover I posed the question here at PF on March 12 (are these things new, does anyone know of prior research on them?) and it has been almost a month now with no one coming up with anything.

There always could be something hiding out there, the mathematics literature is huge. Also 20th century mathematicians have made a habit, almost an obsessive ritual, of studying everything they could think of including any exceptions that seemed reasonable---for every reasonable choice of A and B they are likely to have already studied functions of type A except on an exceptional set of type B. Partly it is a way of finding a research topic, a new tree to pick.

But somehow they seem to have missed the case of C-infinity except on finite.

So there's low-hanging fruit.

And Fairbairn/Rovelli point to some of the kinds of theorems,
they indicate the kinds of things that could use rigorous definitions and
checking.

My guess is that a bunch of this is now in progress at Marseille and some other French universites. Absurd for it not to be. So we should, in time, see the appearance of some papers about "almost smooth homeomorphisms" or
whatever they decide to call them----chunkies in effect.

 

[marcus]

Marcus,
If I am correct, the invariants for knots with intersections (I don´t know how many of them) are called Vassiliev invariants, and have been studied by J. Pullin and R. Gambini, even in the context of spin networks.

Nonunitary

Early in this thread Nonunitary mentioned Vassiliev invariants. This paper has references to some earlier papers involving these.

http://arxiv.org/abs/hep-th/9505027
Topological BF Theories in 3 and 4 Dimensions
Aberto S. Cattaneo, Paolo Cotta-Ramusino, Juerg Froehlich, Maurizio Martellini
J.Math.Phys. 36 (1995) 6137-6160


This paper was cited by a recent one by Buffenoir, Henneaux, Noui, Roche
http://arxiv.org/gr-qc/0404041
Hamiltonian Analysis of Plebanski Theory

 

[marcus]

the abstract for the Cattaneo et al article is
"In this paper we discuss topological BF theories in 3 and 4 dimensions. Observables are associated to ordinary knots and links (in 3 dimensions) and to 2-knots (in 4 dimensions). The vacuum expectation values of such observables give a wide range of invariants. Here we consider mainly the 3 dimensional case, where these invariants include Alexander polynomials, HOMFLY polynomials and Kontsevich integrals."

the reference list of the Cattaneo article is dazzling
[1] M.F.Atiyah, R.Bott The Yang-Mills Equations over Riemann Surfaces--Phil. Trans. R. Soc. Lond. A (1982) 523-615
[2] D.Altschuler, L.Freidel On Universal Vassiliev Invariants--hep-th/9403053
[3] I.Ya.Aref'eva Non-abelian Stokes formula--Teor. Math. Fiz. 43 111-116
[4] A.Ashtekar, C.Rovelli, L.Smolin Weaving a Classical Geometry with Quantum Threads--Phys. Rev. Lett. 69 (1992) 237-240
[5] R.Ball, M.L.Mehta Sequence of Invariants for knots and Links J. Physique 42 (1981) 1103-1199
[6] D.Bar-Natan Perturbative aspects of the Chern-Simons Field theory--PhD Thesis, Princeton University (1991)
[7] D.Bar-Natan On Vassiliev's Knot Invariants--Topology (to appear)
[8] D.Birmingham, M.Blau, M.Rakowski, G.Thompson Topological Field theories, Phys. Rep. 209 (1991) p.129-340
[9] B. Bruegmann, On a geometric derivation of Witten's identity for Chern-Simons theory--preprint MPI-PH-93-107, hep-th/9401055.
[10] R.Bott, C.Taubes On the self-linking of knots--J. Math. Phys. 35 (1994) 5247-5287
[11] A.S.Cattaneo Teorie topologiche di tipo BF ed invarianti dei nodi--PhD Thesis, University of Milan (February 1995)
[12] R.Capovilla, T.Jacobson, J.Dell General relativity without the metric--Phys. Rev. Lett. 63 (1989) 2325-2328
[13] A.S.Cattaneo, P.Cotta-Ramusino, M.Martellini, Three-dimensional BF Theories and the Alexander-Conway Invariant of Knots--Nucl. Phys. B 436, 355-384
[14] A.S. Cattaneo, P.Cotta-Ramusino, A. Gamba, M.Martellini The Donaldson-Witten Invariants and Pure QCD with Order and Disorder 't Hooft-like Operators--Milan University preprint (1995) IFUM 493/FT, hep-th/9502110
[15] K.T.Chen Iterated Path Integrals--Bull. Am. Math. Soc. 83 (1977) 831-879
[16] P.Cotta-Ramusino, M.Martellini, BF-theories and 2-knots--in Knots and Quantum Gravity, J.Baez (ed.), Oxford University Press, Oxford, New York (1994) 169-189
[17] P.Cotta-Ramusino, E.Guadagnini, M.Martellini, M.Mintchev, Quantum Field theory and link invariants--Nucl. Phys. B330 p. 557-574 (1990)
[18] P.De La Harpe, M.Kervaire, C.Weber On the Jones Polynomials--L'Ens. Math. 32 (1986) 271-335
[19] J.Froehlich, C.King The Chern{Simons Theory and Knot-Polynomial--Comm. Math. 126 (1989) 167-199
[20] E.Guadagnini, M.Martellini, M.Mintchev, Chern{Simons model and new relations between the HOMFLY coefficients--Phys. Lett. B228, p. 489-494 (1989)
[21] P. Freyd, D. Yetter, J. Hoste, W.B.R. Lickorish, K.C. Millet, A. Ocneanu A new polynomial invariants of Knots and Links--Bull. Am. Math. Soc. 12 (1985) 239-246
[22] V.F.R. Jones A polynomial invariant for links via Von Neumann algebras--Bull. Am. Math. Soc. 12 (1985) 103-112
[23] L.H.Kauffman On Knots Princeton University Press (1987), Princeton N.J.
[24] L.H. Kauffman The Conway Polynomial--Topology 20 (1981) 101-108
[25] M.Kontsevich Vassil'ev Knot Invariants--Adv. Sov. Math. (1992) 16 137-150
[26] W.B.R. Lickorish, K.C. Millet A polynomial invariant of Oriented links--Topology 26, p.107-141 (1987)
[27] M.Rinaldi, private communication
[28] N.Reshetikhin, V.G.Turaev Invariants of 3-Manifolds via Link Polynomials and Quantum Groups--Invent. Math. 103 (1991) 547-598
[29] A.S. Schwarz The Partition Function of a degenerate quadratic functional and the Ray-Singer invariants--Lett. Math. Phys. 2 (1978) 247-252
[30] V.G.Turaev, O.Yu.Viro State Sum Invariants of 3-Manifolds and Quantum 6j-symbols--Topology 31 (1992) 865-902
[31] E.Witten Topological Quantum Field Theory--Comm. Math. Phys. 117 (1988) 353-386
[32] E.Witten Quantum Field Theory and the Jones polynomials--Comm. Math. Phys. 121 (1989) 351-399

 

[marcus]

... recent one by Buffenoir, Henneaux, Noui, Roche
http://arxiv.org/gr-qc/0404041
Hamiltonian Analysis of Plebanski Theory

Buffenoir, Roche, Noui have published some pretty interesting papers to date.
I am trying to understand what their new paper means
in terms of a general picture of quantum gravity

Roche is the co-organizer with Rovelli of the May 2004 Quantum Gravity conference at Marseille.

this paper does not say spin foam in the abstract but I would
think of it as about spin foam, and also knots.

this is a "through a glass darkly" post trying to identify the dim outlines of something

Fairbairn Rovelli emphasized that if you use chunkies then the pure quantum states of space boil down to a countable list of knot-states

(merely using diffeos leaves a lot of slag, or chaff, which they argue is spurious---not physically meaningful)

And Baez has called attention to the star-category idea---something that QM and GR have in common---and this highlights cobordisms

(because nCob and Hilb are both *-categories: that is categories with a
reciprocity pairing among the morphisms)

so if knots are important and cobordisms are important then perhaps 2-knots
are important (equivalence classes of spin foams, under what?)

and who is talking about 2-knots?
well Cattaneo et al, for some.

now Buffenoir et al (the Uni Monpellier people) bring us a new piece to the puzzle that says "hamiltonian plebanski" on it. Past experience of these people suggests that this piece may fit into the picture in an interesting way.

 

[marcus]

here is the start of Buffenoir et al's introduction:

---exerpt gr-qc/0404041----

Plebanski theory [1] is a 4-dimensional BF theory with an additional field which forces the B field to satisfy the simplicity constraint. It contains, as a particular sector, 4-dimensional pure gravity and is therefore an interesting field theory. The quantum properties of this field theory are, however, largely unknown.

One important line of study aims at discretizing this quantum field theory with the tools of lattice gauge field theory leading to spin-foam models.

Although spinfoam models have been the subject of numerous works over these last years (see the introduction [2] and the review [3]), central issues are not understood and the technical tools needed to address these central questions need still to be developed. In particular we had in mind two pressing questions when beginning this work:

-is it possible to compute from first principle the weight of the faces, edges and vertices in the spin foam model description of Plebanski theory?

-can we see the appearance of quantum groups in Plebanski theory with cosmological constant?

The following work is a study of the Hamiltonian description of Plebanski theory. In particular we want to address the following problems:

-computation of the Liouville measure in the path integral expressed in term of the original variables of Plebanski theory. This could be a first step for understanding how to fix the measure of spin foam models.

-computation of the Dirac bracket of all the fields once all second class constraints...

----end quote---

 

[marcus]

...so if knots are important and cobordisms are important then perhaps 2-knots
are important (equivalence classes of spin foams, under what?)

and who is talking about 2-knots?
well Cattaneo et al, for some.

just a brief exerpt from Cattaneo et al, the 1995 paper that Buffenoir et al cite:
----quote, pages 18,19----
As has been mentioned in Section III, the observables associated to a 4-dimensional BF theory must be associated to 2-dimensional surfaces Σ imbedded (or immersed) in the 4-manifold M.
...
...

BF theory in 4 dimensions should provide the right framework for invariants of 2-knots (embedded surfaces) or of singular 2-knots (generally immersed surfaces). Preliminary computations (see [16]) suggest that the expression of these invariants...

---end quote---
http://arxiv.org/hep-th/9505027

 

[marcus]

the main topic of this thread is chunkymorphisms
(homeomorphisms smooth in both directions except at a finite set)
and the LQG hilbert space

and the Fairbairn/Rovelli paper

There turns out to be some follow-up news. F/R posted a revised version of their paper, same arxiv number.
At the end they say that Lewandowski contacted them to tell them that he and Ashtekar had also been thinking along similar lines.

Judging from this second or third hand information, what F/R (in their revised paper) say that Lewandowski said,
it seems that Ashtekar and Lewandowski were also thinking about
chunkymorphisms and perhaps have a paper in the works about it.

maybe the idea has legs

 

[marcus]

Another new paper from Rovelli and others

Carlo Rovelli visited this thread earlier, see for example post #42 on page 2.

the thread initially got started around the Fairbairn/Rovelli paper that appeared this year

now Rovelli has a new paper out
http://arxiv.org/gr-qc/0406063
with Simone Speziale and Daniele Oriti.

I thought I'd mention it

BTW the paper cites some people whose work we've discussed in other PF threads
Jan Ambjorn, Etera Livine, Karim Noui,... to name a few

 

[Olias]

Carlo Rovelli visited this thread earlier, see for example post #42 on page 2.

the thread initially got started around the Fairbairn/Rovelli paper that appeared this year

now Rovelli has a new paper out
http://arxiv.org/gr-qc/0406063
with Simone Speziale and Daniele Oriti.

I thought I'd mention it

BTW the paper cites some people whose work we've discussed in other PF threads
Jan Ambjorn, Etera Livine, Karim Noui,... to name a few

Marcus, have you read this paper yet?..there are some really interesting insights taking foot, and Rovelli, Oriti and Speziale are redefining some pretty longstanding cosmological issue's, which I agree with totally.

 

[selfAdjoint]

It's really a fine piece of work. I am still working on the theory, but these are some exciting results. It's nice to see the Italian and German schools working together, too.

 

[marcus]

Marcus, have you read this paper yet?..there are some really interesting insights taking foot, and Rovelli, Oriti and Speziale...

I've made several unsuccessful attempts. don't have a good understanding
of the things this paper is based on, so i find it hard going

I assume you are referring to gr-qc/0404063 which was the link in your post. It would be great if someone would volunteer some explanation of that paper

 

[marcus]

Chunky makes it into Smolin's standard LQG treatment

chunkymorphisms seemed like a long-shot at the time
(which may explain a bit of their appeal to me)
but they just were included in the latest standard version LQG

smolin
"Invitation to LQG"
http://arxiv.org/hep-th/0408048

see footnote on page 9, citation to Rovelli Fairbairn

this "Invitation" is a bridge paper to physicists in other fields
with possible interest in LQG research----has FAQ and list of open
problems and prospective on observational testing

have to go, must finish this later