Abstract:Given a prime $p$, let $P(t)$ be a non-constant monic polynomial in $t$ over the ring $\mathbb{Z}_{p}$ of $p$-adic integers. Let $X_{n}$ be an $n \times n$ random matrix over $\mathbb{Z}_{p}$ with independent entries that lie in any residue class modulo $p$ with probability at most $1 - \epsilon$ for a fixed real number $0 < \epsilon < 1$. We prove that as $n \rightarrow \infty$, the distribution of the cokernel $\mathrm{cok}(P(X_{n}))$ of $P(X_{n})$ converges to the distribution given by a finite product of some explicit measures that resemble Cohen--Lenstra measures. For example, the random matrix $X_{n}$ can be taken as a Haar-random matrix or a uniformly random $(0,1)$-matrix. We consider the distribution of $\mathrm{cok}(P(X_{n}))$ as a distribution of modules over $\mathbb{Z}_{p}[t]/(P(t))$, which gives us a clearer formulation in comparison to considering the distribution as that of abelian groups. For the proof, we first reduce our problem into a problem over $\mathbb{Z}/p^{k}\mathbb{Z}$, for large enough positive integer $k$, in place of $\mathbb{Z}_{p}$. Then we use a result of Sawin and Wood to reduce our problem into another problem of computing the limit of the expected number of surjective $(\mathbb{Z}/p^{k}\mathbb{Z})[t]/(P(t))$-linear maps from $\mathrm{cok}(P(X_{n}))$ modulo $p^{k}$ to a fixed finite size $(\mathbb{Z}/p^{k}\mathbb{Z})[t]/(P(t))$-module $G$. To estimate the expected number and compute the desired limit, we carefully adopt subtle techniques developed by Wood, which were originally used to compute the asymptotic distribution of the $p$-part of the sandpile group of a random graph.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper aims to study the cokernel distribution of a random matrix after polynomial evaluation over \( \mathbb{Z}_p \). Specifically, given a prime number \( p \), let \( P(t) \) be a non - constant monic polynomial over \( \mathbb{Z}_p \), and \( X_n \) be an \( n\times n \) random matrix whose elements are independent and not concentrated in a certain residue class modulo \( p \). The paper proves that as \( n\rightarrow\infty \), the distribution of \( \text{cok}(P(X_n)) \) converges to the distribution given by some explicit measures, which are similar to the Cohen - Lenstra measures.
### Main contributions
1. **Generalizes existing results**: The paper extends Wood's results by considering the cokernel distribution of \( P(X_n) \), not just the cokernel distribution of the matrix \( X_n \) itself. This makes the problem more complex but also more general.
2. **Handles the module structure**: The paper considers not only the distribution of \( \text{cok}(P(X_n)) \) as an abelian group, but also its distribution as a \( \mathbb{Z}_p[t]/(P(t)) \) - module, which provides a clearer formulation.
3. **Uses advanced techniques**: To estimate the expected value and calculate the required limit, the paper adopts the subtle techniques developed by Wood, which were originally used to calculate the asymptotic distribution of the \( p \)- part of the sandpile group of a random graph.
### Specific problems
- **Cokernel distribution after polynomial evaluation**: Study the distribution of \( \text{cok}(P(X_n)) \), where \( P(t) \) is a non - constant monic polynomial and \( X_n \) is an \( n\times n \) random matrix.
- **Convergence**: Prove that as \( n\rightarrow\infty \), the distribution of \( \text{cok}(P(X_n)) \) converges to a distribution given by an explicit measure.
- **Module structure**: Consider the distribution of \( \text{cok}(P(X_n)) \) as a \( \mathbb{Z}_p[t]/(P(t)) \) - module, rather than just as an abelian group.
### Conclusion
Through detailed mathematical derivations and advanced techniques, the paper successfully solves the above problems, providing new perspectives and methods for understanding the cokernel distribution of random matrices after polynomial evaluation over \( \mathbb{Z}_p \). This result not only generalizes existing theories but also provides a basis for future research.