Quantitative Khintchine Theorems

• Quantitative Khintchine theorem is a family of results in metric Diophantine approximation that replaces zero–one laws with explicit asymptotic counts and measure thresholds.
• The theory incorporates methods such as asymptotic counting, effective convergence with explicit constants, and Hausdorff-dimension formulas to refine classical divergence criteria.
• It further extends to random models and continued-fraction frameworks, providing clear probabilistic estimates and large deviation bounds for various approximation settings.

Quantitative refinements of Khintchine’s theorem form a family of results in metric Diophantine approximation rather than a single theorem. In the classical simultaneous setting, for a decreasing approximation function $\psi:\mathbb N\to \mathbb R_{>0}$, one considers

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$

and Khintchine’s theorem asserts a zero–full law according as $\sum_{q=1}^\infty \psi(q)^d$ converges or diverges (Alvey, 2020). Quantitative versions sharpen this template in several directions: by counting approximants asymptotically, by giving effective lower bounds for the measure of uniform non-approximability sets, by proving Hausdorff-measure or exact-dimension analogues, or by supplying explicit probabilistic and overlap estimates strong enough to force the same metric dichotomy in restricted or random models (Alam et al., 2020).

1. Classical template and the main quantitative interpretations

The classical Khintchine–Groshev framework for matrices $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$ studies inequalities of the form

$$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$

with $$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$, and the usual divergence criterion is $\sum_{t=1}^\infty \psi(t)$ (Alam et al., 2020). Quantitative work begins when the zero–one law is replaced by finer statements about counts, measure loss, local ubiquity, or fractal size.

Quantitative mode	Typical conclusion	Representative papers
Asymptotic counting	$\mathcal N(\vartheta,T)\sim$ explicit main term	(Alam et al., 2020, Han, 2022, Alam et al., 2020)
Metric threshold and Hausdorff law	full $\mathcal H^s$-measure under explicit divergence and Diophantine conditions	(Alvey, 2020, Beresnevich et al., 2 May 2025)
Effective convergence	explicit $\kappa$ giving good set of measure at least $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$0	(Datta, 2022, Ganguly, 2021)
Probabilistic quantitative inputs	explicit expectation, variance, and overlap bounds	(Kaziulytė et al., 2019, Ramírez, 2017)
Continued-fraction large deviations	explicit deviation bounds for $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$1	(Kamieński, 2019)

A persistent source of ambiguity is that “quantitative” does not have a unique meaning. Several papers explicitly distinguish between metric or fractal-dimensional quantitative statements and effective counting asymptotics. For affine subspaces, for example, the full-measure implication from a divergent sum is described as a “quantitative metric threshold theorem,” but not as an asymptotic rational-point counting theorem (Alvey, 2020). Conversely, on congruence-restricted lattices and on spheres, the main theorems are genuine asymptotic counting laws (Alam et al., 2020, Alam et al., 2020).

2. Asymptotic counting theorems

The strongest quantitative form is an almost-everywhere asymptotic for the number of approximants up to height $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$2. In the congruence-restricted Khintchine–Groshev theorem, for $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$3, continuous non-increasing $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$4, residue data $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$5, and norms $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$6, the counting function

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$7

for solutions to

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$8

satisfies

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$9

for almost every $\sum_{q=1}^\infty \psi(q)^d$0 (Alam et al., 2020). The main term is obtained by encoding approximation as lattice points in a region

$\sum_{q=1}^\infty \psi(q)^d$1

computing $\sum_{q=1}^\infty \psi(q)^d$2, and combining Schmidt-type counting for generic lattices with a transfer argument from generic lattices to the unipotent family $\sum_{q=1}^\infty \psi(q)^d$3.

An $\sum_{q=1}^\infty \psi(q)^d$4-arithmetic analogue replaces the single approximation function by a collection $\sum_{q=1}^\infty \psi(q)^d$5 and imposes separate local inequalities

$\sum_{q=1}^\infty \psi(q)^d$6

For almost every $\sum_{q=1}^\infty \psi(q)^d$7, the counting function $\sum_{q=1}^\infty \psi(q)^d$8 is asymptotic to

$\sum_{q=1}^\infty \psi(q)^d$9

where

$\vartheta\in \mathrm M_{m\times n}(\mathbb R)$0

is the volume of the corresponding $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$1-arithmetic target region (Han, 2022). The paper proves asymptotics along increasing sequences $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$2, and under an additional regularity condition on maximal and minimal regions, for all sufficiently large $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$3.

Intrinsic approximation on spheres yields another counting form. For the unit sphere $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$4, the number $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$5 of primitive rational points $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$6 satisfying

$\vartheta\in \mathrm M_{m\times n}(\mathbb R)$7

obeys

