Fact-checked by Grok 2 weeks ago

Roth's theorem

Roth's theorem, also known as the Thue–Siegel–Roth theorem, is a fundamental result in Diophantine approximation which limits the rational approximations of algebraic numbers. Proved by Klaus Roth in 1955, it states that if \alpha is an algebraic irrational number and \epsilon > 0, then there are only finitely many rational numbers p/q (with q > 0) satisfying

\left| \alpha - \frac{p}{q} \right| < \frac{1}{q^{2 + \epsilon}}.

^[1] This improves upon earlier bounds by Thue and Siegel, showing that algebraic irrationals cannot be approximated by rationals to any order greater than 2, except for finitely many cases. Roth received the Fields Medal in 1958 for this work.^[2] The theorem is ineffective, providing no explicit bound on the number or quality of approximations, but it has profound implications for transcendental number theory, as it implies that algebraic numbers of degree at least 2 have irrationality measure exactly 2. It also plays a key role in solving Diophantine equations and has been generalized to number fields and simultaneous approximations via Schmidt's subspace theorem.^[3]

Background in Diophantine Approximation

Dirichlet's Theorem

Dirichlet's approximation theorem states that for any real number \alpha and any positive integer Q \geq 1, there exist integers p and q with $1 \leq q \leq Q such that |q\alpha - p| < 1/Q. Equivalently, in terms of rational approximations, for any real \alpha, there are infinitely many rational numbers p/q with \gcd(p, q) = 1 and q > 0 satisfying |\alpha - p/q| < 1/q^2. The proof relies on the pigeonhole principle applied to the fractional parts \{q\alpha\} for q = 1, 2, \dots, Q. Consider the Q+1 points $0, \{\alpha\}, \{2\alpha\}, \dots, \{Q\alpha\} in the interval [0, 1). These points divide the interval into Q subintervals of length $1/Q, so by the pigeonhole principle, at least two points \{i\alpha\} and \{j\alpha\} with $0 \leq i < j \leq Q lie in the same subinterval, implying | (j - i)\alpha - (k) | < 1/Q for some integer k and $1 \leq j - i \leq Q. This result establishes the baseline approximation exponent for real numbers. The approximation exponent \mu(\alpha) of a real number \alpha is defined as the supremum of all \kappa > 0 such that the inequality |\alpha - p/q| < 1/q^\kappa holds for infinitely many rationals p/q with \gcd(p, q) = 1 and q > 0. Dirichlet's theorem implies that \mu(\alpha) \geq 2 for every irrational \alpha. For rational \alpha = a/b in lowest terms, there are only finitely many solutions to |\alpha - p/q| < 1/q^\kappa when \kappa > 1, so \mu(\alpha) = 1. In contrast, for any irrational \alpha, there are infinitely many such approximations when \kappa = 2. Dirichlet's theorem provides the lower bound that later results, such as Roth's theorem, sharpen for algebraic irrational numbers.

Hurwitz's Theorem and Continued Fractions

In 1891, Adolf Hurwitz refined Dirichlet's theorem on Diophantine approximation by establishing a sharper universal bound. For any irrational number \alpha, there exist infinitely many integers p and q > 0 with \gcd(p, q) = 1 such that \left| \alpha - \frac{p}{q} \right| < \frac{1}{\sqrt{5} q^2}. Moreover, \sqrt{5} is the optimal constant, as Hurwitz demonstrated that replacing it with any larger value c > \sqrt{5} yields only finitely many such approximations for equivalents of the golden ratio, such as \phi = \frac{1 + \sqrt{5}}{2} or \frac{\sqrt{5} - 1}{2}.^[4] The theory of continued fractions plays a central role in achieving and understanding this bound, as the convergents p_n / q_n of the continued fraction expansion of \alpha = [a_0; a_1, a_2, \dots] provide the optimal rational approximations. These convergents satisfy \left| \alpha - \frac{p_n}{q_n} \right| < \frac{1}{q_n q_{n+1}}, where q_{n+1} \approx a_{n+1} q_n and a_{n+1} is the (n+1)-th partial quotient, yielding approximations on the order of \frac{1}{a_{n+1} q_n^2}. By analyzing the growth of partial quotients, Hurwitz showed how the minimal possible a_{n+1} = 1 leads to the \sqrt{5} constant. For quadratic irrationals, the continued fraction expansions are eventually periodic, a result due to Lagrange, which implies that the partial quotients a_i are bounded. This boundedness limits the approximation quality to the exponent \sqrt{5}, with the optimum realized when the period consists of small quotients akin to those of the golden ratio \phi = \frac{1 + \sqrt{5}}{2} = [1; \overline{1}], for which \left| \phi - \frac{p}{q} \right| < \frac{1}{\sqrt{5} q^2} holds infinitely often and \sqrt{5} cannot be improved. In contrast, irrationals with unbounded partial quotients permit arbitrarily good approximations beyond this exponent, though for algebraic numbers of degree greater than two, such behavior is restricted, as later shown by Roth.

