🔢 mathematics

Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers

Dit artikel presenteert volledig geverifieerde, klassieke $N-1$ -bewijzen van primaliteit voor de Wagstaff-getallen $W_{2617}$ , $W_{10501}$ en $W_{12391}$ met behulp van het Brillhart-Lehmer-Selfridge-criterium en cyclotomische factorisaties, waardoor hun primaliteit onafhankelijk van elliptische-krommemethoden en onbewezen conjecturen wordt vastgesteld.

Oorspronkelijke auteurs: Alexey Dolotov

Gepubliceerd 2026-05-19

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Alexey Dolotov

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een rechercheur bent die moet bewijzen dat een specifiek, ongelooflijk groot getal echt " priem" is (wat betekent dat het alleen door 1 en zichzelf kan worden gedeeld). In de wereld van de wiskunde zijn deze getallen als gigantische, ingewikkelde kluisjes. Meestal gebruiken wiskundigen om te bewijzen dat een kluisje onbreekbaar is, een geavanceerde, complexe methode genaamd ECPP (Elliptic Curve Primality Proving). Het is alsof je een supercomputer gebruikt om een kwantumfysica-experiment te simuleren om de kluis te controleren. Het werkt, maar het is zwaar, ingewikkeld en moeilijk voor anderen om snel te verifiëren.

Dit artikel van Alexey Dolotov presenteert een andere aanpak. De auteur bewijst dat drie specifieke gigantische getallen (zogenaamde Wagstaff-getallen) priem zijn, maar in plaats van de zware kwantumstijl-tools te gebruiken, maakt hij gebruik van een klassieke, "ouderwetse" methode genaamd BLS (Brillhart–Lehmer–Selfridge).

Hier is de uiteenzetting van wat het artikel doet, met behulp van eenvoudige analogieën:

1. Het Doel: De Wagstaff-getallen

Beschouw Wagstaff-getallen als een speciale familie van getallen die gerelateerd zijn aan de beroemde Mersenne-getallen (die worden gebruikt om de grootste bekende priemgetallen te vinden). Ze worden gedefinieerd door een simpel recept: neem een priemgetal $p$ , bereken $2^p + 1$ en deel door 3.
Het artikel richt zich op drie specifieke "reuzen" in deze familie:

W2617 (een getal met 788 cijfers)
W10501 (een getal met 3.161 cijfers)
W12391 (een getal met 3.730 cijfers)

Iedereen vermoedde al dat deze priem waren, maar het bewijs leunde op de zware ECPP-methode. Dit artikel zegt: "Laten we het opnieuw bewijzen met een lichtere, transparantere methode."

2. De Methode: De "N-1" Puzzel

De BLS-methode werkt als een puzzel. Om te bewijzen dat een getal $N$ priem is, hoef je niet elk enkel getal tot $N$ te controleren. In plaats daarvan kijk je naar het getal $N - 1$ .

Stel je voor dat $N - 1$ een lange keten van schakels is. Als je een groot stuk van die keten kunt vinden dat volledig is ontbonden (wat betekent dat je precies weet uit welke kleine priemgetallen dat stuk bestaat), en dat stuk groot genoeg is (specifiek, groter dan de derdemachtswortel van $N$ ), kun je wiskundig bewijzen dat het hele getal $N$ priem is.

De Uitdaging: Voor deze gigantische Wagstaff-getallen is $N-1$ een massale keten. Meestal zijn de meeste schakels verborgen of onbekend.
De Truc: De auteur besefte dat $N-1$ voor deze getallen voortkomt uit een specifieke wiskundige structuur die cyclotomische ontbinding wordt genoemd. Het is alsof je weet dat de keten is gemaakt van specifieke soorten schakels (genaamd $\Phi_d(2)$ ).
De Oogst: De auteur ging naar bestaande "bibliotheken" met wiskundige gegevens (de tabellen van het Cunningham Project en FactorDB) om de schakels te vinden die al bekend waren. Voor de rest gebruikte hij computeralgoritmen om ze te ontleden.

3. De Verificatie: De "Gouden Standaard" Check

Zodra de auteur een groot genoeg stuk van de keten had gevonden (het "ontbonden gedeelte"), moest hij bewijzen dat elke kleine priemschakel binnen dat stuk daadwerkelijk priem was.

Hij gokte niet zomaar. Hij gebruikte een strenge, onbreekbare methode genaamd APR-CL om elk klein priemgetal te certificeren.
Denk hierbij aan een notaris die elke enkele baksteen in een muur stempelt voordat hij de muur veilig verklaart.

4. De Dubbelcheck: De "Magische Spiegel"

