🔢 mathematics

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

Dit artikel stelt een deterministische methode voor de primality-certificering van de hexagonale 3-smooth familie $p = 3m(m+1) + 1$ vast door exacte congruentievoorwaarden af te leiden die de geldigheid van getuigen $w_2=5$ en $w_3=7$ garanderen via respectievelijk kwadratische en kubische reciprociteit, terwijl efficiënte rekenkundige filters worden ingezet om niet-priemgetal-kandidaten snel te elimineren.

Oorspronkelijke auteurs: Hassane Bakkaoui

Gepubliceerd 2026-06-18

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Hassane Bakkaoui

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 detective bent die probeert te bewijzen dat een enorm getal echt "priem" is (wat betekent dat het alleen deelbaar is door 1 en zichzelf). In de wereld van grote getallen is dit als proberen te bewijzen dat een gigantisch, complex slot geen verborgen sleutels heeft behalve de meestersleutel. Meestal is dit bewijs een gokspel waarbij je verschillende sleutels probeert totdat er één past, in de hoop dat je geluk hebt.

Dit artikel, door Hassane Bakkaoui, introduceert een nieuwe, zeer georganiseerde manier om dit puzzelstukje op te lossen voor een specifieke familie van getallen. Hier is de uitsplitsing met alledaagse analogieën:

1. Het Speciale Slot (De Getallenfamilie)

Het artikel richt zich op een specifiek type getallenslot gedefinieerd door de formule $p = 3m(m + 1) + 1$ .

De Analogie: Beschouw deze getallen als een speciale lijn van kluizen. De auteur ontdekte dat als je deze kluizen bouwt met een specifiek recept (waarbij de variabele $m$ alleen uit de "bouwstenen" 2 en 3 bestaat), het interne mechanisme van de kluis ongewoon eenvoudig is.
De Doorbraak: Vanwege dit specifieke recept weet de auteur precies hoe de kluis is geconstrueerd voordat er zelfs maar geprobeerd wordt de kluis te openen. Dit stelt hen in staat om het gebruikelijke "gokspel" over te slaan en een methode met een afkorting (de Pocklington–Lehmer-criterium genoemd) te gebruiken die een bewijs van primordialiteit garandeert.

2. De Twee Meestersleutels (De Getuigen)

Om te bewijzen dat een getal priem is met deze afkorting, moet je twee specifieke "getuigen" (of sleutels) vinden die zich op een zeer specifieke manier gedragen.

De Oude Manier: Voorheen probeerden wiskundigen gewoon de sleutels met het label "5" en "7" te gebruiken en hoopten ze dat deze zouden werken. Het was also려 zeggen: "Ik wed dat deze twee sleutels altijd dit type kluis openen."
De Nieuwe Ontdekking: Het artikel bewijst dat 5 en 7 niet altijd werken. Soms zijn dit de verkeerde sleutels.
- De Regel voor Sleutel #5: Deze sleutel werkt alleen als de "receptgetallen" die gebruikt zijn om de kluis te bouwen een specif으로 patroon volgen (gerelateerd aan de getallen 1 en 2 bij deling door 4).
- De Regel voor Sleutel #7: Deze sleutel werkt alleen als het recept een specifiek patroon vermijdt (gerelateerd aan het getal 2 bij deling door 7).
Het Resultaat: In plaats van te gokken, heeft de auteur een deterministisch regelboek gemaakt. Je kunt nu naar de receptgetallen kijken, een eenvoudige wiskundige tabel controleren en precies weten welke sleutels je moet gebruiken. Als 5 en 7 niet in het regelboek passen, vertelt het artikel je precies wat je in plaats daarvan moet gebruiken. Dit verandert een spel van kans in een gegarandeerde, stapsgewijze procedure.

3. De Beveiligingsfilters (Het scheiden van de neptjes)

Voordat er geprobeerd wordt de kluis met de meestersleutels te openen, heeft de auteur drie eenvoudige "beveiligingscheckpoints" ingesteld om de getallen te filteren die overduidelijk niet priem zijn.

De Analogie: Stel je voor dat je een magazijn hebt vol met 1.000 kluizen. Je wilt geen tijd verspillen aan het proberen te openen van de 870 die overduidelijk kapot of nep zijn.
De Filters:
1. De Mod-6 Check: Een snelle controle om te zien of het getal even is of deelbaar is door 3.
2. De Mod-7 Check: Een specifieke test die direct een derde van de kandidaten afwijst.
3. De "Worteltrek"-Check: Een test die getallen elimineert die deelbaar zijn door bepaalde andere priemgetallen.
De Efficiëntie: Deze drie eenvoudige controles verwijderen ongeveer 87% van alle kandidaten onmiddellijk. Het is als een uitsmijter bij een club die bijna iedereen buiten zet voordat ze zelfs maar bij de deur komen, wat een enorme hoeveelheid tijd bespaart.

