好码里程碑

好码里程碑记录量子纠错二十年的核心悬案——是否存在常数码率与常数相对距离兼得的量子 LDPC 码族（qLDPC 猜想）——及其在 2021 年的解决。Panteleev 与 Kalachev 用非阿贝尔群上的提升积给出肯定回答，Leverrier 与 Zémor 的量子 Tanner 码随后给出概念更简的版本；好码同时补齐了常数开销容错量子计算的最后一块理论拼图。

“好码”的定义与意义

称码族 $\{{\mathcal{Q}}_i=[[n_i,k_i,d_i]]\}$ 渐近好（asymptotically good），若存在常数 $c_1,c_2>0$ 使 $k_i\ge c_1{n}_i$ 且 $d_i\ge c_2{n}_i$ 对所有 i 成立。对照两个参照系：表面码 $k=O(1)$、$d=\sqrt{n}$（码率趋零）；超图积码正码率但 $d=\Theta (\sqrt{n})$。好码的意义是双重的：纠错上，固定物理错误率下逻辑错误率随 n 指数压低；体系上，Gottesman 在 2013 年证明好码族上的容错量子计算只需常数开销Gottesman 2013 (arXiv)——好码是”物理比特数只差常数因子”这一终极目标的必要原料。

√N 屏障与 2020 年三线突破

2009 年超图积码把 qLDPC 的距离推到 $\Theta (\sqrt{N})$ 后，这一标度停滞了约十二年——距离被”乘积结构”锁死（hypergraph-product 的距离定理是 min 型，$d\sim \delta n_1$ 而 $N\sim n_1{n}_2$）。2020 年三篇工作在同一年独立破障：Hastings 的纤维丛码、Panteleev–Kalachev 的提升积（$K=\Theta (\log N)$、$D=\Theta (N/\log N)$）Panteleev & Kalachev 2020 (IEEE-IT)、Breuckmann–Eberhardt 的平衡积（$K=\Theta (N^{4/5})$、$D=\Omega (N^{3/5})$，显式无条件）Breuckmann & Eberhardt 2020 (IEEE-IT)。三条路线的 K–d 曲线在 polylog 精度内汇合——但都差一个 polylog 因子，够不到好码。

PK 2021：非阿贝尔提升积的骨架

Panteleev–Kalachev 的获奖构造分四步Panteleev & Kalachev 2021 (STOC)。

第一步，非阿贝尔提升积。取非阿贝尔群 G 的群代数 $R={\mathbb{F}}_{q}G$，两个 2-项链复形 $\mathcal{A}:R^{n_a}\stackrel{A}{\to }{R}^{m_a}$、$\mathcal{B}:R^{n_b}\stackrel{B}{\to }{R}^{m_b}$（码在 G 作用下不变，故为自由 R-模），提升积是 R 上的张量积复形：

$$R^{n_a{n}_b}\stackrel{{\partial }_2}{\to }{R}^{n_a{m}_b}\oplus R^{m_a{n}_b}\stackrel{{\partial }_1}{\to }{R}^{m_a{m}_b},{\partial }_2=\left[\begin{array}{c}A{\otimes }_R\mathrm{id}\\ -\mathrm{id}{\otimes }_{R}B\end{array}\right],{\partial }_1=[A{\otimes }_R\mathrm{id}\mathrm{id}{\otimes }_{R}B],$$

${\partial }_1{\partial }_2=A{\otimes }_{R}B-A{\otimes }_{R}B=0$ 自动成立；量子 CSS 码取 $H_X={\partial }_1$、$H_Z={\partial }_2^{\ast }$，逻辑量子比特数 $=\dim H_1$。$|G|=1$ 退化为超图积。

第二步，局部码注入。$\mathcal{A},\mathcal{B}$ 取同一扩展图 $\hat{\Gamma }$ 上不同局部码的 Tanner 码 $\mathcal{T}(\hat{\Gamma };h)$、$\mathcal{T}(\hat{\Gamma };h^{\prime })$，$\hat{\Gamma }$ 是 Ramanujan Cayley 图的二部双覆盖的 G-lift，参数为 $(a,\lambda )$-边扩展（$a=n/\sqrt{w}$、$\lambda =8\sqrt{w}$）。

