• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

146 submissions , 123 unreviewed
3,961 questions , 1,408 unanswered
4,890 answers , 20,766 comments
1,470 users with positive rep
506 active unimported users
More ...

Is the firewall paradox really a paradox?

+ 6 like - 0 dislike

The firewall paradox is a very hot topic at the moment (1207.3123v4). Everyone who is anybody in theoretical physics seems to be jumping into the action (Maldacena, Polchinski, Susskind to name a few).

However, I am unable to see the paradox. To me Hawking's resolution of the information paradox (hep-th/0507171) also resolves the so called firewall paradox. Hawking never says that the information is not lost on a fixed black hole background. In fact, he says the opposite. He says (page 3): "So in the end everyone was right in a way. Information is lost in topologically non-trivial metrics like black holes. This corresponds to dissipation in which one loses sight of the exact state. On the other hand, information about the exact state is preserved in topologically trivial metrics. The confusion and paradox arose because people thought classically in terms of a single topology for spacetime."

To surmise, in quantum gravity you don't know if you actually have a black hole or not, so you have to include the trivial topologies, including those when there isn't a black hole there, in the amplitude. Only then do recover unitarity.

It seems to me that the error of the AMPS guys is that they use a fixed black hole background and assume conservation of information (i.e., late time radiation is maximally entangled with early time radiation). It is no wonder they are lead to a contradiction. They are simply doing the information paradox yet again.

They give a menu of implications in the abstract: (i) Hawking radiation is in a pure state, (ii) the information carried by the radiation is emitted from the region near the horizon, with low energy effective field theory valid beyond some microscopic distance from the horizon, and (iii) the infalling observer encounters nothing unusual at the horizon.

But the obvious solution is that (i) is wrong. The radiation, within the semi-classical calculation in which they calculate it (i.e., not quantum gravity), is non-unitary.

So my question is, why is this a paradox? Something so obvious surely can not be overlooked by the ``masters'' of physics. Therefore I'd like to hear your opinions.

This post imported from StackExchange Physics at 2014-07-24 15:43 (UCT), posted by SE-user Jase Uknow
asked Sep 26, 2013 in Theoretical Physics by Jase Uknow (30 points) [ no revision ]

2 Answers

+ 4 like - 0 dislike

Here are my two cents.

There is a community in which Hawking's solution was ignored, and the only accepted one was the black hole complementarity of Susskind, Thorlacius, and Uglum. The firewall discussion takes place within that world.

Susskind claims in his book The Black Hole War: My Battle with Stephen Hawking to Make the World Safe for Quantum Mechanics, and others follow him, that he defeated Hawking, who, in 2004, conceded the bet against Preskill. In fact, Hawking was probably not convinced by Susskind's proposal, but by Maldacena's AdS/CFT correspondence. But AdS/CFT doesn't give the explanation how the information is recovered, and Hawking proposes his own solution, not being based on stretched horizon and black hole complementarity. In fact he still believes that, if we consider only a history, for General Relativity + Quantum Physics the problem persists, and it is resolved only when summing over all topologies.

It seems like the AMPS paper considers only the black hole complementarity. They don't consider other proposals, such as Hawking's. So, with respect to that framework, AMPS find a problem with the black hole complementarity, namely that it is not enough, and a firewall should be added. Susskind considered this idea earlier in his book An Introduction To Black Holes, Information And The String Theory Revolution, page 84, when he named it "brick wall". The "paradox" is that the firewall seems to be required by unitarity, but the existence of such a firewall contradicts the principle of equivalence.

So, in my opinion, yes, Hawking's solution doesn't need a firewall, and black hole complementarity needs it. And if we accept the firewall, the black hole complementarity is no longer needed. So Hawking should write a book about his (non-action) war with Susskind.


In my answer I argued that the firewall discussion takes place in a circle in which Hawking's solution is not acknowledged. Following a comment, let me get closer to the question about why Hawking's solution was not accepted. I don't know of any decisive argument against Hawking's solution.

My main reason why I find his argument insufficient is that it doesn't really solve the problem, unless you sum over different topologies, and the used measure allows the solutions that violate unitarity to cancel each other. It is again a personal opinion.

I think that the reason why his solution was not accepted like Susskind's is because it relies on a less popular approach to quantum gravity. The Susskind, Thorlacius, and Uglum (STU) argument was presented in a form which make it look as it only relies on three principles accepted by everyone:

  1. Information conservation
  2. No cloning theorem
  3. Equivalence principle,

so it doesn't seem confined to a particular quantum gravity approach. Also, it seemed to solve the problem for each spacetime, and not only in a sum over topologies.

