[论文解读] Z2Z4-additive cyclic codes, generator polynomials and dual codes

Joaquim Borges, Cristina Fernández-Córdoba+1 more|arXiv (Cornell University)|Jun 17, 2014

Coding theory and cryptography参考文献 6被引用 25

一句话总结

本文通过在 Z₂[x]/(x^α−1) 和 Z₄[x]/(x^β−1) 上使用生成多项式，对 Z₂Z₄-加法循环码进行了表征，利用 Hensel 提升和基于最大公因数的构造方法，推导出其对偶码生成多项式的显式公式。主要贡献在于建立了一个完整的代数框架，用于计算此类循环码的对偶码，从而实现对自对偶码和 MDS 码的系统化构造与分析。

ABSTRACT

A ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive code ${\cal C}\subseteq{\mathbb{Z}}_2^α imes{\mathbb{Z}}_4^β$ is called cyclic if the set of coordinates can be partitioned into two subsets, the set of ${\mathbb{Z}}_2$ and the set of ${\mathbb{Z}}_4$ coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. These codes can be identified as submodules of the $\mathbb{Z}_4[x]$-module $\mathbb{Z}_2[x]/(x^α-1) imes\mathbb{Z}_4[x]/(x^β-1)$. The parameters of a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive cyclic code are stated in terms of the degrees of the generator polynomials of the code. The generator polynomials of the dual code of a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive cyclic code are determined in terms of the generator polynomials of the code ${\cal C}$.

研究动机与目标

• 建立基于多项式的 Z₂Z₄-加法循环码在 Z₂^α × Z₄^β 上的代数框架。
• 根据原码生成多项式的表达，确定 Z₂Z₄-加法循环码对偶码的生成多项式。
• 利用 Hensel 提升和 Z₂ 上的多项式因式分解，提供对偶码生成多项式的显式公式。
• 通过代数参数化，实现对自对偶码和 MDS Z₂Z₄-加法循环码的构造。
• 通过统一 Z₂Z₄-加法码在循环不变性下的结构，推广已知的二元码和 Z₄-循环码结果。

提出的方法

• 将 Z₂Z₄-加法循环码表示为 Z₄[x]-模 Z₂[x]/(x^α−1) × Z₄[x]/(x^β−1) 的子模。
• 使用生成多项式 b(x), ℓ(x), f(x), h(x)，使得在 Z₄[x] 中有 x^β−1 = fgh，且 b, ℓ ∈ Z₂[x]。
• 应用 Hensel 提升，将多项式从 Z₂[x] 提升到 Z₄[x]，以构造对偶码的生成多项式。
• 通过涉及最大公因数和模逆的公式推导对偶码生成多项式：b* = (gcd(b,ℓ))*, ℓ* = (b*)⁻¹ mod (b*/gcd(b,ℓg)*), 等等。
• 利用 Z₂×Z₄ 上的标准内积定义对偶性，并验证生成集的正交性。
• 利用 Z₂Z₄-加法码与 Z₂^γ × Z₄^δ 之间的同构关系，计算码参数并验证自对偶性。

实验结果

研究问题

• RQ1 如何基于原码生成多项式，代数表征 Z₂Z₄-加法循环码对偶码的生成多项式？
• RQ2 在何种条件下 Z₂Z₄-加法循环码是自对偶的？此类码如何系统化构造？
• RQ3 能否利用多项式生成结构和 Singleton 不等式，表征 MDS Z₂Z₄-加法循环码？
• RQ4 Hensel 提升和基于最大公因数的多项式约化在混合环上对偶码构造中起什么作用？
• RQ5 Z₂Z₄-加法循环码的参数 (α, β; γ, δ; κ) 如何与生成多项式的次数及其因式分解相关联？

主要发现

• Z₂Z₄-加法循环码 C = ⟨(b|0), (ℓ|fh+2f)⟩ 的对偶码显式给出为 C⊥ = ⟨(b̄|0), (ℓ̄|f̄h̄+2f̄)⟩，其中 b̄, ℓ̄, f̄, h̄ 通过 Hensel 提升和基于最大公因数的公式导出。
• 对偶码的生成多项式 b̄ 为 b̄ = (x^α−1)/gcd(b,ℓ)*，在 Z₂[x] 中，确保对偶码的二进制分量正确。
• 对偶码的 Z₄-分量生成多项式 f̄h̄ 是 (x^β−1)·gcd(b,ℓg)* / (f*b*) 在 Z₂[x] 中的 Hensel 提升，从而实现对偶码的系统化构造。
• 对偶码的 ℓ̄ 生成多项式通过模逆计算：ℓ̄ = (x^α−1)/b* · [ (gcd(b,ℓg)*/gcd(b,ℓ)*)·x^{m−deg(f)}·μ₁ + (b*/gcd(b,ℓg)*)·x^{m−deg(fh)}·μ₂ ]，在 Z₂[x] 中。
• 码 C₁ = ⟨(x−1| x²+x+1+2)⟩ 类型为 (3,3;2,1;2)，其对偶码 C₁⊥ = ⟨(x²+x+1|0), (x| (x−1)+2(x−1))⟩ 类型为 (3,3;1,2;1)，验证了对偶公式。
• 当 α 为偶数、β 为奇数、b = x^{α/2}−1、ℓ=0、f=1、h=x^β−1 时，存在一个无限族自对偶 Z₂Z₄-加法循环码，类型为 (α,β; β+α/2, 0; α/2)。