Fermionic Anomalies of Finite Symmetries on Lattices

技术摘要：格点上有限对称性的费米子异常

问题陈述
本文研究了格点系统中有限内部费米子对称性的 't Hooft 异常特征化，特别是在 (1+1)D 和 (2+1)D 空间维度下的情况。虽然连续量子场论 (QFT) 通过群上同调和配边理论提供了这些异常的分类，但一个悬而未决的问题是：哪些连续异常可以通过微观格点模型上的精确对称性来实现。核心动机在于确定实现格点上对称短程纠缠 (SRE) 态的障碍是否与连续 't Hooft 异常分类一致。作者关注的是局部希尔伯特空间为单点费米子与玻色子自由度张量积的系统，且对称群 $G_f$ 是由玻色子群 $G_b$ 与费米子宇称 $\mathbb{Z}_2^F$ 构成的中心扩张。

方法论
作者开发了一种格点特征化方法，用于定义由对称 SRE 态存在障碍所构成的异常。其方法包括：

1. 截断与缺陷分析： 他们分析了代表对称算符的有限深度量子电路 (FDQC)。通过将这些算符截断到空间区域（1D 中的区间，2D 中的圆盘），他们识别出了边界算符（缺陷）以及无法严格满足群代数、而是获得相位因子或费米子宇称符号的连接算符（junction operators）。
2. 上同调指数提取： 他们从截断算符的代数关系中提取出一系列上同调指数。这些指数源自连接算符的费米子宇称以及与它们的结合律相关的相位因子。
3. 在位性（Onsiteability）证明： 对于特定情况（特别是平凡扩张 $G_f = G_b \times \mathbb{Z}_2^F$），他们构造了显式的有限深度电路（解纠缠算符），将系统与玻色子辅助自由度耦合，从而将对称性转化为在位形式。如果存在这样的电路，则该对称性是“在位”的，并允许存在对称 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)$ 的对称性是可以在位（onsiteable）的。因此，对于此类情况，指数能忠实地检测格点异常。
• 与连续 QFT 的不匹配： 他们证明了精确格点对称性无法实现完整的连续分类。具体而言，连续异常包含一个额外的层 $[n_1] \in H^1(BG_b, \mathbb{Z}_2)$。对于 $G_b = \mathbb{Z}_2$，连续异常由 $\mathbb{Z}_8$ 分类，但精确格点对称性仅能实现其偶数部分 $\mathbb{Z}_4$ 子群。那些只有 $n_1$ 非平凡的“奇数” $\text{mod-}8$ 异常无法通过张量积希尔伯特空间上的精确对称性来实现；它们需要 emanant 对称性（例如 Majorana 平移）。

(2+1)D 结果：

• 分层异常结构： 作者为一般的有限内部对称性制定了一个由三个异常层组成的层级结构：
  1. Majorana 层 ($n_2$)： 一个位于 $H^2(BG_b, \mathbb{Z}_2)$ 中的指数，通过 1D 费米子量子细胞自动机 (QCA) 边界缺陷的 $\sqrt{2}$ 因子来检测。
  2. 复费米子层 ($n_3$)： 一个位于 $H^3(BG_b, \mathbb{Z}_2)$ 中的指数，源自在平凡化 Majorana 层后端点结合算符的费米子宇称。
  3. 玻色子层 ($\nu_4$)： 一个位于 $H^4(BG_b, \mathbb{R}/\mathbb{Z})$ 中的指数，代表纯玻色子部分的异常。
• 对 SRE 的阻碍： 他们表明，这些层中任何一层的非平凡值都会阻碍对称 SRE 态的存在。如果扩张类是平凡的（$G_f = G_b \times \mathbb{Z}_2^F$），非平凡指数也会禁止任何对称的可逆态。
• 格点与连续的不匹配： 作者构造了一个 (2+1)D 中具有非平凡扩张类（$\omega_2 \neq 0$）的 $\mathbb{Z}_4^F$ 格点对称性示例。该对称性携带非平凡格点指数 $n_2 = \omega_2$，从而禁止了对称 SRE 态。然而，在连续 QFT 分类中，类 $n_2 = \omega_2$ 被识别为平凡异常（由于连续分类中的等价关系）。因此，尽管该格点对称性禁止了 SRE 态，但在连续理论中其 't Hooft 异常却是平凡的。

意义与主张
本文声称确立了格点异常（定义为张量积希尔伯特空间上对称 SRE 态存在的障碍）与连续 't Hooft 异常之间的基本区别。作者认为，从格点异常到连续异常的映射既不是满射也不是单射：

• 非满射： 某些连续异常（例如 1D 中具有非平凡 $n_1$ 的异常，或 2D 中奇数的 $\mathbb{Z}_{16}$ 时间反演异常）无法通过精确格点对称性来实现。
• 非单射： 某些格点阻碍（例如 2D 中的特定 $\mathbb{Z}_4^F$ 示例）在格点上是非平凡的，但在连续理论中映射为平凡异常。

作者提出，张量积希尔伯特空间上的精确格点对称性被限制在连续异常的一个子集中。他们进一步推测，对于 (2+1)D，指数 $(n_2, n_3, \nu_4)$ 的消失对于对称性是可以在位（onsiteable）的充分条件（猜想 1）。此外，他们推测具有非平凡 "$p+ip$" 层（与反幺正对称性相关的$n_1$）的连续异常无法通过精确内部对称性在格点上实现（猜想 2 和 3），这表明像时间反演对称性的$\mathbb{Z}_{16}$ 分类中的奇数元素需要非精确或 emanant 对称性作用。