🔢 mathematics

$(a,a)$ -Carmichael numbers and greatest common divisors of $p-a$

En supposant une conjecture forte sur le premier nombre premier dans une progression arithmétique, l'article prouve que pour tout entier $a$ et tout entier naturel $\nu$ avec $(\nu,a)=1$ et de parité opposée, il existe au moins $X^{1-(2+o(1))\frac{\log\log\log \log X}{\log\log\log X}}$ nombres de Carmichael $(a,a)$ jusqu'à $X$ avec un plus grand commun diviseur $\nu$ fixé des termes $p-a$ , démontrant que de tels nombres peuvent être construits avec un $K$ borné plutôt qu'un $K$ croissant avec $n$ .

Auteurs originaux : Thomas Wright

Publié 2026-07-07

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Thomas Wright

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

Imaginez que vous êtes un maître bâtisseur essayant de construire un type très spécifique de « forteresse mathématique ». Dans le monde des nombres, ces forteresses sont appelées nombres de Carmichael.

Pendant longtemps, les mathématiciens savaient comment construire ces forteresses, mais ils suivaient une règle stricte : pour agrandir la forteresse, ils devaient utiliser des « pierres de fondation » de plus en plus complexes et massives. S'ils voulaient une immense forteresse, les pierres de fondation devaient être énormes. Cela rendait difficile la construction de forteresses partageant une caractéristique spécifique, petite et fixe (comme être divisible par un nombre premier spécifique) sans que la structure entière ne devienne trop encombrante.

La Nouvelle Découverte
Thomas Wright, l'auteur de ce papier, a trouvé un moyen de construire ces forteresses différemment. Il montre que vous pouvez construire un nombre de Carmichael $(a, a)$ (une variation spécifique de la forteresse) où les « pierres de fondation » partagent un diviseur commun fixe et petit (appelons-le $\nu$ ), peu importe la taille finale de la forteresse.

Pensez-y de cette façon :

L'Ancienne Méthode : Pour construire un gratte-ciel, vous aviez besoin d'une fondation qui s'élargissait et s'approfondissait à chaque fois que vous ajoutiez un étage. Vous ne pouviez pas construire un gratte-ciel avec un sous-sol minuscule et fixe.
La Nouvelle Méthode : Wright montre que vous pouvez construire un gratte-ciel qui possède toujours ce sous-sol minuscule et fixe, même si le bâtiment atteint les nuages.

Les Ingrédients et la Recette
Pour construire ces nombres, Wright utilise une recette spéciale qui repose sur quelques ingrédients clés :

Les Pierres « Lisses » : Il commence par trouver une grande collection de nombres premiers (les blocs de construction) qui sont « lisses ». En termes mathématiques, cela signifie que si vous prenez l'un de ces nombres premiers et que vous lui soustrayez un nombre spécifique ( $a$ ), le résultat se décompose en pièces très petites et maniables. C'est comme trouver des pierres faciles à couper et à façonner.
La « Conjecture Magique » : La recette nécessite un « ingrédient magique » basé sur une supposition (une conjecture) faite par le mathématicien Heath-Brown. Cette supposition dit que si vous cherchez un nombre premier selon un motif spécifique, vous n'aurez pas à chercher éternellement ; vous en trouverez un relativement vite. Wright suppose que cette supposition est vraie pour que sa construction fonctionne.
La Construction en Deux Étapes :
- Il construit deux groupes distincts de ces pierres « lisses ».
- Il multiplie les pierres du premier groupe pour créer un nombre ( $n_1$ ) et les pierres du second groupe pour créer un autre nombre ( $n_2$ ).
- Il combine ensuite le tout avec un nombre premier de « colle » ( $P$ ) pour former le nombre final : $n = P \times n_1 \times n_2$ .

Le Résultat
La magie de cette construction est que le nombre final $n$ se comporte comme un nombre de Carmichael (il réussit un test mathématique spécifique que seuls les nombres premiers réussissent), mais il le fait tout en conservant un « diviseur commun » de ses parties petit et fixe.

Combien y en a-t-il ?
Le papier ne dit pas seulement « vous pouvez en construire un ». Il prouve que vous pouvez en construire beaucoup.

