黑洞岛屿算符如何从霍金辐射中重建？

熵曲线本身并不解码算符

岛屿公式在熵的层面解决了信息悖论：对于一个与无引力浴耦合的蒸发黑洞，在佩奇时间之后，霍金辐射的纠缠楔是一个体岛屿，由此得到的佩奇曲线是幺正的。论文认为，这一熵层面的陈述仍留下一个操作性问题：应当给出一个映射，它取岛屿代数中的一个算符，并产生一个只作用在渐近霍金辐射上的算符。

这样的映射不会自动出现。岛屿位于动态视界之后，与渐近辐射因果断开，因此普通纠缠楔重建所用的体到边界重建映射，其定义域并不包含岛屿。论文因此重新表述问题：不再要求一个从岛屿到边界的直接映射，而是问岛屿代数能否在代数上与一个已有此类映射的补集代数相关联。

模流与普通 Petz 映射都卡在视界

论文回顾了纠缠楔重建的两种标准表述，并解释它们为何在此失效。第一种由 Faulkner 和 Lewkowycz 提出，使用模流：边界模哈密顿量在局域算符上生成一个流，并通过 JLMS 关系在体中表现为一个模哈密顿量，驱动纠缠楔内部的流，从而借助涂抹核重建因果阴影深处的算符。这严格要求从体中的点到边界存在连续流，而因果上且动力学上与辐射断开的岛屿并不具备这样的流。

第二种把重建表述为量子纠错。把体态映射到辐射会定义一个含噪信道；由于 JLMS 保证体与边界之间的相对熵守恒，该信道是完全可逆的，体算符因此可以通过海森堡绘景下的 Petz 映射重建。然而它的标准应用通常需要一个全局的体到边界等距嵌入，例如全局 HKLL。在蒸发黑洞中，CFT 的因果楔只覆盖外部，岛屿落在任何已知全局等距映射的定义域之外。因此两条路线都无法给出直接的岛屿到辐射映射。

承载映射的是补集而非岛屿

核心的物理观察是：尽管岛屿 I 没有已知的到边界的直接映射，它的补集 Ī 却可以完全落在佩奇时间之后渐近 CFT 可及的纠缠楔内。论文把佩奇时间之后的柯西切片划分为 Σ = I ∪ Ī，并在半经典码代数内处理相应的冯·诺依曼代数 A_I 与 A_Ī。岛屿位于辐射的纠缠楔中，I = E_R；其补集位于整个 CFT 的纠缠楔中，Ī = E_CFT。

正是这种不对称使构造成为可能。即使 A_I 没有对应的信道，半经典 EWR 信道 N: A_Ī → A_CFT 仍然可用。论文明确指出，所需的关系 A′_I = A_Ī 是对所考虑的代数与码子空间的一个假设，而不是类空间隔的一般推论。为具体起见，它把体物质部分取为自由标量场，并假设相应的局域冯·诺依曼代数满足标准 Haag 对偶；它同时指出，在规范理论尤其是引力中，Haag 对偶并非自动成立，引力修饰可能使代数情形更加微妙。

三步模操作替代缺失的等距映射

代数 Petz 映射用任何循环且分离态都具有的模数据，替代了缺失的全局等距映射。对于岛屿算符 φ_I ∈ A_I，重建出的辐射算符为 Φ_R = J_bdy (N*)′_ψ (J_bulk φ_I J_bulk) J_bdy ∈ A_R。论文把这三个因子读作三个不同的操作。

第一步，体模共轭 J_bulk 把岛屿算符反射到补集代数 J_bulk A_I J_bulk = A_Ī，也就是存在受控信道的定义域。第二步，依赖状态的 ψ-对偶映射 (N*)′_ψ 只作用在交换子上，把算符送到边界交换子代数；用矩阵代数简写，对 φ_Ī ∈ A_Ī，它写作 ρ_CFT^{-1} N_Ī(ρ_Ī φ_Ī)。第三步，边界模共轭 J_bdy 把结果反射回物理的辐射代数。整个构造从不需要一个定义域包含岛屿本身的体到边界映射；缺失的信道通过交换子被绕过。

