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 a new upper bound on the number of matrices from $\mathcal{M}_n(\mathbb Z; H)$ with a given characteristic polynomial $f \in \mathbb Z[X]$, which is uniform with respect to $f$. This complements the asymptotic formula of A. Eskin, S. Mozes and N. Shah (1996) in which $f$ has to be fixed and irreducible. Using this result, among others, we obtain upper and lower bounds on the number of $s$-tuples of matrices from $\mathcal{M}_n(\mathbb Z; H)$, satisfying various multiplicative relations, including multiplicative dependence and bounded generation of a subgroup of $\mathrm{GL}_n(\mathbb Q)$. These problems generalise those studied in the scalar case $n=1$ by F. Pappalardi, M. Sha, I. E. Shparlinski and C. L. Stewart (2018) with an obvious distinction due to the non-commutativity of matrices. Motivated by these problems, we also prove various properties of the variety of complex matrices with fixed characteristic polynomial, including computing the degree of this variety.

Deciding finiteness of matrix groups in positive characteristic

The Identity Problem in virtually solvable matrix groups over algebraic numbers

Finite matrix multiplication algorithms from infinite groups

On the group of infinite $p$-adic matrices with integer elements

Recent advances in algorithmic problems for semigroups

Positivity of Matrix Coefficients of Representations with Real Infinitesimal Characters

The Identity Problem in nilpotent groups of bounded class

Linear groups and computation

Euler characteristics of arithmetic groups

Positive positive-definite functions and measures on locally compact abelian groups

Positivity preservers over finite fields

Semigroup algorithmic problems in metabelian groups

$τ$-Tilting finiteness of group algebras over generalized symmetric groups

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices

A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group

Recognition and constructive membership for discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$

A class of quadratic matrix equations over finite fields

Integer matrices with a given characteristic polynomial and multiplicative dependence of matrices

Nonsingular circulant matrices over finite fields

Regular Circulant Matrices

Mordell--Weil groups over large algebraic extensions of fields of characteristic zero