Bianchi's entropy result--what to ask, what to learn from it

atyy

That's fascinating. In the original case of a Lorentz invariant field theory on the half space, are there also "edge states"?

Physics Monkey

I didn't even notice this at first, but it looks like bianchi is either doing the large j limit or made an important mistake?

Physics Monkey

There certainly can be. Not all Lorentz invariant theories have protected physical edge states on a half space, but we showed that if they do then the half space entanglement spectrum (with no physical edge) also has the universal aspects of these physical edge states.

Physics Monkey

You're certainly right that what I mean is H and A. However, as we are discussing with fzero, it seems like Bianchi has used a strange expression for A (roughly just Lz) and Lz and Kz do commute (according to the lorentz algebra). Besides this issue I'm also confused about the state space, because if Eq. 6 holds for matrix elements between physical states, then it also follows that H and A commute. Now for some reason one seems to be using a vastly expanded set of sets where K and L are independent to analyze the physics, but I don't understand all these extra states and what they mean geometrically. I thought the physical Hilbert space was specified by the spin network states, that is the state of geometry at a fixed time. This also seems to be crucial for the detector analysis below where, under my naive reading, Bianchi uses both states of geometry and states of "energy" independently i.e. as a tensor product, which suggests K and L act on different spaces and hence commute.

fzero

Well I made a mistake. The corrections go like

[tex] \sum_f \frac{1}{j_f^p},[/tex]

so presumably these converge and go to zero in the large [itex]j_f[/itex] limit. So maybe it's not so bad, but it would help to clarify the role of the limit.

Physics Monkey

I'm not sure what mistake you're referring to, but I think it could still be an issue. As I recall, in the very old days I heard that j=1/2 states played an important role for which obviously the different is substantial. Also in Fig. 1 Bianchi uses j=1 as an example, so I'm not convinced that Bianchi just meant for us to assume large j.

fzero

Yes, I don't have an authoritative reference handy, but as I recall from earlier discussions, the large j limit (perhaps with j/N held fixed) is supposed to be a semiclassical limit. Bianchi does remark that his result does not include quantum corrections (below (3) and in the last paragraph of the conclusion).

marcus

I agree (with Phy. Monk. post #23) As I recall j=1/2 predominates.
We still have to find out how |L_etc| is defined. I don't see it. There could be a discrepancy that needs to be fixed. Possibly just a typo. Or it could be all right and I'm just missing something.

What we want is for |L_f| = j_f
(rather than the sqrt of j(j+1).) Could things have actually been defined so it comes out that way?

DrDu

Why? Temperature is defined by two systems being in thermal equilibrium when they have the same temperature and by transitivity of the equilibrium. So if I put thermometer at large distance from the horizon and it is in thermal equilibrium with the black hole horizon, then any intermediate system which is in thermal equilibrium will be assigned the same temperature.

Physics Monkey

I reached out to bianchi for clarification about his area formula. In the interest of keeping his privacy, I will just summarize the main points of his brief reply that are apparently common knowledge.

In short, both [itex] \sqrt{j(j+1)} [/itex] and [itex] j [/itex] are acceptable area operators (they differ by an operator ordering ambiguity that vanishes as [itex] \hbar \rightarrow 0 [/itex] (which I guess here means something like [itex] j \rightarrow \infty [/itex] as fzero and others suggested).

The two criteria for an area operator are apparently 1) that its eigenvalues go to j in the large j limit and 2) that its eigenvalue vanish for j=0.

More systematically, bianchi is using a Schwinger oscillator type representation where we have two operators [itex] a_i [/itex] and the spins are [itex] \vec{J} = \frac{1}{2} a^+ \vec{\sigma} a [/itex]. The total spin of the representation can be read off from the total number [itex] N = a_1^+ a_1 + a_2^+ a_2 = 2j [/itex]. On the other hand, you can work out [itex] J^2 [/itex] for yourself to find [itex] J^2 = \frac{1}{4}( N^2 + 2N) [/itex] which one easily verifies gives [itex] J^2 = j(j+1) [/itex]. Thus by [itex] |\vec{L}| [/itex] bianchi appears to mean [itex] N/2 [/itex].

It is again interesting to see this kind of representation appearing in a useful way since it is quite important in condensed matter.

Physics Monkey

At the most basic level, this is gravitational red shift at work. There is a notion of local temperature given by [itex] T_\ell(r) = T/\sqrt{-g_{tt}(r)} [/itex] which in something like the scharzchild metric [itex] g_{tt}(r) = -(1-r/r_S) [/itex] gives a diverging temperature as the horizon is approached.

