🔢 mathematics

Unconditional Primality Certificates for the Hexagonal 3-smooth Family p = 3m(m+1) + 1: Deterministic Pocklington Witnesses and Arithmetic Filters

Cet article établit une méthode de certification de primalité déterministe pour la famille hexagonale 3-lisse $p = 3m(m+1) + 1$ en dérivant des conditions de congruence exactes qui garantissent la validité des témoins $w_2=5$ et $w_3=7$ via la réciprocité quadratique et cubique, respectivement, tout en employant des filtres arithmétiques efficaces pour éliminer rapidement les candidats non premiers.

Auteurs originaux : Hassane Bakkaoui

Publié 2026-06-18

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Hassane Bakkaoui

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 essayant de prouver qu'un nombre massif 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 grands nombres, cela revient à essayer de prouver qu'une serrure géante et complexe n'a pas de clés cachées en dehors de la clé maîtresse. Habituellement, cette preuve est un jeu de devinettes où l'on essaie différentes clés jusqu'à ce que l'une d'elles corresponde, en espérant avoir de la chance.

Ce document, par Hassane Bakkaoui, introduit une nouvelle façon hautement organisée de résoudre ce casse-tête pour une famille spécifique de nombres. Voici la décomposition utilisant des analogies de la vie quotidienne :

1. La Serrure Spéciale (La Famille de Nombres)

Le document se concentre sur un type spécifique de verrou numérique défini par la formule $p = 3m(m + 1) + 1$ .

L'analogie : Considérez ces nombres comme une ligne spéciale de coffres-forts. L'auteur a découvert que si vous construisez ces coffres-forts en utilisant une recette spécifique (où la variable $m$ est composée uniquement des « blocs de construction » 2 et 3), le mécanisme interne du coffre est exceptionnellement simple.
La percée : Grâce à cette recette spécifique, l'auteur sait exactement comment le coffre est construit avant même d'essayer de l'ouvrir. Cela lui permet de sauter le « jeu de devinettes » habituel et d'utiliser une méthode de raccourci (appelée critère de Pocklington–Lehmer) qui garantit une preuve de primalité.

2. Les Deux Clés Maîtresses (Les Témoins)

Pour prouver qu'un nombre est premier en utilisant ce raccourci, vous avez besoin de montrer deux « témoins » spécifiques (ou clés) qui se comportent d'une manière très précise.

