代数几何码:从理论到应用
1 代数几何码基础理论
代数几何码在编码理论中占据着重要地位。当满足条件 $\text{deg}(D - P_1 - \cdots - P_n) < 0$ 时,依据相关定理可知 $L(D - P_1 - \cdots - P_n) = {0}$,这表明 $f = 0$,且评估映射 $ev_P$ 的核为平凡核。由此可得出 $k = \text{deg}(D) + 1 - g$,同时定理中所给的矩阵是码 $C(X, P, D)$ 的生成矩阵。
若 $ev_P(f)$ 具有最小非零权重 $d$,那么对于某些 $n - d$ 个不同的指标 ${i_j | 1 \leq j \leq n - d}$,有 $f(P_{i_j}) = 0$。此时 $f \in L(D - P_{i_1} - \cdots - P_{i_{n - d}})$,由于 $f \neq 0$,根据定理可得 $\text{deg}(D - P_{i_1} - \cdots - P_{i_{n - d}}) \geq 0$,进而推出 $d \geq n - \text{deg}(D)$。
2 里德 - 所罗门码与代数几何码
以射影平面曲线 $X$(由 $z = 0$ 定义在 $F_q$ 上)为例,其点形如 $(x : y : 0)$,本质上构成射影直线。设 $P_{\infty} = (1 : 0 : 0)$,直线上有 $q$ 个 $F_q$ - 有理点,令 $P_0 = (0 : 1 : 0)$ 为其中一个 $F_q$ - 有理点,$P_1, \cdots, P_{q - 1}$ 为其余的点。
对于狭义里德 - 所罗门码,取 $n = q -