Om ervoor te zorgen dat zijn computercode geen fouten bevatte, voegde de auteur een tweede, onafhankelijke check toe.

Hij gebruikte een ander wiskundig systeem dat wortels uit 2 omvat (genaamd $\mathbb{Z}[\sqrt{2}]$ ).
Hij controleerde een specifieke wiskundige "congruentie" (een chique manier om te zeggen dat er een patroonmatch is) die moet plaatsvinden als het getal priem is.
Dit is alsof je je werk controleert door het probleem achterstevoren op te lossen. Als het patroon overeenkomt, bevestigt dit dat de wiskunde correct is uitgevoerd.

5. De Resultaten

Het artikel bewijst succesvol dat W2617, W10501 en W12391 priem zijn.

Waarom is dit speciaal? Deze bewijzen zijn "voorwaardelijk", wat betekent dat ze niet steunen op onbewezen aannames. Ze zijn ook "onafhankelijk", wat betekent dat ze niet de zware ECPP-methode gebruiken die iedereen anders gebruikt.
De Limiet: De auteur legt uit dat deze methode alleen werkt als het getal $p-1$ "glad" is (wat betekent dat het gemakkelijk in kleine, bekende stukken uiteenvalt). Hij controleerde alle andere bekende Wagstaff-kandidaten en ontdekte dat voor bijna allemaal de keten een gigantische, onbreekbare schakel heeft die het gebruik van deze specifieke methode op dit moment onmogelijk maakt. Alleen deze drie getallen waren "glad" genoeg om op deze manier opgelost te worden.

Samenvatting

Alexey Dolotov nam drie gigantische getallen waarvan al werd vermoed dat ze priem waren en bewees ze met een klassieke, transparante en zeer verifieerbare methode. Hij zei niet zomaar "het is priem"; hij bouwde een compleet, stap-voor-stap certificaat dat iedereen op zijn eigen computer kan draaien om het resultaat te verifiëren. Het is een "schoner" bewijs dat op zichzelf staat, onafhankelijk van de complexere methoden die doorgaans voor deze reuzen worden gebruikt.

Technische Samenvatting: Drie Brillhart–Lehmer–Selfridge-primiteitsbewijzen voor Wagstaff-getallen

Probleemstelling
Het artikel behandelt de verificatie van primaliteit voor Wagstaff-getallen, gedefinieerd als $W_p = (2^p + 1)/3$ voor oneven priemgetallen $p$ . Waar Mersenne-getallen ( $M_p = 2^p - 1$ ) een deterministische, zelfstandige primaliteitstest bezitten (de Lucas–Lehmer-test), bestaat er geen vergelijkbare deterministische test voor Wagstaff-getallen. Bestaande bewijzen voor Wagstaff-getallen met grote exponenten (specifiek $p \ge 2617$ ) vertrouwen op het Elliptic Curve Primality Proving (ECPP)-algoritme van Atkin–Morain. Hoewel Chebyshev/Lucas-achtige congruenties (specifiek de voorwaarde van het Chua-raamwerk $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ ) bekende noodzakelijke voorwaarden zijn voor Wagstaff-primaliteit, blijft hun toereikendheid conjectureel. Bijgevolg is er behoefte aan onvoorwaardelijke primaliteitsbewijzen voor grote Wagstaff-getallen die niet afhankelijk zijn van ECPP of onbewezen conjecturen.

Methodologie
De auteurs presenteren onvoorwaardelijke primaliteitsbewijzen voor drie specifieke Wagstaff-getallen: $W_{2617}$ , $W_{10501}$ en $W_{12391}$ . De methodologie steunt uitsluitend op het klassieke Brillhart–Lehmer–Selfridge (BLS) $N-1$ -criterium, dat vereist dat een significant deel van $N-1$ volledig is ontbonden.

