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.

Geometric decoding of subspace codes with explicit Schubert calculus applied to spread codes

Schubert Subspace Codes

Majority-logic Decoding with Subspace Designs

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

Majority Logic Decoding for Certain Schubert Codes Using Lines in Schubert Varieties

Explicit List-Decodable Rank-Metric and Subspace Codes Via Subspace Designs.

Algebraic-geometric codes and multidimensional cyclic codes: a unified theory and algorithms for decoding using Grobner bases

On the Decoding of Algebraic-Geometric Codes

Power Error Locating Pairs

An Error-Code Perspective on Metzner--Kapturowski-like Decoders

Error-Correcting Codes in Projective Spaces via Rank-Metric Codes and Ferrers Diagrams

Equidistant subspace codes

Decoding Analog Subspace Codes: Algorithms for Character-Polynomial Codes

Splitting decoders for correcting hypergraph faults

List and Probabilistic Unique Decoding of Folded Subspace Codes

Error-Correcting Codes on Projective Bundles over Deligne-Lusztig varieties

Subspace Coding for Spatial Sensing

Orbit Structure of Grassmannian G2,m and a Decoder for Grassmann Code C(2, m)

Almost Linear Decoder for Optimal Geometrically Local Quantum Codes

On Decoding High-Order Interleaved Sum-Rank-Metric Codes

Entanglement-assisted quantum error-correcting codes from subfield subcodes of projective Reed-Solomon codes