English

Probability of super-regular matrices and MDS codes over finite fields

Information Theory 2026-05-01 v2 math.IT

Abstract

Let CC be an [n,k][n,k] linear code chosen uniformly at random over a finite field Fq\mathbb{F}_q of size qq. The following asymptotic probability of CC being maximum distance separable (MDS) as q,n,kq,n,k\to\infty is known: If 1q(nk)0\frac{1}{q}\binom{n}{k} \to 0, then P(C is MDS)1P(C\ \text{is MDS}) \to 1. We demonstrate that this growth rate is in fact a threshold by proving: If 1q(nk)\frac{1}{q}\binom{n}{k} \to \infty, then P(C is MDS)0P(C\ \text{is MDS}) \to 0. A matrix is (contiguous\textit{contiguous}) super-regular\textit{super-regular} if all of its (contiguous) square submatrices are nonsingular. The above results imply that for any k×kk \times k matrix AA chosen uniformly at random over Fq\mathbb{F}_q, the following hold: If 4k/kq0\frac{4^k/\sqrt{k}}{q} \to 0, then P(A is super-regular)1P(A \text{ is super-regular}) \to 1. If 4k/kq\frac{4^k/\sqrt{k}}{q}\to \infty, then P(A is super-regular)0P(A \text{ is super-regular}) \to 0. We also obtain the following asymptotic probabilities for two variations of the above questions: If 1q(nk)λ(0,)\frac{1}{q}\binom{n}{k} \to \lambda \in (0,\infty) and k/n0k/n\to 0, then P(C is MDS)eλP(C\ \text{is MDS}) \to e^{-\lambda}. If k3/3qλ[0,]\frac{k^3/3}{q} \to \lambda \in [0,\infty], then P(A is contiguous super-regular)eλP(A \text{ is contiguous super-regular}) \to e^{-\lambda}. The number of super-regular 3×33\times 3 matrices is known to be a polynomial in qq. We show that the number of contiguous super-regular 3×33\times 3 matrices is also a polynomial. Finally, for 4×44\times 4 matrices, we show that the number of super-regular matrices is not a polynomial, nor even a quasi-polynomial of period less than 77, whereas our experimental evidence suggests that the number of contiguous super-regular matrices is a polynomial.

Keywords

Cite

@article{arxiv.2603.20983,
  title  = {Probability of super-regular matrices and MDS codes over finite fields},
  author = {Rathinakumar Appuswamy and Marco Bazzani and Spencer Congero and Joseph Connelly and Matthew Ekaireb and Kenneth Zeger},
  journal= {arXiv preprint arXiv:2603.20983},
  year   = {2026}
}
R2 v1 2026-07-01T11:31:47.332Z