The distribution of totients

Author:
Kevin Ford

Journal:
Electron. Res. Announc. Amer. Math. Soc. **4** (1998), 27-34

MSC (1991):
Primary 11A25, 11N64; Secondary 11N35

DOI:
https://doi.org/10.1090/S1079-6762-98-00043-2

Published electronically:
April 27, 1998

MathSciNet review:
1617448

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper is an announcement of many new results concerning the set of totients, i.e. the set of values taken by Euler's -function. The main functions studied are , the number of totients not exceeding , , the number of solutions of (the ``multiplicity'' of ), and , the number of with . The first of the main results of the paper is a determination of the true order of . It is also shown that for each , if there is a totient with multiplicity , then . We further show that every multiplicity is possible, settling an old conjecture of Sierpinski. An older conjecture of Carmichael states that no totient has multiplicity 1. This remains an open problem, but some progress can be reported. In particular, the results stated above imply that if there is one counterexample, then a positive proportion of all totients are counterexamples. Determining the order of and also provides a description of the ``normal'' multiplicative structure of totients. This takes the form of bounds on the sizes of the prime factors of a pre-image of a typical totient. One corollary is that the normal number of prime factors of a totient is , where . Lastly, similar results are proved for the set of values taken by a general multiplicative arithmetic function, such as the sum of divisors function, whose behavior is similar to that of Euler's function.

**[C1]**R. D. Carmichael,*On Euler's -function*, Bull. Amer. Math. Soc.**13**(1907), 241-243.**[C2]**-,*Note on Euler's -function*, Bull. Amer. Math. Soc.**28**(1922), 109-110.**[D]**L. E. Dickson,*A new extension of Dirichlet's theorem on prime numbers*, Messenger of Math.**33**(1904), 155-161.**[E1]**P. Erdös,*On the normal number of prime factors of and some related problems concerning Euler's -function*, Quart. J. Math. Oxford (1935), 205-213.**[E2]**-,*Some remarks on Euler's -function and some related problems*, Bull. Amer. Math. Soc.**51**(1945), 540-544. MR**7:49f****[E3]**-,*Some remarks on Euler's -function*, Acta Arith. vol 4 (1958), 10-19. MR**22:1539****[EH1]**P. Erdös and R. R. Hall,*On the values of Euler's -function*, Acta Arith.**22**(1973), 201-206. MR**53:13143****[EH2]**-,*Distinct values of Euler's -function*, Mathematika**23**(1976), 1-3. MR**54:2603****[EP]**P. Erdös and C. Pomerance,*On the normal number of prime factors of*, Rocky Mountain J. of Math.**15**(1985), 343-352. MR**87e:11112****[F1]**K. Ford,*The distribution of totients*, The Ramanujan J.**2**(1998), no. 1-2 (to appear).**[F2]**-,*The number of solutions of*, Annals of Math. (to appear).**[FK]**K. Ford and S. Konyagin,*On a conjecture of Sierpinski concerning the sum of divisors function*, Proceedings of the International Number Theory Conference dedicated to Professor Andrzej Schinzel, Zakopane, Poland (to appear).**[HT]**R. R. Hall and G. Tenenbaum,*Divisors*, Cambridge University Press, 1988. MR**90a:11107****[HR]**G. H. Hardy and S. Ramanujan,*The normal number of prime factors of a number*, Quart. J. Math.**48**(1917), 76-92.**[K]**V. Klee,*On a conjecture of Carmichael*, Bull. Amer. Math. Soc.**53**(1947), 1183-1186. MR**9:269d****[MP]**H. Maier and C. Pomerance,*On the number of distinct values of Euler's -function*, Acta Arith.**49**(1988), 263-275. MR**89d:11083****[MV]**P. Masai and A. Valette,*A lower bound for a counterexample to Carmichael's Conjecture*, Boll. Un. Mat. Ital. A (6)**1**(1982), 313-316. MR**84b:10008****[Pi]**S. Pillai,*On some functions connected with*, Bull. Amer. Math. Soc.**35**(1929), 832-836.**[P1]**C. Pomerance,*On the distribution of the values of Euler's function*, Acta Arith.**47**(1986), 63-70. MR**88b:11060****[P2]**-,*Problem 6671*, Amer. Math. Monthly**98**(1991), 862.**[S1]**A. Schinzel,*Sur l'équation*, Elem. Math.**11**(1956), 75-78. MR**18:194c****[S2]**-,*Remarks on the paper ``Sur certaines hypothèses concernant les nombres premiers''*, Acta Arith.**7**(1961/62), 1-8. MR**24:A70****[SS]**A. Schinzel and W. Sierpinski,*Sur certaines hypothèses concernant les nombres premiers*, Acta Arith.**4**(1958), 185-208. MR**21:4936****[SW]**A. Schlafly and S. Wagon,*Carmichael's conjecture on the Euler function is valid below*, Math. Comp.**63**(1994), 415-419. MR**94i:11008**

Retrieve articles in *Electronic Research Announcements of the American Mathematical Society*
with MSC (1991):
11A25,
11N64,
11N35

Retrieve articles in all journals with MSC (1991): 11A25, 11N64, 11N35

Additional Information

**Kevin Ford**

Affiliation:
Department of Mathematics, University of Texas at Austin, Austin, TX 78712

Email:
ford@math.utexas.edu

DOI:
https://doi.org/10.1090/S1079-6762-98-00043-2

Keywords:
Euler's function,
totients,
distributions,
Carmichael's conjecture,
Sierpi\'{n}ski's conjecture

Received by editor(s):
August 13, 1997

Published electronically:
April 27, 1998

Communicated by:
Hugh Montgomery

Article copyright:
© Copyright 1998
American Mathematical Society