🔢 mathematics

A parametric family of primes p = km(m+1) + e + 2kq: heuristic laws, conditional theorems, and unconditional primality certificates

Cet article étudie la famille paramétrique de nombres premiers $p = km(m+1) + e + 2kq$ en établissant des résultats inconditionnels rigoureux — incluant un nombre premier certifié de 29 998 chiffres et l'infirmation d'une corrélation de signal zeta fallacieuse — tout en dérivant des heuristiques conditionnelles et des théorèmes concernant la distribution et les paramètres minimaux de ces nombres premiers.

Auteurs originaux : Hassane Bakkaoui

Publié 2026-06-16

📖 6 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 essayez de trouver une aiguille dans une botte de foin, mais que la botte de foin est faite de nombres, et que les aiguilles sont des nombres premiers (des nombres comme 2, 3, 5, 7, 11 qui ne peuvent être divisés que par 1 et par eux-mêmes).

Depuis des siècles, les mathématiciens connaissent une règle simple : si vous prenez n'importe quel nombre premier supérieur à 3, il sera toujours à exactement une étape d'un multiple de 6. Il est soit de la forme $6n + 1$ , soit $6n - 1$ .

Ce document, écrit par Hassane Bakkaoui, pose une grande question : que se passe-t-il si nous changeons les règles du jeu ? Au lieu de chercher des multiples de 6, et si nous regardions des multiples d'autres nombres (comme 10, 14 ou 20) et que nous utilisions une forme spéciale appelée « nombre pronic » (des nombres comme 2, 6, 12, 20 qui sont $m \times (m+1)$ ) ?

L'auteur crée une formule géante et flexible pour chasser les nombres premiers dans ces nouveaux schémas. Voici la décomposition de ce qu'il a trouvé, en utilisant des analogies simples.

1. Le nouveau terrain de chasse : Une famille paramétrique

Considérez la formule de l'auteur comme un filet de pêche fabriqué sur mesure.

Le filet standard : L'ancienne règle ( $p = 6n \pm 1$ ) est un filet avec une taille de maille fixe.
Le nouveau filet : La formule de l'auteur ( $p = k \cdot m(m+1) + \epsilon + 2kq$ ) est un filet où vous pouvez ajuster la taille de la maille ( $k$ ), la forme du trou ( $m$ ) et la direction dans laquelle vous tirez le filet ( $\epsilon$ ).
Le but : Pour chaque nombre premier, l'auteur peut trouver l'« ajustement parfait » dans ce filet. Il calcule le plus petit « décalage » ( $q$ ) nécessaire pour faire de ce nombre un nombre premier. Ce décalage est la « distance » entre le centre du motif et le nombre premier.

2. Les trois couches de découverte

Le document classe ses découvertes en trois « couches » de certitude, comme un bâtiment avec des fondations solides, un étage intermédiaire qui nécessite un support, et un toit qui n'est qu'une prédiction.

Couche 1 : La fondation solide (Rigoureux/Inconditionnel)

Ce sont des faits que l'auteur a prouvés sans avoir besoin de faire des suppositions.

L'axe fixe : L'auteur a prouvé que pour certains réglages, les nombres premiers sont verrouillés dans une « voie » spécifique. Peu importe comment vous ajustez le filet, les nombres premiers atterrissent toujours sur un reste spécifique lorsqu'ils sont divisés par certains nombres. C'est comme un train qui doit rester sur une voie spécifique ; il ne peut pas dériver.
Le nombre premier géant : En utilisant une sous-famille particulière de nombres (où $k=3$ ), l'auteur a construit un nombre premier de 29 998 chiffres. Pour donner une idée, si vous écriviez ce nombre, il remplirait environ 10 pages de texte. Il ne l'a pas seulement deviné ; il a construit un « certificat » (un reçu mathématique) qui prouve qu'il est premier de manière indiscutable. Cela a été fait sur un ordinateur portable ordinaire en environ 3 heures.
Le signal « spécieux » : L'auteur a testé une idée précédente suggérant que les nombres premiers pourraient « danser » au rythme de la fonction Zeta de Riemann (un objet mathématique célèbre et mystérieux). Il a utilisé des tests statistiques (comme mélanger un jeu de cartes) et a prouvé que cette danse n'existe pas. La connexion apparente était une illusion statistique, comme voir des visages dans les nuages. Il a prouvé mathématiquement que le signal disparaît.

Couche 2 : L'étage intermédiaire (Conditionnel)

