Fermionic Anomalies of Finite Symmetries on Lattices

技術要約：格子上の有限対称性におけるフェルミオン的アノマリー

問題設定
本論文は、(1+1)次元および(2+1)次元の空間次元における、有限の内部フェルミオン対称性に付随する't Hooftアノマリーの特性評価を扱う。連続体量子場理論（QFT）は、群コホモロジーとコボリズムメントを通じてこれらのアノマリーの分類を提供しているが、どの連続体アノマリーが微視的な格子モデルにおいて厳密な対称性として実現可能であるかは、依然として未解決の問題である。中心的な動機は、格子上の対称的な短距離エンタングル状態（SRE状態）の実現に対する障害が、連続体の't Hooftアノマリーの分類と一致するかどうかを判断することである。著者らは、局所的なヒルベルト空間が、サイト上のフェルミオン自由度とボゾン自由度のテンソル積で構成される系に焦点を当て、対称群 $G_f$ がボゾン群 $G_b$ によるフェルミオン・パリティ $\mathbb{Z}_2^F$ の中心拡大である場合を対象としている。

手法
著者らは、対称オペレーターによって定義される、対称的なSRE状態の存在に対する障害として定義される格子の特性評価を開発した。彼らのアプローチは以下の通りである：

1. 截断と欠陥解析： 彼らは、対称オペレーターを表す有限深さ量子回路（FDQC）を解析する。これらのオペレーターを空間領域（1次元では区間、2次元ではディスク）に截断することで、境界オペレーター（欠陥）およびジャンクションオペレーターを特定し、それらが群代数を厳密に満たさず、代わりに位相因子やフェルミオン・パリティの符号を獲得することを明らかにする。
2. コホモロジー的指数の抽出： 彼らは、これら截断されたオペレーターの代数的関係から、一連のコホモロジー的指数を抽出する。これらの指数は、ジャンクションオペレーターのフェルミオン・パリティおよび結合の結合性に関連する位相因子から導出される。
3. オンサイト化の証明： 特定のケース（特に自明な拡大 $G_f = G_b \times \mathbb{Z}_2^F$）において、系をボゾン的なアンシラに結合して対称性をオンサイト形式へと変換する、明示的な有限深さ回路（ディスエンタングラー）を構成する。このような回路が存在する場合、その対称性は「オンサイト可能（onsiteable）」であり、対称的なSRE状態を許容する。これは、格子アノマリーの不在を意味する。
4. スタッキング則： 複数の系のコピーをスタックする際にアノマリー指数がどのように振る舞うかに関する規則を導出し、特定の群構造（例：$\mathbb{Z}_2$）に対して指数の自明性をテストする。

主要な貢献と結果

(1+1)Dの結果：

• アノマリー指数： 著者らは、厳密な有限内部対称性を、一対のコホモロジー的データ $(n_2, \nu_3)$ によって特徴付ける。ここで、$n_2 \in Z^2(BG_b, \mathbb{Z}_2)$ は融合された対称欠陥のフェルミオン・パリティ（Else-Nayak指数）を測定し、$\nu_3 \in C^3(BG_b, \mathbb{R}/\mathbb{Z})$ はボゾン部分のアノマリーを測定する。これらは整合条件 $\delta \nu_3 = \frac{1}{2}(n_2 \cup n_2 + \omega_2 \cup n_2) \mod 1$ を満たす。
• 自明な拡大に対する忠実性： 自明な拡大（$G_f = G_b \times \mathbb{Z}_2^F$）の場合、指数 $(n_2, \nu_3) = (0,0)$ を持つ対称性はオンサイト可能であることを証明する。したがって、このクラスにおいて、指数は格子アノマリーを忠実に検出する。
• 連続体QFTとの不一致： 彼らは、厳密な格子対称性が連続体の分類の全容を実現できないことを示す。具体的には、連続体の分類には追加の層 $[n_1] \in H^1(BG_b, \mathbb{Z}_2)$ が含まれる。$G_b = \mathbb{Z}_2$ の場合、連続体の分類は $\mathbb{Z}_8$ で記述されるが、厳密な格子対称性は偶数の $\mathbb{Z}_4$ 部分群のみを実現する。「奇数」の $\text{mod-}8$ アノマリー（$n_1$ のみが非自明な場合）は、テンソル積ヒルベルト空間上の厳密な格子対称性では実現できず、エマナント（emanant）な対称性（例：マヨラナ並進）を必要とする。

(2+1)Dの結果：

• 階層的なアノマリー層： 著者らは、一般的な有限内部対称性に対して、3つのアノマリー層からなる階層を定式化する：
  1. マヨラナ層 ($n_2$)： 境界欠陥の1次元フェルミオン量子セルオートマトン（QCA）指数における $\sqrt{2}$ の因子によって検出される、指数 $H^2(BG_b, \mathbb{Z}_2)$。
  2. 複素フェルミオン層 ($n_3$)： マヨラナ層を自明化した後のエンドポイント・アソシエーター・オペレーターのフェルミオン・パリティに由来する、指数 $H^3(BG_b, \mathbb{Z}_2)$。
  3. ボゾン層 ($\nu_4$)： 純粋にボゾン的なアノマリーを表す、指数 $H^4(BG_b, \mathbb{R}/\mathbb{Z})$。
• SREへの障害： これらの層のいずれかが非自明な値を持つことは、対称的なSRE状態の存在を阻害することを示す。拡大類が自明な場合（$G_f = G_b \times \mathbb{Z}_2^F$）、非自明な指数は対称的な可逆状態をも禁止する。
• 格子と連続体の不一致： 著者らは、拡大類が非自明（$\omega_2 \neq 0$）である (2+1)D の $\mathbb{Z}_4^F$ 格子対称性の明示的な例を構成する。この対称性は、非自明な格子指数 $n_2 = \omega_2$ を持ち、これが対称的なSRE状態を禁止する。しかし、連続体QFTの分類では、クラス $n_2 = \omega_2$ は（連続体分類における同値関係により）自明なアノマリーと同定される。その結果、この格子対称性は、連続体の't Hooftアノマリーが自明であるにもかかわらず、SRE状態を禁止する。

意義と主張
本論文は、格子アノマリー（テンソル積ヒルベルト空間上の対称的なSRE状態に対する障害として定義される）と連続体の't Hooftアノマリーとの間の根本的な区別を確立することを主張している。著者らは、格子アノマリーから連続体アノマリーへの写像が、単射でも全射でもないことを論じている：

• 全射ではない： 特定の連続体アノマリー（1次元における非自明な $n_1$ や、2次元における奇数の $\mathbb{Z}_{16}$ 時間反転アノマリーなど）は、厳密な格子対称性によって実現できない。
• 単射ではない： 特定の格子上の障害（2次元における特定の $\mathbb{Z}_4^F$ の例など）は、格子上では非自明であるが、連続体の't Hooftアノマリーには自明なものとして写される。

著者らは、テンソル積ヒルベルト空間上の厳密な格子対称性は、連続体アノマリーのサブセットに制限されていると提案している。さらに、(2+1)D において、指数 $(n_2, n_3, \nu_4)$ が消滅することは、対称性がオンサイト可能であるための十分条件である（予想1）と推測している。また、非自明な "$p+ip$" 層（反ユニタリ対称性に関連する$n_1$）を持つ連続体アノマリーは、厳密な内部対称性による格子上での実現は不可能である（予想2および3）と推測しており、これは$\mathbb{Z}_{16}$ のような分類の奇数要素には、非厳密またはエマナントな対称性の作用が必要であることを示唆している。