In mathematics, Roth's theorem or Thue–Siegel–Roth theorem is a fundamental result in diophantine approximation to algebraic numbers. It is of a qualitative type, stating that algebraic numbers cannot have many rational approximations that are 'very good'. Over half a century, the meaning of very good here was refined by a number of mathematicians, starting with Joseph Liouville in 1844 and continuing with work of , , , and culminating with .
This machinery was originally developed to prove Thue's theorem in Diophantine geometry, that Thue equations (bivariate homogeneous of degree at least 3) possess only finitely many integer solutions.
Statement
Roth's theorem states that every irrational algebraic number <math>\alpha</math> has irrationality exponent equal to 2. This means that, for every <math>\varepsilon>0</math>, the inequality
:<math>\left|\alpha - \frac{p}{q}\right| < \frac{1}{q^{2 + \varepsilon</math>
can have only finitely many solutions in coprime integers <math>p</math> and <math>q</math>. Roth's proof of this fact resolved a conjecture by Siegel. Equivalently, for every irrational algebraic number <math>\alpha</math> and <math>\varepsilon>0</math>, there is a constant <math>C(\alpha,\epsilon)</math> satisfying
:<math>\left|\alpha - \frac{p}{q}\right| >
\frac{C(\alpha,\varepsilon)}{q^{2 + \varepsilon.</math>
Discussion
Dirichlet showed that any real number <math>\alpha</math> has rational approximations which are close with respect to their denominators: there exist infinitely many coprime integers <math>p,q</math> with<blockquote><math>\left|\alpha - \frac{p}{q}\right| < \frac{1}{q^2}.</math></blockquote>Searching for even closer approximations, one defines the irrationality exponent <math>\mu(\alpha)</math> as the supremum of <math>\mu</math> such that there exist infinitely many coprime integers <math>p,q</math> with<blockquote><math>\left|\alpha - \frac{p}{q}\right| < \frac{1}{q^{\mu,</math></blockquote>so that Dirichlet's theorem gives <math>\mu(\alpha)\geq 2</math>. The first upper bound, restricting the accuracy of rational approximations, was Liouville's theorem which gives <math>\mu(\alpha)\leq d</math> for an algebraic number <math>\alpha</math> of degree <math>d\geq2</math>: for any <math>\epsilon>0</math>, there are only finitely many coprime integers <math>p,q</math> satisfying <blockquote><math>\left|\alpha - \frac{p}{q}\right| < \frac{1}{q^{d + \varepsilon.</math></blockquote>This is already enough to demonstrate the existence of transcendental numbers. Thue realised that lowering this bound would have applications to the solution of Diophantine equations, and in Thue's theorem from 1909 established <math>\mu(\alpha) \leq d/2 + 1</math>, which he applied to prove the finiteness of the solutions of Thue equations. Siegel's theorem improves this to an exponent about <math>2\sqrt{d}</math>, and Dyson's theorem of 1947 has exponent about <math>\sqrt{2d}</math>.
Roth's result gives the best possible bound <math>\mu(\alpha)\leq 2</math>, and hence <math>\mu(\alpha) = 2</math>, for all irrational algebraic numbers <math>\alpha</math>. However, there is a stronger conjecture of Serge Lang that
:<math>\left|\alpha - \frac{p}{q}\right| < \frac{1}{q^2 \log(q)^{1+\varepsilon</math>
can have only finitely many solutions in integers p and q.
If one lets <math>\alpha</math> run over the whole of the set of real numbers, not just the algebraic reals, then both Roth's conclusion and Lang's hold
for almost all <math>\alpha</math>. So both the theorem and the conjecture assert that a certain countable set misses a certain set of measure zero.
The theorem is not currently effective: that is, there is no bound known on the possible values of <math>p</math> and <math>q</math> given <math>\alpha</math>. showed that Roth's techniques could be used to give an effective bound for the number of <math>p</math> and <math>q</math> satisfying the inequality, using a "gap" principle. based on the Roth method.
William J. LeVeque generalized the result by showing that a similar bound holds when the approximating numbers are taken from a fixed algebraic number field. Define the height <math>H(\xi)</math> of an algebraic number <math>\xi</math> to be the maximum of the absolute values of the coefficients of its minimal polynomial. Fix <math>\kappa>2</math>. For a given algebraic number <math>\alpha</math> and algebraic number field <math>K</math>, the equation
:<math>|\alpha - \xi| < \frac{1}{H(\xi)^\kappa}</math>
has only finitely many solutions in elements <math>\xi</math> of <math>K</math>.
See also
- Davenport–Schmidt theorem
- Granville–Langevin conjecture
- Størmer's theorem
- Diophantine geometry