Haggard Rovelli thermodynamics paper says what time is

[marcus]

"Quantum jump" is a somewhat misleading term because the transition is not instantaneous. We can assume that at any given temperature there is a characteristic length of time it takes for the system to make the transition to a distinct quantum state. A local observer's proper time is essentially counting time in terms of that characteristic interval.

As I would paraphrase the following passage: thermal time is essentially a universal version of time that reconciles and unifies all those different clocks running at different temperatures. That is what equation (4) on page 1 is saying:
τ = (kT/ħ) t
Here is the context.

==quote 1302.0724, page 1==
The core idea is to focus on histories rather than states. This is in line with the general idea that states at fixed time are not a convenient handle on general relativistic mechanics, where the notion of process, or history, turns out to be more useful [12]. Equilibrium in a stationary spacetime, namely the Tolman law, is our short-term objective, but our long-term aim is understanding equilibrium in a fully generally covariant context, where thermal energy can flow also to gravity [13–15], therefore we look for a general principle that retains its meaning also in the absence of a background spacetime.
We show in this paper that one can assign an information content to a history, and two systems are in equilibrium when their interacting histories have the same information content. In this case the net information flow vanishes, and this is a necessary condition for equilibrium. This generalized principle reduces to standard thermodynamics in the non-relativistic setting, but yields the correct relativistic generalization.
This result is based on a key observation: at temperature T, a system transits
τ = (kT/ħ) t
states in a (proper) time t, in a sense that is made precise below. The quantity τ was introduced in [13, 14] with different motivations, and called thermal time. Here we find the physical interpretation of this quantity: it is time measured in number of elementary “time steps”, where a step is the characteristic time taken to move to a distinguishable quantum state. Remarkably, this time step is universal at a given temperature. Our main result is that two systems are in equilibrium if during their interaction they cover the same number of time steps...
==endquote==

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics
Hal M. Haggard, Carlo Rovelli
(Submitted on 4 Feb 2013)
The zeroth principle of thermodynamics in the form "temperature is uniform at equilibrium" is notoriously violated in relativistic gravity. Temperature uniformity is often derived from the maximization of the total number of microstates of two interacting systems under energy exchanges. Here we discuss a generalized version of this derivation, based on informational notions, which remains valid in the general context. The result is based on the observation that the time taken by any system to move to a distinguishable (nearly orthogonal) quantum state is a universal quantity that depends solely on the temperature. At equilibrium the net information flow between two systems must vanish, and this happens when two systems transit the same number of distinguishable states in the course of their interaction.
5 pages, 2 figures

Notice that in the second paragraph of page 1 a distinction is made between two kinds of temperature--relativistic temperature labels the equivalence class of all systems which are in equilibrium with each other
( a kind of "zeroth law" temperature) and there is the temperature as measured by an ordinary thermometer.
This is a place where the paper may need further elucidation.

 

[Paulibus]

Rovelli's journey, now along with Haggard, continues to fascinate me (thanks Marcus), to whom it seems that they persuasively suggest: (1) that for many-component systems (not say atoms?)where temperature can be defined, time 'flows' in quantised steps of duration; (2) that the hotter the system, the smaller are the temporal steps ---time ticks the faster the hotter, as it were; and (3), perhaps most importantly, that one of our spacetime dimensions is quantised, which makes one wonder about the others.

Sadly, it seems that all this is way beyond the safety of experimental or observational confirmation. But one never knows!

 

[DimReg]

Notice that in the second paragraph of page 1 a distinction is made between two kinds of temperature--relativistic temperature labels the equivalence class of all systems which are in equilibrium with each other
( a kind of "zeroth law" temperature) and there is the temperature as measured by an ordinary thermometer.
This is a place where the paper may need further elucidation.

Isn't this saying that there is the equation for temperature (derived as an equivalence class of states in equilibrium) used in non general relativistic contexts, which relates energy and entropy. This is what's measured by an "ordinary thermometer". However, once you take general relativity into account, this same relation does NOT form an equivalence class (because of subtleties in defining energy), so that formula no longer satisfies the criterion we used to derive it (thus should be replaced). This paper tries to figure out what the appropriate equivalence class is for equilibrium in a general relativistic context, which is what he calls "relativistic temperature".

Because one definition is more naive than the other, they don't always agree, so not everything we use as a thermometer has the correct reading for temperature. Though it seems reasonable that they would sometimes agree.

 

[marcus]

Isn't this saying that there is the equation for temperature (derived as an equivalence class of states in equilibrium) used in non general relativistic contexts, which relates energy and entropy. This is what's measured by an "ordinary thermometer". However, once you take general relativity into account, this same relation does NOT form an equivalence class (because of subtleties in defining energy), so that formula no longer satisfies the criterion we used to derive it (thus should be replaced). This paper tries to figure out what the appropriate equivalence class is for equilibrium in a general relativistic context, which is what he calls "relativistic temperature".

Because one definition is more naive than the other, they don't always agree, so not everything we use as a thermometer has the correct reading for temperature. Though it seems reasonable that they would sometimes agree.

Thanks! I think that explains what I was wondering about. I'll dig into it a bit further and see if other comments and questions occur to me.

 

[Paulibus]

Let us now consider a system in thermal equilibrium
with a thermal bath at temperature T. Its mean energy
is going to be kT and the variance of the energy is also
going to be kT. Thus we have
E  kT. At a given
temperature T, consider the time step
to = ~ kT ................: (11)
According to the previous discussion, this is the average
time the system takes to move from a state to the next
(distinguishable) state. This average time step is there-
fore universal: it depends only on the temperature, and
not on the properties of the system.

Shouldn't they be saying something about the size of time steps near zero degrees Kelvin, and about zero-point energies? See also their definition of temperature, eqn. 14.

 

[Drakkith]

This seems like a "hot" new development!

 

[BandwagonNinja]

The Haggard and Rovelli use histories instead of states to make this result. Hartle recently wrote a paper about the history-based quantum theories which gives a good context for this paper.

The Quantum Mechanical Arrows of Time
James B. Hartle

http://arxiv.org/abs/1301.2844

 

[marcus]

Isn't this saying that there is the equation for temperature (derived as an equivalence class of states in equilibrium) used in non general relativistic contexts, which relates energy and entropy. This is what's measured by an "ordinary thermometer". However, once you take general relativity into account, this same relation does NOT form an equivalence class (because of subtleties in defining energy), so that formula no longer satisfies the criterion we used to derive it (thus should be replaced). This paper tries to figure out what the appropriate equivalence class is for equilibrium in a general relativistic context, which is what he calls "relativistic temperature"...

I like this way of summing it up. Also they connect their idea of temperature (as equilibrium classifier) with the passage of time in non-uniform gravity. They seem to get an intriguing match-up.

Shouldn't they be saying something about the size of time steps near zero degrees Kelvin, and about zero-point energies?

I think they are saying something, it is just implicit in equation (11) and the accompanying passage you quoted. As the temperature approaches zero, everything slows down---the time-step t_o goes to infinity. Here is equation (11) again, and accompanying text:
==quote==
t_o = ħ/kT

According to the previous discussion, this is the average
time the system takes to move from a state to the next
(distinguishable) state. This average time step is there-
fore universal: it depends only on the temperature, and
not on the properties of the system.
==endquote==

 

[Paulibus]

Implication is not the same as saying something! The duration of time, as quantified by counting steps that are transitions from one quantum state to another, in a thermodynamic system, is perhaps worth a little more 'unpacking' and discussion.

This thread was opened with the statement:

"Quantum jump" is a somewhat misleading term because the transition is not instantaneous. We can assume that at any given temperature there is a characteristic length of time it takes for the system to make the transition to a distinct quantum state. A local observer's proper time is essentially counting time in terms of that characteristic interval.

