The Spectral Edge at Large Central Charge and Black Hole Statistics

技术摘要：大中心荷下的谱边际与黑洞统计

问题陈述
本文探讨了模不变性程序中一个核心问题：对于具有中心荷 $c$ 的幺正、紧致二维共形场论（CFT），其第一个非真空 Virasoro 原初算符的最大可能谱隙 $\Delta_1$ 是多少？虽然“旧”的模不变性自举（modular bootstrap）试图寻找任何幺正、模不变 CFT 的绝对上界（目前解析已知为 $\Delta_1 \lesssim c/8.5$），但作者认为这种通用方法无法对 CFT 空间进行分层。具体而言，它无法区分普通 CFT 与那些具有增强结构（例如算术对称性）并可能允许更大谱隙的 CFT。

本文假设，对于表现出谱计数涨落具有对数刚性（一种继承自随机矩阵统计的性质）的理论，其“真实”上界在 $c \to \infty$ 时应渐近于 $c/12$，这与涉及 BTZ 黑洞的半经典 $\text{AdS}_3$ 引力论点一致。然而，现有的模不变性自举界限明显较弱。挑战在于如何将谱统计（特别是计数涨落的刚性）纳入自举框架中，以推导出更紧的偏移谱隙 $\lambda_1 = \Delta_1 - \frac{c-1}{12}$ 的界限，证明 $\lambda_1 \leq o(c)$，同时考虑到存在异常、高度结构化理论的可能性。

方法论
作者引入了一种利用附着于二维 CFT 的 L-函数 解析理论的新方法，该方法建立在先前的研究 [40] 之上。核心方法论包括：

1. 差分配分函数： 作者并非分析单个配分函数 $Z_p(\tau)$，而是考虑两个共享相同“轻”谱（即 $\Delta \leq \frac{c-1}{12}$ 的态）的假定幺正 CFT 之间的差值 $Z(\tau) = Z_p(\tau) - \tilde{Z}_p(\tau)$。该差值消除了真空模和渐近 Cardy 背景，留下一个仅由“重”态（$\Delta > \frac{c-1}{12}$）支撑的函数。
2. L-函数构造： 从 $Z(\tau)$ 构造了一个 Rankin-Selberg L-函数 $L_Z(s)$。该 L-函数具有两种表示形式：
   • 级数表示： 一个关于偏移标量共形权重 $\lambda = \Delta - \frac{c-1}{12}$ 的狄利克雷级数，其权重由态的多重度差值决定。
   • 乘积表示： 一个关于完备 L-函数 $\Lambda_Z(s)$ 非平凡零点 $\{\rho\}$ 的 Hadamard 乘积，该函数满足自对偶泛函方程 $\Lambda_Z(s) = \Lambda_Z(1-s)$。
3. 通过对数导数建立求和规则： 通过对 L-函数取对数导数，作者推导出了一个将偏移谱隙 $\lambda_1$ 与谱数据（级数）及零点分布联系起来的求和规则（式 3.1）：
   $$\log \lambda_1 = F(s) + \frac{A'(s)}{A(s)} - \sum_\rho \frac{1}{s-\rho}$$
   这里 $A(s)$ 是一个重整化后的级数，求和项遍历所有零点。
4. 边缘-体分解（Edge-Bulk Decomposition）： 谱被分为“边缘”（具有正多重度的低能重态）和“体”（高能态，其中两个谱发生混合）。证明过程依赖于一个 Blaschke 界限（第 3.3 节）来控制右半平面内零点的贡献，从而将求和规则转化为 $\lambda_1$ 的不等式。
5. 统计假设（对数刚性）： 推导假设“体”谱计数涨落遵循对数刚性，这是从随机矩阵理论（RMT）中继承的性质。具体而言，体内的累积符号计数 $S(\lambda)$ 被限制为展开能量标度的对数函数（式 4.5）。这一假设的合理性在于，人们预期一般的混沌 CFT 会表现出 RMT 统计特性。

主要贡献与结果
本文为满足对数刚性条件的 CFT 建立了精细的模不变性自举界限：

• 主定理： 令 $\Delta_1$ 为最轻非真空 Virasoro 原初算符的共形维度。对于具有大中心荷 $c$ 且表现出谱计数涨落对数刚性的幺正 CFT，其偏移谱隙 $\lambda_1 = \Delta_1 - \frac{c-1}{12}$ 满足：
  $$\lambda_1 \leq o(c)$$
  这意味着对于该普适类中的理论，当 $c$ 足够大时，偏移谱隙不能随 $c$ 线性缩放（即 $\Delta_1$ 不能显著大于 $c/12$）。
• 异常谱隙： 结果表明，在每个足够大的 $c$ 处，最多只能存在一个违反 $o(c)$ 界限的标量谱隙异常值。
• 异常情况下的更强界限： 如果存在一系列中心荷使得这种异常谱隙（缩放为 $\sim c$）得以实现，那么对于该序列中的所有其他谱隙，界限会变得更强：$\lambda_1 \leq O(1)$。
• 谱确定性： 结果意味着一种谱确定性形式：对于属于同一“轻谱类”的两个 CFT，其第一个重标量维度是唯一确定的（在推导出的界限范围内）。如果“绿色区域”（图 2）中的谱已知，则其余标量谱将被确定。
• 数值界限： 在实现 $\sim c$ 量级异常谱隙的任何序列路径上，剩余谱隙受限于一个显式的数值常数：$\limsup_{c\to\infty} \lambda_1 \lesssim 0.57155$。

意义与主张
本文声称解决了模不变性自举学说中的一个逻辑张力。虽然一般的自举程序允许谱隙以 $c/9$ 的规模缩放，但作者认为这种界限很可能是包含了非典型、高度结构化理论后的产物。通过注入谱统计这一物理假设（即高能数据中不存在非典型结构，类似于 RMT），作者推导出了一个与半经典 $\text{AdS}_3$ 引力期望 $\Delta_1 \approx c/12$ 一致的界限。

其意义在于：

1. 对理论空间进行分层： 超越了“一刀切”式的自举，转向一种基于高能统计特性（特别是对数刚性）来过滤理论的“下一代”方法。
2. 连接引力与 CFT： 为此前主要依靠全息对偶论证的 $c/12$ 界限提供了严谨的 CFT 基础推导。
3. 分析技术： 展示了 L-函数理论和 Blaschke 乘积在共形自举背景下的应用价值，为约束高能谱（超越低能态）提供了一种新工具。

作者对异常谱隙的存在性保持谦逊，指出虽然证明允许它们的存在，但其真实性仍是一个留给读者判断的开放性问题。这项工作被呈现为理解 CFT 高能混沌部分的一步，而这些部分在标准自举方法中是非普适的。