量子修正怎样移动极值曲面

曲面把体内量子场也分成两半

第四章只给曲线分配几何长度。现在在体内放入量子场，曲线两侧的场也会纠缠。把一对纠缠激发放在两侧，单看其中一侧就多出一份不确定性，正如第二章的两量子比特。边界熵的下一阶修正必须读到这份体信息。

先把引力场当作静态半经典背景，计算物质场的一圈修正及其反作用。取 $\hbar=1$ 并固定经典长度尺度，面积项规模为 $1/G_N$，一圈量子场修正规模为 $G_N^0$。Faulkner、Lewkowycz 和 Maldacena 在所研究的静态条件下，把下一阶修正写成体纠缠熵及额外局域项。面积项须包含这一阶的量子反作用；额外局域项还包含 Wald 型修正与重整化项，用来消除短距离发散。

来源：Thomas Faulkner · Netta Engelhardt and Aron C. Wall

为什么不能只在旧曲面上加一个数

移动曲面会同时改变几何面积与它切开的体量子态。经典极值处，面积的一阶变化为零；体纠缠的一阶变化通常不为零。于是旧曲面附近会出现一个新的平衡位置，称为量子极值曲面。曲面要锚定在边界区域端点，并与该区域同调。先求极值，再比较候选的广义熵；含时间的问题要沿全部法向求驻值。熵差远大于一 nat 时，可选广义熵最小的主导候选；近乎简并时，多鞍点贡献可能同样重要。

把一个允许的曲面位移模式记为无量纲 $q$。在 AdS3 里用曲率半径 $L$ 无量纲化，记 $g=G_N/L$、$a_0=A_0/L$。构造局部例题：面积项为 $a_0/(4g)+Kq^2/(2g)$，其余熵项为 $S_0+bq$。$K>0$ 保证经典局部极小，$b$ 是非面积熵项对位移的斜率，常数项取足够大，保证所考察邻域内总熵为正。求导后，新位置为 $q_*=-gb/K$。

完整例题：在同一无量纲化约定下取 $g=0.01$、$K=2$、$b=3$，得到 $q_*=-0.015$。新位置的熵比旧位置降低 $0.0225$ nat。位移是一阶小量，而重新取位置造成的熵变化比一圈主修正又小一阶。这解释了为什么在 FLM 的计算精度内，在经典曲面上评价体熵已经足够。

来源：Netta Engelhardt and Aron C. Wall

两个候选答案怎样形成 Page 形状

设一个黑洞与外部辐射系统交换信息。仅用半经典 Hawking 对产生的早期计算，辐射熵会持续增长。若整个蒸发过程幺正且初态纯，最终辐射也应为纯态。量子极值曲面计算中，辐射区域可能出现另一种候选：体区域包含一块通常称作岛的部分，并承担相应面积代价。两种候选竞争可改变占优答案。

先只研究竞争的数学。令 $u\in[0,1]$ 表示示意过程进度，两候选熵设为 $s_1(u)=20u$ 与 $s_2(u)=12(1-u)$ nat。相交点满足 $32u=12$，所以 $u_*=3/8$，交点熵为 $7.5$。取较小分支便得到先升后降的折线。两条函数由课程指定，用来单独观察候选的竞争。

这个例子说明转变的逻辑：每条分支可以平滑，取占优分支后导数却会出现折点。物理推导必须先证明两条候选真是允许的量子极值鞍点，并处理辐射系统如何与引力区耦合。接近交点时，有限耦合下的多鞍点贡献也可能修正这条折线。

来源：Geoffrey Penington

把信息问题放回它的条件里

Penington 研究的蒸发设置采用吸收边界条件，让能量离开 AdS 黑洞；它与第一章固定纯 AdS 中的光传播不同。计算涉及量子极值曲面、边界辐射系统以及特定的半经典状态。重建还可能随编码子空间和精度要求改变。

这条理论进展把辐射熵、体区域和可恢复信息连成了可计算的问题。要实际解出辐射里的信息，还得考虑解码需要多少计算。受控近似以外的动力学，以及向我们宇宙时空的推广，则需要新的方法。有限张量或浏览器中的固定背景可以帮助理解其中一步，下一章会把每一步能复算到什么程度列清楚。

来源：Geoffrey Penington · Xi Dong