七、经典纠错码与量子纠错码的数学描述

本文链接：https://blog.csdn.net/qq_36793268/article/details/107172179

七、经典纠错码与量子纠错码的数学描述

本文主要讲述经典纠错编码和量子纠错编码所涉及的数学知识，通过一些数学理论来描述纠错码的原理。

1.抽象代数

代数运算

假定对于集合 $A$ 中的任意元素 $a$ 与集合 $B$ 中的任意元素 $b$ ，按照某一法则可以与某一集合 $C$ 中唯一确定的元素 $c$ 对应，则称这个法则为 A、B 到 C 的一个（二元）运算，如果 $A = B = C$ 则称 A 在运算 $“ * ”$ 下是封闭的。

在二元运算 $“ * ”$ 下，若对于 A 的任意两个元素 $a$ 和 $b$ ， $a * b = b * a$ 成立，则称 A 是 可交换的 。若对于 A 的任意 3 个元素 $a 、 b 、 c$ 在 $“ * ”$ 下， $a * (b * c) = (a * b) * c$ 成立，则称 A 是可结合的。

对于通常意义下的加法或乘法，我们就可以分别记为 $a + b$ 或 $a\cdot b$ ，整数集合中的加法和乘法都是可交换的和可结合的，因此整数集合是可交换和可结合的。

代数系统

如果一个集合 A 具有满足某些法则的代数运算，就称集合 A 为 代数系统 。群、环、域就是三个基本的代数系统。

群
满足以下四个条件的非空集合 $G$ 称为群：
1. $G$ 在 $“ * ”$ 之下是 封闭的，即对每一个元素 $a\in G$ ， $b\in G$ ，则有唯一确定的元素 $c = a * b$ ,且 $c\in G$ 。
2. $G$ 在 $“ * ”$ 之下是 可结合的。即对任意元素 $a、b、c，a\in G，b\in G ，c\in G$ ，有 $a * (b * c) = (a * b) * c$ 。
3. 在 $G$ 中有一个元素 $e$ (单位元)，对任一 $a\in G$ ，满足 $a * e = e * a = a$ 。
4. 在 $G$ 中对任一 $a\in G$ ，都有一个 $a^{-1}\in G$ (逆元)，满足 $a*a^{-1}=a^{-1}*a=e$ 。
如果一个群在 $“ * ”$ 之下是可交换的，则称 $G$ 为 交换群 或 阿贝尔群 ，特别在加法之下，交换群称为 加法群。

       若 $G$ 的非空子集 $H$ 对于 $G$ 的运算也组成一个群，则称 $H$ 为 $G$ 的一个子群。非空子集 $H$ 是 $G$ 的子群的充要条件是：若 $a\in H ,b\in H ,则\ \ ab^{-1}\in H$ 。

       一个元 $a$ 的一切乘幂 $a^0=e,a,a^2,\cdots$ 的全体组成一个群，称为 循环群 ，循环群是交换群。

       设 $H$ 是群 $G$ 的一个子群，若对每个元 $g\in G$ ，有 $g H = H g$ ( $g H$ 表示 $g$ 与 $H$ 中以切元素的乘积) ，即 $gHg^{-1}=H$ 则称 $H$ 为 $G$ 的一个 不变子群（或正规子群）， $g H$ 和 $H g$ 分别称为 $G$ 对 $H$ 含元素 $g$ 的左陪集和右陪集，因此含同一元素的不变子群的左陪集和右陪集市重合的。把陪集堪称元素时，一切陪集构成一个群，称为 $G$ 对 $H$ 的商群，记作 $\frac{G}{H}$ 。

环
一个非空集 $R$ 有加法和乘法两个二元运算，若满足以下条件，就称 $R$ 为一个环。
1. $R$ 是一个 加法群。
2. 对于乘法满足 结合律。即对任何 $a、b、c，a\in R，b\in R，c\in R$ ，有
  $a (b c) = (a b) c$
3. 对于加法和乘法满足 左、右分配律。即对任何 $a、b、c，a\in R，b\in R，c\in R$ ，有
  $a (b + c) = a b + a c ， (b + c) a = b a + c a$
一个环如果满足乘法的交换律 $a b = b a$ ，则称 $R$ 为 交换环。
域

一个具有单位元的交换环 $R$ ，若至少含有一个非零元，并且每个非零元 $a$ 恒有逆 $a^{-1}$ ，则称 $R$ 为一个域。

2.从数学角度看经典代数纠错码

