László Mérai,Igor E. Shparlinski
Abstract:We consider the set $\mathcal{M}_n(\mathbb{Z}; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain upper and lower bounds on the number of distinct irreducible characteristic polynomials which correspond to these matrices and thus on the number of distinct eigenvalues of these matrices. In particular, we improve some results of A. Abrams, Z. Landau, J. Pommersheim and N. Srivastava (2022).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Estimate the number of distinct irreducible characteristic polynomials of \(n\times n\) matrices with integer elements of bounded height, and the number of distinct eigenvalues of these matrices**. Specifically, the author studied the set \(M_n(\mathbb{Z}; H)\), that is, all \(n\times n\) integer matrices whose element magnitudes do not exceed \(H\), and gave upper and lower bounds on the number of irreducible characteristic polynomials corresponding to these matrices.
### Problem Background and Motivation
1. **Existing Work**:
- The article was inspired by the work of Abrams, Landau, Pommersheim and Srivastava (2022), who studied the stability analysis of numerical linear algebra algorithms.
- Previous work [1] provided some preliminary results, but the author of this paper believes that this type of integer matrix counting problem has independent research value in itself.
2. **Definition of Key Quantities**:
- \(I_n(H)\): Represents the set of matrices in \(M_n(\mathbb{Z}; H)\) with irreducible characteristic polynomials.
- \(\text{Spec}(n, H)\): Represents the set of distinct eigenvalues of matrices in \(M_n(\mathbb{Z}; H)\).
3. **Objectives of Improvement**:
- Improve the lower - bound estimates in previous results, especially for the case of odd \(n = 2k+1\).
- Provide more accurate estimates with coefficients and exponents depending on \(H\).
### Main Contributions
- **Theorem 1.1**: For any odd \(n\geq11\) and \(H\rightarrow\infty\), give a lower - bound estimate of \(#I_n^+(H)\):
\[
#I_n^+(H)\geq\frac{1}{n}H^{(n - 1)^2/4}+O\left(H^{(n - 1)^2/4-(n - 9)/(n - 5)}\right)
\]
This result is meaningful when \(H\geq Cn\) (where \(C>0\) is some absolute constant).
- **Theorem 1.2**: For any odd \(n\geq5\) and \(H\geq3\), give an explicit lower - bound estimate:
\[
#I_n^+(H)\geq\frac{1}{2n}(H - 1)^{(n - 1)^2/4}
\]
### Methods and Techniques
- **Construction of Matrix Families**: By constructing specific types of matrices (such as lower Hessenberg matrices) and using the properties of their characteristic polynomials.
- **Counting of Irreducible Polynomials**: Use the counting results of irreducible polynomials over finite fields (such as Pollack's lemma), and extend the results to integer matrices through lifting techniques.
### Conclusion
Through the above methods, the author significantly improved the previous estimates on the number of irreducible characteristic polynomials and provided more accurate dependencies. This not only helps to understand the structure of integer matrices but also provides theoretical support for the stability analysis of numerical linear algebra algorithms.