Ces découvertes sont très probablement vraies, mais elles dépendent de l'exactitude d'autres conjectures mathématiques célèbres (comme l'Hypothèse de Riemann).

Jusqu'où devons-nous chercher ? L'auteur a calculé jusqu'où vous devez généralement chercher (la taille de $q$ ) pour trouver un nombre premier. Si la célèbre Hypothèse de Riemann est vraie, la distance de recherche croît de manière prévisible et gérable.
La distance moyenne : Il a trouvé une formule pour la distance « moyenne » que vous devez chercher. Il s'avère que c'est environ un quart de la taille du motif que vous recherchez.

Couche 3 : Le toit (Heuristique)

Ce sont des suppositions éclairées basées sur des simulations informatiques et des motifs, mais elles n'ont pas encore été prouvées.

La loi logarithmique : L'auteur suggère que la distance moyenne pour trouver un nombre premier croît très lentement (logarithmiquement). C'est comme dire : « Même si la botte de foin devient énorme, vous n'avez pas besoin de chercher tellement plus loin pour trouver l'aiguille suivante. »
Une constante universelle : Il a trouvé une constante géométrique ( $C_0$ ) qui semble décrire la relation entre la taille du nombre premier et la distance de recherche. C'est un « nombre magique » qui reste le même à travers différents réglages, comme une loi universelle de la physique pour ces motifs de nombres premiers.

3. Ce que ce document NE FAIT PAS

Il est important de savoir ce que ce document ne prétend pas :

Il ne résout pas les plus grands problèmes non résolus des mathématiques (comme prouver l'Hypothèse de Riemann elle-même).
Il ne prétend pas avoir trouvé un moyen de générer tous les nombres premiers instantanément.
Il ne suggère pas que cela a une utilité immédiate en médecine, en ingénierie ou en cryptographie (bien que les nombres premiers soient utilisés dans le chiffrement, cette recherche spécifique est théorique).

Analogie de synthèse

Imaginez que vous êtes un cartographe cartographiant un nouveau continent.

La partie rigoureuse est le fait que vous dessinez le littoral et prouvez : « Cette montagne est définitivement ici, et cette rivière coule définitivement de cette façon. » Vous avez également trouvé une ville immense et incontestée (le nombre premier de 29 998 chiffres).
La partie conditionnelle est le fait que vous dites : « Si le climat se comporte comme nous le supposons, alors les forêts pousseront à cette hauteur. »
La partie heuristique est le fait que vous supposez : « D'après le sol, les arbres poussent probablement selon ce motif spécifique. »
La partie négative est le fait que vous démentez une ancienne carte qui affirmait qu'il y avait une « Rivière Fantôme » reliant deux points. Vous avez prouvé avec des mathématiques et des données que la rivière n'a jamais existé ; c'était juste un effet de lumière.

L'essentiel :
Ce document fournit une nouvelle façon de regarder les nombres premiers, hautement structurée. Il prouve certains faits concrets, fait des prédictions fortes basées sur ces faits, et clarifie un malentendu sur la relation entre les nombres premiers et la fonction Zeta de Riemann. C'est une carte d'un territoire spécifique, dessinée avec un soin extrême pour distinguer ce qui est connu, ce qui est probable et ce qui n'est qu'une supposition.

Résumé Technique : Une Famille Paramétrique de Nombres Premiers

Énoncé du Problème
L'article étudie la distribution des nombres premiers à travers une famille paramétrique spécifique qui généralise l'observation élémentaire selon laquelle tout nombre premier $p > 3$ satisfait $p \equiv \pm 1 \pmod 6$ . Les auteurs définissent une famille d'entiers :
$p_{k,m,\varepsilon,q} = km(m+1) + \varepsilon + 2kq$
où $k, m \in \mathbb{N}^*$ , $\varepsilon \in \{\pm 1\}$ , et $q \in \mathbb{Z}$ . Pour un nombre premier $p$ donné, les auteurs identifient un « triplet canonique » unique $(m, \varepsilon, q)$ tel que $|q|$ est minimisé. L'objet central de l'étude est cet écart minimal, $q_{\min}(k, m, \varepsilon)$ , et son comportement à travers trois couches : marginale (taille vs $m$ ), conditionnelle (distribution étant donné $m$ ) et modulaire (distribution modulo $\ell$ ). L'étude vise à distinguer les lois structurelles rigoureuses, les théorèmes conditionnels (supposant la GRH, RH ou Bateman–Horn), les prédictions heuristiques et les résultats négatifs concernant les corrélations spectrales.

Méthodologie
La recherche emploie une approche multicouche combinant la théorie analytique des nombres, la théorie computationnelle des nombres et l'analyse statistique :

Analyse Structurelle : Preuves rigoureuses utilisant la théorie élémentaire des nombres et le théorème de Dirichlet sur les progressions arithmétiques pour établir des contraintes modulaires et des bornes exactes.
Théorèmes Conditionnels : Dérivation de bornes et de lois de distribution en supposant les conjectures standards (Hypothèse de Riemann Généralisée, Hypothèse de Riemann, conjecture de Bateman–Horn).
Construction Computationnelle : Implémentation de l'algorithme « PrimeQuest » pour générer et certifier de grands nombres premiers au sein de la sous-famille 3-smooth ( $k=3, \varepsilon=1, m=2^a 3^b - 1$ ) en utilisant le critère de Pocklington–Lehmer.
Réfutation Statistique : Application de tests de permutation (mélange, blocs, substituts de Theiler) et d'analyses de régression sans biais sur $10^8$ nombres premiers pour tester les corrélations spectrales entre le fonctionnel cumulatif $Q(r) = \sum q_n$ et les zéros de la fonction zêta de Riemann.
Preuve Analytique-Négative : Réduction de la question de la corrélation spectrale aux sommes exponentielles de nombres premiers à phase de racine carrée, prouvant de manière inconditionnelle que tout signal linéaire provenant des zéros de zeta s'annule.

Contributions Clés et Résultats

Lois Structurelles Rigoureuses :
- Axe Modulaire Dégénéré : L'article prouve que pour tout nombre premier $\ell$ divisant $2k$ , chaque nombre premier de la famille satisfait $p \equiv \varepsilon \pmod \ell$ exactement, indépendamment de $q$ . Cela fixe un axe modulaire « dégénéré ».
- Certificats Inconditionnels : Pour la sous-famille $p = 3m(m+1)+1$ avec $m = 2^a 3^b - 1$ , les auteurs prouvent que les certificats de Pocklington–Lehmer sont inconditionnels. Ils ont construit un nombre premier de 29 998 chiffres décimaux ( $m^* = 2^{19435} \cdot 3^{19173} - 1$ ) et l'ont certifié en moins de 4 heures sur du matériel grand public.
- Filtres Arithmétiques : Deux filtres a priori (réciprocité quadratique et congruence mod-7) ont été prouvés comme éliminant environ 87,1 % des candidats avant que toute arithmétique de grands entiers ne soit requise.
Théorèmes Conditionnels :
- Bornes sur $q_{\min}$ : En supposant l'Hypothèse de Riemann Généralisée (GRH), les auteurs prouvent que $|q_{\min}| = O_k(m (\log m)^2)$ .
- Espérance Conditionnelle : Sous GRH et les hypothèses de Bateman–Horn, l'espérance conditionnelle est dérivée comme $E[|q| \mid m] = m/4 + O((\log m)^2/\sqrt{m})$ .
- Empreinte de Zeta : En supposant l'Hypothèse de Riemann (RH), l'« empreinte » de chaque nombre premier des zéros de zeta sur l'occupation des couches est bornée par $\ll p^{-1/4}(\log p)^2$ .
Lois Heuristiques (Validées Numériquement) :
- Loi Marginale : Les données empiriques ( $N=10^6$ ) soutiennent $E[|q_{\min}|] \sim \log m / C_k$ , où $C_k$ est une constante.
- Constante Géométrique : Une identité géométrique universelle $C_0(k) = \langle |q| \rangle / \sqrt{p} = 1/(4\sqrt{k})$ est observée comme étant stable à 0,02 % près sur les valeurs de $k$ testées.
- Loi des Écarts : Pour $k=3$ , l'écart moyen suit une loi de la série singulière de Hardy–Littlewood.
Résultats Négatifs (Réfutation de la Corrélation Spectrale) :
- L'article invalide rigoureusement les affirmations antérieures d'une corrélation spectrale entre le fonctionnel cumulatif $Q(r)$ et les zéros de $\zeta(s)$ .
- Preuve Statistique : À $N=10^8$ , l'amplitude de régression $R^2$ chute à $1,16 \times 10^{-7}$ , et les tests de permutation confirment l'absence de signal significatif.
- Preuve Analytique : Le Théorème 6.6 prouve inconditionnellement que l'amplitude de régression $A_N(\gamma) \to 0$ quand $N \to \infty$ pour tout $\gamma$ fixé. Il est démontré que les zéros de $\zeta$ ne sont pas des fréquences spectrales de $Q(r)$ ; leur influence est limitée aux contraintes statistiques à l'échelle de $\sqrt{x}$ (variance de Selberg), et non à des signaux spectraux linéaires.

Signification et Revendications
L'article déclare explicitement qu'il ne résout aucun problème classique ouvert en théorie des nombres (tels que la barrière de la parité, l'Hypothèse de Riemann ou le théorème du nombre premier uniforme à $N^{1/2}$ ). Sa signification réside plutôt dans :

Rigueur Épistémique : Il introduit un cadre pour les « mathématiques expérimentales » où chaque assertion est strictement étiquetée comme Rigoureuse, Conditionnelle, Heuristique ou Négative.
Réalisation Constructive : Il fournit un record inconditionnel et vérifié de manière indépendante d'un nombre premier de 29 998 chiffres généré via une forme paramétrique spécifique.
Clarification Analytique : Il clôt de manière décisive la question d'un lien spectral direct entre les décalages de nombres premiers et les zéros de zeta, prouvant que de telles corrélations sont des artefacts de régression spécieux.
Cartographie d'un Territoire : Il définit une structure précise et falsifiable pour étudier la distribution des nombres premiers à travers des familles paramétriques, offrant une « direction d'étude complémentaire » plutôt qu'une solution aux conjectures existantes.

Les auteurs soulignent que la constante géométrique $C_0(k) = 1/(4\sqrt{k})$ est une identité dérivée, et non un invariant mystérieux, et que le résultat « négatif » concernant les zéros de zeta est un théorème décisif et inconditionnel dérivé de l'annulation de sommes exponentielles spécifiques.