The central limit theorem for entries of random matrices with specific rank over finite fields

Chin Hei Chan,Maosheng Xiong
2024-09-16
Abstract:Let $\mathbb{F}_q$ be the finite field of order $q$, and $\mathcal{A}$ a non-empty proper subset of $\mathbb{F}_q$. Let $\mathbf{M}$ be a random $m \times n$ matrix of rank $r$ over $\mathbb{F}_q$ taken with uniform distribution. It was proved recently by Sanna that as $m,n \to \infty$ and $r,q,\mathcal{A}$ are fixed, the number of entries of $\mathbf{M}$ in $\mathcal{A}$ approaches a normal distribution. The question was raised as to whether or not one can still obtain a central limit theorem of some sort when $r$ goes to infinity in a way controlled by $m$ and $n$. In this paper we answer this question affirmatively.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: when the rank \(r\) of a matrix grows in a certain way as the dimensions \(m\) and \(n\) of the matrix increase, whether a central limit theorem in some form can still be obtained. Specifically, the paper studies the asymptotic distribution problem of the number \(ct_A(M)\) of elements in a non - empty proper subset \(A\subset F_q\) in an \(m\times n\) matrix \(M\) randomly selected over a finite field \(F_q\), with rank \(r\) and uniformly distributed matrix elements. Previous research has proven that when \(m, n\to\infty\) and \(r, q\) are fixed, \(ct_A(M)\) asymptotically follows a normal distribution. However, when \(r\) also changes as \(m\) and \(n\) increase, it is still unclear whether this conclusion still holds. The main contribution of this paper lies in answering this question affirmatively and providing the specific form of the asymptotic distribution of \(ct_A(M)\) when \(r\) grows. The specific conditions are as follows: 1. When \(\lim_{m,n\to\infty}\frac{q^r}{\min\{m,n\}} = 0\); 2. When \(\lim_{m,n\to\infty}\frac{q^r}{(m + n)^a}=\infty\) for any fixed \(a>0\); 3. When \(m\asymp n\) and \(\lim_{m\to\infty}\frac{q^r}{m}=\infty\). Under these conditions, after appropriate standardization, the distribution of \(ct_A(M)\) still converges to the standard normal distribution.