[论文解读] Z4-Linear Perfect Codes

Denis S. Krotov|ArXiv.org|Oct 1, 2007

Coding theory and cryptography参考文献 15被引用 21

一句话总结

本文对长度 $ n = 2^k \geq 16 $ 的 $\mathbb{Z}_4$-线性扩展完美码进行了完整分类，表明恰好存在 $\lfloor(k+1)/2\rfloor$ 个两两不等价的此类码，且所有码的最小距离均为 4。通过在 $\mathbb{Z}_4$ 上构造校验矩阵，证明了其不等价性基于秩的差异，并基于矩阵铺砌与和约束提出了一种递归归纳构造方法。

ABSTRACT

For every $n = 2^k > 8$ there exist exactly $[(k+1)/2]$ mutually nonequivalent $Z_4$-linear extended perfect codes with distance 4. All these codes have different ranks.

研究动机与目标

• 对长度 $n = 2^k \geq 16$ 的所有 $\mathbb{Z}_4$-线性扩展完美码进行完全分类，分类标准为等价性。
• 证明长度 $n = 2^k \geq 16$ 的 $\mathbb{Z}_4$-线性扩展完美码仅限于通过特定校验矩阵结构构造出的码。
• 通过证明其秩不同，建立这些码两两不等价。
• 提供一种归纳构造方法，用于从更小的基码递归生成所有此类码。
• 解决关于 $\mathbb{Z}_4$-线性完美码及扩展完美码的完整表征这一开放问题。

提出的方法

• 通过特定列模式的校验矩阵 $A^{r_1,r_2}$ 构造 $\mathbb{Z}_4$-线性扩展完美码：第一行为全 1，最后 $r_2$ 行仅含 0 和 2，其余 $r_1 - 1$ 行可取 $\{0,1,2,3\}$ 中的任意值。
• 利用坐标置换与符号变换，将任意 $\mathbb{Z}_4$-线性码转化为具有校验矩阵 $A^{r_1,r_2}$ 的规范形式，从而证明其与所构造码之一等价。
• 通过证明每个码 $\mathcal{C}^{r_1,r_2}$ 的秩为 $r_1 + r_2 + 1$，且由于 $r_1$ 和 $r_2$ 变化，秩亦随之变化，从而证明其不等价性。
• 通过乘积码定义归纳构造：对于具有校验矩阵 $A'$ 和 $A''$ 的码 $\mathcal{C}'$ 和 $\mathcal{C}''$，定义 $\mathcal{C} = \{ c \in \mathbb{Z}_4^{n'n''} \mid p'(c) \in \mathcal{C}',\ p''(c) \in \mathcal{C}'' \}$，其中 $p'$ 和 $p''$ 分别为列和与行和模 4。
• 验证所得码的大小为 $2^n / 2n$，最小距离为 4，且其校验矩阵符合所需的 $A^{r_1,r_2}$ 形式。
• 利用规范校验矩阵中所有列必须互异且满足首行全 1 与最后 $r_2$ 行仅含 0 和 2 的约束，证明构造的完备性。

实验结果

研究问题

• RQ1 对于长度 $n = 2^k \geq 16$，存在多少个两两不等价的 $\mathbb{Z}_4$-线性扩展完美码？
• RQ2 是否能通过构造方法对长度 $n = 2^k \geq 16$ 的所有 $\mathbb{Z}_4$-线性扩展完美码进行完全分类？
• RQ3 所构造的码是否具有不同的秩，且该性质能否用于证明其不等价性？
• RQ4 是否存在一种递归或归纳构造方法，可从更小的码生成所有此类 $\mathbb{Z}_4$-线性扩展完美码？
• RQ5 是否存在长度为 $n = 2^k$ 的 $\mathbb{Z}_4$-线性扩展完美码，其不等价于任何所构造的码？

主要发现

• 对于每个 $n = 2^k \geq 16$，恰好存在 $\lfloor(k+1)/2\rfloor$ 个两两不等价的 $\mathbb{Z}_4$-线性扩展完美码，其长度为 $n$，最小距离为 4。
• 这些码由其校验矩阵 $A^{r_1,r_2}$ 完全表征，该矩阵由所有高度为 $r_1 + r_2$ 的不同列构成，其中首位置为 1，最后 $r_2$ 个位置为 0 或 2，其余 $r_1 - 1$ 个位置为任意值。
• 这些码两两不等价，因为其秩不同：$\text{rank}(\mathcal{C}^{r_1,r_2}) = r_1 + r_2 + 1$，且 $r_1, r_2$ 为满足 $n = 2^{2r_1 + r_2 + 1}$ 的非负整数。
• 归纳构造（5）可生成所有此类码：从基码 $\mathcal{C}^{0,1}$ 和 $\mathcal{C}^{1,0}$ 出发，所有 $\mathbb{Z}_4$-线性扩展完美码均可通过列和与行和的约束递归构建。
• 该构造确保所得码的大小为 $2^n / 2n$，最小距离为 4，从而确认其为扩展完美码。
• 本文证明了除所构造的码外，不存在其他 $\mathbb{Z}_4$-线性扩展完美码，从而实现了完全分类。