黑洞信息悖论

一本书掉进黑洞后，找回文字当然很难。但信息悖论问的是更尖锐的问题：即使能够完美操控最终留下的一切，两个不同的初始量子态会不会仍然变成同一个最终态？普通燃烧把信息打散到烟、光及其关联中；根本性的抹除则会改变量子力学的规律。

这个问题把广义相对论、量子场论和统计力学联系起来。这三种理论都很成功，但当时空本身必须量子化时，它们的简单结合并不完整。以下区分受控近似的结果、以幺正性为前提的推论，以及真正的观测证据。

约定： 除岛屿公式采用 $c = k_{B} = 1$ 外，均明确保留SI常数。 $S_{BH}$ 是热力学熵， $S (R)$ 是以自然对数定义的无量纲冯·诺伊曼熵。后者乘 $k_{B}$ 才有热力学熵的单位，除以 $ln 2$ 则以比特计。主要考虑不旋转、不带电的黑洞。

1. 经典黑洞

事件视界是无法向遥远外部的未来发送信号的区域边界。它不是物质表面，而是整个时空中因果路径的性质。球对称、不旋转天体外部的真空几何为

d s^{2} = - (1 - \frac{r _{s}}{r}) c^{2} d t^{2} + (1 - \frac{r _{s}}{r})^{- 1} d r^{2} + r^{2} d Ω^{2}, r_{s} = \frac{2 GM}{c ^{2}} .

其中 $M$ 是质量， $r$ 是面积半径， $d Ω^{2} = d θ^{2} + sin^{2} θ d ϕ^{2}$ 是单位球面度规。半径 $r$ 的球面面积为 $4 π r^{2}$ 。 $r = r_{s}$ 处的坐标发散可用视界处正则的坐标消除，并不等同于 $r = 0$ 的曲率奇点。

对足够大的黑洞，自由落体观察者穿越视界时，局部曲率仍可很小。阻止逃离的是未来光锥的方向，而不是视界上存在无限大的局部引力。即使外部最终由质量、角动量和电荷这几个参数描述，也不能据此断言完整量子态只有这几项性质。

经典的不可见还不是悖论。 外部观察者无法访问内部，类似于只测量纠缠系统的一部分而读不到联合关联；这不必破坏全局态。问题在于：如果量子辐射使黑洞彻底消失，没有内部系统留下来纯化辐射，关联将由谁承载？最后的量子引力阶段是否真的完全蒸发，本身也是一个假设。

2. 霍金辐射

在霍金的计算（1975年）中，量子场在经典坍缩几何上传播。遥远过去的正频率模式，在遥远未来会混合正、负频率成分。因此，初始真空也可能被远方观察者检测为有向外传播的粒子。对缓慢变化的史瓦西黑洞，有

T_{H} = \frac{ℏ c ^{3}}{8 π GM k _{B}}, ⟨ N_{ω} ⟩ = \frac{1}{e ^{ℏ ω / (k_{B} T_{H})} - 1} .

$ω$ 为角频率。占据数是玻色子的热因子；费米子的分母取加号。曲率会散射出射波，因此实际通量还包含依赖频率和角动量的灰体透射因子。这些因子改变谱形，却不能单独解除辐射与不可访问自由度之间的纠缠。常见的粒子—反粒子对图景只是助记，并非严格推导，也不能唯一确定粒子的产生位置。

数量级示例。 代入太阳质量 $M_{⊙} ≃ 1.99 \times 1 0^{30} kg$ ，得到 $r_{s} ≃ 2.95 km$ 和 $T_{H} ≃ 6.2 \times 1 0^{- 8} K$ 。质量增至十倍，半径增至十倍，温度降至十分之一。因此，天体黑洞周围发亮的气体不是霍金辐射。这个计算在大黑洞缓慢演化时最可靠，外推到普朗克质量并不是受控近似。

视界对应的熵为

A = 4 π r_{s}^{2}, S_{BH} = \frac{k _{B} A}{4 ℓ _{P}^{2}} = \frac{4 π k _{B} G M ^{2}}{ℏ c}, ℓ_{P}^{2} = \frac{G ℏ}{c ^{3}} .

贝肯斯坦（1973年）提出的面积依赖与普通物质中熟悉的体积依赖不同。一个太阳质量的黑洞有 $S_{BH} / k_{B} ≃ 1.05 \times 1 0^{77}$ 。把它理解为相容微观态数的对数，是统计解释，而不是对每个真实黑洞都完成了直接态数计数。

可以检验热力学是否一致。对 $S_{BH} \propto M^{2}$ 求导得

\frac{d S _{BH}}{d M} = \frac{8 π k _{B} GM}{ℏ c}, T_{H} d S_{BH} = c^{2} d M = d E .

