Zaremba's Conjecture in Diophantine Approximation

• Zaremba’s Conjecture is an open problem in Diophantine approximation that posits the existence of a uniform bound for the partial quotients in the continued fraction expansion of any rational number.
• Breakthroughs combining analytic, combinatorial, and dynamical methods have led to density-one and positive proportion results with bounded alphabets, reducing the threshold to values as low as 4 or 5.
• Recent extensions explore non-classical settings such as p-adic and complex continued fractions, revealing the conjecture’s deep interdisciplinary impact and stimulating further algorithmic and structural research.

Zaremba's Conjecture is a central open problem in the theory of Diophantine approximation and continued fractions, addressing the uniform boundedness of partial quotients in the continued fraction expansion of rationals with arbitrary denominators. It has motivated deep interactions between analytic number theory, dynamics, thin groups, combinatorics, and more recently, connections to higher-dimensional and non-classical settings.

1. Statement and Formulation of Zaremba's Conjecture

Let $q\ge 2$ be an integer. For $1\leq a<q$ with $\gcd(a,q)=1$, the simple continued fraction expansion of $a/q$ is

$$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$

meaning

$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$

Set $K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$.

Zaremba's Conjecture (1971): There exists an absolute constant $t\ge 1$ such that for every integer $q\ge 2$, there is $1\le a<q$, $1\leq a<q$0, with $1\leq a<q$1. Zaremba conjectured $1\leq a<q$2.

Equivalent "alphabet" formulation: For some $1\leq a<q$3, every $1\leq a<q$4 is the denominator of a rational number $1\leq a<q$5 whose continued fraction expansion has all partial quotients in $1\leq a<q$6.

No smaller value than $1\leq a<q$7 is possible for all $1\leq a<q$8; for instance, $1\leq a<q$9 corresponds to $\gcd(a,q)=1$0 a Fibonacci number only. For primes $\gcd(a,q)=1$1, even tighter bounds are conjectured for “almost all” $\gcd(a,q)=1$2 (Shulga, 2023).

2. Historical Development and Key Partial Results

Zaremba's problem has a rich history, with milestones and improvements along several lines:

• Korobov (1963): For all $\gcd(a,q)=1$3, some $\gcd(a,q)=1$4 exists with $\gcd(a,q)=1$5.
• Niederreiter (1986): For $\gcd(a,q)=1$6 or $\gcd(a,q)=1$7, $\gcd(a,q)=1$8, and for $\gcd(a,q)=1$9, $a/q$0.
• Yodphotong–Laohakosol (2002): For $a/q$1, $a/q$2.
• Bourgain–Kontorovich (2011): For $a/q$3, almost all $a/q$4 (density one subset) are attained as denominators with $a/q$5 (Bourgain et al., 2011).
• Frolenkov–Kan, Huang, Kan: Reduced thresholds for "positive density" or "density-one" results to $a/q$6 and ultimately $a/q$7 (Kan, 2014, Kan, 2015, Kan, 2016, Huang, 2013).
• Moshchevitin–Murphy–Shkredov (2022): For large $a/q$8 with large minimal prime factors, $a/q$9; for $$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$0, $$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$1 fixed, $$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$2, same bound holds (Moshchevitin et al., 2022).

A table of key results for reference:

Authors	$$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$3 type	Bound on $$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$4
Korobov	all $$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$5	$$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$6
Niederreiter	$$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$7, $$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$8	$$\frac{a}{q} = [a_1,\ldots,a_n],\quad a_j\in \mathbb{N}$$9
Niederreiter	$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$0	$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$1
Yodphotong–Laohakosol	$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$2	$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$3
Frolenkov–Kan (elementary methods)	positive density; $$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$4 arbitrary	$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$5
Bourgain–Kontorovich, Huang, Kan, etc.	density one; $$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$6 arbitrary	$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$7
Kan	positive density; $$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$8	$$\frac{a}{q} = \cfrac{1}{a_1+\cfrac{1}{a_2+\cdots+\cfrac{1}{a_n}}}.$$9
Moshchevitin, Murphy, Shkredov	$K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$0 with large prime factors	$K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$1
Shulga	$K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$2	$K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$3

3. The Radical Bound and Constructive Combinatorics

The "radical bound" is a constructive, combinatorial improvement due to Shulga (Shulga, 2023). For any $K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$4, not a power of $K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$5 or $K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$6,

$K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$7

with $K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$8 (the radical of $K(a/q) := \max\{a_1,a_2,\ldots,a_n\}$9).

Notable consequences:

• For $t\ge 1$0, $t\ge 1$1, so $t\ge 1$2, covering all such mixed powers and generalizing previous results for $t\ge 1$3 and $t\ge 1$4.
• For $t\ge 1$5, $t\ge 1$6, which sharpens the analytic $t\ge 1$7 bound when $t\ge 1$8.

The construction uses the classical "Folding Lemma" for continued fractions. The proof iteratively peels off prime factors of $t\ge 1$9, maintaining boundedness of partial quotients by "folding" at each stage, starting from a squarefree base case and reconstructing $q\ge 2$0 via a sequence of controlled combinatorial operations. No deep analytic machinery is invoked; it is entirely explicit.

