[论文解读] On Octonary Codes and their Covering Radii

Manoj K. Raut, Manish K. Gupta|arXiv (Cornell University)|Nov 7, 2014

Coding theory and cryptography被引用 6

一句话总结

本文提出了 ℤ₈ 上线性八元码的新约化与扭结码，并为若干关键码族（包括重复码、单纯形码（α 型与 β 型）、MacDonald 码、Reed-Muller 码及八元码）建立了覆盖半径的界。研究将 ℤ₄ 上的结果扩展至 ℤ₈，针对同质权给出了精确值与紧致界，主要发现包括：r_HW(Sₖ^α⊥) = 1 且当 m 为偶数时 r_HW(R¹,ᵐ⁻²) = 2^{m−1} − 2^{m/2−1}。

ABSTRACT

This paper introduces new reduction and torsion codes for an octonary code and determines their basic properties. These could be useful for the classification of self-orthogonal and self dual codes over $\mathbb{Z}_8$. We also focus our attention on covering radius problem of octonary codes. In particular, we determine lower and upper bounds of the covering radius of several classes of Repetition codes, Simplex codes of Type $α$ and Type $β$ and their duals, MacDonald codes, and Reed-Muller codes over $\mathbb{Z}_8$.

研究动机与目标

• 为 ℤ₈ 上的八元码开发新的约化与扭结码，以辅助自正交码与自对偶码的分类。
• 将 ℤ₄ 上的覆盖半径结果扩展至 ℤ₈，特别是针对非二元结构的码。
• 确定重复码、单纯形码（α 与 β 型）、MacDonald 码、Reed-Muller 码及八元码在 ℤ₈ 上的覆盖半径的下界与上界。
• 建立在同质权度量下覆盖半径的精确值与紧致界。
• 探索约化/扭结码与原始八元码之间的结构性关系。

提出的方法

• 通过 ℤ₈ 到 ℤ₂ 与 ℤ₄ 的同态定义约化与扭结码，保持码的性质（如自正交性与自对偶性）。
• 利用广义格雷映射 φ: ℤ₈ⁿ → ℤ₂⁴ⁿ 将八元码与二元码关联，并转移已知结果。
• 采用 ℤ₈ 上生成矩阵的标准形式分析码类型 {k₀, k₁, k₂}，并推导其结构性质。
• 通过递归构造与删减技术，从 ℤ₈ 上的单纯形码定义 MacDonald 码。
• 利用 ℤ₄ 上覆盖半径的已知结果，并通过特定权值的界将其扩展至 ℤ₈。
• 应用同质权函数 w_HW(x) = 2（若 x ≠ 4），w_HW(x) = 4（若 x = 4）计算距离并推导覆盖半径界。

实验结果

研究问题

• RQ1 从 ℤ₈ 上的八元码导出的约化与扭结码具有哪些结构性与代数性质？
• RQ2 在同质权度量下，重复码、单纯形码（α 与 β 型）及其对偶码在 ℤ₈ 上的覆盖半径如何比较？
• RQ3 MacDonald 码在 ℤ₈ 上的覆盖半径是否存在精确或紧致界？
• RQ4 在同质权下，ℤ₈ 上的一阶 Reed-Muller 码 R¹,ᵐ⁻² 的覆盖半径是多少？
• RQ5 八元码在 ℤ₈ 上的最小覆盖半径是多少？

主要发现

• 在同质权下，ℤ₈ 上 α 型单纯形码对偶码的覆盖半径恰好为 1：r_HW(Sₖ^α⊥) = 1。
• 在同质权下，ℤ₈ 上 β 型单纯形码对偶码的覆盖半径恰好为 2：r_HW(Sₖ^β⊥) = 2。
• 当 m 为偶数时，ℤ₈ 上的一阶 Reed-Muller 码 R¹,ᵐ⁻² 的同质权覆盖半径恰好为 2^{m−1} − 2^{m/2−1}。
• 在同质权下，ℤ₈ 上八元码的覆盖半径至少为 6：r_HW(C) ≥ 6。
• 在 ℤ₈ 上，MacDonald 码的覆盖半径满足 r_E(Mₖ,ᵤ^α) ≤ 6(8ᵏ − 8ʳ) + r_E(Mᵣ,ᵤ^α)，其中 u < r ≤ k。
• 通过生成矩阵分析与对偶性性质，证明了 ℤ₈ 上的单纯形码 Sₖ^α 与 Sₖ^β 是自正交的。