[论文解读] Column distance of convolutional codes over Zpr

Diego Napp, Raquel Pinto+1 more|arXiv (Cornell University)|Jul 31, 2017

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

一句话总结

本文在环 ℤₚʳ 上引入了最大距离轮廓（MDP）卷积码的概念，利用 p-编码器理论建立了列距离的上界。提出了一种通过从 ℤₚ 上的 MDP 码直接提升构造 ℤₚʳ 上非自由 MDP 卷积码的构造性方法，首次将经典的 MDP 框架推广至有限环，并提供了显式构造与理论边界。

ABSTRACT

Rosenthal et al. introduced and thoroughly studied the notion of Maximum Distance Profile (MDP) convolutional codes over (non-binary) finite fields refining the classical notion of optimum distance profile, see for instance [18, p.164]. These codes have the property that their column distances are maximal among all codes of the same rate and the same degree. In this paper we aim at studying this fundamental notion in the context of convolutional codes over a finite ring. We extensively use the notion of p-encoder to present upper-bounds on the column distances which allow to introduce the notion of MDP in the context of finite rings. A constructive method for (non necessarily free) MDP convolutional codes over Z p r is presented.

研究动机与目标

• 将最大距离轮廓（MDP）卷积码的概念从有限域推广至有限环，特别是 ℤₚʳ。
• 利用 p-编码器与 p-基理论，推导 ℤₚʳ 上卷积码列距离的上界。
• 开发一种构造性方法，用于生成 ℤₚʳ 上的（非必然自由的）MDP 卷积码。
• 通过从 ℤₚ 直接提升而非依赖 Hensel 提升或循环码构造，将 MDP 框架推广至环。
• 建立 ℤₚʳ 上卷积码列距离性质的理论基础，支持相位调制与序列解码等应用。

提出的方法

• 利用 p-编码器理论与 p-标准型概念，分析并界定 ℤₚʳ 上卷积码的列距离。
• 采用 p-基与 r-最优参数，刻画 ℤₚʳ-模及其生成矩阵的结构。
• 通过 p 的幂次构建分层形式的生成矩阵，按 p-进赋值对行分组，以确保无延迟与最小编码器特性。
• 应用从 ℤₚ 上的 MDP 码直接提升至 ℤₚʳ 上 MDP 码的方法，避免依赖 Hensel 提升或循环码提升。
• 利用截短滑动生成矩阵 Gⱼᶜ 定义并计算列距离 dⱼᶜ，通过非零输入序列的最小重量实现。
• 通过分析在 𝒜ₚᵏ 中具有首项非零分量的输入向量所生成的输出序列重量，推导列距离的上界。

实验结果

研究问题

• RQ1 ℤₚʳ 上卷积码的列距离存在哪些上界？其如何推广有限域情形？
• RQ2 MDP 卷积码的概念应如何有意义地扩展至 ℤₚʳ 等有限环上的卷积码？
• RQ3 p-编码器与 p-基在刻画 ℤₚʳ 上码的列距离行为中起何种作用？
• RQ4 能否在不依赖 Hensel 提升或循环码构造的前提下，直接从 ℤₚ 上的 MDP 码构造 ℤₚʳ 上的 MDP 卷积码？
• RQ5 生成矩阵需具备哪些结构特性（如无延迟、行约化）才能在 ℤₚʳ 上实现列距离增长的最大化？

主要发现

• 本文建立了 ℤₚʳ 上卷积码列距离 dⱼᶜ 的上界：dⱼᶜ ≤ (j+1)n − (j+1)(k₀ + k₁ + ⋯ + kᵣ₋₁) + 1，其中 kᵢ 为 p-基分解的参数。
• 该上界是紧的，当生成矩阵处于 p-标准型且首项输入分量被选择为在最小化重量的同时最大化列距离增长时可达到。
• 提出了一种通过从 ℤₚ 上的 MDP 码直接提升构造 ℤₚʳ 上 MDP 卷积码的构造性方法，确保列距离增长最大化。
• 该构造确保所得码为无延迟码，并在 D=0 处具有满秩评估，这对最优距离特性至关重要。
• 本文证明了列距离在尽可能长的时间内以最快的速度增长，确认了在环设置下的 MDP 性质。
• 该方法避免使用 Hensel 提升或循环码提升，为 ℤₚʳ 上 MDP 码提供了更直接且更具普适性的构造方法。