$\vartheta\in \mathrm M_{m\times n}(\mathbb R)$8

for almost every $\vartheta\in \mathrm M_{m\times n}(\mathbb R)$9, equivalently

$$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$0

(Alam et al., 2020). The same paper proves a spiraling theorem: $$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$1 so the directions of approximation errors become equidistributed in prescribed angular sectors.

These counting theorems are Schmidt-type refinements of Khintchine–Groshev laws. They do not merely assert infinitely many approximants; they identify the main term and, at the lattice level, arise from variance bounds or second-moment estimates on spaces of lattices (Alam et al., 2020, Han, 2022).

3. Metric threshold theorems, Hausdorff measure, and fractal dimension

A second quantitative interpretation keeps the zero–full structure but makes the threshold explicit on subspaces or manifolds. For affine subspaces

$$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$2

the tilt matrix $$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$3 carries a multiplicative Diophantine exponent $$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$4. If

$$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$5

then $$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$6 is of Khintchine type for divergence: for every decreasing $$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$7 with

$$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$8

almost every point of $$\|\vartheta \mathbf q+\mathbf p\|^m<\psi(\|\mathbf q\|^n),$$9 is $$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$0-approximable (Alvey, 2020). More generally, if

$$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$1

then

$$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$2

In the power-law case $$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$3, the same framework yields the exact formula

$$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$4

(Alvey, 2020). The paper explicitly interprets these results as metric and fractal-dimensional quantitative statements rather than effective counting asymptotics.

For arbitrary nondegenerate manifolds, the 2025 resolution of the long-standing divergence problem proves the inhomogeneous manifold analogue of the Khintchine theorem: $$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$5 with $$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$6 nondegenerate and $$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$7 (Beresnevich et al., 2 May 2025). Quantitative content enters through rational-point counts near the manifold. Writing $$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$8, the paper proves a lower bound

$$(\mathbf p,\mathbf q)\in \mathbb Z^m\times \mathbb Z^n$$9

for $\sum_{t=1}^\infty \psi(t)$0, and an upper bound

$\sum_{t=1}^\infty \psi(t)$1

where

$\sum_{t=1}^\infty \psi(t)$2

This lower–upper pair yields local ubiquity for divergence and summable coverings for convergence, and also feeds a Jarník-type Hausdorff theorem (Beresnevich et al., 2 May 2025).

A common misconception is that such results are merely qualitative because the final conclusion is “full measure.” The subspace and manifold papers show that explicit divergence criteria, explicit Diophantine thresholds, and exact Hausdorff-dimension formulas are themselves quantitative, even when no asymptotic rational-point count with power-saving error term is claimed (Alvey, 2020, Beresnevich et al., 2 May 2025).

4. Effective convergence theorems and explicit measure estimates

A third major interpretation of “quantitative Khintchine theorem” is effective control in the convergence regime. In simultaneous approximation on nondegenerate manifolds, Datta proved an effective version of the convergence theorem: for any prescribed loss of measure $\sum_{t=1}^\infty \psi(t)$3, one can choose an explicit $\sum_{t=1}^\infty \psi(t)$4 so that

$\sum_{t=1}^\infty \psi(t)$5

holds on a set of measure at least $\sum_{t=1}^\infty \psi(t)$6 (Datta, 2022). The proof makes major-arc and minor-arc contributions explicit and turns Beresnevich–Yang’s qualitative measure-zero theorem into a uniform lower bound for the measure of the good set

$\sum_{t=1}^\infty \psi(t)$7

This is effective in the strong sense that $\sum_{t=1}^\infty \psi(t)$8 depends explicitly on $\sum_{t=1}^\infty \psi(t)$9, $\mathcal N(\vartheta,T)\sim$0, and local manifold data.

A function-field analogue for affine hyperplanes goes further in the direction of explicit constants. For

$\mathcal N(\vartheta,T)\sim$1

and an affine hyperplane

$\mathcal N(\vartheta,T)\sim$2

the convergence-case theorem states that $\mathcal N(\vartheta,T)\sim$3 under a Diophantine condition on the coefficients $\mathcal N(\vartheta,T)\sim$4 and the convergence of

$\mathcal N(\vartheta,T)\sim$5

(Ganguly, 2021). The quantitative strengthening defines

$\mathcal N(\vartheta,T)\sim$6

and proves the existence of explicitly computable constants $\mathcal N(\vartheta,T)\sim$7 and $\mathcal N(\vartheta,T)\sim$8, depending on $\mathcal N(\vartheta,T)\sim$9, $\mathcal H^s$0, and $\mathcal H^s$1 only, such that for any $\mathcal H^s$2,

$\mathcal H^s$3

whenever

$\mathcal H^s$4

(Ganguly, 2021).

