Abstract
This paper is a comprehensive study of the set of totients, i.e., the set of values taken by Euler's φ-function. The main functions studied are V(x), the number of totients ≤x, A(m), the number of solutions of φ(x)=m (the “multiplicity” of m), and V_k(x), the number of m ≤ x with A(m)=k. The first of the main results of the paper is a determination of the true order ofV(x) . It is also shown that for each k ≥ 1, if there is a totient with multiplicity k then V_k(x) ≫ V(x). Sierpiński conjectured that every multiplicity k ≥ 2 is possible, and we deduce this from the Primek -tuples Conjecture. 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. The lower bound for a possible counterexample is extended to \(10<Superscript>10</Superscript> <Superscript>10</Superscript>\) and the bound lim inf_x→ ∞} V_1(x)/V(x) ≤ 10-5,000,000,000 is shown. Determining the order of V(x) and V_k(x) 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 ≤x is c log log x, where c≈2.186. 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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
R.C. Baker and G. Harman, “The difference between consecutive primes,” Proc. London Math. Soc. 72(3) (1996), 261–280.
P.T. Bateman and R.A. Horn, “A heuristic asymptotic formula concerning the distribution of prime numbers,” Math. Comp. 16 (1962), 363–367.
R.D. Carmichael, “On Euler's ∅-function,” Bull. Amer. Math. Soc. 13 (1907), 241–243.
R.D. Carmichael, “Note on Euler's ∅-function,” Bull. Amer. Math. Soc. 28 (1922), 109–110.
E. Cohen, “Arithmetical functions associated with the unitary divisors of an integer,” Math. Z. 74 (1960), 66–80.
L.E. Dickson, “A new extension of Dirichlet's theorem on prime numbers,” Messenger of Math. 33 (1904), 155–161.
P. Erdős, “On the normal number of prime factors of p — 1 and some related problems concerning Euler's ∅-function,” Quart. J. Math. (Oxford) (1935), 205–213.
P. Erdős, “Some remarks on Euler's ∅-function and some related problems,” Bull. Amer. Math. Soc. 51 (1945), 540–544.
P. Erdős, “Some remarks on Euler's ∅-function,” Acta Arith. 4 (1958), 10–19.
P. Erdős and R.R. Hall, “On the values of Euler's ∅-function,” Acta Arith. 22 (1973), 201–206.
P. Erdős and R.R. Hall, “Distinct values of Euler's ∅-function,” Mathematika 23 (1976), 1–3.
P. Erdős and C. Pomerance, “On the normal number of prime factors of ∅(n),” Rocky Mountain J. of Math. 15 (1985), 343–352.
K. Ford and S. Konyagin, “On two conjectures of Sierpiński concerning the arithmetic functions σ and ∅,” Proceedings of the Number Theory Conference dedicated to Andrzej Schinzel on his 60th birthday (to appear).
K. Ford, “The number of solutions of ∅(x) = m” Annals of Math. (to appear).
J. Friedlander, “Shifted primes without large prime factors,” Number theory and applications (Banff, AB, 1988), Kluwer Acad. Publ., Dorbrecht 1989, pp. 393–401.
H. Halberstam and H.-E. Richert, Sieve Methods, Academic Press, London, 1974.
R.R. Hall and G. Tenenbaum, Divisors, Cambridge University Press, 1988.
G.H. Hardy and J.E. Littlewood, “Some problems of ‘Partitio Numerorum’: III. On the representation of a number as a sum of primes,” Acta Math. 44 (1923) 1–70.
G.H. Hardy and S. Ramanujan, “The normal number of prime factors of a number n,” Quart. J. Math. 48 (1917), 76–92.
A. Hildebrand and G. Tenenbaum, “Integers without large prime factors,” J. Théor. Nombres Bordeaux 5 (1993), 411–484.
V. Klee, “On a conjecture of Carmichael,” Bull. Amer. Math. Soc. 53 (1947), 1183–1186.
L.E. Mattics, “A half step towards Carmichael's conjecture, solution to problem 6671,” Amer. Math. Monthly 100 (1993), 694–695.
H. Maier and C. Pomerance, “On the number of distinct values of Euler's ∅-function,” Acta Arith. 49 (1988), 263–275.
P. Masai and A. Valette, “A lower bound for a counterexample to Carmichael's Conjecture,” Bollettino U.M.I. (1982), 313–316.
S. Pillai, “On some functions connected with ∅(n),” Bull. Amer. Math. Soc. 35 (1929), 832–836.
C. Pomerance, “On the distribution of the values of Euler's function,” Acta Arith. 47 (1986), 63–70.
C. Pomerance, “Problem 6671,” Amer. Math. Monthly 98 (1991), 862.
A. Schinzel, “Sur l'equation ∅(x) = m,” Elem. Math. 11 (1956), 75–78.
A. Schinzel, “Remarks on the paper ‘sur certaines hypothèses concernant les nombres premiers’”, Acta Arith. 7 (1961/62), 1–8.
A. Schinzel and W. Sierpiński, “Sur certaines hypothèses concernant les nombres premiers,” Acta Arith. 4 (1958), 185–208.
A. Schlafly and S. Wagon, “Carmichael's conjecture on the Euler function is valid below 1010,000,000,” Math. Comp. 63 (1994), 415–419.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ford, K. The Distribution of Totients. The Ramanujan Journal 2, 67–151 (1998). https://doi.org/10.1023/A:1009761909132
Issue Date:
DOI: https://doi.org/10.1023/A:1009761909132