English

Efficiently list-decodable punctured Reed-Muller codes

Information Theory 2017-04-04 v3 Computational Complexity math.IT

Abstract

The Reed-Muller (RM) code encoding nn-variate degree-dd polynomials over Fq{\mathbb F}_q for d<qd < q, with its evaluation on Fqn{\mathbb F}_q^n, has relative distance 1d/q1-d/q and can be list decoded from a 1O(d/q)1-O(\sqrt{d/q}) fraction of errors. In this work, for dqd \ll q, we give a length-efficient puncturing of such codes which (almost) retains the distance and list decodability properties of the Reed-Muller code, but has much better rate. Specificially, when q=Ω(d2/ϵ2)q =\Omega( d^2/\epsilon^2), we given an explicit rate Ω(ϵd!)\Omega\left(\frac{\epsilon}{d!}\right) puncturing of Reed-Muller codes which have relative distance at least (1ϵ)(1-\epsilon) and efficient list decoding up to (1ϵ)(1-\sqrt{\epsilon}) error fraction. This almost matches the performance of random puncturings which work with the weaker field size requirement q=Ω(d/ϵ2)q= \Omega( d/\epsilon^2). We can also improve the field size requirement to the optimal (up to constant factors) q=Ω(d/ϵ)q =\Omega( d/\epsilon), at the expense of a worse list decoding radius of 1ϵ1/31-\epsilon^{1/3} and rate Ω(ϵ2d!)\Omega\left(\frac{\epsilon^2}{d!}\right). The first of the above trade-offs is obtained by substituting for the variables functions with carefully chosen pole orders from an algebraic function field; this leads to a puncturing for which the RM code is a subcode of a certain algebraic-geometric code (which is known to be efficiently list decodable). The second trade-off is obtained by concatenating this construction with a Reed-Solomon based multiplication friendly pair, and using the list recovery property of algebraic-geometric codes.

Keywords

Cite

@article{arxiv.1508.00603,
  title  = {Efficiently list-decodable punctured Reed-Muller codes},
  author = {Venkatesan Guruswami and Lingfei Jin and Chaoping Xing},
  journal= {arXiv preprint arXiv:1508.00603},
  year   = {2017}
}

Comments

14 pages, To appear in IEEE Transactions on Information Theory

R2 v1 2026-06-22T10:25:33.114Z