少比特门深度一层能否给出通用横向逻辑门？

固定一种划分为何阻断通用性

容错量子计算机把数据存放在纠错码中，计算时不能让错误扩散得比纠错更快。横向门之所以有吸引力，是因为每个物理门在每个码块中只触及一个量子比特，因此单个故障在每个码块中最多产生一个错误。如果通用门集在一个码上具有这种形式，计算的额外开销就会与容错存储相近。

Eastin-Knill 定理恰恰排除了这一点：在任何能检测单比特错误的量子比特码上，都不存在通用横向逻辑门集。论文强调该定理实际固定的是什么：它每次只约束量子比特的一种划分，而且只约束遵循该划分的门。它并不约束不同划分上的少体逻辑层所生成的逻辑群。

这一区分是论文的出发点。作者把作用于至多 l 个量子比特的不相交门的深度一层层称为 l 重横向。通常所说的横向层是 l = 1 的情形，此时只可能有一种划分。l = 2 是规避 Eastin-Knill 所需的最小扩展，因为它允许多种划分。

多种划分上的层共同生成通用群

论文的核心主张是：深度一层的少比特门层，只要每层遵循各自的划分，就能在一个纠错码上共同生成通用逻辑门集。此时每个逻辑门生成元都是一层深度一层门，随后对同一稳定子码做一次纠错，不需要魔法态蒸馏、码切换、规范固定、格面手术或其他小工具。

其机制是一个划分层面的论证。当每个部分包含的量子比特数少于 d（d 为码距）时，任何一种划分的层只能生成有限逻辑群。多种划分上的层则可以生成通用群。作者构造了 110 个纠错码，它们在不同划分上使用 l 重横向层来允许通用逻辑门集，l 从 2 到 10。

论文最小的具体实现是 16 量子比特的 tesseract 码，一个 [[16,6,4]] CSS 码。它允许一个通用门集，其四个生成元是作用在四种不同划分上的二重横向层：一个对每对量子比特的奇偶性施加 T 或 T-dagger 的非 Clifford 层，以及三个 Clifford 层。该非 Clifford 层在码空间上实现逻辑 CCZ 门。

通过核码扩散种子门

该构造把每个码的非 Clifford 生成元追溯到一对更短的码：一个允许深度一层非 Clifford 门的较低码距种子码，以及一个辅助核码。一个 CNOT 电路把种子码耦合到核码，使每个种子量子比特变成一小组量子比特的奇偶性。于是对角种子门以相同的逻辑作用施加在这些奇偶性上，其宽度只增长到最大组的规模。

tesseract 码说明了这一模式。它来自三维立方体上的 [[8,3,2]] 颜色码，后者的非 Clifford 门在四个偶权重顶点上施加 T、在四个奇权重顶点上施加 T-dagger，从而在其三个逻辑量子比特上实现 CCZ。放置两份立方体码并施加八个 CNOT（每个由下方顶点控制、作用于其上方配对顶点），把两个各含三个逻辑量子比特的码合并为含六个逻辑量子比特的 tesseract 码，并把码距从二提升到四。CNOT 电路把种子码的相位扩散到配对层，而逻辑作用保持不变。

Carbon 码是第二个例子。八个 CNOT 把码距为二的种子码——冻结立方体 [[8,2,2]]——耦合到一个四量子比特核态。码距翻倍到四，种子码的二重非 Clifford 层变成三重横向。再加上另外三种划分上的四个二重 Clifford 层，就得到一个通用门集。

种子码给奇偶层设下两个上限

种子码从两方面约束该构造。第一，所得码的码距至多为最大组的规模乘以种子码的 Z 距离，其中 Z 距离是种子码最轻 Z 型逻辑算符的权重。第二，无论 CNOT 电路把种子码的码距提升多少，奇偶层能纠正的故障门数都不超过该种子码的 Z 距离所允许的范围。

实际后果是：码距为三的种子码给出的奇偶层最多纠正一个故障门。对于具有对角非 Clifford 门的种子码，更大的划分距离需要 Z 距离更大的种子码。论文报告了六个满足 d 至少为 4l + 1 的码，它们在每个生成层中的划分距离至少为 5，因此每层可纠正两个任意的故障原生门。它们的校验权重从 36 到 96，因此校验提取电路更大，作者计划在未来工作中对它们做电路级噪声模拟。

每层容忍一个故障门需要码距条件

使用不同划分是有代价的。在 l 重层之前发生在 s 个量子比特上的错误，到该层结束时可能扩散到 l 个量子比特。当码距 d 至少为 2l + 1 时，每层一个故障门是可纠正的。论文报告其 47 个码对每个生成元（无论 Clifford 还是非 Clifford）都满足这一条件。

