The Minimum Root Separation of a Polynomial
The Minimum Root Separation of a Polynomial
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 …