Let $\psi : \mathbb {N} \to [0,1/2]$ be given. The Duffin–Schaeffer conjecture, recently resolved by Koukoulopoulos and Maynard, asserts that for almost all reals $\alpha$ there are infinitely many coprime solutions $(p,q)$ to the inequality $|\alpha - p/q| < \psi (q)/q$, provided that the series $\sum _{q=1}^\infty \varphi (q) \psi (q) / q$ is divergent. In the present paper, we establish a quantitative version of this result, by showing that for almost all $\alpha$ the number of coprime solutions $(p,q)$, subject to $q \leq Q$, is of asymptotic order $\sum _{q=1}^Q 2 \varphi (q) \psi (q) / q$. The proof relies on the method of GCD graphs as invented by Koukoulopoulos and Maynard, together with a refined overlap estimate from sieve theory, and number-theoretic input on the ‘anatomy of integers’. The key phenomenon is that the system of approximation sets exhibits ‘asymptotic independence on average’ as the total mass of the set system increases.

Let $\unicode[STIX]{x1D707}$ be the projection on $[0,1]$ of a Gibbs measure on $\unicode[STIX]{x1D6F4}=\{0,1\}^{\mathbb{N}}$ (or more generally a Gibbs capacity) associated with a Hölder potential. The thermodynamic and multifractal properties of $\unicode[STIX]{x1D707}$ are well known to be linked via the multifractal formalism. We study the impact of a random sampling procedure on this structure. More precisely, let $\{{I_{w}\}}_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ stand for the collection of dyadic subintervals of $[0,1]$ naturally indexed by the finite dyadic words. Fix $\unicode[STIX]{x1D702}\in (0,1)$, and a sequence $(p_{w})_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ of independent Bernoulli variables of parameters $2^{-|w|(1-\unicode[STIX]{x1D702})}$. We consider the (very sparse) remaining values $\widetilde{\unicode[STIX]{x1D707}}=\{\unicode[STIX]{x1D707}(I_{w}):w\in \unicode[STIX]{x1D6F4}^{\ast },p_{w}=1\}$. We study the geometric and statistical information associated with $\widetilde{\unicode[STIX]{x1D707}}$, and the relation between $\widetilde{\unicode[STIX]{x1D707}}$ and $\unicode[STIX]{x1D707}$. To do so, we construct a random capacity $\mathsf{M}_{\unicode[STIX]{x1D707}}$ from $\widetilde{\unicode[STIX]{x1D707}}$. This new object fulfills the multifractal formalism, and its free energy is closely related to that of $\unicode[STIX]{x1D707}$. Moreover, the free energy of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ generically exhibits one first order and one second order phase transition, while that of $\unicode[STIX]{x1D707}$ is analytic. The geometry of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ is deeply related to the combination of approximation by dyadic numbers with geometric properties of Gibbs measures. The possibility to reconstruct $\unicode[STIX]{x1D707}$ from $\widetilde{\unicode[STIX]{x1D707}}$ by using the almost multiplicativity of $\unicode[STIX]{x1D707}$ and concatenation of words is discussed as well.

Let $a_n$ be an increasing sequence of positive reals with $a_n \rightarrow \infty$ as $n \rightarrow \infty$. Necessary and sufficient conditions are obtained for each of the sequences $[\alpha a_n], [\alpha^{a_n}], [{a_n}^{\alpha}]$ to take on infinitely many prime values for almost all $\alpha > \beta$. For example, the sequence $[\alpha a_n]$ is infinitely often prime for almost all $\alpha > 0$ if and only if there is a subsequence of the $a_n$, say $b_n$, with $b_{n+1} > b_n + 1$ and with the series $\sum 1/{b_n}$ divergent. Asymptotic formulae are obtained when the sequences considered are lacunary. An earlier result of the author reduces the problem to estimating the measure of overlaps of certain sets, and sieve methods are used to obtain the correct order upper bounds.

1991 Mathematics Subject Classification: primary 11N05; secondary 11K99, 11N36.