A few days ago, The Scotsman published a paper about Klaus Roth's legacy, explaining how he donated his fortune (1 million pounds) to various charities. This paper was reported by some friends on Facebook. Yuri Bilu added the mention that he knew two important theorems of Roth, and since one of them did not immediately reached my mind, I decided to write this post.
The first theorem was a 1935 conjecture of Erdős and Turán concerning arithmetic progression of length 3 that Roth proved in 1952. That is, one is given a set of positive integers and one seeks for triples of distinct elements of such that ; Roth proved that infinitely many such triples exist as soon as the upper density of is positive, that is:
In 1975, Endre Szemerédi proved that such sets of integers contain (finite) arithmetic progressions of arbitrarily large length. Other proofs have been given by Hillel Furstenberg (using ergodic theory) and Tim Gowers (by Fourier/combinatorical methods); Roth had used Hardy-Littlewood's circle method.
In 1976, Erdős strengthened his initial conjecture with Turán and predicted that arithmetic progressions of arbitrarily large length exist in as soon as
Such a result is still a conjecture, even for arithmetic progressions of length , but a remarkable particular case has been proved by Ben Green and Terry Tao in 2004, when is the set of all prime numbers.
Outstanding as these results are (Tao has been given the Fields medal in 2006 and Szemerédi the Abel prize in 2012), the second theorem of Roth was proved in 1955 and was certainly the main reason for awarding him the Fields medal in 1958. Indeed, Roth gave a definitive answer to a long standing question in diophantine approximation that originated from the works of Joseph Liouville (1844). Given a real number , one is interested to rational fractions that are close to , and to the quality of the approximation, namely the exponent such that . Precisely, the approximation exponent is the largest lower bound of all real numbers such that the previous inequality has infinitely many solutions in fractions , and Roth's theorem asserts that one has when is an irrational algebraic number.
One part of this result goes back to Dirichlet, showing that for any irrational number , there exist many good approximations with exponent . This can be proved using the theory of continued fractions and is also a classical application of Dirichlet's box principle. Take a positive integer and consider the numbers in , for ; two of them must be less that apart; this furnishes integers , with such that ; then set and ; one has , hence .
To prove an inequality in the other direction, Liouville's argument was that if is an irrational root of a nonzero polynomial , then . The proof is now standard: given an approximation of , observe that is a non-zero integer (if, say, is irreducible), so that . On the other hand, , hence an inequality .
This result has been generalized, first by Axel Thue en 1909 (who proved an inequality ), then by Carl Ludwig Siegel and Freeman Dyson in 1947 (showing and ). While Liouville's result was based in the minimal polynomial of , these generalisations required to involve polynomials in two variables, and the non-vanishing of a quantity such that above was definitely less trivial. Roth's proof made use of polynomials of arbitrarily large degree, and his remarkable achievement was a proof of the required non-vanishing result.
Roth's proof was “elementary”, making use only of polynomials and wronskians. There are today more geometric proofs, such as the one by Hélène Esnault and Eckart Viehweg (1984) or Michael Nakamaye's subsequent proof (1995) which is based on Faltings's product theorem.
What is still missing, however, is the proof of an effective version of Roth's theorem, that would give, given any real number , an actual integer such that every rational fraction in lowest terms such that satisfies . It seems that this defect lies at the very heart of almost all of the current approaches in diophantine approximations...
Friday, April 29, 2016
Subscribe to:
Post Comments
(
Atom
)
No comments :
Post a Comment