What crossing symmetry forbids just above $c=1$

技術的要約：「$c = 1$ の直上で交差対称性が禁止するもの」

問題提起
本論文は、中心電荷 $c$ が 1 をわずかに上回る、コンパクトなユニタリ 2 次元共形場理論（CFT）の存在と性質について扱っている。ヴィラソロ代数の表現論は $c > 1$ のすべての $c$ に対してユニタリ理論を許容するが、$1 < c < 8/7$ の範囲においてそのようなコンパクトな理論は知られていない。$c=1$ に最も近い既知の理論は、$\mathbb{Z}_5$ パラフェルミオンおよび $N=1$ 超共形ミニマルモデルであり、いずれも $c=8/7$ に位置している。ヘレマンらによる、トーラス・パート関数（モジュラー・ブートストラップ）を用いた従来の研究では、$1 < c < 1.001$ という狭い窓における理論の存在を排除することには失敗しており、最も軽い一次（ライト・プライマリー）の次元（$\Delta_{\text{gap}}$）に対する境界を課すにとどまっている。ここでの中心的な問いは、4 点関数に適用される交差対称性が、$(c, \Delta)$ 平面における特定の領域を排除するか、あるいはこの領域における軽いスカラーの存在を強制するような、より厳格な制約を課すかどうかである。

手法
著者は数値的共形ブートストラップを用い、特にスカラー・ヴィラソロ・プライマリー $\phi$（次元 $\Delta_\phi$）の 4 点関数を分析している。分析は以下のセットアップと仮定に基づいている：

1. スペクトルに関する仮定： 本研究では、$\phi \times \phi$ の演算子積展開（OPE）の中に $\phi$ より軽いプライマリーが現れないという仮定を置いている。この仮定は、任意のコンパクトな CFT における最も軽いプライマリーによって自動的に満たされる。
2. 交差対称性： 4 点関数の交差方程式は、ヴィラソロ共形ブロックを用いて分析される。方程式は、ユニタリティ（単一性）により非負の 2 乗 OPE 係数を持つブロックの和が、アイデンティティ演算子の寄与を相殺することを要求する。
3. 数値実装： 著者らは、対称点 $z = \bar{z} = 1/2$ における交差方程式の微分の線形汎関数を探索するために、半正定値計画法ソルバー SDPB を使用している。もし、アイデンティティに対しては正であり、許容されるすべての演算子に対しては非負となる汎関数が存在する場合、その点 $(c, \Delta_\phi)$ は「排除」される（すなわち、そのパラメータを持つユニタリ CFT は交差方程式を満たすことができない）。
4. 微分の次数： 計算は、全微分次数 $\Lambda$（11 から 31 まで）にわたって行われる。排除される領域は、$\Lambda$ が増加するにつれて確実に拡大する。
5. モジュラー・ブートストラップの統合： トーラス・パート関数のモジュラー不変性に基づくモジュラー・ブートストラップ（$\Delta_{\text{gap}}$ を制限するもの）の結果を、交差対称性による排除と組み合わせることで、最も軽いプライマリーの次元に関する境界を導出している。

主要な貢献と結果

• $c=1$ 直上の区間の排除：
  主要な知見は、交差対称性が $c=1$ の直上におけるスカラー・プライマリー $\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$ へと移動する際の不連続性または急峻な制約を示唆している。

• ギャップの上限：
  排除された区間と、モジュラー・ブートストラップによる境界（この範囲において最も軽いプライマリーは $\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=1.05$ の候補は、一部の演算子の次元が引用された数値的不確定性の範囲外にある場合にのみ、交差対称性と整合する。

• $c = 8/7$ における極小値：
  本研究は、$\Delta_\phi = 1/2$ と $\Delta_\phi = 4/7$ の近くにある、許容領域の境界（$c_{\text{min}}(\Delta_\phi)$）における 2 つの鋭い局所的極小値を特定している。

  • $\Delta_\phi = 4/7$ における極小値は、$\mathbb{Z}_5$ パラフェルミオンのエネルギー演算子に対応する。
  • $\Delta_\phi = 1/2$ における極小値は、$\mathbb{Z}_5$ パラフェルミオンの電荷共役るビート（orbifold）のツイスト・フィールド（$W(2,4)$ ミニマルモデル $WB_2(5,7)$）に対応する。
    微分次数 $\Lambda$ が増加するにつれ、$c_{\text{min}}$ はこれらの点において $8/7$ から下側から接近し、$\Lambda=31$ では $8/7$ の $2 \times 10^{-7}$ 以内に位置する。これは、これらの理論が、固定された $\Delta_\phi$ に対して中心電荷を最小化していることを示唆しており、これは 3D イジングモデルに類似している。

• 境界の飽和：
  これら $c=8/7$ の両方の理論は、第 2 の境界、すなわち $\phi \times \phi$ における $\phi$ よりも重い最も軽いスカラーの次元の上限を飽和させている。これらの境界における極値汎関数のゼロ点は、既知の理論におけるヴィラソロ・プライマリーの次元と高い精度で一致している。

• $N=1$ ミニマルモデル：
  $c=81/70$ における $N=1$ ミニマルモデル（プライマリー $\Phi_{1,3}$、$\Delta=3/7$）は、許容領域の境界のすぐ上に位置し、$c_{\text{min}}$ の短いプラトーに隣接していることが判明した。このモデルは境界上に正確に位置しているわけではないが、このプラトー上での交差方程式の解は、$N=1$ モデルの OPE 構造を密接に模倣している。

意義および主張
本論文は、交差対称性を用いて $c=1$ 直上のコンパクトなユニタリ CFT のスペクトルに対して、初の厳格な制約を与えたと主張している。区間 $0.17 \lesssim \Delta_\phi \lesssim 1$ の排除は、もし $c=1.001$ においてコンパクトなユニタリ CFT が存在するならば、それは $\Delta \approx 0.17$ よりも軽いスカラー・プライマリーを持たなければならないことを意味する。

著者は、ゲルのマンの原理（「禁じられていないことはすべて強制される」）の文脈で結論を述べている。表現論は、この範囲における理論を許容するが、交差対称性は「重い」ギャップのシナリオを禁止しているため、もし排除区間が $\Lambda \to \infty$ の極限において $c=1$ まで拡張されるならば、非常に軽いスカラーを持つ理論が存在しなければならないことを示唆している。しかし、著者は、制約は強力であるものの、これらが候補スペクトルを完全に排除するものではなく、また OPE 係数に関するさらなるデータなしには存在を証明するものでもないとし、控えめな姿勢を保っている。本研究は、数値的ブートストラップが、既知の物理的理論に対応する CFT の空間における鋭い特徴を特定する強力な能力を持っていることを浮き彫りにしている。