Si vous regardez tous les nombres jusqu'à une limite énorme $X$ , le nombre de ces forteresses spéciales est approximativement $X$ élevé à une puissance qui est très proche de 1.
En langage courant : Il y en a tellement de ces nombres qu'ils sont presque aussi communs que les nombres de Carmichael eux-mêmes, même s'ils possèdent cette règle supplémentaire et restrictive concernant leur fondation.

Pourquoi cela importe (selon le papier)
Avant ce papier, la plupart des méthodes pour créer ces nombres exigeaient que le « diviseur commun » devienne de plus en plus grand à mesure que les nombres augmentent. Le travail de Wright suggère que ce n'est pas nécessaire. On peut avoir un nombre massif avec un facteur partagé petit et fixe.

La Mise en Garde
Le papier admet que ce résultat dépend du fait que cette « supposition magique » (Conjecture 2) soit vraie. Si cette supposition s'avère fausse, la méthode de construction pourrait ne pas fonctionner. Cependant, en supposant que la supposition est correcte, le papier prouve que ces nombres spéciaux sont abondants et peuvent être construits avec un facteur partagé petit et fixe.

Résumé
Thomas Wright a montré que vous n'avez pas besoin d'une fondation géante pour construire une géante forteresse mathématique. En utilisant une combinaison habile de nombres premiers « lisses » et une supposition mathématique largement acceptée, il a prouvé qu'il existe d'innombrables nombres de Carmichael qui partagent un secret petit et fixe, défiant l'ancienne idée que ces nombres doivent toujours posséder des fondations complexes et croissantes.

Résumé Technique : Nombres de Carmichael $(a, a)$ et Plus Grands Commun Diviseurs de $P - a$

Énoncé du Problème
L'article traite de la distribution et de la construction des nombres de Carmichael $(a, a)$ . Un entier composé et sans carré est défini comme un nombre de Carmichael $(a, a)$ si, pour tout facteur premier $p$ de $n$ , la condition $p - a \mid n - a$ est satisfaite. Cela généralise la définition classique des nombres de Carmichael (où $a=1$ ), qui satisfont $p-1 \mid n-1$ .

Le problème central étudié est de savoir s'il existe une infinité de tels nombres avec un plus grand commun diviseur (PGCD) borné des termes $p - a$ . Plus précisément, pour un nombre de Carmichael $(a, a)$ donné $n$ avec facteurs premiers $p_1, \dots, p_m$ , soit $K = \gcd(p_1 - a, \dots, p_m - a)$ . L'article cherche à déterminer une borne inférieure pour $C_\nu(X, a)$ , le décompte des nombres de Carmichael $(a, a)$ jusqu'à $X$ où $K = \nu$ .

Cette enquête est formulée comme une étape intermédiaire vers une question ouverte plus large : s'il existe une infinité de nombres de Carmichael $(a, a)$ divisibles par un premier $Q$ fixé. Les constructions précédentes de nombres de Carmichael (par exemple, Alford, Granville et Pomerance [1]) nécessitaient généralement que le PGCD $K$ croisse à mesure que $n$ augmente, ce qui empêchait la construction d'une infinité de nombres divisibles par un premier fixé. L'auteur vise à montrer que $K$ peut être maintenu constant (spécifiquement $K=\nu$ ) tout en générant un ensemble important de tels nombres.

Méthodologie
La preuve repose sur un cadre de construction conditionnelle qui modifie l'approche combinatoire standard utilisée dans [1], [17] et [18]. La méthodologie implique les composantes clés suivantes :

