[論文レビュー] 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-adic価を基準に行をグループ化し、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畳み込み符号をℤₚʳ 上に直接リフトする構成的技法が提供され、列距離の最大増加を保証する。
• この構成により、得られる符号は遅延なしであり、D=0におけるフルランク評価が保証され、最適な距離特性に不可欠である。
• 本稿では、列距離が可能な限り速やかに、かつ長期間にわたり最大に増加することを証明し、環設定下でのMDP性を確認する。
• Henselリフトや巡回符号のリフトを回避することで、ℤₚʳ 上のMDP符号に対するより直接的かつ一般性の高い構成手法を提供する。