Abstract:Higher order MDS codes are an interesting generalization of MDS codes recently introduced by Brakensiek, Gopi and Makam (IEEE Trans. Inf. Theory 2022). In later works, they were shown to be intimately connected to optimally list-decodable codes and maximally recoverable tensor codes. Therefore (explicit) constructions of higher order MDS codes over small fields is an important open problem. Higher order MDS codes are denoted by $\operatorname{MDS}(\ell)$ where $\ell$ denotes the order of generality, $\operatorname{MDS}(2)$ codes are equivalent to the usual MDS codes. The best prior lower bound on the field size of an $(n,k)$-$\operatorname{MDS}(\ell)$ codes is $\Omega_\ell(n^{\ell-1})$, whereas the best known (non-explicit) upper bound is $O_\ell(n^{k(\ell-1)})$ which is exponential in the dimension. In this work, we nearly close this exponential gap between upper and lower bounds. We show that an $(n,k)$-$\operatorname{MDS}(3)$ codes requires a field of size $\Omega_k(n^{k-1})$, which is close to the known upper bound. Using the connection between higher order MDS codes and optimally list-decodable codes, we show that even for a list size of 2, a code which meets the optimal list-decoding Singleton bound requires exponential field size; this resolves an open question from Shangguan and Tamo (STOC 2020 / SIAM J. on Computing 2023). We also give explicit constructions of $(n,k)$-$\operatorname{MDS}(\ell)$ code over fields of size $n^{(\ell k)^{O(\ell k)}}$. The smallest non-trivial case where we still do not have optimal constructions is $(n,3)$-$\operatorname{MDS}(3)$. In this case, the known lower bound on the field size is $\Omega(n^2)$ and the best known upper bounds are $O(n^5)$ for a non-explicit construction and $O(n^{32})$ for an explicit construction. In this paper, we give an explicit construction over fields of size $O(n^3)$ which comes very close to being optimal.

New Construction of (k + R,k) Systematic MDS Array Codes with R ≤ 4.

New Systematic MDS Array Codes with Two Parities

A Unified Framework of Array Codes Based on Vector Linear Network Coding.

New Constructions of MDS Array Codes and Optimal Locally Repairable Array Codes

New Constructions of Large Cyclic Subspace Codes and Sidon Spaces.

New families of non-Reed-Solomon MDS codes

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

On the Structure of Higher Order MDS Codes

Constructions of MDS Self-dual Codes from Short length

The extended codes of a family of reversible MDS cyclic codes

New Constructions of q-Ary MDS Array Codes With Multiple Parities and Their Effective Decoding

On additive MDS codes with linear projections

New Constructions of <i>q</i>-Ary MDS Array Codes With Multiple Parities and Their Effective Decoding

Construction of Systematic (k + 1,k) Memory MDS Sliding Window Codes over Embedded Fields

Construction of MDS Euclidean Self-Dual Codes Via Two Subsets

An Infinite Family of Linear Codes Supporting 4-Designs

An Explicit Expression for Euclidean Self-Dual Cyclic Codes of Length 2k over Galois Ring GR(4, M)

A New Construction of Exact-Repair MSR Codes Using Linearly Dependent Vectors.

New MDS Euclidean Self-orthogonal Codes

An Explicit Construction of <tex>$q\text{-ary}$</tex> MDS Array Codes and Their Efficient Decoding

Improved Field Size Bounds for Higher Order MDS Codes