[论文解读] THE CONDITION FOR A CYCLIC CODE OVER Z 4 OF ODD LENGTH TO HAVE A COMPLEMENTARY DUAL

Seth Gannon, Hamid Kulosman|arXiv (Cornell University)|Jan 1, 2019

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

一句话总结

本文建立了在奇数长度下，Z4 上循环码为互补对偶（LCD）码的充要条件：当且仅当该码由 Z4[X] 中 X^N − 1 的一个自反首一因子生成时，其为 LCD 码。该结果将经典有限域上 LCD 码的刻画推广至环 Z4，利用了先前研究中的唯一分解与亏格大小公式，在量子编码理论与码设计中具有应用价值。

ABSTRACT

We show that a necessary and sufficient condition for a cyclic code C over Z4 of odd length to be an LCD code is that C=(f(x)) where f is a self-reciprocal polynomial in Z4[X].

研究动机与目标

• 将有限域上 LCD 码的刻画扩展至环 Z4，特别是针对奇数长度的循环码。
• 确定 Z4 上循环码为 LCD 码的精确代数条件。
• 利用 Z4 上已有的因式分解定理与亏格大小公式，推导出 LCD 码的清晰、结构性判据。

提出的方法

• 利用定理 1.1 将任意奇数长度 N 的 Z4 上循环码 C 表示为 C = (f(x)g(x), 2f(x))，其中 f, g, h 为唯一首一多项式，且满足 fgh = X^N − 1。
• 应用定理 1.2 计算亏格 Hull(C) = C ∩ C⊥ 的大小，得到 |Hull(C)| = 4^{deg(H)} · 2^{deg(G)}，其中 H 与 G 由 f*, h 与 f 的最大公因式和最小公倍式定义。
• 通过推导 gcd(h, f*) = 1 与 lcm(f, h*) = X^N − 1，分析 |Hull(C)| = 1（等价于 C 为 LCD 码）的条件。
• 利用因子集（Fact(f), Fact(g), Fact(h), Fact(h*)) 的不相交性与并集性质，推导出 g 必须为 1，从而得出 C = (f(x))。
• 在 g = 1 且 h = X^N − 1 / f 时，由对偶性与因式分解约束，证明 f 必须为自反多项式。
• 验证逆命题：若 f 为自反多项式，则 C = (f(x)) 为 LCD 码，因为定理 1.2 中 H(X) = 1 且 G(X) = 1，故 |Hull(C)| = 1。

实验结果

研究问题

• RQ1 Z4 上奇数长度的循环码为 LCD 码的必要且充分条件是什么？
• RQ2 X^N − 1 在 Z4[X] 中的因式分解结构如何影响循环码的亏格大小与 LCD 性质？
• RQ3 有限域上 LCD 码的刻画能否推广至环 Z4，特别是对奇数长度的循环码？

主要发现

• 在奇数长度 N 下，Z4 上的循环码 C 为 LCD 码，当且仅当 C = (f(x))，其中 f(X) 是 Z4[X] 中 X^N − 1 的一个自反首一因子。
• 当且仅当 g(X) = 1 且 f(X) 为自反多项式时，|Hull(C)| = 1，即码由自反多项式生成。
• 当 f 为自反多项式且 g = 1 时，h(X) = X^N − 1 / f(X) 也为自反多项式，从而确保 LCD 码的对偶性条件。
• 在 Z4 上长度为 N 的循环 LCD 码的数量为 2^{nsrf}，其中 nsrf 是对 N 的因子 n 求和，涉及 ϕ(n)/ord_{Z_n^*}(2)（对良对 (n,2)）与该值的一半（对劣对）。
• 当 N = 7 时，循环 LCD 码为 (1)、(g11)、(f17 f17*) 与 (0)，分别对应于 Z4[X] 中 X^7 − 1 的自反因子。
• 该刻画依赖于 [3] 中建立的 X^N − 1 在 Z4[X] 中的唯一因式分解为自反因子与互逆因子对，以及定理 1.2 中的亏格大小公式。