Quasi-local form for $\alpha$--$z$ Rényi QNEC from fixed-ray escorts

技术摘要：基于固定射线护送态（fixed-ray escots）的 $\alpha$–$z$ Rényi QNEC 的拟局部形式

问题陈述
量子零能条件（QNEC）建立了关于零能密度相对于纠缠熵的二阶零形状变化的拟局部下界。虽然该条件在冯·诺依曼相对熵中已得到证明，但将其推广到 Rényi 散度——特别是双参数 $\alpha$–$z$ 系列——面临着显著挑战。与普通的相对熵不同，$\alpha$–$z$ 散度（$D_{\alpha,z}$）由于其非线性定义，缺乏明显的模哈密顿量与纠缠熵的分解。因此，即便假设 $D_{\alpha,z}$ 在零变形下的凸性（即推测的 $\alpha$–$z$ QNEC），推导出一个类似于标准 QNEC（$2\pi \langle T_{vv} \rangle \geq \partial_v^2 S$）的相应拟局部应力张量表述也是非平凡的。本文旨在解决的核心问题是确定这些散度的精确模能量–熵分解，并识别由其推测的凸性所导出的特定拟局部形式的 QNEC。

方法论
作者在 QFT 子区域的 UV 正则化密度矩阵描述框架内工作，利用了先前工作中建立的一类规范的“固定射线护送态（fixed-ray escort states）”[31]。

1. 积分表示： 核心方法论利用了固定射线积分表示，该表示将 $\alpha$–$z$ 散度表示为一系列护送态 $\rho^{(c)}_\beta$ 的普通相对熵的平均值：
   $$D_{\alpha,z}(\rho\|\sigma) = \int_{I_\alpha} D(\rho^{(c)}_\beta \| \sigma) d\mu_\alpha(\beta),$$
   其中 $c = z/\alpha$ 定义了参数空间中的一条射线，而 $\rho^{(c)}_\beta$ 是通过对密度矩阵进行泛函演算构造的态。

2. 分解： 通过将标准的模能量–熵分解（$D = \Delta \langle K \rangle - \Delta S$）应用于被积函数，作者导出了一个“护送平均”的总体散度分解。这涉及定义一个护送平均态 $\rho_{\alpha,z}$ 和一个护送平均熵 $S^{esc}_{\alpha,z}$。

3. 零形状变化： 该形式化方法被应用于零平面上切割 $V$ 的零形状变化。作者计算了 $\alpha$–$z$ 散度关于形状函数 $V(y)$ 的一阶和二阶 Fréchet 导数。这需要对积分表示进行微分，从而产生涉及护送平均态、护送平均熵以及一个新颖的“护送输运（escort-transport）”项的项。

4. 显式计算： 为了验证猜想并显式计算输运项，作者分析了自由标量场论中的相干态激发。他们利用理论分解为携带手征 $U(1)$ 流的轻射线纤维，从而能够精确计算护送轨迹及其对形状变形的响应。

主要贡献与结果

• 模能量–熵分解： 本文导出了 $\alpha$–$z$ 散度的精确恒等式：
  $$D_{\alpha,z}(\rho\|\sigma) = \text{Tr}[(\rho_{\alpha,z} - \sigma)K_\sigma] - (S^{esc}_{\alpha,z} - S(\sigma)),$$
  其中 $\rho_{\alpha,z}$ 是护送平均态，$S^{esc}_{\alpha,z}$ 是各个护送态熵的平均值。该式经过精炼，包含了一个 Holevo 信息项 $\chi^{esc}_{\alpha,z}$，用于衡量系综与其平均值之间的可区分性。

• 护送平均纠缠律： 作者建立了护送平均的第一纠缠律和护送平均信息度量（一种 Bogoliubov–Kubo–Mori 形式的加权平均）。对于共形场论（CFT）中的真空球，这产生了一个护送平均的 Bekenstein 型界限。

• 拟局部 $\alpha$–$z$ QNEC： 在假设对角 $\alpha$–$z$ QNEC 猜想（$\partial_v^2 D_{\alpha,z} \geq 0$）的前提下，作者导出了一个拟局部界限：
  $$2\pi \langle T_{++} \rangle_{\eta_{\alpha,z}} \geq (S^{esc}_{\alpha,z})'' - X_{\alpha,z;++}.$$
  至关重要的是，应力张量是在护送平均态 $\eta_{\alpha,z}$ 中评估的，而非原始激发态。该界限包含一个修正项 $X_{\alpha,z;++}$，即“护送输运项”，它编码了护送形成操作与限制态到变形零区域的操作之间不交换的情况。

• 夹层特化（$z=\alpha$）： 在夹层切片上，结果特化为 Rényi QNEC（RQNEC）。作者展示了对于自由标量场中的相干激发，护送平均能量和熵的变化量为零，且整个正定的 Hessian 项由输运项 $X^s_{\alpha,++}$ 承载。

• 显式验证： 对于自由质量标量场的相干态，作者显式计算了 $\alpha$–$z$ 散度的对角 Hessian。他们验证了在有限散度部分的上方数据处理区域（$z > \alpha - 1$）内，该 Hessian 始终为正，从而证实了针对这一特定态族所提出的对角 $\alpha$–$z$ QNEC 猜想。

• 非对角变化： 本文推导了完整的双局部形状 Hessian，表明非对角变化不包含局部应力张量的接触项。这与关于这些散度族的非对角 QNEC 的现有“无结论定理（no-go theorems）”相一致。

意义与主张
本文声称提供了第一个精确的 $\alpha$–$z$ QNEC 拟局部表述。其主要意义在于解决了如何将 Rényi 散度的凸性解释为局部能量密度的歧义问题。作者强调，所得界限并非对原始激发的直接下界，而是对一个辅助“护送平均态”的零能量的约束，并由一个输运项进行修正。

研究表明，对于一般的 $\alpha$ 和 $z$，QNEC 并不仅仅是普通 QNEC 在护送系综上的平均；护送形成与区域限制之间的非交换性引入了一个基本的输运修正。在针对相干态的夹层 Rényi 散度特例中，该输运项被证明是正性的唯一承载者，这突显了一种与标准 QNEC（其中局部应力张量项占主导地位）截然不同的机制。

作者指出，虽然积分表示是正则化无关的且对 Type III 代数有效，但显式的拟局部应力张量公式依赖于正则化的密度矩阵框架。他们总结道，基本结果是算子代数表示，而局部应力张量实现是在正则化框架内的精确恒等式，使用了标准的连续模哈密顿量。本文并非声称证明了所有 QFT 态的 $\alpha$–$z$ QNEC，而是确立了该猜想的结构形式，并针对一类可解的相干态族对其进行了验证。