4. 横向门与横向逻辑操作

在容错量子计算中，最“便宜”的逻辑门往往不是通过复杂的编码电路合成的，而是把同一个物理门同时作用到编码块的每一个物理量子比特上。这类操作称为横向操作（transversal operation），也叫比特级并行操作。它的核心思想是：逻辑算符在编码块上的作用，恰好可以分解为各物理量子比特上相同门操作的张量积。横向门之所以重要，是因为单个物理比特上的错误不会在编码块内传播扩散——每个物理比特最多只被“自己”的门影响一次，因此不会把错误放大到不可纠正的程度。

横向CNOT：为什么它天然容错

横向CNOT的构造非常直接：设有两个编码块，分别编码逻辑比特 A 和 B，每个块内有 n 个物理量子比特。横向CNOT就是把第 i 个物理比特作为控制、第 i 个物理比特作为目标，执行 n 个独立的物理CNOT：

逻辑CNOT = ∏_{i=1}^{n} CNOT(物理_i^A → 物理_i^B)

以最简单的重复码为例，用3个物理比特编码1个逻辑比特，码字为 |000⟩ 和 |111⟩。此时横向CNOT就是三对物理CNOT并行执行。假设控制块第2个物理比特发生了一个X错误，这个错误只会沿着第2条“通道”传播到目标块的第2个物理比特上，不会横向串到第1、3个物理比特。也就是说，一个物理错误仍然只对应一个物理错误，错误权重没有增加。这正是横向CNOT容错性的来源：错误不会在编码块之间横向扩散。

但要注意，横向CNOT能成立的前提是逻辑算符的映射关系正确。对于CSS码，逻辑X算符是物理X算符的乘积，逻辑Z算符是物理Z算符的乘积。CNOT要求控制端的X算符映射到两块的X算符乘积，目标端的Z算符映射到两块的Z算符乘积。横向CNOT恰好满足这一代数关系，因此它是合法的逻辑门。对于非CSS码或子系统码，这一条件可能不满足，横向CNOT就不再是逻辑CNOT。

横向Hadamard与横向相位门

横向Hadamard是对编码块内每个物理比特施加H门：

逻辑H = H^{⊗n}

它实现逻辑Hadamard的条件是：编码的稳定子群在H变换下保持不变，即H把X型稳定子映射为Z型稳定子、把Z型稳定子映射为X型稳定子。对于Steane码这类自对偶CSS码，这个条件成立，横向H就是合法的逻辑H。但对于一般的CSS码，如果X稳定子和Z稳定子的生成元数量或结构不对称，横向H可能把稳定子映射到稳定子群之外，从而破坏编码空间，此时横向H不是逻辑门。

横向相位门通常指S门或T门。横向S门是对每个物理比特施加S = diag(1, i)。它实现逻辑S的条件是：逻辑Z算符在S共轭下产生正确的相位。对于CSS码，逻辑Z是物理Z的乘积，每个物理Z在S共轭下变为Z，但会积累相位。具体来说，S Z S† = Z，而S X S† = iXZ。横向S作用后，逻辑X算符会获得一个与物理比特数相关的相位因子。如果编码块中逻辑X算符包含的物理X个数为奇数，横向S就可能实现逻辑S；如果为偶数，则可能只实现恒等或S²。因此横向S是否合法，取决于码的具体结构。

横向T门（π/8门）的情况更微妙。T = diag(1, e^{iπ/4})。在CSS码中，横向T通常不能直接实现逻辑T，因为T门不是Clifford门，它会把Pauli算符映射到非Pauli算符，稳定子形式不再保持。只有在某些特殊码（如某些魔术态蒸馏码或特定子系统码）中，横向T才可能实现逻辑T。这也是为什么通用容错量子计算需要魔术态蒸馏：Clifford门可以横向实现，但非Clifford门往往不能。

横向门的限制与应对

横向门虽然容错性好，但有一个根本性限制：横向门集合通常不足以实现通用量子计算。Eastin-Knill定理指出，任何能够纠正任意单比特错误的量子码，其横向门集合都是有限的，不可能包含一个通用门集。换句话说，仅靠横向操作无法实现任意逻辑门。

具体到CSS码，横向CNOT和横向H通常可以实现，但横向T门往往不行。这就产生了一个矛盾：我们需要非Clifford门来实现通用计算，但横向T门又不可用。解决方案是魔术态蒸馏：先用横向Clifford门和测量制备出高保真度的魔术态（如|T⟩态），再通过门传送（gate teleportation）把T门“注入”到逻辑电路中。这样，横向门负责容错地完成Clifford部分，魔术态蒸馏负责提供非Clifford资源，两者结合实现通用容错量子计算。

另一个限制是横向门对码结构的依赖。同一个横向操作在不同码上可能实现不同的逻辑门，甚至不是逻辑门。例如，横向H在Steane码上是逻辑H，但在Shor码上可能不是。因此，设计容错逻辑电路时，必须针对具体码验证横向门的合法性，不能想当然地认为“横向H就是逻辑H”。

横向门的错误传播对比

为了更直观地理解横向门的容错优势，可以对比横向CNOT与“非横向”逻辑CNOT的错误传播。非横向逻辑CNOT通常需要解码、再编码或使用辅助比特和测量，过程中一个物理错误可能通过多重量子比特操作扩散到多个物理比特上，形成权重更高的错误。而横向CNOT中，每个物理比特只参与一个物理CNOT，错误最多传播到对应的一个目标物理比特，错误权重不增加。这种“错误不扩散”的性质，正是横向门成为容错逻辑门首选实现方式的原因。

总结来说，横向CNOT、横向Hadamard和横向相位门的构造都遵循“逐物理比特并行操作”的原则，但它们的合法性取决于码的代数结构。横向CNOT对CSS码普遍适用且天然容错；横向H需要自对偶码；横向S需要逻辑X算符的奇偶性条件；横向T在通用码中通常不可用，需要魔术态蒸馏补充。理解这些条件，是设计容错逻辑电路的基础。