容错逻辑门实现

容错逻辑门指直接作用于编码后逻辑量子比特、且满足容错条件的门操作。本词条先给出容错性的形式含义与历史图景，再逐一推导六大主流方案：横贯门、魔术态注入、格点手术、码切换、任意子编织与 gauge fixing，最后给出方案对比。

容错性：形式含义

定义（容错操作，非正式版）：设码可纠 $t = ⌊(d - 1) /2 ⌋$ 个错误。一个作用在码块上的逻辑操作称为（ $t = 1$ 级）容错的，若其物理实现中任何单点故障（一个物理门出错、一个比特退相干）只导致每个输出码块中至多一个物理错误，且至多污染一个症状测量轮。单错不成双、双错不成灾——这样错误率才不会随计算深度滚雪球，阈值定理的递归构造（” malignant pair”成对恶性错误分析）才能成立。

最朴素的失败例：直接在 9 比特 Shor 码块上做一个两比特门 $g \otimes I^{\otimes 8}$ ——若 $g$ 出错，逻辑态直接被破坏；若门本身把错误扇出（如以受控比特为控制的多目标门），单错变多错。容错设计的一切技巧，都是在”错误传播”这条红线下跳舞。

历史总览

1996–1998 容错奠基：Shor（FOCS 1996）构造第一套容错通用门集（猫态辅助测量 + 横贯门）；Kitaev 与 Aharonov–Ben-Or、Knill–Laflamme–Zurek（1997–98）独立建立阈值定理，容错门设计成为体系。
1997–2005 魔术态范式：Gottesman 稳定子形式确立了 Clifford 层的可廉价保护；Bravyi–Kitaev（2005）证明”Clifford + 带噪魔术态”即可通用，蒸馏工厂成为标准架构。
2009 理论边界：Eastin–Knill 证明任何码都无法横贯实现通用集——补集机制（魔术态/码切换/编织）是必需品而非优化项。
2012–2019 平台化：格点手术（Horsman 等 2012）成为表面码逻辑操作的事实标准；Litinski（2019）把”多体 Pauli 测量 + Pauli 帧”确立为逻辑编译的统一语言。
当前格局：超导路线 = 表面码 + 格点手术 + 魔术态工厂；离子阱/中性原子探索 qLDPC 与码切换；拓扑硬件直接瞄准编织。

横贯门：免费的容错与 Eastin–Knill 上限

横贯门（transversal gate）对码块内每个物理比特独立施加同一（或对偶）物理门：逻辑 $H$ = 逐比特 $H$ ，逻辑 CNOT = 两码块对应比特间逐比特 CNOT。容错性是结构性的：各比特互不耦合，实现中的任何单点故障只停留在一个物理比特上，不可能扇出（Steane 码词条给出 Clifford 横贯的稳定子代数验证；CSS 码的 CNOT 横贯是通性）。

Eastin–Knill 定理（2009，陈述）：对任何能侦测任意单比特错误的量子码，其上所有横贯（更一般地：逐比特张量积型）逻辑门构成的集合在码空间上的作用是离散群，因此不可能稠密——不存在单靠横贯门就通用的量子码。

证明思路（两步）：(1) 若横贯门集连续，则可对每个物理比特做微小旋转 $\prod_{i} (I + ϵ K_{i})$ 而仍保持码空间；对码空间投影取一阶项，得到每个 $K_{i}$ 必须独立保持码空间——即每个单比特微小旋转都纠错不变；(2) 但能纠单比特任意错误的码不可能容忍某个单比特上的连续旋转族不被察觉（该比特上的错误方向连续变化时，症状必须连续变化，而 Pauli 症状是离散的），矛盾。故横贯群离散，而通用计算需要稠密的连续群逼近。 $■$

结论：横贯门最多覆盖一个离散层——实践中是 Clifford 层（Steane 码、CSS 码族、表面码的局部等价类）。非 Clifford 门必须靠下面的补集机制。

魔术态注入：从态到门的显式推导

魔术态方案把非 Clifford 门转化为”消耗一个特殊资源态 + Clifford 操作 + 测量”。以 $T$ 门为例，资源态取 $∣ T ⟩ = T ∣ + ⟩ = (∣ 0 ⟩ + e^{iπ /4} ∣ 1 ⟩) / 2$ 。

注入电路与推导：数据比特处于 $∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩$ ，辅助比特制备 $∣ T ⟩$ 。执行 $CNOT$ （数据为控制、辅助为目标），态变为

$\frac{1}{2} [∣ 0_{a} ⟩ (α ∣ 0 ⟩_{d} + e^{iπ /4} β ∣ 1 ⟩_{d}) + ∣ 1_{a} ⟩ (e^{iπ /4} α ∣ 0 ⟩_{d} + β ∣ 1 ⟩_{d})] .$

