Eastin–Knill 横向门限制

形式陈述

设有限维物理系统分为固定的 $n$ 个子系统，

\mathcal H=\bigotimes_{j=1}^n\mathcal H_j,\qquad\dim\mathcal H_j<\infty.

取码子空间 $\mathcal C$ ，投影为 $P$ ，且 $\dim\mathcal C\ge2$ 。假设码能精确检测任意单子系统错误，即对每个只作用于第 $j$ 个子系统的算子 $A_j$ ，

P A_jP=c(A_j)P. \tag{1}

这也是“任意一个已知位置的擦除可被精确纠正”的条件，可由Knill–Laflamme条件得到。

Eastin–Knill定理断言：在这个固定分块下，所有保持码空间的乘积酉

U=U_1\otimes\cdots\otimes U_n

都不能构成通用逻辑门集。更具体地，商去整体相位后，它们在码空间上的逻辑作用只有有限种，不能稠密逼近全部逻辑酉操作。[1, Theorem 1]

对多个码块的固定横向分区，把“每块各一个物理子系统”的组合视为一个分区部件，也得到横向逻辑酉门不通用的结论。前提是每个这样的部件上的任意错误均可检测；各块满足式 (1) 时，该条件由张量积与线性性推出。

直觉

精确纠错要求任何单个物理位置都不能携带可被环境读出的逻辑信息。因此在码空间内部，一个只作用于该位置的微小扰动，只能表现为所有逻辑态共有的标量。

若一个连续的横向门路径始终保留码空间，它的瞬时生成元是这些局部生成元之和，也只能产生整体相位。连续方向都没有非平凡逻辑作用，剩下的只能来自群的不同离散分支；有限维紧群使这些分支数量有限。

局部错误可检测使各局部生成元压缩为标量，横向总生成元仍为标量；恒等连通分支只给整体相位，有限多个分支留下模整体相位的有限逻辑门，不能填满连续逻辑旋转。

例子与边界

第一步：把全部允许的门放进同一个群

定义

\mathcal G=\{(U_1,\ldots,U_n)\in\prod_jU(\dim\mathcal H_j): (I-P)(\bigotimes_jU_j)P=0\}.

保持码空间的酉乘积在复合与取逆下仍保持码空间，所以这是一个子群。右侧条件是连续映射的零点集合，因此 $\mathcal G$ 为闭集。

有限个有限维酉群的乘积是紧Lie群，由闭子群定理，其闭子群仍为 Lie 群；作为紧空间的闭子集，它也紧。这个闭性很重要：不能只拿任意挑出的有限生成门集合，误以为“生成元有限”就意味着所生成逻辑门也有限。普通通用门集完全可以只有有限个生成元，却生成无限稠密子群。

第二步：连续生成元在逻辑上只能是标量

考虑 $\mathcal G$ 的恒等连通分支。其Lie代数元素在物理空间上对应Hermitian生成元

H=\sum_{j=1}^n H_j,

每项仅作用于一个子系统。由于路径 $e^{itH}$ 始终保持码空间，对 $t=0$ 求导得

(I-P)HP=0. \tag{2}

再用错误检测条件，

PHP=\sum_jPH_jP=\left(\sum_jc_j\right)P=cP.

结合式 (2)，得到 $HP=cP$ ，所以

e^{itH}P=e^{itc}P.

这一步既需要压缩后为标量，也需要生成元不把码态送出码空间；若只知道 $PHP=cP$ 而忽略式 (2)，就不能随意把它指数化。

一个连通Lie群的任意元素可写成有限个局部指数映射像的乘积。因此恒等连通分支在码空间上全部只是整体相位，在projective逻辑作用中等于恒等。

第三步：为什么只剩有限种逻辑作用

Lie 群作为流形局部道路连通，故每个连通分支都是开集。全部分支形成开覆盖；紧致性给出有限子覆盖，而分支两两不交，所以分支总数有限。因此 $\mathcal G$ 只有有限多个连通分支。

同一分支中的两个元素相差恒等分支的元素，故逻辑作用至多相差整体相位。于是projective逻辑门的总数至多等于分支数，是有限的。

当逻辑维数至少为2时，全部projective逻辑酉构成非离散连续空间。有限集合不可能稠密，因而不存在通用的固定横向酉门集。这里证完的是整群及其任意长复合的限制，不只是某张候选门表缺少一个门。

推论与应用

七qubit例子与“缺一个T”

七qubit CSS码允许横向逻辑 $H$ 、 $S$ 与块间CNOT，这些给出Clifford逻辑操作。想再找到同一固定码、同一横向分区上的逻辑 $T$ ，并与这些门共同形成通用集合，就会触及定理限制。

定理不说所有码都不能有横向 $T$ 。十五qubit蒸馏码确实有相应横向非Clifford相位门；它缺少在同一固定结构下组成通用集合的其他横向门。限制针对整套通用能力，不针对某一个被单独命名的门。

哪些条件改变后需要重新分析

魔术态注入使用非稳定子辅助资源、测量和结果相关修正，不是一条始终在固定码空间内运行的乘积酉路径，因此可以补足非Clifford能力。

换码、规范固定或改变横向分区，也可能在不同阶段使用不同的结构；不能把每阶段“看起来横向”就拼成定理中的同一个固定群。尤其涉及物理位置置换时，要重新检查后续块间耦合的传播，不能自动认为任意拼接仍满足同一故障预算。[1, Discussion]

若只要求近似纠错，式 (1) 不再精确为标量，连续逻辑作用可能很小但不必为零，需要定量近似版本。若某个物理子系统无限维，有限维紧群论证也不直接适用。这些都是改变假设后的新问题，不是对本定理的反例。

最后，逻辑维数条件不可省略。一个一维码空间没有非平凡的逻辑qubit，“不能实现通用逻辑计算”在那种情形只是任务本身为空，不能用来解释有信息承载的纠错限制。

参考资料

[1] Bryan Eastin and Emanuel Knill, Restrictions on Transversal Encoded Quantum Gate Sets, 2008作者版，Theorem 1、Corollary 1及其证明与讨论。本页将整体相位明确商去，并以紧Lie群的有限连通分支论证补足有限性步骤。

形式陈述 ​

第一步：把全部允许的门放进同一个群 ​

第二步：连续生成元在逻辑上只能是标量 ​

第三步：为什么只剩有限种逻辑作用 ​

七qubit例子与“缺一个T” ​