4. Density-One and Positive-Proportion Results

The analytic–combinatorial breakthrough was achieved by Bourgain–Kontorovich, who proved for some large $q\ge 2$1 (originally $q\ge 2$2, then $q\ge 2$3), all but a zero density subset of positive integers $q\ge 2$4 are attainable as denominators with $q\ge 2$5 (Bourgain et al., 2011). Further advances lowered $q\ge 2$6 for positive-proportion and density-one results:

• Frolenkov–Kan, Huang, Kan (2012–2015): By refined exponential sum bounds and the construction of quasi-independent matrix "ensembles" in $q\ge 2$7, the threshold for density one was pushed down to $q\ge 2$8 (numerically, the minimal $q\ge 2$9 so that the Hausdorff dimension of $1\le a<q$0 with $1\le a<q$1 exceeds $1\le a<q$2) (Huang, 2013, Kan, 2014, Kan, 2015, Kan, 2016). Positive-proportion was established for $1\le a<q$3.
• Partial Proportion for Sparse Alphabets: Non-consecutive small alphabets (e.g., $1\le a<q$4) yield positive proportion with slightly weaker dimension thresholds (Kan, 2014).
• Hausdorff Dimension Paradigm: The central metric is $1\le a<q$5, the Hausdorff dimension of the bounded-digit Cantor set. For positive density, $1\le a<q$6 suffices; for density one, $1\le a<q$7 (Kan, 2016, Huang, 2013).

5. Algorithmic, Structural, and Non-Archimedean Extensions

Explicit algorithms, particularly those using the folding lemma in a structured way, produce infinite families of "explicit Zaremba sequences" (i.e., geometric progressions of $1\le a<q$8 with $1\le a<q$9). For instance, the refined folding algorithm in (Dubno, 2023) produces families of the form $1\leq a<q$00 or $1\leq a<q$01 with $1\leq a<q$02, improving classical approaches by better handling of non-squarefree bases.

Further, matrix semigroup and dynamical perspectives, especially via affine sieve techniques and thermodynamic formalism, have been crucial for understanding the "randomness" and multiplicity of denominators with bounded partial quotients (Cohen, 2016, Coons, 2017). The semigroup $1\leq a<q$03 generated by

$1\leq a<q$04

models the combinatorics of continued fraction constructions, and its orbits encode the denominators' structure.

6. Generalizations and Analogues in Other Contexts

Extensions to complex and $1\leq a<q$05-adic continued fractions are under active study. The Hurwitz–Zaremba analogue for Gaussian integers considers whether, for all $1\leq a<q$06, there exists $1\leq a<q$07, $1\leq a<q$08 so that $1\leq a<q$09 admits a Hurwitz continued fraction expansion with bounded Gaussian-integer partial quotients (Robert et al., 2023). Specialized sequences over $1\leq a<q$10 (e.g., $1\leq a<q$11) have been established with explicit bounds, but the general case remains open.

Recent work has shown asymptotic “on average” support for Zaremba’s conjecture in complex quadratic fields, applying transfer operator methods for fractal sets of bounded type (Lee, 12 Dec 2025).

7. Open Problems and Current Directions

• Uniform Constant for All $1\leq a<q$12: Despite major advances, the original conjecture—i.e., $1\leq a<q$13 for all $1\leq a<q$14—remains open. The "radical bound" (Shulga, 2023) and density-one results hold in various broad classes, but the exceptional set is not fully eliminated.
• Further Lowering of $1\leq a<q$15: Whether the positive density and density-one results can be achieved for $1\leq a<q$16 or $1\leq a<q$17 is a major open question.
• Distribution and Multiplicity: Precise asymptotics for the number of representations ("multiplicity") of each denominator with bounded digits, as well as the distribution of those with minimal possible multiplicity, remain incompletely understood (Cohen, 2016).
• Non-Archimedean, Higher-Rank, and Function Field Analogues: Generalizations to continued fractions in non-real settings are under development, with partial analogues established in Hurwitz and $1\leq a<q$18-adic settings (Robert et al., 2023, Lee, 12 Dec 2025).

Current approaches suggest that a combination of analytic, combinatorial, and spectral methods—possibly together with new insight into the algebraic and dynamical structure of continued fraction semigroups—will be needed to resolve the outstanding cases of Zaremba's conjecture.

---

Key References:

• (Shulga, 2023) Radical bound for Zaremba’s conjecture
• (Huang, 2013) An Improvement To Zaremba’s Conjecture
• (Kan, 2014, Kan, 2015, Kan, 2016) Further density/proportion results
• (Robert et al., 2023) Complex Hurwitz analogue
• (Moshchevitin et al., 2022) Improved analytic bound for all $1\leq a<q$19
• (Lee, 12 Dec 2025) Asymptotic statistics and complex analogues
• (Dubno, 2023) Algorithmic advances in explicit constructions
• (Cohen, 2016) Multiplicity and distribution heuristics
• (Coons, 2017) Mahler regularity interpretation

These works reflect the multifaceted advances in the study of Zaremba’s conjecture, from explicit constructions to statistical density theorems, and their structural extensions across arithmetic and geometric settings.