Matrix analogue of the van der Waerden conjecture
Prove the bound \mathsf{M}_n(T)\ll_n T^{n^2-n+1}\log T for the number \mathsf{M}_n(T) of integer n\times n matrices of height at most T whose characteristic polynomial has Galois group different from S_n, including reducible characteristic polynomials.
References
It has been conjectured by Anderson and O'Dorney that $ \mathsf{M}_n(T)\ll_n T{n2-n+1}\log T$.
— Counting matrices with given characteristic polynomial
(2610.18226 - Browning et al., 13 Oct 2026) in Section 1, Introduction, paragraph beginning “The uniformity in our results”