---
title: "从小模型读到全息论文"
description: "重算已发表的区间公式和五比特码，比较几何、编码与连续理论的假设，识别有限玩具模型的失效处。"
canonical_url: "https://sandboxphysics.com/zh/stories/holography/reading-the-models/"
language: "zh-CN"
page_type: "story"
alternate_languages:
  en: "https://sandboxphysics.com/stories/holography/reading-the-models/"
last_modified: "2026-10-28"
---

[全息与量子引力](https://sandboxphysics.com/zh/stories/holography/)

L4 · 第 8 章

# 从小模型读到全息论文

Sandbox Physics · 2026-10-28

小模型能让人把论文里的一步真正算完。可以积分一条曲线、擦掉一个子系统，再恢复一个含相位的态。接下来要问，这一步用了什么输入，又把哪些事情留给了理论假设。沿着输入追到输出，才知道一个漂亮结果应当怎样解释。

## 开始前需要什么

第四章的截断长度，第五章的双区间配对和第六章的五比特恢复。阅读论文时需要认识偏迹、等距映射和误差阶次；这些工具在前文已定义。这里不要求预先掌握完整共形场论或引力路径积分。

- 独立复算一项论文参考结果，并为数值误差找到具体来源。
- 用反例说明小编码、张量图和连续引力理论之间缺少哪些额外结构。

## 先复算一条有参数的结果

打开 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 约定和二者接近的极限。先统一端点条件，两个计算之间的差才可用于检查数值误差。

$$
X=L(\cosh r,\sinh r\cos\phi,\sinh r\sin\phi),\qquad \cosh\frac{\mathcal L}{L}=-\frac{X_1\cdot X_2}{L^2}
$$

嵌入空间内积的符号为负、正、正。它只用于等时双曲平面的距离，与光传播所用的时空间隔区分。

来源：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$，而不是从“擦除两位”这个标签直接赋值为一。完整运行是确定性的，不需要随机种子；若另外抽样输入，就应保存种子和抽样方法。

$$
|\Phi\rangle_{RL}=\frac{|00\rangle+|11\rangle}{\sqrt2},\qquad (\operatorname{id}_R\otimes\mathcal R\circ\mathcal N)(|\Phi\rangle\langle\Phi|)=|\Phi\rangle\langle\Phi|
$$

这里的等式在可纠正擦除集合上成立。检验整个联合矩阵，同时检查实部、虚部与相干项。

来源：Fernando Pastawski · Ahmed Almheiri

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

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

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

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

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

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

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

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

## 把推理带进实验

### [复算一个解析切片](https://sandboxphysics.com/zh/labs/ads-interval-entanglement/)

1. 固定区间宽度为一，比较四分之一和二分之一间距，记录连续主阶互信息与有限截断曲线总长。
2. 减小截断，比较交点怎样向连续阈值靠近。保存记录并注明端点约定。

### [给恢复器一个会暴露相位错误的输入](https://sandboxphysics.com/zh/labs/boundary-quantum-code/)

1. 选择有虚振幅的输入，擦除两位并保存恢复记录。比较恢复矩阵的非对角元。
2. 再擦除一位，重复不同输入。解释为什么对少量输入碰巧高的保真度不能替代任意态恢复。

## 练习与解释性答案

1. 保持编码矩阵不变，把五个节点从五边形改画成一条线。哪些结果会改变？

   展开解释

   画面和人对邻近关系的直觉会改变。偏迹、恢复矩阵和保真度只依赖张量因子与擦除集合，所以不变。要让位置决定动力学或纠错能力，必须额外定义局部相互作用或网络连接。

2. 为什么一个数值积分与解析式吻合，仍然不算复现了整篇全息论文？

   展开解释

   它只检验指定度规、端点与截断下的长度。对应所需的 CFT、引力有效作用量、量子修正和其他鞍点尚未由这个比较计算。复现范围应按实际完成的步骤命名。

[上一章：量子修正怎样移动极值曲面](https://sandboxphysics.com/zh/stories/holography/quantum-extremal-surfaces/)

## 来源与复算范围

课程自行推导例题、绘制示意图，数值参考复算指定的解析几何和有限五比特编码。下面按实际核读位置列出计算范围与理论阅读内容。

1. [João Penedones, TASI lectures on AdS/CFT, arXiv:1608.04948v1 (2016)](https://arxiv.org/html/1608.04948v1)

   第 3.1—3.3 节的整体与 Poincaré 坐标、固定背景场、边界源和动力学引力，以及第 4.1 节的弱耦合体理论条件。课程据这些度规和场方程推导径向光路与标量场近边界指数。

2. [Shinsei Ryu and Tadashi Takayanagi, Holographic Derivation of Entanglement Entropy from AdS/CFT, hep-th/0603001v2; PRL 96, 181602 (2006)](https://arxiv.org/html/hep-th/0603001v2)

   式 (5) 的静态面积公式；式 (6)—(10) 和图 1 的真空 AdS3 区间几何与圆周结果。这里独立积分 Poincaré 测地线并比较截断极限；等高有限截断端点另作几何诊断。多区间取极小值采用 Headrick 的结果，不采用这篇早期论文的式 (12)。

3. [Matthew Headrick, Entanglement Rényi entropies in holographic theories, arXiv:1006.0047v3; PRD 82, 126010 (2010)](https://arxiv.org/html/1006.0047v3)

   第 3.1.3、4.2 节，尤其图 1：真空双区间的两种同调配对、切换和主阶互信息。这里复算等长区间随间距改变的特例，不复现数值 replica 鞍点，也不复制原图。

4. [Fernando Pastawski, Beni Yoshida, Daniel Harlow and John Preskill, Holographic quantum error-correcting codes, arXiv:1503.06237v2; JHEP 06 (2015) 149](https://arxiv.org/html/1503.06237v2)

   第 2 节定义完美张量；附录 A.1 式 (30)—(32) 给出五量子比特码。这里从稳定子构造单个张量并复算已知位置擦除的恢复。浏览器不搭建多五边形网络，也不复现它的贪心擦除阈值。

5. [Ahmed Almheiri, Xi Dong and Daniel Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT, arXiv:1411.7041v3; JHEP 04 (2015) 163](https://arxiv.org/html/1411.7041v3)

   第 3—4 节：体重建的编码子空间解释和量子秘密共享。用于解释算符重建的含义，不声称数值复现了共形场论。

6. [Xi Dong, Daniel Harlow and Aron C. Wall, Bulk Reconstruction in the Entanglement Wedge in AdS/CFT, arXiv:1601.05416v2; PRL 117, 021601 (2016)](https://arxiv.org/html/1601.05416v2)

   第 I—II 节与图 1 定义因果楔、纠缠楔及微扰编码子空间；第 III—IV 节给出重建所需的相对熵假设。课程解释这些条件，有限码的检验属于另一个精确模型。