🔢 mathematics

Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers

Cet article présente des preuves de primalité classiques entièrement vérifiées pour les nombres de Wagstaff $W_{2617}$ , $W_{10501}$ et $W_{12391}$ selon le critère $N-1$ , en utilisant le critère de Brillhart-Lehmer-Selfridge et des factorisations cyclotomiques, établissant ainsi leur primalité indépendamment des méthodes basées sur les courbes elliptiques et des conjectures non prouvées.

Auteurs originaux : Alexey Dolotov

Publié 2026-05-19

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Alexey Dolotov

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 détective tentant de prouver qu'un nombre spécifique, incroyablement grand, est véritablement « premier » (c'est-à-dire qu'il ne peut être divisé que par 1 et par lui-même). Dans le monde des mathématiques, ces nombres sont comme de gigantesques coffres-forts complexes. La plupart du temps, pour prouver qu'un coffre-fort est incassable, les mathématiciens utilisent une méthode haute technologie et complexe appelée ECPP (Preuve de primalité par courbes elliptiques). C'est comme utiliser un superordinateur pour simuler une expérience de physique quantique afin de vérifier le coffre. Cela fonctionne, mais c'est lourd, compliqué et difficile pour les autres à vérifier rapidement.

Ce papier d'Alexey Dolotov présente une approche différente. L'auteur prouve que trois nombres géants spécifiques (appelés nombres de Wagstaff) sont premiers, mais au lieu d'utiliser les outils lourds de style quantique, il utilise une méthode classique, « old-school », appelée BLS (Brillhart–Lehmer–Selfridge).

Voici la décomposition de ce que fait le papier, en utilisant des analogies simples :

1. La Cible : Les Nombres de Wagstaff

Imaginez les nombres de Wagstaff comme une famille spéciale de nombres liés aux célèbres nombres de Mersenne (utilisés pour trouver les plus grands nombres premiers connus). Ils sont définis par une recette simple : prenez un nombre premier $p$ , calculez $2^p + 1$ , et divisez par 3.
Le papier se concentre sur trois « géants » spécifiques de cette famille :

W2617 (un nombre de 788 chiffres)
W10501 (un nombre de 3 161 chiffres)
W12391 (un nombre de 3 730 chiffres)

Tout le monde soupçonnait déjà qu'ils étaient premiers, mais la preuve reposait sur la lourde méthode ECPP. Ce papier dit : « Prouvons-le à nouveau en utilisant une méthode plus légère et plus transparente. »

2. La Méthode : L'Énigme « N-1 »

La méthode BLS fonctionne comme un puzzle. Pour prouver qu'un nombre $N$ est premier, vous n'avez pas à vérifier chaque nombre jusqu'à $N$ . Au lieu de cela, vous regardez le nombre $N - 1$ .

Imaginez que $N - 1$ est une longue chaîne de maillons. Si vous pouvez trouver un gros morceau de cette chaîne qui est entièrement factorisé (ce qui signifie que vous savez exactement quels petits nombres premiers composent ce morceau), et que ce morceau est assez grand (spécifiquement, plus grand que la racine cubique de $N$ ), vous pouvez prouver mathématiquement que le nombre entier $N$ est premier.

Le Défi : Pour ces géants de Wagstaff, $N-1$ est une chaîne massive. Habituellement, la plupart des maillons sont cachés ou inconnus.
L'Astuce : L'auteur a réalisé que $N-1$ pour ces nombres provient d'une structure mathématique spécifique appelée décomposition cyclotomique. C'est comme savoir que la chaîne est faite de types spécifiques de maillons (appelés $\Phi_d(2)$ ).
La Récolte : L'auteur est allé chercher dans des « bibliothèques » existantes de données mathématiques (les tables du Projet Cunningham et FactorDB) pour trouver les maillons déjà connus. Pour le reste, il a utilisé des algorithmes informatiques pour les décomposer.

3. La Vérification : Le Contrôle « Référence Or »

Une fois que l'auteur a trouvé un morceau assez grand de la chaîne (la « portion factorisée »), il a dû prouver que chaque petit maillon premier individuel à l'intérieur de ce morceau était réellement premier.

Il n'a pas simplement deviné. Il a utilisé une méthode rigoureuse et incassable appelée APR-CL pour certifier chaque petit nombre premier.
Pensez-y comme un notaire qui tamponne chaque brique individuelle d'un mur avant de déclarer le mur sûr.