论文强调，得到的辐射算符本质上是依赖状态的，因为两个模共轭和对偶映射都相对于参考态定义。它还把这一构造与普通 Petz 映射的直接应用区分开来：后者的定义域必须包含要被恢复的代数。

绝热静止让模数据保持平滑

由于构造依赖状态，读者可能会担心动态蒸发的几何会在每一时刻使其失效。论文用一个时间尺度论证回应这一点。尽管量子极值面位置 X_QES(t) 在霍金蒸发过程中演化，其时间导数被缓慢的发射率压低，量级为 O(ℏ/(G_N M²))。因此在中间时间尺度 Δt ≪ M³G_N² 上，该面位置是绝热静止的。

这种静止正是重建所需要的。它保证体量子态对瞬时代数 A_Ī(t) 保持热态，从而使边界信道和模涂抹核在时间步之间保持平滑，并使 ρ_CFT 与 ρ_Ī 都近似为热态。论文还指出，佩奇时间之后 CFT 态可以被热态很好地近似，这正是体与边界参考态满足模构造所需的循环且分离条件的原因。

镜像算符由推导自然出现

第二个结果是，这一纯代数推导自然重现了 Papadodimas-Raju 镜像算符的结构，而不是把它们作为独立规定引入。在这一表述中，镜像被等同于边界理论的模共轭。论文计算了岛屿镜像算符 Õ_ω(x) 在态 |a⟩ = a|Ψ_bdy⟩ 与 |b⟩ 之间的矩阵元，利用 Õ_ω(x) 与 A_CFT 对易以及 J Δ^{1/2} = Δ^{-1/2} J，把它们化为涉及模流边界算符 O(x) 的 ρ_CFT 迹。

为了把作用完全表达到浴中，论文分别为 CFT 和辐射选取正交归一基，得到镜像算符在吸收霍金辐射的浴系统中的矩阵元。该表达式只依赖 CFT 关联函数和边界算符 O(x) 的模流，二者都是边界理论中的已知数据。论文把它呈现为岛屿模式作为作用在浴上的算符的显式、可计算重建；对蒸发情形，则把它呈现为确认岛屿信息在佩奇时间之后可被外部观察者获取的显式映射。

这套字典在哪里不再严格

构造是代数的，但其全息输入是半经典的。模流 EWR 信道以及对相关体信道的认定，都在这些结果成立的半经典展开阶数上使用，体场在 1/N 领头阶被当作自由场处理。论文还指出一个技术性限制：局域量子场论代数通常是 III 型的，因此受调控表示中的密度矩阵和迹表达式应被理解为相应代数构造的简写。

论文提出了一条可能超越领头阶的路径，即海森堡绘景下 twirled Petz 恢复信道的代数版本，但指出一个限制：构造所依赖的 Faulkner-Lewkowycz 模流 EWR 本身只在大 N 极限下成立。该公式的首个次领头修正最近已被导出，但其适用性目前仅限于没有黑洞的时空。论文还指出一个可能的观测桥梁：由于代数 Petz 映射把体内部模式变成非局域边界算符，岛屿的空间位置或许可以通过边界算符增长和 Krylov 复杂度来探测。

岛屿公式在操作层面获得了什么

这篇论文的独特贡献不是新的熵公式，而是改变了既有公式被认为确立了什么的看法。岛屿方案已经给出幺正的佩奇曲线；这项工作提供了一个算符级字典，把岛屿公式从熵的陈述提升为重建的陈述，而且不需要全局体到边界等距映射，也不需要触及岛屿的连续模流。决定性的做法是把重建问题转向交换子：岛屿没有直接信道，但它的补集有，而模共轭把两者连接起来。

因此论文中最关键的比较是两次失败与一个变通之间的比较。模流失败，是因为岛屿在因果上和动力学上与辐射断开；普通 Petz 映射失败，是因为没有全局等距映射覆盖内部；代数 Petz 映射成功，是因为它只需要外部信道加上循环且分离态的普适模结构。代价是明确的：映射依赖状态，它在所选半经典码代数内假设 A′_I = A_Ī，其全息输入只在半经典领头阶成立。在这些条件下，论文的主张是：困在黑洞内部的信息可以被解码，而长期用于描述内部的镜像算符来自模理论，而不是来自额外假设。

本文引用的文献