编码线路与状态制备

编码线路（encoding circuit）把待保护的量子态映射进码空间：它是纠错三环节（编码—综合征提取—恢复）的第一环，也是最容易被轻视的一环。Gottesman 的编码定理保证任何稳定子码都存在 Clifford 编码线路，规模只有门的平方量级；但朴素编码线路深度大、错误沿门扩散，自身会污染它要保护的东西，因此实用方案必须做容错制备（验证+后选择）。从九比特码的手工线路到 2026 年线性时间可编码的量子码族，编码代价始终是码的"隐性参数"。

图:Shor $[[9,1,3]]$ 码的编码线路——先做 3 比特重复编码,再用受控相位把块间相位分支叠出来(来源:QE016)

编码定理：稳定子码总有 Clifford 线路

Gottesman 编码定理：任何 $[[n,k]]$ 稳定子码都可以由 Clifford 线路（H、S、CNOT 的序列）编码，门数 $O(n^2)$Gottesman 1997 (PhD thesis)。证明是构造性的，思路是把稳定子的对称群”拆回”平凡码：

1. 把 $m=n-k$ 个生成元写成 $m\times 2n$ 的二元矩阵（行是 $(\mathbf{x}|\mathbf{z})$ 向量，见stabilizer-formalism）；
2. 对行做 ${\mathbb{F}}_2$ 高斯消元并配合辛行变换（对应于对希尔伯特空间施加 Clifford 共轭），把生成元矩阵化成标准形——$m$ 个生成元化为 $Z_{k+1},\dots ,Z_n$ 型（只剩单比特 Z）；
3. 每一步辛变换对应一个具体 Clifford 门（交换/混合 $\mathbf{x},\mathbf{z}$ 分量的操作分别由 CNOT、H、S 实现），把这些门的逆序串起来就是编码线路。

标准形达到后，码空间局域地看就是”$k$ 个自由比特 + $n-k$ 个被固定的比特”，编码即”逆着消元方向把纠缠织回去”。这也解释了为何编码线路天然由 Clifford 门组成：它只搬运稳定子结构，不需要非 Clifford 资源。

状态制备线路

逻辑 $|\bar{0}⟩$ 的制备是编码的特例（输入为 $|0{⟩}^{\otimes k}$），也最常用。三个经典例子（线路图见 Devitt 等的入门综述Devitt et al. 2013 (Rep. Prog. Phys.)）：

• 3 比特重复码：两个 CNOT 把 $|q⟩|0⟩|0⟩$ 变为 $(\alpha |000⟩+\beta |111⟩)$——最小编码单元，Shor 码的块内结构就是它；
• Shor 九比特码：块内重复编码 + 块间受控相位（上图），码字 $|0_L⟩=\frac{1}{2\sqrt{2}}(|000⟩+|111⟩{)}^{\otimes 3}$；
• Steane 七比特码：$|\bar{0}⟩=\frac{1}{\sqrt{8}}{\sum }_{c\in {\mathcal{C}}_{\text{even}}}|c⟩$，线路为分级 CNOT 树（见css-codes的制备图）。

线路设计的通用权衡是深度 vs 门数 vs 辅助比特：更浅的线路减少驻留时间内的去相干，更少的门减少门错误累积，两者经常不可兼得。

容错制备：验证与后选择

朴素编码线路不是容错的：编码中途的一个错误会以高权重扩散（CNOT 把单比特错误复制到多个目标），产出”带病的初始码块”。更根本的是，未经纠错的编码态错误率不可能低于制备线路自身的错误率——阈值定理要求初始逻辑错误率已经低于阈值，因此编码必须自带净化手段Knill, Laflamme & Zurek 1998 (Proc. R. Soc. A)。两种标准做法：

1. 后选择（post-selection）：编码完成后测一轮稳定子，非平凡综合征的码块直接丢弃重做——简单但浪费，且不适合持续计算（不能永远丢弃）；
2. 验证制备：制备过程中插入中间校验（如 cat 态的两两奇偶检查），在错误扩散前拦截——与syndrome-extraction的”验证-重试”是同一范式。

对表面码，大规模的码块制备与”岛”的初始化通过晶格手术完成（见lattice-surgery）。

解码与再编码：编码线路的双向使用

编码线路 $U_{\text{enc}}$ 的逆就是解码线路：把码空间整体映射回 $k$ 个物理比特（其余 $n-k$ 个承载综合征历史）。Knill–Laflamme 指出解码与恢复可以共用同一套投影+酉的结构，且同一个线路可同时用于编码与解码（互逆使用）Knill & Laflamme 1997 (PRA)。基于传送的纠错方案则干脆避免显式解码（见teleportation-gates）。

现代进展

• 线性时间编码：2026 年 Wills 等构造了线性时间可编码、可译码的量子码族——编码不再是 $O(n^2)$ 的平方负担Wills et al. 2026 (arXiv)；
• 码切换与动态制备：Floquet 码把”制备”分散进周期性测量序列（见dynamical-code-design）；
• 编码态质量本身成为基准对象：逻辑态保真度、码字泄露（leakage）的移除都进入现代纠错周期设计（见ft-ec-cycle、logical-benchmarking）。

延伸阅读

• stabilizer-formalism
• syndrome-extraction
• shor-code
• steane-code
• lattice-surgery
• ft-ec-cycle