Abstract:We give new constructions of two classes of algebraic code families that are efficiently list decodable with small output list size from a fraction 1-R-ε of adversarial errors, where R is the rate of the code, for any desired positive constant ε. The alphabet size depends only ε and is nearly optimal. The first class of codes are obtained by folding algebraic-geometric codes using automorphisms of the underlying function field. The second class of codes are obtained by restricting evaluation points of an algebraic-geometric code to rational points from a subfield . In both cases, we develop a linear-algebraic approach to perform list decoding, which pins down the candidate messages to a subspace with a nice “periodic” structure. To prune this subspace and obtain a good bound on the list size, we pick subcodes of these codes by pre-coding into certain subspace-evasive sets that are guaranteed to have small intersection with the sort of periodic subspaces that arise in our list decoding. We develop two approaches for constructing such subspace-evasive sets. The first is a Monte Carlo construction of hierearchical subspace-evasive (h.s.e.) sets that leads to excellent list size but is not explicit. The second approach exploits a further ultra-periodicity of our subspaces and uses a novel construct called subspace designs , which were subsequently constructed explicitly and also found further applications in pseudorandomness. To get a family of codes over a fixed alphabet size, we instantiate our approach with algebraic-geometric codes based on the Garcia–Stichtenoth tower of function fields. Combining this with pruning via h.s.e. sets yields codes list-decodable up to a 1-R-ε error fraction with list size bounded by O (1/ε), matching the existential bound for random codes up to constant factors. Further, the alphabet size can be made exp ( Õ (1/ε 2 )), which is not much worse than the lower bound of exp (Ω (1/ε)). The parameters we achieve are thus quite close to the existential bounds in all three aspects (error-correction radius, alphabet size, and list size) simultaneously. This construction is, however, Monte Carlo and the claimed list-decoding property only holds with high probability. Once the code is (efficiently) sampled, the encoding/decoding algorithms are deterministic with a running time O _ε ( N c ) for an absolute constant c , where N is the code’s block length. Using subspace designs instead for the pruning, our approach yields 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 exp (Õ(1/ε 2 )). The list-size bound is upper bounded by a very slowly growing function of the block length N ; in particular, it is at most O(log ( r ) N ) (the r th iterated logarithm) for any fixed integer r . The explicit construction avoids the shortcoming of the Monte Carlo sampling at the expense of a slightly worse list size.

Modified OSD Algorithm with Reduced Gaussian Elimination

Modified OSD Algorithm With Reduced Gaussian Elimination

Ordered-Statistics Decoding with Adaptive Gaussian Elimination Reduction for Short Codes

Linear-Equation Ordered-Statistics Decoding

Representative Ordered Statistics Decoding of Polar Codes

Optimal Rate List Decoding over Bounded Alphabets Using Algebraic-Geometric Codes.

Low-Latency Adaptive Ordered Statistic Decoding of Polar Codes.

Shortened LDPC codes accelerate OSD decoding performance

Finding the minimum distance and decoding linear codes with Gaussian Elimination Method

New Golay decoding method using auto-encoder and OSD

A Modified Greedy Algorithm for LDPC Encoder Implementation

Average-case analysis of the Gaussian Elimination with Partial Pivoting

A Random Coding Approach to Performance Analysis of the Ordered Statistic Decoding with Local Constraints

Masking Gaussian Elimination at Arbitrary Order, with Application to Multivariate- and Code-Based PQC

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

Improvement of ordered statistics decoding for low-rate BCH codes

Quasi-OSD of Binary Image of RS Codes with Applications to JSCC

Block Gauss Elimination Approach to Construction of the Generator Matrices of Quasi-Cycle LDPC Codes

Complex Orthogonal Designs with Forbidden $2 \times 2$ Submatrices

On the Decoding of Algebraic-Geometric Codes