[论文解读] Higher-group symmetry in finite gauge theory and stabilizer codes

Maissam Barkeshli, Yu-An Chen+2 more|arXiv (Cornell University)|Nov 21, 2022

Black Holes and Theoretical Physics参考文献 141被引用 14

一句话总结

本文确立了在 (d+1)D 时空维度中的有限规范理论展现出高阶群全局对称性，这种对称性源于磁性缺陷的 1-形式对称性与规范化的对称性保护拓扑（SPT）相之间的相互作用。论文推导了 Dijkgraaf-Witten 拓扑规范理论中的 d-群对称性及其 't Hooft 异常，推广了 Witten 效应和电荷-通量绑定。一个关键结果是，通过该对称性在 (3+1)D 稳定子码中发现了新的容错逻辑门（如受控-Z 门），并为费米子 SPT 相的 H⁵(BG, U(1)) 障碍项提供了简化公式。

ABSTRACT

A large class of gapped phases of matter can be described by topological finite group gauge theories. In this paper we show how such gauge theories possess a higher-group global symmetry, which we study in detail. We derive the $d$-group global symmetry and its 't Hooft anomaly for topological finite group gauge theories in $(d+1)$ space-time dimensions, including non-Abelian gauge groups and Dijkgraaf-Witten twists. We focus on the 1-form symmetry generated by invertible (Abelian) magnetic defects and the higher-form symmetries generated by invertible topological defects decorated with lower dimensional gauged symmetry-protected topological (SPT) phases. We show that due to a generalization of the Witten effect and charge-flux attachment, the 1-form symmetry generated by the magnetic defects mixes with other symmetries into a higher group. We describe such higher-group symmetry in various lattice model examples. We discuss several applications, including the classification of fermionic SPT phases in (3+1)D for general fermionic symmetry groups, where we also derive a simpler formula for the $[O_5] \in H^5(BG, U(1))$ obstruction that has appeared in prior work. We also show how the $d$-group symmetry is related to fault-tolerant non-Pauli logical gates and a refined Clifford hierarchy in stabilizer codes. We discover new logical gates in stabilizer codes using the $d$-group symmetry, such as a Controlled-Z gate in (3+1)D $\mathbb{Z}_2$ toric code.

研究动机与目标

• 识别并分类拓扑有限规范理论中的高阶群全局对称性，包括非阿贝尔和扭曲的 Dijkgraaf-Witten 模型。
• 理解磁性缺陷的 1-形式对称性如何通过广义 Witten 效应和电荷-通量绑定与 SPT 缺陷混合形成高阶群结构。
• 将高阶群对称性应用于 (3+1)D 费米子 SPT 相的分类，特别是推导 H⁵(BG, U(1)) 障碍项的简化公式。
• 将高阶群对称性与稳定子码中的 Clifford 层次联系起来，揭示新的容错逻辑门。
• 使用 Postnikov 类结构建立高规范理论中异常和关联函数的系统性框架。

提出的方法

• 通过广义 Witten 效应和磁性缺陷与规范化 SPT 相之间的电荷-通量绑定，推导 (d+1)D Dijkgraaf-Witten 规范理论中的 d-群全局对称性。
• 在 (3+1)D 的 Z₂ 和 Z₂² 规范理论中构建 3-群对称性的晶格模型，显式实现该对称代数。
• 使用 Postnikov 类形式化方法对 d-群对称性的 't Hooft 异常进行分类，其中 H⁴ 和 H⁵ 类捕捉 3-群和 4-群结构。
• 将高阶群对称性应用于稳定子码中逻辑门的稳定，通过 Klein 瓶拓扑在 (3+1)D Z₂ 量子码中识别出受控-Z 门。
• 使用背景规范场技术计算异常和关联函数，验证其与广义 Witten 效应的一致性。
• 通过分析上同调中的 Cartan 公式和上边界项，推导出费米子 SPT 相中 O₅ 障碍项的简化表达式。

实验结果

研究问题

• RQ1 在有限规范理论中，磁性缺陷的 1-形式对称性如何与 SPT 缺陷混合形成高阶群对称性？
• RQ2 在 (d+1)D Dijkgraaf-Witten 理论中，d-群全局对称性的 't Hooft 异常的精确结构是什么？
• RQ3 如何利用高阶群对称性对 (3+1)D 费米子 SPT 相进行分类？H⁵(BG, U(1)) 障碍项能否被简化？
• RQ4 高阶群对称性与稳定子码中 Clifford 层次之间有何关联？它能否生成新的逻辑门？
• RQ5 广义 Witten 效应和电荷-通量绑定如何在非阿贝尔规范理论中改变磁性缺陷的融合与编织性质？

主要发现

• 在有限规范理论中，磁性缺陷生成的 1-形式对称性由于与规范化的 SPT 相耦合而被扩展为高阶群对称性，形成中心扩张。
• 受控-Z 门作为容错逻辑门在 (3+1)D Z₂ 量子码中通过 3-群对称性实现，其根源在于 Klein 瓶拓扑。
• 本文推导出费米子 SPT 相中 H⁵(BG, U(1)) 障碍项的简化公式，与先前结果一致，但通过上同调恒等式表达得更加简洁。
• 在具有费米子粒子的 Z₂ 规范理论中，3-群对称性为 (3+1)D 费米子 SPT 相的分类提供了新框架，通过 Cartan 公式显式计算了异常。
• 在 (3+1)D 的未扭曲 Z₃₂ 规范理论中，3-群对称性通过非平凡的 H⁴ Postnikov 类实现，证实了高阶群结构的存在。
• 广义 Witten 效应导致 1-形式对称性与 SPT 缺陷之间发生非平凡混合，这对玻色子和费米子模型中高阶群对称性的出现至关重要。