霍金 vs 彭罗斯:黑洞信息悖论
黑洞是否破坏信息?
体裁说明:本文是基于双方公开著作、论文与通信立场编写的虚构对话,用于呈现真实存在的思想分歧。文中台词并非史料记录的原话,请勿作为引语引用;双方的实际观点请查阅文末各自的原始文献。
场景压缩 1960 年代剑桥的奇点定理到 2016 年前后的“软毛”讨论。霍金 2018 年 3 月 14 日去世,此后的观测与计算不进入他的台词。 两位广义相对论的大师,一位坐在轮椅上用合成声音说话,一位用铅笔在纸上画彭罗斯图。 他们争论的不是谁对谁错——而是物理学最基本的原则是否在黑洞面前失效。
彭罗斯:霍金,先把定理说准确。我 1965 年那篇《引力坍缩与时空奇点》证明的不是“密度变成无穷大”这句口头禅。它证明的是:若出现俘获面——一束向内的光也无法再散开——并且零能量条件成立、因果结构没有坏到允许闭时曲线,则必有不能再延拓的测地线。时空在那里终结。物理定律写到那条线的尽头就没了下文。无穷曲率是一种常见的读法,不是定理的陈述。
霍金:是的,罗杰。我后来把你的方法倒过来用在宇宙学上:不是坍缩的未来,而是膨胀的过去。我们 1970 年联名写了那篇关于引力坍缩与宇宙学奇点的皇家学会论文。可我想讨论的不是奇点本身——而是黑洞的边界,事件视界。我算了视界外的量子场,发现黑洞并不是完全“黑”的。
彭罗斯:你是说 1974 年《自然》上那篇《黑洞爆炸?》,以及 1975 年数学物理通讯里更完整的计算。
霍金:是的。半经典地看,黑洞以热谱缓缓辐射,温度与质量成反比,最终可以蒸发完。贝肯斯坦此前已经主张,黑洞熵应与视界面积成正比。我的辐射给了那份熵一个温度。但这里有一个严重的问题——
彭罗斯:信息悖论。
霍金:正是。假设你把一本百科全书扔进黑洞。量子力学要求信息原则上可被重建:演化应当是幺正的。若蒸发后只剩热辐射,那本书去了哪里?1976 年我写过《引力坍缩中可预言性的破缺》。当时我的答案很硬:可预言性在这里真的破了。
彭罗斯:我认为答案可以更硬:信息被销毁了。奇点是一切的终点——物理定律在那里失效,包括信息守恒。热辐射不需要把那本书编码回来。
霍金:罗杰,你这是在说量子力学的骨架错了。信息守恒不是一条普通的动力学定律,它是量子理论的幺正结构本身。如果信息可以被销毁,整副骨架都会松。
彭罗斯:也许在极端条件下,量子力学确实需要修正。我们不是一直在找量子引力吗?也许正确的理论会说:在奇点附近,幺正性不再是最高原则。
霍金:这是很大胆的假设。你需要一个理论来说明信息如何被销毁,以及销毁之后实验室里还剩下什么可检验的痕迹。
彭罗斯:也许奇点就是这个说明。时空在那里被撕开,物质和辐射作为信息的载体被摧毁,信息随之消失。定理已经把“永远躲过去”这条路堵死了——至少在经典广义相对论里。
霍金:但这违反幺正性。量子态的时间演化必须可逆:你总可以从终态推回初态。信息若消失,可逆性就断了。
彭罗斯:也许幺正性只在远离奇点的近似里成立。真正的量子引力可能有更深层的原理。我并不把“骨架不能动”当成神学。
霍金:(停顿)罗杰,你知道我后来改主意了吗?
彭罗斯:你是说你放弃了信息被销毁?
霍金:是的。1997 年我和索恩对普雷斯基尔打过那个赌:输的人请一本可以从中任意检索信息的百科全书。2004 年 7 月 21 日,在都柏林第十七届广义相对论与引力会议上,我认输,把《棒球大全》交给了普雷斯基尔。我花了三十年。最终的结论是:信息必须被保留。蒸发过程可以极复杂,但信息不该在外部宇宙里彻底失踪。
彭罗斯:你是怎么改的?
霍金:AdS/CFT 对偶是一记重击。马尔达西那 1997 年的那份对应说:反德西特空间里的引力理论,可以与边界上的量子场论完全等价。边界理论是幺正的,引力侧就不能靠蒸发把信息抹掉。
彭罗斯:但 AdS/CFT 针对的是负宇宙学常数。我们的宇宙是德西特的,常数为正。把一份对偶直接搬过来当判决,我听着仍像类比,不像证明。
霍金:原则上是这样。它表明的是相容性的方向:引力和量子力学未必注定互相撕咬。若信息真被销毁,这份相容性先碎。至于我们这个正宇宙学常数的宇宙,账还没结清。
彭罗斯:那么你如何解决信息悖论?说“必须保留”不是机制。
霍金:一种可能是:信息写在霍金辐射里那些极弱的关联中。辐射看起来是热的,若你能对所有量子态做精确测量,会发现它们携带着落入物的信息。太阳质量黑洞的霍金温度只有约 开尔文,低过宇宙微波背景,实验室里谁也收不到那份热谱。问题的硬度不在可观测性,在原则。
霍金:2016 年前后我和佩里、斯特罗明格谈过视界上的“软毛”:零能量的光子或引力子,可以在视界上留下比无毛定理所允许的更多印记。够不够写出整本百科全书,我不敢吹。都柏林那次我还说过:欧几里得路径积分若只对拓扑平凡的度规求和,解析延拓后可以是幺正的;真正的事件视界也许根本不形成,形成的只是表观视界。那是一条路,不是已经走完的证明。
彭罗斯:这听起来像把信息打碎再拼。打碎的还是原来那本吗?无毛定理说黑洞对外只显示质量、电荷、角动量。你要在这三条之外再藏一部书,需要非常小心,别把半经典几何本身改坏。
霍金:从量子力学的账上看,只要幺正性成立,信息就是守恒的,不管被变换成多么难看的形式。我 2004 年说过:跳进黑洞的人,质量能量会回到我们的宇宙,但是以一种认不出来的乱码。
彭罗斯:我仍然有疑虑。换一个角度——宇宙监督。我 1969 年提出:自然界禁止裸奇点。弱的版本是:从无穷远看不见它,奇点得被视界包住。强的版本更狠,关系到内部是否仍能由初值决定。
霍金:这是你最著名的猜想之一。它还不是定理。
彭罗斯:如果裸奇点能被外部看见,定律在它附近失效就不再是“别人家里的事”,因果律会从外面被啃。经典广义相对论里,我仍相信监督大体成立。反例多半要靠精心挑的对称性。
霍金:我同意经典侧很可能如此。量子引力呢?也许量子效应会把奇点“解开”,而不是继续把它藏在窗帘后面。
彭罗斯:这就是分歧。我认为奇点是物理实在——时空在那里真正终结,测地线不再有下一步。你认为它可能是理论不完备的产物,正确的量子引力会消除它。
霍金:两种都可能。无论奇点是否真实存在,信息悖论都是真问题。若信息被销毁,我们需要新理论;若信息被保留,我们需要说明它如何从视界里出来。佩奇后来强调:若要幺正,辐射的纠缠熵不能一直涨到蒸发完,中途得拐下来。半经典热谱不知道这条拐弯。
彭罗斯:霍金,这场争论可能要一百年。
霍金:也许。但自然界已经有答案。我们缺的是正确的提问语言。我的身体不允许我把每一步计算都自己写完,可问题本身不因此变软。
彭罗斯:至少可以同意:黑洞是最硬的谜之一。它同时压在广义相对论、量子力学和热力学上。
霍金:任何最终理论都必须解释它。不能只解释恒星,不解释视界。
彭罗斯:所以我仍相信,理解奇点是通往量子引力的关键。把测地线不完备当成计算事故,等于拒绝听定理。
霍金:而我相信,理解信息悖论是关键。也许我们会在某处相遇。
彭罗斯:在事件视界的另一边?
霍金:或者在奇点的另一侧。无论在哪里,提问不会停。
彭罗斯:霍金,黑洞内部是什么样的?我画的彭罗斯图把因果结构摊平:视界、奇点、时间方向。那是经典图。
霍金:经典答案是:内部极度弯曲,类时路径都指向奇点。量子涨落在靠近尽头时会剧烈到让“内部”这个词失去几何意义。也许我们需要换语言——不再只说几何,而说信息如何编码。
彭罗斯:信息的语言?
霍金:事件视界或许不是一堵砖墙,而是信息的边界。全息原理把这个想法说死:黑洞的信息按面积、而不是按体积来数。若全息是对的,“内部”有一部分是投影。
彭罗斯:这与贝肯斯坦的面积熵一脉相承。可我仍不愿把内部直接说成幻觉。彭罗斯图不是装饰。若内部没有几何,俘获面定理还在说什么?
霍金:定理在它的前提下仍在说。半经典几何是有效描述。有效描述可以在某个尺度上失效,而不变成一开始就没发生过。
彭罗斯:这听起来像洞穴比喻——我们看见的是影子。我更愿意先把经典奇点当真实终点,再让量子理论来证明我错。举证责任在要抹掉奇点的人那边。
霍金:也许时空本身是涌现的,像温度从分子运动里涌现。广义相对论就只是有效理论。黑洞是把这套有效理论按到极限的实验室。
彭罗斯:霍金,也许分歧会被一个我们今天叫不上名的理论收掉。在那之前,继续争。争是工作方式,不是失礼。
霍金:同意。即使我们活不到看见答案。
彭罗斯:正因为看不见全部,才值得把能看清的那一段写严格。
霍金:罗杰,最后一问。黑洞最终会教会我们什么?
彭罗斯:时空可能不是基本的。更深的一层里,它或许从别的结构涌现——像温度从分子来。但我不会因为这句话,就把 1965 年的定理当成过时海报。涌现若发生,也必须解释:为什么在俘获面出现之后,经典描述会走到测地线的尽头。
霍金:若时空是涌现的,广义相对论就不是最终理论。牛顿力学是它的近似,它也可能是某个更深层理论的近似。
彭罗斯:是的。只有在黑洞内部和宇宙学开端,这层近似才被按破。量子效应在那里不再是修正项。
霍金:所以这不只是天体物理。它是基础物理的核心。信息是否被销毁、奇点是否真实,都是路标。
彭罗斯:路标可以指向相反方向。那也没关系。相反的路标至少标明:这里有一座桥还没造好。
霍金:也许有人会站在我们肩膀上,看见今天看不见的那一岸。我未必能等到。
彭罗斯:在黑洞的另一边。
霍金:在物理学的更深处。把问题留下,比假装已经过河更诚实。
分析
霍金与彭罗斯的争论触及理论物理最深层的张力:广义相对论与量子力学能否共存。彭罗斯坚持把奇点定理读成时空的真实终结——信息可以在尽头被销毁,这意味着极端条件下修正的是量子力学的幺正性。霍金从幺正性出发,主张信息必须被保留,哪怕这意味着视界不再是无毛的理想曲面。两人 1960 年代曾共用同一套奇点定理工具;分歧发生在把量子场放到弯曲时空之后。
两种立场都有硬结果垫底。彭罗斯 1965 年的定理说的是测地线不完备,不是一句“密度无穷大”的科普转述;霍金—彭罗斯 1970 年的论文把坍缩与宇宙学开端放到同一类结论下。霍金 1974–1975 年的辐射计算则给贝肯斯坦的面积熵补上了温度,也把“黑洞会蒸发”从猜测变成半经典推导。真正的冲突发生在下一步:热辐射加上无毛,再加上蒸发完,信息账对不上。
霍金 2004 年在都柏林公开改口,关键推动来自 AdS/CFT:若引力完全等价于边界上的幺正量子场论,引力侧就不能靠蒸发销账。改口不是机制。软毛、辐射里的微弱关联,都还是候选,不是已经完成的推导。彭罗斯对“把 AdS 的对偶直接判给我们这个德西特宇宙”保持保留,这不是固执,是边界条件不同。
核心分歧
奇点是物理实在,还是理论不完备的产物?彭罗斯认为它是广义相对论在合理能量条件下的数学推论,时空在那里终结,信息可以随之消失。霍金认为信息必须被保留,奇点更像尚未写出的量子引力的征兆——正确的理论也许会消解它,而不是继续用视界把它藏起来。监督猜想管的是奇点该不该被看见;信息悖论管的是蒸发之后账还在不在。两问相关,不是同一问。
当代启示
2015 年 LIGO 探测到双黑洞并合的引力波;2019 年事件视界望远镜公布 M87* 的阴影照片。这些观测把黑洞从纯理论对象变成可以拍照、可以听的天体。霍金已经在 2018 年去世,看不到后者。
信息悖论并未因此结束。2012 年的“火墙”论证说明,若要同时保住幺正、半经典视界和无毛,会在视界上逼出一层高能墙;2019 年前后的岛屿公式则从另一条路给出了佩奇曲线的拐弯。这些都是霍金—彭罗斯争论的下游,不是对两人台词的修订。争论留下的教训很窄:在两大理论冲突的地方,进步往往来自把冲突说清楚,而不是提前宣布哪一边已经赢了。
延伸思考
- 若信息确实保留在霍金辐射的关联里,落入视界的物体在何种意义上“还在”?这改变的是实在观,还是只改变账本?
- 彭罗斯的共形循环宇宙论把黑洞蒸发后的信息问题接到宇宙的下一次开端。这种跨尺度的接法是物理,还是还需要新的可检验推论?
- AdS/CFT 适用于反德西特空间,我们的宇宙具有正宇宙学常数。霍金后来的立场有多少依赖于一份我们并不居住其中的对偶?
延伸阅读:霍金《时间简史》;彭罗斯《通向实在之路》;Susskind《黑洞战争》;Maldacena《The Large-N Limit of Superconformal Field Theories and Supergravity》(1997);Hawking, Perry, Strominger《Soft Hair on Black Holes》(2016)