[论文解读] Classification of a family of completely transitive codes

Neil I. Gillespie, Michael Giudici+1 more|arXiv (Cornell University)|Aug 2, 2012

Coding theory and cryptography参考文献 19被引用 5

一句话总结

本文对汉明图中一类完全传递码进行了分类，其自同构群在每个距离分划层级上作用传递，且在字母表置换上作用平凡。证明了当最小距离 ≥5 且在位置上作用忠实时，此类码存在的充要条件是码等价于长度 m ≥ 5 的二元重复码，其自同构群为对称群 Sm。

ABSTRACT

The completely regular codes in Hamming graphs have a high degree of combinatorial symmetry and have attracted a lot of interest since their introduction in 1973 by Delsarte. This paper studies the subfamily of completely transitive codes, those in which an automorphism group is transitive on each part of the distance partition. This family is a natural generalisation of the binary completely transitive codes introduced by Sole in 1990. We take the first step towards a classification of these codes, determining those for which the automorphism group is faithful on entries.

研究动机与目标

• 在汉明图 H(m,q) 中对完全传递码进行分类，要求自同构群在每个距离层级上作用传递，且在字母表元素上作用平凡。
• 确定哪些码满足完全传递性条件，且在位置上作用忠实，最小距离 δ ≥ 5。
• 通过分析其自同构群及群在元素上的作用，解析此类码的结构。
• 证明当 δ ≥ 5 且 |C| ≥ 2 时，唯一满足条件的码是二元重复码的等价形式。
• 在给定群作用约束下，对该子族实现完整分类。

提出的方法

• 以汉明图 H(m,q) 作为码的环境空间，顶点为 q 元字母表上的 m 元组。
• 应用群作用理论，重点关注自同构群 X ≤ Aut(H(m,q)) ≅ Sq ≀ Sm，特别是满足 X ∩ B = 1 的群，其中 B ≅ Sq^m 为基群。
• 使用距离分划 {C₀ = C, C₁, ..., Cρ}，并将 X-完全传递码定义为每个 Ci 均为 X-轨道的码。
• 应用置换群理论结果：2-传递作用意味着仿射型或几乎单型，并利用有限 2-传递群的分类。
• 通过引理 2.11 及涉及 m, r, n 的不等式估计群阶，排除不可能情形（如 PSL(n,r)、PSU(3,r)、Ree 群）。
• 应用完全正则码的结构性结果，包括码大小 |C| ≥ m+1 的界以及稳定化子 Xα 的性质。

实验结果

研究问题

• RQ1 在 H(m,q) 中，哪些完全传递码的自同构群在每个距离层级上作用传递，且在字母表元素上作用平凡？
• RQ2 当最小距离 δ ≥ 5 时，此类码的结构约束是什么？
• RQ3 非二元码能否满足完全传递性条件，且满足 X ∩ B = 1 与 δ ≥ 5？
• RQ4 当 δ ≥ 5 时，二元重复码是否是唯一满足这些条件的码？
• RQ5 自同构群必须具备哪些群论性质（如 2-传递性、几乎单型或仿射型）？

主要发现

• 在 H(m,q) 中，满足 X ∩ B = 1 且最小距离 δ ≥ 5 的 X-完全传递码，其唯一等价形式为二元重复码 Rep(m,2)。
• 对于此类码，自同构群 X 同构于 Sm，且在 m 个位置上作用忠实。
• 码大小 |C| = 2，最小距离 δ = m，此条件仅在 m ≥ 5 时成立。
• 所有其他候选群（如 PSL(n,r)、PSU(3,r)、Ree 群）均因阶数界限与群论约束被排除。
• 证明表明，若 X 不包含 Am，则必有 |C| = 2 且 δ = m，除非 X ≅ Sm，否则将导致矛盾。
• 在给定约束下，该分类是完整的：此类码族中除二元重复码外不存在其他码。