[论文解读] Cyclic Codes over Some Finite Rings

Murat Güzeltepe, Mehmet Özen|ArXiv.org|May 26, 2009

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

一句话总结

本文利用高斯整数和曼海姆度量，在有限环上建立了循环码，并提出了一种基于伴随式计算的译码算法。它展示了如何在 $\mathbb{Z}[i]/\langle\pi^2\rangle$ 和 $\mathbb{Z}[i]/\langle\pi_1\pi_2\rangle$ 上构造特定长度的循环码，其生成多项式为一次或二次，并通过曼海姆距离模型下的伴随式译码证明了其纠错能力。

ABSTRACT

In this paper cyclic codes are established with respect to the Mannheim metric over some finite rings by using Gaussian integers and the decoding algorithm for these codes is given.

研究动机与目标

• 将有限域上的线性分组码扩展到使用高斯整数和曼海姆度量的有限环。
• 为 $\mathbb{Z}[i]/\langle\pi^2\rangle$ 和 $\mathbb{Z}[i]/\langle\pi_1\pi_2\rangle$ 上指定长度的循环码开发系统化构造方法。
• 在有限环背景下，将伴随式译码技术适配到曼海姆度量，考虑其与有限域的结构差异。
• 证明在这些环上存在首一生成多项式为一次或二次的循环码。

提出的方法

• 使用高斯整数 $\mathbb{Z}[i]$ 及其商环 $G_\pi = \mathbb{Z}[i]/\langle\pi\rangle$，其中 $\pi = a+ib$ 为素数且满足 $p = a^2 + b^2 = 4n+1$。
• 定义曼海姆权重为 $w_M(\gamma) = |\operatorname{Reured}(\gamma)| + |\operatorname{Im}(\gamma)|$，曼海姆距离为 $d_M(\alpha,\beta) = w_M(\alpha - \beta \mod \pi)$。
• 应用群论结果：若 $g$ 是 $G_{\pi^k}^*$ 的生成元，则 $g^{\phi(p^k)/4} \equiv \pm i \mod \pi^k$。
• 通过一次或二次首一生成多项式构造循环码，其根来自方程 $x^{\phi(p^2)/4} \pm i \equiv 0 \mod \pi^2$。
• 采用伴随式译码：计算 $S = r(x) \mod g(x)$，利用查表法（如表 I、表 II）将伴随式映射到陪集首项，通过减去错误图案实现纠错。
• 利用 $G_{\pi^k}$ 与 $\mathbb{Z}_{p^k}$ 之间的同构关系，将有限域的代数结构转移到有限环上。

实验结果

研究问题

• RQ1 如何利用高斯整数和曼海姆度量在有限环上构造循环码？
• RQ2 在 $\mathbb{Z}[i]/\langle\pi^2\rangle$ 上，循环码在何种结构与代数条件下可存在特定长度？
• RQ3 在曼海姆加权码的背景下，从有限域转移到有限环时，译码过程有何不同？
• RQ4 在 $\mathbb{Z}[i]/\langle\pi_1\pi_2\rangle$ 上，一次或二次生成多项式是否能产生具有非零因子分量的有效循环码？
• RQ5 在 $G_{\pi^k}^*$ 中生成元的乘法阶在确定码长与结构方面起什么作用？

主要发现

• 在 $G_{\pi^2}$ 上存在长度为 $\phi(p^2)/4$ 和 $\phi(p^2)/2$ 的循环码，其首一生成多项式分别为一次和二次。
• 当 $p = 5$ 时，$G_{3+4i}$ 上的码长度为 10，生成多项式为 $g(x) = x^2 + (1-2i)x + (-2+i)$，且生成矩阵 $G$ 的行中不含零因子。
• 伴随式译码有效：在示例 1 中，接收向量含错误 $ix^3$，通过伴随式 $S \equiv ix^3$ 成功纠正，得到正确码字 $c = (-2+i, 1-2i, 1, 0, \dots)$。
• 在示例 2 中，$G_{\pi_1\pi_2}$ 上的码使用生成多项式 $g(x) = x - 3 - i$，伴随式 $1+4i \equiv x^2 \cdot i$ 识别出错误 $ix^2$，成功将 $r(x)$ 译码为 $c(x) = x - 3 - i$。
• 陪集首项表（表 II）确认，伴随式 $1, 3+i, 4-i, 2-2i$ 分别对应错误图案 $1, x, x^2, x^3$，从而实现系统化译码。
• 同构关系 $G_{\pi_1\pi_2}^* \cong G_{\pi_1}^* \times G_{\pi_2}^*$ 确保了乘法群的生成元存在，从而支持在复合模数上构造循环码。