在数字通信中，信息用有限个离散数字位表示，每个位（bit）是有限集合 $S$ 中的元素。若 $S$ 有 $m$ 个元素 $(m\geq 2)$ ，可以取 $S$ 为整数模 $m$ 的同余类 $\overline{0},\overline{1},\cdots,\overline{m-1}$ 形成的环，表示成 $Z_m$ 。这时 $Z_m$ 中有加减乘运算，从而可以使用数论工具。当 $m = p$ 是某个素数 $p$ 的方幂时，通常取 $S$ 为 $q = p$ 元有限域，表示成 $F_q$ ，这时可以对 $F_q$ 中的元素进行四则运算，使用有限域和有限域理论的一系列代数性质。

这里我们只讨论 $q$ 元有限域 $F_q$ 上的经典纠错码。在通信领域我们最常使用 $q = 2$ 的情形，即最简单的二元域 $F_2=\{0,1\}$ ，其中 $1 + 1 = 0$ ，其余运算都是自然的。

对于每个正整数 $k$ ，以 $F_q^k$ 表示有限域 $F_q$ 上的 $k$ 维向量空间，其中元素是长为 $k$ 的向量： $v=(v_1,v_2,\cdots,v_k) (v\in F_q)$ 。这样的向量共有 $q^k$ 个，用来表示不同的信息。

一般的， $q^k$ 个信息可以用 $F_q$ 上长度为 $k$ 的向量来表示。但是用这种方式是不能纠错的，因为每个向量都表示一种信息，如果某个 bit 发生了错误，会被解码成其他的信息，从而导致出错。

为了使通信系统有纠错能力，办法是：将 $q^k$ 个信息用比 $k$ 长的向量来表示，取 $n > k$ ， $q^k$ 个信息用 $F_q^n$ 中 $q^n$ 个向量当中的一部分向量（ $q^k$ 个）来表示，它们形成 $F_q^n$ 的一个 $q^k$ 元子集 $S$ 。 $S$ 中向量代表信息，而其余 $q^n-q^k$ 个向量是没有意义的。

$F_n^q$ 中有这么多向量，我们应该选择哪些来表达信息呢？一个好的 $S$ 应该能够在信道产生少数几位错误 $\varepsilon$ 时，让接收到的 $y=x+\varepsilon$ 不属于 $S$ ，所以接收方能够检查出错误，更进一步可以检查出错误发生在哪。

有了上面的理解，我们给出数学的形式化的定义：

$F_n^q$ 中每个子集 $S$ 都叫做一个纠错码。 $S$ 中的元素，即向量称为码字， $n$ 叫做 $S$ 的码长， $K = ∣ S ∣$ 表示 码字个数( $S$ 中元素的个数，即可以表示的信息个数)， $k=\log_q^K$ 叫做 信息的位数 ，它表示没有经过编码的原信息由几位码元组成。

对于 $u=(u_1,\cdots,u_n)\in F_q^n，v=(v_1,\cdots,v_n)\in F_q^n$ ，定义向量 $u$ 的 汉明权 (Hamming weight) 为非零分量 $u_i$ 的个数：
$w_H(u)=\#\{i|1\leq i \leq n, u_i \neq0 \}$

而向量 $u$ 和 $v$ 的 汉明距离 $d_H(u,v)$ 为它们相异位的个数：
$d_H(u,v)=\#\{ i|1\leq i \leq n ,u_i \neq v_i \}=w_H(u-v)$

容易验证，Hamming 距离对于 $u,v,w\in F_q^n$ 满足以下的性质：

$d_H(u,v) \geq 0$ ，并且当 $u = v$ 时 $d_H(u,v)=0$
$d_H(u,v) = d_H(v,u)$ （对称性）
$d_H(u,w) \leq d_H(u,v) + d_H(u,w)$

对于码长为 $n$ 的 $q$ 元码 $S$ (即 $S$ 为 $F_q^n$ 的非空子集合)， $S$ 的最小距离 $d = d (S)$ 定义为 $S$ 中任意两个不同码字之间 Hamming 距离的最小值，即：
$d=d(S)=min\{d_H(u,v)|u,v\in S,u\neq v\}$

定理：

若 $d$ 为码 $S$ 的最小距离，则码 $S$ 可用来检查小于等于 $d - 1$ 位错误，也可以纠正小于等于 $\left[ \begin{matrix} \frac{d-1}{2} \end{matrix} \right]$ 位错误，即取不大于 $\frac{d-1}{2}$ 的整数。

