Thm (Kronecker).- If all conjugates of an algebraic integer lie on the unit circle, then the integer is a root of unity.
Question: Can one provide a good effective version of this? That is: given that we have an algebraic integer alpha of degree <=d, can we show that alpha has a conjugate that is at least epsilon away from the unit circle, where epsilon depends only on d? It actually isn't hard to do this (from the standard proof of Kronecker, viz.: alpha, alpha^2, alpha^3... are all algebraic integers, and their minimal polynomials would eventually repeat (being bounded) if all conjugates of alpha lied on the unit circle) with epsilon exponential on d, i.e., epsilon of the form epsilon = 1/C^d; what we actually want is an epsilon of the form 1/d^C, say.
(Question really due to B. Bukh.)