IonQ 发布容错量子计算工程蓝图

4月21日，量子计算上市公司 IonQ 研究团队正式发布了一份名为“ Walking Cat ”的容错量子计算机完整工程蓝图，详细规定了从编译器、逻辑纠错到量子芯片微架构的所有细节。

蓝图指出，仅需2,514个物理量子比特即可构建出拥有110个逻辑量子比特的系统，并每天执行约一百万次逻辑门（T门）操作。

01. Walking Cat 架构

要看懂这份蓝图，我们得先拆解一下 “Walking Cat”，此处称之为“溜达猫”。

“猫”指的是量子力学里大名鼎鼎的“猫态”（Cat states）。在量子计算机里，你不能直接去“看”（测量）一个逻辑量子比特的状态，因为一看它就坍缩了。

为了在不破坏数据的前提下检查错误，科学家们派出了“猫态”作为探测器，让它去和逻辑比特发生相互作用，把错误信息带出来。

早在1996年，彼得·肖尔（Peter Shor）提出首个容错量子纠错方案时就用到了猫态，但在实际硬件中，由于制备大尺寸猫态极易出错，这个方案一度被束之高阁。IonQ的底气在于，他们近期在实验室里已经实现了保真度超过99.99%的双量子比特门，让高保真猫态的制备成为可能。

那么“溜达”又是什么意思？这正是 IonQ 所依赖的离子阱技术的看家本领。

在超导量子计算机（比如谷歌和IBM的路线）里，量子比特是固定在芯片上的，相互之间的连接全靠死板的物理布线。但 IonQ 的量子计算机里，量子比特是悬浮在电磁场里的带电原子（离子）。

在这个被称作QCCD的微型架构里，离子就像是在工厂流水线上溜达的工人：它们被电场精确控制，在存储区和门操作区之间穿梭。两个离子如果需要交换信息，就会溜达到同一个区域“碰个头”，完事了再各自溜达回存储区。

这意味着芯片上不需要复杂的长距离物理连线，只要给离子规划好“溜达”的路线，就能实现任意量子比特之间的全连接。

图｜Walking Cat 架构的简化表示（来源：Arxiv）

02. LDPC码与三层架构的降维打击

Walking Cat 架构之所以能把所需的物理比特数量压得这么低，秘诀在于它完成了一次底层纠错逻辑的“改朝换代”，全面抛弃了目前行业内最拥挤的“表面码”（Surface codes）赛道，转向了量子低密度奇偶校验码（LDPC）。

打个比方，以前用表面码纠错就像是在二维平面上建平房，为了保证一个逻辑比特不出错，需要几千个物理比特铺在周围护驾。而LDPC码就像是建高层公寓，通过更复杂的立体交叉校验，让极少数的物理比特就能装下更多的逻辑比特。

论文中提到，如果要编码22个距离为9的逻辑比特，表面码需要1782个物理比特，而 IonQ 定制的Q102 LDPC码只需要102个。

但LDPC码有个致命弱点：它需要跨越较远距离的比特相互校验。这对那些比特焊死在芯片上、只能和邻居说话的超导路线来说，简直是布线灾难。然而，对于能随时“溜达”串门的离子阱来说，这简直是天作之合。

有了底层代码的优势，Walking Cat 架构采用了一种不同的方法，它围绕四个原则构建，称为 HMRS：层次性（Hierarchy）、模块化（Modularity）和规则性（Regularity），这些原则源自经典计算机架构，在此基础上，IonQ 加入了“简洁性”（Simplicity）。

IonQ强调，其目标是在实践中构建这台量子计算机，而非仅仅停留在理论层面。HMRS 的发音为“hammers”，这个名字体现了这些原则对于设计的不可妥协性，架构中的每一个组件选择都源于这四个原则之一。

图｜可扩展性的四大原则（来源：IonQ）

Walking Cat 架构分为三层：编译器、逻辑架构和微架构，每一层都可以独立进行设计、测试和改进，而不会影响其他层。

这种职责分离的原则，正是经典计算机架构在数十年的硬件变革中得以保持可维护性的关键所在。

在顶层，编译器将高级量子程序分解成一系列逻辑指令。

在底层，微架构将这些指令映射到底层QCCD芯片的设备指令集上。

中间是逻辑架构，它定义了指令的功能，并组织执行这些指令的五种组件，分别是：存储逻辑量子比特并进行持续纠错的存储块；生成非克利福德门所需资源态的“魔法工厂”；生成逻辑测量所需“猫态”的“猫工厂”；连接芯片上各个组件的“贝尔工厂”；以及在物理量子比特丢失时处理离子替换的量子比特工厂。

这种高度模块化的设计，意味着未来无论哪一个环节取得技术突破，都可以直接替换该模块，而不需要推翻整台量子计算系统重来。

图｜Walking Cat 架构中主要组件及其子组件的表示（来源：Arxiv）

03. 终局之战的图纸已出，剩下就是施工了

从科学家的白板走向工程图纸，最终的落脚点是算力。

IonQ 团队在论文中给出了令人兴奋的推演：在一台拥有10,000个物理比特的“溜达猫”量子计算机上，科学家可以在一个月内完成对100个格点的海森堡模型（一种用于研究自旋玻璃等复杂材料的物理模型）的量子哈密顿量模拟。

在现有的经典超级计算机上，这几乎是不可能完成的任务。

退一步讲，哪怕是用来破解密码，他们也做过推演：使用13,000个物理比特，这台机器能在不到一天的时间内，用Shor算法分解一个30位的整数。虽然这距离破解现代RSA加密还有距离，但这已经远远超出了当今所有NISQ设备的极限。

当然，从图纸到真机，中间横亘着巨大的工程鸿沟。如何在容纳数万个离子的同时保持真空环境？如何管理离子在来回穿梭中的微小损耗和信息泄露？这些都是必须解决的硬骨头。

但“溜达猫”架构的发布，对整个量子计算行业而言具有分水岭的意义。它清晰地表明，量子计算的挑战正在从“探索物理学极限”向“系统工程学与资源优化”转移。

当架构的顶层设计已经明确了模块化分工，当纠错算法不再强求硬件去突破物理极限，量子计算的下半场，或许真的会从这只在离子阱芯片上精准溜达的“猫”开始。

引用：

[1]https://www.ionq.com/resources/fault-tolerant-quantum-computing-with-trapped-ions-the-walking-cat-architecture

[2]https://arxiv.org/abs/2604.19481

[3]https://www.ionq.com/blog/blueprint-for-fault-tolerant-trapped-ion-quantum-computing-the-walking-cat-architecture

联系与爆料： Qtumist_info@163.com

延 伸 阅 读