[论文解读] On the Lattice of Cyclic Linear Codes Over Finite Chain Rings

Alexandre Fotue Tabue, Christophe Mouaha|arXiv (Cornell University)|Jan 30, 2017

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

一句话总结

该论文在 $\gcd(\ell, q) = 1$ 的条件下，利用 $q$-循环陪集，为有限链环上的自由循环线性码构建了迹表示，并研究了此类码的格结构 $\langle \text{Cy}(R,\ell); +, \cap \rangle$。它建立了汉明距离的下界，并在 $q$ 为偶数时构造了 MDS 和自正交码，将经典有限域结果推广至链环。

ABSTRACT

Let $ exttt{R}$ be a commutative finite chain ring of invariants $(q,s).$ In this paper, the trace representation of any free cyclic $ exttt{R}$-linear code of length $\ell,$ is presented, via the $q$-cyclotomic cosets modulo $\ell,$ when $ exttt{gcd}(\ell, q) = 1.$ The lattice $\left( exttt{Cy}( exttt{R},\ell), +, \cap ight)$ of cyclic $ exttt{R}$-linear codes of length $\ell,$ is investigated. A lower bound on the Hamming distance of cyclic $ exttt{R}$-linear codes of length $\ell,$ is established. When $q$ is even, a family of MDS and self-orthogonal $ exttt{R}$-linear cyclic codes, is constructed.

研究动机与目标

• 将循环线性码理论从有限域推广至有限链环，特别是在 $\gcd(\ell, q) = 1$ 的条件下。
• 利用 $q$-循环陪集，为自由循环 $R$-线性码构建基于迹的表示。
• 研究有限链环上循环码的代数格结构 $\langle \text{Cy}(R,\ell); +, \cap \rangle$。
• 为循环 $R$-线性码的最小汉明距离建立下界。
• 在 $q$ 为偶数时，构造 MDS 与自正交循环码族。

提出的方法

• 利用多项式表示 $\Psi: \mathbb{R}^\ell \to \mathbb{R}[X]/(X^\ell - 1)$，将循环码与商环中的理想对应起来。
• 采用模 $\ell$ 的 $q$-循环陪集，对有限链环上自由循环码的迹表示进行参数化与描述。
• 通过有限链环的伽罗瓦扩张上的迹映射，从扩张环中元素的迹像构造码字。
• 通过 $\mathbb{R}[X]/(X^\ell - 1)$ 中理想与生成多项式最大公因数和最小公倍数的对应关系，推导循环码上的运算 $+$ 与 $\cap$。
• 利用链环 $R$ 的极大理想 $\mathfrak{J}(R)$ 与剩余域 $\mathbb{F}_q$ 的结构，将 $\mathbb{F}_q$ 上的性质提升至 $R$。
• 通过分析迹生成码的对偶并利用 $q$ 为偶数时循环陪集的对称性，构造 MDS 与自正交码。

实验结果

研究问题

• RQ1 当 $\gcd(\ell, q) = 1$ 时，如何系统地利用 $q$-循环陪集构建有限链环上自由循环线性码的迹表示？
• RQ2 格 $\langle \text{Cy}(R,\ell); +, \cap \rangle$ 的结构是什么？它与 $\mathbb{R}[X]/(X^\ell - 1)$ 的理想结构有何关系？
• RQ3 能否基于其迹表示，为循环 $R$-线性码的最小汉明距离建立下界？
• RQ4 在何种条件下，可在有限链环上构造 MDS 或自正交循环码，特别是当 $q$ 为偶数时？
• RQ5 迹生成循环码的对偶如何表现？其格结构中会出现何种对称性？

主要发现

• 在 $\gcd(\ell, q) = 1$ 的条件下，通过 $q$-循环陪集，系统建立了任意长度 $\ell$ 的自由循环 $R$-线性码的迹表示，实现了系统的构造。
• 在给定条件下，证明了格 $\langle \text{Cy}(R,\ell); +, \cap \rangle$ 是分配格，推广了域情形的结果。
• 基于生成集中 $q$-循环陪集的数量，推导出循环 $R$-线性码最小汉明距离的下界。
• 当 $q$ 为偶数时，论文利用基于迹的生成集，在有限链环上构造了 MDS 与自正交循环码族。
• 对于长度为 7 的 $\mathbb{Z}_4$-线性码，论文明确列出了 27 个循环码，包括其类型、基数与对偶性，如 $\mathcal{C}_8^\perp = \mathcal{C}_{19}$ 与 $\mathcal{C}_8 + \mathcal{C}_{12} = \mathcal{C}_{15}$，具体展示了格结构。
• 格中的对偶与和关系（如 $\mathcal{C}_8 \cap \mathcal{C}_{12} = \mathcal{C}_6$）通过其对偶与正交补运算得到验证。