把量子体系想象成一座被切成东西两半的“纠缠城市”，东城 A 区与西城 B 区分别住着一堆相互纠缠的粒子。在普通有限量子系统中，如果两个整体纯态在东城区看到的一切完全一致，那么它们在西城区最多只是做了一个“市容改造”——总能找到某个只作用于西城区的幺正变换，把一个纯态变成另一个。这就是量子信息里的纯化唯一性（uniqueness of purifications）可一旦系统拥有无穷多个自由度，事情就变了。数学上，区域 A、B 不再对应两个可以简单做张量积的希尔伯特空间，而要用两个互相交换的冯·诺依曼代数 M_A、M_B 来描述局域可观测量。此时，“两个态在某个区域看起来一样”和“能用另一个区域的幺正操作互连”之间，出现了微妙缝隙。填充这个缝隙的，正是本文主角之一——Haag对偶性（Haag duality）。Haag对偶性说的是：A 区域的可观测量代数 M_A，恰好等于 B 区域可观测量代数 M_B 的交换子 M_B′。听着很抽象？换个说法：它禁止系统在 A、B 的“可观测信息”之外，还偷偷藏着一层任何局域观测都碰不到的自由度。只要这个条件满足，纯化唯一性就成立；一旦它被破坏，就会出现“两边都看不到、却真实影响整体”的隐藏关联。论文的惊人之处在于：在二维拓扑物态里，仅仅放进去一个非阿贝尔任意子（nonabelian anyon），就能让 Haag对偶性当场失效，连“纯化唯一性”这件量子信息理论中近乎本能的基础法则都被踩在脚下。而且这还不是某个怪异模型的偶然瑕疵——它发生在整个有能隙相（gapped phase）的每一点上。在具体展开之前，先给不了解任意子的朋友补点背景。任意子（anyon）是二维系统中一类特殊的准粒子，在交换两个全同粒子时，波函数可以乘上任意相位因子，而非只能像玻色子、费米子那样取+1或−1。非阿贝尔任意子更“过分”：交换它们得到的不是一个相位，而是一组矩阵，最终态会落在某个高维融合空间里。这种丰富的内部结构，恰好是拓扑量子计算的重要候选资源。任意子之间可以“融合”成新的任意子类型，也可以反过来做“分裂”操作。对阿贝尔任意子而言，分裂时相对无趣——它和反粒子融合时只有唯一通道，只能分裂出真空激发；但非阿贝尔任意子内部有多个融合通道，可以让一个任意子 b 分裂成一个同类型残余 b 和一个非真空任意子 a。正是这个“多一个非平凡小家伙”的能力，日后成为压垮 Haag 对偶性的最后一根稻草。下面这张公式图给出了任意子融合规则的数学记号：a⊗b = Σ_c N_ab^c c，其中 N_ab^c 表示 a、b 融合到 c 的通道数目。如果 N_aā^c = δ_{1c}，即每种任意子与自己的对偶融合时只能得到真空 1，就称该任意子是阿贝尔的；否则就是非阿贝尔的。后者的存在，让分裂出“额外”的非真空任意子成为可能，也让后续所有反直觉结论有了立足点。而 Haag对偶性的定义也很清晰：M_A 等于 M_B′，其中 M_B′ 是另一个区域所有算符的交换子。这两者构成一对互相制衡的“信息边界”。为什么非阿贝尔任意子能突破这条边界？论文给了一个极其简洁的物理图像。假设区域 B 中固定了一个 b 型非阿贝尔任意子，其反粒子被远远送到无穷远处。这是一个“孤立超选择扇区”：任何局域操作都无法把 b 任意子无中生有地消灭掉。接下来做一次分裂——把 b 分裂成 b 和一个非真空的 a 任意子，再把 a 慢慢地搬运到区域 A 内部。分裂并搬运 a 之后，新状态 |Φ⟩ 与原始状态 |Ψ⟩ 在区域 B 上看起来完全一样——B 区域里仍然只有一个 b 型任意子，其余部分依然满足基态约束。按照纯化唯一性，它们应该能通过一个只作用在区域 A 上的幺正变换互相转换。但论文用“拓扑荷测量”证明：不可能存在这样的幺正变换。关键在于任意子的非定域性：a 虽然站在 A 区域里，但它携带的拓扑荷只能靠一条将其“环绕”的闭合测量回路来探测。任意有限支撑的局域算子 u，总能被一个更大的闭合回路围住，而回路上的投影算符 P_a 与 u 对易。对于含 a 的 |Φ⟩，P_a 作用后不变；对于不含 a 的 |Ψ⟩，P_a 直接给出零。于是 ⟨Ψ|u|Φ⟩ 恒等于零。这一小段“拓扑荷墙”的完整推导，成了全文最重要的物理直觉支点：不是操作不够精细，而是整体拓扑荷从原理上禁止两种纯化之间的局域互连。
Levin–Wen 模型（常简称弦网模型）是 2+1 维拓扑序研究中举足轻重的一类格点模型：它从任意酉融合范畴出发构造哈密顿量，所有项都是两两对易的投影算符，因此能严格求解。弦网模型被认为可以覆盖所有允许有能隙边界的玻色型 2+1 维拓扑有能隙相，是这个领域当之无愧的“活字典”。要在弦网模型中造出一个孤立任意子，常规做法是沿着一条半无限长的“弦”施加一个无限深量子线路：每段弦上的幺正变换由四个部分等距算子与一个恒等算子组成，它们可以制造或湮灭一个 X–X̄ 粒子对，也可以把 X 激发从弦的一端搬运到另一端。将这些幺正变换一段压着一段地作用到真空基态上，就能把单个任意子钉在目标位置，同时把反粒子送往无穷远。接着选取一个非阿贝尔任意子 X，以及 X 与 X̄ 融合时可能出现的某个非真空产物 a。通过局域弦上的分裂操作，从 X–X̄ 对里把一个 a 任意子“扯”出来、放进区域 A，同时把 X 本体送往无穷远，让 X̄ 留在 B 区域。整个过程如图 2 所示。图2：在 Levin–Wen 模型中，一个 a 型任意子被从 X–X̄ 任意子对中局域地分裂出来；之后 X 任意子被移动到无穷远处，只留下一个 X̄ 在区域 B 中。于是，区域 B 内两个状态 |Ψ⟩ 与 |Φ⟩ 各自拥有相同的 X̄ 激发，并同时满足局域拓扑量子序条件，因此任何只观测 B 区域的实验都无法区分二者；可区域 A 中却多出了一个不可被局域消灭的 a 任意子。之前那套“用回路测拓扑荷”的论证，在这里可以被整套管代数与 skein module 等技术严格实现，而不是停留在启发式层面。值得一提的细节是，Levin–Wen 模型本身的对易投影算符结构让所有计算可以精确进行。即便没有数值实验，论文也通过构造性证明给出了完整的数学链。这提醒我们：理论物理的“实验”，有时就是一步步无可辩驳的严格推导。
量子导引与近似Haag对偶性的连锁失效
纯化唯一性失守之后，一个重要问题随之而来：纯态纠缠理论里还有哪些内容能继续成立？研究人员把目光投向了比纠缠制备更温和的量子导引（quantum steering）。导引描述的是这样一种能力：鲍勃在 B 区域做一次测量，可以让爱丽丝在 A 区域的量子态按特定概率系综“塌缩”。即便无法传递信息，这种不对称的操控能力也足够令人着迷。之前有研究指出，A 能被 B 导引，等价于存在一个从 M_B′ 到 M_A、且保持整体量子态的条件期望映射。本文把这一判据搬到 Levin–Wen 模型里逐项验证，发现了一个干脆利落的分界线：只有当任意子是阿贝尔的时，条件期望才满足保态条件；对非阿贝尔任意子，态根本无法被导引。这等于说：非阿贝尔拓扑态中，纯化唯一性丢了，量子导引也丢了。想要用“局域测量加经典通信”的办法从外部撬动这个状态，会发现处处碰壁。这种“双重硬骨头”特性，对容错量子计算也许并非坏事——它意味系统对外界单边测量有很强的天然免疫力。比量子导引更深一层的，是近似Haag对偶性（approximate Haag duality）。精确 Haag对偶性处理的是区域代数严格相等的理想情形，而真实物理中系统总会受到各种微扰。近似Haag对偶性把条件放宽到“误差可以随边界距离快速衰减”的程度，并且在有能隙相的微扰下具备非常好的稳定性——只要它在相空间里的一个代表点上成立，整个有能隙相都会成立。论文的炸弹就在这里引爆：Levin–Wen 模型中的非阿贝尔任意子态，作为某个对易投影哈密顿量的有能隙基态，将按因子 d_ρ^{-2} 精确地破坏近似Haag对偶性。由于近似Haag对偶性是相的属性，一旦在相空间的某一点失效，整个相位内的每个点都会失效。于是作者不仅推翻了“所有有能隙基态都满足近似Haag对偶性”的猜想，更证明存在一类有能隙拓扑物态，让 Haag 对偶性在整个相内处处失效。一个最直接的推论是：如果有人想用“Haag对偶性”判断某个有能隙相是否具有良好定义的自然真空，就必须非常小心地挑选代表态——任何包含非阿贝尔任意子的扇区相都会被自动排除。论文的结论为“相的挑选”提供了全新的筛选准则。
[1] D. Wallick, H. Wilming, A nonabelian anyon violates Haag duality, arXiv:2609.01267, Leibniz Universität Hannover, 2025.[2] M. A. Levin, X.-G. Wen, String-net condensation: A physical mechanism for topological phases, Physical Review B 71, 045110 (2005).[3] A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303, 2-30 (2003).[4] R. Haag, Local Quantum Physics: Fields, Particles, Algebras, 2nd ed., Springer-Verlag (1996).[5] 论文更完整的参考文献列表，请见原文：https://arxiv.org/pdf/2609.01267v1.pdf
