通过对称化构造拓扑模型：一项 PEPS 研究

对拓扑有序波函数进行对称化是构造新拓扑模型的一种强大方法。在此，我们在投影纠缠对态（PEPS）形式下研究了通过对群 $G$ 的量子双模型进行对称化而得到的波函数。我们证明，对称化自然产生一个更大的对称群 $\tilde G$，且该群总是非阿贝尔的。我们证明，通过在足够大的块上进行对称化，总能构造出与 $\tilde G$ 的双模型处于同一相的波函数。为了理解对称化在更小块上的效果，我们对环面码模型进行了数值研究，发现了强有力的证据表明在单个自旋上进行对称化会产生一个临界模型，该模型处于两个不等价环面码的相变点，这两个环面码是通过从 $\tilde G$ 的双模型进行任意子凝聚得到的。