Abstract:The recently-emerging field of higher order MDS codes has sought to unify a number of concepts in coding theory. Such areas captured by higher order MDS codes include maximally recoverable (MR) tensor codes, codes with optimal list-decoding guarantees, and codes with constrained generator matrices (as in the GM-MDS theorem). By proving these equivalences, Brakensiek-Gopi-Makam showed the existence of optimally list-decodable Reed-Solomon codes over exponential sized fields. Building on this, recent breakthroughs by Guo-Zhang and Alrabiah-Guruswami-Li have shown that randomly punctured Reed-Solomon codes achieve list-decoding capacity (which is a relaxation of optimal list-decodability) over linear size fields. We extend these works by developing a formal theory of relaxed higher order MDS codes. In particular, we show that there are two inequivalent relaxations which we call lower and upper relaxations. The lower relaxation is equivalent to relaxed optimal list-decodable codes and the upper relaxation is equivalent to relaxed MR tensor codes with a single parity check per column. We then generalize the techniques of GZ and AGL to show that both these relaxations can be constructed over constant size fields by randomly puncturing suitable algebraic-geometric codes. For this, we crucially use the generalized GM-MDS theorem for polynomial codes recently proved by Brakensiek-Dhar-Gopi. We obtain the following corollaries from our main result. First, randomly punctured AG codes of rate $R$ achieve list-decoding capacity with list size $O(1/\epsilon)$ and field size $\exp(O(1/\epsilon^2))$. Prior to this work, AG codes were not even known to achieve list-decoding capacity. Second, by randomly puncturing AG codes, we can construct relaxed MR tensor codes with a single parity check per column over constant-sized fields, whereas (non-relaxed) MR tensor codes require exponential field size.

Griesmer type bounds for additive codes over finite fields, integral and fractional MDS codes

Griesmer type bounds for additive codes over finite fields, integral and fractional MDS codes

New non-GRS type MDS codes and NMDS codes

Improved Field Size Bounds for Higher Order MDS Codes

More MDS codes of non-Reed-Solomon type

New MDS self-dual codes over finite fields $\F_{r^2}$

On additive MDS codes with linear projections

On $\ell$-MDS codes and a conjecture on infinite families of $1$-MDS codes

Generalized GM-MDS: Polynomial Codes are Higher Order MDS

AG Codes Achieve List-decoding Capacity over Constant-sized Fields

Many Non-Reed-Solomon Type MDS Codes From Arbitrary Genus Algebraic Curves

An asymptotic property of quaternary additive codes

Linear codes in the folded Hamming distance and the quasi MDS property

Extended codes and deep holes of MDS codes

Galois self-orthogonal MDS codes with large dimensions

The dual codes of two families of BCH codes

On the Structure of Higher Order MDS Codes

Critical pairs for the Product Singleton Bound

MDS Generalized Convertible Code