Non-invertible Lattice 1-Form Symmetries for Non-Abelian Topological Order

对称性是宇宙中静默的建筑师，是规定物质如何组织的隐藏规则手册。在量子物理学领域，科学家早已知晓某些有序模式可以被打破，从而产生新的物态。最近，一种更广泛的对称性理解应运而生，揭示了这些规则不仅作用于空间中的单个点，还可以延伸至线和面。这些被称为高阶形式对称性（higher-form symmetries）。虽然简单的、可预测的系统遵循可以像标准锁钥一样进行逆转的规则，但更复杂的量子态涉及的是无法被撤销的规则。这些不可逆的规则支配着一种被称为非阿贝尔拓扑序（non-Abelian topological order）的奇特物质，在这种状态下，被称为任意子（anyons）的粒子以比普通材料中更为丰富且复杂的交互方式进行相互作用。理解这些复杂规则的工作原理，对于构建下一代量子计算机至关重要，因为这些计算机依赖这些奇异状态来存储并无误差地处理信息。

多年来，研究人员一直能够描述这些对称性中较简单的、可逆的版本，但这种不可逆的类型在具体的物理模型中仍然是一个谜。慕尼黑工业大学的一个物理学家团队现在填补了这一空白。他们为一个被称为基塔耶夫量子双倍体（Kitaev quantum double）的特定量子模型，构建了一张详细的非可逆对称性规则图谱。通过直接处理该模型的微观构建模块，他们展示了这些奇特的对称算符是如何作用于系统的。他们的工作证明，这些复杂量子系统的基态并非随机的粒子集合，而是这些非可逆对称性自发破缺的结果，就像磁铁在冷却时会选择一个方向一样。

研究人员关注的模型中，基本信息单元并非简单的开/关开关，而是携带一个有限群（finite group）的属性，这是一种描述事物如何重新排列的数学结构。在涉及仅有两个元素的简单群的最简情况下，对称规则是直观且可逆的。然而，当群变得更大、更复杂时，规则会发生根本性的变化。团队证明，在这些复杂情况下，对称算符并不构成一个每个动作都有明确反向操作的简单群；相反，它们形成了一种结合两个算符后可能会同时分裂成多种不同结果的结构。这就是物理学家所说的非可归约融合代数（non-invertible fusion algebra）。它背离了熟悉的因果逻辑，即单一动作导致单一结果。

为了理解这一点，团队构建了三种特定类型的工具，即算符，作用于量子系统。第一种类型称为电算符（electric operators），其作用类似于测量特定电荷存在的环路。第二种类型是磁算符（magnetic operators），其作用是穿过系统的磁通量环路。第三种类型是双子型算符（dyonic operators），它是携带电荷与磁通量的混合体。在较简单的系统中，仅靠电环路和磁环路就足以描述一切。但在这些复杂的非阿贝尔系统中，研究人员发现，仅靠电环路和磁环路不足以区分所有的不同状态。他们发现，必须使用特定组合的混合双子型算符，才能完全区分系统所有可能的基态。

团队利用这些工具重建了整个系统的最低能量状态景观，即基态子空间。他们展示了在类似圆柱体的形状上，不同的状态由穿过它的磁通量来区分。而在像甜甜圈一样中间有孔的环面（torus）形状上，情况则更为复杂。不同的状态由穿过环面两个孔的磁通量对来决定。至关重要的是，这两个通量必须是兼容的；它们必须能够共存而不产生冲突。研究人员发现，对于拥有六个元素的最小非阿贝尔群，恰好存在八个不同的基态。他们证明，通过将这些非可逆对称算符应用于一个基础起始态，可以生成这八个状态。这为为什么这些系统具有特定数量的基态提供了一个具体的微观解释，而此前这个数量仅通过抽象的数学计数来理解。

他们发现的一个关键部分涉及这些算符如何相互作用。在最简单的系统中，电环路和磁环路可以在彼此周围移动而不影响结果，或者可能仅仅是改变一个符号。在研究的这些复杂系统中，这种相互作用要微妙得多。当一个电环路跨越一个磁环路时，结果不仅仅是一个简单的翻转，而是一个取决于特定电荷和通量类型的缩放因子。有时，这种相互作用甚至会导致零，这意味着两个环路实际上以一种在更简单系统中不可能实现的方式相互抵消。这种被称为混合异常（mixed anomaly）的行为，是该系统深层复杂性的标志。研究人员表明，正是这种异常使得系统能够维持其独特的拓扑序，并保护基态不被轻易扰动。

这项工作还阐明了这些抽象的对称规则是如何从混乱、详细的晶格现实中涌现出来的。在微观层面，组合这些算符的规则并不总是完美的；它们可能会留下微小的缺陷或瑕疵。然而，研究人员表明，当系统被投影到其洁净、无缺陷的状态时，这些混乱的微观细节会平滑化，从而清晰地显现出非可逆对称性的优雅拓扑规则。这在理论上的拓扑序数学与由离散组件构建的量子系统的物理现实之间建立了至关重要的联系。

通过绘制这些非可逆对称性的图谱，该团队为描述非阿贝尔拓扑序提供了一种新的语言。这种语言不仅仅是一项理论练习；它为识别和表征未来量子处理器中的这些状态提供了实用的工具包。如果科学家能够制造出利用这些复杂状态的量子计算机，他们将需要一种方法来验证系统是否处于正确状态，并区分其持有的不同类型的信息。本文描述的算符作为一种诊断工具，用于探测系统并确认其身份，而不会破坏其所持有的脆弱量子信息。该研究证实，这些系统的基态是这类无法被逆转的对称性发生自发对称性破缺的具体实现。这一洞察深化了我们对自然在最基本层面上如何组织自身的理解，并为更稳健地利用量子力学进行计算打开了大门。