[论文解读] On linear completely regular codes with covering radius $ ho=1$. Construction and classification

Joaquim Borges, Josep Rifà+1 more|arXiv (Cornell University)|Jun 2, 2009

Coding theory and cryptography参考文献 10被引用 4

一句话总结

本文表征了覆盖半径 $\rho=1$ 且最小距离 $d=1$ 或 $d=2$ 的线性完全正则码，证明其为完全对称。本文提供了这些码的完整分类与构造方法，扩展了已知的 $d=3$ 完美码结果。该工作填补了完全正则码分类中的空白，全面分析了覆盖半径 $\rho=1$ 的非完美情形。

ABSTRACT

Completely regular codes with covering radius $ ho=1$ must have minimum distance $d\leq 3$. For $d=3$, such codes are perfect and their parameters are well known. In this paper, the cases $d=1$ and $d=2$ are studied and completely characterized when the codes are linear. Moreover, it is proven that all these codes are completely transitive.

研究动机与目标

• 表征覆盖半径 $\rho = 1$ 且最小距离 $d = 1$ 或 $d = 2$ 的线性完全正则码，因为尽管 $d=3$ 的情形已有分类，但这些情形仍未被分类。
• 为这类码提供完整的构造方法，填补完全正则码理论中的空白。
• 证明所有覆盖半径 $\rho = 1$ 且 $d \leq 2$ 的线性完全正则码均为完全对称，从而扩展对这些码结构的理解。
• 建立覆盖半径 $\rho = 1$ 的线性完全正则码的完整分类，完成该类码的图景，超越已知的 $d=3$ 完美码。

提出的方法

• 作者使用代数与组合技术分析覆盖半径 $\rho = 1$ 且最小距离 $d = 1$ 或 $d = 2$ 的线性码的结构。
• 他们运用完全正则码理论，利用对偶码与权重分布的性质，推导出对码结构的约束。
• 完全对称性的证明依赖于自同构群在码字及其陪集上的作用分析，表明轨道在群作用下保持不变。
• 采用构造性方法，从已知的组合构型构建此类码，特别是利用对偶码的性质与覆盖半径条件。
• 通过将问题约化为在 $\mathbb{F}_2$ 上研究特定设计与线性系统，实现分类，利用关于二元码的已知结果。
• 作者利用 $d \leq 3$ 对于覆盖半径 $\rho = 1$ 的完全正则码成立的事实，聚焦于非完美情形 $d=1,2$，以获得完整表征。

实验结果

研究问题

• RQ1 覆盖半径 $\rho = 1$ 且最小距离 $d = 1$ 的线性完全正则码具有哪些结构与代数性质？
• RQ2 如何构造覆盖半径 $\rho = 1$ 且 $d = 2$ 的线性完全正则码，其定义参数为何？
• RQ3 所有覆盖半径 $\rho = 1$ 且 $d \leq 2$ 的线性完全正则码是否均为完全对称？若是，原因为何？
• RQ4 覆盖半径 $\rho = 1$ 的线性完全正则码的完整分类是什么？它们与已知的 $d=3$ 完美码有何不同？
• RQ5 当 $d=1$ 或 $d=2$ 时，线性码成为覆盖半径 $\rho = 1$ 的完全正则码的必要与充分条件是什么？

主要发现

• 所有覆盖半径 $\rho = 1$ 且最小距离 $d = 1$ 或 $d = 2$ 的线性完全正则码均为完全对称，即其自同构群在相同重量的码字集合上作用传递。
• 本文提供了此类码的完整分类，表明它们由覆盖半径与最小距离导出的参数与结构约束完全确定。
• 当 $d = 1$ 时，这些码等价于全空间 $\mathbb{F}_2^n$，其显然为完全正则且对称，且覆盖半径为 1。
• 当 $d = 2$ 时，这些码被表征为 $\mathbb{F}_2^n$ 的偶权子码，具有特定的对偶性质，以确保覆盖半径恰好为 1。
• 构造方法通过生成矩阵与对偶码上的线性代数条件生成所有此类码，确保所需的正则性与覆盖性质。
• 结果扩展了已知的完全正则码分类，通过解决 $\rho = 1$ 的非完美情形 $d=1,2$，完整补全了该类码的图景。