Another reason may be that, at the time when Hawking proposed his solution, the black hole complementarity was considered for over a decade to be the good solution by a dominating community. It stimulated research in superstring theory of black holes, and other approaches to quantum gravity tried to explain the information from the stretched horizon.

It is also possible that this is a historical accident, and if Hawking had proposed his solution before Susskind, it would have been accepted his, and not Sussikind's. I actually think that Susskind's would have been rejected long time before the AMPS argument, if there was an alternative to save unitarity. Probably the arguments would have been

  1. Susskind, Thorlacius, and Uglum (STU) claim to rely on the no-cloning theorem, but actually it admits cloning, only that it claims that there is no observer who will see both copies.
  2. STU claim to rely on the equivalence principle, but let's consider instead of the event horizon, a Rindler horizon. Say Bob is moving with acceleration, and sees Alice going through the Rindler horizon. Bob sees her destroyed, and she sees nothing. But now, unlike the case of the Schwarzschild event horizon, Bob can go back and check Alice, and find her well. So, this won't work for Rindler horizon, so the equivalence principle is in fact violated by BH complementarity.
  3. BH complementarity claims it is OK to admit contradiction, so long as the contradiction is not observed directly. I don't really think that, if the contradiction is seen only in theory, and never in experiment, it is OK.
  4. It has argued that if Alice sends a signal right after passing through the horizon, Bob may dive too, and receive it after he enters in the horizon, so the two viewpoints can be compared. Susskind claims that he can't, because he will reach the singularity before receiving the message, and indeed there is a proof for this. But, this works only for Schwarzschild black holes. If the black hole is rotating or charged, then the singularity is timelike, and can be avoided for indefinite long time. So Alice and Bob really can meet and compare the two copies, violating the very principle STU claims to save.

Maybe this made Robert Wald in his recent talk at the Fuzzorfire workshop, to state that the proposed cures (including complementarity) are worse than the disease:

I find it ironic that some of the same people who consider “pure -> mixed” to be a violation of quantum theory then endorse truly drastic alternatives that really are violations of quantum (field) theory in a regime where it should be valid.

So, I agree with the question, that the AMPS argument and firewall discussions are just the realization that the Hawking's paradox was not solved by BH complementarity.

Let me mention another possibility, more recent and less known. Most solutions concentrate on the event horizon, and what happens there. While this important, let's not forget that the information appears to be lost not on the horizon, but at the singularity.

There is an analytic extension of the Schwarzschild solution through the singularity. This replaces the usual Penrose diagram (fig. A) with another one (fig. B), which is globally hyperbolic, and might allow information to be recovered.

Singularity and information

I will stop here, because it becomes self-advertising. There are more questions, but I will not detail here. Some of them answered in the papers here (where there is also my email address). A less technical paper is here. Also I plan to write more about this soon on my blog.

This post imported from StackExchange Physics at 2014-07-24 15:43 (UCT), posted by SE-user Cristi Stoica
answered Sep 26, 2013 by Cristi Stoica (255 points) [ no revision ]
Thanks for your comments but I'm not convinced this is what they are thinking. If the problem is with complementarity, then so much for complementarity. The alternatives are much more drastic: i.e., loose QFT or loose the equivalence principle? Now if something is wrong with Hawking's argument and there is a problem with complementarity, then we are back to ``the information paradox''. So let's call it that, and clarify why everyone's arguments until now have been wrong. It seems that AMPS have revealed the flaws in complementarity. Does anyone know what are the problems with Hawking?

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Jase Uknow
I found here: online.kitp.ucsb.edu/online/bitbranes12/bhinfox (around 82min) in Polchinski's own words: "I actually think that Hawking gave up too soon". So this is indeed what they are thinking.

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Jase Uknow
+ 4 like - 0 dislike

This is a contentious subject, and you'll obviously get different answers from different people. But for whatever it's worth, here's my personal take.

Hawking's 2005 "solution" to the information-loss problem has never made sense to me. My difficulty is quantitative: what, exactly, is the amplitude for a black hole never to form, and for the metric to remain topologically trivial? If the amplitude is exponentially small, then there wouldn't seem to be any way that it could unitarize a process that otherwise wouldn't even be close to unitary. On the other hand, it's hard to see how the amplitude could be large without a dramatic deviation from GR in regimes where GR was supposed to work. In any case, Hawking doesn't specify.

Of course, it's entirely possible that I'm simply missing something obvious. But I've asked John Preskill and several other black hole information experts, and they tell me they don't understand Hawking's claimed resolution either (or in particular, how it's supposed to resolve AMPS). Lubos Motl says he understands it perfectly, but his blog posts about it again didn't make any sense to me -- maybe someone else can explain them.

