qLDPC 码上的逻辑门长期是这条路线的短板:好码通常没有丰富的横传门族,而广义晶格手术的单次开销正比于码距。解法沿三条主线展开——利用码自同构群的"免费"门(BB 码的移位门)、以联合 Pauli 测量为核心的手术与传送、以及干脆为门设计的码(Quantinuum 的 SHYPS 族把任意 m 比特 Clifford 压到 4m 个逻辑周期);2026 年原生非 Clifford 条件与非阿贝尔魔法态喷泉进一步逼近通用计算。

为什么难

三个结构性障碍:其一,Eastin–Knill 定理禁止任何码族携带连续可变逻辑门的完备横传集,横向门只能覆盖有限离散群;其二,渐近好码的高度对称性恰恰使可用的横传门稀少——好码一般无丰富横传族;其三,格点手术的量子侧类比(联合 Pauli 测量)在 qLDPC 上单次需 时空开销,m 比特 Clifford 的朴素总深度 。表面码阵营有成熟的晶格手术与传送式门,qLDPC 阵营必须重建这套工具箱。

自同构门:BB 码的移位门与 ZX-对偶

BB 码的循环移位对称性直接给出移位自同构门:沿 型移位同时交换左右数据块与 X/Z 校验块,实现为一个深度 4 的 CNOT 电路(容错、且复用综合征提取已有的连接),这类门生成一个 Abel Clifford 子群,承担逻辑寻址Bravyi et al. 2023 (Nature)。另一半是 ZX-对偶:置换 加全体 Hadamard,交换 X 与 Z 校验的角色,接通另一半逻辑比特的测量——其实现分解为有限阿贝尔群生成元链上的近邻交换,代价显著高于自同构门,但换取了对全部逻辑比特的访问权。配合逻辑 Pauli 测量的 ancilla 系统,BB 码可作 load-store 存储。

ZX-对偶的容错交换链实现示意
图:ZX-对偶的实现——容错交换链把对偶置换分解到有限阿贝尔群生成元上,接通 primed 数据块(来源:QE120)

在架构层面,自行车指令集把门的清单固定下来:12 个移位自同构、15 个模内 Pauli 测量、36 个模间测量与 6 个 T 注入,以 pivot 量子比特作合成 ancilla,逐指令给出电路噪声下的错误率(:模内测量 120 步 、T 注入 351+120 步 )Yoder et al. 2025 (arXiv)。Pinnacle 架构则以广义手术 gadget 系统实现任意逻辑 Pauli 测量,突破”只能测固定 15+36 种”的限制,连接长度保持常数Webster et al. 2026 (arXiv)。手术方向的专门优化包括快速手术Baspin et al. 2025 (arXiv)、节俭手术(parsimonious surgery)Yuan et al. 2026 (arXiv)与批处理高码率逻辑操作Xu et al. 2025 (arXiv)。

为门设计的码:SHYPS

与其在既有码上找门,不如为门设计码。Quantinuum 系的 SHYPS 码(Subsystem HYpergraph Product Simplex)把子系统超图积(SHP)与经典 simplex 码结合:gauge 生成元重量仅 3、高度平移对称,而 simplex 码的自同构群(GL 结构)提供海量横传 Clifford 门。编译理论给出紧界:m 比特 Clifford 群大小 ,而深度 D 的电路由 个固定深度生成元只能生成 个算子,故深度下界 ;SHYPS 达到

(每周期 = 1 层逻辑深度 + 6 层综合征提取),对照未编码 Clifford 的最优深度 ——渐近最优常数,且兼容单次纠错(single-shot);深度 126 的编译电路在电路级噪声下表现接近纯存储周期Malcolm et al. 2025 (Nat. Commun.)。

SHYPS 码族的每轮逻辑错误率随物理错误率变化
图:SHYPS 码族(、、)配滑动窗口 BPLSD 译码的每轮逻辑错误率——大码在低物理错误率区指数获益(来源:QE126)

2026 年新线

魔法态供给的架构整合(蒸馏 vs 培育 × qLDPC 存储块)见magic-state-distillation与magic-state-injection。

延伸阅读