量子纠错码百科

Eastin–Knill 定理

7分钟阅读

Eastin–Knill 定理是容错量子计算的结构性天花板：任何能检测单个子系统（物理比特）上任意错误的非平凡量子码，其横向逻辑门集都不可能构成通用门集。Eastin 与 Knill 2008 年给出的证明走 Lie 群路线——把逻辑门的可实现集合组织成乘积算符群，证明其连通分支必平凡、离散商必有限；Bravyi 与 König 2012 年的拓扑版进一步把"横向"放宽为常数深度局域电路，限制升级为 Clifford 层级。定理不否定容错通用计算，只规定了绕行的方向：魔法态蒸馏、码切换、非对称码设计与架构重排。

定理与证明骨架

设码能检测任意单子系统错误。定义乘积算符（product operators） 的集合，其中每个 任意幺正；所有保持码空间的乘积幺正构成群 ——它是紧群 （所有乘积算符的群）的 Lie 子群。证明分五步Eastin & Knill 2009 (PRL)：

  1. 按幺连通分支 分解，得离散商群 ；
  2. 的 Lie 代数包含于 的 Lie 代数中，其元素是无穷小乘积算符；
  3. 核心步：单子系统错误可检测 中元素形如 的指数化 连通分量在码空间上的逻辑作用平凡（局域错误检测与无穷小横向门不相容）；
  4. 于是 的逻辑作用完全因子化到离散群 ；陪集代表元集是紧群里的离散子集，故有限；
  5. 非平凡逻辑系统的幺正算符不可数无穷，有限集在度量拓扑下不能任意逼近它，故 不通用。

把”物理子系统”换成”横向部分”即得推论：横向门集不通用。值得注意的是该证明不依赖码型——对子系统码、qudit 推广同样成立；Zeng 等人与 Chen 等人后来给出稳定子码的专用版本。

横向分割示意图
图:Eastin–Knill 证明中"横向分割"的示意——把乘积算符按子系统分组,核心步证明连通分支的作用被可检测错误吸收(来源:QE297)

拓扑版：Bravyi–König 定理

Bravyi 与 König 把”横向”放宽为 维拓扑稳定子码上的常数深度局域电路：定理声明此类电路实现的逻辑门必属于 Clifford 层级的第 层 —— 是 Pauli， 是 Clifford， 才含 门Bravyi & König 2013 (PRL)。 的证明骨架用环面码即可看清：逻辑 Pauli 是非收缩闭环；在平移半格宽的条带 与 上各承载完备逻辑 Pauli 集，局域电路不能把长弦算符变成短弦算符，对易关系的符号必须保持，于是逻辑作用把 Pauli 映到 Pauli——即 Clifford。一般码用格点的单纯形分割与可校正区域论证。因为证明覆盖两个码间的”局域形变”（morphism），缺陷编织也受限：2D 中任何编织加局域形变链只能实现 Clifford 门。

环面码的非收缩条带
图:环面码上平移半格宽的非收缩条带 γ₁,γ₂ 与 δ₁,δ₂——各承载一组完备逻辑 Pauli,局域电路必须保对易符号,故逻辑作用限于 Clifford(来源:QE300)

工程含义在原文里就说得很直白： 门的时空开销比拓扑保护门高 2–3 个数量级，且这个差距不能靠改格点几何或换码消除——对 2D 架构，魔法态注入与蒸馏是必经之路（见magic-state-distillation）。

绕过方案四分类

定理限制的是”单码+横向（或常数深度）+确定性纠错+幺正门”这一特定组合，每个条款都可谈判：

  1. 魔法态蒸馏：放弃”门必须横向”，把非 Clifford 门转移到态的制备上——注入加蒸馏的魔法态经传送式门消耗，见magic-state-distillation与teleportation-gates。
  2. 码切换：不同码有不同的横向门集（Steane 码横向 Clifford、色码横向 Clifford/S/T），在码间切换拼出通用集——Eastin–Knill 只约束单码，见dynamical-code-design。
  3. 非对称码设计：Yoder–Kim 的非对称 Bacon-Shor 码让横向 从长边”浮出”，配 2-transversality 与非 Pauli 恢复实现通用Yoder & Kim 2017 (arXiv)；代价是 Bravyi–König 型限制的子系统版预言其门必须长程（最优门程分析）。
  4. 架构重排：中性原子平台用原子重排实现”动态横向门”——重排不是门操作，不受定理约束，却重新定义了哪些比特是”对应比特”Zhou et al. 2024 (arXiv)。

原论文还列出更激进的选项：放弃通用性（用 Clifford 及更大的有限门群做模拟类任务）、放弃确定性错误检测（后选择路线，Knill CQC）、放宽幺正性（耗散/测量驱动计算）。

延伸阅读

关系图谱

反向链接