Knill–Laflamme纠错条件

形式陈述

同一恢复必须适用于全部码态

设 $X,Y$ 是非零有限维复内积空间， $P\ne0$ 是 $X$ 上的正交投影，码空间为 $\mathcal C=\operatorname{im}P$ 。噪声信道的Kraus表示为

\mathcal E(A)=\sum_{i=1}^m E_iAE_i^\dagger, \qquad E_i:X\to Y,\qquad\sum_iE_i^\dagger E_i=I_X.

Knill–Laflamme条件。 存在恢复信道 $\mathcal R:\mathcal L(Y)\to\mathcal L(X)$ ，使每个码支持密度算子 $\rho=P\rho P$ 都满足 $\mathcal R(\mathcal E(\rho))=\rho$ ，当且仅当存在复矩阵 $\alpha$ 满足

PE_i^\dagger E_jP=\alpha_{ij}P\qquad\text{对所有 }i,j. \tag{1}

这要求误差重叠在码空间上是同一个标量乘恒等，不是仅要求某一个码向量上的期望值相等。[1, Theorem 3.2] $P\ne0$ 使 $\alpha$ 唯一；它必为半正定且 $\operatorname{Tr}\alpha=1$ 。输入输出维数不必相等， $\alpha$ 可以非对角或秩亏。

本页同时证明同一恢复保持任意有限维参考系统 $R$ ：对所有支持在 $\mathcal C\otimes R$ 上的联合态，

((\mathcal R\circ\mathcal E)\otimes\mathrm{id}_R)(\rho_{XR})=\rho_{XR}. \tag{2}

这是精确、单次、已知噪声模型的纠错判据；恢复实现本身在此视为理想。

直觉

如果噪声把不同逻辑态留下不同的环境指纹，恢复系统就无法统一抹掉这种泄漏。式 (1) 规定所有两两误差重叠都不依赖逻辑方向；对误差索引换一个基后，可以把噪声分成若干正交综合，每个综合里仍保留原来的完整逻辑向量。

恢复先辨认综合子空间，再把该子空间等距送回码空间。它无需认出最初的 Kraus 索引，也不能去读取逻辑振幅。两个物理误差在码空间上作用相同，完全可以共用综合。

例子与边界

三比特码的四个正交综合

沿用稳定子重复码

P=|000\rangle\langle000|+|111\rangle\langle111|, \qquad B_0=I,\ B_1=X_1,\ B_2=X_2,\ B_3=X_3.

$s\ne t$ 时 $B_s^\dagger B_t$ 翻转一或两位，把两个码基向量都送到码外，所以 $PB_s^\dagger B_tP=\delta_{st}P$ 。令

(p_0,p_1,p_2,p_3)=(.4,.3,.2,.1),\qquad E_s=\sqrt{p_s}B_s.

这些算子在全八维空间上满足保持迹条件，且 $\alpha=\operatorname{diag}(.4,.3,.2,.1)$ 。

误差	像空间的一组基	$ZZI,IZZ$ 的综合位	概率	恢复操作
$I$	$000,111$	$00$	$.4$	$I$
$X_1$	$100,011$	$10$	$.3$	$X_1$
$X_2$	$010,101$	$11$	$.2$	$X_2$
$X_3$	$001,110$	$01$	$.1$	$X_3$

综合位零对应校验本征值 $+1$ 。四个空间互相正交且填满八维空间。令 $Q_s=B_sPB_s^\dagger$ ，恢复 Kraus 算子为 $B_sQ_s$ ，满足

(B_sQ_s)E_tP=\sqrt{p_t}\,\delta_{st}P.

因此每个校正后分支都是原逻辑态乘标量，而非某个逻辑基态。对与参考 qubit 纠缠的

|\Phi_L\rangle=(|000\rangle|0\rangle_R+|111\rangle|1\rangle_R)/\sqrt2,

校正后四个未归一化密度分支为 $p_s|\Phi_L\rangle\langle\Phi_L|$ ，求和恢复整个纠缠态。

非对角重叠与零特征值

把噪声换成五个 Kraus 算子

\widetilde E_0=\sqrt{.2}I,\quad \widetilde E_1=\sqrt{.2}Z_1Z_2,\quad \widetilde E_2=\sqrt{.3}X_1,\quad \widetilde E_3=\sqrt{.2}X_2,\quad \widetilde E_4=\sqrt{.1}X_3.

