Construction of Cyclic Codes over a Class of Matrix Rings

この論文「CONSTRUCTION OF CYCLIC CODES OVER A CLASS OF MATRIX RINGS（行列環のクラスにおける巡回符号の構成）」は、有限非可換環上の巡回符号の理論的構造の構築と、それらを有限体上の線形符号に変換する写像の定義、および具体的な符号の構成に関する研究です。

以下に、問題提起、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記述します。

1. 問題提起 (Problem)

• 背景: 巡回符号は誤り訂正符号の重要なクラスであり、有限体や有限可換環上での研究は豊富に行われています。しかし、非可換環、特に行列環（Matrix Rings）上での符号理論は、空間時間符号（Space-Time Codes）や MIMO（Multiple Input Multiple Output）チャネルにおける信頼性の高い通信設計において重要な役割を果たすにもかかわらず、未だ発展途上の分野です。
• 既存研究の限界: 以前の研究（Patel et al. [15] など）は、環 $M_4(\mathbb{F}_2 + u\mathbb{F}_2)$ 上の巡回符号を扱っていましたが、より一般的な構造である $M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ への拡張や、その環上の符号の完全な構造（イデアルの分類、双対符号の性質、サイズ計算など）の定式化は行われていませんでした。
• 目的: 本論文は、有限非可換非鎖環 $R = M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ における巡回符号の構成を確立し、その構造を明らかにすること、そしてこれらの符号を有限体 $\mathbb{F}_{16}$ 上の線形符号に変換する写像（Gray 写像および Bachoc 写像）を定義することを目指しています。

2. 手法 (Methodology)

• 環構造の同型性:
  • 対象とする環 $R = M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ を、多項式環の直和構造として再定義します。具体的には、$R$ が $\mathbb{F}_{16}$ 上の多項式環と nilpotent 元 $u, v$（$u^k=0, v^4=0$）を用いた構造 $\mathbb{F}_{16} + v\mathbb{F}_{16} + v^2\mathbb{F}_{16} + v^3\mathbb{F}_{16}$ に $u$ を加えた構造と同型であることを示しました。
  • $R \cong \sum_{i=0}^{k-1} u^i (\mathbb{F}_{16} + v\mathbb{F}_{16} + v^2\mathbb{F}_{16} + v^3\mathbb{F}_{16})$ として表現されます。
• 巡回符号の構造解析:
  • 長さ $n$（奇数）の巡回符号を、商環 $R[x]/\langle x^n - 1 \rangle$ のイデアルとして扱います。
  • 多項式 $x^n - 1$ を $\mathbb{F}_{16}$ 上で既約多項式の積に分解し、中国剰余定理を適用して $R$ 上の右加群としての構造を分解します。
  • 部分加群（イデアル）のすべての可能な形式を分類し、巡回符号が特定の生成多項式を持つ部分加群の直和として表現できることを証明しました。
• 双対符号の導出:
  • ユークリッド内積およびエルミート内積に基づき、導出された巡回符号の双対符号（Euclidean dual, Hermitian dual）の構造を明らかにしました。
  • 双対符号の生成多項式とサイズ（位数）の公式を導出しています。
• 写像（Mapping）の定義:
  • Gray 写像 ($\theta$): $R$ から $\mathbb{F}_{16}^{4kn}$ への距離保存写像を定義し、$R$ 上の Lee 重みを $\mathbb{F}_{16}$ 上のハミング重みに変換します。
  • Bachoc 写像 ($\psi$): 行列環 $M_4(\mathbb{F}_2)$ 上の Bachoc 重みを拡張し、$R$ から $\mathbb{F}_{16}$ 上の線形符号への同型写像を定義しました。これにより、$R$ 上の符号を $\mathbb{F}_{16}$ 上の線形符号として扱うことが可能になります。

3. 主要な貢献 (Key Contributions)

1. 環 $R$ の構造とイデアルの分類:
   • 非可換環 $M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ の構造を明確にし、その上の巡回符号がどのような生成多項式の直和で構成されるかを完全に記述しました（定理 3.4）。
   • 符号のサイズ（位数）を計算する一般式を提供しました。
2. 双対符号の理論的定式化:
   • ユークリッド双対およびエルミート双対の具体的な構造と、そのサイズを計算する公式を導出しました（定理 4.1, 4.3）。
   • これらの双対符号が、量子誤り訂正符号（CSS 構成など）の構築に利用可能な自己直交性や双対包含性の研究の基礎となることを示唆しています。
3. 距離保存写像の構築:
   • $R$ 上の符号を $\mathbb{F}_{16}$ 上の線形符号に変換する Gray 写像と Bachoc 写像を定義し、これらが線形性を保ち、距離（重み）を保存することを証明しました（定理 5.1, 5.3）。
4. 具体的な符号の構成と比較:
   • Magma 計算機を用いて、$n=3, 5, 7$ などの具体的な長さにおける巡回符号の例を構成し、それらのパラメータ（長さ、次元、最小距離）を計算しました。
   • 既存の文献（$M_4(\mathbb{F}_2)$ 上の符号）と比較し、本論文で得られた符号がより良いパラメータ（より高い次元や距離）を持つ場合があることを示しました。

4. 結果 (Results)

• 符号の構造: 長さ $n$ の巡回符号 $C$ は、$\mathbb{F}_{16}[x]$ 上の互いに素な既約多項式 $P_i$ と、$u, v$ の冪乗および係数多項式を用いた生成元によって、直和分解として一意に表現できることが示されました。
• サイズ計算: 符号 $C$ の位数 $|C|$ は、生成多項式の次数と $k$ に依存する指数関数として $16^\xi$ の形で導出されました。
• 双対符号: 双対符号 $C^\perp$ も同様の直和構造を持ち、その生成多項式は元の符号の生成多項式の逆多項式（reciprocal polynomial）および $u, v$ の冪乗の組み合わせによって記述されます。
• 性能: 構成された符号の Gray 像は、$\mathbb{F}_{16}$ 上の線形符号となり、MDS 符号に近いパラメータを持つものが多数発見されました。特に、既存の $M_4(\mathbb{F}_2)$ 上の符号と比較して、より高い次元や最小距離を持つ符号が得られることが確認されました。

5. 意義 (Significance)

• 理論的拡張: 有限環上の符号理論を、可換環から非可換な行列環、さらに nilpotent 元を含む拡張環へと一般化し、その代数構造を体系的に解明しました。
• 応用可能性: 得られた符号と写像は、遅いフェージング MIMO チャネルにおける空間時間符号設計への応用が期待されます。特に、行列環の構造を利用することで、多様性（diversity）や非消滅行列式（non-vanishing determinant）の条件を満たす符号の設計が可能になる可能性があります。
• 量子符号への寄与: 双対符号の構造解析は、CSS 構成やエルミート構成を用いた量子誤り訂正符号の構築における重要なステップとなります。
• 実用的価値: 具体的な例を通じて、理論的な結果が実際に高性能な線形符号の生成に繋がることを示し、既存のコードと比較して優位性を証明しました。

結論として、本論文は非可換行列環上の巡回符号の包括的な理論的枠組みを提供し、その実用的な応用（通信および量子計算）への道筋を示す重要な研究です。今後の課題として、自己双対符号や自己直交符号の具体的な構成、および MIMO チャネルにおける具体的な性能評価が挙げられています。