[论文解读] Bounds on List Decoding Gabidulin Codes

Antonia Wachter-Zeh|arXiv (Cornell University)|May 2, 2012

Coding theory and cryptography参考文献 2被引用 10

一句话总结

本文在秩度量解码下建立了Gabidulin码列表大小的紧致界，表明当超过最小距离的一半——具体而言，超过Johnson半径时，列表大小可能呈指数级增长，从而排除了多项式时间列表解码的可能性。本文通过子空间结构推导出上界，并通过下界证明了指数级增长，解决了关于这些码在标准解码半径之外是否可能实现高效列表解码的开放问题。

ABSTRACT

An open question about Gabidulin codes is whether polynomial-time list decoding beyond half the minimum distance is possible or not. In this contribution, we give a lower and an upper bound on the list size, i.e., the number of codewords in a ball around the received word. The lower bound shows that if the radius of this ball is greater than the Johnson radius, this list size can be exponential and hence, no polynomial-time list decoding is possible. The upper bound on the list size uses subspace properties.

研究动机与目标

• 为解决Gabidulin码在最小秩距离一半以上是否可实现多项式时间列表解码的开放问题。
• 在秩度量下，建立围绕接收字的半径τ球内最大码字数的紧致界。
• 确定在Johnson半径之外，列表大小是否呈多项式或指数级增长，以判断高效列表解码的可行性。
• 通过分析秩度量约束下列表大小的行为，将Reed–Solomon码的见解推广至Gabidulin码。

提出的方法

• 通过构造一个接收字，使得当τ超过Johnson半径时，其秩距离τ内的码字数量超过多项式增长，从而推导出列表大小的下界。
• 利用不同码字c_i, c_j（秩为t）的误差矩阵(r - c_i)的行空间不能共享维度≥ 2t - d + 1的子空间的性质。
• 应用高斯二项式系数的组合界，推导出秩距离τ内码字数量的上界。
• 建立上界为∑_{t=⌊(d−1)/2⌋+1}^{τ} [n choose 2t−d+1]_q / [t choose 2t−d+1]_q，当τ > ⌊(d−1)/2⌋时，该上界在n上呈指数级增长。
• 利用不等式[n choose s]_q ≤ 4q^{s(n−s)}对高斯二项式系数进行有界，推导出闭式指数上界。
• 将推导出的上界与τ = d/2（d为偶数）时的已知结果进行比较，确认在特殊情况下的一致性。

实验结果

研究问题

• RQ1 Gabidulin码在超过最小距离一半后是否可实现多项式时间列表解码？
• RQ2 在接收字周围秩度量球半径τ内，列表大小的渐近增长速率如何？
• RQ3 当τ超过Johnson半径时，列表大小是否在码长n上保持多项式增长？
• RQ4 能否利用误差矩阵中子空间的结构来限制给定秩距离内的码字数量？

主要发现

• 当半径τ超过Johnson半径时，Gabidulin码的列表大小在码长n上可能呈指数级增长，因此在此范围内无法实现多项式时间列表解码。
• 建立了下界，表明对于某些接收字，当τ > ⌊(d−1)/2⌋时，其秩距离τ内的码字数量呈指数级增长。
• 推导出最大列表大小的上界为∑_{t=⌊(d−1)/2⌋+1}^{τ} [n choose 2t−d+1]_q / [t choose 2t−d+1]_q，当τ > ⌊(d−1)/2⌋时，该上界在n上呈指数级增长。
• 该上界与τ = d/2（d为偶数）时的已有结果一致，确认了在特殊情形下的正确性。
• 上界的指数性质表明，该界本身无法确认多项式时间列表解码算法的存在性。
• 研究结果通过证明在Johnson半径之外，由于列表大小呈指数级增长，因此无法实现多项式时间列表解码，从而解决了该开放问题。