[论文解读] Properties of subspace subcodes of optimum codes in rank metric

E.M. Gabidulin, Pierre Loidreau|ArXiv.org|Jul 25, 2006

Coding theory and cryptography被引用 3

一句话总结

该论文表征了在秩度量下的最大秩距离（MRD）码的子空间子码，证明其等价于子域上更小MRD码的直和。论文提出了一种多项式时间解码算法，并表明子域子码的纠错能力可超过其标称能力，其结构完全由GLₙ(GF(q))变换决定。

ABSTRACT

Maximum rank distance codes denoted MRD-codes are the equivalent in rank metric of MDS-codes. Given any integer $q$ power of a prime and any integer $n$ there is a family of MRD-codes of length $n$ over $\FF{q^n}$ having polynomial-time decoding algorithms. These codes can be seen as the analogs of Reed-Solomon codes (hereafter denoted RS-codes) for rank metric. In this paper their subspace subcodes are characterized. It is shown that hey are equivalent to MRD-codes constructed in the same way but with smaller parameters. A specific polynomial-time decoding algorithm is designed. Moreover, it is shown that the direct sum of subspace subcodes is equivalent to the direct product of MRD-codes with smaller parameters. This implies that the decoding procedure can correct errors of higher rank than the error-correcting capability. Finally it is shown that, for given parameters, subfield subcodes are completely characterized by elements of the general linear group ${GL}_n(\FF{q})$ of non-singular $q$-ary matrices of size $n$.

研究动机与目标

• 表征由秩度量中最优码导出的子空间子码的结构。
• 研究这些子码在标称设计极限之外的纠错能力。
• 为MRD码的子空间子码开发一种多项式时间解码算法。
• 确定一般线性群GLₙ(GF(q))在分类MRD码的子域子码中的作用。

提出的方法

• 将GF(qⁿ)上的MRD码视为秩度量中RS码的类比，基于Frobenius自同态构造生成矩阵和校验矩阵。
• 应用Frobenius自同态将码字分量扩展为q元矩阵，从而实现秩距离的计算。
• 通过在GF(qⁿ)/GF(qˢ)的基上展开原始矩阵，推导出子域子码(G|GF(qˢ))的校验矩阵，利用Frobenius作用保持结构不变。
• 证明所得校验矩阵在GLₙ(GF(q))变换下等价于由n/s个GF(qˢ)上更小MRD码组成的分块对角矩阵。
• 通过将子码约化为更小的MRD码，利用各分块已知的快速解码方法，构建解码算法。
• 使用矩阵相似变换和置换矩阵，将子码的校验矩阵与更小MRD码的直和关联起来。

实验结果

研究问题

• RQ1 MRD码在秩度量下的子空间子码如何结构化，其等价类是什么？
• RQ2 子空间子码的解码能力是否可超过其标称纠错阈值？
• RQ3 一般线性群GLₙ(GF(q))在分类MRD码的子域子码中起什么作用？
• RQ4 子空间子码的维数和最小距离与原始MRD码有何关系？
• RQ5 能否为MRD码的子空间子码设计一种多项式时间解码算法？

主要发现

• MRD码的子空间子码等价于子域GF(qˢ)上更小MRD码的直和。
• 子域子码(G|GF(qˢ))的校验矩阵在GLₙ(GF(q))变换下等价于由n/s个GF(qˢ)上更小MRD码组成的分块对角矩阵。
• 通过将解码约化为对构成子码的更小MRD码的解码，设计了子空间子码的多项式时间解码算法。
• 子域子码可纠正最多t > C个错误，其解码概率为P_decoding = q^{-(n−C)(t−C) + (n/s)q^{-1} + O(q^{-2})}，表明其纠错鲁棒性超过标称能力。
• 子域子码的结构完全由GLₙ(GF(q))中的一个元素决定，即所有此类子码均源于对校验矩阵作用的单个可逆矩阵S。
• 当d−2 < s时，子码的构成码为长度s、维数s−d+1、最小秩距离d的MRD码，证实了分解的最优性。