4. Le Double-Contrôle : Le « Miroir Magique »

Pour s'assurer que son code informatique ne comportait pas de bug, l'auteur a ajouté un second contrôle indépendant.

Il a utilisé un système mathématique différent impliquant des racines carrées de 2 (appelé $\mathbb{Z}[\sqrt{2}]$ ).
Il a vérifié une « congruence » mathématique spécifique (une façon élégante de dire une correspondance de motifs) qui doit se produire si le nombre est premier.
C'est comme vérifier votre travail en résolvant le problème à l'envers. Si le motif correspond, cela confirme que les calculs ont été faits correctement.

5. Les Résultats

Le papier prouve avec succès que W2617, W10501 et W12391 sont premiers.

Pourquoi est-ce spécial ? Ces preuves sont « inconditionnelles », ce qui signifie qu'elles ne reposent pas sur des hypothèses non prouvées. Elles sont également « indépendantes », ce qui signifie qu'elles n'utilisent pas la lourde méthode ECPP que tout le monde utilise.
La Limite : L'auteur explique que cette méthode ne fonctionne que si le nombre $p-1$ est « lisse » (ce qui signifie qu'il se décompose facilement en petits morceaux connus). Il a vérifié tous les autres candidats Wagstaff connus et a constaté que pour presque tous d'entre eux, la chaîne possède un maillon géant et incassable qui rend cette méthode spécifique impossible à utiliser pour le moment. Seuls ces trois nombres étaient « lisses » assez pour être résolus de cette manière.

Résumé

Alexey Dolotov a pris trois nombres géants qui étaient déjà considérés comme premiers et les a prouvés en utilisant une méthode classique, transparente et hautement vérifiable. Il n'a pas simplement dit « c'est premier » ; il a construit un certificat complet, étape par étape, que n'importe qui peut exécuter sur son propre ordinateur pour vérifier le résultat. C'est une preuve « plus propre » qui se tient seule, indépendante des méthodes plus complexes généralement utilisées pour ces géants.

Résumé Technique : Trois Preuves de Primauté Brillhart–Lehmer–Selfridge pour les Nombres de Wagstaff

Énoncé du Problème
L'article traite de la vérification de la primalité des nombres de Wagstaff, définis par $W_p = (2^p + 1)/3$ pour des nombres premiers impairs $p$ . Alors que les nombres de Mersenne ( $M_p = 2^p - 1$ ) possèdent un test de primalité déterministe et autonome (le test de Lucas–Lehmer), aucun test déterministe comparable n'existe pour les nombres de Wagstaff. Les preuves existantes pour les nombres de Wagstaff à grands exposants (spécifiquement $p \ge 2617$ ) reposent sur l'algorithme de preuve de primalité par courbes elliptiques (ECPP) d'Atkin–Morain. Bien que des congruences de type Chebychev/Lucas (spécifiquement la condition du cadre de Chua $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ ) soient des conditions nécessaires connues pour la primalité des nombres de Wagstaff, leur suffisance reste conjecturale. Par conséquent, il existe un besoin de preuves de primalité inconditionnelles pour les grands nombres de Wagstaff qui ne dépendent ni de l'ECPP ni de conjectures non prouvées.

Méthodologie
Les auteurs présentent des preuves de primalité inconditionnelles pour trois nombres de Wagstaff spécifiques : $W_{2617}$ , $W_{10501}$ et $W_{12391}$ . La méthodologie repose exclusivement sur le critère classique $N-1$ de Brillhart–Lehmer–Selfridge (BLS), qui exige qu'une portion significative de $N-1$ soit complètement factorisée.

