Realizing Braided Fusion 2-Categories as (3+1)D Mixed-State Topological Orders

在构建能够解决超越当今机器能力的难题之计算机的探索过程中，科学家们长期以来一直关注着量子材料这一奇异世界。这些物质中，粒子的行为并非由简单的碰撞规则决定，而是受控于一种被称为拓扑序的深层、不可见的结构。在一个完美的、孤立的世界里，这些材料承载着奇异粒子，能够以一种天然免受误差影响的方式存储信息。然而，现实世界从未完美。量子系统不断受到噪声和热量的轰击，导致它们失去那些微妙的量子连接，这一过程被称为退相干。几十年来，主流观点认为这种噪声纯粹是破坏性的：它会简单地冲刷掉这些材料的特殊属性，留下一个混乱、平凡的状态。但近期的发现推翻了这一观点，揭示了噪声有时能做出更为令人惊讶的事情。噪声不仅没有仅仅破坏秩序，与环境的相互作用实际上可以创造出全新的、在完美、孤立系统中根本无法存在的形式的秩序。这些被称为混合态拓扑序，即诞生于丢失量子信息这一行为本身的物质相。

一组研究人员现在通过绘制这些难以捉摸的状态在三维世界中如何运作的图谱，在理解这些状态方面迈出了重要的一步。虽然之前的研究探讨过类似的现象在二维中的情况，但三维情况要复杂得多，并提供了更丰富的可能性景观。由 Ryohei Kobayashi、Abhinav Prem 和 Matthew Yu 领导的团队构建了一个通用的框架来描述这些状态，表明它们可以通过涉及算符范畴（categories of operators）的特定数学语言来理解。他们证明了，通过从一个已知的量子材料出发并使其承受受控量的噪声，可以生成一个庞大的新相家族。其中一些相如此独特，以至于在完美、孤立系统的世界中找不到对应的物种。他们发现，这些新状态的特征是一种对噪声具有鲁棒性的“隐藏”对称性，并且描述它们的数学数据可以直接与嘈杂材料的物理属性联系起来。

研究人员首先通过在计算机晶格（本质上是一个代表空间的网格）上构建具体的模型开始了他们的调查。他们从一个著名的量子系统——托里码（toric code）开始，这为研究拓扑序提供了一个游乐场。在第一个实验中，他们采用了一个包含费米子（一种包括电子在内的物质类型）行为粒子的托里码版本，并引入了一种特定类型的噪声通道。该通道导致粒子发生非相干的扩散，有效地在保持某些对称性的同时扰乱了它们的位置。结果是一个混合态，其中的粒子依然存在，但它们被其他粒子以特定方式检测到的能力发生了改变。在这种新状态下，粒子变得对彼此“透明”，这意味着它们可以相互穿过而不发生相互作用，但它们仍然携带一种微妙的内在属性，防止系统变成一个简单的、平凡的状态。这证实了噪声可以产生一种稳定的长程纠缠态，这种状态在本质上不同于任何洁净、孤立系统的基态。

为了探索全方位的可能性，团队随后将这些嘈杂系统的不同层进行了组合。他们将一个仅包含标准粒子的玻色子版本托里码与费米子版本堆叠在一起。通过应用一个将两个层级联系起来的噪声通道，他们创造了一个同时承载费米子粒子和费米子环路（fermionic loop）的混合态。这两种激发——分别是点状和环状的——可以通过一种称为编织（braiding）的过程来检测彼此，即一个绕着另一个运动。值得注意的是，该系统并非“简并”的，即其组成部分并非不可区分；每一个算符都可以通过与其他算符编织来被检测到。然而，该系统仍然携带了一个全局异常（global anomaly），这是一种在不耦合更高维度的情况下，在纯三维空间内无法解决的微妙不一致性。这意味着尽管该系统从内部看表现得非常完美，但它本质上是“混合”的，因为它无法作为三维空间中的纯粹、孤立的基态而存在。这一发现揭示了一种创建在二维中不存在等效物的混合态序的新机制。

作者随后将这些具体实例推广为一种广泛的构建方法。他们提出，任何此类三维混合态拓扑序都可以通过从一个阿贝尔规范场论（一种描述力的场论）出发并经过一系列操作来构建。首先，他们引入噪声，使某些激发（如环路或粒子）发生非相干的增殖。这一步创造了一个具有强对称性的状态，这种对称性对噪声具有鲁棒性。接下来，他们执行一个称为“规范化”（gauging）的过程，这是一种强制实施对称性约束的方法。他们区分了“强”对称性（即系统中每一个单独的状态都遵循该规则）和“弱”对称性（即只有状态的平均值遵循该规则）。通过对强对称性和弱对称性进行规范化，他们展示了可以生成每一种已知的数学结构，即编织融合 2-范畴（braction fusion 2-category）。这些范畴是描述这些系统中拓扑算符如何组合及相互作用规则的数学对象。

这项工作的意义在于其能够将抽象数学与物理现实联系起来。研究人员表明，用于分类这些复杂的编织融合 2-范畴的数据直接对应于他们在晶格模型中的物理参数，例如应用的噪声类型和被规范化的对称性。他们确立了每一个编织融合 2-范畴都可以实现为三维混合态的拓扑算符集。此外，他们确定了在什么情况下这些状态是“本质混合”的，即它们无法被转化回纯粹、孤立的状态。这种情况有两种表现形式：要么透明算符携带非平凡异常，要么系统是非简并的但携带了一个防止其存在于纯态中的引力异常。这提供了一个清晰的、范畴论层面的准则，用于区分仅仅是纯态轻微变形的混合态与代表全新物质相的混合态。

论文还阐明了这些发现对量子信息未来的意义。虽然主要侧重于这些状态的理论分类，但这项工作表明，量子信息在噪声环境中的稳定性比此前认为的更为微妙。研究人员发现，对于存储信息至关重要的长程纠缠，即使在显著的噪声存在下，也可以通过这些异常对称性得到强化。这意味着可能存在新的保护量子信息的方法，这些方法并不依赖于保持系统完美隔离，而是利用设计噪声本身来创造一个稳定的有序相。然而，作者谨慎地指出，他们的结果是基于一个特定的假设（ansatz），即拓扑算符构成一个编织融合 2-范畴。虽然他们已经证明这一假设会导致一个一致且全面的框架，但尚未证明每一个可能的混合态都必须遵循这种结构。

在结论中，团队列出了仍存在的几个开放性问题。他们指出，虽然他们提供了一种构建这些状态的方法，但对所有可能的混合态相的完整分类仍是一个开放课题。他们还提出了关于这些系统中手性（chirality）或方向性的问题，指出在纯态中检测手性的标准方法并不直接适用于混合态。此外，他们建议其框架可以扩展到研究分形子（fracton）序，这是一种粒子运动受限的奇异序，也是三维拓扑物理学的一个前沿领域。这项工作也为理解这些混合态是否可以作为开放系统动力学的稳态（而非仅仅是来自纯态的退相干结果）打开了大门。通过在物理系统的噪声与描述它的抽象数学结构之间建立起具体的联系，这项研究为我们观察三维世界中复杂且往往违反直觉的量子物质提供了一个全新的视角。