Abstract:In a recent paper, Brakensiek, Gopi and Makam introduced higher order MDS codes as a generalization of MDS codes. An order-$\ell$ MDS code, denoted by $\operatorname{MDS}(\ell)$, has the property that any $\ell$ subspaces formed from columns of its generator matrix intersect as minimally as possible. An independent work by Roth defined a different notion of higher order MDS codes as those achieving a generalized singleton bound for list-decoding. In this work, we show that these two notions of higher order MDS codes are (nearly) equivalent. We also show that generic Reed-Solomon codes are $\operatorname{MDS}(\ell)$ for all $\ell$, relying crucially on the GM-MDS theorem which shows that generator matrices of generic Reed-Solomon codes achieve any possible zero pattern. As a corollary, this implies that generic Reed-Solomon codes achieve list decoding capacity. More concretely, we show that, with high probability, a random Reed-Solomon code of rate $R$ over an exponentially large field is list decodable from radius $1-R-\epsilon$ with list size at most $\frac{1-R-\epsilon}{\epsilon}$, resolving a conjecture of Shangguan and Tamo.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is whether Reed - Solomon codes can reach the list - decoding capacity. Specifically, the paper explores the performance of general Reed - Solomon codes in list - decoding and proves that these codes can reach the list - decoding capacity. In addition, the paper also studies the relationships between different definitions of high - order MDS codes and shows that these definitions are actually (almost) equivalent. ### Main Problems 1. **List - Decoding Ability of Reed - Solomon Codes** - The paper attempts to prove whether general Reed - Solomon codes can reach the list - decoding capacity. - Specifically, for a general Reed - Solomon code $C$ with a rate of $R$, the paper proves that $C$ is $(\rho, L)$-list - decodable, where: \[ \rho = 1 - R - \frac{1 - R}{L + 1} \] - This means that, for a given rate $R$, the general Reed - Solomon code can be list - decoded within a radius of $1 - R-\epsilon$, and the list size does not exceed $\frac{1 - R-\epsilon}{\epsilon}$. 2. **Relationships between Different Definitions of High - Order MDS Codes** - The paper explores the relationships between high - order MDS codes under different definitions (such as MDS($\ell$), LD - MDS($\ell$) and GZP($\ell$)). - Through a series of proofs, the paper shows that these different definitions are actually (almost) equivalent. ### Key Contributions 1. **Proving that General Reed - Solomon Codes Reach List - Decoding Capacity** - By introducing the GM - MDS theorem, the paper proves that general Reed - Solomon codes can achieve any possible zero pattern. - Further, the paper proves that these codes can reach the list - decoding capacity with high probability, thus solving the conjecture proposed by Shangguan and Tamo. 2. **Equivalence of High - Order MDS Codes** - The paper shows that the definitions of the three high - order MDS codes MDS($\ell$), LD - MDS($\ell$) and GZP($\ell$) are (almost) equivalent. - This result provides a unified framework for understanding the properties of high - order MDS codes. ### Methods and Results - **Methods** - The paper uses methods of combinatorial mathematics and linear algebra to prove the main conclusions. - By introducing and proving some new theorems, such as the calculation method of the general intersection dimension, the paper solves the key technical problems. - **Results** - It is proved that general Reed - Solomon codes can reach the list - decoding capacity with high probability. - The consistency between high - order MDS codes under different definitions is shown, providing a theoretical basis for subsequent research. ### Conclusion This paper successfully proves that general Reed - Solomon codes can reach the list - decoding capacity and shows the equivalence between high - order MDS codes under different definitions. These results not only deepen the understanding of Reed - Solomon codes and high - order MDS codes but also provide important theoretical support for the development of coding theory.

Generic Reed-Solomon Codes Achieve List-decoding Capacity

Generalized GM-MDS: Polynomial Codes are Higher Order MDS

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

More MDS codes of non-Reed-Solomon type

Constructions of non-Generalized Reed-Solomon MDS codes

On the Structure of Higher Order MDS Codes

Improved List-Decodability of Reed--Solomon Codes via Tree Packings

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

Randomly punctured Reed--Solomon codes achieve list-decoding capacity over linear-sized fields

Explicit Subcodes of Reed-Solomon Codes that Efficiently Achieve List Decoding Capacity

Random Reed-Solomon Codes Achieve the Half-Singleton Bound for Insertions and Deletions over Linear-Sized Alphabets

Improved Field Size Bounds for Higher Order MDS Codes

A Note on Self-Dual Generalized Reed-Solomon Codes

Combinatorial list-decoding of Reed-Solomon codes beyond the Johnson radius

New Constructions of Self-Dual Generalized Reed-Solomon Codes

New families of non-Reed-Solomon MDS codes

Improved List-Decodability and List-Recoverability of Reed–Solomon Codes via Tree Packings

LDPC Codes Achieve List Decoding Capacity

MDS Generalized Convertible Code

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