🔢 mathematics

Small values of Carmichael's lambda function

Cet article établit une borne supérieure asymptotiquement exacte pour le dénombrement des entiers $n \le x$ dont la fonction lambda de Carmichael est de faible valeur sous une hypothèse plausible sur les nombres premiers décalés $y$ -lisses, et applique ce résultat pour dériver une nouvelle borne supérieure sur le nombre d'entiers impairs où l'ordre multiplicatif de 2 est significativement plus petit que $x^{1/2}$ .

Auteurs originaux : Paul Pollack

Publié 2026-06-18

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Paul Pollack

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

La vision d'ensemble : La « limite de vitesse » des nombres

Imaginez que vous avez un coffre-fort géant avec un nombre $n$ inscrit dessus. À l'intérieur de ce coffre, il y a un club spécial de nombres (appelé le groupe multiplicatif) qui peut jouer à un jeu de multiplication modulo $n$ .

Dans ce jeu, si vous choisissez un nombre $a$ et que vous le multipliez de façon répétée par lui-même ( $a, a^2, a^3, \dots$ ), vous finirez par retomber sur le nombre 1. Le nombre d'étapes nécessaires pour revenir à 1 est appelé l'ordre de $a$ .

La fonction $\lambda(n)$ de Carmichael est la « limite de vitesse maîtresse » pour ce club. C'est le plus petit nombre d'étapes nécessaire pour garantir que chaque membre du club revienne à 1 en même temps.

Si $n$ est un nombre premier, le club est immense, et la limite de vitesse est presque aussi grande que le nombre lui-même.
Si $n$ est un nombre composé « désordonné », la limite de vitesse peut être étonnamment petite.

