arXiv++ Combinatorics

Let $N_1(m)=\max\{n \colon φ(n) \leq m\}$ and $N_1 = \{N_1(m) \colon m \in φ(\mathbb{N})\}$ where $φ(n)$ denotes the Euler's totient function. Masser and Shiu \cite{masser} call the elements of $N_1$ as `sparsely totient numbers' and initiated the study of these numbers. In this article, we establish several results for sparsely totient numbers. First, we show that a squarefree integer divides all sufficiently large sparsely totient numbers and a non-squarefree integer divides infinitely many sparsely totient numbers. Next, we construct explicit infinite families of sparsely totient numbers and describe their relationship with the distribution of consecutive primes. We also study the sparseness of $N_1$ and prove that it is multiplicatively piecewise syndetic but not additively piecewise syndetic. Finally, we investigate arithmetic/geometric progressions and other additive and multiplicative patterns like $\{x, y, x+y\}, \{x, y, xy\}, \{x+y, xy\}$ and their generalizations in the sparsely totient numbers.

In order to investigate multiplicative structures in additively large sets, Beiglböck et al. raised a significant open question as to whether or not every subset of the natural numbers with bounded gaps (syndetic set) contains arbitrarily long geometric progressions. A result of Erdős implies that syndetic sets contain a $2$-term geometric progression with integer common ratio, but we still do not know if they contain such a progression with common ratio being a perfect square. In this article, we prove that for each $k\in \mathbb{N}$, a syndetic set contains $2$-term geometric progressions with common ratios of the form $n^kr_1$ and $p^kr_2$, where $p\in\mathbb{P}$ (the set of primes), $n$ is a composite number, $r_1\equiv 1 \pmod{n}$, $r_2\equiv 1\pmod{p}$ and $r_1,r_2\in \mathbb{N}$. We also show that 2-syndetic sets (sets with bounded gap two) contain infinitely many $2$-term geometric progressions with their respective common ratios being perfect squares.