An arithmetic function arising from Carmichael’s conjecture

Luca, Florian¹  ; Pollack, Paul²

¹ Instituto de Matemáticas Universidad Nacional Autónoma de México C.P. 58089, Morelia, Michoacán, México
² University of Illinois at Urbana-Champaign Department of Mathematics Urbana, Illinois 61801, USA

Journal de théorie des nombres de Bordeaux, Tome 23 (2011) no. 3, pp. 697-714

Abstract (VO)

Let $\phi$ denote Euler’s totient function. A century-old conjecture of Carmichael asserts that for every $n$, the equation $\phi \left(n\right)=\phi \left(m\right)$ has a solution $m\ne n$. This suggests defining $F\left(n\right)$ as the number of solutions $m$ to the equation $\phi \left(n\right)=\phi \left(m\right)$. (So Carmichael’s conjecture asserts that $F\left(n\right)\ge 2$ always.) Results on $F$ are scattered throughout the literature. For example, Sierpiński conjectured, and Ford proved, that the range of $F$ contains every natural number $k\ge 2$. Also, the maximal order of $F$ has been investigated by Erdős and Pomerance. In this paper we study the normal behavior of $F$. Let

$$K\left(x\right):={(logx)}^{(loglogx)(logloglogx)}.$$

We prove that for every fixed $ϵ>0$,

$$K{\left(n\right)}^{1/2-ϵ}<F\left(n\right)<K{\left(n\right)}^{3/2+ϵ}$$

for almost all natural numbers $n$. As an application, we show that $\phi \left(n\right)+1$ is squarefree for almost all $n$. We conclude with some remarks concerning values of $n$ for which $F\left(n\right)$ is close to the conjectured maximum size.

Résumé

Soit $\phi$ la fonction indicatrice d’Euler. Une conjecture de Carmichael qui a 100 ans affirme que pour chaque $n$, l’équation $\phi \left(n\right)=\phi \left(m\right)$ a au moins une solution $m\ne n$. Ceci suggère que l’on définisse $F\left(n\right)$ comme le nombre de solutions $m$ de l’équation $\phi \left(n\right)=\phi \left(m\right)$. (Donc, la conjecture de Carmichael est équivalente à l’inégalité $F\left(n\right)\ge 2$ pour tout $n$.) Les résultats sur $F$ sont répandus dans la littérature. Par exemple, Sierpiński a conjecturé, et Ford a démontré, que l’image de $F$ contient tous les nombres $k\ge 2$. Aussi, l’ordre maximal de $F$ a été recherché par Erdős et Pomerance. Dans notre article, nous étudions l’ordre normal de $F$. Soit

$$K\left(x\right):={(logx)}^{(loglogx)(logloglogx)}.$$

On démontre que pour chaque $\epsilon >0$, l’inégalité

$$K{\left(n\right)}^{1/2-\epsilon }<F\left(n\right)<K{\left(n\right)}^{3/2+\epsilon }$$

est vraie pour presque tous les entiers positifs $n$. Comme application, on montre que $\phi \left(n\right)+1$ est sans facteur carré pour presque tous les $n$. On conclut avec quelques remarques sur les valeurs de $n$ telles que $F\left(n\right)$ est proche de sa valeur maximale conjecturée.

Détail

DOI : 10.5802/jtnb.783