[論文レビュー] An efficient method to construct self-dual cyclic codes of length $p^s$ over $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$

Yuan Cao, Yonglin Cao+2 more|arXiv (Cornell University)|Jan 1, 2019

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

ひとこと要約

本稿では、有限鎖環 $\mathbb{F}_{p^m} + u\mathbb{F}_{p^m}$（$u^2 = 0$）上における長さ $p^s$ のすべての異なる自己双対循環符号の、効率的で明示的な構成法を、組合せ的恒等式および $\mathbb{F}_p$ 上の行列のクロネッカー積を用いて提示する。主な貢献は、これらの符号の完全な特徴付けと列挙である。これにより、従来の研究で定義方程式系の明示的解表現が欠落していた点を解消する。

ABSTRACT

Let $p$ be an odd prime number, $\mathbb{F}_{p^m}$ be a finite field of cardinality $p^m$ and $s$ a positive integer. Using some combinatorial identities, we obtain certain properties for Kronecker product of matrices over $\mathbb{F}_p$ with a specific type. On that basis, we give an explicit representation and enumeration for all distinct self-dual cyclic codes of length $p^s$ over the finite chain ring $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$ $(u^2=0)$. Moreover, We provide an efficient method to construct every self-dual cyclic code of length $p^s$ over $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$ precisely.

研究の動機と目的

• 長さ $p^s$ の有限鎖環 $\mathbb{F}_{p^m} + u\mathbb{F}_{p^m}$（$u^2 = 0$）上におけるすべての異なる自己双対循環符号の明示的表現と列挙を提供すること。
• 自己双対性条件を定義する方程式系 $M(p^s, i_1)\mathbf{h} = \mathbf{0}$ の明示的解法の欠落を解消すること。この方程式系は、従来の研究で未解決のまま残っていた。
• 間接的数え上げや非構成的存在証明に依存せずに、長さ $p^s$ のすべての自己双対循環符号を正確に構成する、効率的で体系的な方法を開発すること。
• $\mathbb{F}_p$ 上の特定の行列のクロネッカー積に基づく新しい代数的枠組みを提供することで、有限鎖環上における自己双対符号の理解を拡張すること。
• 今後の自己双対反循環符号に関する研究および、同様の環上における最小距離（例：BCH型の上限）に関する境界の研究の基盤を築くこと。

提案手法

• 本手法は、二項係数を含む組合せ的恒等式を用いて、自己双対性条件から生じる行列 $M(p^s, i_1)$ の構造を分析する。
• 本手法は、$\mathbb{F}_p$ 上の行列のクロネッカー積を、同次方程式系 $M(p^s, i_1)\mathbf{h} = \mathbf{0}$ の解を体系的に生成するために、画期的な応用を施す。ここで $\mathbf{h}$ は符号生成子における $u$-係数を符号化している。
• 構成法は、$p^s = i_0 + i_1$ とし、符号生成子を $\langle (x-1)^{i_0} + u \sum_{j=0}^{i_1-1} h_j (x-1)^j, (x-1)^{i_1} \rangle$ の形にパラメータ化する。係数 $h_j$ は、事前に計算されたクロネッカー積行列との行列乗算により決定される。
• 解空間 $M(p^s, i_1)\mathbf{h} = \mathbf{0}$ を、クロネッカー積成分への分解によって明示的に構成し、すべての有効な $\mathbf{h}$ を効率的かつ体系的に生成可能にする。
• 本手法は、具体的な例（例：$p=3, m=1, s=3$）に適用され、長さ 27 のすべての自己双対循環符号の構成を示す。明示的な生成子形式とパラメータ依存性が提示される。
• 本手法は一般性を有し、任意の奇素数 $p$、正の整数 $m$、$s$ に適用可能であり、長さ $p^s$ のすべての符号を一様な枠組みで取り扱える。

実験結果

リサーチクエスチョン

• RQ1 長さ $p^s$ の有限鎖環 $\mathbb{F}_{p^m} + u\mathbb{F}_{p^m}$（$u^2 = 0$）上におけるすべての異なる自己双対循環符号を、どのように明示的に表現できるか？
• RQ2 間接的数え上げに依存せず、すべての自己双対循環符号を構成的に生成する効率的で明示的な方法は何か？
• RQ3 符号生成子における $u$-係数を定義する方程式系 $M(p^s, i_1)\mathbf{h} = \mathbf{0}$ を、すべての $i_1$ に対してどのように明示的に解けるか？
• RQ4 $\mathbb{F}_p$ 上の行列のクロネッカー積を用いて、自己双対性条件の解を体系的に構成できるか？
• RQ5 長さ $p^s$ の有限鎖環 $\mathbb{F}_{p^m} + u\mathbb{F}_{p^m}$ 上における自己双対循環符号の完全な列挙は何か？また、$p$、$m$、$s$ にどのように依存するか？

主な発見

• 本稿は、$\mathbb{F}_{p^m} + u\mathbb{F}_{p^m}$ 上における長さ $p^s$ のすべての自己双対循環符号の完全かつ明示的な表現を提供し、[6] や [10] などの先行研究で欠落していたこの構成を解消する。
• $p=3$、$m=1$、$s=3$（すなわち長さ 27）の場合、本稿は明示的に 7 種類の異なる自己双対循環符号を列挙する。各符号は $\langle (x-1)^{i_0} + u \sum h_j(x-1)^j, (x-1)^{i_1} \rangle$ の形の多項式のペアによって生成され、$i_0 + i_1 = 27$ を満たす。
• 長さ $p^s$ の $\mathbb{F}_{p^m} + u\mathbb{F}_{p^m}$ 上における自己双対循環符号の数は、$\sum_{k=0}^{s} 3^{km}$ で与えられる。ここで $k$ は分解 $p^s = i_0 + i_1$ における $i_1$ のインデックスに対応し、解空間 $M(p^s, i_1)\mathbf{h} = \mathbf{0}$ の次元から導出される。
• 解 $\mathbf{h}$ 全体は、事前に計算されたクロネッカー積行列 $\Upsilon^{(i)}$ を用いて構成され、$\mathbf{h}$ は $\mathbb{F}_{p^m}$ 上の自由パラメータの線形結合として表現される。
• 本構成法は効率的で体系的である：各 $i_1$ に対して、解空間は $i_1 - j$ 個の自由パラメータでパラメータ化され、生成子多項式はこれらのパラメータを明示的に含む形で記述される。
• 本手法は、[6] の補題 22(ii) における $\mathbb{F}_{2^m} + u\mathbb{F}_{2^m}$ 上の長さ $2^s$ の自己双対循環符号の数の誤りを是正し、修正された正確な公式を提供する。