Levin-Wen模型是一种规范理论：源自拓扑的纠缠

我们证明，幺正融合范畴 $\mathcal{C}$ 的Levin-Wen模型是一种规范理论，其规范对称性由管代数 $\operatorname{Tube}(\mathcal{C})$ 给出。特别地，我们定义了一个对应于 $\operatorname{Tube}(\mathcal{C})$ 对称性保护拓扑相的模型，并提供了一个规范程序，该程序可产生相应的Levin-Wen模型。在 $\mathcal{C}=\mathsf{Hilb}(G,\omega)$ 的情况下，我们展示了我们的程序如何简化为平凡 $G$-SPT的扭曲规范，以产生扭曲量子双重态。我们进一步提供了一个超出当前文献范围的例子，即平凡斐波那契SPT，其规范理论导致双重斐波那契弦网。我们的形式体系具有自然的拓扑诠释，其弦图存在于穿孔球面上。我们提供图表以补充数学证明，并让读者对该主题获得直观理解。