Report Number: CS-TR-73-345
Institution: Stanford University, Department of Computer Science
Title: The minimum root separation of a polynomial.
Author: Collins, George E.
Author: Horowitz, Ellis
Date: April 1973
Abstract: The minimum root separation of a complex polynomial A is defined as the minimum of the distances between distinct roots of A. For polynomials with Gaussian integer coefficients and no multiple roots, three lower bounds are derived for the root separation. In each case the bound is a function of the degree, n, of A and the sum, d, of the absolute values of the coefficients of A. The notion of a semi-norm for a commutative ring is defined, and it is shown how any semi-norm can be extended to polynomial rings and matrix rings, obtaining a very general analogue of Hadamard's determinant theorem.
http://i.stanford.edu/pub/cstr/reports/cs/tr/73/345/CS-TR-73-345.pdf