图:$B_w$ 与 $D_w$ 图的电压赋值——$D_w$ 的派生图是 Cay(G,S) 的双覆盖,这套"电压—派生"机制把扩展图与群提升接起来(来源:QE022)

第三步，码率。设计率 $\rho =1-m/n$ 的码经提升积后，率 $\ge {\rho }^2/(1+(1-\rho {)}^2)\to 1$——常数码率直接继承自因子码。

第四步，距离：局部极小链加两级扩展矛盾。关键引理：若复形的局部极小 1-圈（不能被加稳定子减重的圈）最小重量 $d_{LM}^{(1)}=\Theta (n)$，则经典 LTC 距离与量子码距离都是 $\Theta (n)$。反证设非零局部极小圈 $c=c_F+c_V$ 重量 $o(n)$：定义活跃/标记顶点（标记集大小 $O(|c|)$）；核心引理（Lemma 15）用局部码对的 $(s,2m,\beta )$-积扩展（product-expansion，随机码对 whp 满足）证明每个活跃顶点要么 m-边扩展、要么 s-面扩展。随后两级扩展图矛盾收尾：拼接图 Λ 的边扩展性（参数 ${\lambda }^{\prime }=\Theta (w^{1/2})$）使 m-边扩展的标记点占比 $<1/2$（因 $m=w^{1/2+\epsilon }$）；其平方图 ${\Lambda }^2$ 的扩展性（${\lambda }^{\prime \prime }=\Theta (w\ln w)$）使 s-面扩展占比 $<1/2$（因 $s=w^{1+\epsilon }$）——两类合计不足全体，矛盾，故 $c=0$。参数取 $\epsilon =1/6$。

图:距离证明的顶点分类——labeled(标记)与 expanding(扩展)顶点,两级扩展图估计各自封死一半可能(来源:QE022)

结果：对任意 $R\in (0,1)$、任意 ${\mathbb{F}}_q$，存在 $q$ 元量子码族 $[[n,k\ge Rn,d=\Theta (n)]{]}_q$——qLDPC 猜想肯定回答；同法给出经典 c³ 局部可测试码（常码率、常距离、常数局部性），一并解决 c³ 猜想。为什么必须非阿贝尔：阿贝尔群上 $\ker A$ 的距离有系统性上界（提升积一文已证），非阿贝尔 Cayley 图的扩展性才是打破天花板的关键。构造的复形 $\hat{\Gamma }{\times }_G{\hat{\Gamma }}^{\ast }$ 是完全方形复形（complete square complex）——每点 link 为完全二部图，是高维扩展（扩张码）的代用品。

跟进与侧线

量子 Tanner 码（Leverrier–Zémor 2022）用同一类方形复形但把约束挂在顶点，证明改走”正常顶点+鲁棒张量码”路线，概念更简而校验更重Leverrier & Zémor 2022 (FOCS)。侧线上，PK 构造中的 $Z_2=\ker {\partial }_2$ 以 ${\partial }_2$ 为校验即 $(\omega ,s)$-局部可测试——量子局部可测试码（qLTC）线索由此展开，2026 年渐近好 qLTC 完成收尾Gay & Jeronimo 2026 (arXiv)。

好码之后：常数开销全链条

好码的存在性点燃了整条理论流水线：Gottesman 2013 证明好码族 ⇒ 常数开销容错Gottesman 2013 (arXiv)；Fawzi–Grospellier–Leverrier 2018 给出量子扩展码（好码的显式族）的高效译码，闭环常数开销方案Fawzi, Grospellier & Leverrier 2018 (FOCS)；2025 年推广到一般噪声模型Christandl et al. 2025 (arXiv)；2026 年进一步实现线性时间编码与译码Wills et al. 2026 (arXiv)。从存在性到算法，“好”字逐项兑现——而工程侧的实用好码（数百比特尺度）则由BB 码一系承担，两者构成渐近与有限尺度的互补。

延伸阅读

• lifted-product
• quantum-tanner
• locality-bounds
• bivariate-bicycle
• ft-resource-overhead