
定义
设码的稳定子群为 。两个错误 在码上不可区分当且仅当 ,即 (见stabilizer-formalism)。这有两种命运:
- :乘积是逻辑算符——错误把码态偷换成另一个码态,不可纠;
- :乘积稳定码空间——两个错误在码上的作用完全相同(,至差相位)。
第二种情形就是简并:码对 用同一个恢复算符即可,无需区分。用 KL 条件 的语言: 时 , 矩阵与无错情形同型—— 的秩亏结构正是简并的代数面孔Knill & Laflamme 1997 (PRA)。无任何简并的码称非简并码(等价于纯码):。
Shor 码:简并的雏形
Shor 码码字为 型块结构。块内任意两个 Z 错误之积落在稳定子内:
推导一目了然: 且 ,故 平凡地稳定每块——它本来就是稳定子生成元 (3×3 布局中行内权重 2 检查,见上图)Shor 1995 (PRA)。于是”第 1 比特的 Z 错”与”第 2 比特的 Z 错”在码上全同,恢复无需知道错在哪一格。这解释了九比特码为何纠 1 错绰绰有余:相位错误的类别数远小于位置数。
对码界的影响
量子 Hamming 界可以被突破。该界的推导假设所有 错误把码空间搬到两两正交的子空间(维数计数 );简并码里 的错误对共享同一个像空间,计数前提失效。Shor 码本身及其拓扑后代都是高简并度码,它们的存在不违反任何物理,只是说明 Hamming 界是”非简并码的界”(见quantum-bounds)。相对地,量子 Singleton 界 的证明只用了擦除可恢复性,对简并码依然成立;Gilbert–Varshamov 型存在性下界也不受影响。简并因此被称为”量子纠错的免费资源”——但免费的代价在译码侧(下节)。
收益:更省的测量与恢复
简并性直接减少需要区分的错误类数,因此减少综合征信息量与测量成本。DiVincenzo 与 Shor 给出了适用于任意稳定子码的系统化容错纠错网络——门数至多 、辅助比特至多 ——并在文中援引 Shor–Smolin 的观察”量子码不需要完整暴露错误综合征”:简并码只需区分陪集,不必分辨陪集内部的错误DiVincenzo & Shor 1996 (PRL)。拓扑码把这个逻辑推到极致:环面码/表面码中错误链只按同调类留下痕迹,局域细节全部简并掉,综合征只有 个比特却能保护 个物理比特(见toric-code)。Bacon–Shor 子系统码则主动测量简并的规范算符(权重 2),把高权重的完整稳定子当成规范群乘积读出(见bacon-shor)。
代价:简并译码的难题
最优译码器面对的不再是”哪个错误最可能”,而是”哪个等价类最可能”:恢复只需命中 的正确陪集。多数实用译码器(最小权重完美匹配、Union-Find 等)按非简并假设设计——把每个综合征对应到最可能错误——在强简并码上会次优甚至失效;BP+OSD 在简并 qLDPC 码上的性能损失是知名问题(见bp-osd-decoding)。简并译码(degenerate decoding)的系统研究是近年课题,例如 Kuo–Ouyang 对简并擦除译码的分析Kuo & Ouyang 2024 (npj QI)。简并码在擦除信道下的容量行为也与非简并码不同——这是量子信道容量理论与经典分叉的又一处(见channel-capacity)。