自对偶 CSS 码何时具备逻辑横向的 Clifford 门？

基的选择决定横向门做什么

对一个把 k 个逻辑量子比特编码进 n 个物理量子比特的稳定子码，横向门就是对码块中每个物理量子比特施加同一个单比特物理门。这对容错量子计算很有吸引力：它不需要额外的辅助量子比特，耗时恒定，也不会在码块内部扩散错误。问题在于，最终得到的逻辑操作并不只由物理门决定，还取决于辛基——也就是选定的 k 对逻辑 Pauli 算符 (X̄ⱼ, Z̄ⱼ)，它们与稳定子一起生成该码的中心化子。

因此论文问的是一个相对于基的问题，而不是相对于门的问题：是否存在这样一个辛基，在其中对全部 n 个物理量子比特横向施加物理 Hadamard 门，就能实现对全部 k 个逻辑量子比特的逻辑 Hadamard 门；并且横向施加物理相位门，就能实现任意符号模式的逻辑相位门？作者把这样的选择称为兼容辛基。这一提法之所以重要，是因为一个码可能拥有某个横向物理门，它在一种基下对应的逻辑操作无用或不合需要，而在另一种基下恰好就是想要的 Clifford 操作。

两个条件必须在同一个基中成立

论文证明了 [[n, k, d]] 自对偶 CSS 码（k ≥ 1）存在兼容辛基的充要条件。这里的自对偶 CSS 码指 X 型和 Z 型校验矩阵相等，即 Hx = Hz；作者明确把它与由经典自对偶码构造的 CSS 码区分开。条件同时覆盖两项要求：一是由 ⊗ᵢ Hᵢ 实现横向逻辑 Hadamard 门 ⊗ⱼ H̄ⱼ；二是对任意符号向量 (a₁, …, a_k) ∈ {−1, 1}^k，由某个横向物理组合 ⊗ᵢ Sᵢ^{bᵢ} 实现横向逻辑相位门 ⊗ⱼ S̄ⱼ^{aⱼ}。

相位条件是更微妙的一半。物理相位门有 S 和 S† 两种形式，论文允许物理符号模式 b 与逻辑符号模式 a 不同。所以要求并不是每个逻辑 S̄ⱼ 都对应同一物理量子比特上的 S，而是存在一种在 n 个物理量子比特上分配 S 和 S† 的方式，能够复现所要求的逻辑相位门乘积。相比之下，Hadamard 条件在每一个量子比特上都用同一个门，因为 H 是自逆的。两个条件必须由同一个基同时满足，这也是为什么结果被表述为一条存在性定理，而不是两条独立的判据。

n 为奇数的自对偶 CSS 码都满足条件

一条推论大幅缩小了搜索范围：任何 [[n, k, d]] 自对偶 CSS 码，只要 k ≥ 1 且 n 为奇数，就满足上述充要条件，因而存在兼容辛基。论文点名量子 Hamming 码和所引文献中的二进制 qBCH 码属于这一族。这是一个关于码块长度奇偶性的结构性保证，而不是关于距离、编码率或物理错误率的陈述；定理关心的是基是否存在，而不是某个容错协议的性能。

对于 n 为偶数的码，定理不会自动给出答案，论文的表述意味着必须逐个检查条件。作者还给出了一套流程（见附录），只要兼容辛基存在就能把它构造出来，并且能把相位型逻辑层横向门写成物理 S 和 S† 门的组合。文中还提到该流程有一个 Python 实现。因此存在性证明配上了可构造的路径，这才使判据可用，而不只是描述性的。

15 量子比特 Hamming 码演示构造

在证明一般定理之前，论文先用 [[15, 7, 3]] 量子 Hamming 码作为引导性例子，显式构造出它的一个兼容辛基。这个例子有明确用途：它表明对于一个编码多个逻辑量子比特的码，基的搜索并非空谈——正是在这类码中，横向物理门的逻辑作用最容易依赖基的选择。它还与一项应用相连：作者指出，他们为量子 Hamming 码构造辛基的工作，补足了 Yamasaki 和 Koashi 提出的恒定空间开销容错方案。

