Towers of Operators in CFTs and Convexity Bounds at Large Charge

技术摘要：CFT 中算子塔的阶梯与大电荷下的凸性界限

问题陈述
本文研究了携带大全局电荷的共形场论（CFT）中算子的标度维数。特别关注具有模空间且连续全局对称性自发破缺的 3d CFT。在这些理论中，特定电荷扇区中的最小标度维数 $\Delta_{\min}(Q)$ 遵循大电荷展开式：
$$\Delta_{\min}(Q) = \alpha_1 Q + \alpha_0 + O(1/Q)$$
作者旨在确定系数 $\alpha_1$ 和 $\alpha_0$ 是否受到受启发于全息沼泽地纲领（特别是弱引力猜想 WGC）的普遍界限限制。虽然 WGC 提出了一个关于带电算子的“凸性”条件，但在一般 CFT 中（尤其是具有少于四个超对称荷的理论），关于次领头系数 $\alpha_0$ 和领先斜率 $\alpha_1$ 的精确约束仍有待严格建立。

方法论
本文采用了两种主要的分析方法：

1. 模空间有效场论（EFT）与大电荷展开： 作者利用态-算子对应关系将问题映射到圆柱几何（$\mathbb{R} \times S^2$）上。他们在代表大电荷态的齐次螺旋鞍点附近进行展开。领先系数 $\alpha_1$ 源自经典鞍点能量，而 $\alpha_0$ 则源自围绕该鞍点的二次涨落的一圈 Casimir 能量。
2. 双标度极限下的显式计算： 为了测试一般界限并计算特定数值，作者分析了若干 3d $\mathcal{N}=1$ 理论，使用了：
   • 近 $d=4$ 维的 $\epsilon$-展开。
   • 大 $N_f$ 和大 $N$ 极限。
   • 具体模型包括 $SO(N) \times SO(N)$、$SO(3)$ Wess-Zumino 模型、$SQED$以及$SU(2)$ $SQCD$。
3. 变分证明： 对于一般界限的证明，作者分析了 EFT 的二次涨落哈密顿量。他们利用变分原理，通过将真实的基态能量与参考哈密顿量进行比较，来确定 Casimir 能量贡献的符号。

主要贡献与结果

1. $\alpha_1$ 与 $\alpha_0$ 的计算
作者首次直接计算了若干 3d $\mathcal{N}=1$ 理论中的次领头系数 $\alpha_0$（而非仅仅依赖于 $\epsilon$-展开的延拓）。

• $SO(N) \times SO(N)$ 模型： 在大 $N$ 极限下，$\alpha_1 = \sqrt{(Q_x^2 + Q_y^2)/2}$，且 $\alpha_0$ 表示为正则化行列式函数 $\xi(x)$，发现其为非正值。
• **$SO(3)$模型：**$\alpha_1 = 1 - \epsilon/2$且$\alpha_0 = -1/16$。
• **$SQED$(大$N_f$)：** 领先阶结果给出$\alpha_0 = 0$，这与自由理论极限下 Casimir 能量消失的结果一致。
• $SU(2)$ $SQCD$： 作者根据 Wilson 系数 $c$ 计算了标量和费米子的 $\alpha_0$ 贡献。他们发现，在大 $N_f$ 极限下（$c \approx 1$），费米子贡献消失，而标量贡献为负（$\alpha_0 \approx -0.556$）。

2. 投影凸性界限的证明 ($\alpha_0 \leq 0$)
受 CFT 凸性猜想（CCC）的启发，该猜想要求 $\Delta_{\min}(Q_1 + Q_2) \geq \Delta_{\min}(Q_1) + \Delta_{\min}(Q_2)$，其渐近形式意味着 $\alpha_0 \leq 0$。

• 投影可观测量： 作者定义了一个“投影”最小维数 $\Delta^{(n)}_{\min}(Q)$，其中仅固定沿特定 Cartan 生成元 $T_n$ 的电荷，而对正交方向的电荷进行极小化。
• 主要定理： 他们证明了对于该投影可观测量，一圈项系数满足 $\alpha^{(n)}_0 \leq 0$。
  • 证明基于以下逻辑：对于使投影维数最小化的鞍点，横向涨落的质量矩阵 $M$ 是半正定的（$M \geq 0$）。
  • 利用变分论证，他们证明了如果 $M \geq 0$，则标量对 Casimir 能量的贡献是非正的。结合已知的费米子和规范场是非正的贡献，从而确立了该界限。
• 局限性： 作者明确指出，该证明并不适用于“固定电荷射线”（fixed-charge-ray）问题（即全电荷向量被固定的情形）。他们构造了一个两导数 EFT 反例，其中固定电荷射线会导致 $\alpha_0 > 0$，这表明仅靠模空间 EFT 无法证明更强的凸性陈述，除非引入额外的 UV 输入。

3. $\alpha_1$ 不存在普遍界限
本文认为 $\alpha_1$ 不存在普遍界限（除了平凡的 $\alpha_1 \geq 0$ 之外）。

• 对电荷归一化的敏感性： $\alpha_1$ 的值被证明对电荷格点（charge lattice）的选择和 $U(1)$ 生成元的归一化高度敏感。
• 反例：
  • 对有限子群 $\mathbb{Z}_N \subset U(1)$ 进行规范化，可以使 $\alpha_1$ 增加任意倍数的 $N$。
  • 在多 $U(1)$ 格点中选择一个原始方向（例如 $Q = aQ_x + bQ_y$，其中 $a, b$ 很大），可以使 $\alpha_1$ 任意减小。
• 归一化斜率： 作者考虑了一个归一化斜率 $\hat{\alpha}_1 = \alpha_1 \sqrt{C_J/C_T}$（涉及电流和应力张量两点函数）以缓解归一化问题。虽然这种处理消除了离散格点效应，但他们发现没有证据表明存在普遍的上界 $\hat{\alpha}_1$，并指出这种归一化模糊了直接的几何尺度分离解释。

意义
本文声称提供了一个受全息沼泽地纲领启发、可证明的明确 CFT 界限。具体而言，它确立了在具有模空间的 3d CFT 中，大电荷塔的投影标度维数必须满足 $\alpha_0 \leq 0$。这一结果具有重要意义，因为它直接使用 CFT 工具（大电荷 EFT 和变分法）推导得出，而非依赖于全息对偶假设。

然而，作者对其研究范围保持审慎。他们强调，该界限适用于“投影”可观测量，而不一定适用于每一个“固定电荷射线”，且更强的“固定射线凸性猜想”在一般 EFT 中仍未得到证明，且可能是不成立的。此外，论文澄清了领先斜率 $\alpha_1$ 由于其对离散电荷格点选择的依赖性，并不是一个稳健的用于诊断沼泽地尺度分离的指标。这项工作划定了利用当前 EFT 方法研究大电荷塔所能达到的精确极限。