[论文解读] Gauging Categorical Symmetries in 3d Topological Orders and Bulk Reconstruction

Matthew Yu|arXiv (Cornell University)|Nov 26, 2021

Geophysics and Sensor Technology被引用 14

一句话总结

本文通过范畴凝聚，构建了一个用于在3D拓扑序中规范非交换 anyons 的范畴框架，利用模张量范畴中的代数对象系统地构造子理论。它引入了父理论与壁范畴之间的一致性关系，并从子理论的 S-矩阵推导出父理论的 S-矩阵元素，通过 Verlinde 公式应用实现体恢复，得出显式的量子维数和模不变量。

ABSTRACT

We use the language of categorical condensation to give a procedure for gauging nonabelian anyons, which are the manifestations of categorical symmetries in three spacetime dimensions. We also describe how the condensation procedure can be used in other contexts such as for topological cosets and constructing modular invariants. By studying a generalization of which anyons are condensable, we arrive at representations of congruence subgroups of the modular group. We finally present an analysis for ungauging anyons, which is related to the problem of constructing a Drinfeld center for a fusion category; this procedure we refer to as bulk reconstruction. We introduce a set of consistency relations regarding lines in the parent theory and wall category. Through use of these relations along with the $S$-matrix elements of the child theory, we construct $S$-matrix elements of a parent theory in a number of examples.

研究动机与目标

• 开发一种使用范畴凝聚在3D拓alonic序中规范非阿贝尔任意子的一般程序，扩展至阿贝尔一形式对称性之外。
• 提供一种系统算法，用于确定非阿贝尔任意子凝聚后子理论中弦的谱和量子维数。
• 建立一种方法，称为“体恢复”，通过从子理论的 S-矩阵恢复父理论数据。
• 展示在构造模不变量、拓扑商群和验证模张量范畴之间莫里塔等价方面的应用。
• 利用一致性关系和 Verlinde 公式，显式推导父理论的 S-矩阵元素，并通过具体例子验证。

提出的方法

• 使用模张量范畴（MTCs）中的特殊弗罗贝尼乌斯代数进行范畴凝聚，以描述非阿贝尔任意子的规范化。
• 应用父理论中弦与壁范畴（界面理论）之间的一致性关系，以约束 S-矩阵元素。
• 在形式 $ N^{0}_{a,b} = \sum_d \frac{S^2_{a,d} S^*_{b,d}}{S_{0,d}} $ 中应用 Verlinde 公式，从子理论数据重建父理论 S-矩阵条目。
• 利用融合规则与对称性约束，推导 S-矩阵元素之间的关系，如 $ S_{2,0} = S_{2,2} = -S_{2,4} = \cdots $，从而减少独立变量数量。
• 在具体例子中进行显式计算，通过求解由融合规则和幺正性导出的方程组，确定 $ S_{2,0} = \frac{1}{\sqrt{12}} $ 和 $ S_{5,0} = \frac{1}{\sqrt{6}} $。
• 将该程序应用于验证共形嵌入并分析拓扑商群，表明其在无能隙边界构造之外也具有实用性。

实验结果

研究问题

• RQ1 如何通过范畴凝聚在3D拓扑序中规范非阿贝尔任意子？哪些条件决定了任意子代数是否可凝聚？
• RQ2 父理论、壁范畴与子理论 S-矩阵元素之间相互作用的一致性关系是什么？
• RQ3 如何利用 Verlinde 公式与融合规则，从子理论的 S-矩阵重建父理论的 S-矩阵？
• RQ4 模群的同余子群在广义凝聚框架中起什么作用？
• RQ5 规范任意子的“体恢复”程序如何实现从子理论恢复父理论数据？

主要发现

• 通过 Verlinde 公式和融合规则的对称性约束，推导出 $ S_{2,0} = \frac{1}{\sqrt{12}} $ 和 $ S_{2,1} = -S_{2,5} = \frac{1}{\sqrt{24}} $。
• 对于标记为5的弦，S-矩阵元素为 $ S_{5,0} = \frac{1}{\sqrt{6}} $，$ S_{5,2} = -S_{5,8} = -\frac{2}{\sqrt{24}} $，且 $ S_{5,1} = S_{5,3} = S_{5,5} = S_{5,7} = S_{5,9} = 0 $，其中 $ S_{5,4} = S_{5,0} $，$ S_{5,6} = -S_{5,0} $，$ S_{5,10} = S_{5,0} $。
• Verlinde 公式验证了一致性：$ 1 = 6S^2_{2,0} + 3S^2_{2,1} $，得出 $ S_{2,0} = \frac{1}{\sqrt{12}} $。
• 该程序成功地从子理论数据重建了父理论的 S-矩阵，通过代数约束与对称性关系展示了体恢复。
• 分析表明 $ S_{5,5} = 0 $ 且 $ S_{5,10} \neq S_{5,0} $，解决了早期方程中的矛盾，并确保与幺正性的相容性。
• 该方法为构造模不变量和分析拓扑商群提供了框架，适用于莫里塔等价与共形嵌入。