该定理表明了码 $S$ 的最小距离 $d$ 可以用来反应该码的纠错能力

对于一个 $q$ 元（即 $F_q$ 上）纠错码 $S$ 码长 $n$ 、码字数 $K$ 和最小距离 $d$ 是三个基本参数，这个码可以表示成 $(n, K, d)$ 。又因为 $k=\log_q^K$ ，所以该码还可以表示成 $[n, k, d]$ 。

由于 $k < n$ ，如果不考虑纠错，一个信息用 $k$ 位向量传送即可。现在为了有纠错能力，改用 n 位向量来传送，用 $\frac{k}{n}$ 来表示纠错码的效率。因此，我们是在损失效率之下得到了纠错功能，一个好的纠错码就是指有大的 $\frac{k}{n}$ (高效率) 和大的 $d$ (纠错性能强) 。

不同的纠错码的效率不同，对不同的纠错码进行解码时也会有效率的高低，好的纠错码可以快速地解码，在工程中使用时要选择编码和解码效率都足够高的方式。为了寻求性能好的纠错码和好的译码算法，我们要研究 $F_q^n$ 的一些特殊的子集合 $S$ ，即将 $S$ 加上某些代数结构，从而可以使用更多的代数工具。一个自然的想法时考虑 $F_q^n$ 的 $F_q$ 向量子空间。

$F_q^n$ 的一个 $F_q$ 向量子空间 $C$ 称作是码长为 $n$ 的 $q$ 元线性码。设 $k$ 是向量子空间 $C$ 的维数（ $1\leq k\leq n$ ），则 $C$ 存在一组基 $u_1,\cdots,u_k$ ，其中：
$u_i=(a_{i1},\cdots,a_{in})(i \leq i \leq k)(a_{ij} \in F_q)$

而 $C$ 中每个码字都可以唯一的表示为它们的线性组合：
$c=b_1u_1+\cdots+b_ku_k(b_i \in F_q)$

向量空间的维数 $k$ 就是原信息的位数。

以 $u_1,\cdots,u_k$ 为行的矩阵
$G=\left[ \begin{matrix} u_1 \\ u_2 \\ \vdots \\ u_k \end{matrix} \right]= \left[ \begin{matrix} a_{11} & a_{12} & \cdots & a_{1n} \\ \cdots & \cdots & \cdots & \cdots \\ a_{k1} & a_{k2} & \cdots & a_{kn} \\ \end{matrix} \right]$

称作线性码 $C$ 的一个生成矩阵。这时 $F_q$ 上的一个 $k$ 行 $n$ 列矩阵，并且矩阵 $G$ 的秩为 $k$ 。

对于每个 $c\in F_q^n$ ， $c$ 是码字（ $c\in F_q^n$ ） $\Leftrightarrow c=b_1u_1+\cdots+b_ku_k$
$\Leftrightarrow c=(b_1+b_2+\cdots+b_k) \left[ \begin{matrix} u_1 \\ u_2 \\ \vdots \\ u_k \\ \end{matrix} \right] = (b_1+b_2+\cdots+b_k)G$

$K=q^k$ 个信息本来可以用 $F_q^k$ 中长为 k 的向量 $(b_1,b_2,\cdots,b_k)$ 表示，现在为了有纠错能力，将每个 $(b_1,b_2,\cdots,b_k)$ 改用 $F_q^k$ 中长为 $n$ 的向量 $c=(b_1,b_2,\cdots,b_k)G$ 。这称为 纠错编码 ，所以对于线性码，纠错编码相当于乘以生成矩阵 $G$ 。

