What crossing symmetry forbids just above $c=1$

技术摘要：“在 $c=1$ 之上，交错对称性禁止了什么”

问题陈述
本文探讨了中心荷 $c$ 略大于 1 的紧致幺正二维共形场论（CFT）的存在性及其性质。虽然维拉索代数（Virasoro algebra）的表示理论允许所有 $c > 1$ 的幺正理论，但目前尚未发现已知存在于 $1 < c < 8/7$ 范围内的紧致理论。已知最接近 $c=1$ 上方的理论是 $\mathbb{Z}_5$ 仿射费米子（parafermion）和 $N=1$ 超共形极小模型，两者均在 $c=8/7$ 处。Hellerman 等人此前利用模不变性（基于环面配分函数）开展的工作未能排除在 $1 < c < 1.001$ 这一狭窄窗口内存在理论的可能性，尽管该工作对最轻原初算符的维度（$\Delta_{\text{gap}}$）设定了界限。核心问题在于：应用到四点函数的交错对称性（crossing symmetry）是否能施加更严格的约束，从而排除特定 $(c, \Delta)$ 平面区域，或者强制在该机制下存在轻标量算符。

方法论
作者采用了数值共形引导（numerical conformal bootstrap），具体分析了一个标量维拉索原初算符 $\phi$，其维度为 $\Delta_\phi$。该分析基于以下设定与假设：

1. 关于谱的假设： 研究假设在 $\phi \times \phi$ 的算符乘积展开（OPE）中，不会出现比 $\phi$ 更轻的原初算符。这一假设对于任何紧致 CFT 的最轻原初算符而言是自动满足的。
2. 交错对称性： 使用维拉索共形块（Virasoro conformal blocks）分析四点函数的交错方程。该方程要求：由于幺正性，具有非负平方 OPE 系数的块之和必须抵消单位算符（identity operator）的贡献。
3. 数值实现： 作者使用半正定规划求解器 SDPB，在对称点 $z = \bar{z} = 1/2$ 处寻找作用于交错方程导数的线性泛函。如果存在一个在单位算符上为正、而在所有允许算符上为非负的泛函，则该点 $(c, \Delta_\phi)$ 被视为“被排除的”（即不存在满足这些参数的幺正 CFT）。
4. 导数阶数： 计算执行至总导数阶数 $\Lambda$（范围从 11 到 31）。随着 $\Lambda$ 的增加，排除区域保证会扩大。
5. 模不变性引导集成： 将结果与模不变性引导（即根据环面配分函数限制 $\Delta_{\text{gap}}$）相结合，以推导出最轻原初算符维度的界限。

主要贡献与结果

• 排除了 $c=1$ 上方的连续区间：
  主要发现是，交错对称性排除了紧邻 $c=1$ 上方的标量原初算符 $\Delta_\phi$ 的一个连续区间。具体而言，在 $c=1.0005$ 和 $c=1.001$ 时，区间 $0.17 \lesssim \Delta_\phi \lesssim 1$ 被排除。这具有重要意义，因为在 $c=1$ 时，紧致玻色子可以实现每一个 $\Delta_\phi \leq 2$（通过算符 $\cos(X/R)$）而不会违反任何一致性条件。这种排除表明，当从 $c=1$ 移动到 $c>1$ 时，存在不连续性或剧烈的约束。

• 间隙（Gap）的上界：
  通过结合排除区间与模不变性界限（该界限指出在此范围内最轻原初算符必须满足 $\Delta < 0.525$），作者推导出在 $c=1.0005$ 或 $c=1.001$ 时，任何紧致幺正 CFT 的最轻原初算符必须具有维度 $\Delta_{\text{gap}} < 0.17$。这一界限比之前的模不变性界限（约为 $\sim 0.2$）更紧，并排除了在这一区域内存在间隙在 $0.3 < \Delta_{\text{gap}} < 0.5$ 之间的理论。

• 测试候选谱：
  作者测试了由 Benjamin, Fitzpatrick, Li, 和 Thaler 提出的候选谱（这些候选谱在 $c \approx 1.05-1.13$ 时具有 $\Delta \approx 0.06-0.09$ 的轻标量）。虽然这些候选者位于被排除区间之下，因此未被间隙界限排除，但对其特定 OPE 结构的直接测试表明，只有当其中某些算符维度落在其引用的数值不确定性范围之外时，该候选理论才与交错对称性相容。

• $c = 8/7$ 处的极小值：
  研究识别了在 $\Delta_\phi = 1/2$ 和 $\Delta_\phi = 4/7$ 附近，允许区域上边界（$c_{\text{min}}(\Delta_\phi)$）的两个尖锐局部极小值。

  • $\Delta_\phi = 4/7$ 处的极小值对应于 $\mathbb{Z}_5$ 仿射费米子的能量算符。
  • $\Delta_\phi = 1/2$ 处的极小值对应于 $\mathbb{Z}_5$ 仿射费子电荷共轭轨道（charge-conjugation orbifold）的扭曲场（twist field）（即 $W(2,4)$ 极小模型 $WB_2(5,7)$）。
    随着导数阶数 $\Lambda$ 的增加，$c_{\text{min}}$ 在这些点处从下方趋近于 $8/7$，在 $\Lambda=31$ 时距离 $8/7$ 仅有 $2 \times 10^{-7}$。这表明这些理论在固定的 $\Delta_\phi$ 下使中心荷最小化，类似于 3D Ising 模型。

• 界限的饱和：
  这两个位于 $c=8/7$ 的理论都饱和了第二个界限：即比 $\phi$ 更重的 $\phi \times \phi$ 中最轻标量的维度上限。这些边界处的极值泛函零点与精确理论中的维拉索原初算符维度高度吻合。

• $N=1$ 极小模型：
  研究发现，$c=81/70$ 处的 $N=1$ 极小模型（其原初算符 $\Phi_{1,3}$ 位于 $\Delta=3/7$）恰好位于允许区域边界之上，紧邻一个 $c_{\text{min}}$ 的短平台。虽然它并不正好位于边界上，但该平台上的交错方程解在 OPE 结构上高度模拟了 $N=1$ 模型。

意义与主张
本文声称，这是首次利用交错对称性对 $c=1$ 之上的紧致幺正 CFT 谱提供严格约束。对区间 $0.17 \lesssim \Delta_\phi \lesssim 1$ 的排除意味着，如果 $c=1.001$ 处存在紧致幺正 CFT，则它必须拥有一个维度 $\Delta < 0.17$ 的更轻标量原初算符。

作者将结论置于盖尔曼原则（“凡是未被禁止的，必是必然的”）的背景下。既然表示理论允许此范围内的理论存在，而交错对称性禁止了“重”间隙情景，作者暗示如果排除区间在 $\Lambda \to \infty$ 时延伸至 $c=1$，那么必然存在一个带有极轻标量的理论。然而，作者保持了谦逊，指出虽然约束很强，但尚未证明此类理论的存在，也并未在缺乏更多 OPE 系数数据的情况下完全排除这些候选谱。这项工作凸显了数值引导在识别对应于已知物理理论的 CFT 空间中的尖锐特征方面的强大能力。