arXiv++ Combinatorics

For a set of primes $\mathcal{P}$, let $Ψ(x, \mathcal{P})$ be the number of positive integers $n \leq x$ all of whose prime factors lie in $\mathcal{P}$. In this paper we classify the sets of primes $\mathcal{P}$ such that $Ψ(x, \mathcal{P})$ is within a constant factor of its expected value. This task was recently initiated by Granville, Koukoulopoulos and Matomäki and their main conjecture is proved in this paper. In particular our main theorem implies that, if not too many large primes are sieved out in the sense that \[ \sum_{\substack{p \in \mathcal{P} \\ x^{1/v} < p \leq x^{1/u}}} \frac{1}{p} \geq \frac{1 + \varepsilon}{u}, \] for some $\varepsilon > 0$ and $v \geq u \geq 1$, then \[ Ψ(x, \mathcal{P}) \gg_{\varepsilon, v} x \prod_{\substack{p \leq x\\ p \notin\mathcal{P}}} \left(1 - \frac{1}{p}\right). \]

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.

We introduce a new geometric approach to Sturmian words by means of a mapping that associates certain lines in the n x n -grid and sets of finite Sturmian words of length n. Using this mapping, we give new proofs of the formulas enumerating the finite Sturmian words and the palindromic finite Sturmian words of a given length. We also give a new proof for the well-known result that a factor of a Sturmian word has precisely two return words.