这个例子不应被读作对该方案性能的断言。论文自己的讨论指出，对于更广泛的级联码，推广后的方案能否保持相同的空间和时间开销标度，尚未得到证明。Hamming 码构造所确立的是：兼容基确实存在，而且对一个具体的多逻辑量子比特码可以写出来。

级联让同一个门有多种实现

论文把这一想法推广到级联自对偶 CSS 码，在每一层级联上定义逻辑门和横向性。定理 2 和定理 3 表明，某一层级上的某些逻辑 Clifford 门同时在多个层级上具有横向性。作为推论给出的实际结果是：作用于最高层级全部逻辑量子比特的横向逻辑 Hadamard 门，以及横向逻辑 S 和 S† 门，可以由横向物理 Hadamard 门实现，或由横向物理 S 和 S† 门实现。

这与单码定理是不同类型的陈述。这里一个逻辑门有多种横向实现，每一种使用不同级联层级上的逻辑门。作者还表明，两个各自在某一层级 m 上横向的逻辑门之积，可能得到一个在更低层级 m′ < m 上横向的逻辑门，而这种转换是其中任何一个门单独做不到的。他们给出了旨在减少每一层级逻辑门数量的线路恒等式，并指出这类转换可以简化那些连续施加不同层级逻辑门的容错协议。

横向 H 和 S 简化辅助态需求

最具体的应用涉及 Brun 等人方案中基于隐形传态的容错量子计算。该方案依赖 Steane 式容错测量，不同的逻辑 Pauli 测量要消耗不同的辅助态。如果具备横向逻辑 Hadamard 门和横向逻辑相位门，逻辑 Pauli 测量之间就可以相互转换。论文给出了显式变换（相差 ±1 相位）：在 H̄^{⊗k} 下 Z̄ᵢZ̄ⱼ 转换为 X̄ᵢX̄ⱼ，在 S̄^{⊗k} 下转换为 ȲᵢȲⱼ，并给出类似的三量子比特关系以及 X/Z 混合关系。其结果是同一个辅助态可以服务多种逻辑 Pauli 测量。

作者把这一点作为架构设计上可能的简化提出，而不是已经证明的开销降低，并指出一个限制：该方法在一般情况下可能不成立，因为分解后的 Clifford 线路中不同部分的门可能作用于不同的逻辑量子比特集合。他们还指出，任何逻辑 Clifford 线路本来就可以通过基于隐形传态的方案在恒定时间内容错实现，只是把复杂度转移到了辅助态制备上；他们的贡献是在特殊情况下可能简化所需的辅助态。

保证只覆盖 Clifford 群的一部分

兼容辛基提供的是单个码块上的 H̄^{⊗k} 和逻辑相位门乘积，论文还指出两个码块之间的 CNOT^{⊗k} 同样可以横向实现。这并不是跨所有码块、作用于全部逻辑量子比特的完整逻辑 Clifford 群。作者明确指出，如果每个码块编码多于一个逻辑量子比特，兼容基所允许的横向逻辑 Clifford 门无法实现完整的逻辑 Clifford 群。对一般的自对偶 CSS 码，唯一可用的对称性是 X 型和 Z 型稳定子形式相同，因此除 H̄^{⊗k} 和 ⊗ⱼ S̄ⱼ^{aⱼ} 之外的门在一般情况下可能无法实现。

为补上这一缺口，论文在一个命题中提出了额外的可寻址逻辑 Clifford 门，它们可以与横向门组合，生成完整的逻辑 Clifford 群。作者称这些选择可能并非最优，并预计具有更丰富对称性的特定码族可能允许更大的横向或折叠横向门集合。他们还将这项工作定位为一种结构刻画，有助于识别和分析允许横向逻辑 Clifford 操作的码，而不是对通用容错计算实用优势的直接演示。

因此论文确立的优先事项是筛选性的。对 n 为奇数的自对偶 CSS 码，兼容基有保证，构造流程也适用；对 n 为偶数的情况，必须先检查充要条件，才能假定横向逻辑 Hadamard 门和相位门在可用的基中存在。这项结果的价值在于，把对指数多个候选辛基的搜索转化为码的一个可判定性质，并表明级联可以成倍增加同一个逻辑 Clifford 门的实现方式。

本文引用的文献