L'ancienne méthode : Auparavant, les mathématiciens essayaient simplement d'utiliser les clés étiquetées « 5 » et « 7 » et espéraient qu'elles fonctionneraient. C'était comme dire : « Je parie que ces deux clés ouvriront toujours ce type de coffre. »
La nouvelle découverte : Le document prouve que 5 et 7 ne fonctionnent pas toujours. Parfois, ce sont les mauvaises clés.
- La règle pour la Clé n°5 : Cette clé ne fonctionne que si les « nombres de la recette » utilisés pour construire le coffre suivent un motif spécifique (lié aux nombres 1 et 2 lorsqu'ils sont divisés par 4).
- La règle pour la Clé n°7 : Cette clé ne fonctionne que si la recette évite un motif spécifique (lié au nombre 2 lorsqu'il est divisé par 7).
Le résultat : Au lieu de deviner, l'auteur a créé un livre de règles déterministe. Vous pouvez maintenant regarder la recette des nombres, vérifier un tableau mathématique simple, et savoir exactement quelles clés utiliser. Si 5 et 7 ne correspondent pas à la règle, le document vous indique exactement quoi utiliser à la place. Cela transforme un jeu de hasard en une procédure garantie, étape par étape.

3. Les Filtres de Sécurité (Éliminer les faux)

Avant d'essayer d'ouvrir le coffre avec les clés maîtresses, l'auteur a mis en place trois « points de contrôle de sécurité » pour filtrer les nombres qui ne sont manifestement pas premiers.

L'analogie : Imaginez que vous avez un entrepôt rempli de 1 000 coffres-forts. Vous ne voulez pas perdre de temps à essayer d'ouvrir les 870 qui sont manifestement cassés ou faux.
Les Filtres :
1. Le contrôle Mod-6 : Une vérification rapide pour voir si le nombre est pair ou divisible par 3.
2. Le contrôle Mod-7 : Un test spécifique qui rejette instantanément un tiers des candidats.
3. Le contrôle de la « Racine Carrée » : Un test qui élimine les nombres divisibles par certains autres nombres premiers.
L'efficacité : Ces trois contrôles simples éliminent environ 87 % de tous les candidats immédiatement. C'est comme avoir un videur à l'entrée d'un club qui expulse presque tout le monde avant même qu'ils n'arrivent à la porte, ce qui permet d'économiser un temps massif.

4. La Preuve de Concept (La Grande Victoire)

Pour montrer que ce système fonctionne, l'auteur a exécuté un programme informatique sur un ordinateur portable standard (matériel grand public, pas un supercalculateur).

L'accomplissement : Ils ont généré avec succès quatre preuves de primalité inviolables.
Le point fort : Le plus grand nombre qu'ils ont prouvé faisait 29 998 chiffres de long. Pour visualiser cela, si vous écriviez ce nombre, il remplirait un petit livre.
La vérification : Ils n'ont pas seulement fait confiance à leur propre ordinateur ; ils ont revérifié le résultat sur un autre système pour s'assurer que les « clés » (5 et 7) fonctionnaient parfaitement selon leurs nouvelles règles.

Résumé

En bref, ce document ne se contente pas de trouver un nouveau nombre premier battant des records ; il répare la boîte à outils utilisée pour les trouver.

Il identifie une famille spécifique de nombres où la preuve est facile.
Il remplace le « pari de l'espoir » par des règles exactes pour savoir quelles clés (témoins) utiliser.
Il ajoute des filtres qui écartent instantanément 87 % des mauvais nombres.
Il prouve que tout ce système fonctionne sur un ordinateur portable ordinaire, créant une usine fiable, étape par étape, pour générer des certificats de preuve mathématique.

L'auteur est clair : il ne s'agit pas de battre des records pour la gloire, mais de créer une méthode fiable et sans erreur pour un type spécifique de problème mathématique.

Résumé Technique : Certificats Primaires Inconditionnels pour la Famille Hexagonale 3-Smooth

Énoncé du Problème
L'article traite du problème de la certification de primalité inconditionnelle pour une sous-famille paramétrique spécifique de nombres hexagonaux centrés définis par $p = 3m(m + 1) + 1$ , où $m = 2^a 3^b - 1$ pour des entiers $a, b \ge 1$ . Bien que le critère de Pocklington–Lehmer offre une voie pratique pour prouver la primalité de grands entiers génériques en exhibant un diviseur entièrement factorisé $F > \sqrt{p}$ de $p-1$ , le défi réside dans la recherche de « témoins » appropriés (bases $w_q$ ) pour chaque facteur premier $q$ de $F$ . Pour cette famille spécifique, le diviseur $F = 2^a 3^{b+1}$ est entièrement factorisé et satisfait $F > \sqrt{p}$ de manière inconditionnelle. Cependant, la validité de témoins fixes (spécifiquement $w_2=5$ et $w_3=7$ ) avait été observée de manière heuristique mais manquait d'une caractérisation rigoureuse et déterministe. L'article cherche à déterminer si ces témoins fixes sont universels et, si ce n'est pas le cas, à fournir les conditions exactes de leur validité.

Méthodologie
Les auteurs emploient une combinaison de théorie des nombres algébriques et de criblage arithmétique élémentaire :

Cadre Pocklington–Lehmer : La preuve repose sur le critère selon lequel $p$ est premier s'il existe des témoins $w_2, w_3$ tels que $w_q^{(p-1)/q} \not\equiv 1 \pmod p$ et $\gcd(w_q^{(p-1)/q}-1, p) = 1$ . Puisque $p \equiv 1 \pmod 6$ , cela revient à vérifier si $w_2$ est un résidu quadratique non et si $w_3$ est un résidu cubique non modulo $p$ .
Réciprocité Quadratique : La validité de $w_2 = 5$ est analysée à l'aide du symbole de Legendre $\left(\frac{5}{p}\right)$ , en reliant cela aux paramètres $a$ et $b$ via les propriétés de $m = 2^a 3^b - 1$ .
Réciprocité Cubique dans les Entiers d'Eisenstein : La validité de $w_3 = 7$ est analysée à l'aide du symbole de résidu cubique dans $\mathbb{Z}[\omega]$ (où $\omega = e^{2\pi i/3}$ ). Les auteurs utilisent la factorisation explicite $p = (m+1)^3 - m^3 = \pi \bar{\pi}$ pour appliquer la loi de réciprocité cubique d'Eisenstein. Cela permet de réduire la résiduité cubique de 7 modulo $p$ à une condition sur $m$ modulo 7.
Filtres Arithmétiques : Trois filtres élémentaires sont dérivés pour éliminer les candidats non-premiers avant l'arithmétique coûteuse sur grands nombres :
- Une identité modulo 6 (automatique).
- Un crible de résidu quadratique $(-3)$ (éliminant les nombres premiers $q \equiv 2 \pmod 3$ ).
- Un test de classe interdite modulo 7 basé sur les classes de résidus de $(a \pmod 3, b \pmod 6)$ .

Principales Contributions
L'article fournit deux théorèmes rigoureux qui remplacent les hypothèses heuristiques par des règles déterministes :

Théorème 4.1 (Témoin $w_2=5$ ) : La base 5 est un témoin de Pocklington valide si et seulement si $a - b \equiv 1, 2 \pmod 4$ . Si cette condition échoue, 5 est un résidu quadratique, et un autre témoin doit être sélectionné.
Théorème 4.5 (Témoin $w_3=7$ ) : La base 7 est un témoin de Pocklington valide si et seulement si $m \not\equiv 2 \pmod 7$ . Cette condition est équivalente à $(a \pmod 3, b \pmod 6) \notin \{(0, 1), (1, 5), (2, 3)\}$ .
Règle de Sélection Déterministe : Le Corollaire 4.9 synthétise ces résultats en un algorithme complet pour la sélection des témoins. Si les témoins fixes échouent aux vérifications de congruence, l'algorithme sélectionne déterministement le plus petit résidu non quadratique ou non cubique, garantissant que le processus de certification est prouvablement correct plutôt que dépendant du hasard.
Généralisation : La Proposition 4.7 étend l'analyse du caractère cubique de 7 à la famille plus large $p = 3m^2 + 3m + 1$ (sans la contrainte 3-smooth), caractérisant la résiduité cubique basée sur $m \pmod{21}$ .

Résultats

Efficacité des Filtres : La combinaison du filtre modulo 7 et du crible $(-3)$ élimine environ 87 % des paires de candidats $(a, b)$ avant toute arithmétique de grands nombres (Miller–Rabin ou vérification de Pocklington) n'est effectuée.
Démonstration Computationnelle : Une implémentation multi-cœur (« PrimeQuest ») a généré quatre certificats de primalité inconditionnels sur du matériel grand public. Le plus grand certificat correspond à un nombre premier de 29 998 chiffres décimaux ( $m = 2^{19435}3^{19173} - 1$ ).
Vérification : Le nombre premier de 29 998 chiffres a été revérifié de manière indépendante. Le certificat satisfait les conditions de Pocklington avec $w_2=5$ et $w_3=7$ , et la marge $2 \log_2 F - \log_2 p \approx 1,58$ bits confirme la primalité inconditionnelle.

Signification et Portée
L'article cadre explicitement sa contribution comme étant structurelle et explicite plutôt que record de performance.

Résolution des Heuristiques : Il résout la question ouverte de savoir si « 5 et 7 fonctionnent toujours » pour cette famille, prouvant qu'ils ne fonctionnent pas, et remplace cette incertitude par des conditions de congruence exactes.
Revendications Modestes : Les auteurs déclarent que l'article « ne résout aucun problème ouvert classique ». Le nombre premier de 29 998 chiffres n'est pas un record selon les standards généraux (car l'ECPP à usage général traite des nombres bien plus grands), mais sert de démonstration de l'efficacité du cadre sur du matériel standard.
Statut Épistémique : Toutes les affirmations théoriques (Théorèmes 4.1, 4.5, 4.7 et les filtres) sont rigoureuses et inconditionnelles. Les résultats computationnels sont vérifiés par l'arithmétique exacte. Le travail est présenté comme un suivi d'une théorie analytique précédente, isolant une sous-famille 3-smooth spécifique où la méthode de Pocklington devient pleinement déterministe et minimale.