从线性代数我们可以知道， $F_q^n$ 的一个 $k$ 维线性子空间还可以看成是变量 $x_1 \sim x_n$ 在 $F_q$ 上（即系数属于 $F_q$ ） $n - k$ 个齐次线性方程组
$\left\{ \begin{aligned} &b_{11}x_1+b_{12}x_2+\cdots+b_{1n}x_n =0 \\ &b_{21}x_1+b_{22}x_2+\cdots+b_{2n}x_n =0 \\ &\cdots \\ &b_{n-k,1}x_1+b_{n-k,2}x_2+\cdots+b_{n-k,n}x_n =0 \end{aligned} \right.$

的解空间。其中系数矩阵
$H=(b_{ij})_{1\leq i \leq n-k，1\leq j \leq n}$

是 $F_q$ 上 $n - k$ 行 $n$ 列的矩阵，并且 $H$ 的秩为 $n - k$ 。 $H$ 叫做线性码 $C$ 的一个校验矩阵。上面的其次方程可以写为
$H\left[ \begin{matrix} x_1 \\ x_2 \\ \vdots \\ x_n \end{matrix} \right]= Hx^T=0 \in F_n^{n-k}$

其中 $x=(x_1,\cdots,x_n)$ ， $x^T$ 表示向量 $x$ 的转置。所以对每个 $v\in F_q^n$
$v\in C \Leftrightarrow Hv^T=0$

也就是说利用校验矩阵乘以 $v^T$ 可以判断 $v$ 是否为码字。即线性码的检错问题只需要简单地乘以校验码即可：若收到 $y$ ，而 $Hy^T\neq 0$ ，则 $y$ 不属于 $C$ ，从而判断信道产生错误。

校验矩阵 $H$ 还能用来决定线性码的最小距离。

定理：

设 $C$ 是参数 $[n, k, d]$ 的 $q$ 元线性码，则

$C$ 的最小距离 $d$ 等于 $C$ 中非零码字 Hamming 权的最小值
$d=min\{ w_H(c)|0 \neq c\in C\}$

将 $C$ 的校验矩阵 $H$ 写成 $n$ 个列向量
$H=\left[ \begin{matrix} v_1 & v_2 & \cdots & v_n \end{matrix} \right]， v_j= \left[ \begin{matrix} b_{1,j} \\ v_{2,j} \\ \vdots \\ v_{n,j} \end{matrix} \right] \in F_q^{n-k}$

则线性码 $C$ 的最小距离 $d$ 是满足以下两个条件的正整数 $d$
（i） $H$ 中任意 $d - 1$ 个不同的列向量都是在 $F_q$ 内线性无关的
（ii）存在 $H$ 中 $d$ 个不同的列向量，它们是在 $F_q$ 内线性无相关的

那么我们如何判断一个纠错码的好坏呢？在三个基本参数 $n 、 k 、 d$ 之间有互相制约的关系。这些关系用不等式来刻画，称作是 纠错码的界 。使不等式达到等式的码就是某种意义上的最优码。下面是经典纠错码的 3 个最著名的界。

定理：

若存在参数为 $[n, k, d]$ 的 $q$ 元纠错码，则
（i）(Hamming 界)
$q^{n-k}\geq \sum_{i=0}^{[\frac{d-1}{2}]}(q-1)^i \left( \begin{matrix} n \\ i \end{matrix} \right)$

其中 $\left( \begin{matrix} n \\ i \end{matrix} \right)$ 表示从 $n$ 个物体中取 $i$ 个的组合。

（ii）(Singleton 界) $n\geq k+d-1$

(Gilber - Varshamov 界) 设 $\leq d \leq n,2 \leq K \leq q^n$ ， $q$ 为素数幂。如果
$\left( \begin{matrix} \sum_{i=1}^{d-1}（q-1)^i \left( \begin{matrix} n \\ i\end{matrix} \right) \end{matrix} \right)<q^n$

则必存在参数为 $(n, K, d)$ 的 $q$ 元纠错码。

3.量子纠错码的概念

由于 $|0\rangle$ 和 $|1\rangle$ 表示两个基态，我们可以将量子态写成矩阵的形式
$|\varphi\rangle= \left[ \begin{matrix} \alpha \\ \beta \end{matrix} \right]$

而多量子系统的整体状态可以表示为
$|a_1\rangle\otimes|a_2\rangle\otimes\cdots\otimes|a_n\rangle , (a_i\in \{0,1\}=F_2,(1\leq i \leq n))$

$a_i$ 表示第 $i$ 个量子的状态。同理，我们也可以用矩阵的形式表示该状态，对于每个量子状态是一个二维矩矢量，要想表示 n 个 qubit 的状态，我们需要一个 $2^n$ 维的矢量，一个 $2^n$ 维的矢量可以用一组 $2^n$ 个互相正交的基矢来表示，这些基矢的 复线性组合 就可以表示整体的状态了，它们构成了一个 $2^n$ 维的复向量空间， $2^n$ 维的复向量空间有一组基
$|a_1\rangle\otimes|a_2\rangle\otimes\cdots\otimes|a_n\rangle,\ \ \ (a_i\in\{0,1\}=F_2,(1\leq i\leq n)\ )$

