On the local structure of the set of values of Euler's $\varphi$ function

Abstract

Assuming the validity of Dickson's conjecture, we show that the set $\mathcal{V}$ of values of the Euler's totient function $\varphi$ contains arbitrarily large arithmetic progressions with common difference 4. This leads to the question of proving unconditionally that this set $\mathcal{V}$ has a positive upper Banach density.