这是不旋转、不带电情形的第一定律。由于 $T_{H} \propto 1/ M$ ，失去能量反而升温：孤立黑洞具有负热容，但这不是负的绝对温度。

3. 信息悖论

令 $R$ 表示已发射辐射， $B$ 表示剩余黑洞。如果联合态是纯态，只能访问辐射的观察者使用的态为偏迹

ρ_{R} = Tr_{B} ∣Ψ ⟩ ⟨ Ψ∣, S (R) = - Tr (ρ_{R} ln ρ_{R}) .

偏迹放弃对 $B$ 的访问，并没有声称 $B$ 已物理消失。纯态密度矩阵只有一个为一的本征值，故 $S = 0$ ；混态具有多个非零本征值。完整封闭系统的幺正演化 $ρ \mapsto U ρ U^{†}$ 保持这些本征值，但子系统可以因为纠缠而变成混态。

两个量子比特的计算。 考虑

∣Ψ ⟩_{RB} = \frac{∣0 ⟩ _{R} ∣0 ⟩ _{B} + ∣1 ⟩ _{R} ∣1 ⟩ _{B}}{2}, ρ_{R} = \frac{1}{2} (1001) .

由于 $⟨ 0∣1 ⟩ = 0$ ，对 $B$ 求迹时联合态的交叉项消失。辐射比特有两个 $1/2$ 的本征值，所以 $S (R) = ln 2$ ，但联合系统仍有 $S (RB) = 0$ 。只测任一比特都看不到完整关联。如果最终两者都作为辐射被收集，整体可以是纯态，即使单独的测量结果看起来随机。

R与B两个纠缠比特的联合态是纯态；任一比特单独是混态。收集两者后，联合熵为零。

连线表示量子关联，不是跨越视界的信号。 $S (R) = S (B) = ln 2$ ，而 $S (RB) = 0$ 。收集两个子系统改变的是可访问范围，不是整体的纯度。

最低阶半经典计算中，连续发射的霍金模式与内部伙伴纠缠。如果内部消失，也没有其他系统承载关联，最终外部就会保持混态，即使初态是纯态。这就是霍金（1976年）讨论的冲突。关键是完全蒸发、平滑视界附近通常的局域场论，以及把内外简单分成独立系统这一组假设，而不只是视界的存在。

“热性”必须精确使用。普朗克型能谱或单粒子热统计并不意味着整个多粒子密度矩阵严格为热态；信息可以存在于许多量子的高阶关联中。反过来，只说“微小修正会解决问题”也不够。马图尔的小修正论证表明，在局域对产生和子系统独立性等假设成立时，这条出路受到限制。

4. 佩奇曲线

二分纯态的施密特分解说明， $ρ_{R}$ 与 $ρ_{B}$ 的非零本征值相同。若两个状态空间维数为 $d_{R}, d_{B}$ ，则

S (R) = S (B) \leq min (ln d_{R}, ln d_{B}), S (R) \approx min (S_{R}^{coarse}, \frac{S _{BH}}{k _{B}}) .

第一个关系是有限维系统的一般界限。第二个是典型态近似： $S_{R}^{coarse}$ 是忽略详细关联所得的无量纲粗粒化辐射熵。佩奇的子系统计算解释了为什么大型纯态的小子系统通常几乎最大混合。应用于黑洞辐射还需假设幺正动力学和有效态数。

早期辐射状态空间增大，熵随之上升。晚期剩余黑洞的有效态数减少，不能纯化任意大的辐射熵，曲线因此转而下降。对初始纯态的孤立系统，若完全幺正蒸发，末态辐射熵为零。这不意味着辐射能量或温度为零。 如果初态是混态，或与外部参考系统纠缠，辐射单独的末态就不必纯。

上升的粗粒化辐射熵与下降的黑洞熵相交；取较小分支得到示意性的佩奇曲线。

横轴为蒸发经过的时间，纵轴为无量纲熵。上升虚线为 $S_{R}^{coarse}$ ，下降点线为 $S_{BH} / k_{B}$ ，粗线是取两者较小值的 $S (R)$ 。交点给出该近似中的转折，并不规定普适的寿命比例。

佩奇时间的玩具模型。 假定孤立史瓦西黑洞满足常数 $α > 0$ 的质量损失定律，并忽略粒子种类改变：

\frac{d M}{d t} = - \frac{α}{M ^{2}}, M (t)^{3} = M_{0}^{3} - 3 α t, t_{evap} = \frac{M _{0}^{3}}{3 α} .

再额外理想化为 $S_{R}^{coarse} = [S_{BH} (0) - S_{BH} (t)] / k_{B}$ 。两条分支相等时，黑洞熵为初值的一半。由于熵正比于 $M^{2}$ ，得到

