An important theorem in Diophantine approximation is the theorem of Liuoville:
**Liuoville Theorem** If x is a algebraic number of degree over the rational number then there exists a constant such that:
holds for every integer where .
This theorem explain a phenomenon, the approximation of algebraic number by rational number could not be very well. Which was generated later to **Thue–Siegel–Roth theorem**, them could be used to proof a lots of constant is not algebraic, i.e. transcendentals .
My questions is in another direction, now let us not just consider one root of a integer polynomial but consider all roots of it, i.e. , which is based on a observation : If we define
By **Vieta theorem** we know for all , this will lead to some restriction and in fact destroy the uniformly distribution of . In fact the most important one is the determination of Vandermon Determinant:
We know so when we could use this to proof a nontrivial estimate for .
by combine the A-G inequality and .While by continue fractional expansion we only know a trivial estimate of type .
my question is the following:
Is there still have a nontrivial estimate for (which could be slight weaker), if we don’t have the whole power of **Vieta theorem**? more precisely:
if we have for all where , is there still some nontrivial estimate of,
hold for all ?
One reason to consider this could be true is that although is not roots of a integer polynomial but we could image in some suitable metric space the gromov-hausdorff distance of tuple and a tuple come form roots of integer polynomial is small . And it seems reasonable to image this type of asymptotic quality is continue with the G-H distance on .
Another problem is what happen when . More precisely,
What happen when , is this result,
Let us go a litter further, if these two problem both have a satisfied answer, what is the higher dimensional case?
Given . If tuple is very closed to the zero set of a variety in in in the sense a lots of symmetric sum of belong to , will this lead to some good estimate for
I think these type of result should be investigated very well, Iappreciate to any pointer with useful comments and answer, both on given some strategy to solve these problems or given some reference about these problems.