# Thue–Siegel–Roth theorem

﻿
Thue–Siegel–Roth theorem

In mathematics, the Thue–Siegel–Roth theorem, also known simply as Roth's theorem, is a foundational result in diophantine approximation to algebraic numbers. It is of a qualitative type, stating that a given algebraic number α may not have too many rational number approximations, that are 'very good'. Over half a century, the meaning of "very good" here was refined by a number of mathematicians, starting with Axel Thue, and continuing with work of Carl Ludwig Siegel. Klaus Roth's result, which is best possible of its kind, dates from 1955. [K. F. Roth, "Rational approximations to algebraic numbers" and "Corrigendum", Mathematika, 2, pages 1-20 and 168 (1955)] It states that for given ε > 0, the inequality

:$left|alpha - frac\left\{p\right\}\left\{q\right\} ight| < q^\left\{-\left(2 + epsilon\right)\right\}$

can have only finitely many solutions in coprime integers "p" and "q". Therefore, by taking an infimum, we can assert that any irrational α satisfies

:$left|alpha - frac\left\{p\right\}\left\{q\right\} ight| > C\left(epsilon\right)q^\left\{-\left(2 + epsilon\right)\right\}$

with "C"(ε) a positive constant depending only on ε > 0. This cannot be bettered in the sense that setting ε = 0 here meets the case that real numbers "x" generally do have rational approximations "p"/"q" to within "q"−2. That is Dirichlet's theorem on diophantine approximation. Therefore Roth's result closed the gap, which in the earlier work was still unknown ground. For comparison, the original Thue's theorem from 1909 replaces the exponent −(2 + ε) by −(½"d" + 1 + ε), where "d" > 2 is the degree of α.

The proof technique was the construction of an auxiliary function in several variables, leading to a contradiction in the presence of too many good approximations. By its nature, it was ineffective (see effective results in number theory); this is of particular interest since a major application of this type of result is to bounding the number of solutions of some diophantine equations. The fact that we don't actually know "C"(ε) means that the project of solving the equation, or bounding the size of the solutions, is out of reach. Later work using the methods of Alan Baker made some small impact on "effective" improvements to Liouville's theorem on diophantine approximation, which gives a bound

:$left|alpha-\left\{p over q\right\} ight| geq Cq^\left\{-d\right\}$

(see Liouville number); but the inequalities are still weak.

There is a higher-dimensional version, Schmidt's subspace theorem, of the basic result. There are also numerous extensions, for example using the p-adic metric [D. Ridout, "The p-adic generalization of the Thue-Siegel-Roth theorem", Mathematika, 5, pages 40-48, (1958)] , based on the Roth method.

ee also

Granville-Langevin conjecture

References

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Satz von Thue-Siegel-Roth — Der Satz von Thue Siegel Roth aus der Theorie diophantischer Approximationen in der Zahlentheorie wurde von Klaus Friedrich Roth nach Vorarbeiten von Axel Thue und Carl Ludwig Siegel 1955 bewiesen.[1] Er besagt, dass für jede algebraische Zahl α… …   Deutsch Wikipedia

• Siegel's theorem on integral points — In mathematics, Siegel s theorem on integral points is the 1929 result of Carl Ludwig Siegel, that for an algebraic curve C of genus g defined over a number field K , presented in affine space in a given coordinate system, there are only finitely …   Wikipedia

• Thue's theorem — You might be looking for Thue–Siegel–Roth theorem.Thue s theorem is a mathematical theorem first proved by Axel Thue in 1909. [A. Thue, Über Annäherungswerte algebraischer Zahlen , Journal für die reine und angewandte Mathematik, 135, pages 284… …   Wikipedia

• Roth's theorem — There are two major results of Klaus Roth in mathematics which go by the name Roth s theorem :* The Thue Siegel Roth theorem in Diophantine approximation, which concerns the rarity to which an irrational algebraic number can be approximated by a… …   Wikipedia

• Axel Thue — Infobox Scientist name = Axel Thue image width = 250px caption = Axel Thue (1863 1922) birth date = birth date|1863|2|19|df=y birth place = Tönsberg, Norway residence = nationality = death date = death date and age|1922|3|7|1863|2|19|df=y death… …   Wikipedia

• Carl Ludwig Siegel — Infobox Scientist name = Carl Ludwig Siegel image width = 242 x 360 22k caption = Carl Ludwig Siegel birth date = birth date|1896|12|31 birth place = Berlin, Germany death date = death date and age|1981|4|4|1896|12|31 death place = Göttingen,… …   Wikipedia

• Klaus Roth — Infobox Scientist name = PAGENAME box width = image size =150px caption = PAGENAME birth date = birth date and age|1925|10|29 birth place = Breslau death date = death place = residence = citizenship = United Kingdom field = mathematics work… …   Wikipedia

• Størmer's theorem — In number theory, Størmer s theorem, named after Carl Størmer, gives a finite bound on the number of consecutive pairs of smooth numbers that exist, for a given degree of smoothness, and provides a method for finding all such pairs using Pell… …   Wikipedia

• Dirichlet's approximation theorem — In number theory, Dirichlet s theorem on Diophantine approximation, also called Dirichlet s approximation theorem, states that for any real number α and any positive integer N, there exists integers p and q such that 1 ≤ q ≤ N and This is a… …   Wikipedia

• Subspace theorem — In mathematics, the subspace theorem is a result obtained by Wolfgang M. Schmidt in 1972. [Schmidt, Wolfgang M. Norm form equations. Ann. of Math. (2) 96 (1972), pp. 526 551] It states that if L 1,..., L n are linearly independent linear forms in …   Wikipedia