测量辅助（ $Z$ 基）：

结果 0：数据态 $\propto α ∣ 0 ⟩ + e^{iπ /4} β ∣ 1 ⟩ = T ∣ ψ ⟩$ ，完成；
结果 1：数据态 $e^{iπ /4} (α ∣ 0 ⟩ + e^{- iπ /4} β ∣ 1 ⟩)$ 。施加 $S = diag (1, i)$ ： $∣1 ⟩$ 分量乘 $i$ ，得 $α ∣ 0 ⟩ + i e^{- iπ /4} β ∣ 1 ⟩ = α ∣ 0 ⟩ + e^{iπ /4} β ∣ 1 ⟩ = T ∣ ψ ⟩$ ✓。

即 $T$ 门 = CNOT + 单比特测量 + 依测量结果补一个 Clifford（ $S$ ）——测量随机性被 Clifford 修正吸收。 $■$ 逻辑级如此，容错级把这套操作搬到编码块上（横贯 CNOT、编码测量、横贯 $S$ ）。物理制备的 $∣ T ⟩$ 有噪声，魔术态蒸馏用 $[[15, 1, 3]]$ Reed–Muller 码等把错误率指数压低——15-to-1 协议、开销与前沿见该词条。蒸馏工厂的资源占容错算法成本的大头（Gidney–Ekerå 的因数分解估算中 $T$ 工厂占主导）。

格点手术：测量即门

表面码语境下，Clifford 逻辑门的主流实现不是”做门”而是”测联合 Pauli”：相邻码块合并/分裂给出逻辑 $\overline{Z} \otimes \overline{Z}$ 或 $\overline{X} \otimes \overline{X}$ 的投影测量，两次联合测量 + Pauli 帧即拼出逻辑 CNOT。完整协议推导、边界代数与资源核算见格点手术词条。

码切换：两个码的横贯集互补

既然单个码的横贯集被 Eastin–Knill 封顶，就让两个码各出一半：

Steane 码 $[[7, 1, 3]]$ ：横贯 Clifford 全套（横贯 $S^{\otimes 7}$ 给出 $\overline{S}^{†}$ ，补一个逻辑修正即全）；
15 比特量子 Reed–Muller 码 $[[15, 1, 3]]$ ：横贯非 Clifford 门—— $T^{\otimes 15}$ 实现的是逻辑 $\overline{T}^{†}$ （差一个逻辑 Clifford 修正，Anderson 等与 Campbell–Terhal–Vuillot 综述的表述一致），Bravyi–Kitaev 15-to-1 蒸馏正是利用这类横贯非 Clifford 门。

Anderson–Duclos-Cianci–Poulin 协议（2014）：Steane 码嵌入 RM 码（RM 的 $Z$ 型稳定子包含 Steane 的 $Z$ 型生成元，Steane 的 $X$ 型生成元在 RM 中以成对加倍的形式出现），切换 = 在 7 比特旁接入 8 个新比特、测量 RM 码的全部 14 个稳定子生成元（前 11 位用于纠错、后 3 位配纯错误）把码空间投影过去（全程保持码距 3），在 RM 侧横贯做 $T$ 型门，再逆向测量切回 Steane 码。整个往返容错，无蒸馏工厂。代价是切换本身消耗轮次、且两码码距都只有 3——与蒸馏路线的取舍在于批量化：蒸馏 amortize 后每个 $T$ 更便宜，码切换适合小规模/低速率场景。

任意子编织：拓扑天然的容错

在拓扑码与拓扑物态中，逻辑门由任意子激发的世界线编织（braiding）实现：操作只依赖世界线缠绕的同伦类，对路径的几何细节（局域扰动）免疫——容错性来自拓扑不变量，而不是线路设计。表面码的缺陷方案（打孔/位错后移动缺陷）即其”主动纠错版”（见格点手术的对比与表面码词条）。

Ising 型任意子（马约拉纳零模的候选，见拓扑量子比特）：四任意子简并空间上，编织群表示生成 Clifford 群——恰好在 Eastin–Knill 式限制（Bravyi–König 分类的二维版本）之内， $π /8$ 门仍需魔术态注入；
Fibonacci 型任意子：编织群表示稠密于 $S U (2)$ （Freedman–Larsen–Wang），编织本身即通用，无需任何蒸馏——代价是任意子类型更难在材料中实现，且编织序列长（常数因子大）。

gauge fixing：子系统码的”换挡”

子系统码把 $n$ 个物理比特分解为 $k$ 个逻辑比特 + $r$ 个规范比特：稳定子群之外还有一个规范群 $G \supseteq S$ ，规范算符可以任意作用于规范比特而不影响逻辑信息。gauge fixing = 测量规范群的一个子群，把子系统码投影成某个稳定子码；测不同的子群，得到不同的稳定子码——也就切换了可用的横贯门集。

