  Let $N_1(m)=\max\{n \colon \phi(n) \leq m\}$ and $N_1 = \{N_1(m) \colon m \in
\phi(\mathbb{N})\}$ where $\phi(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.
