2025–2026 年,qLDPC 的构造空间经历了一次井喷:陪集基码把群正则作用推广到陪集作用,镜像码首次认真探索非 CSS 高阈值方案,幻影码把"逻辑门=物理置换"做成研究对象并暴露其计算复杂性与距离极限,非阿贝尔 qLDPC 用规范测量实现可寻址逻辑门,AI 科学家与 LLM 进化搜索开始自主发现码。本词条按族盘点这些新构造,并收录理论侧的同步进展。

陪集基码:从正则作用到陪集作用

2BGA 家族(含 GB、BB 码)用群 G 的左/右正则作用;Aydin–Tamo–Barg 的陪集基码(coset-based codes)把它推广为 G 在左陪集空间 上的左作用( 阶置换矩阵 :)与正规化子 的右作用(矩阵 )。左右作用交换 ⇒ ⇒ CSS 正交性照旧一行成立:

H 正规时退化为 上的 2BGA 码;同阶数下”群-子群对”远多于群本身,搜索空间指数级扩大。收获:权重 6 新码 、、(后者 超 gross code 的 12),权重 8 族 、、、。配套给出任意最大校验重量 w 的最大化排布综合征电路(深度 w+2,含初始化与测量),电路级噪声下权重 6 族阈值约 0.65%、权重 8 族约 0.35%(对比 BB 的 0.8%)Aydin, Tamo & Barg 2026 (arXiv)。

镜像码:非 CSS 的高阈值尝试

Khesin 与 Lu 的镜像码(mirror codes)从群 G 与两个子集 生成混合 X/Z 稳定子:

每个群元对应一个物理量子比特,校验重量 、每量子比特至多 w 个稳定子——LDPC 性一行即得。阿贝尔时对易自动成立(反对易重叠由交换性精确配对相消);非阿贝尔需核函数对称条件( 须 mod-2 对称)。该族在”量子比特置换+局域 Clifford”意义下包含全部正规 2BGA 码(含 BB),且严格更大Khesin & Lu 2026 (arXiv)。

两个镜像码实例:Z6×Z6 阿贝尔与 S4 非阿贝尔
图:两个镜像码实例——(阿贝尔)与 (非阿贝尔)上的稳定子图案(来源:QE152)

为何”超出 CSS”值得:历史上最紧凑的单错纠正码(五比特码)就不是 CSS。近穷举搜索(阿贝尔按素数幂分解+自同构规范形剪枝到 n≤300,非阿贝尔用 GAP 列群到 n≤150)找到多个非 CSS 新码:、、、——n≤144 区间多个参数超 CSS 对手。配套 3 个新容错综合征电路(重量 6 一般码 6 ancilla、CSS 码 3 ancilla、启发式 superdense 1 ancilla),SI1000 电路噪声下多数码伪阈值约 0.2%(与 gross code 同量级)。硬件定位:非局域校验优先中性原子/离子阱,BB 型实例可超导。

幻影码:逻辑门即置换,以及它的极限

幻影码(phantom codes)指块内每个逻辑 CNOT 都能用物理量子比特置换实现的稳定子码——最便宜的容错纠缠门形式(只改标签、零门成本)。Mao–Sun–Zhang 的系统理论给出三个结果Mao, Sun & Zhang 2026 (arXiv):

  • 计算复杂性:判定幻影性是 GI-难的(从图同构归约,即使限定 CSS、k=2)——搜索幻影码在复杂性上”没有捷径”;
  • 率最优构造:首个码率最优的幻影 qLDPC 族——对任意固定 D,、(两步:simplex/对偶 Hamming 码经度分裂 gadget 造有界度外层,再与固定单逻辑码块级联放大距离);
  • 距离 no-go: 且校验重量 O(1) 的幻影族必有 (w 为校验重量)——在最大逻辑标度 (Morris–Malz 上界)下其构造的距离标度最优。

背景:幻影码由 Koh–Guyot–Delfosse 等提出,其穷举扫描 2.71×10¹⁰ 个 n≤14 的 CSS 码仅得 132305 个幻影码(约一万核·1.5 月)——稀缺性本身说明该性质的非平凡。

非阿贝尔 qLDPC:规范测量与魔法态喷泉

