Ken G said:
You need quantum mechanics to have Hawking radiation in the first place, but if you accept that you have that, then Hawking's resolution of the information paradox is just like a resolution of the information paradox in a Newtonian description of weather.
It's not clear that's true--Hawking radiation would ultimately be derived from a theory of quantum gravity but the current derivation uses
semiclassical gravity, which from what I've read still involves a classical spacetime geometry obeying the rules of general relativity, rather than a superposition of different geometries or something. So I don't think any of the conclusions about when event horizons and singularities become inevitable would be different in semiclassical gravity than they are in general relativity with classical matter fields. However, as I mention below the singularity theorems do depend on certain
energy conditions, and quantum fields can violate them in certain cases, so this might be a way out.
Ken G said:
Newtonian mechanics respects CPT too, and seems to have all the essential elements Hawking quotes in his paradox resolution, as long as we stipulate the existence of Hawking radiation.
What are the essential elements you're referring to? It seems to me that Hawking is invoking ideas beyond just classical chaos + Hawking radiation + CPT invariance--for example look at the section from his paper I was asking about earlier, where he said "I take this as indicating that the topologically trivial periodically identified anti deSitter metric is the metric that interpolates between collapse to a black hole and evaporation." Also, the Nature article
here suggests Hawking is just trying to sketch how he thinks things would work in a future theory of quantum gravity: 'A full explanation of the process, the physicist admits, would require a theory that successfully merges gravity with the other fundamental forces of nature. But that is a goal that has eluded physicists for nearly a century. “The correct treatment,” Hawking says, “remains a mystery.”'
Ken G said:
Indeed, if chaos precludes the creation of real event horizons, then the Penrose-Hawking theorems are invalid anyway, even without Hawking radiation or quantum mechanics.
I don't think it's true that the Penrose-Hawking singularity theorems depend on the assumption that there's a "real event horizon". The wikipedia article does at one point describe the singularity theorem in terms of event horizons--"The singularity theorems prove that this cannot happen, and that a singularity will always form once an event horizon forms"--but there is no citation for this claim and I suspect it's incorrect, because Hawking's theorem dealt with the Big Bang singularity which wouldn't have an event horizon, and anyway I thought event horizons were
defined in terms of the boundary between points where all lightlike worldlines hit a singularity and points where some can escape to infinity. The review on singularity theorems at
http://arxiv.org/pdf/physics/0605007.pdf gives an outline on pages 7-8 of what conditions are used to derive the conclusion that a singularity forms, and event horizons aren't among them:
The culmination was the celebrated Hawking-Penrose theorem (Hawking and Penrose, 1970), which since then is the singularity theorem par excellence. However,
all of the singularity theorems share a well-defined skeleton, the very same pattern. This is, succintly, as follows (Senovilla, 1998a)
Theorem 1 (Pattern Singularity Theorem) If a space-time of sufficient differentiability satisfies
1. a condition on the curvature
2. a causality condition
3. and an appropriate initial and/or boundary condition
then there are null or time-like inextensible incomplete geodesics.
As explained on p. 8, #1 is satisfied as long as the matter field doesn't violate certain energy conditions like the
strong energy condition, and p. 5 of
this presentation by Matt Visser mentions that the Penrose singularity theorem which is relevant to black holes (as opposed to the Big Bang, which Hawking's dealt with) requires the weak energy condition. Also note that p. 6 of Visser's presentation mentions that the averaged null energy condition (ANEC) is used in the "generalized Penrose singularity theorem" by Roman (which seems to be
this paper, which says "we show that Penrose’s singularity theorem will still hold if the weak energy condition is replaced by a weaker (nonlocal) energy condition and if the null generic condition holds"), and that "ANEC is the weakest averaged energy condition in common use." So although quantum fields like those involved in Hawking radiation can violate various energy conditions, it sounds like the conclusion of an inevitable singularity would still apply provided Hawking radiation didn't violate ANEC--I'm not sure if current theory says anything definite about this one way or the other.
#2 is discussed on p. 8 of the paper, they call it the "most reasonable and well-founded condition" and it sounds as though it just means the spacetime doesn't contain
closed timelike curves, which wouldn't be expected in any real-world model of conditions where matter was collapsing into a black hole.
On #3, the "boundary condition", the paper says on p. 10 that the most commonly used one is the existence of a "trapped surface", which is different from an event horizon. One such trapped surface would be the
apparent horizon, which is defined as the outermost trapped surface around a black hole, and can differ from the event horizon--and Hawking says in the abstract that his proposal involves the claim that "gravitational collapse produces apparent horizons but no event horizons behind which information is lost". So there is no assumption of an event horizon here, only an apparent horizon, which Hawking still assumes would exist.
If I'm understand the above summary of the Penrose-Hawking singularity theorems correctly, it shouldn't be possible in general relativity or semiclassical gravity to have such a trapped surface and to avoid a singularity, at least not unless the spacetime contains closed timelike curves or violates ANEC. It might be that current knowledge doesn't rule out the idea that Hawking radiation violates ANEC and that this means semiclassical gravity alone can give a model where there are no singularities and no true event horizons, but I doubt Hawking was trying to argue for such a purely semiclassical explanation, since he doesn't even mention energy conditions in his paper.