2025-11-10T02:57:02.611382

Carmichael Numbers in All Possible Arithmetic Progressions

Larsen
We prove that every arithmetic progression either contains infinitely many Carmichael numbers or none at all. Furthermore, there is a simple criterion for determining which category a given arithmetic progression falls into. In particular, if $m$ is any integer such that $(m,2ϕ(m))=1$ then there exist infinitely many Carmichael numbers divisible by $m$. As a consequence, we are able to prove that $\liminf_{n\text{ Carmichael}}\frac{ϕ(n)}{n}=0$, resolving a question of Alford, Granville, and Pomerance.
academic

Nombres de Carmichael dans Toutes les Progressions Arithmétiques Possibles

Informations Fondamentales

  • ID de l'article: 2504.09056
  • Titre: Nombres de Carmichael dans Toutes les Progressions Arithmétiques Possibles
  • Auteur: Daniel Larsen
  • Classification: math.NT (Théorie des Nombres)
  • Date de publication: Avril 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2504.09056

Résumé

Cet article démontre que chaque progression arithmétique contient soit une infinité de nombres de Carmichael, soit aucun. De plus, nous fournissons un critère de discrimination simple pour déterminer à quelle catégorie appartient une progression arithmétique donnée. En particulier, si mm est un entier quelconque satisfaisant (m,2ϕ(m))=1(m,2\phi(m))=1, alors il existe une infinité de nombres de Carmichael divisibles par mm. En corollaire, nous prouvons que lim infn Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0, résolvant ainsi un problème posé par Alford, Granville et Pomerance.

Contexte et Motivation de la Recherche

Contexte du Problème

Les nombres de Carmichael sont une classe spéciale de nombres composés satisfaisant ana(modn)a^n \equiv a \pmod{n} pour tout entier aa. Selon le critère de Korselt, un nombre composé sans facteur carré nn est un nombre de Carmichael si et seulement si pour chaque nombre premier pp divisant nn, on a p1n1p-1 \mid n-1.

Motivation de la Recherche

  1. Problème de distribution: Bien qu'Alford, Granville et Pomerance aient prouvé en 1994 qu'il existe une infinité de nombres de Carmichael, la question de leur distribution dans les progressions arithmétiques reste partiellement irrésolue.
  2. Problème ancien: Banks qualifie la question « existe-t-il un entier fixe m>1m>1 divisant une infinité de nombres de Carmichael » de « problème ancien ».
  3. Perfectionnement théorique: Par analogie avec l'étude de la distribution des nombres premiers dans les progressions arithmétiques, l'étude de la distribution des nombres de Carmichael revêt une importance théorique majeure en théorie des nombres.

Limitations des Méthodes Existantes

La méthode classique d'Alford-Granville-Pomerance (AGP) ne peut pas traiter directement le problème de la construction de nombres de Carmichael divisibles par un entier fixe, car la multiplication directe par mm détruit les conditions du critère de Korselt modulo kk.

Contributions Principales

  1. Caractérisation complète: Démonstration que chaque progression arithmétique contient soit une infinité de nombres de Carmichael, soit aucun, fournissant une dichotomie complète.
  2. Critère de discrimination: Fourniture d'un critère simple de « compatibilité Carmichael » contenant trois conditions facilement vérifiables.
  3. Théorème d'existence: Démonstration que pour tout entier mm satisfaisant (m,2ϕ(m))=1(m,2\phi(m))=1, il existe une infinité de nombres de Carmichael divisibles par mm.
  4. Borne inférieure de densité: Pour les progressions arithmétiques compatibles Carmichael, démonstration de l'existence d'au moins x1/168ϵx^{1/168-\epsilon} nombres de Carmichael inférieurs à xx.
  5. Problème de limite: Résolution du problème lim infn Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n}=0 posé par AGP.

Explication Détaillée de la Méthode

Définition de la Tâche

Étant donnée une progression arithmétique r(modm)r \pmod{m}, déterminer si elle contient une infinité de nombres de Carmichael et, dans l'affirmative, fournir une borne inférieure de densité.

Définition de la Compatibilité Carmichael

Soit g=(r,m)g = (r,m), h=(λ(g),m)h = (\lambda(g),m). Une progression arithmétique r(modm)r \pmod{m} est incompatible Carmichael si et seulement si elle satisfait l'une des conditions suivantes:

  • (g,2ϕ(g))>1(g, 2\phi(g)) > 1
  • hr1h \nmid r - 1
  • 36m36 \mid m, r3(mod12)r \equiv 3 \pmod{12}, et r/g5r/g \equiv 5 ou 7(mod12)7 \pmod{12}

