[論文レビュー] Cyclic codes over the ring $\mathbb{F}_p[u,v] / \langle u^k,v^2,uv-vu angle$

Bappaditya Ghosh, Pramod Kumar Kewat|arXiv (Cornell University)|Aug 27, 2015

Coding theory and cryptography参考文献 13被引用数 4

ひとこと要約

本稿は、有限非チェーン環 $\mathbb{F}_p[u,v]/\langle u^k, v^2, uv - vu \rangle$ 上の循環符号を調査し、$\mathbb{F}_p[u]/\langle u^k \rangle$ 上の既知の循環符号からの射影に基づくプルバック構成により、これらの符号のための一意な生成子集合を確立する。主な貢献は、特に長さ $n = p^l$ の場合に、$p$-進展開と生成多項式に関する帰納的議論を用いて、符号のランクおよびハミング距離の特徴付けを提供することにある。

ABSTRACT

Let $p$ be a prime number. In this paper, we discuss the structures of cyclic codes over the ring $ \mathbb{F}_p[u, v] / \langle u^k, v^2, uv-vu angle$. We find a unique set of generators for these codes. We also study the rank and the Hamming distance of these codes.

研究の動機と目的

• 非チェーン有限環 $R = \mathbb{F}_p[u,v]/\langle u^k, v^2, uv - vu \rangle$ 上の循環符号の構造的性質を特定すること。
• $\mathbb{F}_p[u]/\langle u^k \rangle$ 上の符号からのプルバック構成を用いて、$R$ 上の任意の長さ $n$ の循環符号のための一意な生成子集合を確立すること。
• 同型定理と帰納的議論を用いて、特に非正則な要素を含む場合の、$R$ 上の循環符号のランクおよび最小生成集合を計算すること。
• $n = p^l$ の場合のハミング距離の明示的公式を、生成子の指数の $p$-進展開に基づいて導出すること。

提案手法

• 著者らは、環 $R[x]/\langle x^n - 1 \rangle$ から $\mathbb{F}_p[u]/\langle u^k \rangle[x]/\langle x^n - 1 \rangle$ への射影写像を定義し、より単純な環からの既知の生成子構造を拡張環へと持ち上げる。
• 同型定理を用いて、射影写像の核と像を分析することで、$R$ 上の循環符号 $C$ の最小生成集合を計算する。
• 非正則な生成子に対しては、直接の除法アルゴリズムの適用が失敗するため、帰納的議論を適用する。
• ハミング距離は、グレイ像を分析し、$\mathbb{F}_p[x]/\langle x^n - 1 \rangle$ 上の循環符号への問題の還元により計算する。特に $n = p^l$ の場合に注目する。
• $p$-進展開を用いて、生成子 $(x-1)^{t_{2k}}$ の指数 $t_{2k}$ の場合を分類し、距離の公式を導出する。
• 部分符号および距離伝搬に関する補題（例：補題 5.3）を用いて、$p$-冪のシロチン多項式の積によって生成される符号の最小距離を帰納的に計算する。

実験結果

リサーチクエスチョン

• RQ1 環 $\mathbb{F}_p[u,v}/\langle u^k, v^2, uv - vu \rangle$ 上の任意の長さ $n$ の循環符号のための一意な生成子集合は何か？
• RQ2 特に生成子に非正則な要素を含む場合、このような符号のランクおよび最小生成集合はどのように計算できるか？
• RQ3 $n = p^l$ の場合、この環上の循環符号のハミング距離は何か？ また、生成子の指数の $p$-進展開にどのように依存するか？
• RQ4 この環上の循環符号が自由であるための条件は何か？ また、その生成子構造はどのようなものか？

主な発見

• $R_{u^k,v^2,p}$ 上の循環符号 $C$ のランクは、同型定理を用いて、$R_{u^k,p}[x]/\langle x^n - 1 \rangle$ への射影写像の核と像を分析することにより計算される。
• $n = p^l$ の場合、ハミング距離 $d(C)$ は $t_{2k} \leq p^{l-1}$ ならば $2$ である。ここで $t_{2k}$ は生成子 $(x-1)^{t_{2k}}$ の指数である。
• $t_{2k}$ が $p$-進長さ $q$ のゼロ展開を持つ場合、$d(C) = (b_{l-1}+1)(b_{l-2}+1)\cdots(b_{l-q}+1)$ となる。ここで $b_i$ は $t_{2k}$ の $p$-進桁である。
• $t_{2k}$ が $p$-進長さ $q$ の非ゼロ展開を持つ場合、$d(C) = 2(b_{l-1}+1)(b_{l-2}+1)\cdots(b_{l-q}+1)$ となる。
• $R_{u^k,v^2,p}$ 上の自由な循環符号は、その射影が $\mathbb{F}_p[u]/\langle u^k \rangle$ 上の自由な循環符号の生成子である単一の正則多項式によって生成されるものとして特徴づけられる。
• 例では、$R_{u^3,v^2,2}$ 上の生成子 $\langle vu^2g^3 \rangle$ を持つ符号はランク 1 およびハミング距離 4 を示し、より複雑な生成子を持つ他の符号はより高いランクおよび低い距離を持つことが確認され、理論的上限と整合的である。