The distribution of totients (Q1265261)

This admirable paper improves our knowledge on the set of values of Euler's \(\varphi\)-function, called totients, considerably. Let \(V(x)\) denote the number of \(n\leq x\) which are values of \(\varphi\), let \(A(n)\) be the number of solutions \(m\) of the equation \(\varphi(m)=n\), and let \(V_k(x)\) be the number of \(n\leq x\) for which \(A(n)= k\). The main results of the paper are as follows. Theorem 1: \[ V(x)= {x\over \log x}\exp(C(\log_3 x-\log_4 x)^2+ D\log_3 x-(D+ \textstyle{{1\over 2}}- 2C)\log_4 x+ O(1)) \] (\(C\) and \(D\) are well defined positive constants). This improves the result of \textit{H. Maier} and \textit{C. Pomerance} [Acta Arith. 49, 263-275 (1988; Zbl 0638.10045)] and determines the true order of \(V(x)\) for the first time. Theorem 2. If there is a number \(d\) with \(A(d)= k\), then \[ V_k(x)\gg_\varepsilon d^{-1+\varepsilon} V(x)\qquad (x\geq x_0(k)). \] The author provides a list of the numbers \(m_k\), the smallest \(m\) such that \(A(m)= k\), for \(2\leq k\leq 1000\). In 1907, Carmichael conjectured that for no \(m\) the equation \(A(m)= 1\) holds. The authors show that \(A(m)= 1\) implies \(m\geq 10^{10^{10}}\) and, as a corollary to theorems 1 and 2, that Carmichael's conjecture is equivalent to the statement \(\liminf_{x\to\infty} V_1(x)/V(x)= 0\). It was conjectured by Sierpiński, that for all \(k\geq 2\) there are numbers \(m\) with \(A(m)= k\). \textit{A. Schinzel} [Acta Arith. 7, 1-8 (1961; Zbl 0101.27902)] proved this, assuming the well-known hypothesis \(H\), stated by Schinzel and Sierpiński. The present author derives Sierpiński's conjecture from the prime \(k\)-tuples conjecture. He announces an unconditional proof, based on results on almost primes. In theorem 12, the author determines the normal number of prime factors (with and without multiplicities) of totients. Roughly speaking, this is equal to \(\log_2n\cdot{1\over 1-\rho}\), where \(\rho= 0.54\dots\) is the unique number such that \(F(\rho)= 1\), where \(F(x)= \sum^\infty_{n= 1} a_nx^n\), \(a_n= (n+1)\log(n+ 1)- n\log n-1\). It is almost impossible to describe briefly all results of this paper, or to give an impression of the methods of proof (sieve arguments, geometric ideas, analytic tools). One has to look forward to seeing further papers of the author.