Cyclotomische Decompositie: De bewijzen maken gebruik van de ontbinding van $N-1 = W_p - 1 = \frac{2(2^{p-1}-1)}{3}$ . De term $2^{p-1}-1$ wordt ontbonden in cyclotomische polynomen: $2^{p-1}-1 = \prod_{d|p-1} \Phi_d(2)$ .
Ontbonden Portie ( $F$ ): De auteurs oogsten bekende ontbindingen van deze cyclotomische factoren $\Phi_d(2)$ uit de Cunningham-projecttabellen en FactorDB. Eventueel opgehaalde factoren worden opnieuw gecertificeerd op primaliteit met het APR-CL-algoritme (Adleman–Pomerance–Rumely / Cohen–Lenstra).
Toepassing BLS-criterium: De bewijzen stellen een ontbonden portie $F$ van $N-1$ vast zodanig dat $F^3 > N$ (de $N^{1/3}$ -drempel overschrijdend). Voor elke priemfactor $q$ van $F$ wordt een Fermat-achtig getuige $a_q$ gevonden dat voldoet aan $a_q^{N-1} \equiv 1 \pmod N$ en $\gcd(a_q^{(N-1)/q}-1, N) = 1$ . De discriminant $\Delta = s^2 - 8m$ (afgeleid van $N = mF + s + 1$) wordt geverifieerd als niet-kwadraat.
Onafhankelijke Verificatie: Als een aanvullende controle op de implementatie van rekenkunde in de ring $\mathbb{Z}[\sqrt{2}]$ , verifiëren de auteurs de Chua-congruentie $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ voor elk doelwit. Dit dient als een cross-substraatcontrole die verschilt van de uitsluitend op gehele getallen gebaseerde BLS-rekenkunde, maar wordt niet gebruikt om primaliteit af te leiden.

Belangrijkste Bijdragen

Onvoorwaardelijke Bewijzen: Het artikel biedt de eerste gepubliceerde op BLS gebaseerde primaliteitsbewijzen voor $W_{2617}$ , $W_{10501}$ en $W_{12391}$ , onafhankelijk van ECPP.
Methodologische Demonstratie: Het toont de haalbaarheid aan van het toepassen van het BLS $N-1$ -raamwerk op Wagstaff-getallen door gebruik te maken van de cyclotomische decompositie van $2^{p-1}-1$ . Deze aanpak blijkt levensvatbaar voor exponenten waarbij $p-1$ voldoende glad is om de ontbinding van voldoende cyclotomische factoren mogelijk te maken.
Auditbaarheid: De bewijzen zijn ontworpen voor hoge auditbaarheid. De certificaten zijn compacte JSON-records die getuigen en discriminantcontroles bevatten. Verificatie vereist uitsluitend standaard modulair exponentiëren en APR-CL-controles, waarbij de complexe elliptische kromme-evaluaties die door ECPP worden vereist, worden vermeden.
Reproduceerbaarheid: Alle berekeningen zijn reproduceerbaar met open-source software (Python, SymPy, PARI/GP, gmpy2). Volledige driver-scripts, logs en certificaten zijn gearchiveerd op Zenodo.

Resultaten
Het artikel bewijst succesvol de primaliteit van:

$W_{2617}$ : Een getal van 788 cijfers. De ontbonden portie $F$ overschrijdt $N^{1/3}$ met 46 bits, gebruikmakend van 22 verschillende priemfactoren.
$W_{10501}$ : Een getal van 3.161 cijfers. De ontbonden portie overschrijdt de drempel met 3.261 bits, gebruikmakend van 103 verschillende priemfactoren.
$W_{12391}$ : Een getal van 3.730 cijfers. De ontbonden portie overschrijdt de drempel met 2.860 bits, gebruikmakend van 61 verschillende priemfactoren.

Voor elk bewijs werd elke priemfactor in de ontbonden portie $F$ onvoorwaardelijk gecertificeerd via APR-CL. De Chua-congruentie werd voor alle drie de getallen geverifieerd als consistentiecontrole.

Betekenis en Beperkingen
Het artikel claimt betekenis voornamelijk op het gebied van auditbaarheid en methodologische diversiteit. Het biedt een onafhankelijke bevestiging van de primaliteit van deze specifieke getallen, verschillend van de ECPP-bewijzen die momenteel zijn opgenomen in de Caldwell/Wagstaff-projectarchieven.

De auteurs zijn bescheiden wat betreft de reikwijdte van de methode. Zij merken expliciet op dat de BLS $N-1$ -aanpak beperkt wordt door de gladheid van $p-1$ . Een analyse van bekende Wagstaff-priemgetallen en waarschijnlijke priemgetallen tot $p = 267.017$ toont aan dat alleen $p=10501$ en $p=12391$ (samen met het kleinere $p=2617$ ) $p-1$ -structuren bezitten die glad genoeg zijn om een ontbonden portie $F$ op te leveren die groot genoeg is voor het BLS-criterium met huidige ontbindingsgegevens. Voor andere exponenten leiden grote priemfactoren in $p-1$ tot niet-ontbonden cyclotomische componenten $\Phi_d(2)$ die momenteel buiten bereik liggen voor algemene ontbinding. Derhalve stelt het artikel geen algemene oplossing voor alle Wagstaff-getallen voor, maar vestigt het wel een rigoureus, niet-ECPP bewijspad voor een specifieke, beperkte subset van exponenten.