基础理论｜量子纠错码知识库

本卷是全站的理论地基：先把量子纠错的动机与全景立起来，再依次建立三套互相咬合的形式工具——稳定子形式（群论语言）、Knill–Laflamme 条件（线性代数语言）与 CSS 构造（经典编码接口）——然后给出参数、界、噪声模型这些定量框架，最后落到阈值定理、综合征提取与编码线路三个”使理论可执行”的环节。简并码、qudit 推广与综述地图补完横向视角。读懂本卷，其余各卷（具体码族、译码、容错、硬件）的行文即可直接进入主题。

本卷共 14 个词条，建议按下列顺序或按需跳读：

词条	读完能回答
量子纠错总览	为什么纠错不违反不可克隆；物理/逻辑比特与 A⊗S 分解；编码—综合征—恢复三环节与全站码族地图。
稳定子形式	Pauli 群结构与辛内积对易判据；稳定子如何切出 2^{n−m} 维码空间；综合征、正规化子与距离的群论定义；Gottesman–Knill。
CSS 码	两个经典码怎么拼出量子码（对偶包含条件的推导）；码字叠加式与正交性；X/Z 错误的双基分工；Steane 码全程。
Knill–Laflamme 纠错条件	P E_a†E_b P = c_ab P 的两条直观（信息隐藏/子空间正交）；必要性、充分性双向推导；线性性、擦除定理与码界推论。
码参数与距离	$[[n, k, d]]$ 双方括号记号由来；距离=最小权逻辑算符；t=⌊(d−1)/2⌋ 的推导；检错/擦除能力；码率与 kd²/n 复合指标。
量子码的界	量子 Hamming 界的维数计数与饱和码族；Singleton 界的熵推导；量子 GV 下界与好码存在；简并码为何能越界。
噪声与误差模型	任意信道为何可以 twirl 成 Pauli 信道；去极化/偏置/准独立/单调/现象学/电路级/擦除各模型的假设与代表数值。
阈值定理	级联结构与容错四要素；p→cp² 递推与 c^{2^h−1}p^{2^h} 双指数抑制的推导；阈值数值演进；Willow 的低于阈值行为。
综合征提取	测稳定子本征值的辅助线路；朴素测法的错误传播灾难；Shor cat 态+验证、Steane 测量与 flag 的权衡；测量/hook 错误。
编码线路与状态制备	Gottesman 编码定理（标准形消元→Clifford 线路）；逻辑 0 制备线路；容错制备的验证与后选择；线性时间编码。
简并码	何时两个错误无需区分（E_a†E_b∈S）；Shor 码 Z_iZ_j∈S；简并对 Hamming 界的逃逸、对测量的节省与简并译码难题。
量子纠错简史	1995–2026 时间轴：奠基三连、阈值定理三连、拓扑转向、qLDPC 复兴与开销革命、低于阈值实验。
综述地图与学习路径	Roffe/Devitt/Terhal/Campbell–Terhal–Vuillot/Cai/Spencer 六篇综述各管什么、按什么顺序读、配本站哪些词条。
qudit 码与推广	模 p 辛几何的稳定子推广；Z_p 环面码与上同调、扭环面大码；非二元 qLDPC；qudit 资源权衡与混合寄存器码。

此文件夹下有14条笔记。