[论文解读] Further Results on Homogeneous Two-Weight Codes

Thomas Honold|arXiv (Cornell University)|Jan 28, 2014

Coding theory and cryptography参考文献 8被引用 3

一句话总结

本文将有限域上线性双权码与强正则图之间的对应关系推广至有限Frobenius环上的模双权码。证明了此类码通过陪集结构诱导出强正则Cayley图，并构造了一个对偶码，其同样具备类似的双权与强正则图性质，从而将经典结果从有限域推广至更广泛的代数结构。

ABSTRACT

The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2]. Secondly, these codes are used to define a dual two-weight code and strongly regular graph similar to the classical case of projective linear two-weight codes over finite fields [3].

研究动机与目标

• 将已知的有限域上射影线性双权码与强正则图之间的对应关系，推广至有限Frobenius环上更广泛的码类。
• 建立非射影、模双权码在Frobenius环上通过其陪集结构生成强正则Cayley图的理论。
• 为模双权码定义对偶码，并证明该对偶码同样构成双权码，且具有关联的强正则图性质。
• 在Frobenius环的背景下，统一并推广经典关于双权码与部分差集的结果。

提出的方法

• 使用有限Frobenius环上的齐次权函数，该函数通过特征定义，并在单位乘法下保持不变。
• 引入模双权码作为射影双权码的推广，其特征为特定的权分布与非退化条件。
• 在商群 C/C₀ 上定义Cayley图 Γ(C)，其中顶点为陪集，邻接关系由齐次权 w₁ 决定。
• 应用齐次权的相关性质（公式4）计算Cayley图中公共邻居的数量。
• 将对偶码 C′ 定义为由权为 w₁ 的码字列构成的矩阵的列所生成的右线性码。
• 利用生成矩阵列空间 D 的结构，将对偶码与 (D, +) 中的部分差集联系起来。

实验结果

研究问题

• RQ1 能否将双权码与强正则图之间的对应关系，从有限域上的射影码推广至Frobenius环上的模双权码？
• RQ2 在何种条件下，Frobenius环上的模双权码会生成强正则Cayley图？
• RQ3 模双权码的对偶码是否继承双权码与强正则图的性质？
• RQ4 与模双权码及其对偶码相关联的强正则图的精确参数化是什么？
• RQ5 齐次权的性质与环的结构如何影响此类图的存在性及其参数？

主要发现

• 与有限Frobenius环上模双权码 C 相关联的Cayley图 Γ(C) 是强正则图，其参数可显式表示为 |C|、w₁、w₂ 与 n 的函数。
• 当且仅当 w₁ = n 时，图 Γ(C) 为平凡图，对应于权为 0 与 w₂ 的码字构成线性子码的情形。
• 若模双权码 C 的 C₀ = {0}，则其对偶码 C′ 也是模双权码，其权为 w₁′ = b₁w₁/n 与 w₂′ = (w₂ − n)|C|/(w₂ − w₁)。
• 对偶图 Γ(C′) 是强正则图，其参数为 N′ = |C|，K′ = n/r，λ′ = (2n − w₁ − w₂)/r + w₁w₂/(r²|C|)，μ′ = w₁w₂/(r²|C|)，其中 r 为列空间的秩。
• 若齐次双权码 C 满足 Ω = ∪gᵢR× 在其生成矩阵的列空间 D 中构成正则部分差集，且 Ω ∪ {0} 不是子模，则 C 与该集合等价。
• 条件 Ω ∪ {0} 不是子模，可确保 C 不是单权码；且 D ∖ Ω 是子模当且仅当 w₁ = n，这对应于图的平凡性。