4. De Proof of Concept (De Grote Overwinning)

Om aan te tonen dat dit systeem werkt, heeft de auteur een computerprogramma gedraaid op een standaard laptop (consumentenhardware, geen supercomputer).

De Prestatie: Ze hebben succesvol vier onbreekbare bewijzen van primordialiteit gegenereerd.
Het Hoogtepunt: Het grootste getal dat ze bewezen hebben was 29.998 cijfers lang. Om dit te visualiseren: als je dat getal zou opschrijven, zou het een klein boek vullen.
De Verificatie: Ze hebben het resultaat niet alleen op hun eigen computer vertrouwd; ze hebben het resultaat op een ander systeem opnieuw geverifieerd om te waarborgen dat de "sleutels" (5 en 7) perfect werkten volgens hun nieuwe regels.

Samenvatting

Kortom, dit artikel vindt niet alleen een nieuw recordbrekend priemgetal; het repareert de toolkit die wordt gebruikt om ze te vinden.

Het identificeert een specifieke familie van getallen waar het bewijs gemakkelijk is.
Het vervangt "hoopvol gokken" door exacte regels voor welke sleutels (getuigen) gebruikt moeten worden.
Het voegt filters toe die 87% van de slechte getallen direct wegwerpen.
Het bewijst dat dit hele systeem werkt op een gewone laptop, waardoor een betrouwbare, stapsgewijze fabriek voor het genereren van wiskundige bewijs-certificaten ontstaat.

De auteur is duidelijk: dit gaat niet over het verbreken van nieuwe records voor de roem, maar over het creëren van een betrouwbare, foutloze methode voor een specifiek type wiskundig probleem.

Technische Samenvatting: Onvoorwaardelijke Primaalcertificaten voor de Hexagonale 3-Smooth Familie

Probleemstelling
Het artikel behandelt het probleem van onvoorwaardelijke primality-certificering voor een specifieke parametrische subfamilie van gecentreerde hexagonale getallen gedefinieerd door $p = 3m(m + 1) + 1$ , waarbij $m = 2^a 3^b - 1$ voor gehele getallen $a, b \ge 1$ . Hoewel het Pocklington–Lehmer-criterium een praktische route biedt voor het bewijzen van de primordialiteit van generieke grote gehele getallen door een volledig gefactoriseerde divisor $F > \sqrt{p}$ van $p-1$ te presenteren, ligt de uitdaging in het vinden van geschikte "getuigen" (bases $w_q$ ) voor elke priemfactor $q$ van $F$ . Voor deze specifieke familie is de divisor $F = 2^a 3^{b+1}$ volledig gefactoriseerd en voldoet $F > \sqrt{p}$ onvoorwaardelijk. De geldigheid van vaste getuigen (specifiek $w_2=5$ en $w_3=7$ ) was echter eerder heuristisch waargenomen, maar miste een rigoureuze, deterministische karakterisering. Dit artikel beoogt te onderzoeken of deze vaste getuigen universeel zijn en, indien niet, om exacte voorwaarden voor hun geldigheid te bieden.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche getaltheorie en elementaire rekenkundige zeving:

Pocklington–Lehmer Framework: Het bewijs rust op het criterium dat $p$ priem is als er getuigen $w_2, w_3$ bestaan waarvoor $w_q^{(p-1)/q} \not\equiv 1 \pmod p$ en $\gcd(w_q^{(p-1)/q}-1, p) = 1$ . Aangezien $p \equiv 1 \pmod 6$ , reduceert dit tot het controleren of $w_2$ een kwadratische niet-residue is en $w_3$ een kubische niet-residue modulo $p$ .
Kwadratische Reciprociteit: De geldigheid van $w_2 = 5$ wordt geanalyseerd met behulp van het Legendre-symbool $\left(\frac{5}{p}\right)$ , wat de parameters $a$ en $b$ relateert via de eigenschappen van $m = 2^a 3^b - 1$ .
Kubische Reciprociteit in Eisenstein-integers: De geldigheid van $w_3 = 7$ wordt geanalyseerd met behulp van het kubische residu-symbool in $\mathbb{Z}[\omega]$ (waarbij $\omega = e^{2\pi i/3}$ ). De auteurs maken gebruik van de expliciete factorisatie $p = (m+1)^3 - m^3 = \pi \bar{\pi}$ om de wet van Eisenstein voor kubische reciprociteit toe te passen. Dit maakt het mogelijk om de reductie van de kubische residu-eigenschap van 7 modulo $p$ te herleiden naar een conditie op $m$ modulo 7.
Arithmetische Filters: Drie elementaire filters zijn afgeleid om niet-priem kandidaten te elimineren vóór kostbare berekeningen met grote getallen:
- Een modulo 6 identiteit (automatisch).
- Een $(-3)$ kwadratische-residue zeef (elimineert priemgetallen $q \equiv 2 \pmod 3$ ).
- Een modulo 7 verboden-klasse test gebaseerd op de residu-klassen van $(a \pmod 3, b \pmod 6)$ .