每个底层算子酉，权重和为一，所以仍是全空间信道。 $Z_1Z_2P=P$ ，两个不同物理误差在码空间上完全相同，于是

\widetilde\alpha= \begin{pmatrix} .2&.2&0&0&0\\.2&.2&0&0&0\\ 0&0&.3&0&0\\0&0&0&.2&0\\0&0&0&0&.1 \end{pmatrix}.

前两项作和差变换：

F_+=(\widetilde E_0+\widetilde E_1)/\sqrt2, \quad F_-=(\widetilde E_0-\widetilde E_1)/\sqrt2, \quad F_+P=\sqrt{.4}P,\quad F_-P=0.

特征值为 $.4,0,.3,.2,.1$ ，所以码输入上的四个有效综合和上表相同，恢复不变。 $F_-$ 并非全空间零算子，只是在码空间上消失。这个例子是真正的误差退化；若将 $Z_1Z_2$ 改成第二份 $I$ ，则得到本节最初四误差信道的冗余 Kraus 表示，也产生相同重叠矩阵；它与含 $Z_1Z_2$ 的五误差信道在全空间上一般不同。两种情形都说明不能要求每个原始索引都有可分辨综合。

未知相位翻转的失败证书

令 $\mathcal N(A)=(A+Z_1AZ_1)/2$ ，其两 Kraus 算子的交叉压缩为

\tfrac12PZ_1P =\tfrac12\bigl(|000\rangle\langle000|-|111\rangle\langle111|\bigr),

已知确定发生的 $Z_1$ 单独是可逆酉门，可再施加 $Z_1$ 恢复。失败的是含 $I,Z_1$ 两个未知分支的共同噪声，或更大的误差族，而非“任何相位门都不可纠正”。

推论与应用

必要性：纯输出迫使每个复合分支都是标量

设恢复的 Kraus 算子为 $R_b:Y\to X$ ，满足 $\sum_bR_b^\dagger R_b=I_Y$ 。对每个单位码向量 $\psi$ ，精确恢复意味着

\sum_{b,i}|R_bE_i\psi\rangle\langle R_bE_i\psi| =|\psi\rangle\langle\psi|.

对任意 $\phi\perp\psi$ 取矩阵元，得到 $\sum_{b,i}|\langle\phi,R_bE_i\psi\rangle|^2=0$ 。每项非负，因此每个 $R_bE_i\psi$ 都与 $\psi$ 平行，包括零向量情形。

固定一对 $(b,i)$ ，取码空间正交基 $e_1,\ldots,e_d$ ，写 $R_bE_ie_k=c_ke_k$ 。再对 $(e_k+e_\ell)/\sqrt2$ 使用平行结论，线性性迫使 $c_k=c_\ell$ ，所以存在与逻辑输入无关的 $c_{bi}$ ，使

R_bE_iP=c_{bi}P.

$d=1$ 时单个基向量已经给出该式。插入恢复完备性便有

PE_i^\dagger E_jP =\sum_bPE_i^\dagger R_b^\dagger R_bE_jP =\left(\sum_b\overline{c_{bi}}c_{bj}\right)P.

这证明式 (1)，且 $\alpha$ 是 Gram 矩阵，故半正定。对角求和再用噪声保持迹，得 $(\operatorname{Tr}\alpha)P=P$ ，于是 $\operatorname{Tr}\alpha=1$ 。

充分性：对角化误差重叠

现在只假设式 (1)。对单位码向量 $\psi$ 与任意 $z\in\mathbb C^m$ ，

z^\dagger\alpha z=\left\|\sum_i z_iE_i\psi\right\|^2\ge0,

且同样由保持迹得 $\operatorname{Tr}\alpha=1$ 。用谱定理选酉矩阵 $U$ ，使 $U^\dagger\alpha U=\operatorname{diag}(\lambda_a)$ 。定义

F_a=\sum_iU_{ia}E_i.

展开并用 $\sum_aU_{ia}\overline{U_{ja}}=\delta_{ij}$ ，可知 $\sum_aF_aAF_a^\dagger=\mathcal E(A)$ ；同时