Hypothèse Conditionnelle : Les résultats sont conditionnés par la Conjecture 2, une version affaiblie d'une conjecture de Heath-Brown concernant le premier premier dans une progression arithmétique. La conjecture pose que pour tout $A \ge 2$ , si $l$ est suffisamment grand et $(b, l) = 1$ , il existe un premier $p \equiv b \pmod l$ tel que $p < l(\log l)^A$ . Cela garantit l'existence de petits multiplicateurs dans les progressions arithmétiques.
Construction Duale d'Ensembles de Premiers :
- L'auteur construit deux ensembles disjoints de nombres premiers, $Q_1$ et $Q_2$ , dérivés de produits de nombres premiers $r$ dans l'intervalle $[z/2, z]$ .
- Ces ensembles sont utilisés pour former de grands entiers $L_1$ et $L_2$ . Crucialement, la construction garantit que la fonction lambda de Carmichael $\lambda(L_1 L_2)$ est extrêmement petite par rapport à $L_1 L_2$ (spécifiquement $\lambda(L_1 L_2) \le e^{4/5 z}$ ).
- Deux ensembles de nombres premiers, $P_{k_1}$ et $P_{k_2}$ , sont définis basés sur des progressions arithmétiques modulo $L_1$ et $L_2$ respectivement. Les paramètres $k_1$ et $k_2$ sont choisis pour être de petits entiers tels que les nombres premiers dans $P_{k_1}$ sont de la forme $d_1 k_1 \nu + a$ et les nombres premiers dans $P_{k_2}$ sont de la forme $d_2 k_2 \nu + a$ .
Sélection Combinatoire :
- En utilisant un théorème de van Emde Boas, Kruyswijk et Meshulam concernant les sous-suites à somme nulle dans $(\mathbb{Z}/M\mathbb{Z})^\times$ , l'auteur démontre qu'il existe des sous-ensembles de nombres premiers au sein de $P_{k_1}$ et $P_{k_2}$ dont les produits, $n_1$ et $n_2$ , satisfont des conditions de congruence spécifiques.
- Plus précisément, $n_1 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$ et $n_2 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$ , où $P = L_1 L_2 k_1 k_2 k_3 \nu + a$ est un premier spécifique trouvé via la conjecture.
Construction Finale :
- Le nombre de Carmichael $(a, a)$ final est construit comme $n = P n_1 n_2$ .
- La structure garantit que pour tout facteur premier $p$ de $n$ , $p - a$ divise $n - a$ .
- Un lemme critique prouve que pour cette construction, $\gcd(p_1 - a, p_2 - a) = \nu$ pour les nombres premiers provenant des différents ensembles, garantissant que le PGCD global $K$ est exactement $\nu$ .

Contributions Principales et Résultats
Le résultat principal est le Théorème 1, qui établit une borne inférieure pour le nombre de nombres de Carmichael $(a, a)$ avec un PGCD $\nu$ fixé.

Théorème : En supposant que la Conjecture 2 soit vraie, pour tout entier $a$ et tout entier naturel $\nu$ tel que $(a, \nu) = 1$ et que $a, \nu$ aient des parités opposées :
$C_\nu(X, a) \ge X^{1 - (2+o(1)) \frac{\log \log \log \log X}{\log \log \log X}}$
Signification de la Borne : Cette borne inférieure est identique à celle précédemment établie par l'auteur dans [17] pour le décompte total des nombres de Carmichael classiques ( $C(X, 1)$ ).
Départ de la Tradition : Contrairement aux constructions traditionnelles où le PGCD $K$ doit croître avec $n$ pour assurer l'existence de suffisamment de nombres premiers, ce résultat démontre que l'on peut fixer $K = \nu$ et tout en générant un ensemble de nombres dont la borne inférieure est "proche du meilleur possible".

Signification et Revendications
L'article affirme que ce résultat constitue un départ significatif des méthodes précédentes dans l'étude des nombres de Carmichael.

PGCD Borné : Il résout une question intermédiaire spécifique (Question 5 de l'introduction) en montrant que le nombre de nombres de Carmichael $(a, a)$ avec un PGCD $\nu$ borné n'est pas négligeable ; il est plutôt du même ordre asymptotique que l'ensemble total des nombres de Carmichael.
Implications pour les Questions Ouvertes : Bien que l'article reconnaisse que la question complète de savoir s'il existe une infinité de nombres de Carmichael $(a, a)$ divisibles par un premier $Q$ fixé reste hors de portée, ce résultat suggère que la contrainte d'un PGCD borné ne réduit pas de manière significative la densité de ces nombres.
Optimalité : L'auteur note que la borne inférieure dérivée est proche de la borne supérieure conjecturée pour le nombre total de nombres de Carmichael (proposée par Pomerance), suggérant que l'ensemble des nombres de Carmichael $(a, a)$ avec $K$ borné constitue une partie substantielle de l'ensemble total.

L'article ne prétend pas prouver l'infinitude de tels nombres de manière inconditionnelle, ni résoudre directement la question pour des diviseurs premiers $Q$ fixés. Au lieu de cela, il fournit une preuve conditionnelle que la contrainte du "PGCD borné" est compatible avec la haute densité des nombres de Carmichael.

Articles similaires