信道编码基础（生成校验矩阵、码的个数、循环码）

1. 有限域

1.1 有限域的characteristic。
对于一个有限域$F$，记它的单位元为$e$，则存在一个最小整数$p$，使得
$$\underset{p\text{个}}{\underbrace{e+e+\cdots +e}}=0,$$则称$p$是$F$的characteristic。
$■$

1.2 一个有限域的characteristic一定是质数（prime）。
$■$

1.3 一个有限域的大小一定是characteristic的幂次（power），即$|F|=p^a$，其中$a$是一个正整数。
$■$

举例，一个有限域$GF(2^7)$的characteristic是2，有限域元素个数为$2^7$，是characteristic的幂次。

1.4 考虑一个有限域$F$及其characteristic $p$，则对任意两个$F$中的元素有
$$(a+b{)}^p=a^p+b^p.$$
证明：
先利用二项公式打开括号，得到
$$(a+b{)}^p=\sum _{i=0}^p{C}_p^i{a}^i{b}^{p-i}=a^p+b^p+\sum _{i=1}^{p-1}{C}_p^i{a}^i{b}^{p-i}.$$当$1\le i\le p-1$时，
$$C_p^i=\frac{p!}{(p-i)!i!}.$$因为$p$是一个质数，因此上式中分母部分没有因子$p$，所以$C_p^i$必然是$p$的倍数，这意味着$C_p^i{a}^i{b}^{p-i}=0$。综上，有
$$(a+b{)}^p=a^p+b^p.$$
$■$

1.5 利用1.4很容易得到
$$(a_1+a_2+\cdots +a_n{)}^{p^k}=a_1^{p^k}+a_2^{p^k}+\cdots +a_n^{p^k}.$$其中$a_i\in F$，$p$是$F$的characteristic，$k$是正整数。

$■$

1.6 考虑将1.4推广至多项式形式。假设$a$和$b$是两个$F$中的元素，并且$p$是$F$的characteristic，则
$$(ax+by{)}^p=a^p{x}^p+b^p{y}^p.$$
证明：
由1.4的证明可知
$$(ax+by{)}^p=a^p{x}^p+b^p{y}^p+\sum _{i=1}^{p-1}{C}_p^i{a}^i{x}^i{b}^{p-i}{y}^{p-i}.$$因为$C_p^i$是$p$的倍数，所以
$$C_p^i{a}^i{x}^i{b}^{p-i}{y}^{p-i}=0.$$
$■$

1.7 考虑一个多项式
$$f(x)=f_0+f_{1}x+f_2{x}^2+\cdots +f_n{x}^n,$$其中$f_i\in F$.记$F$的characteristic为$p$，对于正整数$k$，有
$$f^{p^k}(x)=f(x^{p^k}).$$
因此对于一个有限域GF($p^n$)，有
$$f^{p^n}(x)=f(x^{p^n}).$$
$■$

1.8 不可约多项式：
一个$F$上的多项式如果不能被另一个次数小于自己且大于0的$F$上的多项式整除，则称该多项式为不可约多项式（irreducible polynomial）。
$■$

1.9 最小多项式：
考虑一个有限域GF($q$)及其扩域GF($q^m$)，记$\beta$是GF($q^m$)中的一个元素。考虑等式
$${\beta }^{q^k}=\beta ,$$记$d$为满足该等式的最小正整数。则$\beta$在GF($q$)上的最小多项式为
$$\prod _{i=1}^{d-1}(x-{\beta }^{q^i}).$$
$■$

1.10 设$\beta$是GF($q^m$)上的元素，$\varphi (x)$使其在GF($q$)上的最小多项式，则：

• 显然$\varphi (\beta )=0$
• 可以证到$\varphi (x)$是拥有根$\beta$的次数最小的GF($q$)上的多项式（最小多项式名称的由来）。
• $\varphi (x)$是不可约的（如果可约则有更低次多项式有根$\beta$）。
  $■$

2. 生成矩阵与校验矩阵

2.1
生成矩阵和校验矩阵均是行满秩的。
$■$

2.2 记一个线性码的最小距离为$d$，则：

• 其校验矩阵$H$存在$d$列线性相关，每$d-1$列线性无关
• 生成矩阵$G$的每$n-d+1$列无关

$■$

2.3 记一个MDS码的最小距离为$d$，则：

• 其校验矩阵$H$的每$n-k$列线性无关
• 生成矩阵$G$的每$k$列无关

$■$
2.4 MDS码的对偶码也是MDS码。
$■$

3. Syndrome decoding

考虑一个基于有限域$F$的$(n,k)$线性码，将其码字全部列出，记为一个陪集（coset）。在向量空间$F^n$中除去该线性码的向量中选择重量最小的，与线性码的码字相加，得到新的向量，组成一个新的陪集。继续在$F^n$的还没使用的向量中找重量最小的向量，与线性码的码字相加，得到一组新的向量，即一个新的陪集。重复这样的操作知道整个向量空间的向量全部被找出。