Sinon, elle est appelée compatible Carmichael.

Cadre de la Méthode Principale

Construction d'Ensembles de Deux Nombres Premiers

L'innovation clé de cet article est l'utilisation de deux groupes de nombres premiers plutôt que le groupe unique de la méthode AGP:

Pour des entiers appropriés k1,k2,L1,L2k_1, k_2, L_1, L_2, on construit:

  • P1:={dk1+1:dD1}P_1 := \{dk_1 + 1 : d \in D_1\}
  • P2:={dk2+1:dD2}P_2 := \{dk_2 + 1 : d \in D_2\}

D1,D2D_1, D_2 sont sélectionnés respectivement parmi les diviseurs de L1,L2L_1, L_2.

Traitement des Contraintes Modulaires

Recherche de Π1,Π2\Pi_1, \Pi_2 satisfaisant:

  • Π11(modL1)\Pi_1 \equiv 1 \pmod{L_1} et Π11m(modk2L2)\Pi_1 \equiv \frac{1}{m} \pmod{k_2L_2}
  • Π21(modL2)\Pi_2 \equiv 1 \pmod{L_2} et Π21m(modk1L1)\Pi_2 \equiv \frac{1}{m} \pmod{k_1L_1}
  • Π1,Π21(modϕ(m))\Pi_1, \Pi_2 \equiv 1 \pmod{\phi(m)}

Alors mΠ1Π2m\Pi_1\Pi_2 satisfait le critère de Korselt.

Points d'Innovation Technique

1. Méthode d'Échappement des Sous-groupes

Utilisation d'une inégalité du grand crible améliorée pour traiter les caractères d'ordre fixe, évitant que l'ensemble de nombres premiers se concentre dans un vrai sous-groupe:

Proposition 6 (Inégalité du grand crible améliorée): Soit MM un ensemble de nombres entiers positifs sans rr-ièmes puissances, QQ un ensemble fini de nombres entiers positifs, alors qQχmodq,χr=χ0mMχ(m)2Q11rM4+QM\sum_{q\in Q} \sum_{\chi \bmod q, \chi^r=\chi_0}^* \left|\sum_{m\in M} \chi(m)\right|^2 \ll Q^{1-\frac{1}{r}}M^4 + Q'|M|

2. Contrôle de l'Équidistribution

Assurance de l'équidistribution des ensembles de nombres premiers sous l'action des caractères via la Propriété 7*: Pour le produit d'au plus yρy^{\rho} éléments de QiQ_i, tout caractère non principal χmodn\chi \bmod n et nombre réel β\beta, il existe au moins yθy3ι\frac{y^{\theta}}{y^{3\iota}} éléments qQ3iq \in Q_{3-i} tels que βqβ12yρ+ι|\beta_q - \beta| \geq \frac{1}{2y^{\rho+\iota}}.

3. Outils de Théorie Algébrique des Nombres

Utilisation de la loi de réciprocité rr-ième et de la théorie des caractères idéaux pour traiter les problèmes de distribution des caractères d'ordre supérieur.

Configuration Expérimentale

Choix des Paramètres

  • yy: grand paramètre, déterminant la taille des nombres de Carmichael
  • ι\iota: petit nombre positif, déterminant les termes d'erreur
  • δ=16\delta = \frac{1}{6}, θ=162ι\theta = \frac{1}{6} - 2\iota, ρ=1242ι\rho = \frac{1}{24} - 2\iota
  • κ,T\kappa, T: grandes constantes entières (par exemple 100)

Processus de Construction

  1. Construction d'ensembles de nombres premiers Q1,Q2Q_1, Q_2 satisfaisant 8 propriétés
  2. Sélection de paramètres k1,k2k_1, k_2 satisfaisant les conditions de coprimalité et de couverture
  3. Construction de produits auxiliaires A1,A2A_1, A_2 traitant les contraintes modulo LL
  4. Méthode des caractères construisant des produits satisfaisant les contraintes modulo kk

Résultats Expérimentaux

Théorème Principal

Théorème 1: Soit r(modm)r \pmod{m} une progression arithmétique compatible Carmichael. Alors pour chaque ϵ>0\epsilon > 0 et xx suffisamment grand, il existe plus de x1/168ϵx^{1/168-\epsilon} nombres de Carmichael inférieurs à xx congruents à r(modm)r \pmod{m}.

Corollaires Clés

Théorème 2: lim infn Carmichaelϕ(n)n=0\liminf_{n\text{ Carmichael}}\frac{\phi(n)}{n} = 0

