Does anyone have any ideas? Marcus, do you have?
There are some long-standing ideas for defining quantum fields on spin networks. As I recall, Rovelli reviewed them in his survey of LQG that he was invited to give at Strings 2008 at CERN.
You can get the slides PDF separately and check to see what he says, or watch the video.
I will find the links. I keep links like that in the "Introduction to LQG" thread.
Let me know if the links don't work. I think this is the most recent authoritative survey. I don't know that much has been done with QFT defined on spin networks---you may not find what Rovelli has to say about it all that satisfying. It amounts to putting extra labels on the edges of the spin network graph, and there may also be isolated vertices (univalent, met by only one edge). I apologize if my memory is wrong and Rovelli does not talk about putting matter into the picture. Let me know also in that case and i will hunt up another review.
Oh, there is always Rovelli's book. If you don't have it, the 2003 draft is free to read on line. It has a section on putting matter into Lqg.
On page 28 of the slides (14 of the pdf), he says matter fields can be achieved by braidings. I guess this is what Yidun Wan was trying to do, but where is he now Marcus ? Well, I thought he would be dead by now, but I found him on the participants' list:
No, let us try to report accurately. He does not say that matter fields can be achieved by braidings. He describes the usual way (not braiding) by a label on the spin network.
Then afterwards, as a footnote really, he mentions braiding with a question mark. As far as I know, Rovelli has never indicated any interest in the possibility to represent particles by braiding.
But, wouldn't adding new lebels like adding new loops? Would't that be redundant since it would be topological modification and so would yield braidings anyway?
I don't see the similarity.
I am not sugesting anything. I am just clueless to what you mean by adding labels. I took it you were adding more loops/edges per vertex. What is the meaning adding new labels then?
Please answer. I would really love to know.
Maybe the thing for you to do is to actually listen to Rovelli's survey talk to the String 2008 audience.
He writes down explicitly what is adding new labels to the network. Gives an example.
BTW I think you know that the LQG theory is not about loops. So it could confuse people when you ask "how to define QFT over loops".
The theory began back around 1990 being about loops (so it got its name), but that changed very quickly and one never sees loops discussed in LQG papers. The quantum state of the spatial geometry is given instead by a labeled network. The evolution of the network is given by a labeled foam. The strategy for defining QFT on states of geometry has normally been to add labels to the networks.
A good way to become acquainted with the basics of LQG is to look at the free online version of Rovelli's book. More detailed and less elementary than his talk to the String audience.
He talks about how to put matter fields into the LQG picture. I can find a Chapter reference for you, if you need one. It should be clear from the Table of Contents, but if you need help please ask.
Marcus, I take it loops are 1 dimensional topological manifolds, without internal space, which can be glued to others at its borders (the vertex). The intersection and the network link is where quantum states can be defined, because these are the unique topological quantities striclty preserved in so defined loops. What you are saying it is that Rovelli wants to give new labels to the vertexes? But this is weird, can you tell me any reasonable realization of that?
What I see more reasonable is to define is braidings by using 3 or more links between vertexes, that is, braids. This was succesfull enough to define feynmann diagrams: http://es.arxiv.org/abs/0809.4464
And not to forget, a few days ago, it was discovered that certain quantum states on a tetrahedrom had the quantum states similar to those of topological strings.
No! If you would simply just read the PDF page that you already referred to you would see that is not the case! Please please learn something about LQG if you want to talk about it.
His talk to the String theorists at their annual convention is like a kindergarten basic intro. It is radically simplified for them to understand. Just the basics. It would be good to watch the whole video as a kind of minimum introduction. Have you got half an hour?
Do not get mad at me. I just do not get the word "label". For instance, in the book you mentioned, there is not a single word "label" there. Try a PDF search.
Anyway, if you look at section 7.2.4, I don't understand why would that be any different from the definition I gave.
I opened my copy of Rovelli's book (Quantum Gravity) to page 19
In the half page following equation 1.11, I counted six occurrences of the word "label".
And an intuitive description of the significance of the labels on the network.
If you count the plural "labels" and the verb form "labeled" there must be hundreds of occurrences in the book, maybe thousands. Nothing is more basic than the labeled network, in describing LQG. So I am glad you had a look at Rovelli's book, I encourage you to read extensively and carefully! But I am astonished that you found no occurrence of that word in the book.
I am very happy that you had a look at section 7.2.4! I hope you will read the whole section 7.2, about implementing matter! If you think that the description of gravity+matter state in 7.2.4 is what you had in mind when you were posting, that's fine. Wonderful even.
It doesn't matter that, to me, it didn't sound like it.
That's why you are finding "label". In the pdf, there is no ocurance of that word anywhere! And I looked at the half page following eq. 1.11.
Look, my beef with such definitions of fields it is that at the scale of a link it is that you don't have the concept of scale to start with, because in this case, you should look at the contextuality, that is, how is the configuration of the network configure the probability of distribuition of the geometry and so of an emerging metric. Then, I think it is not possible to define an holonomy for fields, because it is not possible to say where something starts and ends at such scael.
MTd2: I think Marcus is resisting giving an explanation of this because it's too basic a question to really adequately explain in a comment thread? The word "label" does appear in the PDF, on the page labeled 14 that Marcus mentioned to begin with:
"Basis of H: abstract spin network states: graph labelled by spins and intertwiners."
The "labels" are simply part of the definition of a spin network. As I remember it the "label" is something like just some mathematical object that is "attached to" every edge of the graph. In Penrose's original proposal the objects are half-integers but I believe some LQG researchers attach other kind of data instead/also (?). Any document that explains the spin network definition will also explain the labels and what they're used for.
You seem to want to discuss these things in terms of loops rather than spinnets, I've never fully understood exactly how the spin network picture emerges from the wilson loop picture but I'm not sure you can just freely equivocate between the two pictures as you seem to in some of the comments here...
I took a 3 hours rest, and suddenly I found lots of "labels"!!!!!
Coin, I guess it is because in a wilson loop you label its path in terms of position, in the case of a loop, there is intermediary position to speak of, just the relative position of nodes. I guess the distance between nodes is a quantized quantity dependent on the spins that bounds the loop, pretty much like the energy of an electron in a hydrogen atom depends on the quatum numbers associated with orbital energy and angular momentum.
Excuse me if I jump in, your post was addressed to Coin, but I will add my response.
You show a sharp intuition here. The spin-network (which you can think of as composed of a possibly very large finite number of loops, if it helps you to picture it that way) is a minimal vehicle designed to carry the required quantum numbers of geometry and matter.
It is often said that the spin network is not located in space, rather the network of relationships is space. Or more accurately it is a geometry. The other fields "live" on the geometry.
So just at the moment (after your 3 hour nap) you seem by what you say to have a sharp intuition of what the basic LQG object, the spin network, is---its role as a minimal vehicle to carry the required information.
You are still calling networks "loops":rofl: which necessarily will confuse newcomers and give them the wrong picture, but desipite the eccentric terminology you personally seem to have in large part a correct picture (as far as I can tell, being myself an inexpert onlooker.)
Marcus, what about the non trivial topologies created by bradings? That should at least create particles.
Well, I am an observer, not a researcher. Braids are not part of mainstream Loop/Spinfoam LQG.
Rovelli and the dozen or so active young researchers around him have never shown any interest in that.
That doesnt mean its a wrong path, it is just separate. As an observer I of course watch the braids developments, especially the work of Wan Yidun (or Yi-dun Wan). I like his work very much.
BTW braids is so primitive it does not even have labels on the links, or on the nodes. All the information is contained in the braids. There are enormous problems in getting braid models to work. The different braids must be able to move thru the larger graph, and they must be able to interact---braid with braid to make another braid. And they must be able to survive intact amidst random network fluctuations which might untie or unbraid them.
It is much more complex than the simple work of Sundance Bilson-Thompson back in 2005 who pointed out a correspondence between simple braids and particles.
I like Yidun Wan because he is very patient and persistent. It will be a sign that braids are a dead-end if he gives up and moves to another field. As long as he keeps working there is (in my view of the picture) a possibility of success.
But the fact that braids doesnt have links it is not quite because it is primtive, but because one is interested that it can particle interactions through topological interactions. If you check the last paper of Yidun Wan, he labels the extremes of the borders of the braids so that he can define orientation in relation to a network.
Maybe what is missing in this picture it is that braidings should induce tree like patterns, besides emulating a feynmann diagram, so that would fit a huge scale. For example, braidings for a proton should have a network with ~(10^-18m/10^-34m)^3=~10^48 vertexes
BTW, is there a way to create and destroy links between vertex? Maybe you could superimpose links composing braids with those solely for the function of creating space. Or, that mean, a particle would just like be a hola-hola wave of extra links and delinks over the space.
Separate names with a comma.