One physical meaning one can attach to this expression is the following. If an observer of four velocity [itex] u [/itex] (with [itex] u^2 = -1[/itex]) measures the energy of a particle with four momentum [itex] p [/itex] then the energy measured is [itex] E = u\cdot p [/itex]. An observer hovering about the black hole horizon has [itex] u = (1/\sqrt{-g_{tt}}) \partial_t [/itex]. On the other hand, the existence of the Killing vector [itex] \xi = \partial_t [/itex] means that the quantity [itex] \xi\cdot p [/itex] is conserved independent of r provided the particle of momentum p is following a geodesic. This quantity [itex] \xi \cdot p [/itex] is the energy of the particle measured at infinity [itex] E_\infty = \xi \cdot p [/itex]. Thus one sees that the energy measured by a hovering observer near the horizon is [itex] E = E_{\infty} /\sqrt{-g_{tt}} [/itex] which diverges as the hovering observer approaches the horizon.

Another perspective is that the hovering observer must fire her engines harder and harder to keep from falling as the horizon is approached. From the perspective of an inertial infalling observer the hovering observer is uniformly accelerated and hence experiences unruh radiation. The temperature of this radiation gets hotter and hotter as the hovering observer approaches the horizon (while the infalling observer sees nothing).

Still another point of contact is Luttinger's old idea in condensed matter to model position dependent temperature by adding a spatially varying gravitational field e.g. for computing heat currents using Kubo formulae. Of course, this is most obvious in the Lorentz invariant context when one computes variations with respect to a background metric to evaluate correlators of the stress tensor i.e. [itex] \delta S = \int d^D x \sqrt{-g} \delta g_{\mu \nu} T^{\mu \nu} [/itex].

DrDu

Yes, I know this local temperature concept. However I think it has no relevance in defining entropy.

Physics Monkey

Well, I think it is a subtle notion, but it can be useful for studying entropy.

For example, consider Rindler space [itex] ds^2 = - \rho^2 d \eta^2 + d\rho^2 + dx_\perp^2 [/itex] where [itex] \eta [/itex] is like a time and [itex] \rho= 0[/itex] is the horizon. Imagine a CFT living in this space. Then one gets an entropy density of roughly [itex] s \sim T_\ell^d [/itex] (with d the space dimension). Integrating this over all space gives [tex] \int d\rho dx^{d-1}_\perp \rho^{-d} \sim \frac{A_\perp}{\rho^{d-1}_c} .[/tex] [itex] A_\perp [/itex] is the cross sectional area and [itex] \rho_c [/itex] is some small distance cutoff. Putting something like the planck length in as a fundamental cutoff gives something that looks an awful lot like black hole entropy.

Viewing the CFT in rindler space as an approximation to the near horizon of a black hole with matter, it looks like this calculation is giving a quantum correction due to the matter fields, the CFT, to the entropy of the black hole.

Demystifier

I would put this way: If there's no state counting, then the entropy is merely a thermodynamic entropy (like Hawking's), not a statistical entropy.

francesca

That's right, but it would not say "merely": the microstate counting was already done in LQG, and Eugenio contributed to this with his nice paper "BH Entropy, Loop Gravity, and Polymer Physics", identying these microstates with the quantum geometry at the horizon. SO the "thermodynamical side" was the aspect somehow lacking... lacking in which sense? in the sense that Hawking calculation was done in the context of QFT in curved space, so spacetime was classical, while Eugenio's one is the thermodynamics of a quantum theory of gravity.

marcus

Francesca, these are very instructive replies to Demy and to Atyy's question.Indeed we are talking about Black Hole thermodynamics and the Bekenstein Hawking entropy S_BekHaw was thermodynamic. So likewise should Bianchi black hole entropy S_Bianchi be thermodynamic according to Clausius. This was one of the aims and achievements of the paper. And he evaluates it in a purely quantum way. Not in the context of QFT on a fixed curved space. So definitely not semiclassical . And as you said earlier, it is completely new!
The researchers might be able to learn something by comparing Bianchi's thermodynamic entropy with the statistical state-counting done earlier. I imagine some are studying this comparison and it may prove fruitful.

I was interested by what you said in reference to the last section of the paper "Partition Function and Spinfoams".
That section goes beyond the main task of the paper and seems to point towards further work. Was that what you were referring to when you said "And finally there is the remarkable demonstration that the Spinfoam amplitude implies the right distribution, that yields Hawking entropy." For me, that section needs more elaboration--it does not explain enough what is being done--but I suspect that would be more appropriately done in a second paper, not to overextend this one.

fzero

The polymer microstate calculation had an explicit dependence on the Immirzi parameter. The only reason the present calculation does not have this dependence is because Bianchi uses a single pure state to do the calculation. Since the BH is not a pure state, the correct way to do the computation is to compute the energy from (9) in an ensemble. This will reintroduce the factors of [itex]\mu^*[/itex] and [itex]\gamma[/itex] that were found in the polymer paper.