代表构造是 Bombin 的规范色彩码（gauge color code，三维）：固定一组规范生成元得码 A（横贯 Clifford），固定另一组得码 B（横贯 $T$ ），来回切换即得纯横贯的通用集——绕开了二维 Bravyi–König 分类对逻辑门的限制（代价是第三维的几何）。二维子系统码（如 subsystem surface code）则用 gauge fixing 缓和测量调度与连通性要求。

方案对比

方案	补齐的非 Clifford	主要开销	平台/代表
横贯门 + 魔术态	$T$ （蒸馏工厂）	工厂面积与时间占大头	表面码主流路线
格点手术	无（只做 Clifford/测量）	$\sim d$ 轮/测量 + 辅助面	超导平面工艺
码切换	$T$ （横贯）	切换轮次、码距受限	Steane↔RM、小规模演示
编织（Ising）	无（只到 Clifford）	仍需魔术态	马约拉纳平台目标
编织（Fibonacci）	编织即通用	序列长、材料难	拓扑计算理论方案
gauge fixing	$T$ （横贯，三维）	三维几何、测量调度	色彩码路线

实践中的主流组合是”保护 Clifford 的码 + 一种补集机制”；没有一个方案在所有维度最优，资源估算（时间 × 面积 × 蒸馏速率）是最终裁判。

关联词条

方案细节：格点手术、魔术态蒸馏、Steane 七比特码、表面码
理论背景：稳定子码、阈值定理、通用量子门集、拓扑量子比特

参考文献

P. W. Shor. Fault-Tolerant Quantum Computation. Proc. 37th IEEE FOCS, 56 (1996). arXiv:quant-ph/9605011
D. Aharonov, M. Ben-Or. Fault-Tolerant Quantum Computation with Constant Error. Proc. 29th ACM STOC, 176 (1997). arXiv:quant-ph/9611025
E. Knill, R. Laflamme, W. H. Zurek. Resilient Quantum Computation: Error Models and Thresholds. Proc. R. Soc. Lond. A 454, 365 (1998). arXiv:quant-ph/9702058
D. Gottesman. Stabilizer Codes and Quantum Error Correction. PhD thesis, Caltech (1997). arXiv:quant-ph/9705052
S. Bravyi, A. Kitaev. Universal Quantum Computation with Ideal Clifford Gates and Noisy Ancillas. Phys. Rev. A 71, 022316 (2005). arXiv:quant-ph/0403025
B. Eastin, E. Knill. Restrictions on Transversal Encoded Quantum Gate Sets. Phys. Rev. Lett. 102, 110502 (2009). arXiv:0811.4262 —— Eastin–Knill 定理。
M. Freedman, M. Larsen, Z. Wang. A Modular Functor Which Is Universal for Quantum Computation. Commun. Math. Phys. 227, 605 (2002). arXiv:quant-ph/0001108 —— Fibonacci 编织的稠密性。
C. Nayak, S. H. Simon, A. Stern, M. Freedman, S. Das Sarma. Non-Abelian Anyons and Topological Quantum Computation. Rev. Mod. Phys. 80, 1083 (2008). arXiv:0707.1889 —— 拓扑计算综述。
C. Horsman, A. G. Fowler, S. Devitt, R. Van Meter. Surface Code Quantum Computing by Lattice Surgery. New J. Phys. 14, 123011 (2012). arXiv:1111.4022
J. T. Anderson, G. Duclos-Cianci, D. Poulin. Fault-Tolerant Conversion between the Steane and Reed–Muller Quantum Codes. Phys. Rev. Lett. 113, 080501 (2014). arXiv:1403.2734 —— 码切换。
H. Bombin. Gauge Color Codes: Optimal Transversal Gates and Gauge Fixing in Topological Stabilizer Codes. New J. Phys. 17, 083002 (2015). arXiv:1311.0879 —— gauge fixing。
S. Bravyi, R. König. Classification of Topologically Protected Gates for Local Stabilizer Codes. Phys. Rev. Lett. 110, 170503 (2013). arXiv:1206.1609 —— 几何局域码的逻辑门分类。
D. Litinski. A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery. Quantum 3, 128 (2019). arXiv:1808.02892
E. T. Campbell, B. M. Terhal, C. Vuillot. Roads Towards Fault-Tolerant Universal Quantum Computation. Nature 549, 172 (2017). arXiv:1612.07330 —— 综述。

description	在纠错编码上实现通用逻辑门集的主流方案：横贯门、魔术态注入、格点手术、码切换、任意子编织与 gauge fixing。
tags	容错与硬件
aliases	fault-tolerant gates, 逻辑门容错实现

量子计算百科

探索