Historical Development

Early Results by Liouville and Thue

In 1844, Joseph Liouville made a pioneering contribution to Diophantine approximation by establishing a lower bound on how well algebraic irrational numbers can be approximated by rational numbers. For an algebraic irrational number \alpha of degree d over the rationals, Liouville proved that there exists a positive constant c (depending on \alpha) such that for all integers p and q with q > 0,

\left| \alpha - \frac{p}{q} \right| > \frac{c}{q^d}.

This inequality demonstrates that the quality of rational approximations to algebraic irrationals is limited by the degree d, preventing approximations better than order q^{-d}. In the same memoir, Liouville constructed examples of transcendental numbers—now called Liouville numbers—that defy this bound; for such \alpha, there exist infinitely many rationals p/q satisfying \left| \alpha - p/q \right| < 1/q^k for arbitrarily large k. Axel Thue advanced this area in 1909 by deriving a sharper exponent using his innovative method based on the theory of binary forms, later developed into the Thue-Siegel method.^[5] Specifically, Thue showed that for any \varepsilon > 0, there exists a constant c_\varepsilon > 0 (depending on \alpha and \varepsilon) such that

\left| \alpha - \frac{p}{q} \right| > \frac{c_\varepsilon}{q^{d/2 + 1 + \varepsilon}}

holds for all integers p and q > 0.^[5] This improvement reduces the exponent from d to roughly d/2 + 1, marking a significant step toward understanding the intrinsic approximation properties of algebraic numbers, though the bound remains dependent on the degree d.^[5] These theorems have profound implications for Diophantine equations, particularly in establishing finiteness results for solutions involving super-quadratic approximations. Thue's bound, in particular, implies that equations of the form F(x, y) = m, where F is a binary form of integer coefficients and degree n > 2, and m is a fixed integer, have only finitely many integer solutions (x, y), as infinitely many solutions would yield rational approximations contradicting the theorem.^[5] This applies to Thue equations and extends to broader classes, including generalizations of Pell equations beyond the quadratic case, by limiting the possible closeness of solutions to roots of unity or related algebraic structures.^[5] Despite their breakthroughs, Liouville's and Thue's results share key limitations: the constants c and c_\varepsilon are ineffective, providing no explicit lower bounds usable for computational purposes, and the exponents increase with the degree d, offering weaker control for higher-degree algebraic numbers.^[6]^[5] These shortcomings spurred subsequent refinements, including Carl Ludwig Siegel's work in the 1920s that further tightened the exponents.^[6]

Contributions of Siegel and Dyson

In 1929, Carl Ludwig Siegel advanced the field of Diophantine approximation by deriving a refined lower bound on the distance between an algebraic irrational number and its rational approximations, which depended sublinearly on the degree of the algebraic number. For an algebraic number \alpha of degree d \geq 2 over the rationals, Siegel established the existence of a positive constant c = c(\alpha) such that for all integers p and q > 0,

\left| \alpha - \frac{p}{q} \right| > \frac{c}{q^{2\sqrt{d}}},

