[論文レビュー] Distance bounds for convolutional codes and some optimal codes

Heide Gluesing-Luerssen, Wiland Schmale|ArXiv.org|May 9, 2003

Coding theory and cryptography参考文献 19被引用数 33

ひとこと要約

この論文は、任意の有限体上の畳み込み符号に対して距離の上限を確立し、特に循環畳み込み符号に注目して、これらの上限に達する多数の最適符号を提示する。Griesmerの上限を用いて、MDS畳み込み符号が存在するための最小体サイズの下界を導出し、それが大多数のケースでタイトであることを示し、F₂のような小さな体上での明示的構成も提示する。

ABSTRACT

After a discussion of the Griesmer and Heller bound for the distance of a convolutional code we present several codes with various parameters, over various fields, and meeting the given distance bounds. Moreover, the Griesmer bound is used for deriving a lower bound for the field size of an MDS convolutional code and examples are presented showing that, in most cases, the lower bound is tight. Most of the examples in this paper are cyclic convolutional codes in a generalized sense as it has been introduced in the seventies. A brief introduction to this promising type of cyclicity is given at the end of the paper in order to make the examples more transparent.

研究の動機と目的

• 任意の有限体上の畳み込み符号に対して、Griesmerおよび一般化されたSingletonの上限を含む距離の上限を確立・一般化すること。
• これらの上限に達する最適畳み込み符号（特にMDS符号）の存在を示し、導出された体サイズの下界がタイトであることを示すこと。
• 一般化されたσ-巡回の意味での循環畳み込み符号を導入し、高距離・代数的構造を持つ符号を構築するための有望なクラスとして推奨すること。
• 下位のσ-巡回代数的構造を事前に知らなくてもよい、生成行列を用いた最適符号の明示的構成を提供すること。
• 循環畳み込み符号の代数的構造を示唆することで、今後の研究を促進し、小さな体サイズで最適距離を達成する可能性を示すこと。

提案手法

• 任意の有限体上での畳み込み符号に対するGriesmerの上限とHellerの上限を一般化し、Griesmerの上限が常に同等以上であることを示す。
• Griesmerの上限を用いて、MDS畳み込み符号が存在するための体サイズの下界を導出する。
• コンピュータ支援探索を用いて、Griesmerの上限に達する明示的畳み込み符号（F₂などの小さな体上でのMDS符号を含む）を構成する。
• 非可換Ore環 $ A[z;\sigma] $ における簡約化された生成多項式から導かれるσ-巡回行列を用いて、循環畳み込み符号を生成する。
• 写像 $ \mathfrak{p} $ を通じてσ-巡回畳み込み符号の概念を導入し、符号構造と環 $ A(\!(z;\sigma)\!) $ のイデアルとの関連を結ぶことで、代数的構成を可能にする。
• Gröbナーベース理論を $ A[z;\sigma] $ で用いることで、一意的かつ最小の生成行列を保証し、符号パラメータ（次元、複雑さ、距離）を制御する。

実験結果

リサーチクエスチョン

• RQ1 与えられたパラメータを持つMDS畳み込み符号が存在するための体サイズのタイトな下界は何か？
• RQ2 Griesmerの上限に達する畳み込み符号（特に小さな有限体上）を構成することは可能か？
• RQ3 畳み込み符号における一般化されたσ-巡回構造は、その距離特性や符号パラメータとどのように関係するか？
• RQ4 σ-巡回畳み込み符号の代数的構造をどの程度活用して、総当り探索を避けながら最適符号を構築できるか？
• RQ5 MDSでない場合でも、Griesmerの上限に達する符号には、構造的制限や異常（例：極端なForneyインデックス）が生じるおそれがあるか？

主な発見

• すべてのパラメータ集合に対して、畳み込み符号のGriesmerの上限はHellerの上限以上であり、距離上限としての優位性が確認された。
• MDS畳み込み符号が存在するための体サイズ $ q $ の下界を導出し、それが大多数のケースでタイトであることを示した。また、$ \mathbb{F}_2 $ および $ \mathbb{F}_3 $ 上での明示的構成も提示した。
• Griesmerの上限に達する多数の最適畳み込み符号（多くの場合σ-巡回）が構成され、$ (n,k,\nu) = (4,2,1) $ のMDS符号（$ \mathbb{F}_2 $ 上）を含む。
• 例には、Griesmerの上限に達していても極端なForneyインデックスを示す符号が含まれており、このような符号が必ずしもMDSではないこと、最小距離を超える構造的複雑さを有することが示された。
• A[z;\sigma] における簡約化された生成多項式から導かれるσ-巡回行列の使用により、パラメータが予測可能な体系的かつ代数的な循環畳み込み符号の構成が可能になった。
• 非可換Ore環に基づくσ-巡回畳み込み符号の代数的構造は、原理的で一貫した符号設計を可能にし、今後の距離およびデコーディング特性に関する理論的探求の基盤を提供した。