编织加融合：54 个离子比特上，非阿贝尔任意子第一次凑齐通用门集

量子计算硬件的新闻流里，比特数是硬通货。超导路线喊出千比特，离子阱稳扎稳打做逻辑比特，中性原子把阵列排到几千。这些数字背后是同一个假设：信息存在普通的量子比特里，出错就靠纠错码救。

9 月 25 日发表在 Nature 上的一项工作走的是另一条路。芝加哥大学普利兹克分子工程学院、哈佛、石溪大学和 Quantinuum 的团队，在离子阱处理器 H2 上用 54 个纠缠比特造出一种不存在的粒子——非阿贝尔任意子，并且第一次在实验上凑齐了通用量子计算需要的全套操作。论文标题是 Universal gates from braiding and fusing anyons on quantum hardware，发表于 Nature 第 655 卷 8123 期。

会记次序的粒子

任意子只存在于二维世界，自然界里找不到。它们是把几十个普通量子比特纠缠成一个集体态之后"涌现"出来的东西，行为像一种新的粒子，规则和电子光子都不一样。论文合作者、芝加哥大学的 Ruben Verresen 打了个比方：这些编码在创造"小宇宙"，平行的宇宙，但反映着我们自己宇宙的某些性质。

非阿贝尔三个字说的是它们的怪癖。把一个任意子绕着另一个转一圈，粒子的内部状态会改变；交换的先后次序不同，结果也不同。这就是"记次序"。普通粒子的交换像挪椅子，怎么挪都一样。非阿贝尔任意子的交换像洗一副牌，动作的顺序决定你手里是同花还是杂牌。信息不在任何单个比特上，而是铺在整个纠缠态里，这也让它天生对某些局部扰动免疫。

2024 年的遗憾，2026 年补上

2024 年，包含 Verresen 在内的团队用正方形的对称群 D4 在 Quantinuum 的离子阱机器上造出了非阿贝尔序，是这类东西第一次上硬件。但那次实验有个空洞：光靠编织，凑不齐通用计算需要的全部操作。Verresen 回忆说，那个特定的宇宙不够强大。

这次换成了等边三角形的对称群 S3，旋转加镜像翻转。团队用任意子对编码拓扑 qutrit，一种三能级单元，比普通比特多一个层级。然后是关键一步：把两种操作配起来用。编织贡献一个纠缠门，融合贡献两个不同的测量。融合指的是把两个任意子拉到一起，测量合起来的状态。这三个工具组合起来，原则上可以生成一切量子操作——包括编织单独怎么都做不到的那些。这正是通用门集的定义。

2003 年提出这个构想的 Carlos Mochon，当时是加州理工 John Preskill 的学生。从纸面上的可能性到机器上的演示，隔了二十三年。

省掉纠错账单上最贵的一项

这项工作的实用价值藏在纠错经济学里。量子计算机必须纠错，标准做法把一个逻辑比特摊到大量物理比特上。但受保护的逻辑比特拿到手，能执行的操作往往不全，缺的那部分要靠一种叫魔态的资源补齐。生产魔态通常要蒸馏：大量制备，反复提纯，吞掉的量子比特常常占整机的一大部分。

Quantinuum 慕尼黑办公室负责人 Henrik Dreyer 的原话是，非阿贝尔编码是纠错竞赛里的一匹黑马，这项工作展示了非阿贝尔编码中的第一个通用门集，意味着原则上可以不做魔态蒸馏和培育——标准纠错码里最贵的两个操作——就把容错计算做下去。S3 方案里，魔态可以直接用拓扑操作产生，跳过蒸馏。

黑马还没到终点

数字是 54 比特、三能级编码、一个门加两个测量。听完这些，下一句必须说清楚：这次实验没有做主动纠错。Verresen 自己的说法是，到目前为止我们一直回避纠错问题，这更像一个原理验证。团队验证的是方法的零件——零件合格，整台机器还没装。下一步是把这套操作和主动纠错结合起来，Verresen 已经在和同行做非阿贝尔量子记忆的稳定化技术。

从马的角度把话说全：黑马跑赢的不是超导和离子阱的比特数，是账单。主流路线的纠错开销里最贵的一项，被证明在这条路线上原则上可以免掉。这就是"黑马"的全部含义——不是已经领先，是赛程后段有别人没有的省力路线。至于这条路线自己要付出什么代价、在噪声更大的硬件上还成不成立，论文没答，也答不了。

哈佛 Vishwanath 组的两位研究生 Anasuya Lyons 和 Chiu Fan Bowen Lo 参与领导了这项工作，他们的感想很朴素：博士期间想的点子能在实验室实现，靠的是过去几年量子硬件的惊人进步。二十三年前 Preskill 学生的一个构想，如今在 54 个比特上跑通了第一步。