量子纠错与单向量子计算技术解析
1. 线性码与汉明码
在信息传输中，错误的发生是难以避免的。为了确保信息的准确传输，纠错码技术应运而生。对于任何码 $C$，都可以构建其对偶码。若码 $C$ 具有 $k × n$ 的生成矩阵 $G$ 和 $(n - k) × n$ 的奇偶校验矩阵 $H$，则有 $H G^T = 0$。对其取转置可得 $G H^T = 0$，此时可将 $H^T$ 视为一个 $(n - k)$ 维码（记为 $C^{\perp}$，即码 $C$ 的对偶码）的生成矩阵，而 $G$ 则为该对偶码的奇偶校验矩阵。对于任意码 $C$ 及其对偶码 $C^{\perp}$，有如下关系：
[
\sum_{v \in C} (-1)^{v \cdot u} =
\begin{cases}
2^k, & u \in C^{\perp} \
0, & u \notin C^{\perp}
\end{cases}
]
汉明码是一种能够纠正单个错误的线性码。以七位汉明码为例，它由四位信息位 $(x_1, x_2, x_3, x_4)$ 和三位奇偶校验位 $(p_1, p_2, p_3)$ 组成。其中，校验位的计算方式如下：
[
\begin{cases}
p_1 = x_1 \oplus x_2 \oplus x_3 \
p_2 = x_2 \oplus x_3 \oplus x_4 \
p_3 = x_1 \oplus x_2 \oplus x_4
\end{cases}
]
这些码字之间的汉明距离至少为 3，因此被称为 $[7, 4,
