arXiv++ Combinatorics

Let $\mathcal{A}\subset\mathbb{R}_{\geqslant1}$ be a countable set such that $\limsup_{x\to\infty}\frac{1}{\log x}\sum_{α\in\mathcal{A}\cap[1,x]}\frac{1}α>0$. We prove that, for every $\varepsilon>0$, there exist infinitely many pairs $(α, β)\in \mathcal{A}^2$ such that $α\neq β$ and $|nα-β| <\varepsilon$ for some positive integer $n$. This resolves a problem of Erdős from 1948. A critical role in the proof is played by the machinery of GCD graphs, which were introduced by the first author and by James Maynard in their work on the Duffin--Schaeffer conjecture in Diophantine approximation.

Covering systems were introduced by Erdős in 1950. In the same article where he introduced them, he asked if the minimum modulus of a covering system with distinct moduli is bounded. In 2015, Hough answered affirmatively this long standing question. In 2022, Balister, Bollobás, Morris, Sahasrabudhe and Tiba gave a simpler and more versatile proof of Hough's result. Building upon their work, we show that there exists some absolute constant $c>0$ such that the $j$-th smallest modulus of a minimal covering system with distinct moduli is $\le \exp(cj^2/\log(j+1))$.

Given quantities $Δ_1,Δ_2,\dots\geqslant 0$, a fundamental problem in Diophantine approximation is to understand which irrational numbers $x$ have infinitely many reduced rational approximations $a/q$ such that $|x-a/q|<Δ_q$. Depending on the choice of $Δ_q$ and of $x$, this question may be very hard. However, Duffin and Schaeffer conjectured in 1941 that if we assume a "metric" point of view, the question is governed by a simple zero--one law: writing $\varphi$ for Euler's totient function, we either have $\sum_{q=1}^\infty \varphi(q)Δ_q=\infty$ and then almost all irrational numbers (in the Lebesgue sense) are approximable, or $\sum_{q=1}^\infty\varphi(q)Δ_q<\infty$ and almost no irrationals are approximable. We present the history of the Duffin--Schaeffer conjecture and the main ideas behind the recent work of Koukoulopoulos--Maynard that settled it.

Given two sets of natural numbers $\mathcal{A}$ and $\mathcal{B}$ of natural density $1$ we prove that their product set $\mathcal{A}\cdot \mathcal{B}:=\{ab:a\in\mathcal{A},\,b\in\mathcal{B}\}$ also has natural density $1$. On the other hand, for any $\varepsilon>0$, we show there are sets $\mathcal{A}$ of density $>1-\varepsilon$ for which the product set $\mathcal{A}\cdot\mathcal{A}$ has density $<\varepsilon$. This answers two questions of Hegyvári, Hennecart and Pach.

We study the extent to which divisors of a typical integer $n$ are concentrated. In particular, defining the Erdős-Hooley $Δ$-function by $Δ(n) := \max_t \# \{d | n, \log d \in [t,t+1]\}$, we show that $Δ(n) \geq (\log \log n)^{0.35332277\dots}$ for almost all $n$, a bound we believe to be sharp. This disproves a conjecture of Maier and Tenenbaum. We also prove analogs for the concentration of divisors of a random permutation and of a random polynomial over a finite field. Most of the paper is devoted to a study of the following much more combinatorial problem of independent interest. Pick a random set $A \subset \mathbb{N}$ by selecting $i$ to lie in $A$ with probability $1/i$. What is the supremum of all exponents $β_k$ such that, almost surely as $D \rightarrow \infty$, some integer is the sum of elements of $A \cap [D^{β_k}, D]$ in $k$ different ways? We characterise $β_k$ as the solution to a certain optimisation problem over measures on the discrete cube $\{0,1\}^k$, and obtain lower bounds for $β_k$ which we believe to be asymptotically sharp.

Let $ψ:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $α$ for which there are infinitely many reduced fractions $a/q$ such that $|α-a/q|\le ψ(q)/q$. If $\sum_{q=1}^\infty ψ(q)φ(q)/q=\infty$, we show that $\mathcal{A}$ has full Lebesgue measure. This answers a question of Duffin and Schaeffer. As a corollary, we also establish a conjecture due to Catlin regarding non-reduced solutions to the inequality $|α- a/q|\le ψ(q)/q$, giving a refinement of Khinchin's Theorem.

In the first paper in this series we estimated the probability that a random permutation $π\in\mathcal{S}_n$ has a fixed set of a given size. In this paper, we elaborate on the same method to estimate the probability that $π$ has $m$ disjoint fixed sets of prescribed sizes $k_1,\dots,k_m$, where $k_1+\cdots+k_m=n$. We deduce an estimate for the proportion of permutations contained in a transitive subgroup other than $\mathcal{S}_n$ or $\mathcal{A}_n$. This theorem consists of two parts: an estimate for the proportion of permutations contained in an imprimitive transitive subgroup, and an estimate for the proportion of permutations contained in a primitive subgroup other than $\mathcal{S}_n$ or $\mathcal{A}_n$.

We determine for what proportion of integers $h$ one now knows that there are infinitely many prime pairs $p,\ p+h$ as a consequence of the Zhang-Maynard-Tao theorem. We consider the natural generalization of this to $k$-tuples of integers, and we determine the limit of what can be deduced assuming only the Zhang-Maynard-Tao theorem.

We are interested in classifying those sets of primes $\mathcal{P}$ such that when we sieve out the integers up to $x$ by the primes in $\mathcal{P}^c$ we are left with roughly the expected number of unsieved integers. In particular, we obtain the first general results for sieving an interval of length $x$ with primes including some in $(\sqrt{x},x]$, using methods motivated by additive combinatorics.