光为什么能在有限时间走到 AdS 边界

一张地图需要配上尺和钟

在普通地图上，两个点的像素距离不能直接当成公里数。时空图也一样，还要告诉你每一个位置怎样换算距离和时间。这张换算表叫度规。它把坐标变化变成当地尺和钟读到的量。

我们只看一维角方向和一维径向的 AdS，也就是三维时空 AdS3。取光速为一，曲率半径 $L$ 带长度单位；整体时间 $\tau$ 、径向角 $\rho$ 和方位角 $\phi$ 都无量纲， $0\leq\rho<\pi/2$ 。物理时间可用中心时钟的 $T=L\tau$ 表示。整体时间不作周期认同，因此这里使用 AdS 的普适覆盖。

度规中的负号区分时间方向。固定在一个位置的钟，只有时间项贡献；在同一时刻测距离，只有空间项贡献。光的时空间隔为零。这三种取法会从同一度规读出三个不同的问题。

ds^2=\frac{L^2}{\cos^2\rho}\left(-d\tau^2+d\rho^2+\sin^2\rho\,d\phi^2\right)

这是固定、纯净的整体 AdS3 背景。没有物质改变曲率，也没有黑洞。圆盘只画空间坐标，时间由运动表示。

来源：João Penedones · Shinsei Ryu and Tadashi Takayanagi

先让一个光脉冲向外走

径向光线保持方位角不变，所以 $d\phi=0$ 。再把光的条件 $ds^2=0$ 代入，正的整体因子消掉，得到 $d\tau=d\rho$ 。从 $\rho_s$ 发出的向外光脉冲，在 $\rho_c$ 的截断面到达时刻因此是两者之差。

完整例题：源在 $\rho_s=\pi/6$ ，接收面在 $\rho_c=5\pi/12$ 。光需要 $\Delta\tau=\pi/4$ ，对应中心时钟 $\Delta T=\pi L/4$ 。接收面继续向外移动到边界，剩余时间趋于 $\pi/12$ 。边界是极限位置，不是圆盘外架设的一圈实体探测器。

把整个度规乘一个处处为正的函数，不改变哪些方向是光方向。去掉前面的发散因子，就能把无穷远画在有限纸面上；这种图叫共形图。这种图保留光的方向，适合判断信号能不能到达；固有距离另按完整度规积分。

\Delta\tau=\rho_c-\rho_s\;\longrightarrow\;\frac{\pi}{2}-\rho_s

有限的是整体坐标时间。光的固有时间始终为零。沿零测地线还可选仿射参数来标记位置；这个参数在边界发散。

径向共形图。相同坐标步长能画在有限纸面上；靠近右侧边界，当地尺长不断增大。金线表示零间隔光路。

距离的积分为什么发散

现在换个问题：让许多静止观察者在同一个整体时刻排成径向一列，把各自量到的小段距离相加。我们不再沿光的路径走，而是在一个空间切片上铺尺。

度规给出小段 $d\ell=L\,d\rho/\cos\rho$ 。靠近边界，余弦趋于零，每一小格坐标对应的尺长越来越大。积分得到对数发散。同时，固定位置时钟的固有时增量为 $d\sigma=L\,d\tau/\cos\rho$ ；越靠外，同样一段整体时间里当地钟累计的固有时越多。

拿整段固有距离除以中心时钟经过的时间，并不是一个局域速度测量。局部观察者始终测得光速为一。整体比较必须沿途使用各处的尺和钟。下一章暂时离开几何，从两量子比特开始认识纠缠；只有把两套语言各自学清楚，才适合问它们怎样对应。

\frac{\ell(\rho_s,\rho_c)}{L}=\left[\log(\sec\rho+\tan\rho)\right]_{\rho_s}^{\rho_c}

空间距离在截断面移向边界时发散。AdS 的负曲率由完整度规确定，圆盘只是坐标图。

来源：João Penedones · Shinsei Ryu and Tadashi Takayanagi

把推理带进实验

移动光源，预测到达时刻

先看默认脉冲，指出光源、虚线截断面和共形边界。选择“先到近侧边界”，让金色光线沿径向向外发射。
把光源向外拖一小段，预测向外信号会早到还是晚到，再比较到达时间。
保持光源不动，展开“距离与模型假设”，增大“径向截断面”。解释为什么空间距离迅速增长，共形边界到达时间保持不变。

练习与解释性答案

光源在中心。从中心走到 $\rho=\pi/4$ 与从那里走到边界，各需要多少整体时间？两段固有距离相等吗？

展开解释

两段坐标时间都为 $\pi/4$ 。第一段距离有限，第二段通向边界，固有距离发散。相同坐标时间没有保证相同切片距离。

把图上的径向坐标重新标成原来的两倍，光线的斜率会改变吗？因果关系会改变吗？

展开解释

斜率随坐标标度改变；度规也要一起变换。相同两事件之间能否传递信号不受这种重新标号影响。只看图上的四十五度线而不看坐标定义，会误判光速。

来源与复算范围

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

João Penedones, TASI lectures on AdS/CFT, arXiv:1608.04948v1 (2016)

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

Shinsei Ryu and Tadashi Takayanagi, Holographic Derivation of Entanglement Entropy from AdS/CFT, hep-th/0603001v2; PRL 96, 181602 (2006)

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