量子纠错界的"黑马"跑通通用门集:54 个量子比特的一次演示

量子计算机有个绕不开的账:量子信息太脆,得靠纠错把一堆不可靠的物理比特打包成一个可靠的逻辑比特。但"存得住"只是第一道门槛,第二道更难——你得在这个受保护的编码上,跑出能做任意计算的完整门集。2026 年,一条被冷落了二十多年的路线把第二道门槛也摸到了。
量子计算机有个绕不开的账:量子信息太脆,得靠纠错把一堆不可靠的物理比特打包成一个可靠的逻辑比特。但"存得住"只是第一道门槛,第二道更难——你得在这个受保护的编码上,跑出能做任意计算的完整门集。2026 年,一条被冷落了二十多年的路线把第二道门槛也摸到了。
芝加哥大学普利兹克分子工程学院、哈佛大学、石溪大学与 Quantinuum 的团队在 H2 离子阱处理器上,用 54 个量子比特制备出基于 S₃ 对称群的非阿贝尔任意子态,并在这套编码里演示了第一个通用门集。论文发表于《自然》,ScienceDaily 在 2026 年 9 月 25 日作了报道。
任意子:一类只在二维里成立的粒子
我们熟悉的粒子分两类:玻色子和费米子。交换两个全同粒子,波函数要么不变,要么变号。二维体系里还有第三种可能——任意子(anyon)。如果交换的结果不是乘一个数,而是作用在一段内部状态上,并且作用的先后次序会改变结果,就叫非阿贝尔任意子。"非阿贝尔"说的是操作不可交换:先绕 A 再绕 B,和先绕 B 再绕 A,会算出不同的东西。
这个性质天然适合存信息。把信息放在多个任意子的内部状态里,局部扰动很难动到它;让一个任意子绕另一个走一圈(braiding),就等于对信息做了一次操作。研究人员不是在材料里捕获天然任意子,而是把 54 个常规离子阱量子比特纠缠成一个集体态,让它的整体行为服从某个任意子模型——基于 S₃ 群的量子双模型。成对的合成任意子编码出三能级的拓扑量子三态(qutrit)。

在 H2 处理器上用 54 个量子比特制备 S₃ 任意子态:编织给出一个纠缠门,融合给出两个编织无法提供的测量,二者合起来才够通用
为什么编织不够
拓扑编码把信息摊在整个量子态上,抗干扰能力来自这种"摊开"。但抗干扰不等于能算。多数拓扑方案靠编织只能拿到有限的几个门,剩下的要用魔态(magic state)补。制备高保真魔态得走蒸馏——反复提纯,吃掉大量物理比特和重复操作,是容错架构里最贵的一笔开销。
Carlos Mochon 在 2003 年还是加州理工研究生时提出过一个设想:编织之外再加上融合(fusion)测量,也许就能直接凑出通用性。这个想法搁了二十多年。2024 年,包括芝加哥大学 Ruben Verresen 在内的团队先在 Quantinuum 机器上做出了 D₄ 对称群的任意子——正方形的旋转与反射——第一次在量子硬件上演示了这种非阿贝尔序。2026 年的工作往前推了一大步:一个纠缠门来自编织,两个不同的测量来自融合,三种操作合起来张成通用门集。更关键的是,魔态是直接通过拓扑操作制备出来的,没有走蒸馏。
实测的两类投影保真度分别是 0.987(2) 与 0.962(4)。Verresen 的说法很直接:如果把信息存在这些"涌现版的夸克"里,然后到处移动它们,你想做的任何量子计算都能做。Quantinuum 慕尼黑办公室的 Henrik Dreyer 把非阿贝尔编码称为量子纠错竞赛里的"黑马",并指出容错计算原则上可以不必依赖魔态蒸馏或培育——那是标准量子纠错码中最昂贵的操作。
它证明了什么,没证明什么
边界要划清楚。团队把每一个操作都在 H2 上跑过,并与理论预测对照,结果是三能级编码信息可以被通用地操控——但这是"积木级"的通用性,不是一台低开销的计算机。

本次实验完成了通用门集,但未跑主动纠错、未展示逻辑错误率随编码规模下降;下一步是稳定化、容错测量与规模化测试
实验没有运行主动纠错。研究人员制备并操控了编码态,然后检验操作质量,属于原理验证。他们没有展示随着保护每个编码态的量子比特增多,错误率会跟着下降。这一条把"拓扑计算"和"容错拓扑计算"区分开:受保护的编码还需要反复稳定化、容错测量,以及错误率低于纠正阈值的逻辑操作。
接下来的工作很具体:在已演示的操作外面套上主动纠错,测出逻辑错误率,跑重复纠错周期,做规模化测试,再和当前领先的表面码、qLDPC 设计比较资源开销。如果这些测试能在编码规模变大的同时保住操作质量,非阿贝尔编码就提供了一条通往通用容错的不同路径。
这项工作还有一个不太被提起的价值:它让非阿贝尔编码不再只属于理论和小型演示,也不再只依赖物理马约拉纳器件。用一台可编程的离子阱处理器去模拟非阿贝尔粒子、检验它们的计算规则,研究者现在有了能在今天跑起来的硬件,可以在同一平台上对比编织、融合、魔态制备和纠错方法。
#### 参考来源- Quantum computing's "dark horse" just proved it can go universal(ScienceDaily / University of Chicago,2026-09-25)
- Quantinuum Runs Universal Gates With Non-Abelian Anyons(实验细节与论文来源,Nature 2026 年第 655 卷)
- Breakthrough in Universal Quantum Computation with Non-Abelian Anyons and Topological Qutrits(2026-09-25)
- IBM 证明:浅层量子电路在两个问题上胜过 LLM — 看量子处理器今天能拿到什么样的实际优势
- 给量子比特穿一层"声波外衣",相干时间拉长到三倍 — 另一条降低硬件错误的思路
- 用量子纠缠在对撞机数据里"称"出一个矩阵元 — 纠缠作为工具的另一个场景
评论 (0)
正文划词可点「问萝卜特」——自动发评论并由 AI 回复
加载评论中…