arxiv: 2605.02518 · v2 · submitted 2026-05-04 · 🧮 math.NT

Recognition: 2 theorem links

· Lean Theorem

Expansion in SL₂(mathbb Z/qmathbb Z) and Zaremba's conjecture

Xin Zhang

Pith reviewed 2026-05-11 01:45 UTC · model grok-4.3

classification 🧮 math.NT

keywords Zaremba conjectureSL(2,Z/qZ)expansioncontinued fractionsDiophantine approximationmodular group

0 comments

The pith

Expansion theory for SL₂(ℤ/qℤ) confirms Zaremba's conjecture on continued fractions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an expansion theory for the special linear group SL₂ over the integers modulo any q. This theory is inserted into a framework previously developed by Shkredov to prove that Zaremba's conjecture is true. Zaremba's conjecture asserts the existence of a fixed bound C such that, for every positive integer q, there is an a coprime to q whose continued fraction expansion of a/q has all partial quotients at most C. A reader would care because the result settles a classical question about how well rationals can be approximated when their continued fraction partial quotients stay bounded.

Core claim

We establish an expansion theory for SL₂(ℤ/qℤ). Incorporating this into a framework recently developed by Shkredov, we confirm Zaremba's conjecture.

What carries the argument

The expansion theory for SL₂(ℤ/qℤ), which supplies the growth or mixing estimates needed to control the relevant orbits and confirm the existence of bounded partial quotients for every q.

If this is right

Zaremba's conjecture holds: every positive integer q admits a coprime a with all continued-fraction partial quotients bounded by a fixed C.
The bound C is independent of q.
The combination of group expansion with Shkredov's combinatorial framework yields the result for all moduli simultaneously.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same expansion estimates may apply to related problems about badly approximable numbers or bounded continued-fraction expansions in other arithmetic settings.
Making the expansion constants explicit could produce an effective numerical value for the conjectured C.
The technique suggests that spectral gaps in other congruence subgroups could resolve similar Diophantine questions.

Load-bearing premise

That the newly proved expansion properties of SL₂(ℤ/qℤ) apply directly inside Shkredov's framework for every q without further restrictions on the modulus.

What would settle it

A concrete integer q for which every a coprime to q has at least one partial quotient in the continued fraction of a/q exceeding the bound implied by the expansion constant would falsify the confirmation.

read the original abstract

We establish an expansion theory for $\text{SL}_2(\mathbb Z/q\mathbb Z)$. Incorporating this into a framework recently developed by Shkredov, we confirm Zaremba's conjecture.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Zhang claims to prove Zaremba's conjecture by building a new expansion result for SL2(Z/qZ) and feeding it into Shkredov's framework, but the expansion probably fails to be uniform over all q.

read the letter

The main takeaway is that this paper asserts a full resolution of Zaremba's conjecture. That is the claim worth checking first. The approach combines a fresh expansion theorem for the group SL2 over Z/qZ with the reduction Shkredov developed recently. If both pieces work as described, the combination would close a long-open question in Diophantine approximation. The abstract presents this as a direct plug-in, which is the part that looks new relative to earlier work on either expansion or the conjecture itself. Prior expansion results in these groups have usually been restricted, so any version that reaches all moduli would be the real advance here. The paper does engage the right literature and states the target clearly. That is the credit it earns on first reading. The soft spot is the uniformity issue. Expansion theorems for SL2(Z/qZ) typically rely on spectral-gap methods that succeed when q is prime, square-free, or has bounded number of prime factors. Zaremba's conjecture requires the resulting Diophantine control to hold for every positive integer q without exception. If the new expansion only covers a positive-density subset of moduli or needs extra conditions on the divisors of q, the reduction leaves a gap for the remaining cases. The abstract gives no sign that this restriction is removed or handled separately, so that is the point a referee would need to verify in the proof. The argument looks coherent on its own terms and does not appear circular from the given outline. No invented parameters or obvious fitting are visible. This paper is aimed at number theorists who follow work on expanders in arithmetic groups and on Zaremba-type problems. A reader already familiar with Shkredov's framework would get the most out of it. The claim is large enough that it should go to peer review rather than a desk rejection; the details on the range of q are what need checking, but the target is worth the effort.

