[论文解读] On the Parameters of Convolutional Codes with Cyclic Structure

Heide Gluesing-Luerssen, Barbara Langfeld|ArXiv.org|Dec 3, 2003

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

一句话总结

本文對具有指定參數的循環卷積碼提供了完整的特徵描述與構造方法，專注於最小碼及其直和。研究建立了透過斜多項式環中的單位實現任意給定福尼指數集的必要與充分條件，從而可構造出達到或超越距離界限（如推廣的Singleton界限與Griesmer界限）的最優碼。

ABSTRACT

In this paper convolutional codes with cyclic structure will be investigated. These codes can be understood as left principal ideals in a suitable skew-polynomial ring. It has been shown in [3] that only certain combinations of the parameters (field size, length, dimension, and Forney indices) can occur for cyclic codes. We will investigate whether all these combinations can indeed be realized by a suitable cyclic code and, if so, how to construct such a code. A complete characterization and construction will be given for minimal cyclic codes. It is derived from a detailed investigation of the units in the skew-polynomial ring.

研究动机与目标

• 確定所有理論上可能的參數組合（有限域大小、長度、維數、福尼指數）是否都能由循環卷積碼實現。
• 發展一種構造方法，用以生成具有任意福尼指數的最小循環卷積碼。
• 透過最小碼的直和（其生成多項式相互正交）將構造方法擴展至非最小碼。
• 建立條件，使具有指定分量次數的約化多項式能生成有效的循環碼。
• 探討在斜多項式理想背景下，生成多項式結構與碼距離之間的關係。

提出的方法

• 將循環卷積碼建模為斜多項式環 $ A[z;\sigma] $ 中的左主理想，其中 $ A = \mathbb{F}[x]/\langle x^n - 1 \rangle $。
• 利用斜多項式環的單位群，透過指定福尼指數的生成多項式，對最小循環碼進行特徵描述與構造。
• 在直和構造中應用正交生成多項式的概念，以確保所得碼為直和項且保持循環結構。
• 利用循環矩陣將理想理論描述轉化為 $ \mathbb{F}_q[z] $ 上的多項式向量碼。
• 透過對自同態 $ \sigma $ 的循環指標進行模運算，強制生成多項式的約化性，確保支援分量之間無重疊。
• 透過與推廣的Singleton界限及Griesmer界限比較最小距離，驗證碼的最優性。

实验结果

研究问题

• RQ1 所有由理論約束（[3]中所述）允許的參數組合（有限域大小、長度、維數、福尼指數）是否都能由循環卷積碼實現？
• RQ2 存在具有給定福尼指數的最小循環卷積碼的必要與充分條件為何？
• RQ3 如何構造最小碼的直和，使得所得碼仍為循環碼且具有明確定義的生成結構？
• RQ4 斜多項式環的結構與自同態 $ \sigma $ 對約化生成多項式中分量次數的限制為何？
• RQ5 在多項式生成元的性質下，能在多大程度上預測 $ \sigma $-循環碼的最小距離？

主要发现

• 只要滿足福尼指數的必要與充分條件，所有由[3]中理論約束允許的循環卷積碼參數組合均可實現。
• 當且僅當福尼指數滿足與自同態 $ \sigma $ 的循環分解相關的特定條件時，具有任意指定福尼指數的最小循環卷積碼才存在。
• 基於推論3.7(2)，提供了一種利用斜多項式環中單位構造最小碼的方法，可生成具有任意福尼指數的碼。
• 具有成對正交生成多項式的最小碼的直和，產生的 $ \sigma $-循環碼其參數為各組分參數的並集，且該碼在理想結構中為直和項。
• 所構造的碼達到最優距離：一個例子在 $ \mathbb{F}_8 $ 上參數為(7,2,4)時達到推廣Singleton界限，距離為21；另一例子則符合Griesmer界限，距離為18。
• 證明了在約化生成多項式中，分量多項式的所有次數組合並非皆可能，特別是當多個分量位於同一 $ \sigma $-循環中時，係數的模約束會導致限制。