带边界的量子双模型：凝聚与对称性

对于每个有限群，Kitaev 定义了每个无边可定向曲面上的量子双模型。在本文中，我们为该模型定义边界并刻画凝聚；即，我们找出所有在移动到边界时消失的准粒子激发（任意子）。然后，我们考虑对应于两个群且其间存在畴壁的量子双模型的两个相，并研究任意子从一个相到另一个相的隧穿。利用这一框架，我们讨论了不同群给出相同任意子类型的必要充分条件。作为一个应用，我们证明在 S_3（三个字母的置换群）的量子双模型中，存在一个电荷子和一个磁通子，它们是不可区分的。该群实际上是有限域加法群和乘法群半直积形式群的一个特例，对于所有这些群，我们证明了类似的对称性。