Sparse subsets of the natural numbers and Euler's totient function
In this article, we investigate sparse subsets of the natural numbers and study the sparseness of some sets associated with the Euler's totient function ϕ via the property of `Banach Density'. These sets related to the totient function are defined as follows: V:=ϕ(N) and Ni:={Ni(m):m∈V} for i=1,2,3, where N1(m)=max{x∈N:ϕ(x)≤m}, N2(m)=max(ϕ−1(m)) and N3(m)=min(ϕ−1(m)) for m∈V. Masser and Shiu call the elements of N1 as `sparsely totient numbers' and construct an infinite family of these numbers. Here we construct several infinite families of numbers in N2∖N1 and an infinite family of composite numbers in N3. We also study (i) the ratio N3(m)N2(m), which is linked to the Carmichael's conjecture, namely, ∣ϕ−1(m)∣≥2 ∀ m∈V, and (ii) arithmetic and geometric progressions in N2 and N3. Finally, using the above sets associated to the totient function, we generate an infinite class of subsets of N, each with asymptotic density zero and containing arbitrarily long arithmetic progressions.