M_{Page} = \frac{M _{0}}{2}, \frac{t _{Page}}{t _{evap}} = 1 - 2^{- 3/2} \approx 0.646.

$0.646$ 只是这些玩具假设的结果，不是对真实辐射的预测。实际熵产生、灰体因子、自旋、周围物质和粒子阈值会改变平衡。“熵的一半”也不是质量的一半，更不是寿命的一半。

5. 提出的解决方案

解决方案必须说明改变了哪些假设，以及最终关联由什么承载。得到熵曲线、解释微观态和提供实际可执行的解码方法，是不同层次的成果。以下思路并不在所有层面都互相排斥。

(a) 信息丢失（霍金最初的观点）

根本性的信息丢失要求用更一般的规律替换封闭系统的幺正演化。仅把仍然存在的环境求偏迹，是普通开放系统演化，并不构成根本抹除。真正的信息丢失理论必须给出自洽动力学，并在弱引力环境下恢复成功的量子预测。悖论促使我们检验假设，但本身不是量子力学失败的实验证据。

(b) 遗迹

小而稳定或长寿命的遗迹可能保存信息，此时辐射并不是最终系统的全部。如果质量有上限的遗迹要保存任意大初始黑洞的信息，其内部可能状态数就极多。吉丁斯（1993年）研究了由此引出的产生率和态数难题。这些问题依赖遗迹如何耦合外场，因此不能简单断言所有遗迹模型已被排除。

(c) 信息随辐射逸出

幺正描述中，信息保存在出射量子的关联里。马尔达西纳的AdS/CFT提议把具有反德西特边界条件的某些引力理论，与边界上的无引力量子理论相联系。若双重描述成立，边界的幺正性会强烈约束引力侧。这是有力的理论依据，并不是霍金辐射的实验测量，也不是针对每颗渐近平坦时空中坍缩恒星的直接构造。

日记思想实验。 保留早期辐射，再将一条小量子消息投入已经很老、能够迅速混合信息的黑洞。在海登—普雷斯基尔模型中，获得足够的后续辐射后，可从关联恢复消息。假设包括幺正混合以及对辐射近乎完整的控制。只观察最新的光子不能直接读日记；恢复操作存在，也不保证计算或收集过程可行。

(d) 火墙

AMPS论证（2012年）聚焦于晚期出射模式 $b$ 、内部伙伴 $a$ 和早期辐射 $R$ 。平滑视界意味着 $a, b$ 强纠缠；佩奇转折后的纯化又要求 $b, R$ 具有合适的关联。若把三者当成独立子系统，就与纠缠单配性冲突： $b$ 不能同时与两个独立系统最大纠缠。

火墙方案放弃平滑视界的真空，允许高能激发。这是对假设不相容的一种回应，并非观测到的墙，也不是论证的唯一结论。其他方法重新考察子系统独立性，或内部算符如何编码在辐射中。

(e) 岛屿与量子极值曲面

岛屿处方允许内部区域 $I$ 参与辐射的细粒化熵计算：

S (R) = I min \partial I ext [\frac{Area ( \partial I )}{4 G ℏ} + S_{bulk} (R \cup I)] .

首先变动候选边界 $\partial I$ ，使表达式驻定；然后在允许的极值解中选择最小广义熵，空岛屿也包括在内。面积项是引力熵代价， $S_{bulk}$ 是并集上的量子场熵。紫外发散必须通过重整化一致处理。“先求极值，再选最小”不等于在任意区域间无条件最小化。

受控蒸发模型中，早期空岛屿分支占优，晚期非空岛屿分支占优。佩宁顿（2019年）和阿尔姆海里等（2019年）在全息设置中得到了相应的佩奇行为。复制虫洞计算在特定模型中提供了引力路径积分推导：用于计算熵的多个复制体之间出现了额外连接的鞍点。这不是把消息从天体黑洞运出的可穿越隧道。

其意义在于引力态数和内部信息的编码。岛屿不是穿过视界抛出的额外物质。重现熵曲线本身，也不会自动给出出射态的全部振幅或高效解码器。

6. 研究现状

证据及其范围，核查于2026年10月13日。 双黑洞并合引力波和M87阴影分析支持广义相对论中的天体黑洞图景，但并未测量霍金辐射的细粒化熵。本文列出的原始研究是在特定设置中支持幺正描述的理论结果，并不是直接探测到天体佩奇曲线的报告。

开放问题包括：为真实宇宙中的旋转黑洞建立完整微观描述，准确指出半经典子系统推理在哪一步失效，理解最后蒸发阶段，以及把熵计算连接到可测量的物理量。困难在于既保留低能物理的成功，又解释完整量子态。

必须区分三件事：不可访问不等于根本抹除；看似热性的谱不证明全局态混合；引力模型中的佩奇曲线也不是悖论所有方面都已由实验解决的证明。