The distribution of totients (Q1265261): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q63987678, #quickstatements; #temporary_batch_1704712062442 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q63987678 / rank | |||
Normal rank |
Revision as of 13:09, 8 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The distribution of totients |
scientific article |
Statements
The distribution of totients (English)
0 references
21 June 1999
0 references
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.
0 references
totients
0 references
Carmichael's conjecture
0 references
Sierpiński's conjecture
0 references
prime \(k\)-tuples conjecture
0 references
normal number of prime factors
0 references