这个表示向量空间中的基矢的向量也可以简单记成 $|a_1a_2\cdots a_n\rangle=|a\rangle$ ，其中 $a=(a_1,a_2,\cdots,a_n)\in F_2^n$ 。所以对于一个多量子系统整体的量子状态 $|\varphi\rangle$ 是它们的线性组合
$|\varphi\rangle= \sum_{(a_1,a_2,\cdots,a_n)\in F_2} c(a_1,a_2,\cdots,a_n)|a_1a_2\cdots a_n\rangle= \sum_{(a_1,a_2,\cdots,a_n)\in F_2}c(a)|a\rangle$

其中 $c(a_1,a_2,\cdots,a_n)=c(a)\in C$ (不全为零)。

我们定义对于 $2^n$ 维复向量空间中的两个矢量
$|v\rangle = \sum_a c(a)|a\rangle，|u\rangle=\sum_a d(a)|a\rangle$

它们的厄米特内积为
$\langle v|u \rangle=\sum_{a\in F_2^n} \overline{c(a)}d(a) \in C$

其中 $\overline{c(a)}$ 表示复数 $c (a)$ 的共轭复数。

在量子物理中：

彼此相差一个非零复数因子的两个非零向量看成是同一个量子态。即若 $|v\rangle = \alpha|u\rangle$ ，其中 $\alpha$ 是非零复数，则 $|v\rangle$ 和 $|u\rangle$ 为同一个量子态。
$|v\rangle$ 和 $|u\rangle$ 是完全可区分的，是指 $\langle v|u \rangle=0$ (正交)

$V=(C^2)^{\otimes n}=C^{2n}$ 中每个复向量子空间 $Q$ 都叫做一个 量子码 ，可以用来编码原量子信息。 $n$ 叫做 $Q$ 的码长， $Q$ 的维数记为 $K = d i m Q$ ，而令 $k=\log_2K$ 。由 $1\leq K \leq 2^n$ 可知 $0\leq k \leq n$ 。

在经典的数字通信中，信息 $x=(x_1,\cdots,x_n)$ 和错误 $\varepsilon=(\varepsilon_1,\cdots,\varepsilon_n)$ 都是 $F_q^n$ 中的向量，错误 $\varepsilon$ 对信息 $x$ 的作用是相加： $y=x+\epsilon$ 。在量子通信中，信息是 $V$ 中非零向量 $|v\rangle$ ，而错误是复空间 $V$ 上的酉算子 $e$ ， $e$ 在 $V$ 上的作用是线性变换 $e|v\rangle$ 。

每个 qubit 为 $|\varphi\rangle = \alpha |0\rangle +\beta|1\rangle$ ，根据 P . Shor 的简化，只需要考虑 3 中错误作用，它们的矩阵表示为 3 个 Pauli 矩阵：
$\sigma_x= \left[ \begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix} \right]， \sigma_z= \left[ \begin{matrix} 1 & 0 \\ 0 & -1 \end{matrix} \right]， \sigma_z= i\sigma_x\sigma_z=\left[ \begin{matrix} 0 & -i \\ i & 0 \end{matrix} \right](i=\sqrt{-1})$

在复空间 $V=C^2 \otimes C^2 \otimes\cdots \otimes C^2=(C^2)^{\otimes n}$ 上的错误作用有形式
$e=i^\lambda w_1\otimes \cdots \otimes w_n$

其中 $0\leq \lambda \leq 3 ,w_1\in \{I_2,\sigma_x,\sigma_y,\sigma_z\}$ ， $I_2=\left[ \begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix} \right]$ 表示无错误。

$e$ 在基向量
$|a\rangle=|a_2\rangle\otimes|a_2\rangle\otimes\cdots\otimes|a_n\rangle \ \ \ \ (a=(a_1,a_2,\cdots,a_n)\in F_2^n)$

上的作用是按分量作用：
$e|a\rangle=i^\lambda(w_1|a_1\rangle)\otimes(w_2|a_2\rangle) \otimes\cdots\otimes(w_n|a_n\rangle)$

由于 $e$ 是酉算子，所以 $e$ 在任意量子态
$|\varphi\rangle=\sum_{a\in F_2^n}c(a)|a\rangle$

上的作用为
$e|\varphi\rangle=\sum_{a\in F_2^n}c(a) e |a\rangle$