except for finitely many exceptions. This bound significantly improved earlier results by reducing the exponent's dependence on d from linear to square-root order, achieved through the construction of auxiliary polynomials combined with precursor estimates for linear forms in logarithms and p-adic considerations. However, Siegel's proof was ineffective, as the constant c could not be explicitly computed and relied on unquantified analytic estimates.^[7] Siegel's work laid foundational techniques for later developments but left room for further optimization, particularly in tightening the exponent closer to the Dirichlet limit of 2. In 1947, Freeman J. Dyson and independently Aleksandr Gelfond built upon these ideas to obtain a sharper bound, demonstrating that the exponent could be reduced to approximately \sqrt{2d}. Specifically, Dyson proved that for the same \alpha of degree d, there exists c' = c'(\alpha) > 0 such that

\left| \alpha - \frac{p}{q} \right| > \frac{c'}{q^{\sqrt{2d}}},

again with finitely many exceptions. Dyson's approach employed geometry of numbers, including Minkowski's theorems, alongside auxiliary functions to derive more precise volume estimates in lattice point problems, yielding an ineffective result that still depended on d but narrowed the gap to the conjectured optimal exponent of 2.^[8]^[9] These ineffective theorems by Siegel and Dyson represented pivotal 20th-century refinements in the historical progression toward bounding rational approximations to algebraic numbers, progressively diminishing the role of the degree d while underscoring the technical barriers to achieving degree-independent results. Their contributions motivated the quest for exponents arbitrarily close to 2 without d-dependence, a goal realized by Klaus Roth's breakthrough in 1955.

Statement and Implications

Formal Statement

An algebraic irrational number \alpha is defined as an irrational root of an irreducible polynomial equation with integer coefficients and degree at least $2$.^[10] Roth's theorem, proved in 1955, states that for any such algebraic irrational \alpha and any \varepsilon > 0, there are only finitely many rational numbers p/q in lowest terms (with integers p, q > 0, and \gcd(p,q)=1) satisfying the inequality

\left| \alpha - \frac{p}{q} \right| < \frac{1}{q^{2+\varepsilon}}.

^[10] An equivalent formulation is that the approximation exponent (or irrationality measure) \mu(\alpha) equals $2$, where

\mu(\alpha) = \inf\left\{ \kappa : \left| \alpha - \frac{p}{q} \right| < \frac{1}{q^\kappa} \text{ has only finitely many solutions in rationals } p/q \right\}.

^[10] The theorem makes no explicit reference to the height H(\alpha) of \alpha, defined as the maximum of the absolute values of the coefficients of its minimal polynomial (after clearing denominators).^[10] This result refines Dirichlet's theorem by showing that the exponent $2$ from Dirichlet's approximation theorem is optimal for algebraic irrationals.^[10]

Approximation Exponent and Finiteness

Roth's theorem establishes that the approximation exponent of any algebraic irrational number \alpha is precisely 2. The approximation exponent \mu(\alpha) is the supremum of all real numbers \kappa such that the inequality |\alpha - p/q| < 1/q^\kappa holds for infinitely many rational numbers p/q in lowest terms with q > 0. While Dirichlet's approximation theorem guarantees \mu(\alpha) \geq 2 for every irrational \alpha, Roth's result shows that no algebraic irrational admits infinitely many better approximations with \kappa > 2.^[11]^[12] A key corollary provides an explicit lower bound on the quality of approximations: for any \varepsilon > 0, there exists a positive constant c = c(\alpha, \varepsilon) such that

\left| \alpha - \frac{p}{q} \right| > \frac{c}{q^{2 + \varepsilon}}

for all integers p and all positive integers q. This constant c depends on \alpha and \varepsilon but is ineffective in Roth's original proof, meaning no explicit estimate is available from the argument itself. Subsequent developments have yielded effective versions of this bound, albeit with extremely large constants that grow rapidly with the degree of \alpha. This corollary underscores the theorem's role in quantifying the limitations of Diophantine approximations for algebraic numbers.^[11]^[13] In the broader context of metric Diophantine approximation, Roth's theorem aligns algebraic irrationals with typical real numbers. Khintchine's theorem demonstrates that the approximation exponent is exactly 2 for Lebesgue-almost every real number, meaning the exceptional set where \mu(\alpha) > 2 has measure zero. Thus, algebraic irrationals exhibit no pathological behavior relative to the generic case.^[14] The theorem's implications extend to finiteness results for solutions of certain Diophantine equations. For instance, it bounds the number of integer solutions (n, p) to inequalities of the form |\alpha^n - p| < \psi(n), where \alpha is a fixed algebraic integer with |\alpha| > 1 and \psi(n) is a function that decreases sufficiently rapidly (e.g., \psi(n) = |\alpha|^{n(1 - \delta)} for some \delta > 0). By reducing such approximations to rational approximations of \alpha via roots or minimal polynomials, Roth's bound ensures only finitely many solutions exist, preventing \alpha^n from lying too close to integers for large n. This has applications in transcendence theory and solving equations like generalized Pell or superelliptic forms.^[11]^[15] The sharpness of Roth's exponent is highlighted by classical results. The case \varepsilon = 0 fails, as Dirichlet's theorem yields infinitely many rationals satisfying |\alpha - p/q| < 1/q^2. Among quadratic irrationals, the golden ratio \phi = (1 + \sqrt{5})/2 achieves the optimal constant infinitely often, with approximations satisfying |\phi - p/q| < 1/(\sqrt{5} q^2), but only finitely many for any superior constant, as established by Hurwitz's theorem.^[11]^[16]

Proof Overview

Auxiliary Polynomials and Contradiction

To derive a contradiction in the proof of Roth's theorem, assume that there exists some \varepsilon > 0 such that there are infinitely many rational approximations p_i/q_i (in lowest terms, with q_i > 0) to the algebraic irrational \alpha satisfying

\left| \alpha - \frac{p_i}{q_i} \right| < \frac{1}{q_i^{2+\varepsilon}}.

The q_i are assumed to tend to infinity as i increases. The core algebraic strategy involves constructing an auxiliary polynomial P(x_1, \dots, x_m) \in \mathbb{Z}[x_1, \dots, x_m] in m variables, where m is chosen large depending on \varepsilon (roughly exponential in $1/\varepsilon). This polynomial is selected via Siegel's lemma (or pigeonhole principle in original presentations) to have small height, meaning the maximum absolute value of the coefficients is bounded effectively in terms of \alpha and \varepsilon. The construction ensures that P takes a sufficiently small value when evaluated at points involving several good rational approximations to \alpha and its conjugates.^[17] For a collection of good approximations p_j/q_j, one considers evaluations of P at integer points derived from these, such as P(q_1^{d_1} \cdots q_r^{d_r}, p_1^{d_1} \cdots p_r^{d_r}, \dots) in a suitable multi-homogeneous setup, or more directly in modern views, at tuples like (q_1, p_1, q_2, p_2, \dots). The approximation quality implies that P at these points is close to a small value from the construction, yielding

|P(\mathbf{z})| < C \cdot H(P) \cdot (\min q_j)^{-(2+\varepsilon)},

where \mathbf{z} is the integer vector and the exponent arises from the degrees. With the choice of m large enough, the small height and pigeonhole ensure that for sufficiently large approximations, this bound is less than 1. However, since P has integer coefficients and \mathbf{z} integers, if P(\mathbf{z}) \neq 0, then |P(\mathbf{z})| \geq 1. This yields |P(\mathbf{z})| < 1, implying P(\mathbf{z}) = 0.^[17] To resolve this and derive the contradiction, the proof shows that the assumption of infinitely many good approximations leads to P vanishing at too many independent integer points, which contradicts height bounds on the integer solutions to P = 0 or small values, using effective versions of finiteness theorems for solutions to Diophantine equations (pre-Faltings methods). Specifically, the small height of P limits the number of such integer points where P can be zero or unusually small, as bounded by estimates on the geometry of numbers or resultants in multiple variables. Thus, only finitely many such approximations can exist.^[17] The estimates in this construction are non-explicit in the constants depending on \alpha and \varepsilon, rendering the proof ineffective for computing the finite number of exceptions.

Ineffectivity and Bounds

Roth's proof of the theorem, published in Mathematika in 1955, establishes the finiteness of rational approximations satisfying the inequality for any \varepsilon > 0, but it does so without providing explicit bounds on the number of such approximations or the size of the denominators q.^[1] The ineffectivity arises from the reliance on recursive estimates for the coefficients of auxiliary polynomials, which assume the existence of a positive minimum without specifying its value, preventing the computation of effective constants c(\alpha, \varepsilon). This limitation ties back to the construction of auxiliary polynomials in the proof, where the iteration yields a contradiction for sufficiently good approximations but lacks quantitative control over the parameters involved. Efforts toward effective versions have yielded partial results, often at the expense of weakening the approximation exponent. Alan Baker's method, leveraging lower bounds for linear forms in logarithms from transcendence theory, provides explicit constants in Diophantine approximation inequalities, though the resulting exponents are larger than Roth's $2 + \varepsilon, typically scaling with the degree d of the algebraic number \alpha.^[18] For instance, Baker's approach yields effective irrationality measures for specific algebraic numbers, but it does not achieve the full strength of Roth's theorem.^[18] In the case of quadratic irrationals, Maurice Mignotte's work prior to 2020 establishes effective lower bounds on the approximation quality, such as |\alpha - p/q| > c / q^{\kappa} with computable c > 0 and \kappa close to 2 for restricted classes of approximations.^[19] The challenges in obtaining a fully effective Roth's theorem stem from the strong dependence of any potential bounds on the degree d and the height H(\alpha) of the algebraic number \alpha, leading to impractically large constants even in partial cases. As of 2025, no complete effective version of Roth's theorem exists, with ongoing difficulties in bridging the gap between qualitative finiteness and computable estimates.^[13]

Generalizations

Roth's theorem is the k=3 case of Szemerédi's theorem, which asserts that any subset of the positive integers with positive upper asymptotic density contains arithmetic progressions of arbitrary fixed length k \geq 3. Proved by Endre Szemerédi in 1975, this generalization extends the result beyond three-term progressions using a combinatorial argument involving the regularity lemma, though quantitative bounds remain challenging.^[20]

Extensions to Finite Abelian Groups

Roth's theorem has been generalized to finite abelian groups. Meshulam (1990) proved that for any \delta > 0, there exists N = N(\delta) such that any subset A of a finite abelian group G with |G| \geq N and |A| \geq \delta |G| contains a three-term arithmetic progression, provided G has odd order. This result relies on Fourier-analytic methods adapted to the group setting, showing that the maximal density of 3-AP-free subsets tends to zero as |G| grows. Further extensions hold for groups with large odd Sylow subgroups, but fail in groups of even order like \mathbb{Z}/2\mathbb{Z}^n for large n, where Behrend's construction yields dense 3-AP-free sets.^[21]^[22]

Multidimensional and Other Settings

A multidimensional analogue appears in the work of Furstenberg and Katznelson (1979), who proved that any positive upper density subset of \mathbb{Z}^d contains arithmetic progressions of length 3 in any direction, using ergodic theory and multiple recurrence. This is part of the broader multidimensional Szemerédi theorem, guaranteeing k-term progressions in \mathbb{Z}^d. Over finite fields, a version holds for subsets of vector spaces \mathbb{F}_q^n with n large, where dense sets contain 3-term progressions, as shown via additive combinatorics techniques. These generalizations influence applications in ergodic theory, finite geometry, and pseudorandomness.^[23]

Recent Advances

Quantitative Improvements

The original proof of Roth's theorem relies on auxiliary polynomials and a pigeonhole principle that yields ineffective constants, preventing the construction of explicit bounds for the number of good rational approximations to an algebraic irrational α. Post-2000 efforts have focused on partial effective versions, particularly for algebraic numbers of fixed degree d, where the Baker-Wüstholz theory of linear forms in logarithms allows for explicit constants c(α, ε) in inequalities of the form |α - p/q| > 1/q^{2 + ε}, though the exponent exceeds 2 and depends on d. This approach provides computable bounds for specific α, such as quadratic irrationals, but the dependence on ε and d remains suboptimal compared to the ineffective exponent of 2 + ε from Roth's theorem. Quantitative refinements to Schmidt's subspace theorem, a generalization of Roth's theorem, have yielded effective versions with explicit constants in the dimension and height bounds for exceptional subspaces. For instance, Evertse and Schlickewei (2002) established a quantitative subspace theorem where the number of subspaces is bounded by (2d)^{O(n/ε^2)}, with heights controlled by effective functions of the data, enabling partial effectiveness in Diophantine approximation problems over number fields. These bounds have been improved by Bugeaud (2004), who derived explicit irrationality measures with error terms involving (log log log q)^{-1/2 + δ}, approaching logarithmic improvements in special cases while maintaining computability.^[24] In special cases, such as approximations to roots or values of the Riemann zeta function, recent work has produced fully effective bounds surpassing classical ineffective results. For example, Calegari (2025) developed arithmetic holonomy bounds that yield computable irrationality measures μ_eff(α) ≪ √r (log r)^3 for expressions like r√2, with explicit lower bounds like |ζ_2(5) - p/q|_2 > 1/max(|p|,|q|)^{20} for the 2-adic zeta function ζ_2(5) and integers p, q sufficiently large. These results emphasize subspace refinements and provide the first effective versions for certain p-adic transcendental numbers, bridging the gap toward a full effective Roth's theorem. ArXiv surveys from 2025 highlight these computable variants as key steps, leveraging refined subspace theorems to obtain explicit c(α, ε) even when the exponent slightly exceeds 2.^[25]

Applications to Diophantine Equations

Roth's theorem has significant applications in establishing the finiteness of solutions to Thue equations of the form |F(x, y)| = 1, where F is an irreducible binary form of degree d \geq 3 with integer coefficients and x, y are integers. Solutions to such equations correspond to rational approximations p/q = x/y that are sufficiently close to one of the algebraic roots \alpha of the homogeneous polynomial F(t, 1) = 0, satisfying |\alpha - p/q| < c / q^d for some constant c > 0. Since d \geq 3 > 2, Roth's theorem implies that only finitely many such approximations exist for any \epsilon > 0, thereby yielding the finiteness of solutions. This result, originally due to Thue for specific forms, was generalized and strengthened by Siegel and ultimately rendered qualitative via Roth's approximation exponent of $2 + \epsilon. The proof is ineffective, providing no explicit bound on the size of solutions.^[26] Subsequent work using Schmidt's subspace theorem, a higher-dimensional generalization of Roth's theorem, provides effective versions of this finiteness result for Thue equations. The subspace theorem implies that solutions lie in finitely many proper subspaces, allowing for explicit upper bounds on the heights and number of solutions in terms of the degree d, the height of F, and other parameters. These effective bounds have been crucial for computational number theory and explicit resolution of specific Thue equations.^[27] In the context of superelliptic equations, Roth's theorem provides bounds on the number of integral solutions to equations like y^k = f(x), where f is a polynomial of degree at least 2 and k \geq 2. Such solutions imply that y approximates a k-th root of f(x) closely, leading to Diophantine approximations to algebraic numbers that are controlled by Roth's theorem. For instance, for equations of the form |x^n - y^m| = 1 with fixed exponents n, m > 1, any solution yields a rational approximation to an algebraic root related to (y/x^{n/m}), and the small difference imposes an approximation quality better than q^{-2}, which Roth limits to finitely many cases. This establishes ineffective finiteness, with effective improvements often relying on generalizations like the subspace theorem. Roth-type bounds also play a role in the Manin-Mumford conjecture, which asserts that the torsion points of an abelian variety lying on a proper subvariety form a finite set (up to torsion translates). Proofs and analogs of the conjecture utilize height bounds derived from Diophantine approximation principles akin to Roth's theorem, controlling the canonical heights of torsion points to show they cannot accumulate indefinitely on subvarieties without lying in torsion subvarieties. These approximation techniques, extended via Schmidt's subspace theorem, provide quantitative constraints on the distribution of torsion points and link to broader finiteness results in arithmetic geometry. For S-unit equations of the form a_1 x_1 + \cdots + a_k x_k = 1 in a number field K, where the x_i are S-units for a finite set of places S and the a_i are fixed elements of K, the subspace theorem establishes finiteness of non-degenerate solutions. This generalizes earlier ineffective results and yields explicit bounds on the heights of solutions, depending on the degree of K, the size of S, and the heights of the a_i. The theorem reduces solutions to those in finitely many proper subspaces, enabling effective computation and applications to unit equations in rings of S-integers.^[27]

References

[1]
[PDF] Roth's Theorem on Arithmetic Progressions.
Theorem 1.3 (Roth). Let A be a subset of Z with positive upper density. Then A contains a three term arithmetic progression. The theorem is often phrased ...
[2]
[PDF] 1. Roth's theorem on progressions of length 3 - People
In this chapter our aim is to prove the following theorem of Roth from 1953. Theorem 1 (Roth's theorem). There is an absolute constant C such that any ...
[3]
254B, Notes 2: Roth's theorem | What's new - Terry Tao
Apr 8, 2010 · In this case, arithmetic progressions can be located using the equidistribution theory of the previous set of notes. At the other extreme, one ...
[4]
Breaking the logarithmic barrier in Roth's theorem on arithmetic ...
Jul 7, 2020 · In particular, this proves the first non-trivial case of a conjecture of Erdős on arithmetic progressions. Subjects: Number Theory (math.NT); ...<|control11|><|separator|>
[5]
[PDF] Roth's theorem in the primes - Annals of Mathematics
In this paper we propose to prove a common generalization of the results of Roth and. Van der Corput. Write P for the set of primes. Theorem 1.4. Every subset ...
[6]
[PDF] Diophantine approximations and continued fractions
In the introduction of his paper in 1873, where he proved the transcen- dence of e, Ch. Hermite starts by recalling the theory of simultaneous. Diophantine ...Missing: source | Show results with:source
[7]
[PDF] Über Annäherungswerte algebraischer Zahlen. - Digizeitschriften
Titel: Über Annäherungswerte algebraischer Zahlen. Autor: Thue, Axel. Jahr: 1909. PURL: https://resolver.sub.uni-goettingen.de/purl?243919689_0135|log14.
[8]
[PDF] Liouville's theorem on diophantine approximation
Sep 24, 2013 · Liouville, Sur des classes tr`es-étendues de quantités dont la valeur n'est ni algébrique, ni même réductible `a des irrationalles algébriques, ...
[9]
On Some Applications of Diophantine Approximations - SpringerLink
This book consists mainly of the translation, by C. Fuchs, of the 1929 landmark paper "Über einige Anwendungen diophantischer Approximationen" by C.L. Siegel.
[10]
The approximation to algebraic numbers by rationals
About this article. Cite this article. Dyson, F.J. The approximation to algebraic numbers by rationals. Acta Math. 79, 225–240 (1947). https://doi.org/10.1007 ...
[11]
https://terrytao.wordpress.com/2015/11/12/klaus-roth/
[12]
Klaus Roth | What's new - Terry Tao - WordPress.com
Nov 12, 2015 · ... Roth's most famous result, cited for instance in his Fields medal citation: Theorem 3 (Roth's theorem on Diophantine approximation) Let ...Missing: formal | Show results with:formal
[13]
A problem raised by Roth's theorem and the notion of approximation ...
Oct 2, 2023 · Roth's theorem states that every algebraic irrational has approximation exponent equal to 2. It follows from Theorem 1 of https://arxiv.org/abs ...Question related to Diophantine approximations and Roth's theoremAdvances and difficulties in effective version of Thue-Roth-Siegel ...More results from mathoverflow.net
[14]
Advances and difficulties in effective version of Thue-Roth-Siegel ...
Mar 18, 2011 · There are also deep generalizations giving upper bounds for the number of exceptional subspaces in Schmidt's Subspace Theorem, see for example: ...Is there a simple proof that $Ax^3+By^3=C$ has only finitely many ...Extreme case bounds on Diophantine approximation - MathOverflowMore results from mathoverflow.net
[15]
[PDF] 29 approximation exponents for function fields
diophantine approximation theory. Thus we define the approximation exponent of α by. E(α) := lim sup − log |α − a/b| log |b| . A simple application of the box ...Missing: source | Show results with:source
[16]
Well known applications of Roth's theorem - MathOverflow
Mar 4, 2023 · Roth's theorem in Diophantine approximation (1955) is a well known milestone. It has been generalised in the case of number fields for simultaneous ...Advances and difficulties in effective version of Thue-Roth-Siegel ...A problem on the finiteness of solutions to a Diophantine equationsMore results from mathoverflow.net
[17]
Why is there a √5 in Hurwitz's Theorem? - MathOverflow
Jul 7, 2015 · The reason for the √ 5 is that the limiting case, the golden ratio, forces it. There is a very neat explanation of all of this in the classic number theory ...Missing: source | Show results with:source
[18]
[PDF] Chapter 6 Approximation of algebraic numbers by rationals
By Theorem 6.9 this system has a non-trivial solution x ∈ ZN with (6.11). 6.3 Thue's approximation theorem. We intend to prove the following result of Thue:.<|control11|><|separator|>
[19]
Rational approximations to algebraic numbers | Mathematika
Feb 26, 2010 · Rational approximations to algebraic numbers. Published online by Cambridge University Press: 26 February 2010. K. F. Roth.
[20]
[PDF] On Some Results of Alan Baker
Roth's theorem considerably improves Liouville's theorem, but at the cost of effectivity. It says nothing on the effective irrational- ity exponent of an ...
[21]
[PDF] effective results for restricted rational approximation to quadratic ...
In this paper, we deduce a number of effective lower bounds upon the distance to an integer of quantities of the shape bnξ, where b and n are integers and ξ is ...
[22]
[PDF] Schmidt Subspace Theorem and S–unit equation - IMJ-PRG
Jun 29, 2010 · To give an upper bound for the number of subspaces in the conclusion of Theorem 3 has been an open problem from 1970 to 1980, which has been ...
[23]
[PDF] Quantitative versions of the Subspace Theorem and applications
The improved dependence on d in the theorem of Mignotte is due to the use of a refined auxiliary lemma in the heart of the proof of Roth's Theorem, see Appendix ...
[24]
https://irma.math.unistra.fr/~bugeaud/travaux/ApplQSST1.pdf
[25]
[PDF] THE SUBSPACE THEOREM
In 1972, Schmidt gave a necessary and sufficient condition such that (3.1) has only finitely many solutions. His proof was based on the Subspace Theorem. Here, ...
[26]
None
### Summary of LeVeque's Theorem in Number Fields from the Paper
[27]
[PDF] On the approximation of algebraic numbers by algebraic integers
LeVeque proved an important generalisation of Roth's theorem. (K. F. Roth, Mathematika 2, 1955, 1—20). Let & be a fixed algebraic number, σ a positive ...
[28]
[PDF] Hankel determinants, Padé approximations, and irrationality ...
By the p-adic analogue of Roth's theorem (see for example [Ma61]), the irrationality exponent of any irrational algebraic p-adic number is equal to 2. Key ...<|separator|>
[29]
[PDF] Chapter 9 The p-adic Subspace Theorem
The p-adic Subspace Theorem deals with Diophantine inequalities in which several different absolute values occur (e.g., the ordinary absolute value and |·|p1 , ...
[30]
[PDF] Quantitative versions of the Subspace Theorem and applications
In Section 6, we show how a quantitative version of Roth's Theorem can be used to improve, under an ... η(q) = (log log log q). −1/2+δ. , where δ is an ...<|control11|><|separator|>
[31]
[PDF] Arithmetic holonomy bounds and effective Diophantine approximation
Oct 5, 2025 · In this paper, we give a new—and perhaps simpler—proof of Theorem 1.1 by applying our quantitative arithmetic holonomy bounds that we develop ...
[32]
[PDF] Thue Diophantine Equations - IMJ-PRG
A Thue equation is a Diophantine equation of the form F(x,y) = m, where F is a homogeneous polynomial in two variables with integer coefficients.Missing: exact | Show results with:exact
[33]
[PDF] arXiv:2012.01844v1 [math.NT] 3 Dec 2020
Dec 3, 2020 · The third result is the following effective version of Roth's theorem ... we use Lemma 3.4 to conclude that the exponent s ≥ 2 is effectively.Missing: greater | Show results with:greater
[34]
[PDF] the manin-mumford conjecture: a brief survey - Arizona Winter School
The Manin-Mumford conjecture for number fields is a deep and important finite- ness question (raised independently by Manin and Mumford) regarding the inter- ...Missing: Roth's | Show results with:Roth's