Now, it could be that the "topologically trivial metrics" that have large amplitudes really look and act almost exactly like black holes, and are only "not black holes" in the sense that the singularity gets resolved by quantum gravity effects. But in that case, we still have the problem of explaining how a qubit that an infalling observer sees falling toward the singularity, also gets emitted from the horizon from an external observer's standpoint. Does it "slowly make its way" from the singularity back to the horizon (as I think is suggested by the fuzzball approach)? Does it teleport out (as proposed by Horowitz and Maldacena), or get out via an ER bridge? Or was it "also" on the horizon all along, from a complementary perspective? In other words, it seems we still have the "black hole information problem" as most people would understand it.

More generally, I think it's easy to get trapped in fruitless verbal debates -- e.g., whether a quantum-gravitational object that looks and acts like a black hole is "really" a black hole or "really" something else. So for me, one of the strengths of AMPS is that it can be phrased "operationally": i.e., purely as a question about what different observers will experience (and how to reconcile their experiences), rather than as a question about particular theories and approximate calculations. Namely, the question is this:

By acting unitarily on the Hawking radiation emitted by an old enough "black-hole-like object," can an external observer radically and "nonlocally" alter what an observer who jumps into that object will experience?

If you believe in complementarity, then AMPS argue that the answer would appear to be yes, since otherwise we get a gross violation of monogamy of entanglement. So, in that case, you have the burden of giving some account of how the influence propagates "nonlocally" (for example, does it do so via wormholes? do we need to give up entirely on the concept of locality?).

Crucially, it's no answer to say that "the radiation, within the semi-classical calculation in which they calculate it (i.e., not quantum gravity), is non-unitary." For we're not asking about what things look like in the semiclassical approximation: rather, we're asking about what the infalling observer would actually experience if we did the actual experiment. I.e., if a suitable unitary transformation U were applied to faraway Hawking radiation, would that nonlocally cause the infalling observer to see a firewall (or the Easter Bunny, or whatever else U corresponded to), or not?

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Scott Aaronson
answered Sep 27, 2013 by ScottAaronson (795 points) [ no revision ]
Most voted comments show all comments
Very interesting answer! Concerning the amplitude for a black hole never to form, this bothers me too, since I don't understand how Hawking chose the measure to obtain this. The measure either has to make the black hole histories negligible, or make them to cancel one another, and I don't understand how.

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Cristi Stoica
Thanks for clarifying why you don't buy Hawking's argument. However, I don't understand the last three paragraphs that you have written. Why do you say that the external observer can radically alter what an observer who falls into the black hole will experience? And what do you mean by "actual"?

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Jase Uknow
Well, suppose the external observer applies a unitary transformation to the early Hawking radiation, that lets the infalling observer easily see that the early radiation is entangled with the radiation just coming out. Then by monogamy of entanglement, the radiation just coming out can't ALSO be entangled with the modes just inside the horizon. But if they're not entangled, then the infalling observer won't experience a smooth QFT vacuum. That's pretty much the content of AMPS.

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Scott Aaronson
By "actual" I meant "referring to the real world, not to a particular approximate method of calculation." You seemed to be suggesting that one can resolve the information-loss problem by saying that information IS lost in a semiclassical approximation, but isn't lost when you sum over all topologies. I was explaining why I don't think that answers the question: because one can state what's "hard to swallow" here or an apparent challenge to locality, without ever needing to make assumptions that come from the semiclassical approximation.

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Scott Aaronson
@Scott Aaronson: I don't understand why "a qubit that an infalling observer sees falling toward the singularity, also gets emitted from the horizon from an external observer's standpoint". Could you explain, or give a reference containing the explanation why both have to see the qubit? Is this because we want to save the information contained in the qubit from being lost, or there is another reason?

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Cristi Stoica
Most recent comments show all comments
The semiclassical approximation comes in in several places in their argument. (1) In assuming that the early radiation is thermal. This assumes that you have a hawking radiating black hole (i.e., the classical Schwarzschild metric with test fields on top). (2) in the statement that the in falling observer can decompose his modes in terms of the external modes defined wrt the Schwarzschild time (one can always do this decomposition but it doesn't have any physical meaning unless you are in a classical black hole).

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Jase Uknow
And finally, (3) in the assumption that the in falling observer is not quantised as seen from infinity. In Hawking's argument nothing inside the measurement region is supposed to be known. So presumably the in falling observer would need to be considered in a superposition of states. I don't think one can hide the fact that AMPS make all their arguments, except for the purity of the radiation, using a fixed black hole background.

This post imported from StackExchange Physics at 2014-07-24 15:44 (UCT), posted by SE-user Jase Uknow

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights