Enforced Gaplessness by Combining Non-Anomalous Symmetries

技術要約：非アノマリー対称性の組み合わせによるギャップレス性の強制

問題提起
物理モデルはしばしば、標準的な摂動論や平均場近似による解析を拒む、基底状態における非自明な非摂動的ダイナミクスを示す。これらの赤外（IR）挙動を制約するための主要なツールは、グローバル対称性である。これまでの「対称性によって強制されるギャップレス性（symmetry-enforced gaplessness）」に関する研究は、主にアノマリーを持つ対称性（その対称性がギャップのある相では実現できない場合）や、非可逆対称性に依存してきた。さらに、多くのメカニズムは連続的な群対称性に依存しており、そこでは自発的対称性の破れ（SSB）がナンビー・ゴールドストーン・モードをもたらす。本研究が取り組む中心的な問題は、個々の対称性が非アノマリーであり、かつ可逆である組み合わせ、あるいは有限対称性のみの組み合わせから、典型的なナンビー・ゴールドストーン物理学のような連続対称性の破れに頼ることなく、強制的なギャップレス性が生じ得るか否かである。

手法：対称性スパン（Symmetry Spans）
著者らは、以前の論文[56]で提案された概念である対称性スパンの枠組みを利用している。対称性スパンとは、共通の対称性 $E$ が、2つのより大きな対称性 $C$ および $D$ へと、完全忠実関手 $i_C: E \to C$ および $i_D: E \to D$ を通じて埋め込まれたものである。系の全対称性 $S_{\text{faith}}$ は、$C$ と $D$ によって生成される。

ギャップレス性の判定基準は、ギャップのある理論（トポロジカル量子場理論、TQFT）の圏を用いて定式化される。$\text{TQFT}(X)$ を対称性 $X$ を持つギャップのある相の圏とする。全対称性 $S_{\text{faith}}$ を持つギャップのある相が存在するための必要条件は、$C$ と $D$ のギャップのある相の $E$ への引き戻し（pullback）が、非自明な共通部分を持つことである：
$$i_C^* \text{TQFT}(C) \cap i_D^* \text{TQFT}(D) \neq \{0\}$$
もしこの共通部分が自明であれば、有限個の基底状態を持つギャップのある相が $C$ と $D$ の両方の対称性を同時に満たすことはできず、ギャップレス性が強制される。決定的なのは、この埋め込みにおける「ねじれ（twist）」（具体的にはSPTねじれ $\beta$）によって、たとえ構成要素 $C, D, E$ が個々に非アノマリーであっても、生成された全対称性 $S_{\text{faith}}$ が実質的にアノマリーを持つようになる点である。

主な貢献と結果

1. 非アノマリー可逆対称性による強制ギャップレス性 (1+1D):
   本論文では、非アノマリーな可逆対称性のみを用いた対称性スパンを構築している：
   $$U(1)^2 \xleftarrow{\text{untwisted}} \mathbb{Z}_3^2 \xrightarrow{\text{twisted}} \mathbb{Z}_3 \times S_3$$
   ここで、共通の対称性は $\mathbb{Z}_3^2$ である。連続的な $U(1)^2$ への埋め込みはアンツイステッド（untwisted）であり、有限群 $\mathbb{Z}_3 \times S_3$ への埋め込みには非自明なSPTねじれ $\beta \in H^2(\mathbb{Z}_3^2, U(1))$ が含まれる。

   • メカニズム: $U(1)^2$ を保存するギャップのある相は、$\mathbb{Z}_3^2$ 部分群を保存しなければならない。しかし、SPTねじれ $\beta$ により、自明な $U(1)^2$ SPT相は非自明な $\mathbb{Z}_3^2$ 相へと引き戻される。逆に、$\mathbb{Z}_3^2$ 部分群を保存する（$L \cong \mathbb{Z}_3^2$ へのSSBを介した）$\mathbb{Z}_3 \times S_3$ の任意のギャップのある相は、$S_3$ の共役作用によって決定される特定のSPT相を保持しなければならない。著者らは、$\mathbb{Z}_3 \times S_3$ 側で許容されるSPT相が、$U(1)^2$ 側で要求される自明な相と両立しないことを示している。
   • 連続体での実現: 2つのデカップルされたコンパクト・ボゾン（$c=2$）を用いた連続体モデルが提供されている。$U(1)^2$ の電荷は、混合アノマリーがキャンセルされるように運動量とワインディング数を通じて定義されている。$\mathbb{Z}_3 \times S_3$ 対称性は、離散的なシフトと反射によって生成される。相対的なSPTねじれは、$H^2(\mathbb{Z}_3^2, U(1))$ の生成元に対応している。
   • 格子での実現: 有限次元の局所ヒルベルト空間（1サイトあたり $\mathbb{C}^3 \otimes \mathbb{C}^3 \otimes \mathbb{C}^2$）を持つ局所格子ハミルトニアンが構成されている。このハミルトニアンは、特定の演算子 $B$ との交換子によって生成される一連の項 $H_n$ を含み、任意の結合定数に対して対称性スパンを保存する。$J_2$ 項の解析により、このモデルは中心電荷 $c=3$ または $c=2$ の共形場理論（CFT）へとフローすることが示されている。より一般的な結合値における基底状態および赤外理論については、文献において体系的に研究されていないが、対称性スパンの議論は、パラメータ空間のあらゆる領域において（有限個の基底状態を持つギャップのある相を除いて）、基底状態がギャップレスであるという主張を強く支持している。

2. 有限対称性による強制ギャップレス性:
   本論文では、すべての対称性が有限（高次融合圏）であるスパンについても論じている。

   • 例: アイシング（Ising）融合圏 $\text{TY}(\mathbb{Z}_2, +)$ と、共通の $\mathbb{Z}_2$ を共有する有限群 $D_{10}$（位数10の二面体群）を含むスパン。
   • メカニズム: アイシング側は、真空状態の数え上げ（固定されたペア vs 交換されたペア）に対して $N=M$ という制約を課す。一方、群側はアノマリー・キャンセルメントによって制約されており、特定の $(N, M)$ ペア（例：$(0,5)$ または $(1,2)$）のみを許容する。これらの相の有限な直和はアイシングの制約を満たすことができず、ギャップレス性を強制する。
   • 連続体での実現: $SU(2)_1 \times U(1)_{12}$ ウェッツ・ウィン・ゾモン・ウィッテン（WZW）モデルの $\mathbb{Z}_2$ 部分群をゲージ化した、ことで得られる $c=3$ のトーラスCFTが特定されている。
   • 非アノマリー有限対称性: 著者らは、提供された例はアノマリーを持つ有限対称性を用いているが、非アノマリーな有限対称性のみを用いた例も存在すること（AIの助けを借りて発見した）を述べているが、これらについては詳細を記していない。

意義と主張
本論文は、以下のものに依存することなく、対称性スパンがギャップレス性を強制できることを示すと主張している：

• アノマリーを持つ可逆対称性（連続または有限）。
• 非可逆対称性（第1の例において）。
• ナンビー・ゴールドストーン・モードを伴う連続対称性の破れ。

著者らは、スパンによって生成される全対称性 $S_{\text{faith}}$ は無限次元または連続的であり、個々の構成要素 $C$ および $D$ には見えないアノマリーを持つ可能性があることを強調している。スパンの議論の威力は、全 $S_{\text{faith}}$ のアノマリーを直接定式化する必要なく、埋め込み $i_C$ と $i_D$ を分析することによってギャップレス性を確立できる点にある。

本研究は、有限の局所ヒルベルト空間と有限のパラメータを持つ具体的な格子モデルを提供している。任意の結合に対する一般的な赤外挙動は体系的に研究されていないが、対称性スパンの議論は、基底状態が（有限個の基底状態を持つギャップのある相を除いて）あらゆるパラメータ領域においてギャップレスであるという主張を強力に支持している。これは、非アノマリーな可逆対称性と純粋な有限対称性構造の組み合わせへと、対称性によって強制されるギャップレス性の展望を広げるものである。