Professional Documents
Culture Documents
/ e4ðM"Þ 4M :
2 2
(2) 1010 for a stellar-mass black hole) random matrix theory
[5,11] tells us that the statistical behavior of Eq. (3) is
Tunneling moves subsystems from the black hole inte- excellently approximated by treating U as a random uni-
rior (int) to the exterior, appearing as radiation (R) [5]. tary (i.e., by using a Haar average). Therefore, permuting
Formally, the simplest Hilbert space description of such a the order in which particles appear as Hawking radiation
process is given by will have no statistical effect.
In the case of a Schwarzschild black hole of mass M where jj; mi are the usual simultaneous eigenstates of total
undergoing a pair of consecutive evaporation events angular momentum J 2 and Jz^ and Rð; Þ is a rotation
producing spinless particles in an s wave of energies "1 operator which maps z^ to n. ^ This correspondence has the
and "2 , this permutation symmetry implies an equality be- added feature of making the quantum description of a black
tween tunneling probabilities: ð"1 ;"2 jMÞ ¼ ð"2 ;"1 jMÞ, or hole a minimum uncertainty angular momentum state—
in terms of conditional probabilities, i.e., as classical as possible in its angular momentum
degrees of freedom.
ð"1 jMÞð"2 j"1 ; MÞ ¼ ð"2 jMÞð"1 j"2 ; MÞ: (4) Now the ability of an infinite set of observers throughout
Now in field theory calculations, tunneling probabilities spacetime to copy the classical information about the
concern transitions between classical macroscopic space- (black hole) geometry they are sitting in places a very
time geometries. Abstracting this into a spacetime-free strong constraint on any physical process. In particular,
language we would say that earlier decays should only any process that yields a superposition of black hole states
affect subsequent decays through their backreaction on can only preserve this ‘‘copyability’’ if the superposition
the black hole’s identity via conservation laws. In the can be expressed as a sum over mutually orthogonal black
simple scenario above, particles only carry away black hole states. This property and the presumed conservation
hole mass as energy, so ð"j"0 ; MÞ ¼ ð"jM "0 Þ. This during black hole evaporation of total energy, charge, and
leaves the single-particle functional relation angular momentum yield the following.
Theorem 2: Consider a lone black hole X~ ðM; Q; JÞ
ð"1 jMÞð"2 jM "1 Þ ¼ ð"2 jMÞð"1 jM "2 Þ: (5) oriented along some direction n^ that undergoes an evapo-
rative process yielding a particle and a daughter black hole.
Theorem 1: Suppose the function is continuously
If the particle’s energy ", charge q, and total (spatial plus
differentiable in its domain of definition and satisfies
spin) angular momentum j along the n^ axis are measured,
Eq. (5). Then its general solution is
then the remaining state of the daughter black hole will
ð"jMÞ ¼ efðM"ÞfðMÞþhð"Þ ; (6) be described by the no-hair triple X~ x~ along n, ^ where
x~ ð"; q; jÞ. (Note, n^ is arbitrary for J ¼ 0.)
where f and h are arbitrary functions, continuously differ- This theorem tells us that the transition from black hole
entiable except possibly at some boundary points. mother to daughter by evaporation satisfies a simple set of
The general solution provided by this functional equation linear conservation laws. Note, Theorem 2 should not be
(see Ref. [6] for proofs of all our theorems) easily matches taken to imply that the particle is fully described by
the known result of Eq. (2). Thus at least for this scenario, x~ ð"; q; jÞ and has no other ‘‘hair.’’ For example, the
the permutation symmetry predicted by the Hilbert space particle need not be in an overall spin-coherent state.
description of Eq. (3) is supported by quantum field theo- It immediately follows from Theorem 2 and the permu-
retic tunneling calculations on curved spacetime [8]. tation symmetry already discussed that the probability
(Consistency with Hawking’s original result of a thermal ðxj ~ for a particle with triple x~ ð"; q; jÞ to tunnel
~ XÞ
distribution for black hole radiation [12] when backreaction from a black hole with no-hair triple X~ ¼ ðM; Q; JÞ will
is negligible, i.e., when the energy " carried away is infini- ~ x~ 0 jX~ xÞ ~ xj
satisfy ðxj ~ XÞð ~ ¼ ðx~ 0 jXÞð ~ X~ x~ 0 Þ, again
tesimal, would immediately implicate f as the black hole’s
presuming that prior evaporative events only affect sub-
thermodynamic entropy.)
sequent decays via their (linear) conservation laws, so
To generalize this result to more general scenarios we ~ ¼ ðxj
need only assume that any changes that occur in an event ðxj~ x~ 0 ; XÞ ~ X~ x~ 0 Þ. It is therefore natural to extend
horizon’s identity due to evaporation are characterized by Theorem 1 to the multivariate case.
Theorem 3: Let ðxj ~ XÞ ~ be a positive real function that
linear conservation laws. We will now explicitly show that
this approach is valid for evaporation of black holes. is continuously differentiable in each of the variables,
Recall that the no-hair theorem [13] tells us that a black ~ X~ 2 D Rn , where the domain D of each of the (vector)
x;
hole is characterized solely by its mass M, charge Q, and arguments is assumed be to a closed subset of Rn . Suppose
angular momentum J along some axis n. ^ The parameters that satisfies the functional equation
~
X ðM;Q; JÞ can be ‘‘readout’’ [14] (copied) by arbitrarily ~ x~ 0 jX~ xÞ
~ XÞð
ðxj ~ xj
~ ¼ ðx~ 0 jXÞð ~ X~ x~ 0 Þ: (7)
many observers throughout the spacetime geometry—they
correspond to classical information about the quantum Then the function is given by
state of the black hole. It is therefore natural to associate
~ xÞfð
~ ¼ efðX ~ ~
XÞþhð ~
xÞ
a classical black hole with a quantum state which is the ~ XÞ
ðxj ; (8)
simultaneous eigenstate of M, Q, and Jn^ . To ensure that
angular momentum is described by a single quantum where fðXÞ ~ and hðxÞ
~ are continuously differentiable func-
number (as required by the no-hair theorem), the angular tions of their arguments.
momentum state for a black hole must correspond to Moving beyond black holes, if a general event horizon
a spin-coherent state jJ; Jin^ ¼ Rð; Þjj ¼ J; m ¼ Ji, were characterized by some vector of attributes X~ and if
071302-2
week ending
PRL 107, 071302 (2011) PHYSICAL REVIEW LETTERS 12 AUGUST 2011
evaporation produced a linear backreaction to these attrib- IðX~ 1 Þ ¼ IðX~ 2 Þ and IðX~ 01 Þ ¼ IðX~ 02 Þ
utes, then permutation symmetry and this theorem would (10)
imply the same functional form quite generally. Again, ) ðX~ 1 ; X~ 01 Þ ¼ ðX~ 2 ; X~ 02 Þ;
were we to assume consistency with a thermal spectrum
then ðX; ~ IðX~ 0 ÞÞ for some function .
~ X~ 0 Þ ¼ ðIðXÞ;
[12] when backreaction is negligible, we would find that
fðXÞ~ is the thermodynamic entropy associated with the Combining this with Theorem 3 implies that the univer-
sal function fðXÞ ~ ¼ uðIðXÞÞ
~ is some function solely of the
event horizon. Instead of this route, let us consider another
symmetry specifically possessed by black holes that will irreducible mass I and that hðxÞ ~ must be a constant. In
allow us to determine both f and h and to uncover further other words,
structure. This will have the added benefit of allowing us to ~ xÞÞuðIð
~ ¼ N euðIðX ~ ~
XÞÞ
infer an almost certain breakdown of the area theorem [15] ~ XÞ
ðxj ; (11)
in extended gravity theories. where N is a normalization constant.
In quantum theory a reversible process should be repre- We will now determine the function u from the fact that
sented by a unitary operation in Hilbert space. A reversible the Hilbert space description of evaporation in Eq. (3) is
Penrose process [16] allows one to freely interconvert manifestly reversible. We assume that a black hole can
between two black holes with no-hair triples X~ 1 and X~ 2 , evaporate away completely, since any stable black hole
provided only that their irreducible masses I are equal. remnant would itself be tantamount to a failure of unitarity
Consider a pair of such reversible processes applied to a [17] and hence of quantum mechanics. Consider therefore
black hole so as to bracket a single tunneling event. If the the complete evaporation of our Hilbert space black hole
unitary describing that event can be well approximated by with initial no-hair triple X, ~ leaving nothing but radiation.
its Haar average, we must have The probability for seeing a specific stream of radiation
with triples fx~ 1 ; x~ 2 ; . . .g may be precisely computed from
Eq. (11) as
ðX~ 1 ; X~ 01 Þ ¼ ðX~ 2 ; X~ 02 Þ; (9)
~
~ N 0 euðIð0ÞÞuðIð ~
XÞÞ
ðx~ 1 ; x~ 2 ; . . . jXÞ ; (12)
whenever IðX~ 1 Þ ¼ IðX~ 2 Þ and IðX~ 01 Þ
¼ IðX~ 02 Þ.
Where where uðIð0ÞÞ~ must be finite to ensure that complete
for convenience we introduce transition probabilities evaporation is possible. Because Eq. (12) is independent
ðX;~ X~ 0 Þ ðX~ X~ 0 jXÞ
~ for a mother black hole X~ to of the specific radiation triples, it implies that the thermo-
~ 0
yield a daughter X after a single tunneling event. dynamic entropy of the radiation is exactly
A holographic view of an event horizon might be stated
as saying that the Hilbert space beyond the event horizon is S rad ¼ uðIðXÞÞ ~ lnN 0
~ uðIð0ÞÞ (13)
effectively encoded entirely at or near the event horizon
itself. In such a case, the Haar symmetry for each individ- (see Refs. [18,19] for related arguments). To ensure revers-
ual tunneling event would be an ideal description of the ibility the entropy in the radiation must equal the thermo-
random sampling of near event-horizon degrees of freedom dynamic entropy of the original black hole SðXÞ. ~ In other
for ejection as radiation. Specifically for black holes, ~
words, we must have S rad ¼ SðXÞ, which in turn implies
Ref. [5] proves that, in order to preserve the equivalence ~ is just the thermodynamic entropy associated
that uðIðXÞÞ
principle during (unitary) evaporation over a black hole’s with the black hole.
lifetime, virtually the entire Hilbert space of the black hole In general relativity both the thermodynamic entropy of
must be encoded at the surface (in the form of trans-event- a black hole and its irreducible mass are known to be
horizon entanglement), with at most a vanishingly small functions of the black hole surface area, so their connection
proportion located within the black hole interior. In this here is not too surprising. However, in higher curvature
case Haar symmetry for each tunneling event would still be theories of gravity, Gauss-Bonnet gravity and other
an excellent approximation. (In contrast, if the Hilbert Lovelock extended gravities, the thermodynamic entropy
space of the black hole interior were not encoded primarily (now the Noether charge entropy, up to quantum correc-
near the surface, then its Haar invariance would require the tions) is not simply a function of area alone [20]. Although
dynamical assumption of a very short ‘‘global thermaliza- Penrose processes and the corresponding irreducible mass
tion time’’ for the black hole—little more than the time for for black holes in these extended theories have not been
charge to spread across a black hole’s surface.) analyzed, we have shown that the Hilbert space description
Theorem 4: Let I : ! R be continuous on (a of black hole evaporation implies that irreducible mass will
closed subset of Rn ) and continuously differentiable on its be some function of the Noether charge entropy. This
(nonempty) interior o . Assume further that the subset suggests that if it is possible to generalize Hawking’s
K o on which all partial derivatives @I=@Xi vanish area theorem [15] to these theories, then some function
contains no open set. Furthermore, let : ! R be of Noether charge entropy will instead play the role of
continuous. Suppose black hole surface area.
071302-3
week ending
PRL 107, 071302 (2011) PHYSICAL REVIEW LETTERS 12 AUGUST 2011
Our above analysis shows that the black hole tunneling might interpret the analysis presented here as a quantum
probabilities reduce to gravity calculation without any detailed knowledge of
a theory of quantum gravity except the presumption of
~ xÞSð
~ ¼ N eSðX ~ ~
XÞ
~ XÞ
ðxj ; (14) unitarity.
At a deeper level, the spacetime-free Hilbert space de-
a result identical to the generic form of Eq. (1) [21]. In scription and random matrix calculus should apply to
a sense then, black holes are not ideal but ‘‘real black arbitrary event horizons, not just those defining black holes
bodies’’ that satisfy conservation laws, result in a non- (e.g., the Rindler horizon appears in the infinite mass
thermal spectrum, and preserve thermodynamic entropy. limit of the Schwarzschild geometry [24]). In that case,
In contrast, treated as ideal black bodies, black hole evapo- Jacobson’s work [1,2] might suggest that the gravitational
ration would lead to irreversible entropy production [23]. structure of spacetime and presumably spacetime itself
Our reasoning leading to Eq. (14) holds for all black hole along with related concepts could appear as emergent
and particle types (even in extended gravities) and is not phenomena. If so, the approach presented here may pro-
limited to one-dimensional WKB analyses which underlie vide a promising beginning towards achieving Verlinde’s
all previous quantum tunneling calculations. This supports vision [3]. However, to get even this far required a subtle
our conjecture that Eq. (3) provides a spacetime-free de- but crucial change in that vision. Rather than emergence
scription of evaporation across black hole horizons. from a purely thermodynamic source, we should instead
The physics deep inside the black hole is more elusive. seek that source in quantum information.
Unfortunately, any analysis relying primarily on physics at We thank S. Pirandola and N. Cohen for discussions.
or across the horizon cannot shed any light on the question
of unitarity (which lies at the heart of the black hole
information paradox). If unitarity holds globally, then
Eq. (3) can be used to describe the entire time course of [1] T. Jacobson, Phys. Rev. Lett. 75, 1260 (1995).
evaporation of a black hole and to learn how the informa- [2] R. Brustein and M. Hadad, Phys. Rev. Lett. 103, 101301
tion is retrieved (see, e.g., Ref. [5]). Specifically, in a (2009).
unitarily evaporating black hole, there should exist some [3] E. Verlinde, J. High Energy Phys. 04 (2011) 029.
thermalization process, such that after what has been [4] H. Nikolić, Int. J. Mod. Phys. D 14, 2257 (2005);
S. D. Mathur, Classical Quantum Gravity 26, 224001
dubbed the black hole’s global thermalization (or scram-
(2009).
bling) time, information that was encoded deep within the [5] S. L. Braunstein, S. Pirandola, and K. Życzkowski,
black hole can reach or approach its surface where it may arXiv:0907.1190.
be selected for evaporation as radiation. Alternatively, if [6] See Supplemental Material at http://link.aps.org/
the interior of the black hole is not unitary, some or all of supplemental/10.1103/PhysRevLett.107.071302 for back-
this deeply encoded information may never reappear ground and all proofs.
within the Hawking radiation. [7] E. Keski-Vakkuri and P. Kraus, Nucl. Phys. B491, 249
At this stage we might take a step back and ask the (1997).
obvious question: Does quantum information theory really [8] M. K. Parikh and F. Wilczek, Phys. Rev. Lett. 85, 5042
bear any connection with the subtle physics associated with (2000).
black holes and their spacetime geometry? After all, we do [9] M. Angheben et al., J. High Energy Phys. 05 (2005) 014;
H.-L. Li, S.-Z. Yang, and D.-J. Qi, Commun. Theor.
not yet have a proper theory of quantum gravity. However,
Phys. 46, 991 (2006); G.-Q. Li, Europhys. Lett. 76, 203
whatever form such a theory may take, it should still be (2006).
possible to argue, either due to the Hamiltonian constraint [10] S. W. Hawking, Phys. Rev. D 14, 2460 (1976).
of describing an initially compact object with finite mass or [11] V. D. Milman and G. Schechtman, Asymptotic Theory of
by appealing to holographic bounds, that the dynamics Finite Dimensional Normed Spaces (Springer, New York,
of a black hole must be effectively limited to a finite- 2001).
dimensional Hilbert space. Moreover, one can identify [12] S. W. Hawking, Commun. Math. Phys. 43, 199 (1975).
the most likely microscopic mechanism of black hole [13] R. Ruffini and J. A. Wheeler, Phys. Today 24, No. 1, 30
evaporation as tunneling [5,6]. Formally, these imply that (1971).
evaporation should look very much like Eq. (3). Although [14] J. D. Bekenstein, Contemp. Phys. 45, 31 (2004).
finite, the dimensionalities of the Hilbert space are im- [15] S. W. Hawking and G. F. R. Ellis, The Large Scale
Structure of Space-time (Cambridge University Press,
mense and from standard results in random unitary matrix
Cambridge, England, 1973).
theory and global conservation laws we obtain a number of [16] R. Penrose and R. M. Floyd, Nature (London), Phys. Sci.
invariances. These invariances completely determine the 229, 177 (1971); D. Christodoulou and R. Ruffini, Phys.
tunneling probabilities without needing to know the de- Rev. D 4, 3552 (1971).
tailed dynamics (i.e., the underlying Hamiltonian). This [17] S. B. Giddings, Phys. Rev. D 51, 6860 (1995).
result puts forth the Hilbert space description of black hole [18] B. C. Zhang et al., Phys. Lett. B 675, 98 (2009).
evaporation as a powerful tool. Put even more strongly, one [19] D. Singleton et al., J. High Energy Phys. 08 (2010) 089.
071302-4
week ending
PRL 107, 071302 (2011) PHYSICAL REVIEW LETTERS 12 AUGUST 2011
[20] M. K. Parikh and S. Sarkar, arXiv:0903.1176. [22] J. D. Bekenstein and M. Schiffer, Phys. Rev. Lett. 72, 2512
[21] Although Eq. (1) has been obtained to leading orders in @ (1994).
in WKB calculations, Eq. (14) is exact to all orders (if the [23] W. H. Zurek, Phys. Rev. Lett. 49, 1683 (1982).
Haar symmetry is exact). However, as with all tunneling [24] T. Jacobson et al., Found. Phys. 33, 323 (2003).
calculations it ignores gray-body factors [22].
071302-5