The modular energy range of an interval in chiral conformal field theory

技术摘要：手征共形场论中区间模能量的模量范围

问题陈述
本文解决了一个代数量子场论中的定量问题：给定一个具有有界普通能量的状态，给定一个时空区间的模能量（modular energy）的确切范围是多少？对于中心荷为 $c$、区间 $I$ 长度为 $R$ 的手征共形场论（chiral CFT），作者寻求在平均能量 $\langle P \rangle \le E$ 的状态集合下，模哈密顿量 $K_I$ 期望值的上确界和下确界。虽然 Bisognano-Wichmann 定理确立了模群的作用表现为膨胀（dilation），且 Borchers 定理将模流（modular flow）与平移联系起来，但这些都是结构性恒等式。本研究旨在寻求显式的算符不等式，将模能量通过平移生成元 $P$ 进行限定。

方法论
作者采用了光射上 Möbius 协变局部网（Möbius covariant local nets）的框架。该方法论依赖于三个主要工具：

1. Möbius 表示理论： 将全模哈密顿量（定义在整个直线上）分解为平移生成元和特殊的共形生成元。
2. 量子能量不等式 (QEIs)： 利用 Fewster 和 Hollands 建立的尖锐 QEI，该不等式提供了被抹平能量密度 $\int g(v) \langle T(v) \rangle dv$ 的下界，其形式取决于中心荷 $c$ 以及抹平函数 $g$ 的导数。
3. 勒让德变换结构： 通过一参数族抹平权重（其差异仅为一个加性常数）进行优化。作者证明，优化状态的能量恰好是该界限对该加性偏移量的负导数，从而将不等式转化为关于范围的精确等式。

核心贡献与结果

1. 上界 (Supremum)
论文为单侧模哈密顿量 $K_I$ 建立了精确的算符不等式：
$$K_I \le \frac{\pi R}{2} P + \frac{c}{6}$$

• 全模哈密顿量界限 (Proposition 1)： 需要注意，对于定义在整个直线上的全模哈密顿量，该不等式不含加性常数，因为其补权重属于正锥。
• 系数与常数的来源： $\pi R/2$ 项源于 Möbius 表示理论。加性常数 $c/6$ 是将二次权重在区间 $I$ 端点处截断所付出的精确“代价”，这种截断引入了一个由 Fewster-Hollands QEI 控制的奇异性。
• 精确性： 对于平均能量为 $E$ 的状态，模能量的上确界为：
  $$M_{\max}(E, R) = \min_{\beta>0} \left\{ (1+\beta)\frac{\pi R}{2} E + \frac{c}{6} \left[ 1 - \sqrt{\beta} \arctan \frac{1}{\sqrt{\beta}} \right] \right\}$$
  优化状态将负能量密度精确地放置在模权重消失的两个区间端点处。

2. 下界 (Infimum)
模能量的下确界与乘积 $RE$ 呈对数关系：
$$M_{\min}(E, R) \simeq -\frac{c}{12} \left[ \ln\left(\frac{24\pi RE}{c}\right) - 1 \right]$$
该结果是通过使用一个在区间外严格为正且为常数的权重函数来推导的，从而避免了权重在端点处消失时可能产生的对数发散。

3. 范围与不对称性
模能量的范围是不对称的：

• 线性增长与对数增长： 上界随 $E$ 线性缩放，而下界随之对数缩放。
• 严格不对称性： 模能量的范围在零点上方比在零点下方更宽。对于所有 $RE > 0$，差值 $M_{\max} - |M_{\min}|$ 严格大于 $\frac{2}{5}\pi RE$。该不等式通过利用 Stieltjes 代换将问题归约为方差的正定性来证明。

4. 尖锐的贝肯斯坦界限 (Bekenstein Bound)
通过结合上界与相对熵的正定性 ($\Delta S_I \le \Delta \langle K_I \rangle$)，作者推导出了一个尖锐的贝肯斯坦界限：
$$\Delta S_I \le \frac{\pi R}{2} E + \frac{c}{6}$$
这恢复了原始形式的贝肯斯坦不等式，并带有显式系数和加性常数。

5. 多区间推广
对于 $n$ 个等长的互不相交区间，加性常数随纠缠点（端点）的数量线性缩放。该常数变为 $n c/6$，即每个纠缠点为 $c/12$。这支持了将该常数解释为与纠缠点相关的边界量的观点。

意义与主张
论文声称这些结果是精确的，而非仅仅是界限。

• 新颖性： 虽然系数与 Fewster-Hollands 等人的工作相关，但本文通过勒让德结构提供了关于平移生成元的模哈密顿量的完整定量界限。
• 维度特定性： 作者强调，存在加性常数 $c/6$ 是二维（手征 CFT）特有的特征。在高维空间中，用于不等式的空间抹平过程在零平均 QEI 的对应物上会受到阻碍。
• 物理阐释： 这些结果阐明了将模哈密顿量局域化到光射上的一个手征区间（null interval）的“代价”是一个固定的能量惩罚（$c/6$），该惩罚由量子能量不等式提供，并由将负能量集中在区间边界的状态所饱和。