Zhu–Kobayashi–Hsin 构造首个非阿贝尔 qLDPC 码:把 Kitaev 量子双重模型的非阿贝尔拓扑序装进稀疏校验框架。技术路线:组合 TQFT 从流形三角化推广到 Poincaré CW 复形与一般链复形;twisted 2D 超图积码(X 稳定子带 CZ 修饰);参数 、子系统距离 。核心是可寻址规范测量(gauging measurement):用 O(1) 重量的局部 Gauss 定律算符处处测量,把大重量横传门化为一串局域投影——推翻”可寻址非 Clifford 必须三维积码”的 folk 定理;拉回骨架后的”书本结构”(一条棱邻多个面,流形不允许、链复形特有)提供大量不等价 2-循环各承可寻址 CZ。应用是魔法态喷泉:O(d) 轮纠错内并行制备 个不相交 CZ 魔法态Zhu, Kobayashi & Hsin 2026 (arXiv)。

k-form 对称性与书本结构上的 0-form 子复形对称性
图:(a) 支在余维 k 子复形上的 k-form 对称性;(b) 拉回骨架后变成"书本结构"上的 0-form 子复形对称性——可寻址逻辑门的结构来源(来源:QE156)

AI 发现码

OmniQEC(Yan、Du 等)是”AI 科学家自动发现 QEC 码”的代表作:LLM orchestrator 协调码生成、码级筛选、综合征电路合成与译码器电路级评估的闭环,快慢双环(快环秒级用 类代理指标大范围筛,慢环分钟–小时级做电路级逻辑错误率精评并反馈)。直接以电路级逻辑错误率为优化目标,并实证发现码级指标与电路级性能排名不一致(小 码可胜大者)——戳中”码级优化范式”的软肋。战绩:N=98 超过 BB ,最强战役(Claude 后端)N=240 超过 BB Yan et al. 2026 (arXiv)。

OmniQEC 系统架构:orchestrator 与快慢双环
图:OmniQEC 系统架构——LLM orchestrator 驱动的码生成→筛选→电路合成→电路级评估快慢双环(来源:QE038)

IBM 的 LLM 引导进化搜索(Cruz-Benito、Cross 等)用 OpenEvolve 范式在 BB 码空间跑 FunSearch 式进化:LLM 变异”生成候选三项式对的 Python 程序”,5 轮战役约 1650 次进化迭代、筛约 2×10⁵ 个候选、140 小时机时、约 400 美元 LLM 推理费,n≤360 发现 465 个不同码(97 个 CSS BB + 368 个非 CSS 微扰变体),含不可分解的 。两条方法论教训:BP-OSD 距离估计对高码率码可系统性高估至 12 倍(须 MILP 精确验证兜底);LLM 在无提示语境下自然收敛到 HGP 高码率子空间、并独立”发明”纯轴(单变量)策略——程序级搜索的结构性洞察Cruz-Benito et al. 2026 (arXiv)。

电路级性能前沿:-log10(p_LER) 对 N,BB 参考码被超过
图:电路级性能前沿—— 对物理比特数 N 作图,BB 参考码被 AI 发现码超越,且码级代理指标与电路级排名错位(来源:QE038)

同族方法还有:强化学习搜码He & Liu 2025 (arXiv)、贝叶斯优化Chengyu et al. 2026 (arXiv)、LLM 概念进化Liu & Marquardt 2026 (arXiv)与多智能体系统Qian & Li 2026 (arXiv)——共识是”码-电路-译码器协同设计”优于任何单点优化。

其他新族

Vine 码(Nixon–McLauchlan–van Rest)在平面方格上构造的 qLDPC 家族Nixon, McLauchlan & van Rest 2026 (arXiv);Diffusion 码(Sriram–Khemani–Placke)用可调非局域性设计自纠错码Sriram, Khemani & Placke 2025 (arXiv);BB 的直接变体见双变量自行车码的后续小节(三变量、单变量等)。

理论侧:构造之外的进展

三项值得点名:Kasai 破除 qLDPC 构造中的”正交性障碍”(CSS 条件对设计空间的隐性限制)Kasai 2026 (arXiv);量子 GV 界的可达性证明(随机稀疏码 Ensemble 距离表现的下界)Kasai 2026 (arXiv);随机构造的 qLDPC 码被证明亦可接近好码参数Okada & Kasai 2025 (arXiv)。加上渐近好量子 LTC 的完成Gay & Jeronimo 2026 (arXiv)(另见quantum-tanner),2026 年的 qLDPC 在”显式构造、随机方法、可测试性”三个方向同步收敛。

延伸阅读