La question : Combien de nombres $n$ (jusqu'à une limite énorme $x$ ) ont une limite de vitesse très petite ( $\lambda(n) \le y$ ) ?
L'article tente de compter ces nombres « lents ».

L'analogie : La bibliothèque des nombres

Imaginez une bibliothèque massive contenant tous les livres (nombres) de 1 à $x$ .

Le « livre typique » : La plupart des livres de cette bibliothèque sont « rapides ». Leur limite de vitesse est énorme. Si vous choisissez un nombre au hasard, son $\lambda(n)$ est probablement très grand.
Les « livres lents » : Quelques livres sont « lents ». Leur limite de vitesse est minuscule.

L'auteur, Paul Pollack, cherche à déterminer exactement combien de « livres lents » se trouvent dans la bibliothèque lorsque nous fixons une limite de vitesse $y$ spécifique.

La découverte principale : Une nouvelle carte pour la « zone lente »

Avant cet article, les mathématiciens connaissaient les livres « rapides » (les typiques) et les livres « super-lents » (les extrêmement rares). Mais il existait un terrain intermédiaire mystérieux — une « zone de crépuscule » de nombres qui étaient lents, mais pas trop lents.

Pollack dessine une carte précise pour cette zone de crépuscule. Il fournit une formule qui prédit le décompte de ces nombres lents avec une précision incroyable.

Le secret de la formule :
L'article révèle que le nombre de ces entiers lents dépend d'une fonction spécifique et complexe impliquant des logarithmes (appelons-la la « fonction Log-Log-Log »).

Si vous réglez votre limite de vitesse $y$ pour qu'elle soit très petite, le nombre de livres lents chute brutalement.
Si vous réglez $y$ pour qu'elle soit modérément petite, le nombre de livres lents suit une courbe spécifique.

L'article prouve que sa formule est une borne supérieure (un plafond) pour le nombre de nombres lents qui peuvent exister. Il montre également que si une certaine hypothèse raisonnable sur les nombres premiers (appelée « Hypothèse U ») est vraie, alors ce plafond est en réalité le nombre exact. En d'autres termes, la formule n'est pas seulement une limite ; c'est la réponse réelle.

Le mystère des « nombres premiers décalés » (Hypothèse U)

Pour prouver que sa formule est parfaite, Pollack s'appuie sur une hypothèse concernant les nombres premiers décalés.

Considérez un nombre premier $p$ comme une clé spéciale.
Un « nombre premier décalé » est $p-1$ .
L'hypothèse suggère que la « lissité » (la facilité avec laquelle $p-1$ peut être décomposé en petits facteurs) de ces nombres premiers décalés se comporte comme celle de nombres aléatoires de même taille.

Si cette hypothèse se vérifie, la carte de Pollack est 100 % exacte. Si elle ne se vérifie pas, sa carte reste un plafond très serré que personne ne peut dépasser.

L'application concrète : « L'ordre de 2 »

L'article se termine par une application pratique impliquant le nombre 2.
En cryptographie et en informatique, nous nous soucions souvent de « l'ordre de 2 modulo $n$ ». C'est le nombre de fois que vous devez multiplier 2 par lui-même pour revenir à 1 modulo $n$ .

Le savoir ancien : Nous savions que pour presque tous les nombres impairs $n$ , l'ordre de 2 est énorme (au moins la racine carrée de $n$ ).
Le nouveau résultat : Pollack utilise sa nouvelle carte pour prouver que si vous cherchez des nombres où l'ordre de 2 est significativement plus petit que la racine carrée de $n$ , il n'y en a presque aucun.

Il donne une limite supérieure stricte sur le nombre de ces nombres « super-lents » qui peuvent exister. C'est comme dire : « Si vous cherchez une voiture qui roule à moins de 10 mph sur une autoroute, vous n'en trouverez presque aucune, et voici la preuve mathématique exacte de pourquoi. »

Résumé des résultats de la « zone de crépuscule »

L'article se concentre sur une plage spécifique où $y$ (la limite de vitesse) n'est ni minuscule, ni énorme.

La borne supérieure : Il prouve que vous ne pouvez pas avoir plus d'un certain nombre d'entiers lents.
La précision : Il soutient que ce compte est probablement le nombre exact, à condition que notre compréhension des nombres premiers soit correcte.
La méthode : Il utilise un mélange de vieilles astuces (issues de mathématiciens comme Erdős et Pomerance) et de nouvelles techniques délicates pour compter ces nombres, en les traitant comme un puzzle complexe de facteurs et de nombres premiers.

En un mot

Paul Pollack a construit un « compteur de vitesse » hautement précis pour un groupe spécifique de nombres. Il a montré que si la plupart des nombres sont rapides, ceux qui sont « lents » sont incroyablement rares, et il a donné la formule mathématique précise pour compter exactement à quel point ils sont rares. Cela nous aide à comprendre la structure cachée des nombres et améliore nos connaissances sur le comportement du nombre 2 en arithmétique modulaire, qui est un pilier du chiffrement moderne.

Résumé technique de « Small Values of Carmichael's $\lambda$ -Function » par Paul Pollack

Énoncé du problème
L'article étudie la distribution des valeurs « intermédiaires » de la fonction $\lambda$ de Carmichael, $\lambda(n)$ , qui représente l'exposant du groupe multiplicatif $(\mathbb{Z}/n\mathbb{Z})^\times$ . Alors que l'ordre maximal de $\lambda(n)$ est trivial ( $n-1$ pour les nombres premiers) et que l'ordre typique est bien compris (Erdős, Pomerance et Schmutz ont montré que $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ pour presque tout $n$ ), la distribution des valeurs nettement plus petites que la taille typique, mais plus grandes que l'ordre minimal, reste moins explorée.

L'objet central de l'étude est la fonction de comptage $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$ . L'article vise à établir une borne supérieure pour $\log L(x, y)$ qui soit asymptotiquement précise dans la plage où $y$ est « raisonnablement grand » par rapport à $x$ , spécifiquement pour $y$ satisfaisant :
$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon}$
où $\log_k$ désigne la $k$ -ième itérée du logarithme naturel.

Méthodologie
La stratégie de preuve est divisée en l'établissement de bornes supérieures rigoureuses et de bornes inférieures conditionnelles (en supposant une hypothèse spécifique sur les nombres premiers décalés) à travers différentes plages de $y$ .