... which, I take it, is the step talked about in this paper, for transitions .

Consider also the case of a non-thermal system, say a single atom. Here transitions involve the emission/absorption of a photon, and a 'step' or 'quantum jump' is, for any observer of the process, just her/his proper time for a single photon oscillation. (For an observer traveling with the photon, as it were, the measured proper time for the step is infinite, as in the case of 'thermal time' at absolute zero.) Remember that for a single atom the emergent anthro'centric concept of temperature is meaningless. In this case the observed frequency of emitted/absorbed light then quantifies step-length.

It is just we slow-pokes who say that time passes and insist that we can distinguish colours of light.

 

[marcus]

Paulibus, I can't think of any way to add to or improve on your comment. It points to several interesting directions of discussion. I'll think more about this idea of temperature, equilibrium and time and hope that by evening something will have occurred to me to contribute.

 

[marcus]

DimReg explained the H-R idea in terms of "relativistic temperature" which is the same between processes in equilibrium---but I don't see this concept of relativistic temperature defined or used in the paper. However DimReg's explanation was very helpful and points us in the right direction. I want to reproduce it with slightly different words.

What they actually said is at the very bottom of page 4, the second to last paragraph of the Conclusions.

When things are at equilibrium what is the same is not the temperature, but the product of temperature and proper time. This should be the criterion, not temperature alone.

This is actually a very simple idea and one can understand it with an example:
Suppose upstairs and downstairs are at equilibrium. Then we know that proper time clocks run a little slower downstairs. Time goes slower deeper in a gravity well. But also, by the Tolman effect we know that the temperature downstairs is higher.

So chemical processes run faster because of higher temperature. The proper time SECOND is longer downstairs, but more stuff happens in a second because of higher temperature.

So there is an equilibrium of INFORMATION FLOW up and down. If the number of possible states up and down are equal, and downstairs is keeping the upstairs posted on all the changes it is experiencing, and vice versa, then there is a balance in the number of bits of information. This is said very imprecisely and it would need side conditions and additional clarification to make it meaningful, but that is the idea, I think. Information equilibrium.

The bottom paragraph of the lefthand column on page 4, with its two clocks example may be clearer than what I just said.

 

[Paulibus]

Marcus; your latest post confuses me a bit. Literally!

Your clever version of the popular TV soap, Upstairs, Downstairs is nicely scripted.

But: "Then we know that proper time clocks run a little slower downstairs. Time goes slower deeper in a gravity well ". Not as measured by an observer located where the clock is situated, though. Physics is covariant. So as much stuff ruled by covariant physics happens in a downstairs proper second as in an upstairs proper second, or so it seems to me. When you added: " The proper time SECOND is longer downstairs, but more stuff happens in a second because of higher temperature" I think your first phrase may be wrong, unless you meant to involve another version of time, possibly thermal time? Or does the stipulation about number of possible states up and down being equal constitute the US cavalry to the rescue?

But time is so tricky, and I'm a bit slow. Could you clarify who is doing the observing in this scenario, and with what kind of time, please?

 

[DimReg]

DimReg explained the H-R idea in terms of "relativistic temperature" which is the same between processes in equilibrium---but I don't see this concept of relativistic temperature defined or used in the paper. However DimReg's explanation was very helpful and points us in the right direction. I want to reproduce it with slightly different words.

What they actually said is at the very bottom of page 4, the second to last paragraph of the Conclusions.

When things are at equilibrium what is the same is not the temperature, but the product of temperature and proper time. This should be the criterion, not temperature alone.

This is actually a very simple idea and one can understand it with an example:
Suppose upstairs and downstairs are at equilibrium. Then we know that proper time clocks run a little slower downstairs. Time goes slower deeper in a gravity well. But also, by the Tolman effect we know that the temperature downstairs is higher.

So chemical processes run faster because of higher temperature. The proper time SECOND is longer downstairs, but more stuff happens in a second because of higher temperature.

So there is an equilibrium of INFORMATION FLOW up and down. If the number of possible states up and down are equal, and downstairs is keeping the upstairs posted on all the changes it is experiencing, and vice versa, then there is a balance in the number of bits of information. This is said very imprecisely and it would need side conditions and additional clarification to make it meaningful, but that is the idea, I think. Information equilibrium.

The bottom paragraph of the lefthand column on page 4, with its two clocks example may be clearer than what I just said.

This is a more explicit version of what I meant (you state what the new derived equivalence class is).

 

[marcus]

... Could you clarify who is doing the observing in this scenario, and with what kind of time, please?

Here are some of my thoughts on it. I think I'm saying about the same thing as DimReg, but he might want to correct me on some of this. It will not sound at first as if I am answering your question but I'll get around to it.

I think basic to thermodynamics is the idea of controlled contact and from this we get a primitive "pre-quantitative" idea of time as simply the interval when two systems are in contact, when they are interacting. They can be measuring time differently with different numbers but there is an unambiguous interval when the door or window is open between them.

Controlled contact is basic to thermo because you want to be able to consider a system in isolation, when it is not in contact with environment. And you want to be able to put two systems together and talk about the flow of heat or of information between them.

