Abstract:We consider Reed-Solomon (RS) codes whose evaluation points belong to a subfield, and give a linear-algebraic list decoding algorithm that can correct a fraction of errors approaching the code distance, while pinning down the candidate messages to a well-structured affine space of dimension a constant factor smaller than the code dimension. By pre-coding the message polynomials into a subspace-evasive set, we get a Monte Carlo construction of a subcode of Reed-Solomon codes that can be list decoded from a fraction (1-R-ε) of errors in polynomial time (for any fixed ε > 0) with a list size of O(1/ε). Our methods extend to algebraic-geometric (AG) codes, leading to a similar claim over constant-sized alphabets. This matches parameters of recent results based on folded variants of RS and AG codes. but our construction here gives subcodes of Reed-Solomon and AG codes themselves (albeit with restrictions on the evaluation points). Further, the underlying algebraic idea also extends nicely to Gabidulin's construction of rank-metric codes based on linearized polynomials. This gives the first construction of positive rate rank-metric codes list decodable beyond half the distance, and in fact gives codes of rate R list decodable up to the optimal (1-R-ε) fraction of rank errors. A similar claim holds for the closely related subspace codes studied by Koetter and Kschischang. We introduce a new notion called subspace designs as another way to pre-code messages and prune the subspace of candidate solutions. Using these, we also get a deterministic construction of a polynomial time list decodable subcode of RS codes. By using a cascade of several subspace designs, we extend our approach to AG codes, which gives the first deterministic construction of an algebraic code family of rate R with efficient list decoding from 1-R-ε fraction of errors over an alphabet of constant size (that depends only on ε). The list size bound is almost a constant (governed by log* (block length)), and the code can be constructed in quasi-polynomial time.

An Upper Bound on the Error Probability of RPA Decoding of Reed-Muller Codes Over the BSC

Machine Learning-Aided Efficient Decoding of Reed-Muller Subcodes

Reed-Muller Codes on BMS Channels Achieve Vanishing Bit-Error Probability for All Rates Below Capacity

An Upper-Bound on the Decoding Failure Probability of the LRPC Decoder

Pipelined Architecture for Soft-decision Iterative Projection Aggregation Decoding for RM Codes

Optimization and Simplification of PCPA Decoder for Reed-Muller Codes

Improved Adaptive Belief Propagation Decoding of Reed-Solomon Codes with SPC Codes

A proof that Reed-Muller codes achieve Shannon capacity on symmetric channels

Reed-Muller codes have vanishing bit-error probability below capacity: a simple tighter proof via camellia boosting

Perturbed Adaptive Belief Propagation Decoding for High-Density Parity-Check Codes

Probability of Error for Optimal Codes in a Reconfigurable Intelligent Surface Aided URLLC System

Hardware Implementation of Projection-Aggregation Decoders for Reed-Muller Codes

Decoding of Interleaved Reed-Solomon Codes Using Improved Power Decoding

Recursive Subproduct Codes with Reed-Muller-like Structure

An Earlier Termination Algorithm to Find Error Locator Polynomial in Error Correction of RS Codes

List Decoding Reed-Solomon, Algebraic-Geometric, and Gabidulin Subcodes Up to the Singleton Bound.

Bounded-degree Low Rank Parity Check Codes

On Decoder Ties for the Binary Symmetric Channel with Arbitrarily Distributed Input

Unified architecture for Reed-Solomon decoder combined with burst-error correction

Successive Cancellation Inactivation Decoding for Modified Reed-Muller and eBCH Codes

Error Correction Decoding Algorithms of RS Codes Based on An Earlier Termination Algorithm to Find The Error Locator Polynomial