在量子世界中,物质会组织成不同的相,就像水结冰或变成水蒸气一样。然而,其中一些相比我们日常所知的状态要奇异得多。它们被称为对称保护拓扑相(symmetry-protected topological phases)。在这些状态中,材料内部看起来很普通,但其边缘或边界却隐藏着一个秘密,这个秘密受到系统底层对称性的保护。如果你试图抹平边缘或移除这种保护,材料会产生抵抗,通常会迫使边缘变得无序或“简并”(degenerate),这意味着它无法稳定在一个单一、平静的状态。这种隐藏的内部与活跃的边缘之间的联系是现代物理学的一条基本规则。最近,科学家们开始探索当对称性的规则本身发生变化时会发生什么。他们不再研究自然界中常见的可逆对称性,而是正在研究“不可逆”(non-invertible)对称性。这些是更复杂的规则,其中的动作无法简单地被撤销,从而创造了一个更丰富、更复杂的物质行为可能性图景。
一组研究人员现在构建了这一新图景的详细地图,在三维空间(两个空间维度加上时间)中构建了这些奇异量子态的具体模型。他们专注于一类被称为广义簇态(generalized cluster states)的材料。为了创建这些状态,他们从一个标准的量子系统出发,执行了一种被称为“规范化”(gauging)的数学操作,这本质上是将全局对称性转变为局部对称性,将对称性编织进材料的结构之中。这一过程产生了一种由不可逆对称性保护的新型有序。研究人员不仅写下了方程,还利用一种强大的工具——张量网络(tensor networks)——构建了实际的量子态。你可以将张量网络理解为一种通过将复杂的量子态分解为相互连接的碎片来描述它的方法,类似于高分辨率图像是由像素组成的,但这里的连接承载的是量子信息。这种方法使他们能够清晰地观察到这些状态的微观结构,揭示了不可逆对称性是如何作用于材料的。
其中一项最重要的发现涉及当两种不同的量子相相遇时会发生什么。在普通物理学中,如果你将两种不同的材料放在一起,它们之间的边界可能是平滑的,也可能具有特定的模式。然而,研究人员发现,当两个属于不同相的广义簇态相遇时,边界被迫是简并的。这意味着界面无法稳定在单一、唯一的基态。就好像边界陷入了一种永久的不确定状态,无法在一种构型或另一种构型之间做出选择。无论边界是一个尖锐、干净的线,还是一个杂乱、无能隙(gapless)的区域,这种现象都会发生。对称性本身强制执行了这种无序。这一发现推广了物理学中一个著名的原理——体边对应关系(bulk-boundary correspondence),将其扩展到了这些新的不可逆对称性领域。研究人员证明,这种简并是界面处对称性数学结构的直接结果,他们使用一种被称为“条带2-代数”(strip 2-algebra)的新代数框架对该结构进行了描述。
该团队还探索了这些状态随时间缓慢变化时的行为。他们创建了一系列可以被平滑调节的量子态家族,就像转动旋钮一样,同时保持对称性不变。通过让系统在参数空间中循环运动,他们演示了一种被称为广义索利斯泵浦(generalized Thouless pump)的现象。随着系统循环,它会将特定类型的激发从一侧泵送到另一侧。这不仅仅是一个理论上的奇趣现象;它证实了这些新相态具有非平凡的拓扑结构,可以以量子化的方式传输信息或电荷。研究人员在具体的例子上测试了他们的想法,包括涉及模2整数等简单群的情况,并发现他们的普遍预测是成立的。他们将结果与已知相进行了比较,并展示了他们的构建捕捉到了这些复杂系统的核心特征。
最终,这项工作为理解和构建这些奇异量子相提供了一种系统的方法。通过使用张量网络,研究人员能够将对称性算符和界面模式可视化,将抽象的数学概念转化为具体的、可计算的对象。他们证明了不同相之间的界面必须是简并的,这一结果即使在界面是无能隙的情况下依然成立,这比在具有普通对称性的系统中看到的约束更为严格。这表明不可逆对称性对量子世界施加了更严格的秩序,禁止了那些在其他情况下可能发生的平滑转变。这项研究还阐明了这些相的分类,展示了它们是如何由特定的数学选择进行标记以及如何相互关联的。通过构建这些模型并研究其性质,研究人员为这个全新的量子物质领域打开了一扇窗,在这个领域中,对称性的规则更加复杂,而材料在边缘的行为则受到宇宙隐藏代数的根本约束。
技术摘要:2+1维广义簇态 (Generalized Cluster States)
问题陈述
对称保护拓扑 (SPT) 相是受对称性约束并由受保护边缘模区分的非平凡量子物质相。虽然对于具有可逆对称性(群)的系统,体-边界对应关系和拓扑泵浦(广义 Thouless 泵)已得到充分研究,但近期的发展已将对称性的概念扩展到包括不可逆对称性,其在代数上由融合范畴 (fusion categories) 和高范畴 (higher categories) 来描述。
在由融合 2-范畴 (fusion 2-categories) 描述的 2+1 维 SPT 相的系统性理解方面,仍存在显著空白。尽管已经构建了此类相的晶格模型(例如,通过对有限群对称性进行规范化/gauging),但目前尚缺乏一个统一的框架来描述:
- 这些 SPT 相的基态及其对称算符的显式张量网络表示。
- 作用于不同 SPT 相之间界面上的对称性的本质(特别是界面是否是简并的)。
- 在存在不可逆对称性的情况下,这些相在参数化族(拓扑泵浦)中的行为。
研究方法
作者结合了晶格规范理论、张量网络态(特别是投影纠缠对态 - PEPS)以及高范畴论,来构建并分析 2+1d 的 SPT 相。
- 通过规范化进行构建: 作者通过从具有有限群 G 对称性且该对称性自发对称性破缺到子群 K 的系统开始,规范化一个子群 H⊂G。由此产生的模型实现了由群理论融合 2-范畴 C(G;H) 保护的 SPT 相。
- 广义簇态: 这些模型的基态被识别为“广义簇态”。作者提供了这些态的显式 PEPS 表示,其中局部张量编码了群结构和规范化过程。
- 张量网络对称性算符: 对应于融合 2-范畴中对象的对称算符是通过投影纠缠对算符 (PEPOs) 构建的。这些算符是由作用于底层 G 对称模型的规范化 (DH) 和去规范化 (DˉH) 算符构成的。作者证明了这些算符在 PEPS 的虚键 (virtual bonds) 上表现为“分数化”作用。
- 界面分析:
- 范畴论角度: 两个 SPT 相(由补集 K1 和 K2 标记)之间的界面由条带 2-代数 (strip 2-algebra)(一种多融合范畴)描述。作者通过分析该代数上的模范畴 (module categories) 来分类有能隙的界面模。
- 张量网络角度: 利用从体 PEPS 中导出的分数化作用张量,显式计算了作用在界面上的对称性。
- 参数化族: 利用对称性插值法,作者构建了 S1-参数化的态族。他们通过分析绝热演化,证明了在存在非可逆对称性的情况下,可以实现非平凡的界面模泵浦(广义 Thouless 泵)。
核心贡献与结果
1. 构造广义簇模型
论文定义了一类在 2+1d 中精确可解的晶格模型。通过在 G 对称性模型(该模型破缺到 K,其中 HK=G 且 H∩K={e})中规范化子群 H,作者实现了具有对称性 C(G;H) 的 SPT 相。
- 结果: 基态是唯一确定的,并且可以写成配置的等权重叠加,这推广了 1+1d 的簇态。
- 表示: 提供了显式的 PEPS 表示,其中虚键由 H 的元素标记。
2. 不可逆对称性算符
作者显式构造了融合 2-范畴 C(G;H) 的对称算符。
- 结果: 0-form 对称算符由 D[VHg]=DHUgDˉH 给出,其中 Ug 是去规范化模型的格点对称性。
- 分数化: 研究表明,这些算符通过“作用张量” ϕK[VHg] 作用于 PEPS 的虚腿。这种分数化是一个关键特征,使得研究边界和界面物理成为可能。
- 键维缩减: 对于非反常对称性,代表该对称性的 PEPO 的键维可以从 ∣H∣2 降低到 ∣H∣,类似于 1+1d 中的“格点化 (onsiteability)”现象。
3. 界面对称性与条带 2-代数
关于两个广义簇态(可能处于不同 SPT 相)之间界面的对称性结构是一个核心结果。
- 结果: 界面处的对称性由条带 2-代数(一种多融合范畴)CK1,K2 描述。
- 简并定理: 作者证明,如果两个 SPT 相是不同的(即它们的定义纤维 2-函子不同构),则界面对称性是反常的 (anomalous)。因此,界面上的任何态都必须是简并的(对称性强迫简并),无论该界面是有能隙还是无能隙的。
- 推广: 这推广了体-边界对应关系。与可逆对称性(其中无能隙边缘可以是非简并的)不同,不可逆对称性在不同相之间的界面上强迫简并。
4. 广义 Thouless 泵
作者构造了 S1-参数化的广义簇态族。
- 方法: 他们在恒等算符与畴壁产生算符(该算符会置换对称性破缺的基态)之间进行插值,同时保持非可逆对称性不变。
- 结果: 沿参数空间 S1 的绝热演化会泵浦出一个非平凡的自界面模 (self-interface mode)。该模对应于条带 2-代数表示的一个非平凡表示,从而确立了非可逆 SPT 相中广义 Thouless 泵的存在。
5. 具体实例
通用理论通过两类特定情况进行了说明:
- 2Rep(G0)⊠2VecG0 SPTs: 对应于 G0-簇态。作者分析了它们与平凡相之间的界面,展示了对于不同相,对称性代数会简化为矩阵范畴(例如 Mat∣G0∣(Vec)),从而强迫简并。
- Tambara-Yamagami SPTs: 对应于对称性 2TY(A,1)。作者分类了这些相并分析了它们的界面,恢复了已知结果(例如普通 Z2-簇模型与平凡相之间的界面简并性),并将其扩展到了非可逆背景下。
重要性与主张
本文声称提供了利用张量网络研究具有不可逆对称性的 2+1d SPT 相的首个系统性框架。
- 统一性: 它在群理论融合 2-范畴及其模范畴的语言下,统一了基态、对称算符和界面物理的描述。
- 体-边界对应关系: 它为不可逆对称性建立了一个鲁棒的体-边界对应关系,证明了不同的 SPT 相必须承载简并的界面。这比标准的 LSM 型约束更强,因为它甚至适用于无能隙界面。
- 拓扑泵浦: 它证明了拓扑泵浦现象(Thouless 泵)对于不可逆对称性而言仍然存在且定义良好,其泵浦的模由条带 2-代数的表示论来分类。
- 数学-物理桥梁: 该工作将纤维 2-函符(来自 [90])的数学分类与显式的晶格构造联系起来,为非可逆 SPT 相的抽象范畴分类提供了具体的实现。
作者强调,其构造依赖于相关的融合 2-范畴是群理论性的(允许存在纤维 2-函符)这一假设,这对于 2+1d 中 SPT 相的存在是必要的。研究结果对于所构建的晶格模型是精确的,为非可逆对称性的范畴描述提供了微观基础。
每周获取最佳 high-energy theory 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。