I think H&R are addressing a basic straightforward problem which is how do you talk about equilibrium in the general covariant setting. In the non relativistic setting you would associate equilibrium with being at the same temperature (during the interval of contact there is zero net heat flow, doesn't that mean same temperature?)

But that doesn't work in curved space-time. You put two systems together and the temperature will never equalize if one is lower than the other! Downstairs always stays warmer! So what is it that does not flow when you briefly open the hatch between them?

The downstairs clock runs slower so it measures the contact interval as having fewer seconds, but downstairs is warmer so more happens in a second.

The upstairs clock runs faster so it measures the contact interval has having more seconds but the people up there are more chilly and reserved so less happens in a second.

If there is equilibrium, I think H&R are saying, the "quantity of activity" during the contact interval is the same. Because of that trade-off. So if they are communicating thru the hatch there will be no net flow of information.

This is a curious and tentative thought. Your asking questions helps me a lot. I think I see some questions that need to be asked. However I will wait and see if you have some in response to what I just said.

(What is the same is the local temperature multiplied by the local proper time measure of the contact interval.
Actually this has a name, it is the thermal time measure of the contact interval, that they call tau.)

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics
Hal M. Haggard, Carlo Rovelli
(Submitted on 4 Feb 2013)

 

[Paulibus]

I understand your upstairs/downstairs model better now. Thanks, Marcus, for the clarification. Perhaps it helps to think of your ‘amount of activity’, upstairs or downstairs, as say 1/(the frequency of maximum-intensity local black body radiation). Which is an nice equilibrium thermal number itself, quite conWieniently proportional to temperature.

Of course we do actually live in a kind of upstairs/downstairs universe. We’re up?stairs and the remote universe is down?stairs, exchanging with us red-shifted information, through a hatch, as it were. Perhaps expansion is just gravity’s way of trying, (but failing?) to maintain covariant thermal equilibrium (or a Steady-State, as some might call it) over a big, previously hot spacetime.

 

[Prathyush]

I read parts of the paper, and I find equation 11 weakly motivated. without adequate motivation the whole theory quickly falls apart. I wonder if anyone has something to say about it.

 

[marcus]

I read parts of the paper, and I find equation 11 weakly motivated. without adequate motivation the whole theory quickly falls apart. I wonder if anyone has something to say about it.

Hi Pratyush, I'm glad to hear from you! Equation (11) is simply equation (7) with ΔE identified as kT.
So I think you must find equation (7) weakly motivated.

Could you discuss a little why you find it so?

I can't claim expertise but I thought the derivation of (7) looked rather straightforward---a Taylor expansion and an inspection of the second derivative term.

Did you look at footnote 2 on page 3, this is where the argument is generalized to systems with many degrees of freedom. I did not go through every step but only glanced at it.

I would be interested to know in a little more detail what you find dubious about equation (7), or about its consequent equation (11). Could you spell it out a little more for me?

 

[Prathyush]

Equation 7 essentially follows from Schrodinger's equation(please correct me on this if i am wrong), though i haven't verified the algebra it, seems to be correct.

Equation 11 he introduces temperature and uses ΔE=kT. This is what I find to be strange.

What is the logic behind this? The original ΔE is to do with energy eigenstates of the Hamiltonian under consideration.

He asserts that variance is kT, firstly this need not be true for all systems. the general expression will depend on the specific Hamiltonian under consideration.
Secondly assuming that the variance is kT, how can you associate this variance with ΔE in equation 7 that deals with energy eigenstates of the Hamiltonian.

It is possible that I did not understand the authors intentions, in the derivation of equation 11. But I think it needs further explanation.

 

[marcus]

Thanks! This gives me something to focus on and think about. Maybe the identification of ΔE with kT is shaky. It seemed solid to me, but I will have another look. (Tomorrow when I wake up, it's bedtime here )

For readers new to the thread, here's the paper being discussed:

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics
Hal M. Haggard, Carlo Rovelli
(Submitted on 4 Feb 2013)
The zeroth principle of thermodynamics in the form "temperature is uniform at equilibrium" is notoriously violated in relativistic gravity. Temperature uniformity is often derived from the maximization of the total number of microstates of two interacting systems under energy exchanges. Here we discuss a generalized version of this derivation, based on informational notions, which remains valid in the general context. The result is based on the observation that the time taken by any system to move to a distinguishable (nearly orthogonal) quantum state is a universal quantity that depends solely on the temperature. At equilibrium the net information flow between two systems must vanish, and this happens when two systems transit the same number of distinguishable states in the course of their interaction.
5 pages, 2 figures

 

[DimReg]

I read parts of the paper, and I find equation 11 weakly motivated. without adequate motivation the whole theory quickly falls apart. I wonder if anyone has something to say about it.

Take ΔEΔt ≈ hbar. It's just the Heisenberg uncertainty principle for energy time. Compare it to equation 7, and note that in the paragraph above equation 11 ΔE is derived to be ≈ kT.

Edit: it looks like Marcus already responded before I got here. oops

 

[dx]

For readers new to the thread, here's the paper being discussed:

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics
Hal M. Haggard, Carlo Rovelli
(Submitted on 4 Feb 2013)

Interesting. It seems likely that the universal time scale h/kT associated with a temperature T has some significance.

 

[Paulibus]

DX: Yes, for me it is interesting. See my post #9, where I wrote

...Consider also the case of a non-thermal system, say a single atom. Here transitions involve the emission/absorption of a photon, and a 'step' or 'quantum jump' is, for any observer of the process, just her/his proper time for a single photon oscillation.

Just substitute for kT, the change in energy for the step or quantum jump, and the relation step energy-change = h times the frequency of the emitted photon gives the result I've emphasized in the above quote. I thought this was interesting.

The 'universal time scale' you mention is a scale where time is counted in steps of (photon frequency)^-1, at least for single atoms.

 

[fzero]

Thanks! This gives me something to focus on and think about. Maybe the identification of ΔE with kT is shaky. It seemed solid to me, but I will have another look.

It might be interesting to look at a degenerate Fermi gas (i.e., when kT \ll E_F, the Fermi energy). Then the average internal energy is

E \equiv \frac{U}{N} \sim \frac{3 E_F}{5} \left[ 1 + \frac{5}{12} \left( \frac{\pi k T}{E_F}\right)^2 \right].

This contains the leading order correction in an expansion in kT/E_F (see, for example, eq (8.30) of http://www.physics.udel.edu/~glyde/PHYS813/Lectures/chapter_8.pdf). We can compute the variance in the energy using (\beta = 1/(kT))

(\Delta U)^2 = - \frac{\partial U}{\partial \beta},

so that

\Delta E \sim \pi \sqrt{ \frac{(kT)^3}{2E_F}}.

This is very different from \sim kT, because the leading term in the energy was independent of the temperature. There is obviously some issue with the proposed "universal time step" when you apply it to the simplest fermionic system.

 

[marcus]

Interesting, a system where ΔE ~ T^1.5 instead of the more typical ΔE ~ T¹ As a reminder for anyone reading the thread, here's the paper being discussed:

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics
Hal M. Haggard, Carlo Rovelli
(Submitted on 4 Feb 2013)
The zeroth principle of thermodynamics in the form "temperature is uniform at equilibrium" is notoriously violated in relativistic gravity. Temperature uniformity is often derived from the maximization of the total number of microstates of two interacting systems under energy exchanges. Here we discuss a generalized version of this derivation, based on informational notions, which remains valid in the general context. The result is based on the observation that the time taken by any system to move to a distinguishable (nearly orthogonal) quantum state is a universal quantity that depends solely on the temperature. At equilibrium the net information flow between two systems must vanish, and this happens when two systems transit the same number of distinguishable states in the course of their interaction.
5 pages, 2 figures
=======================

One thing to note about this topic is that the overall aim is to develop general covariant thermodynamics (among other things, invariant under change of coordinates) so that "state" at a particular time may be the wrong approach to defining equilibrium. One may need to define equilibrium between processes or histories rather than between states.

Defining a state at a particular time appears to break general covariance, at least at first sight. There may be some way to get around this. But in any case one of the first things one needs to do is generalize the idea of equilibrium to a general covariant setup, where you put two processes in contact. Equilibrium corresponds to no net flow (of something: heat, information...) between the two.

I've been absorbed with other matters for the past few days, but this paper is intriguing and I want to get back to it. So maybe we can gradually get refocused on it.

 

[marcus]

All the paper does, in a certain sense, is motivate and propose a general covariant idea of equilibrium. The non-relativistic examples and discussion leading up to section IV are heuristic.
==quote==
IV. EQUILIBRIUM BETWEEN HISTORIES
Let us come to the notion of equilibrium. Consider two systems, System 1 and System 2, that are in interaction during a certain interval. This interaction can be quite general but should allow the exchange of energy between the two systems. During the interaction interval the first system transits N₁ states, and the second N₂, in the sense illustrated above. Since an interaction channel is open, each system has access to the information about the states the other has transited through the physical exchanges of the interaction.
The notion of information used here is purely physical, with no relation to semantics, meaning, significance, consciousness, records, storage, or mental, cognitive, idealistic or subjectivistic ideas. Information is simply a measure of a number of states, as is defined in the classic text by Shannon [17].
System 2 has access to an amount of information I₁ = logN₁ about System 1, and System 1 has access to an amount of information I₂ = log N₂ about System 2. Let us define the net flow of information in the course of the interaction as δI = I₂ − I₁. Equilibrium is by definition invariant under time reversal, and therefore any flow must vanish. It is therefore interesting to postulate that also the information flow δI vanishes at equilibrium. Let us do so, and study the consequences of this assumption. That is, we consider the possibility of taking the vanishing of the information flow
δI = 0 (15)
as a general condition for equilibrium, generalizing the maximization of the number of microstates of the non-relativistic formalism.³
==endquote==

You can see that the paper is still in a heuristic mode because in thinking about information we fall back on the idea of state. I expect that a mathematically rigorous treatment of the same subject might employ Tomita time. What is being set out here is an intuitive basis---how to think about equilibrium in general covariant context. But I could be wrong and the idea of state could be rigorously defined at this point.

==quote from Conclusions==
VI. CONCLUSIONS
We have suggested a generalized statistical principle for equilibrium in statistical mechanics. We expect that this will be of use going towards a genuine foundation for general covariant statistical mechanics.
The principle is formulated in terms of histories rather than states and expressed in terms of information. It reads: Two histories are in equilibrium if the net information flow between them vanishes, namely if they transit the same number of states during the interaction period.
This is equivalent to saying that the thermal time τ elapsed for the two systems is the same,..
==endquote==

That, I think, is the key statement of the paper. However you think about it, whatever your intuitive grasp, a DEFINITION of gen. cov. equilibrium is being proposed.
Two processes or histories are in equilibrium if during an interval of contact the thermal time elapsed in each is the same.

 

[Drakkith]

Marcus, any chance you could explain this to me?

The zeroth principle of thermodynamics in the form "temperature is uniform at equilibrium" is notoriously violated in relativistic gravity.

 

[marcus]

Marcus, any chance you could explain this to me?

Well there was a guy at Caltech, named Richard Tolman, who wrote a book (published 1934) about General Relativity.
http://en.wikipedia.org/wiki/Richard_C._Tolman
He found that in curved spacetime a column of material at equilibrium would be at different temperature. It was a very slight effect. Temperature was naturally higher when you were lower down in a gravitational field.

If you ignore GR, and the Tolman Effect, then temperature is a good indicator of equilibrium. Two systems are in equilibrium if they are the same temperature. ("Zeroth Law") Put them in contact and there is no net flow of heat between.

But if you take account of GR, and the Tolman Effect, then that is not true. Upstairs and downstairs can be in contact and have come into equilibrium, but downstairs is a tiny bit higher temperature. So ever since 1930s it has been known that the Zeroth Law notoriously fails if you allow for GR.

EDIT: I didn't know the name of the book, so looked it up:
Relativity, Thermodynamics, and Cosmology. Oxford: Clarendon Press. 1934.

 

[Drakkith]

Ah, that does seem like a tiny problem. Thanks!

 

[Paulibus]

I'm looking for a really simple way to consider covariant thermal equilibrium, and have got to wondering whether the information exchange by two observers in black-body cavities, differently situated in a spacetime pervaded by gravity, couldn't be quantified by simply counting the black-body photons each observer receives from the other, through small windows.

Perhaps equilibrium could be judged to prevail when each observer finds the locally measured flux of black-body photons coming from the other to be the same? Such measured flux depends on measured space dimensions and on measured time intervals which, for Tomita or thermal time, seem to me to be a count of time-steps of size (reciprocal of measured photon frequency).

Since both perceived space dimensions and perceived time step-lengths vary over gravity-pervaded spacetime, could this provide a covariant procedure?

 

[marcus]

That sounds like a way to prove the Tolman effect! Have an upstairs and a downstairs cavity. And a small hole connecting the two. Thermal radiation from upstairs would gain energy (be blueshifted ) by falling into the downstairs cavity. The observer downstairs would think that he was getting the same inflow as he was losing as an outflow.

the two observers would think they were in equilibrium, although they would actually be in slightly different temperatures.

I've never bothered to look up how Richard Tolman proved that effect. I'm lazy I guess and tend to just wait for the next paper rather than looking ahead--I expect other people to do the work

but actually what you are talking about does sound like ingredients for a math proof of the Tolman effect.

BTW one way people have of talking about the Tolman effect is to say "Energy weighs." I'm not sure if that is a good way to think about it, or if it helps much, but I've seen the phrase used. Maybe there's some intuition in it.
Getting late here, so I'd better be off to bed.

 

[marcus]

I've been reviewing the Haggard Rovelli "Zeroth Law" paper, and now see it as a truly basic one.

I think it provides the conceptual framework for how general covariant statistical mechanics will be done.
Notice that because the idea of the "state of a system a given time" is not a covariant notion, we shift our focus from instantaneous state to protracted process.

"The core idea is to focus on histories rather than states.

Two systems placed in contact are described as two histories joined for a given interaction period.

In this conceptual framework, the paper shows how natural ideas of time, temperature, and equilibrium arise in a generally covariant way.

As an example, the authors give an elementary derivation of Wien's displacement law. (Section 5, page 4).

Thermal time turns out to be connected to the Heisenberg uncertainty principle, which thereby acquires new concrete meaning. See page 3, right before equation (14):
"In a sense it is 'time counted in natural elementary steps', which exist because the Heisenberg principle implies an effective granularity of the phase space."

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics
Hal M. Haggard, Carlo Rovelli
(Submitted on 4 Feb 2013)
The zeroth principle of thermodynamics in the form "temperature is uniform at equilibrium" is notoriously violated in relativistic gravity. Temperature uniformity is often derived from the maximization of the total number of microstates of two interacting systems under energy exchanges. Here we discuss a generalized version of this derivation, based on informational notions, which remains valid in the general context. The result is based on the observation that the time taken by any system to move to a distinguishable (nearly orthogonal) quantum state is a universal quantity that depends solely on the temperature. At equilibrium the net information flow between two systems must vanish, and this happens when two systems transit the same number of distinguishable states in the course of their interaction.
5 pages, 2 figures

As it happened this paper did quite well on our first quarter MIP poll (over a quarter of us voted for it).

 

[marcus]

There has been some followup to this paper, and some related work has appeared. I'll try to bring the references up to date.
http://arxiv.org/abs/1306.5206
The boundary is mixed
Eugenio Bianchi, Hal M. Haggard, Carlo Rovelli
(Submitted on 21 Jun 2013)
We show that Oeckl's boundary formalism incorporates quantum statistical mechanics naturally, and we formulate general-covariant quantum statistical mechanics in this language. We illustrate the formalism by showing how it accounts for the Unruh effect. We observe that the distinction between pure and mixed states weakens in the general covariant context, and surmise that local gravitational processes are indivisibly statistical with no possible quantal versus probabilistic distinction.
8 pages, 2 figures

As far as I can see this clinches the choice of formalism. The problem of quantum gravity is that of finding a general covariant QFT describing the behavior of geometry. And we know that GR has a deep relation to statistical mechanics. Ultimately that means quantum statistical mechanics or QSM
So the goal involves finding a single general covariant formalism for both covariant QFT and QSM.

In a general covariant setting there is no preferred time, so time-flow will probably need to arise Tomita-style from the quantum descriptor of the process enclosed in the boundary---that is by an element (or mix of elements) of the boundary Hilbertspace.

 

[marcus]

There is (what I believe is) a very interesting related development by Laurent Freidel. Together with students/collaborators such as Ziprick and Yokokura. Freidel uses the term "screen" for the boundary of a spacetime region containing a process. He also calls it a "time-like world-tube".

Freidel makes the telling distinction between a truncation (e.g. a finite dimensional Fock space) and an approximation (the sort of thing one might expect to have a continuum limit.)

At the same time he is proposing a new kind of truncation for geometry: a continuous cell-decompostion into spiral-edge cells with flat interior. See the first talk of http://pirsa.org/13070057 , by Ziprick. This seems a substantial improvement over previous cellular decompositions used in QG, and generalizes Regge action. The edges of the spatial cell do not HAVE to be helical, they can be straight, but they are allowed to corkscrew or roll a little if they need to.

Freidel's talk is the first one of http://pirsa.org/13070042. You might, as I did, find some of the concepts unfamiliar and difficult to grasp, but nevertheless could find it worth watching (perhaps more than once.) He insists on concentrating the physics in the boundary as much as possible (surface tension, entropy production, internal energy, relaxation to equilibrium...everything is happening in boundary, or as he says "screen"). BTW the boundary can have several topological components and usual ideas of inside/outside can be reversed. The observer can be surrounded by process, looking out from his own world-tube.

One reason the video talks, and the slides PDF, are valuable is because in many cases more pictorial. E.g. Ziprick shows a sample picture of a spiral-edge cell.

 

[marcus]

We are seeing a paradigm take shape, I think. Made of separately familiar ideas in a possibly new configuration.
A process has a boundary (Oeckl gives the axiomatics).
A boundary is an interface for information flow---one could say a "channel". Freidel says "screen".
Two adjoining processes are in equilibrium if the net information flow is zero during their interface contact.

This is kind of interesting. During their contact the two processes could be experiencing different rate of TIME and different subjective TEMPERATURE but if they are in equilibrium the effects somehow balance out. They each see the other going through the same number of changes, the same number of phasespace cells.

The quantum descriptor of a process lives in a Hilbertspace defined on the BOUNDARY of the process. I will refrain from calling the descriptor a "state" because that has the usual connotation of a "state at a given instant of time". There is no time: no objective time external to the process which can be referenced independently of the process descriptor.

The boundary Hilbertspace vectors describe accessible initial-during-final information about the process.
If it is a deep-rooted unalterable habit to call certain elements of a Hilbertspace by the name of "states" then you should, but I am calling them "descriptors" of the process interfaced by the boundary mainly just to teach myself to think differently, namely in process or history terms.

One can ask the amplitude of a given description on the process boundary. It is a general covariant version of "transition amplitude", and the theory should give this.

One can ask about the time-flow subjective to the process, as described by a given element or mix of elements in the boundary Hilbertspace.

Tomita told us how to get an idea of "time" from such a descriptor, that is a flow on the observable algebra, or a one-parameter group of automorphisms.

That's kind of interesting. Still lots of gaps and questions in the paradigm. I understand only a tiny percentage of it. In Oeckl's talk he said that if you want to include FERMIONIC information in the boundary Hilbertspace the you have to generalize the Hilbertspace to have a negative definite as well as a positive definite piece. A "Krein" space is the direct sum of an ordinary (pos) Hilbert and a kind of inverted (neg) Hilbert. Strange, if true. If it is true, then can one carry through with the Tomita construction? I'm totally in the dark about this. Which is why it's interesting. Apparently there was a Mr. Krein who lived in the Ukraine, someone who will be famous if Oeckl has his way. Google it if you like.

So there is a kind of reading list (or "watching list") to lay out

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics

http://arxiv.org/abs/1306.5206
The boundary is mixed

Chirco's lead talk on http://pirsa.org/13070085

Freidel's lead talk on http://pirsa.org/13070042

Oeckl's lead talk on http://pirsa.org/13070084

Ziprick's lead talk on http://pirsa.org/13070057.

It surprised me to find that all four talks I wanted to cite were the first on their respective session recordings. That's lucky because it makes it easier to start watching. You don't have to wait for buffering before you drag to the desired segment. You just click on the link, select flash, and it starts.

Goffredo Chirco is a postdoc at Marseille who is interested in general covariant QSM (quantum stat. mech.). In a way I am repeating, in this post, the viewpoint presented in his talk. The adoption of Oeckl boundary formalism aims at getting both QFT and QSM in the same general covariant setup. Freidel's current work on "screens" seems to me like parallel evolution (which has turned up some very interesting new things).

Repeating some comment: It may be shallow of me but I like Freidel's distinction between a truncation (e.g. a finite dimensional Fock space) and an approximation (the sort of thing one might expect to have a continuum limit.) One can ask about the conditional amplitude of something on the condition that there are N particles. One does not have to take the direct sum of all the Fock spaces for every N.
Also even though it's risky to adopt something this novel, Freidel's radically new truncation for geometry appeals to me. It is a continuous cell-decompostion into spiral-edge cells, each with flat interior. The edges of the spatial cell do not HAVE to be helical, they can be straight, but they are allowed to corkscrew or roll a little if they need to.
Loops 13 talks are an important resource to keep handy.http://pirsa.org/C13029
Here are abstracts of parallel session talks: http://www.perimeterinstitute.ca/sites/perimeter-www.pi.local/files/conferences/attachments/Parallel%20Session%20Abstracts_7.pdf
Here are links to the parallel session talks:
https://www.physicsforums.com/showthread.php?p=4461021#post4461021

 

[marcus]

Since we've turned a page I'll bring forward the papers we are discussing in this thread. Please keep in mind that the topic is the idea of time that arises in these particular papers.
If someone has a different idea perhaps connected with some other research, they are welcome to start their own thread about it in the appropriate forum.

But in this thread let's please stay focused on what is presented here:

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics
Hal M. Haggard, Carlo Rovelli
(Submitted on 4 Feb 2013)
The zeroth principle of thermodynamics in the form "temperature is uniform at equilibrium" is notoriously violated in relativistic gravity. Temperature uniformity is often derived from the maximization of the total number of microstates of two interacting systems under energy exchanges. Here we discuss a generalized version of this derivation, based on informational notions, which remains valid in the general context. The result is based on the observation that the time taken by any system to move to a distinguishable (nearly orthogonal) quantum state is a universal quantity that depends solely on the temperature. At equilibrium the net information flow between two systems must vanish, and this happens when two systems transit the same number of distinguishable states in the course of their interaction.
5 pages, 2 figures

Thermal time turns out to be connected to the Heisenberg uncertainty principle, which thereby acquires new concrete meaning. See page 3, right before equation (14):
"In a sense it is 'time counted in natural elementary steps', which exist because the Heisenberg principle implies an effective granularity of the phase space."

http://arxiv.org/abs/1306.5206
The boundary is mixed
Eugenio Bianchi, Hal M. Haggard, Carlo Rovelli
(Submitted on 21 Jun 2013)
We show that Oeckl's boundary formalism incorporates quantum statistical mechanics naturally, and we formulate general-covariant quantum statistical mechanics in this language. We illustrate the formalism by showing how it accounts for the Unruh effect. We observe that the distinction between pure and mixed states weakens in the general covariant context, and surmise that local gravitational processes are indivisibly statistical with no possible quantal versus probabilistic distinction.
8 pages, 2 figures

To recall the essentials of what I said earlier, this seems to clinch the choice of formalism. The problem of quantum gravity is that of finding a general covariant QFT describing the behavior of geometry. And we know that GR has a deep relation to statistical mechanics. Ultimately that means quantum statistical mechanics or QSM
So the goal involves finding a single general covariant formalism for both covariant QFT and QSM.

In a general covariant setting there is no preferred time, so time-flow will probably need to arise Tomita-style from the quantum descriptor of the process enclosed in the boundary---that is by an element (or mix of elements) of the boundary Hilbertspace.

 

[marcus]

The statement in the Bianchi Haggard Rovelli abstract highlighted above
"...Oeckl's boundary formalism incorporates QSM naturally, and we formulate general-covariant QSM in this language."
makes it urgent to ask questions about Oeckl's formulation of quantum theory. He has recently come out with a radically different alternative version which requires fewer axioms. I gather it really is proposed as an optional alternative, not as a replacement. The earlier axioms are included in an appendix.

The new alternative version is apt to strike people as conceptually unfamiliar---it uses positive real numbers (a generalized notion of probability) in place of complex amplitudes (!) but promises to be able to recover conventional quantum mechanical results. Lucian Hardy is credited with having inspired this seemingly risky gambit. On the other hand this alternative Oeckl formulation is IMHO aesthetically appealing. It certainly is not the version being used by the Loop gravity authors but I don't want to ignore it.

http://arxiv.org/abs/1212.5571
A positive formalism for quantum theory in the general boundary formulation
Robert Oeckl (CCM-UNAM)
(Submitted on 21 Dec 2012)
We introduce a new "positive formalism" for encoding quantum theories in the general boundary formulation, somewhat analogous to the mixed state formalism of the standard formulation. This makes the probability interpretation more natural and elegant, eliminates operationally irrelevant structure and opens the general boundary formulation to quantum information theory.
28 pages

A recent exposition of the more familiar older form of Oeckl's formulation of quantum theory is here:
http://arxiv.org/abs/1201.1877
Schrödinger-Feynman quantization and composition of observables in general boundary quantum field theory
Robert Oeckl (UNAM)
(Submitted on 9 Jan 2012)
We show that the Feynman path integral together with the Schrödinger representation gives rise to a rigorous and functorial quantization scheme for linear and affine field theories. Since our target framework is the general boundary formulation, the class of field theories that can be quantized in this way includes theories without a metric spacetime background. We also show that this quantization scheme is equivalent to a holomorphic quantization scheme proposed earlier and based on geometric quantization. We proceed to include observables into the scheme, quantized also through the path integral. We show that the quantized observables satisfy the canonical commutation relations, a feature shared with other quantization schemes also discussed. However, in contrast to other schemes the presented quantization also satisfies a correspondence between the composition of classical observables through their product and the composition of their quantized counterparts through spacetime gluing. In the special case of quantum field theory in Minkowski space this reproduces the operationally correct composition of observables encoded in the time-ordered product. We show that the quantization scheme also generalizes other features of quantum field theory such as the generating function of the S-matrix.
47 pages

One slight inconsistency of terminology: in the more recent paper an infinitesimally thin region is called a "slice". What is now called a slice region was called an "empty region" in the earlier paper. This change is pointed out by the author. In any case confusion is unlikely to result. Overall the style is conveniently thorough and clear.

 

[marcus]

The last section ("thermality of gravitational states") of the Bianchi Haggard Rovelli paper begins with three fairly dense paragraphs that require study, in my case at least.
==quote June 2013 BHR paper section 6==
So far, gravity has played no direct role in our considerations. The construction above, however, is motivated by general relativity, because the boundary formalism is not needed as long as we deal with a quantum field theory on a fixed geometry, but becomes crucial in quantum gravity, where it allows us to circumvent the difficulties raised by diffeomorphism invariance in the quantum context.

In quantum gravity we can study probability amplitudes for local processes by associating boundary states to a finite portion of spacetime, and including the quantum dynamics of spacetime itself in the process. Therefore the boundary state includes the information about the geometry of the region itself.

The general structure of statistical mechanics of relativistic quantum geometry has been explored in [15], where equilibrium states are characterized as those whose Tomita flow is a Killing vector of the mean geometry. Up until now it hasn’t been possible to identify the statistical states in the general boundary formalism and so this strategy hasn’t been available in this more covariant context. With a boundary notion of statistical states this becomes possible. It becomes possible, in particular, to check if given boundary data allow for a mean geometry that interpolates them.
==endquote==
Reference [15] is to C. Rovelli, “General relativistic statistical mechanics,” arXiv:1209.0065. It seems my work is cut out for me, if I want to understand what's taking shape here. The crucial connection between the two papers makes use of the concept of a mean geometry.

 

[marcus]

http://arxiv.org/abs/1209.0065 was basically a *classical* paper, and moreover did not introduce the boundary formalism. In retrospect one can see how it set things up in preparation for the BHR paper discussed in this thread.

Here are some points listed in the conclusion of the September 2012 paper
==quote "General relativistic statistical mechanics" 1209.0065 ==
We have extended the machinery of statistical thermodynamics to the general covariant context. The new concepts with respect to conventional statistical mechanics are:

1. The statistical state is defined on the space of the solution of the field equation.

2. Each statistical state defines a preferred time flow, called thermal time.

3. A statistical state whose thermal time flow has a geometrical interpretation, in the sense that it can be reinterpreted as evolution with respect to a local internal time, defines a generalized Gibbs state, with properties similar to the conventional equilibrium states.

4. For such states, it is possible to define the relative global temperature between two states.

5. A mean geometry is a stationary classical geometry with a timelike killing field and a time foliation, such that the value of a suitable family of observables reproduces the statistical expectation values of these observables in the statistical ensemble.

6. If a mean geometry exists, a local temperature is defined. Local temperature is the ratio between proper time and thermal time on the mean geometry:
T(x)=([STRIKE]h[/STRIKE]/k)dτ/ds
It yields immediately the Tolman law.

This construction reduces to conventional thermodynamics for conventional Hamiltonian systems rewritten in a parametrized language.

Examples, extension of the formalism to the boundary formalism [44–46], which is the natural language for quantum field theory in the generally covariant context, and applications to horizon thermodynamics, and in particular to the local framework defined in [47] and the derivation of black hole entropy in loop quantum gravity in [42], will be considered elsewhere.
==endquote==

So this present development was planned-for and announced last September, almost a year ago. It seems one should have been able to anticipate it.

 

[Paulibus]

We are seeing a paradigm take shape, I think. Made of separately familiar
ideas in a possibly new configuration. A process has a boundary (Oeckl gives the axiomatics).
A boundary is an interface for information flow---one could say a "channel". Freidel says
"screen". Two adjoining processes are in equilibrium if the net information flow is zero during
their interface contact.

Perhaps it's possible to start to unpack this kind of paradigm in simple terms -- I'll try!

Think of yourself as a process -- a talking, walking, writing animal living in a changing and
evolving universe, filled with stuff that is always and everywhere ruled by physical laws. You
and lots of this stuff can be represented mathematically as localised collections of things with
bulk interiors and boundaries.

All this is subject to change that we try to describe by mathematically representing how
change happens across the represented dimensions of bulk and/or boundaries. Lots of
information is thereby locally generated and exchanged between various processes, perhaps
excepting fundamental entities like electrons.

Statistics is an appropriate tool for compressing information about collections of stuff. A
familiar example is the descriptor 'temperature' (T). This is an emergent, quantifiable
descriptor iff the focus is on collections of stuff that are busy interchanging energy among
their constituents. Examples: 1. T can be quantified in the case of quantum items, say atoms,
by the exponential way energy is distributed among energy levels or, 2. in the case of items
that exchange energy via photons, by the peak frequency of the ‘black-body’ radiation that
facilitates energy exchange. Such compression of information enables powerful laws to be
formulated, like the laws of thermodynamics, which apply to collections of interacting stuff.

The way descriptions are now developing seems to me (see your post #38 above) to be that
the descriptor T that quantifies our familiar words ‘hot’ and ‘cold’ is to be joined by a
statistical, emergent descriptor t that for an individually represented process quantifies time,
via the concept of Tomita time.

General relativistic statistical mechanics" 1209.0065 ==
We have extended the machinery of statistical thermodynamics to the general covariant
context. The new concepts with respect to conventional statistical mechanics are:

1. The statistical state is defined on the space of the solution of the field equation.

2. Each statistical state defines a preferred time flow, called thermal time.

3. A statistical state whose thermal time flow has a geometrical interpretation, in the sense
that it can be reinterpreted as evolution with respect to a local internal time, defines a
generalized Gibbs state, with properties similar to the conventional equilibrium states.

4. For such states, it is possible to define the relative global temperature between two states.

5. A mean geometry is a stationary classical geometry with a timelike killing field and a time
foliation, such that the value of a suitable family of observables reproduces the statistical
expectation values of these observables in the statistical ensemble.

6. If a mean geometry exists, a local temperature is defined. Local temperature is the ratio
between proper time and thermal time on the mean geometry:
T(x)=(h/k)dτt/ds
It yields immediately the Tolman law.

This construction reduces to conventional thermodynamics for conventional Hamiltonian
systems rewritten in a parametrized language.

Examples, extension of the formalism to the boundary formalism [44––46], which is the
natural language for quantum field theory in the generally covariant context, and applications
to horizon thermodynamics, and in particular to the local framework defined in [47] and the
derivation of black hole entropy in loop quantum gravity in [42], will be considered elsewhere.

On a lighter note, I’m reminded of:

Great fleas have little fleas upon their backs to bite 'em,
And little fleas have lesser fleas, and so ad infinitum.
And the great fleas themselves, in turn, have greater fleas to go on,
While these again have greater still, and greater still, and so on.

 

[marcus]

Hi Paulibus, great hearing from you. Your regular-language account seems right on target for the most. But it tells me I may have blundered by trying to substitute the word "descriptor" for what the experts are calling "state". Still undecided, and trying alternatives out.

The state is an overall PROFILE of a process which has/will happen(ed) in a compact 4D region.
OOPS I have to go, forgot about a time-critical errand my wife needs done this morning.
Back later. Anyway for the moment I will bring forward the post you were referencing.
I may have to resort to saying "state" even though to many ears it sounds like "state at a given instant of time". Here it means state that describes what we know or expect to find out about the process for its entire duration.This state lives in a Hilbert space of the possible states each of which gives a profile of the process for its entire duration. Specifying a state could involve making/planning a number of measurements and imposing side restrictions

We are seeing a paradigm take shape, I think. Made of separately familiar ideas in a possibly new configuration.
A process has a boundary (Oeckl gives the axiomatics).
A boundary is an interface for information flow---one could say a "channel". Freidel says "screen".
Two adjoining processes are in equilibrium if the net information flow is zero during their interface contact.

This is kind of interesting. During their contact the two processes could be experiencing different rate of TIME and different subjective TEMPERATURE but if they are in equilibrium the effects somehow balance out. They each see the other going through the same number of changes, the same number of phasespace cells.

The quantum [STRIKE]descriptor[/STRIKE] profile? of a process lives in a Hilbertspace defined on the BOUNDARY of the process. I will refrain from calling the [STRIKE]descriptor[/STRIKE] profile a "state" because that has the usual connotation of a "state at a given instant of time". There is no time: no objective time external to the process which can be referenced independently of the process [STRIKE]descriptor[/STRIKE] profile.

The boundary Hilbertspace vectors describe accessible initial-during-final information about the process.
If it is a deep-rooted unalterable habit to call certain elements of a Hilbertspace by the name of "states" then you should, but I am calling them "[STRIKE]descriptors[/STRIKE]profiles" of the process interfaced by the boundary mainly just to teach myself to think differently, namely in process or history terms.

One can ask the amplitude of a given description on the process boundary. It is a general covariant version of "transition amplitude", and the theory should give this.

One can ask about the time-flow subjective to the process, as described by a given element or mix of elements in the boundary Hilbertspace.

Tomita told us how to get an idea of "time" from such a [STRIKE]descriptor[/STRIKE] [oh hell I might as well give up and call it a state], that is a flow on the observable algebra, or a one-parameter group of automorphisms.

That's kind of interesting. Still lots of gaps and questions in the paradigm. I understand only a tiny percentage of it. In Oeckl's talk he said that if you want to include FERMIONIC information in the boundary Hilbertspace the you have to generalize the Hilbertspace to have a negative definite as well as a positive definite piece. A "Krein" space is the direct sum of an ordinary (pos) Hilbert and a kind of inverted (neg) Hilbert. Strange, if true. If it is true, then can one carry through with the Tomita construction? I'm totally in the dark about this. Which is why it's interesting. Apparently there was a Mr. Krein who lived in the Ukraine, someone who will be famous if Oeckl has his way. Google it if you like.

So there is a kind of reading list (or "watching list") to lay out

http://arxiv.org/abs/1302.0724
Death and resurrection of the zeroth principle of thermodynamics

http://arxiv.org/abs/1306.5206
The boundary is mixed

Chirco's lead talk on http://pirsa.org/13070085

Freidel's lead talk on http://pirsa.org/13070042

Oeckl's lead talk on http://pirsa.org/13070084

Ziprick's lead talk on http://pirsa.org/13070057.

It surprised me to find that all four talks I wanted to cite were the first on their respective session recordings. That's lucky because it makes it easier to start watching. You don't have to wait for buffering before you drag to the desired segment. You just click on the link, select flash, and it starts.

Goffredo Chirco is a postdoc at Marseille who is interested in general covariant QSM (quantum stat. mech.). In a way I am repeating, in this post, the viewpoint presented in his talk. The adoption of Oeckl boundary formalism aims at getting both QFT and QSM in the same general covariant setup. Freidel's current work on "screens" seems to me like parallel evolution (which has turned up some very interesting new things).

Repeating some comment: It may be shallow of me but I like Freidel's distinction between a truncation (e.g. a finite dimensional Fock space) and an approximation (the sort of thing one might expect to have a continuum limit.) One can ask about the conditional amplitude of something on the condition that there are N particles. One does not have to take the direct sum of all the Fock spaces for every N.
Also even though it's risky to adopt something this novel, Freidel's radically new truncation for geometry appeals to me. It is a continuous cell-decompostion into spiral-edge cells, each with flat interior. The edges of the spatial cell do not HAVE to be helical, they can be straight, but they are allowed to corkscrew or roll a little if they need to.
Loops 13 talks are an important resource to keep handy.http://pirsa.org/C13029
Here are abstracts of parallel session talks: http://www.perimeterinstitute.ca/sites/perimeter-www.pi.local/files/conferences/attachments/Parallel%20Session%20Abstracts_7.pdf
Here are links to the parallel session talks:
https://www.physicsforums.com/showthread.php?p=4461021#post4461021

 

[marcus]

This thread is now imperfectly titled because since its beginning I've noticed several other people active in this: Bianchi, Oeckl, Freidel, Ziprick, Chirco...

To summarize, I think I see a new approach taking shape to general covariant QFT and QSM (quantum statistical mechanics, with implications for thermodynamics as well)---an approach that is different from the familiar Dirac "Hamiltonian constraint" scheme where the Hamiltonian has to be identically equal to zero.

I could be wrong--a significant new approach to replace "Dirac canonical" might NOT be taking shape. Or a new approach (based on the boundary formalism) might be taking shape but destined to FAIL because of some as-yet-unrecognized irremediable FLAW. It's a suspenseful time. We have to wait and see.

But right now this revolution-like development seems to make sense and to be gaining momentum.
More people seem to be getting involved as time goes on, and it's fun to watch.

 

[marcus]

BTW it's worth noting the two radically different uses of the word "lattice". check this out:
http://en.wikipedia.org/wiki/Lattice_(order )

A partial ordered set in which any two elements have a "join" and a "meet". The subspaces of a Hilbert space form a lattice. The "meet" of two subspaces is their intersection (which is itself a subspace). The "join" of two subspaces is the unique smallest subspace containing their union. In this case it is the span of the two.

In a Hilbertspace there is a natural idea of the projection operator onto a given subspace. Corresponding to the lattice of subspaces there is a lattice of projection operators.

I mention this because in some areas of physics the word "lattice" refers to something completely different---a kind of regular GRID or cellular skeleton. Confusion might result.

In Oeckl's positive boundary formalism (I'll abbreviate it PBF) the lattice of projections operators is almost, you could say, more important than the Hilbertsapce itself. Or it is the raison d'être of the Hilbertspace---the reason for having it in the first place.
======
Another thing is that Oeckl PBF is based on "topological manifolds" which sounds very complicated and technical but is in fact the most boring nondescript structureless thing you could imagine basing a physics theory on. A topo manifold is a shapeless set: no metric, no differential structure. Besides its topology all it really has is a certain dimensionality. In the sense of being locally map-able (homemorphic) to R^d. Let's specialize to d=4. All we ask is that every point in the set have an open neighborhood that maps to an open neighborhood of R⁴--continuously in both directions.

 

[marcus]

What I'm trying to stress is the lightness of the math framework--how undemanding the assumptions are in Oeckl PBF. All you basically require is that the process you are studying occur in a compact bounded 4d topological manifold. He calls that a region. And the boundary is assumed to be a 3d topological manifold which he calls a hypersurface.

There's a Hilbertspace associated with the boundary which means there is a lattice of projection operators that I think of as corresponding to STATEMENTS you can make about the boundary, and consequently make regarding what was/is/will be in progress inside the region. Including as regards how that process interacts with and therefore includes the geometry in the region.

What I'm thinking is (and it would be great if you could offer a contrasting viewpoint and persuade me otherwise) is that this setup is probably MINIMAL. These are the weakest most structureless assumptions that it is possible to make and still be able to make statements about some process going on somewhere--some quantum field theory or statistical mechanics process happening somewhere.

Also on standby here is the idea of "truncation". Because we can never make more than a finite number of measurements, detections, or predictions--or impose more than finite number of sideconditions--it's probably advisable to have some convenient way to truncate the information content. Some "N", maybe an arbitrary restriction on the dimension of the Hilbertspace. I'm not sure about this at the moment and can't make a definite comment. I don't see it in any of the Oeckl papers I've looked at.

 

[marcus]

The next installment:
http://arxiv.org/abs/1309.0777
Coupling and thermal equilibrium in general-covariant systems
Goffredo Chirco, Hal M. Haggard, Carlo Rovelli
(Submitted on 3 Sep 2013)
A fully general-covariant formulation of statistical mechanics is still lacking. We take a step toward this theory by studying the meaning of statistical equilibrium for coupled, parametrized systems. We discuss how to couple parametrized systems. We express the thermalization hypothesis in a general-covariant context. This takes the form of vanishing of information flux. An interesting relation emerges between thermal equilibrium and gauge.
8 pages, 3 figures

 

[marcus]

The Planck Stars paper, with its new understanding of what's going on in a black hole, and especially the paper by Chirco Haggard Riello Rovelli ("CHRR") that re-interprets Jacobson's 1995 result put the QG and Thermodynamics research discussed in this thread in a new light.

There seems to be a high-stakes game in progress: a coherent line of investigation involving a number of people. Not only Haggard and Rovelli as mentioned in the title of the thread, but a longer list including:
Bianchi, Chirco, Haggard, Riello, Rovelli, Vidotto, and possibly others I'm forgetting to mention.

The investigation of general covariant thermodynamics, thermal time, equilibrium, temperature, information flux, entropy (especially in general covariant setting) which we saw getting started or restarted back in 2012 has been paying off.

Resolving, for example, the "black hole information paradox" and seemingly obviating the "firewall" puzzle that until recently occupied the attention of so many reputable senior researchers.

So I'll update this thread with a few links and excerpts of more recent work.

The CHRR thread: https://www.physicsforums.com/showthread.php?t=734298
and a couple abstracts:

http://arxiv.org/abs/1401.5262
Spacetime thermodynamics without hidden degrees of freedom
Goffredo Chirco, Hal M. Haggard, Aldo Riello, Carlo Rovelli
(Submitted on 21 Jan 2014)
A celebrated result by Jacobson is the derivation of Einstein's equations from Unruh's temperature, the Bekenstein-Hawking entropy and the Clausius relation. This has been repeatedly taken as evidence for an interpretation of Einstein's equations as equations of state for unknown degrees of freedom underlying the metric. We show that a different interpretation of Jacobson result is possible, which does not imply the existence of additional degrees of freedom, and follows only from the quantum properties of gravity. We introduce the notion of quantum gravitational Hadamard states, which give rise to the full local thermodynamics of gravity.
12 pages, 1 figure

http://arxiv.org/abs/1401.6562
Planck stars
Carlo Rovelli, Francesca Vidotto
(Submitted on 25 Jan 2014)
A star that collapses gravitationally can reach a further stage of its life, where quantum-gravitational pressure counteracts weight. The duration of this stage is very short in the star proper time, yielding a bounce, but extremely long seen from the outside, because of the huge gravitational time dilation. Since the onset of quantum-gravitational effects is governed by energy density --not by size-- the star can be much larger than Planckian in this phase. The object emerging at the end of the Hawking evaporation of a black hole can then be larger than Planckian by a factor (m/m_P)ⁿ, where m is the mass fallen into the hole, m_P is the Planck mass, and n is positive. The existence of these objects alleviates the black-hole information paradox. More interestingly, these objects could have astrophysical and cosmological interest: they produce a detectable signal, of quantum gravitational origin, around the 10⁻¹⁴cm wavelength.
5 pages, 3 figures.

 

[marcus]

Another paper has appeared which relates to and possibly extends those in this thread. this is the February 2015 "Compact phase space, cosmological constant" paper of Rovelli Vidotto.
I will get the link.
It turns out that implanting a small cosmological curvature constant Λ in the simplices of quantum gravity leads to a compact phase space. This gives a minimal separation of distinguishable states, so tends to confirm the kind of practical discreteness that the HR and CHR papers are talking about (as a springboard to the first rigorous general covariant thermodynamics)
Here is the link.
http://arxiv.org/abs/1502.00278
Compact phase space, cosmological constant, discrete time
Carlo Rovelli, Francesca Vidotto
(Submitted on 1 Feb 2015)
We study the quantization of geometry in the presence of a cosmological constant, using a discretization with constant-curvature simplices. Phase space turns out to be compact and the Hilbert space finite dimensional for each link. Not only the intrinsic, but also the extrinsic geometry turns out to be discrete, pointing to discreetness of time, in addition to space. We work in 2+1 dimensions, but these results may be relevant also for the physical 3+1 case.
6 pages

 

[marcus]

There is an intuitive reasoning which says that thermodynamics is the way to rigorous confirmation of LQG.
The line of reasoning goes as follows.
We suspect from the CHRR paper and Jacobson 1995 that the Einstein GR equation is the thermodynamic equation of state of the LQG degrees of freedom. They are the molecules of geometry which in bulk constitute the large-scale fluid of geometry which the Einstein GR equation of state describes.
So the way to rigorously confirm our suspicion is to understand thermodynamics better.
But thermodynamics and statistical mechanics have never been given a general covariant treatment, so as to be compatible with GR!
So a general covariant thermo and stat mech is kind of a first order of business.

Also one wants both theoretical confirmation and observational. And here thermodynamics also plays a role because our most promising observations of phenomena involving quantum geometric effects are those of the ANCIENT LIGHT background that has enormously magnified shapes of the early universe in it. In other words, what does your theory say about the very start of expansion (confusingly called "big bang singularity") And what about the considerable variety of unexplained explosions that dot the sky? Could some of those ("gammaray bursts" etc...) be black holes blowing up due to quantum effects?
That calls for a better understanding of thermodynamics too, because one has to understand the TIME DILATION at extreme gravitational depth where changes happen very slowly. If gravitational collapse results in a quantum rebound explosion it would be extremely time delayed by the depth of collapse. But what about the Tolman effect of the extreme temperature? And what happens to the information? So to get observational confirmation for the theory again involves understanding general covariant thermodynamics. It is the second order of business as well as the first.