例如，当 $n = 2$ 时，对于 $e=\sigma_x\otimes\sigma_y，|\varphi\rangle=\alpha|00\rangle+\beta|10\rangle$ ，则
$\begin{aligned} e|\varphi\rangle & = (\sigma_x\otimes \sigma_y)(\alpha|0\rangle \otimes |0\rangle+\beta|1\rangle \otimes |0\rangle) \\ & =\alpha(\sigma_x |0\rangle \otimes \sigma_y |0\rangle) + \beta(\sigma_x|1\rangle \otimes \sigma_y|0\rangle) \\ &=\alpha|1\rangle \otimes i |1\rangle+\beta |0\rangle \otimes i |1\rangle \\ & =\alpha i |11\rangle + \beta i |01\rangle \end{aligned}$

所有错误算子组成的集合 $E=E_n$
$E_n=\{ i^{\lambda}w_1 \otimes w_2 \otimes \cdots \otimes w_n | \ 0\leq \lambda \leq 3 , w_i \in \{ I_2,\sigma_x,\sigma_y,\sigma_z \} (1 \leq i \leq n) \}$

形成一个乘法群，其中 $e=i^\lambda w_1\otimes \cdots \otimes w_n$ 和 $e'=i^{\lambda'} w_1'\otimes \cdots \otimes w_n'$ 的乘法（即两种错误同时发生时的表示方法）定义为
$ee'=i^{\lambda+\lambda'}(w_1w_1')\otimes \cdots \otimes(w_nw_n')$

例如，当 $n = 2$ 时，对于 $e=I_2 \otimes \sigma_x$ 和 $e'=\sigma_y \otimes \sigma_x$ ，有
$\begin{aligned} & ee'=\sigma_y \otimes \sigma_x \sigma_z=-i \sigma_y \otimes \sigma_y= i^3 \sigma_y \otimes\sigma_y \\ & e'e=\sigma_y \otimes \sigma_z \sigma_x= i \sigma_y \otimes\sigma_y \end{aligned}$

所以 $E_n$ 不是交换群。容易看出，对任何 $e$ ， $\in E_n$ ，均有 $e e^{'} = e^{'} e$ 或 $e e^{'} = - e^{'} e$ ， $e^2=\pm I_2，|E_n|=4^{n=1}$ ，所以 $E_n$ 是 $4^{n+1}$ 阶（元素个数）非交换群。这个群的中心为 4 元群：
$C(E)=\{ i^\lambda = i^\lambda I_i \otimes \cdots \otimes I_2 \ 0 \leq \lambda \leq 3\}$

而商群
$\overline{E_n}=\frac{E_n}{C(E)}，(|\overline{E_n}|=\frac{|E_n|}{4}=4^n)$

中元素和群 $E$ 中元素有关系
$\overline{e}^2=I_2，\overline{ee}'=\overline{e}'\overline{e} ,(由于 -1 \in C(E_n))$

所以 $\overline{E_n}$ 是 $4^n$ 阶交换群，并且每个元素的平方均为 1 ，从而它应当是个 $2 n$ 个 2 阶循环群的直积，于是同构于 $F_2^n$ 的加法群。

为了进一步弄清非交换群 $E_n$ 的结构，Calderbank 等人引入一种新的符号。将错误算子
$e=i^\lambda w_1\otimes \cdots \otimes w_n \ \ \ \ \ w_i \in \{I_2,\sigma_x,\sigma_y,\sigma_z\}$

表示成
$e=i^\lambda X(a)Z(b) \ \ \ \ \ a=(a_1,\cdots,a_n)\in F_2^n ,b=(b1,\cdots,b_n) \in F_2^n$

其中：

