[论文解读] Z2Z4Z8-Cyclic Codes

İsmail Aydoğdu, Fatmanur Gürsoy|arXiv (Cornell University)|Apr 24, 2017

Coding theory and cryptography被引用 3

一句话总结

本文引入并表征了 Z₂Z₄Z₈-加法码与 Z₂Z₄Z₈-循环码，扩展了 Z₂Z₄-加法码的理论。建立了生成矩阵与校验矩阵的标准形式，推导出循环码的生成多项式与生成集，并提出一种格雷映射以关联这些码与二元线性码。主要贡献在于为 Z₂Z₄Z₈-循环码构建了完整的代数框架，实现了显式构造，并通过格雷像展示了 [57,33,4] 二元码的实例。

ABSTRACT

In this paper we study Z2Z4Z8-additive codes, which are the extension of recently introduced Z2Z4-additive codes. We determine the standard forms of the generator and parity-check matrices of Z2Z4Z8-additive codes. Moreover, we investigate Z2Z4Z8-cyclic codes giving their generator polynomials and spanning sets. We also give some illustrative examples of both Z2Z4Z8-additive codes and Z2Z4Z8-cyclic codes.

研究动机与目标

• 将 Z₂Z₄-加法码的理论扩展至 Z₂Z₄Z₈-加法码，覆盖三个环：Z₂、Z₄ 与 Z₈。
• 确定 Z₂Z₄Z₈-加法码的生成矩阵与校验矩阵的标准形式。
• 通过生成多项式与生成集，定义并表征 Z₂Z₄Z₈-循环码。
• 建立从 Z₂Z₄Z₈-码到二元线性码的广义格雷映射。
• 提供加法码与循环码的说明性实例，包括一个 [57,33,4] 二元码。

提出的方法

• 将 Z₂Z₄Z₈ 定义为 Z₈-模，其运算为分量加法与 Z₈-数乘。
• 将 Z₂Z₄Z₈-加法码引入为 Z₂^α × Z₄^β × Z₈^θ 的子群，其类型由不变因子分类。
• 构造广义格雷映射 φ = (φ₁, φ₂)，将 Z₄ 映射至 Z₂²，Z₈ 映射至 Z₂⁴，以将 Z₂Z₄Z₈-码转换为二元码。
• 将 Z₂Z₄Z₈-循环码表征为环 R = Z₂[x]/⟨x^α−1⟩ × Z₄[x]/⟨x^β−1⟩ × Z₈[x]/⟨x^θ−1⟩ 中的理想。
• 通过多项式 x^n−1 的因式分解与各环上的理想结构，推导出生成多项式与生成集。
• 将格雷映射应用于循环码的生成元，得到参数为 [57,33,4] 的二元线性码。

实验结果

研究问题

• RQ1 Z₂Z₄Z₈-加法码的生成矩阵标准形式是什么？它如何由码的类型决定？
• RQ2 如何通过生成多项式与生成集，代数表征 Z₂Z₄Z₈-循环码？
• RQ3 Z₂Z₄Z₈-加法码的对偶码结构如何？它与原码有何关联？
• RQ4 广义格雷映射如何将 Z₂Z₄Z₈-码转换为二元线性码？其参数达到何种程度？
• RQ5 能否显式构造 Z₂Z₄Z₈-循环码的实例？其二元格雷像的参数是什么？

主要发现

• Z₂Z₄Z₈-加法码的生成矩阵标准形式由其类型 (α,β,θ;k₀;k₁,k₂;k₃,k₄,k₅) 完全表征，具有明确的分块结构。
• Z₂Z₄Z₈-加法码的校验矩阵由生成矩阵的标准形式导出，确保对偶性与纠错检测特性。
• Z₂Z₄Z₈-循环码是环 R = Z₂[x]/⟨x^α−1⟩ × Z₄[x]/⟨x^β−1⟩ × Z₈[x]/⟨x^θ−1⟩ 中的理想，其生成多项式由 x^n−1 的因式分解导出。
• Z₂Z₄Z₈-循环码的生成集由生成多项式 f(x)、g₁(x)、g₂(x) 与 r(x) 构成，其关系涉及 h_p(x)、h_q(x) 与 h₁(x)。
• Z₂Z₄Z₈-循环码的格雷像为二元线性码；在实例中，该码的格雷像为 [57,33,4] 二元码。
• 构造了一个显式实例，其生成矩阵为标准形式，其格雷像生成 [57,33,4] 二元码，验证了该构造方法的可行性与实用性。