Holographic Timelike Entanglement and Subregion Complexity in Localized AdS3*S3*T4 Black Holes

技术摘要：局部化 $\text{AdS}_3 \times S^3 \times T^4$ 黑洞中的全息类时纠缠与子区域复杂度

问题陈述
本文研究了对洛伦兹结构敏感的全息可观测量如何探测类型 IIB 超引力中局部化黑洞的内部角几何。虽然标准的 BTZ 黑洞在提升（uplift）到内部 $S^3 \times T^4$ 时是均匀的，但局部化解（特别是“黑极点” black pole）表现出在内部球面上的非均匀且局部的视界。作者探讨了由类空分支和类时分支（而非单一空间极值面）构建的类时纠缠熵和类时子区域复杂度——这些可观测量是否能够探测到局部化几何中存在的特定角度依赖性，而这种依赖性在标准 BTZ 描述中是缺失的。

方法论
作者采用了借鉴自先前关于局部化 RT 面工作的“局部化类时处方”。该方法包含以下几个截然不同的步骤：

1. 几何结构： 研究重点是具有渐近 $\text{Ad}S_3 \times S^3 \times T^4$ 的 D1-D5 系统黑极点解。度规通过内禀 Hopf 角 $\theta$ 通过翘缩因子 $K_y(r, \theta)$ 和 $G(r, \theta)$ 依赖于。该几何特征包括一个“帽侧”（spatial circle 的平滑退化）和一个“视界侧”（time circle 的退化），两者由过渡角 $\theta_\star$ 分隔。
2. 洛伦兹分支构建： 对于在时间上延伸（$-T/2 \le t \le T/2$）的边界区间，其体块表面由有效 $(t, r)$ 平面中的两个分支构建：
   • 一个到达渐近边界的类空分支。
   • 一个终止于径向转折点 $r_0$ 的类时分支。
   • 至关重要的是，约化的分支轮廓首先在固定的角标签 $\theta_0$ 下求解。物理内禀角 $\theta$ 仅在“提升”到十维的过程中被重新引入，届时会对整个内部球面的面积或体积进行积分。
3. 固定边界区间选择： 由于精确的黑极点几何使得时间映射 $T(r_0, \theta_0)$ 具有非单调性，一个单一的边界区间 $T$ 可能对应多个径向分支和角标签。作者强制执行固定边界区间条件：对于目标 $T_{\text{target}}$，求解所有可行的 $(r_0, \theta_0)$ 对，然后通过最小化相关可观测量来选择鞍点。
4. 可观测量：
   • 类时纠缠熵 (TEE)： 计算为提升后的面积。结果通常是复数，其实部由 UV 重整化的类空贡献决定，虚部则源于类时分支以及提升后积分项的符号变化。
   • 类时子区域复杂度： 计算为有限的、重整化后的提升体积。该可观测量是实数，是通过减去普遍的边界发散后，由类空和类时加权体积组成的带符号组合定义的。

主要贡献与结果

• 非单调时间映射与分支多重性： 在精确的黑极点几何中，边界区间 $T$ 与转折点 $r_0$ 之间的关系是非单调的。对于固定的角标签 $\theta_0$，单个 $T$ 可以由两个不同的径向分支（相对于时间映射峰值的“较小 $r_0$”分支和“较大 $r_0$”分支）实现。这使得两步最小化成为必要：首先求解时间方程以找到可行的分支，然后在这些分支中最小化可观测量。
• 角度可及性与过渡区域： 最大可及边界区间 $T_{\text{max}}(\theta_0)$ 取决于角标签。随着 $T_{\text{target}}$ 增加，可行的角标签被限制在靠近帽/视界过渡角 $\theta_\star$ 的狭窄区域内。作者将其归因于一个“交叉尺度” $r_c(\theta_0) \sim \ell |\theta_0 - \theta_\star|$。在 $\theta_\star$ 附近，开启了一个过渡径向区间，其中类时分支核的对数系数比类空分支更大，从而产生一个正的对数贡献于时间间隔。这种机制允许在 $\theta_\star$ 附近从帽侧和视界侧支持更大的区间。
• 类时纠缠结果：
  • 提升后的面积变为复数。实部被最小化以选择鞍点，而虚部在相同的曲面上进行求值。
  • 选定的鞍点向内移动（$r_0$ 减小），且其角标签 $\theta_0$ 随着边界区间的增长趋向于 $\theta_\star$。
  • 不同于在约化分支层面类空为实、类时为虚的情况，十维提升混合了这些贡献：取决于提升后积分在内部球面上的符号，两个分支都可以对最终面积的实部和虚部做出贡献。
• 类时子区域复杂度结果：
  • 该可观测量是一个实数、有限的重整化体积。
  • 选定的复杂度同样表现出随着 $T_{\text{target}}$ 增加，转折点向内运动以及向 $\theta_\star$ 的角度集中。
  • 选定的鞍点在所研究的范围内始终保持在“较大 $r_0$”分支（相对于时间映射峰值）上，即使其 $r_0$ 的数值在减小。
  • 非零的有限体积是来自黑极点外部部分的局部几何效应，这与通常与永恒 BTZ 黑洞相关的内部体积增长不同。
• 渐近与精确机制： 在大 $r$（渐近）区域，角度依赖性消失，时间映射变为单值的，结果恢复了标准的短区间 BTZ 类行为（TEE 的对数实部，复杂度的消失体积）。当恢复精确的局部化函数 $K_y$ 和 $G$ 时，独特的特征（非单调性、角度限制、向内运动）才会显现。

意义与主张
本文声称，类时洛伦兹可观测量提供了一种补充性的手段，用于探测局部化几何结构的内部结构。具体而言：

1. 探测内部结构： 精确的局部化几何在类时可观测量上留下了清晰的印记，这在 BTZ 基准和领先的大 $r$ 描述中是缺失的。这些可观测量对帽/视界过渡区域敏感，该区域控制着可行的分支族。
2. 互补探测： 类时纠缠和类时复杂度探测相同的洛伦兹分支几何，但响应方式不同。TEE 通过提升面积的复数结构（实部和虚部）记录局部化效应，而复杂度则通过一个实数、有限的带符号体积记录这些效应。
3. 局部化几何效应： 结果表明，“分支折叠”、角度限制和鞍点的向内运动是精确函数 $K_y(r, \theta)$ 和 $G(r, \theta)$ 的直接后果。这些效应是局部化黑极点解的固有属性，而非渐近近似的伪影。
4. 局限性： 作者指出，其复杂度计算是一个与固定边界区间相关的有限重整化体积，有别于永恒黑洞的全局内部复杂度。观察到的非零体积是局部化外部几何的一个属性。

论文得出结论，这些类时可观测量提供了一种稳健的方法，用于探测黑极点中内部 $S^3$ 对称性的破缺以及视界的不均匀分布，这表明洛伦兹可观测量非常适合探测此类局部化结构在边界上的签名，其深度超越了普遍的渐近数据。