Equivalence of Families of Polycyclic Codes over Finite Fields

技術的概要：有限体上の多巡回符号の族の同値性

問題提起
本論文は、有限体 $\mathbb{F}_q$ 上の多巡回符号の族の分類と同値性を取り扱っている。巡回符号および定巡回符号は、剰余環 $\mathbb{F}_q[x]/\langle x^n - \lambda \rangle$ におけるイデアルとしてよく理解されているが、多巡回符号は、任意の非零多項式 $f(x)$ に対して $\mathbb{F}_q[x]/\langle f(x) \rangle$ におけるイデアルへとこれらの構造を一般化したものである。符号理論における中心的な課題は、最適パラメータ（長さ $n$、次元 $k$、最小距離 $d$）を持つ符号の構成である。大規模なパラメータに対して最適符号を網羅的にコンピュータ探索することは計算量的に困難であるため、著者らは多巡回符号を同値類に体系的に整理することで探索空間を縮小することを目的としている。具体的には、本論文は、2 つの環境空間（符号を定義する剰余環）が等長同型（isometric）となる条件を調査し、これにより研究者がこれらの同値類の代表元への探索を制限できるようにすることを検討している。

手法
著者らは、以前定巡回符号に対して定義されていた$n$-同値の概念を、より広範な多巡回符号の文脈へと拡張する。手法は以下の 3 つの段階で進行する。

1. 同値の定義: 多項式 $f(x) = x^n - \vec{a}(x)$ および $g(x) = x^n - \vec{b}(x)$ に関連する 2 つの多巡回符号の族は、$\alpha \in \mathbb{F}_q^*$ が存在し、写像 $\Phi_\alpha: f(x) \mapsto f(\alpha x)$ がハミング距離を保存する $\mathbb{F}_q$-代数同型 $\mathbb{F}_q[x]/\langle g(x) \rangle$ から $\mathbb{F}_q[x]/\langle f(x) \rangle$ へ誘導される場合、$n$-同値であると定義される。
2. 代数的特徴付け: 本論文は、この同値性に対する必要十分条件を導出する。これには、$\mathbb{F}_q$ における二項式および三項式方程式の根の解析が含まれる。主要な道具は以下の通りである。
   • $\gcd(x^n - a, x^m - b)$ の次数および $x^n - a = 0$ の解の数に関する補題。
   • 同値な多項式の係数ベクトルを関連付けるためのシュール積（成分ごとの積）の使用。
   • $\mathbb{F}_q^* \times \mathbb{F}_q^*$ における原始元の冪によって生成される巡回部分群の群論的解析。
3. 特殊化と一般化:
   • $\ell$-三項式符号: 研究はまず、$x^n - a_\ell x^\ell - a_0$（ただし $0 < \ell < n$）の形の三項式に関連する符号に焦点を当てる。著者らは、同値類の数のための明示的な式と、三項式符号が標準形 $x^n - x^\ell - 1$ と同値となる条件を導出する。
   • $p\ell$-三項式符号: $n = p^\ell + r$（ここで $p$ は $\mathbb{F}_q$ の標数）の長さを持つ符号に対して、アルティン・シュライヤー多項式およびトレース関数の性質を利用して既約因数分解を決定する、特定の解析が行われる。
   • 一般の多巡回符号: 結果は、$m$ 個の非零成分を持つベクトル $\vec{a}$ によって定義される任意の多巡回符号へと一般化される。

主要な貢献と結果

• $(n, \ell)$-同値の定義: 本論文は、$\ell$-三項式符号に対する同値関係を形式化する。2 つの係数の組 $(a_0, a_\ell)$ と $(b_0, b_\ell)$ が同値であるための必要十分条件は、多項式 $a_0 x^n - b_0$ と $a_\ell x^{n-\ell} - b_\ell$ が $\mathbb{F}_q^*$ において共通の根を持つことであると証明される。
• 同値類の計数: 著者らは、$\ell$-三項式符号に対する $n$-同値類の数のための明示的な式を提供する。
  $$N_{(n,\ell)} = (q-1) \gcd(q-1, n, \ell)$$
  $m$ 個の非零係数を持つ一般の多巡回符号の場合、類の数は以下で与えられる。
  $$N = \frac{(q-1)^m}{\text{lcm}_{0 \le j \le m-1} \left( \frac{q-1}{\gcd(n-i_j, q-1)} \right)}$$
• 標準形への還元:
  • $\gcd(n, n-\ell) = 1$ である場合、任意の $\ell$-三項式符号の族は、多項式 $x^n - x^\ell - 1$ に関連する族と同値であることが証明される。
  • $\gcd(n, n-\ell) \neq 1$ の場合、本論文はすべての同値類を網羅する特定の代表元（原始元 $\xi$ の冪を含む）を特定する。
• 特定の三項式の因数分解: 本論文は、$x^{p^\ell+1} - x^{p^\ell} - 1$ および $x^{p^\ell+s} - x^{p^\ell} - 1$ の形の三項式の因数分解を解析する。これらが多項式が（しばしばアルティン・シュライヤー多項式 $x^p - x - \beta$ に関連して）既約因数に分解される条件を確立し、これはこれらの族における符号の可能な生成多項式を直接示唆する。
• 最適符号の構成: 特定された同値類の代表元への探索を制限することにより、著者らはいくつかの最適多巡回符号の例を構成する。注目すべき例としては、$\mathbb{F}_3$ 上の $3\ell$-三項式符号から導出された $[27, 3, 18]_3$ 符号および $[81, 3, 55]_3$ 符号が含まれる。また、$\mathbb{F}_9$ および $\mathbb{F}_4$ 上の最適符号は、既知の限界（例えば、グリスマー限界）と一致するか、あるいはそれに到達するパラメータを持つ。

意義と主張
本論文は、その主な意義が、多巡回符号を体系的に整理および分類するための枠組みを提供する点にあると主張している。同値性に対する明示的な基準を確立することにより、この研究は最適パラメータを持つ符号の探索の複雑さを軽減する。すべての可能な係数の組み合わせを調査する代わりに、研究者は各同値類の有限個の代表元へと焦点を絞ることができる。

さらに、著者らは、環境空間の同値性を理解することが、多巡回符号における双対性の研究にとって不可欠であると指摘している。多巡回符号の双対は、必ずしも同じ環境空間に関する多巡回符号とはならないが、しばしば異なる空間から生じるものと同値であるため、この分類は双対性に関する将来の理論的結果の基礎を提供する。本論文は、これらの結果が、より一般的かつ複雑な領域である多巡回符号へと、定巡回符号からの同値関係の成功した応用を拡張し、準最適パラメータを持つ無限族の符号を構成する道筋を提供すると結論付けている。