[論文レビュー] 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$-巡回コセットを用いて、有限鎖環上の自由循環符号のトレース表現をパrameter化し記述する。
• 有限鎖環のガロア拡大におけるトレース写像を用いて、拡大環内の元のトレース像から符号語を構成する。
• 生成多項式の $\gcd$ および $\text{lcm}$ を用いて、$\mathbb{R}[X]/(X^\ell - 1)$ におけるイデアルとの対応を通じて、循環符号におけるラティス演算 $+$ および $\cap$ を導出する。
• 最大イデアル $\mathfrak{J}(R)$ と残渣体 $\mathbb{F}_q$ を持つ鎖環 $R$ の構造を用いて、$\mathbb{F}_q$ からの性質を $R$ へと持ち上げる。
• $q$ が偶数のとき、巡回コセットの対称性を活用し、トレース生成符号の双対を分析することで、MDS および自己直交符号を構成する。

実験結果

リサーチクエスチョン

• RQ1 $\gcd(\ell, q) = 1$ の下で、$q$-巡回コセットを用いて、有限鎖環上の自由循環線形符号のトレース表現を体系的かつ明示的に構築する方法は何か？
• RQ2 $\langle \text{Cy}(R,\ell); +, \cap \rangle$ としての循環 $R$-線形符号のラティス構造はどのようなものか？ また、$\mathbb{R}[X]/(X^\ell - 1)$ のイデアル構造とはどのように関係するか？
• RQ3 トレース表現に基づいて、循環 $R$-線形符号の最小ハミング距離に対する下界を確立できるか？
• RQ4 どのような条件下で、有限鎖環上に MDS あるいは自己直交符号の循環符号を構成できるか、特に $q$ が偶数の場合に限って。
• RQ5 トレース生成循環符号の双対はどのように振る舞い、そのラティス構造にどのような対称性が生じるか？

主な発見

• $\gcd(\ell, q) = 1$ の下で、任意の長さ $\ell$ の自由循環 $R$-線形符号について、$q$-巡回コセットを用いたトレース表現が確立され、体系的な構成が可能になる。
• 与えられた条件下で、ラティス $\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$ は、双対および直交補空間作用素を用いて検証された。