Sharp threshold for universality of cokernels of random matrices over finite fields
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908659138691072 |
|---|---|
| author | Lee, Jungin |
| author_facet | Lee, Jungin |
| contents | In this paper, we determine the sharp threshold for universality of cokernels of random matrices over finite fields. More precisely, we prove the following: given any constant $c>1$, let $A(n)$ be a random $n \times n$ matrix over $\mathbb{F}_p$ whose entries are independent and take any given value of $\mathbb{F}_p$ with probability at most $1 - \frac{c \log n}{n}$. Then the cokernels of $A(n)$ converge in distribution, as $n \to \infty$, to the same limiting law as the cokernels of uniform random $n \times n$ matrices over $\mathbb{F}_p$. This answers an open problem posed by Wood (2022). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_13070 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Sharp threshold for universality of cokernels of random matrices over finite fields Lee, Jungin Probability Combinatorics In this paper, we determine the sharp threshold for universality of cokernels of random matrices over finite fields. More precisely, we prove the following: given any constant $c>1$, let $A(n)$ be a random $n \times n$ matrix over $\mathbb{F}_p$ whose entries are independent and take any given value of $\mathbb{F}_p$ with probability at most $1 - \frac{c \log n}{n}$. Then the cokernels of $A(n)$ converge in distribution, as $n \to \infty$, to the same limiting law as the cokernels of uniform random $n \times n$ matrices over $\mathbb{F}_p$. This answers an open problem posed by Wood (2022). |
| title | Sharp threshold for universality of cokernels of random matrices over finite fields |
| topic | Probability Combinatorics |
| url | https://arxiv.org/abs/2511.13070 |