Skip to main content
1 of 2

Arithmetic progressions in inverse image of totient function

I noticed on the OEIS that there are various sequences (e.g. A050515-A050520) that describe arithmetic progressions whose totients are all equal. For example, we have $$\varphi(\{1,2\}) = 1$$ $$\varphi(\{8,10,12\}) = 4$$ $$\varphi(\{72,78,84,90\}) = 24$$ $$\varphi(\{353640 + [0,4]\cdot 210\}) = 80640$$ $$\varphi(\{583200 + [0,5]\cdot 30\}) = 155520$$ $$\varphi(\{1158419010 + [0,6]\cdot 210\}) = 264781440$$ (The notation above is somewhat sloppy; I'm trying to say that Euler's totient function equals the right-hand side when evaluated on anything in the set.) Is there a simple reason to believe that this pattern should continue? In other words, for any $k$, does there exist an arithmetic progression $P$ of length $k$ such that $\varphi$ is constant on $P$?

A lemma of H. Gupta [Indian J. Pure Appl. Math, 12(1) (1981)] states that a solution to $\varphi(x) = n$ cannot exceed $A(n)$ where $$A(n) = n\prod_{p\backslash n} {p\over p-1}$$ (the product is taken over all primes $p$ dividing $n$), so my first thought was that some kind of density argument could be made. But it actually does not seem like this is the reason for the arithmetic progressions popping up. Indeed, the ratio $${|\varphi^{-1}(n)|\over A(n)}$$ does not seem to have a positive $\limsup$ as $n$ gets large. One observation is that if $\varphi$ is constant on an arithmetic progression $P$, it is also constant on any dilate $m\cdot P$ of $P$, and some of these dilates might be contained in larger progressions on which $\varphi$ is also constant.