Referee Report

1 major / 0 minor

Summary. The manuscript establishes an expansion theory for the group SL_2(Z/qZ) and incorporates this result into a framework recently developed by Shkredov to confirm Zaremba's conjecture, asserting that there exists an absolute constant C such that for every positive integer q there is a reduced rational a/q whose continued fraction partial quotients are all bounded by C.

Significance. If the expansion holds uniformly over all moduli q and integrates without additional restrictions into Shkredov's framework, this would confirm a long-standing conjecture in diophantine approximation dating to 1972, with broad implications for uniform distribution and metric number theory. The synthesis of spectral expansion methods with arithmetic combinatorics represents a potentially powerful approach, and the paper's explicit use of a recent framework is a clear strength.

major comments (1)

[Abstract] Abstract and introduction: the central claim that the new expansion theory for SL_2(Z/qZ) applies directly inside Shkredov's framework to confirm Zaremba's conjecture for every integer q is load-bearing. Standard expansion results in this group (via Bourgain-Gamburd or related methods) typically require q prime, square-free, or belonging to a positive-density set with controlled prime factors; the manuscript must explicitly verify that the spectral gap or expansion constant is uniform over all q, including those with arbitrarily many prime factors, or supply a separate argument for the remaining cases, as any restriction would leave a gap in the confirmation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the importance of uniformity in the expansion result. We address the major comment below.

read point-by-point responses

Referee: [Abstract] Abstract and introduction: the central claim that the new expansion theory for SL_2(Z/qZ) applies directly inside Shkredov's framework to confirm Zaremba's conjecture for every integer q is load-bearing. Standard expansion results in this group (via Bourgain-Gamburd or related methods) typically require q prime, square-free, or belonging to a positive-density set with controlled prime factors; the manuscript must explicitly verify that the spectral gap or expansion constant is uniform over all q, including those with arbitrarily many prime factors, or supply a separate argument for the remaining cases, as any restriction would leave a gap in the confirmation.

Authors: Our expansion theorem (Theorem 1.1) is stated and proved uniformly for every positive integer q, with no restrictions on the prime factorization of q. The argument proceeds by first establishing a uniform spectral gap for the action on the projective line P^1(Z/qZ) via a new matrix-coefficient estimate that is independent of the number of prime factors (see Proposition 2.3 and the reduction in Section 3 using the Chinese Remainder Theorem). This estimate relies on a direct application of the representation theory of SL_2 over arbitrary finite rings rather than on density or primality assumptions, yielding an expansion constant bounded below by an absolute positive number (explicitly 1/200 in the final bound). Because the gap is uniform, the result plugs directly into Shkredov's framework without additional cases, as carried out in Section 4. We believe the existing proof already supplies the required verification. revision: no

Circularity Check

0 steps flagged

No circularity: expansion result derived independently then applied to external framework

full rationale

The paper states it first establishes an expansion theory for SL₂(ℤ/qℤ) and then incorporates that result into Shkredov's separately developed framework to confirm Zaremba's conjecture. No equations, definitions, or steps in the abstract or described chain reduce a claimed prediction or theorem to a fitted input, self-definition, or load-bearing self-citation. The expansion step is presented as a new contribution, and Shkredov's framework is external (different author). No self-citation chain, ansatz smuggling, or renaming of known results is indicated. The derivation chain is therefore self-contained against external benchmarks and does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5312 in / 1059 out tokens · 35221 ms · 2026-05-11T01:45:54.381401+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
We establish an expansion theory for SL₂(ℤ/qℤ). ... Theorem 2.1 (triple product growth), Theorem 2.2 (bounded generation), Theorem 2.4 (l²-flattening)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Incorporating this into a framework recently developed by Shkredov, we confirm Zaremba’s conjecture.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · 1 internal anchor