In positive characteristic, the convergence theorem for analytic nonplanar manifolds is again qualitative at the final level but quantitatively structured in the proof. The core estimate is

$\mathcal H^s$5

together with the special-set measure bound

$\mathcal H^s$6

which together imply summability and hence the convergence statement (Aranov et al., 3 Nov 2025). This suggests a broad taxonomy: some quantitative Khintchine theorems are effective theorems about the final exceptional set, while others are convergence theorems whose quantitative content lies in the counting and measure estimates that drive Borel–Cantelli.

5. Random, moving-target, and restricted-source variants

Quantitative Khintchine theory also includes models in which the set of admissible rationals is random or structurally constrained. In the random-fractions model with prescribed numbers of numerators, if the average order of $\mathcal H^s$7 is positive and bounded, or at least linear in $\mathcal H^s$8, then for $\mathcal H^s$9-almost every realization $\kappa$0, and for every decreasing $\kappa$1,

$\kappa$2

The proof uses block sums $\kappa$3, explicit expectation and variance bounds, Chebyshev, and local ubiquity (Ramírez, 2017). The same paper proves that if

$\kappa$4

then monotonicity cannot in general be removed: there exists $\kappa$5 with $\kappa$6 but $\kappa$7 for every realization $\kappa$8 (Ramírez, 2017).

A Bernoulli random model gives a monotonicity-free theorem under logarithmic sparsity. If

$\kappa$9

then almost surely

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$00

for every $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$01, and the proof is built from explicit first-moment, variance, and overlap estimates rather than from a separate zero–one law (Kaziulytė et al., 2019).

Moving-target inhomogeneous approximation introduces another quantitative defect term. For

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$02

the key overlap estimate is

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$03

which explains why extra divergence is needed in the general moving-center problem (Michaud et al., 4 Jun 2025). One theorem shows that if $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$04 is decreasing and

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$05

then $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$06 for every target sequence $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$07; a simpler sufficient condition is

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$08

(Michaud et al., 4 Jun 2025). A second theorem proves the full moving-target statement under the classical divergence condition $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$09 when the centers range over only finitely many values. In the fast-divergence regime, the paper also invokes Sprindžuk’s asymptotic formula

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$10

which is a direct counting theorem (Michaud et al., 4 Jun 2025).

A different restricted-source phenomenon appears when rationals are required to lie in a fixed ball in one completion of $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$11 while approximation is measured in another completion. The resulting measure law still has the classical one-dimensional criterion

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$12

and the Hausdorff refinement is

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$13

with $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$14 for $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$15, $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$16 (Oliveira, 2020). Here the quantitative feature is the preservation of the same critical sum despite strong local restrictions on the admissible rationals.

6. Continued fractions, Khintchine’s constant, and fast spectra

In continued-fraction theory, the phrase “quantitative Khintchine theorem” often refers not to rational approximation by inequalities $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$17, but to quantitative versions of the theorem on Khintchine’s constant. For an irrational $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$18, define

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$19

The classical theorem states that for Lebesgue-almost every $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$20,

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$21

(Kamieński, 2019). The quantitative refinement studies the sets

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$22

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$23

and gives explicit lower bounds on their Gauss measure. The central deviation inequality is

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$24

hence

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$25

and summation over $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$26 yields explicit lower bounds for the measure of numbers whose growth remains within $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$27 for all $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$28 (Kamieński, 2019). The paper stresses that the estimates are explicit but numerically conservative.

A related but distinct quantitative theory concerns exceptional continued-fraction growth at superlinear speed. If $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$29, define the upper and lower fast Khintchine sets by

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$30

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$31

If

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$32

with $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$33, then

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$34

The same paper recalls the earlier exact-limit spectrum

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$35

when $$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$36 is equivalent to a nondecreasing function, where

$$W(\psi)=\left\{\mathbf x\in\mathbb R^d:\|q\mathbf x\|<\psi(q)\ \text{for infinitely many }q\in\mathbb N\right\},$$37

(Liao et al., 2014). These formulas show that upper, lower, and exact fast Khintchine spectra can differ. Quantitative Khintchine theory in this continued-fraction sense is therefore a theory of explicit large deviations and exact Hausdorff dimensions for exceptional growth sets, not of rational-point counting.

Taken together, these strands show that “quantitative Khintchine theorem” has stabilized as a genuinely plural notion. In one direction it denotes Schmidt-type asymptotic counting theorems for approximants; in another it means explicit convergence-side measure estimates; in another it means Hausdorff-measure and dimension formulas for limsup sets on subspaces, manifolds, or continued-fraction phase spaces. The unifying feature is that the classical zero–one metric law is replaced by explicit asymptotics, explicit thresholds, or explicit exceptional-set geometry (Alam et al., 2020, Datta, 2022, Alvey, 2020, Kamieński, 2019).