[论文解读] List-decoding of Subspace Codes and Rank-Metric Codes up to Singleton Bound

Hessam Mahdavifar, Alexander Vardy|arXiv (Cornell University)|Feb 4, 2012

Coding theory and cryptography参考文献 6被引用 6

一句话总结

该论文提出了一种新颖的线性代数列表译码算法，用于子空间码和折叠Gabidulin码，实现了达到Singleton界的信息论纠错极限。通过使用$ s+1 $-变量插值多项式并利用线性化多项式，该方法实现了列表译码，其译码半径趋近于$ 1 - R $，其中$ R $为码率，且列表大小被限制在$ \mathcal{Q}^{s-1} $以内，从而实现了对秩度量码的最优纠错能力。

ABSTRACT

Subspace codes and rank-metric codes can be used to correct errors and erasures in network, with linear network coding. Subspace codes were introduced by Koetter and Kschischang to correct errors and erasures in networks where topology is unknown (the noncoherent case). In a previous work, we have developed a family of subspace codes, based upon the Koetter-Kschichang construction, which are efficiently list decodable. Using these codes, we achieved a better decoding radius than Koetter-Kschischiang codes at low rates. Herein, we introduce a new family of subspace codes based upon a different approach which leads to a linear-algebraic list-decoding algorithm. The resulting error correction radius can be expressed as follows: for any integer $s$, our list-decoder using $s+1$-interpolation polynomials guarantees successful recovery of the message subspace provided the normalized dimension of errors is at most $s(1-sR)$. The same list-decoding algorithm can be used to correct erasures as well as errors. The size of output list is at most $Q^{s-1}$, where $Q$ is the size of the field that message symbols are chosen from. Rank-metric codes are suitable for error correction in the case where the network topology and the underlying network code are known (the coherent case). Gabidulin codes are a well-known class of algebraic rank-metric codes that meet the Singleton bound on the minimum rank metric of a code. In this paper, we introduce a folded version of Gabidulin codes analogous to the folded Reed-Solomon codes of Guruswami and Rudra along with a list-decoding algorithm for such codes. Our list-decoding algorithm makes it possible to recover the message provided that the normalized rank of error is at most $1-R-ε$, for any $ε> 0$. Notably this achieves the information theoretic bound on the decoding radius of a rank-metric code.

研究动机与目标

• 开发一种子空间码的列表译码算法，以在速率与纠错能力之间实现超越先前构造的权衡。
• 将列表译码框架扩展至秩度量码，特别是折叠Gabidulin码，以实现信息论上的纠错极限。
• 设计一种避免使用重数插值的线性代数译码方法，简化算法的同时保持高译码半径。
• 证明译码半径可对任意$ \epsilon > 0 $趋近于$ 1 - R - \epsilon $，与秩度量码的理论极限一致。

提出的方法

• 引入一类基于线性化多项式上$ s+1 $-变量插值多项式的新型子空间码。
• 采用线性方程组进行插值，另用一组线性方程求解所有可能的消息子空间，确保解空间为线性。
• 定义一个线性化插值多项式$ E(X) $，以捕捉错误结构，并利用$ f_{\mathbfsl{u}}(X), f_{\mathbfsl{u}}(\gamma X), \dots, f_{\mathbfsl{u}}(\gamma^{s-1}X) $构造。
• 利用$ E(X) $存在$ (g-t)(h-s+1) $个线性无关根的事实，在充分条件下证明$ E(X) \equiv 0 $，从而确保正确译码。
• 应用折叠Gabidulin码构造，类似于折叠Reed-Solomon码，以实现高码率的列表译码，纠错能力达到$ 1 - R - \epsilon $。
• 通过不等式(17)推导译码半径界，表明当$ t < \frac{gs}{s+1}\left(1 - \frac{h}{h-s+1}R\right) $时，可保证正确译码。

实验结果

研究问题

• RQ1 能否为子空间码设计一种避免使用重数插值复杂度的线性代数列表译码算法？
• RQ2 列表译码秩度量码的最大归一化纠错半径是多少？能否达到Singleton界？
• RQ3 折叠Gabidulin码能否实现对$ 1 - R - \epsilon $比例错误的列表译码，其中$ \epsilon > 0 $？
• RQ4 列表大小如何随码参数变化，特别是随域大小和插值多项式数量的变化？

主要发现

• 所提出的列表译码算法在归一化错误维度不超过$ s(1 - sR) $时，可保证成功恢复消息子空间，优于先前构造。
• 输出列表的大小最多为$ \mathcal{Q}^{s-1} $，其中$ \mathcal{Q} $为消息符号所取自的域的大小。
• 对于折叠Gabidulin码，当$ s $和$ h $在$ s \ll h $条件下增大时，归一化译码半径趋近于$ 1 - R $，达到信息论极限。
• 该算法对任意$ \epsilon > 0 $可实现$ 1 - R - \epsilon $的译码半径，且列表大小被限制在$ \mathcal{Q}^{O(1/\epsilon)} $以内，证明了纠错能力的最优性。
• 线性代数方法避免了插值中对重数的需求，简化了译码过程，同时保持了高性能。