Belangrijkste Bijdragen
Het artikel levert twee rigoureuze stellingen die heuristische aannames vervangen door deterministische regels:

Theorem 4.1 (Getuige $w_2=5$ ): De basis 5 is een geldige Pocklington-getuige indien en slechts indien $a - b \equiv 1, 2 \pmod 4$ . Als deze conditie niet wordt voldaan, is 5 een kwadratische residue, en moet een andere getuige worden geselecteerd.
Theorem 4.5 (Getuige $w_3=7$ ): De basis 7 is een geldige Pocklington-getuige indien en slechts indien $m \not\equiv 2 \pmod 7$ . Deze conditie is equivalent aan $(a \pmod 3, b \pmod 6) \notin \{(0, 1), (1, 5), (2, 3)\}$ .
Deterministische Selectieregel: Corolarium 4.9 synthetiseert deze resultaten in een volledig algoritme voor het selecteren van getuigen. Indien de vaste getuigen de congruentiecontroles niet doorstaan, selecteert het algoritme deterministisch de kleinste kwadratische of kubische niet-residue, waardoor het certificeringsproces bewezen correct is in plaats van afhankelijk van toeval.
Generalisatie: Proposition 4.7 breidt de analyse van de kubische karakter van 7 uit naar de bredere familie $p = 3m^2 + 3m + 1$ (zonder de 3-smooth beperking), waarbij de kubische residu-eigenschap wordt gekarakteriseerd op basis van $m \pmod{21}$ .

Resultaten

Efficiëntie van Filters: De combinatie van de modulo 7 filter en de $(-3)$ zeef elimineert ongeveer 87% van de kandidaat paren $(a, b)$ voordat er enige rekenkunde met grote getallen (Miller–Rabin of Pocklington verificatie) wordt uitgevoerd.
Computationele Demonstratie: De multi-core implementatie ("PrimeQuest") genereerde vier onvoorwaardelijke primordialiteits-certificaten op consumentenhardware. Het grootste certificaat komt overeen met een priemgetal van 29.998 decimale cijfers ( $m = 2^{19435}3^{19173} - 1$ ).
Verificatie: Het 29.998-cijferige priemgetal is onafhankelijk geverifieerd. Het certificaat voldoet aan de Pocklington-condities met $w_2=5$ en $w_3=7$ , en de marge $2 \log_2 F - \log_2 p \approx 1.58$ bits bevestigt de onvoorwaardelijke primordialiteit.

Betekenis en Omvang
Het artikel kadert zijn bijdrage expliciet als structureel en expliciet in plaats van recordbrekend.

Resolutie van Heuristieken: Het lost de openstaande vraag op of "5 en 7 altijd werken" voor deze familie op, door te bewijzen dat ze dat niet doen, en vervangt deze onzekerheid door exacte congruentiecondities.
Bescheiden Claims: De auteurs stellen dat het artikel "geen klassiek openstaand probleem oplost". Het 29.998-cijferige priemgetal is geen record volgens algemene standaarden (algemene ECPP kan veel grotere getallen aan), maar dient als een demonstratie van de efficiëntie van het framework op standaard hardware.
Epistemische Status: Alle theoretische claims (Theorema 4.1, 4.5, 4.7 en de filters) zijn rigoureus en onvoorwaardelijk. De computationele resultaten worden geverifieerd door exacte rekenkunde. Het werk wordt gepresenteerd als een vervolg op eerdere analytische theorie, waarbij een specifieke 3-smooth subfamilie wordt geïsoleerd waar de Pocklington-methode volledig deterministisch en minimaal wordt.

1. Het Speciale Slot (De Getallenfamilie)

2. De Twee Meestersleutels (De Getuigen)

3. De Beveiligingsfilters (Het scheiden van de neptjes)

4. De Proof of Concept (De Grote Overwinning)

Samenvatting

Meer zoals dit