$(a_i,b_i)= \left\{ \begin{aligned} &(0,0) & w_i=I_2 \\ &(1,0) & w_i=\sigma_x \\ &(0,1) & w_i=\sigma_z \\ &(1,1) & w_i=\sigma_y \end{aligned} \right. \ \ \ \ \ (1 \leq i \leq n)$

例如， $e=i\sigma_y\otimes I_2 \otimes \sigma_x=iX(101)Z(100)$ 。

则 $X (A)$ 和 $Z (b)$ 在 $V=C^2\otimes C^2\otimes \cdots \otimes C^2$ 的基元上作用 $|v\rangle=|v_1,\cdots,v_n\rangle (v=(v_1,\cdots,v_n)\in F_2^n)$
$X(a)|v\rangle=|a+v\rangle，Z(b)=|v\rangle=(-1)^{b \cdot v}|v\rangle$

其中
$b\cdot v =\sum_{i=0}^n b_i v_i \in F_2$

为 $F_2$ 中通常的内积。

对于 $E_n$ 中两个错误算子 $e=i^\lambda X(a)Z(b)$ 和 $e'=i^{\lambda '} X(a')Z(b')$ ，
$ee'=(-1)^{a\cdot b'+a' \cdot b}e'e$
可以看出，当 $a\cdot b'+a' \cdot b=0$ 时 $e$ 和 $e^{'}$ 是可交换的。

对于 $F_2^{2n}$ 中的向量 $u=\langle a |b \rangle$ 和 $u'=\langle a' | b' \rangle (a,a',b,b' \in F_2^n)$ ， $n$ 和 $u^{'}$ 的 辛内积 定义为
$(u,u')_s=a \cdot b' + a' \cdot b= \left( \begin{matrix} a & b \end{matrix} \right) \left[ \begin{matrix} 0 & I_n \\ I_n & 0 \end{matrix} \right] \left[ \begin{matrix} a' \\ b' \end{matrix} \right]= \sum(a_ib_i'+a_i'b_i) \in F_2$

当 $(u, u^{'}) = 0$ 时，称 $u$ 和 $u^{'}$ 是 辛正交 的。对于 $F_2^{2n}$ 的每个向量子空间 $C$ ，
$(C_s^\bot)=\{u \in F_2^{2n} \ | \ (u,c)_s=0, \forall c \in C \}$

也是 $F_2^2n$ 的向量子空间，叫做 $C$ 的 辛对偶子空间 。如果 $\subseteq (C_s^\bot)$ （即 $C$ 中任何两个向量均辛正交），称 $C$ 为 $F_2^{2n}$ 的 辛自正交子空间 。由线性代数可以知道：
$C+dim(C)_s^\bot = 2n$

对于 $E_n$ 中两个错误算子 $e=i^\lambda X(a)Z(b)$ 和 $e'=i^{\lambda '} X(a')Z(b')$ ，则 $\overline{e}=\langle a|b\rangle,\overline{e}'=\langle a'|b'\rangle$ ，又因为当 $a\cdot b'+a' \cdot b=0$ 时 $e$ 和 $e^{'}$ 是可交换的，所以有以下重要的结论：

定理：

当且仅当 $G$ 在 $\overline{E}_n=F_2^{2n}$ 中的象 $\overline{G}$ 是辛正交子空间时， $E_n$ 的子群 $G$ 是交换群。

这个结果在构造量子码时起到了重要作用。

对于一个错误算子 $e=i^\lambda w_1\otimes w_2 \otimes \cdots \otimes w_n \in E_n$ ，当 $w_i \in I_2$ 时，表示第 $i$ 个量子位没有错误作用。而当 $w_i = \sigma_x ,\sigma_x,\sigma_y$ 时，表示第 $i$ 个量子位有错误作用。我们用 $w_Q(e)$ 表示 $e$ 中有错误作用的量子位个数，叫做 $e$ 的量子权，即
$w_Q(e)=\#\{ i | 1 \leq i \leq n,w_i \neq I_2\}$

如果 $e=i^\lambda X(a)Z(b) \ \ \ \ \ a=(a_1,\cdots,a_n)\in F_2^n ,b=(b1,\cdots,b_n) \in F_2^n$ ，当且仅当 $a_i,b_i)=(0,0)$ 时 $w_i=I_2$ ，因此
$w_Q(e)=\#\{ i | 1 \leq i \leq n,(a_i,b_i) \neq (0,0)\}$

由于 $\overline{e}=\langle a|b\rangle \in F_2^{2n}$ ，在 $F_2^{2n}$ 中引入与经典 Hamming 权不同的量子权：
$w_Q\langle a|b\rangle=w_Q(\overline{e})=\#\{ i | 1 \leq i \leq n,(a_i,b_i) \neq (0,0)\}$

则 $w_Q(e)=w_Q(\overline{e})$

定义错误作用群的子集合（对于 $\leq l \leq n$ ）
$E_n(l)=\{e\in E_n | w_Q(e) \leq l\}$

$\overline{E}_n(l)=\{\overline{e}\in \overline{E}_n | w_Q(\overline{e}) \leq l\}$

则
$E_n(l)=4*\sum_{i=0}^l3' \left( \begin{matrix} n \\ i \end{matrix} \right) ,\overline{E}(l)=\frac{1}{4}E_n(l)$