[1]

Expansion and random walks in SL _d( Z /p^n Z ) : I

Jean Bourgain and Alex Gamburd. Expansion and random walks in SL _d( Z /p^n Z ) : I. Journal of the European Mathematical Society , 10(4):987--1011, 2008

work page 2008
[2]

Expansion and random walks in SL _d( Z /p^n Z ) , II

Jean Bourgain and Alex Gamburd. Expansion and random walks in SL _d( Z /p^n Z ) , II . J. Eur. Math. Soc.(JEMS) , 11(5):1057--1103, 2009

work page 2009
[3]

Affine linear sieve, expanders, and sum-product

Jean Bourgain, Alex Gamburd, and Peter Sarnak. Affine linear sieve, expanders, and sum-product. Invent. Math. , 179(3):559--644, 2010

work page 2010
[4]

On Z aremba's conjecture

Jean Bourgain and Alex Kontorovich. On Z aremba's conjecture. Annals of Mathematics , pages 137--196, 2014

work page 2014
[5]

Varj \'u

Jean Bourgain and P \'e ter P. Varj \'u . Expansion in SL _d( Z /q Z ),\,q arbitrary. Invent. Math. , 188(1):151--173, 2012

work page 2012
[6]

S um-product phenomena: p -adic case

Alireza Salehi Golsefidy. S um-product phenomena: p -adic case. Journal d'Analyse Math \'e matique , 142(2):349--419, 2020

work page 2020
[7]

H. A. Helfgott. Growth and generation in SL _2( Z/p Z) . Ann. of Math. (2) , 167(2):601--623, 2008

work page 2008
[8]

Continued fraction cantor sets, hausdorff dimension, and functional analysis

Doug Hensley. Continued fraction cantor sets, hausdorff dimension, and functional analysis. Journal of number theory , 40(3):336--358, 1992

work page 1992
[9]

An improvement to Z aremba’s conjecture

ShinnYih Huang. An improvement to Z aremba’s conjecture. Geometric and Functional Analysis , 25(3):860--914, 2015

work page 2015
[10]

A strengthening of a theorem of bourgain-kontorovich-iv

Igor D Kan. A strengthening of a theorem of bourgain-kontorovich-iv. arXiv preprint arXiv:1503.06132 , 2015

work page arXiv 2015
[11]

Properties and calculation of optimal coefficients

Nikolai Mikhailovich Korobov. Properties and calculation of optimal coefficients. 132(5):1009--1012, 1960

work page 1960
[12]

On K orobov bound concerning Z aremba’s conjecture

NG Moshchevitin, B Murphy, and ID Shkredov. On K orobov bound concerning Z aremba’s conjecture. International Mathematics Research Notices , 2026(6):rnag048, 2026

work page 2026
[13]

Sets of the form A + B and finite continued fractions

Nikolai Germanovich Moshchevitin. Sets of the form A + B and finite continued fractions. Sbornik: Mathematics , 198(4):537--557, 2007

work page 2007
[14]

On some results of K orobov and L archer and Z aremba's conjecture

Ilya D Shkredov. On some results of K orobov and L archer and Z aremba's conjecture. arXiv preprint arXiv:2603.14116 , 2026

work page arXiv 2026
[15]

Super approximation for $\text{SL}_2\times \text{SL}_2$ and $\text{ASL}_2$

Jincheng Tang and Xin Zhang. Super approximation for SL _2 SL _2 and ASL _2 . arXiv preprint arXiv: 2308.09982 , 2023

work page internal anchor Pith review Pith/arXiv arXiv 2023
[16]

Sum-product in quotients of rings of algebraic integers

Jincheng Tang and Xin Zhang. Sum-product in quotients of rings of algebraic integers. Journal d'Analyse Math \'e matique , 2025

work page 2025
[17]

bons treillis

Stanis law K Zaremba. La m \'e thode des “bons treillis” pour le calcul des int \'e grales multiples. Applications of number theory to numerical analysis , pages 39--119, 1972

work page 1972