Décomposition Cyclotomique : Les preuves utilisent la factorisation de $N-1 = W_p - 1 = \frac{2(2^{p-1}-1)}{3}$ . Le terme $2^{p-1}-1$ est décomposé en polynômes cyclotomiques : $2^{p-1}-1 = \prod_{d|p-1} \Phi_d(2)$ .
Portion Factorisée ( $F$ ) : Les auteurs exploitent les factorisations connues de ces facteurs cyclotomiques $\Phi_d(2)$ issues des tables du projet Cunningham et de FactorDB. Tous les facteurs récupérés sont re-certifiés comme premiers en utilisant l'algorithme APR-CL (Adleman–Pomerance–Rumely / Cohen–Lenstra).
Application du Critère BLS : Les preuves établissent une portion factorisée $F$ de $N-1$ telle que $F^3 > N$ (dépassant le seuil de $N^{1/3}$ ). Pour chaque facteur premier $q$ de $F$ , un témoin de type Fermat $a_q$ est trouvé satisfaisant $a_q^{N-1} \equiv 1 \pmod N$ et $\gcd(a_q^{(N-1)/q}-1, N) = 1$ . Le discriminant $\Delta = s^2 - 8m$ (dérivé de $N = mF + s + 1$) est vérifié comme n'étant pas un carré.
Vérification Indépendante : À titre de contrôle auxiliaire de l'implémentation de l'arithmétique dans l'anneau $\mathbb{Z}[\sqrt{2}]$ , les auteurs vérifient la congruence de Chua $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ pour chaque cible. Cela sert de contrôle croisé de substrat distinct de l'arithmétique BLS à entiers uniquement, mais n'est pas utilisé pour déduire la primalité.

Contributions Clés

Preuves Inconditionnelles : L'article fournit les premières preuves de primalité basées sur BLS publiées pour $W_{2617}$ , $W_{10501}$ et $W_{12391}$ , indépendamment de l'ECPP.
Démonstration Méthodologique : Il démontre la faisabilité de l'application du cadre $N-1$ de BLS aux nombres de Wagstaff en exploitant la décomposition cyclotomique de $2^{p-1}-1$ . Cette approche s'avère viable pour des exposants où $p-1$ est suffisamment lisse pour permettre la factorisation d'un nombre suffisant de facteurs cyclotomiques.
Auditabilité : Les preuves sont conçues pour une haute auditabilité. Les certificats sont des enregistrements JSON compacts contenant des témoins et des vérifications de discriminant. La vérification ne nécessite que des exponentiations modulaires standard et des vérifications APR-CL, évitant les évaluations complexes de courbes elliptiques requises par l'ECPP.
Reproductibilité : Tous les calculs sont reproductibles à l'aide de logiciels open source (Python, SymPy, PARI/GP, gmpy2). Les scripts complets, les journaux et les certificats sont archivés sur Zenodo.

Résultats
L'article prouve avec succès la primalité de :

$W_{2617}$ : Un nombre de 788 chiffres. La portion factorisée $F$ dépasse $N^{1/3}$ de 46 bits, utilisant 22 facteurs premiers distincts.
$W_{10501}$ : Un nombre de 3 161 chiffres. La portion factorisée dépasse le seuil de 3 261 bits, utilisant 103 facteurs premiers distincts.
$W_{12391}$ : Un nombre de 3 730 chiffres. La portion factorisée dépasse le seuil de 2 860 bits, utilisant 61 facteurs premiers distincts.

Pour chaque preuve, chaque facteur premier de la portion factorisée $F$ a été certifié de manière inconditionnelle via APR-CL. La congruence de Chua a été vérifiée pour les trois nombres à titre de contrôle de cohérence.

Signification et Limites
L'article revendique une signification principalement dans le domaine de l'auditabilité et de la diversité méthodologique. Il offre une confirmation indépendante de la primalité de ces nombres spécifiques, distincte des preuves ECPP actuellement enregistrées dans les archives du projet Caldwell/Wagstaff.

Les auteurs sont modestes concernant la portée de la méthode. Ils notent explicitement que l'approche $N-1$ de BLS est limitée par la régularité (lissité) de $p-1$ . Une analyse des nombres premiers de Wagstaff connus et des nombres probables premiers jusqu'à $p = 267\,017$ révèle que seuls $p=10501$ et $p=12391$ (ainsi que le plus petit $p=2617$ ) possèdent des structures de $p-1$ suffisamment lisses pour produire une portion factorisée $F$ assez grande pour le critère BLS avec les données de factorisation actuelles. Pour d'autres exposants, de grands facteurs premiers dans $p-1$ conduisent à des composantes cyclotomiques $\Phi_d(2)$ non factorisées qui sont actuellement hors de portée de la factorisation à usage général. Ainsi, l'article ne propose pas une solution générale pour tous les nombres de Wagstaff, mais établit plutôt un chemin de preuve rigoureux, non-ECPP, pour un sous-ensemble spécifique et contraint d'exposants.