Bornes supérieures pour les petits $y$ :
Pour la plage $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$ , l'auteur adapte les techniques d'Erdős et Pomerance. L'argument central utilise l'astuce de Rankin pour borner le nombre d'entiers $n \le x$ ayant un $\lambda(n) = m$ fixé. En analysant la condition que $p-1 \mid m$ pour tous les facteurs premiers $p$ de $n$ , l'auteur dérive une borne supérieure exponentielle impliquant la fonction $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$ .
Bornes inférieures (conditionnelles) :
Pour montrer que les bornes supérieures sont précises, l'article suppose l'Hypothèse U, une conjecture concernant la distribution des nombres premiers décalés de puissance lisse (powersmooth). Plus précisément, elle postule que le décompte des nombres premiers $p \le x$ tels que la plus grande puissance de premier divisant $p-1$ est au plus $y$ se comporte comme le décompte des entiers $y$ -lisses jusqu'à $x$ .
- Pour les petits $y$ , l'auteur construit des valeurs « populaires » de $\lambda(n)$ en formant des produits de nombres premiers $p$ tels que $p-1$ est lisse en puissance, en adaptant les arguments d'Erdős et Pomerance concernant la fonction totient d'Euler.
- Pour les grands $y$ (spécifiquement $y \ge \mathcal{L}(x)^2$ ), une construction différente impliquant des paires d'entiers $(a, b)$ est utilisée pour démontrer l'existence d'assez nombreux $n$ avec un petit $\lambda(n)$ .
Bornes supérieures pour les grands $y$ :
La contribution la plus novatrice de cet article est la borne supérieure rigoureuse pour les grands $y$ (jusqu'à $x/\exp((\log_2 x)^{1+\varepsilon})$ ). Cette section revisite et affine les méthodes de travaux antérieurs sur la préimage de la fonction $\phi$ d'Euler et les fonctions de comptage de factorisation.
- La preuve implique une stratification détaillée des entiers basée sur leurs propriétés de factorisation première.
- Elle utilise les compositions multiplicatives (factorisations ordonnées) et des bornes sur le nombre de telles compositions, notées $g_w(n)$ .
- Des lemmes clés établissent que pour un ensemble d'entiers $S$ de densité $x^{1-\beta}$ , la somme des compositions multiplicatives est bornée par $x/\mathcal{L}(x)^\beta$ .
- L'argument réduit le problème au comptage des entiers sans carré et utilise l'inégalité de Brun-Titchmarsh ainsi que les propriétés du radical des entiers pour borner le nombre de $n$ où $\phi(n)/\lambda(n)$ tombe dans des intervalles dyadiques spécifiques.

Résultats clés
Le résultat principal est le Théorème 1.1, qui fournit une borne supérieure pour $L(x, y)$ dans le domaine spécifié. Soit $\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$ . Lorsque $x \to \infty$ :
$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{si } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{sinon.} \end{cases}$
L'article affirme que sous l'Hypothèse U, ces bornes supérieures sont asymptotiquement précises (c'est-à-dire que l'égalité est vérifiée).

Application aux ordres multiplicatifs
Comme application directe, l'article dérive le Corollaire 1.2, qui fournit une nouvelle borne supérieure sur le décompte des entiers impairs $n \le x$ pour lesquels l'ordre multiplicatif de 2 modulo $n$ , noté $l(n)$ , est petit.
Spécifiquement, pour tout $\delta > 0$ et $\beta \ge 0$ :
$\#\{ \text{entiers impairs } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$
Ce résultat améliore les connaissances antérieures, qui ne pouvaient pas établir de bornes non triviales pour des exposants $\beta$ significativement inférieurs à $1/2$ . L'auteur note que bien que l'exposant $1/2 - \beta$ apparaisse dans la borne, la version « correcte » impliquerait probablement $1 - \beta$ , un raffinement qui nécessiterait des travaux supplémentaires sur la distribution des nombres premiers avec de petits ordres multiplicatifs.

Signification et affirmations
L'article affirme fournir les premières bornes supérieures asymptotiques précises pour la distribution des valeurs intermédiaires de $\lambda(n)$ . La signification réside dans :

Combler le fossé : Il comble l'écart entre l'ordre typique et l'ordre minimal de $\lambda(n)$ , un régime jusqu'alors non quantifié dans la littérature.
Précision : Les résultats sont montrés comme étant asymptotiquement précis sous une hypothèse plausible (Hypothèse U) concernant la lissé de puissance des nombres premiers décalés, une conjecture soutenue par des principes heuristiques et des travaux connexes sur les pseudopremiers.
Nouveauté méthodologique : La preuve de la borne supérieure pour les grands $y$ introduit des techniques raffinées impliquant des compositions multiplicatives et le comptage de factorisation, que l'auteur suggère pouvoir avoir des applications à d'autres problèmes de théorie analytique des nombres, tels que la distribution des valeurs populaires de la fonction $\phi$ d'Euler.
Application aux ordres : Le corollaire concernant $l(n)$ offre les bornes supérieures les plus fortes connues pour la fréquence des petits ordres multiplicatifs, répondant à une limitation de longue date dans le domaine où l'exposant $1/2$ constituait auparavant une barrière.

L'auteur maintient un ton modeste concernant la nature conditionnelle des bornes inférieures et le potentiel d'amélioration de l'exposant dans l'application à $l(n)$ , notant que les connaissances actuelles ne permettent pas encore de prouver l'exposant « correct » sans hypothèses supplémentaires.