设 $Q$ 是码长为 $n$ 的量子吗（即 $Q$ 为 $C^{2n}$ 中的一个复向量子空间），称 $Q$ 可以纠正小于 $l$ 位错误，是指对任何 $\in E_n(l)$ 和 $(|v\rangle ,|v'\rangle) \in Q$ ，如果 $\langle v| v'\rangle=0$ ，则 $\langle v| ee' |v'\rangle=0$ 。

显然，有不等式 $w_H(ee’) \leq w_H(e)+w_H(e')$ ，便可得到与经典情形类似的量子纠错码基本结果：

定理：

最小距离为 $d$ 的量子码 $Q$ 可以纠正 $\leq \left[ \begin{matrix} \frac{d-1}{2} \end{matrix} \right]$ 个量子位的错误。

同样，我们也可以用量子码 $Q$ 的 3 个基本参数：码长 $n$ ，维数 $K$ （或用 $k=\log_2K$ ），和最小距离 $d$ 来将这个量子码表示位 $((n, K, d))$ （或 $[[n, k, d]]$ ）。好的量子码也是要求 $\frac{k}{n}$ 和 $k$ 很大，它们之间也有一些界：

定理

若存在参数为 $[n, k, d]$ 的 $q$ 元纠错码，则

（i）(量子 Hamming 界) ：Q是纯量子码，则
$2^{n-k}\geq \sum_{i=0}^{ [\frac{d-1}{2}]} (3)^i \left( \begin{matrix} n \\ i \end{matrix} \right)$

其中 $\left( \begin{matrix} n \\ i \end{matrix} \right)$ 表示从 $n$ 个物体中取 $i$ 个的组合。

（ii）(量子 Singleton 界) ：若 $d\leq\frac{n}{2}-1$ ，则 $\geq k+2d-2$

(量子 Gilber - Varshamov 界) ：如果 $\geq1$ ， $\leq d \leq n$ ，并且
$2^{n-k}-1 \geq \sum_{i=0}^{ [\frac{d-1}{2}]} (3)^i \left( \begin{matrix} n \\ i \end{matrix} \right)$

则必存在参数为 $[[n, k, d]]$ 的量子码。

纯量子码是指对 $\overline{E}_n(d-1)$ 中元素 $\overline{e} \neq I_2$ 和任意 $|v\rangle,|v'\rangle \in Q$ ，均有 $\langle v| e |v'\rangle=0$ 。

一个量子码 $Q = [[n, k, d]]$ 叫做是 $M D S$ 码，是指它达到量子 Singleton 界，即 $n = k + 2 d - 2$ 。如果 $Q$ 是纯量子码并且达到量子 Hamming 界，即
$2^{n-k}\geq \sum_{i=0}^{ [\frac{d-1}{2}]} (3)^i \left( \begin{matrix} n \\ i \end{matrix} \right)$

则 $Q$ 叫做是 完全量子码。

4.CRSS 量子码构建的数学描述

这里介绍 Calderbamk，Rains，Shor 和 Sloane 在 1998 年提出的一种构造量子码的系统方法，他们的结果如下：

定理：

设 $C$ 是 $F_2^{2n}$ 中的辛自交线性码（即 $C$ 为 $F_2^{2n}$ 的线性子空间并且 $\subseteq(C)_s^\bot$ ）， $\leq k \leq n)$ ，则存在参数 $[[n, k, d]]$ 的量子码，其中
$\geq min\{ w_Q(c) \ \ |\ \ \ c\in \frac{(C)_s^\bot）}{C} \}$

定理：

如果存在参数为 $[n, k, d]$ 的二元线性码 $C$ ，并且 $\supset (C)^\bot$ ，这里 $C^\bot$ 是经典纠错码中 $C$ 对于通常内积 $(u,v)=\sum_{i=1}^n u_i v_i$ 的对偶码。则存在参数为 $[[n, 2 k - n, d]]$ 的量子码。

定理：

如果存在二元线性码 $C_1$ 和 $C_2$ ，参数分别为 $n,k_1,d_1]$ 和 $n,k_2,d_2]$ ，并且 $C_1^\bot \subseteq C_2$ （于是 $n-k_1\leq k_2$ ，即 $\leq k_1 + k_2$ ），则存在参数为 $n,k_1+k_2-n,min\{d_1,d_2 \}]]$ 的量子码。

定理：

设 $C$ 和 $C^{'}$ 分别是参数 $[n, k, d]$ 和 $[n, k ’, d ‘]$ 的二元线性码，并且 $C^ \bot \subseteq C \subseteq C'$ （于是 $\geq k \geq n-k$ ）。如果 $\geq k+2$ ，则存在参数 $min\{ d, \frac{3}{2} d' \} ]]$ 的量子码。