其余 63 个码只能保证检测一个故障门，即 d 至少为 l + 1，需要后选择才能容错。作者称这些为玩具例子，包括 Hamming 子码、tesseract 码和 Carbon 码。当 l 至少为 d 时，l 重横向层总是可能的，例如使用最小权重逻辑 Pauli 作为旋转生成元。

这 47 个容错码包括一个 [[37,1,7]] 码和一个 [[59,1,9]] 码，二者的校验权重都不超过八，还包括含 70 和 210 个逻辑量子比特的码。在全部 110 个深度一层通用码中，规模从 12 到 1369 个量子比特，逻辑量子比特数从一到 210，码距从三到 49，门宽度从二到十。

37 量子比特码最常在非 Clifford 层失效

对于 [[37,1,7]] 码，作者用进一步的 CNOT 电路重新分配其校验权重，给出一个带标志量子比特、保持码距的校验提取电路，并在电路级噪声下评估存储和每个生成元。存储以及 CNOT 和平方根 X-dagger 层很少失效，但 S-dagger 和 T-dagger 层失效频繁得多。

这反映了奇偶层较低的划分距离，即 3。两个故障门，或者对 T-dagger 而言两个误判的纠正，就已经能导致逻辑错误。论文指出，控制器无法看到某个量子比特最后一次 Z 校验 CNOT 之后的 X 故障，而该层之前的最后一轮没有后续轮次来解决自身的故障，因此它大约每十层就会误判至少一个集合。若没有最终解码器的后见之明，解码器失效频率约高十倍，诊断运行表明，主导剩余失效的是误判集合，而不是原生门的噪声。

更大的 [[59,1,9]] 码呈现不同模式。其存储和 CNOT 每轮至多约 2 x 10^-8、每周期至多约 1.5 x 10^-7 失效，比 [[37,1,7]] 码低七到十四倍。其单块层——划分距离仍为 3——并未分享这一收益：S-dagger 和 T-dagger 层每周期约 1.4 x 10^-5 和 1.2 x 10^-4 失效，与 37 量子比特码相差在三倍以内，而平方根 X-dagger 层每周期至多约 6 x 10^-5 失效，比 37 量子比特码更频繁。

后选择魔法态仍是一种选择

深度一层通用码的意义在于完全避免魔法态工厂。然而，如果物理错误率对这些码的码距而言过高，无法直接使用非 Clifford 层，那么用同样的码构建的工厂仍然有前景。一个单独的码块施加非 Clifford 层，只有在未检测到错误时才保留，随后一个横向 CNOT 把所得的魔法态传送到数据码块中。

对于 p = 10^-3 时的 [[37,1,7]] 码，一半的尝试被接受，被接受态以约 5.8 x 10^-12 的估计值失效。失效按 p 的三次方缩放，因为 PG(3,2) 一条线上的集合上三个故障原生门就能形成不可检测的逻辑错误。该值描述的是该层之后、任何后续轮次之前以及转移到数据码块之前的状态。作者提醒，培养法在 p = 10^-3 时达到 2 x 10^-9，但那是在均匀去极化噪声下、并用 S 态代理 T 态，会高估其故障距离，因此两个值并非同类比较。

关键看划分距离而非码距

论文最具决策相关性的区分是码距与划分距离之别。[[59,1,9]] 码的码距大于 [[37,1,7]] 码，其存储和 CNOT 层因此受益，但其单块非 Clifford 层并未受益，因为这些层的划分距离仍为 3。因此，仅靠更大的码距并不能让直接非 Clifford 层更可靠。

作者指出，更高码距的码也应能给出完全酉的容错编译器，把非 Clifford 生成元直接施加到数据上，在接近当前双量子比特门 10^-3 的错误率下工作。这要求每个生成层都有大的划分距离，而不仅是大的码距。因此，找到具有该性质且稳定子权重低的实用规模码，是论文标记为重要的方向。

该目录也显示了这一构造目前止步于何处。这些码从十六个种子码生长而来，校验权重从六到 128，而含 35 个或更多逻辑量子比特的码，其校验权重都在 32 或以上。一个宽度有界的族，其门把一个故障扩散到有界多个量子比特，必须规避另一个 no-go 定理；该定理排除了级联码和传统拓扑码，但为码距与长度成正比的码留出空间。具有横向或常数深度非 Clifford 门的量子 LDPC 码可以作为种子码。

本文引用的文献