PF_a^\dagger F_bP=\lambda_a\delta_{ab}P.

注意此处系数是 $U_{ia}$ ；其共轭已经来自 $F_a^\dagger$ 。若 $\lambda_a=0$ ，则对每个码向量 $\|F_a\psi\|^2=0$ ，故 $F_aP=0$ ，不能再除以 $\sqrt{\lambda_a}$ 。

对正特征值定义 $W_a=F_aP/\sqrt{\lambda_a}$ ，这是 $X\to Y$ 的算子，满足

W_a^\dagger W_b=\delta_{ab}P.

因此 $W_a$ 在码空间上等距，不同 $a$ 的像正交。 $Q_a=W_aW_a^\dagger$ 是像投影， $Q=\sum_{\lambda_a>0}Q_a$ 也是投影。这还给出维数检查

\operatorname{rank}(\alpha)\dim\mathcal C\le\dim Y.

把恢复补成全空间信道

仅在可达综合上写 $W_a^\dagger$ 还不够：恢复必须在整个 $Y$ 上保持迹。选任意单位码向量 $c$ ，以及补空间 $\operatorname{im}(I_Y-Q)$ 的正交基 $q_k$ ，取恢复 Kraus 算子

R_a=W_a^\dagger,\qquad T_k=|c\rangle\langle q_k|.

它们的平方和为 $Q+(I_Y-Q)=I_Y$ ，所以定义 CPTP 恢复

\mathcal R(B)=\sum_{\lambda_a>0}W_a^\dagger BW_a +\operatorname{Tr}((I_Y-Q)B)|c\rangle\langle c|.

补空间为空时第二项消失。该项规定了码噪声永远不会到达的输入上如何行动；不能因那些输入在证明中不出现，就省去保持迹条件。

对任意码支持算子 $A=PAP$ ，包括非 Hermitian 矩阵单位，有

\mathcal E(A)=\sum_{a:\lambda_a>0}\lambda_aW_aAW_a^\dagger.

它完全位于 $Q$ ，因此补空间项为零。于是

\mathcal R(\mathcal E(A)) =\sum_{a,b:\lambda_a,\lambda_b>0}\lambda_aW_b^\dagger W_aA W_a^\dagger W_b =\sum_a\lambda_aA=A.

这证明充分性，同时精确解释了“测综合再逆转”：辨认的是对角化后的像空间，原始 Kraus 标签未必可辨认。

参考纠缠为何也被恢复

将任意码支持联合态写成

\rho_{XR}=\sum_{\mu,\nu}|e_\mu\rangle\langle e_\nu|\otimes B_{\mu\nu}.

上一段对每个矩阵单位都成立，特别保留 $\mu\ne\nu$ 的相干项。张量参考恒等映射并逐项相加，便得到式 (2)，覆盖任意参考维数及混合纠缠态。反向只需取一维参考，便回到通常的码态恢复。因此三种表述确实等价。

本页构造的是数学上的精确恢复。它没有给出每个综合投影的低门数实现，也没有保证恢复门受噪声时仍可靠。稳定子结构可让综合测量变得具体；一般 Knill–Laflamme 条件本身没有提供容错阈值。

参考资料

[1] Emanuel Knill and Raymond Laflamme, A Theory of Quantum Error-Correcting Codes，v1，1996-04-26，§3.2，Theorem 3.2，式 (19)–(20)，印刷 p. 13，证明 pp. 14–15；Theorem 3.1，pp. 12–13：复合分支的标量性；Theorems 3.3–3.4，p. 17：左逆与纠缠态表述。本文以对角化重叠矩阵给出全空间恢复，并独立展开退化三比特算例。
John Watrous, The Theory of Quantum Information, Chapter 2，§2.2.2，Theorem 2.22、Corollaries 2.23/2.27：完全正映射的算子和、Kraus表示变换及保持迹条件。

形式陈述 ​

同一恢复必须适用于全部码态 ​

三比特码的四个正交综合 ​

非对角重叠与零特征值 ​

未知相位翻转的失败证书 ​

必要性：纯输出迫使每个复合分支都是标量 ​

充分性：对角化误差重叠 ​

把恢复补成全空间信道 ​

参考纠缠为何也被恢复 ​

反向链接