Discriminant and root separation of integral polynomials
arXiv:1407.6388
Abstract
Consider a random polynomial with independent coefficients uniformly distributed on integer points . Denote by the discriminant of . We show that there exists a constant , depending on only such that for all the distribution of can be approximated as follows where denotes the distribution function of the discriminant of a random polynomial of degree with independent coefficients which are uniformly distributed on . Let denote the minimal distance between the complex roots of . As an application we show that for any there exists a constant such that is stochastically bounded from below/above for all sufficiently large in the following sense