上图给了一个陪集的例子，第一行是一个线性码的所有码字，组成一个陪集。在组建第二行的陪集时，在第一行之外的向量中找到重量最小的向量00100，加到第一行上，得到新的陪集。重复操作得到所有向量。
syndrome decoding将先计算接收到的向量的校正子
$$s=\mathbf{y}{H}^T.$$如果通过校正子找到对应的陪集，陪集首被认为就是错误向量。
$■$

4. 汉明码与循环码

4.1 二元汉明码的定义。
考虑大小为$m\times (2^m-1)$的校验矩阵$H$，他由$2^m-1$个GF(2)上的非零列向量组成。该校验矩阵对应一个汉明码，最小距离为$d=3$。
$■$

4.2 非二元汉明码的定义。
考虑有限域GF($q$)，和一个GF($q$)上的大小为$m\times \frac{q^m-1}{q-1}$的校验矩阵$H$，他由$\frac{q^m-1}{q-1}$个GF($q$)上的非零列向量组成，并且任意两个列向量不为倍数关系。该校验矩阵对应一个非二元汉明码，最小距离为$d=3$。
对于GF($q$)上的非零列向量，乘上一个非零元素可以得到一个新的列向量，把这些列向量看做一组。因此一个GF($q$)上的长度为$m$的列向量一共有$\frac{q^m-1}{q-1}$组，非二元汉明码的校验矩阵的每一列对应一组。
$■$

4.3 循环码的任意码字循环移位仍是该循环码的一个码字。
$■$

4.4 一个$(n,k)$循环码可以用一个次数为$n-k$的生成多项式$g(x)$表示。记消息多项式为$m(x)$，其次数为$k-1$，则$(n,k)$循环码的码字多项式为
$$c(x)=m(x)g(x).$$
$■$

4.5 如何得到一个循环码的生成多项式？
考虑有限域GF($q$)，则基于GF($q$)的多项式$x^n-1$有若干因式，每一个因式就是一个循环码的生成多项式，即每一个因式对应一个循环码。
$■$

4.6 一个生成多项式为
$$g(x)=g_0+g_{1}x+\cdots +g_{n-k}{x}^{n-k}$$的生成多项式为

他是生成多项式的系数向量移位得到的。
$■$

4.7 根据4.5可知一个循环码的生成多项式整除$x^n-1$，记
$$h(x)=\frac{x^n-1}{g(x)}.$$则$h(x)$称为该循环码的校验多项式。记
$$h(x)=h_0+h_{1}x+\cdots +h_k{x}^k,$$则该循环码的校验矩阵为

$■$

4.8 一个生成多项式为$g(x)$的循环码的校验多项式为$h(x)=\frac{x^n-1}{g(x)}$，他的反多项式（reciprocal polynomial）记为
$$\tilde{h}(x)=x^{k}h(x^{-k})=h_k+h_{k-1}x+\cdots +h_0{x}^k,$$该反多项式是该循环码的对偶码的生成多项式，即该对偶码也是一个循环码，并且该对偶码的生成矩阵为4.7中的校验矩阵。
$■$

5. 码的个数

5.1 有限域$F_q$上的一个行满秩的大小为$m\times n$的矩阵的个数为
$$\prod _{i=0}^{m-1}(q^n-q^i).$$逐行构建，每一行不能是之前行的线性组合。
$■$

5.2 给定一个$(n,k)$线性码，其生成矩阵的个数为
$$\prod _{i=0}^{k-1}(q^k-q^i).$$逐行构建，每一行不能是之前行的线性组合，并且行向量的总数为$2^k$。
$■$

5.3 根据5.1 和5.2 ，有限域$F_q$上的$(n,k)$的线性码的个数为
$$\frac{{\prod }_{i=0}^{m-1}(q^n-q^i)}{{\prod }_{i=0}^{k-1}(q^k-q^i)}=\frac{(q^n-1)(q^{n-1}-1)\cdots (q^{n-k+1}-1)}{(q^k-1)(q^{k-1}-1)\cdots (q-1)}.$$
$■$

5.4 二元汉明码的所有校验矩阵个数为
$$n!.$$给定一个二元汉明码，其校验矩阵个数为
$$\prod _{i=0}^{m-1}(q^m-q^i).$$因此二元汉明码的个数为
$$\frac{n!}{{\prod }_{i=0}^{m-1}(q^m-q^i).}$$
$■$

5.5 非二元汉明码的所有校验矩阵个数为
$$(q-1{)}^{n}n!.$$这里的$(q-1{)}^n$是因为每一列都可以乘上一个非零的其他元素得到一个新的列。给定一个非二元汉明码，其校验矩阵个数为
$$\prod _{i=0}^{m-1}(q^m-q^i).$$因此二元汉明码的个数为
$$\frac{(q-1{)}^{n}n!}{{\prod }_{i=0}^{m-1}(q^m-q^i).}$$
需要注意非二元汉明码的码长为$n=\frac{q^m-1}{q-1}$.
$■$

5.5 一个$F_q$上的循环码的个数与$F_q$上的多项式$x^n-1$的因式的个数相同。
$■$

参考文献

[1] Roman S . Coding and information theory，1992。
[2] 林舒，差错控制编码。