Esquisse de preuve: Utilisation de la suite de nombres premiers {qi}\{q_i\} construite par Erdős, dont le produit QQ satisfait logϕ(Q)Q-\log\frac{\phi(Q)}{Q} \to \infty, combinée au Théorème 1 pour obtenir des nombres de Carmichael divisibles par QQ.

Amélioration de la Densité

Pour le cas où le nombre premier rr ne divise pas mm, la méthode de cet article fournit une borne inférieure x1/168ϵx^{1/168-\epsilon}, améliorant:

  • Lorsque rr est un résidu quadratique: le résultat de Matomäki
  • Lorsque rr est un non-résidu quadratique: le résultat x16logloglogxx^{\frac{1}{6\log\log\log x}} de Pomerance

Travaux Connexes

Développement Historique

  1. Šimerka (1885): Découverte du premier nombre de Carmichael connu 561
  2. Korselt (1899): Établissement du critère de discrimination des nombres de Carmichael
  3. AGP (1994): Démonstration de l'infinité des nombres de Carmichael
  4. Wright (2013): Démonstration que la progression arithmétique a(modq)a \pmod{q} avec (a,q)=1(a,q)=1 contient une infinité de nombres de Carmichael

Contributions de cet Article

  • Complétude: Traitement du cas difficile (a,q)>1(a,q)>1
  • Unité: Fourniture d'une classification complète pour toutes les progressions arithmétiques
  • Technicité: Développement de nouveaux outils de théorie des crible et des caractères

Conclusions et Discussion

Conclusions Principales

  1. Le problème de la distribution des nombres de Carmichael dans les progressions arithmétiques est complètement résolu
  2. Fourniture d'un critère de discrimination pratique
  3. Résolution d'un problème important posé par AGP

Limitations

  1. La constante 1168\frac{1}{168} n'est pas optimale et peut être améliorée par des méthodes de crible plus raffinées
  2. La complexité de la méthode est élevée, impliquant plusieurs niveaux techniques
  3. Pour les applications concrètes, le choix des paramètres nécessite un équilibre minutieux

Directions Futures

  1. Optimisation des constantes: Amélioration des bornes inférieures de densité
  2. Applications généralisées: Extension à d'autres objets connexes comme les pseudo-premiers de Fermat
  3. Aspects computationnels: Développement d'algorithmes efficaces de construction de nombres de Carmichael

Évaluation Approfondie

Avantages

  1. Complétude théorique: Résolution complète du problème fondamental de la distribution des nombres de Carmichael dans les progressions arithmétiques
  2. Innovation méthodologique: La méthode des deux ensembles de nombres premiers constitue un développement important de la méthode AGP
  3. Profondeur technique: Utilisation synthétique de la théorie des cribles, de la théorie des caractères et de la théorie algébrique des nombres
  4. Force des résultats: Non seulement démonstration de l'existence, mais aussi fourniture de bornes inférieures quantitatives de densité

Insuffisances

  1. Complexité technique: La preuve implique de nombreux détails techniques, avec un seuil de compréhension élevé
  2. Optimisation des constantes: La constante 1168\frac{1}{168} dispose d'une marge d'amélioration
  3. Praticité: La praticité de la méthode pour la construction concrète de nombres de Carmichael est limitée

Impact

  1. Contribution théorique: Résolution d'un problème fondamental en théorie des nombres, possédant une valeur théorique importante
  2. Signification méthodologique: La méthode des deux ensembles de nombres premiers peut s'appliquer à d'autres problèmes similaires
  3. Recherches ultérieures: Ouverture de nouvelles directions pour l'étude des nombres de Carmichael et des pseudo-premiers connexes

Domaines d'Application

  1. Recherche théorique: Développement ultérieur de la théorie de la distribution des nombres de Carmichael
  2. Cryptographie: Compréhension de la distribution des pseudo-premiers dans les systèmes cryptographiques
  3. Théorie computationnelle des nombres: Fourniture de fondements théoriques pour la génération efficace de nombres de Carmichael

Références Bibliographiques

L'article cite 56 références importantes, incluant principalement:

  • Les travaux fondateurs d'Alford, Granville et Pomerance
  • Les contributions de Wright sur les nombres de Carmichael dans les progressions arithmétiques
  • Les résultats classiques de théorie analytique des nombres comme le théorème de Bombieri-Vinogradov
  • Les références pertinentes de la théorie des cribles

Résumé: Cet article est un travail théorique de haute qualité résolvant un problème important en théorie des nombres. Par la méthode innovante des deux ensembles de nombres premiers, il caractérise complètement la distribution des nombres de Carmichael dans les progressions arithmétiques, possédant une valeur théorique importante et une signification méthodologique majeure.