从小模型读到全息论文

先复算一条有参数的结果

打开 Ryu 与 Takayanagi 2006 年论文第二节。式 (9) 给出整体 AdS3 中两个截断端点的距离，式 (10) 取大截断后与圆周 CFT 区间熵比较。记录曲率半径、径向坐标和圆周区间比例，再代入公式。不要把它的双曲径向坐标，与第一章取值有限的径向角混用。

具体检查取论文的双曲径向坐标 $r_0=2$、角间隔 $\Delta\phi=\pi/3$。按式 (9)，无量纲长度满足 $\cosh(\mathcal L/L)=1+2\sinh^2(r_0)\sin^2(\Delta\phi/2)$。还可把端点嵌入双曲面，用 Minkowski 内积独立求距离。两条计算的输入相同，方法不同，适合交叉验证。

Poincaré Lab 则选择等高有限端点。它在有限截断处与原文采用的边界锚定再裁切的圆弧不同，连续极限一致。复算报告应分别列原文检查、Lab 约定和二者接近的极限。先统一端点条件，两个计算之间的差才可用于检查数值误差。

来源：Shinsei Ryu and Tadashi Takayanagi

再看两个区间的转变

Headrick 第 4.2 节图 1 画出两种配对，式 (38)—(42) 把曲线总长变成互信息。先固定两个等长区间，只扫间距；再检查哪一种配对先变短。这比只画最终互信息更容易发现端点顺序、截断和取最小值是否正确。

把区间长度设为一，间距设为 $1/4$，连续主阶预测 $I/c=(1/3)\log(16/9)\simeq0.191788$。换成间距 $1/2$ 时，主阶为零。检查这两个值之外，还要扫过 $d=\sqrt2-1$ 附近，验证两候选在那里相交。有限截断诊断会稍微移动交点，应随截断减小收敛到这个值。

这次复算覆盖论文的一项解析预测，没有复制 replica 鞍点的求解，也没有得到一个任意中心荷 CFT 的精确答案。原文在式 (42) 后就解释了主阶为零时仍可存在下一阶关联。理解这句讨论，比让图上显示一个干净的零更重要。

来源：Matthew Headrick

对小编码逐态检验

Pastawski 等人附录 A.1 给出五量子比特码的稳定子与逻辑算符。从稳定子公共本征空间构造两个正交码字，再对全部擦除组合逐一求偏迹和恢复。几何图上的五个节点只是五个张量因子的排列；图中两节点距离远近不进入量子通道。

只检查逻辑零和逻辑一不够。一个把相干性全部去掉的通道也能通过这两项。还要检查 $\lvert+\rangle$ 和 $\lvert+i\rangle$，或更彻底地让逻辑输入与一个外部参考量子比特最大纠缠。若恢复后的参考—逻辑联合态也保持，才能确认通道保留任意叠加与外部关联。

保存数值时，记录输入复振幅、擦除集合、保留子系统密度矩阵和恢复态。后续从这些数据重新计算保真度 $F=\langle\psi\rvert\rho_{\rm rec}\lvert\psi\rangle$，而不是从“擦除两位”这个标签直接赋值为一。完整运行是确定性的，不需要随机种子；若另外抽样输入，就应保存种子和抽样方法。

来源：Fernando Pastawski · Ahmed Almheiri

让模型在该失败的地方失败

保留两个物理量子比特时，这个五比特码的保留子系统不含逻辑态信息。把输入从逻辑零转到逻辑一，再转到不同相位，保留态都相同。任何只读取这个保留态的恢复器，都不可能对全部输入给出不同且正确的输出。这个反例直接来自量子通道；无需争论图上的一个区域“看起来像不像纠缠楔”。

反过来，只要任意重画五个节点的位置，恢复性能完全不变，就说明该编码没有由显示坐标定义的连续空间度规。它有等距性、秘密共享和冗余算符表示，却没有自动提供局部 Hamiltonian、CFT 关联函数的距离幂律或 Einstein 动力学。要走向完整 HaPPY 网络，需要把多个张量连起来并指定网络边与切割规则；要走向连续 AdS/CFT，还需要另一层物理输入。

这些失败方式也给后续研究指路：先挑一个新结构，例如网络尺寸或近似编码误差；定义可比较的量，再看它能否随尺寸增长趋于连续结果。有限样例中的成功只能回答已检验的通道问题。

来源：Fernando Pastawski · Xi Dong · João Penedones

把三类问题放在各自的方法里

固定背景上的几何可以由积分与因果方程检验；有限维编码可以由矩阵恒等式和恢复误差检验；真实引力理论中的对应，需要满足场论与引力两侧的结构。课程的图是模型计算或明确标出的示意图，来源没有实验探测记录。黑洞微观态和引力路径积分保留为论文阅读节点。

到这里，可以从一个边界区间出发，算曲线、消去截断、比较候选，也能从一个逻辑态出发，编码、擦除并重建。下一步读论文时，先找到它改动了这条链上的哪一步。问题越具体，越容易把新结论接回已经算懂的东西。