[论文解读] 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界限在所有参数集合下至少与Heller界限一样强。
• 应用Griesmer界限推导出MDS卷积码存在的域大小下界。
• 采用计算机辅助搜索，构造满足Griesmer界限的显式卷积码，包括在小域如F₂上的MDS码。
• 利用非交换Ore环$ A[z;\sigma] $中约化生成多项式导出的σ-循环矩阵，生成循环卷积码。
• 通过映射$ \mathfrak{p} $引入σ-循环卷积码的概念，将码结构与环$ A(\!(z;\sigma)\!) $中的理想联系起来，实现代数构造。
• 依赖$ A[z;\sigma] $中的Gröbner基理论，确保生成矩阵的唯一性与最小性，并控制码参数（维度、复杂度、距离）。

实验结果

研究问题

• 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环的σ-循环卷积码的代数结构，可实现有原则的码设计，并为未来关于距离与译码特性理论探索奠定基础。