🔢 mathematics

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

Diese Arbeit etabliert eine deterministische Primzahlzertifizierungsmethode für die hexagonale 3-glatte Familie $p = 3m(m+1) + 1$ , indem sie exakte Kongruenzbedingungen herleitet, welche die Gültigkeit der Zeugen $w_2=5$ und $w_3=7$ mittels quadratischer bzw. kubischer Reziprozität garantieren, während gleichzeitig effiziente arithmetische Filter eingesetzt werden, um Nicht-Primzahl-Kandidaten schnell auszuschließen.

Ursprüngliche Autoren: Hassane Bakkaoui

Veröffentlicht 2026-06-18

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Hassane Bakkaoui

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Detektiv, der versuchen muss zu beweisen, dass eine riesige Zahl wirklich „prim“ ist (das heißt, sie kann nur durch 1 und sich selbst geteilt werden). In der Welt der großen Zahlen ist das wie der Versuch zu beweisen, dass ein riesiges, komplexes Schloss keine verborgenen Schlüssel hat, außer dem Generalschlüssel. Normalerweise ist dieser Beweis ein Ratespiel, bei dem man verschiedene Schlüssel ausprobiert, bis einer passt, in der Hoffnung, Glück zu haben.

Dieses Papier von Hassane Bakkaoui stellt einen neuen, hoch organisierten Weg vor, um dieses Rätsel für eine bestimmte Familie von Zahlen zu lösen. Hier ist die Aufschlüsselung unter Verwendung alltäglicher Analogien:

1. Das spezielle Schloss (Die Zahlenfamilie)

Das Papier konzentriert sich auf eine bestimmte Art von Zahlen-Schloss, das durch die Formel $p = 3m(m + 1) + 1$ definiert ist.

Die Analogie: Betrachten Sie diese Zahlen als eine spezielle Reihe von Tresoren. Der Autor hat entdeckt, dass wenn man diese Tresore nach einem bestimmten Rezept baut (bei dem die Variable $m$ nur aus den „Bausteinen“ 2 und 3 besteht), der interne Mechanismus des Tresors ungewöhnlich einfach ist.
Der Durchbruch: Aufgrund dieses spezifischen Rezepts weiß der Autor bereits genau, wie der Tresor konstruiert ist, noch bevor er überhaupt versucht, ihn zu öffnen. Dies ermöglicht es ihm, das übliche „Ratespiel“ zu überspringen und eine Abkürzung (einen sogenannten Pocklington–Lehmer-Kriterium) zu nutzen, die einen Beweis der Primzahleigenschaft garantiert.

2. Die zwei Generalschlüssel (Die Zeugen)

Um zu beweisen, dass eine Zahl prim ist, nutzt man diesen Abkürzungsweg, benötigt man zwei spezifische „Zeugen“ (oder Schlüssel), die sich auf eine ganz bestimmte Weise verhalten.

Der alte Weg: Früher haben Mathematiker einfach die Schlüssel mit den Bezeichnungen „5“ und „7“ ausprobiert und gehofft, dass sie funktionieren würden. Es war so, als würde man sagen: „Ich wette, diese zwei Schlüssel werden immer diesen Typ von Tresor öffnen.“
Die Neuentdeckung: Das Papier beweist, dass 5 und 7 nicht immer funktionieren. Manchmal sind sie die falschen Schlüssel.
- Die Regel für Schlüssel Nr. 5: Dieser Schlüssel funktioniert nur, wenn die „Rezept-Zahlen“, die den Tresor bauen, einem bestimmten Muster folgen (bezogen auf die Zahlen 1 und 2 bei der Division durch 4).
- Die Regel für Schlüssel Nr. 7: Dieser Schlüssel funktioniert nur, wenn das Rezept ein bestimmtes Muster vermeidet (bezogen auf die Zahl 2 bei der Division durch 7).
Das Ergebnis: Anstatt zu raten, hat der Autor ein deterministisches Regelwerk erstellt. Man kann nun die Rezept-Zahlen betrachten, ein einfaches mathematisches Diagramm prüfen und genau wissen, welche Schlüssel zu verwenden sind. Wenn 5 und 7 nicht in die Regel passen, sagt einem das Papier genau, was stattdessen zu verwenden ist. Dies verwandelt ein Glücksspiel in ein garantiertes, schrittweises Verfahren.

3. Die Sicherheitsfilter (Das Aussortieren der Fälschungen)

Bevad der Versuch, den Tresor mit den Generalschlüsseln zu öffnen, hat der Autor drei einfache „Sicherheitskontrollen“ eingerichtet, um die Zahlen herauszufiltern, die offensichtlich nicht prim sind.

Die Analogie: Stellen Sie sich vor, Sie haben ein Lagerhaus voller von 1.000 Tresoren. Sie wollen keine Zeit damit verschwenden, die 870 zu testen, die offensichtlich kaputt oder gefälscht sind.
Die Filter:
1. Der Mod-6-Check: Eine schnelle Prüfung, ob die Zahl gerade ist oder durch 3 teilbar ist.
2. Der Mod-7-Check: Ein spezieller Test, der sofort ein Drittel der Kandidaten ablehnt.
3. Der „Quadratwurzel“-Check: Ein Test, der Zahlen eliminiert, die durch bestimmte andere Primzahlen teilbar sind.
Die Effizienz: Diese drei einfachen Checks entfernen etwa 87 % aller Kandidaten sofort. Es ist wie ein Türsteher in einem Club, der fast jeden rauswirft, bevor er überhaupt zur Tür gelangt, was eine enorme Zeitersparnis bedeutet.

4. Der Beweis der Konzeptstärke (Der große Sieg)

Um zu zeigen, dass dieses System funktioniert, hat der Autor ein Computerprogramm auf einem Standard-Laptop (Consumer-Hardware, kein Supercomputer) laufen lassen.

Die Errungenschaft: Er hat erfolgreich vier unumstößliche Beweise der Primzahleigenschaft generiert.
Der Höhepunkt: Die größte Zahl, die er bewiesen hat, war 29.998 Stellen lang. Um sich das vorstellen zu können: Wenn Sie diese Zahl ausschreiben würden, würde sie ein kleines Buch füllen.
Die Verifizierung: Er hat das Ergebnis nicht einfach seinem eigenen Computer anvertraut; er hat das Ergebnis auf einem anderen System erneut überprüft, um sicherzustellen, dass die „Schlüssel“ (5 und 7) gemäß seinen neuen Regeln perfekt funktionieren.

Zusammenfassung

Kurz gesagt: Dieses Papier findet nicht nur eine neue rekordverdächtige Primzahl; es verbessert das Werkzeug, das verwendet wird, um sie zu finden.

Es identifiziert eine spezifische Familie von Zahlen, bei denen der Beweis einfach ist.
Es ersetzt „hoffnungsvolles Raten“ durch exakte Regeln dafür, welche Schlüssel (Zeugen) zu verwenden sind.
Es fügt Filter hinzu, die 87 % der schlechten Zahlen sofort aussortieren.
Es beweist, dass dieses gesamte System auf einem normalen Laptop funktioniert und schafft so eine zuverlässige, schrittweise Fabrik zur Erzeugung von mathematischen Beweis-Zertifikaten.

Der Autor ist deutlich: Es geht hier nicht darum, neue Rekorde um des Ruhmes willen zu brechen, sondern darum, eine zuverlässige, fehlerfreie Methode für eine bestimmte Art von mathematischem Problem zu schaffen.

Technisches Resümee: Unbedingte primale Zertifikate für die hexagonale 3-glatte Familie

Problemstellung
Die Arbeit befasst sich mit dem Problem der unbedingten Primheitszertifizierung für eine spezifische parametrische Unterfamilie zentrierter hexagonaler Zahlen definiert durch $p = 3m(m + 1) + 1$ , wobei $m = 2^a 3^b - 1$ für ganze Zahlen $a, b \ge 1$ . Während das Pocklington–Lehmer-Kriterium einen praktischen Weg zur Beweis der Primzahl für generische große ganze Zahlen bietet, indem es einen vollständig faktorisierten Teiler $F > \sqrt{p}$ von $p-1$ ausweist, liegt die Herausforderung darin, geeignete „Zeugen“ (Basen $w_q$ ) für jeden Primfaktor $q$ von $F$ zu finden. Für diese spezifische Familie ist der Teiler $F = 2^a 3^{b+1}$ vollständig faktorisiert und erfüllt unbedingt $F > \sqrt{p}$ . Die Gültigkeit fester Zeugen (speziell $w_2=5$ und $w_3=7$ ) wurde jedoch zuvor heuristisch beobachtet, entbehrte aber einer rigorosen, deterministischen Charakterisierung. Die Arbeit sucht zu klären, ob diese festen Zeugen universell sind und, falls nicht, die exakten Bedingungen für ihre Gültigkeit zu liefern.

Methodik
Die Autoren verwenden eine Kombination aus algebraischer Zahlentheorie und elementarer arithmetischer Siebung:

Pocklington–Lehmer-Rahmen: Der Beweis stützt sich auf das Kriterium, dass $p$ prim ist, wenn Zeugen $w_2, w_3$ existieren, sodass $w_q^{(p-1)/q} \not\equiv 1 \pmod p$ und $\gcd(w_q^{(p-1)/q}-1, p) = 1$ . Da $p \equiv 1 \pmod 6$ , reduziert sich dies auf die Prüfung, ob $w_2$ ein quadratischer Nichtrest und $w_3$ ein kubischer Nichtrest modulo $p$ ist.
Quadratische Reziprozität: Die Gültigkeit von $w_2 = 5$ wird unter Verwendung des Legendre-Symbols $\left(\frac{5}{p}\right)$ analysiert, was über die Eigenschaften von $m = 2^a 3^b - 1$ mit den Parametern $a$ und $b$ in Beziehung steht.
Kubische Reziprozität in Eisenstein-Zahlen: Die Gültigkeit von $w_3 = 7$ wird unter Verwendung des kubischen Residuensymbols in $\mathbb{Z}[\omega]$ (wobei $\omega = e^{2\pi i/3}$ ) analysiert. Die Autoren nutzen die explizite Faktorisierung $p = (m+1)^3 - m^3 = \pi \bar{\pi}$ , um das Eisensteinsche Gesetz der kubischen Reziprozität anzuwenden. Dies ermöglicht die Reduktion der kubischen Residuenzität von 7 modulo $p$ auf eine Bedingung für $m$ modulo 7.
Arithmetische Filter: Drei elementare Filter werden abgeleitet, um Nicht-Primzahl-Kandidaten vor teurer großer-Zahlen-Arithmetik zu eliminieren:
- Eine Modulo-6-Identität (automatisch).
- Ein $(-3)$ -quadratischer-Residuen-Sieb (Eliminierung von Primzahlen $q \equiv 2 \pmod 3$ ).
- Ein Modulo-7-verbotener-Klassen-Test basierend auf den Residuenklassen von $(a \pmod 3, b \pmod 6)$ .

Wesentliche Beiträge
Die Arbeit liefert zwei rigorose Theoreme, die heuristische Annahmen durch deterministische Regeln ersetzen:

Theorem 4.1 (Zeuge $w_2=5$ ): Die Basis 5 ist ein gültiger Pocklington-Zeuge genau dann, wenn $a - b \equiv 1, 2 \pmod 4$ . Falls diese Bedingung fehlschlägt, ist 5 ein quadratischer Rest, und ein anderer Zeuge muss gewählt werden.
Theorem 4.5 (Zeuge $w_3=7$ ): Die Basis 7 ist ein gültiger Pocklington-Zeuge genau dann, wenn $m \not\equiv 2 \pmod 7$ . Diese Bedingung ist äquivalent zu $(a \pmod 3, b \pmod 6) \notin \{(0, 1), (1, 5), (2, 3)\}$ .
Deterministische Auswahlregel: Korollar 4.9 synthetisiert diese Ergebnisse in einen vollständigen Algorithmus zur Auswahl von Zeugen. Wenn die festen Zeugen die Kongruenzprüfungen nicht bestehen, wählt der Algorithmus deterministisch den kleinsten quadratischen oder kubischen Nichtrest aus, wodurch sichergestellt wird, dass der Zertifizierungsprozess beweisbar korrekt und nicht auf Zufall beruhend ist.
Verallgemeinerung: Proposition 4.7 erweitert die Analyse des kubischen Charakters von 7 auf die breitere Familie $p = 3m^2 + 3m + 1$ (ohne die 3-glatte Beschränkung) und charakterisiert die kubische Residuenzität basierend auf $m \pmod{21}$ .

Ergebnisse

Filtereffizienz: Die Kombination aus dem Modulo-7-Filter und dem $(-3)$ -Sieb eliminiert etwa 87 % der Kandidatenpaare $(a, b)$ , bevor jede große-Zahlen-Arithmetik (Miller–Rabin oder Pocklington-Verifizierung) durchgeführt wird.
Kommunikative Demonstration: Eine Multi-Core-Implementierung („PrimeQuest“) generierte vier unbedingte Primheitszertifikate auf Standard-Hardware. Das größte Zertifikat entspricht einer Primzahl mit 29.998 Dezimalstellen ( $m = 2^{19435}3^{19173} - 1$ ).
Verifizierung: Die 29.998-stellige Primzahl wurde unabhängig verifiziert. Das Zertifikat erfüllt die Pocklington-Bedingungen mit $w_2=5$ und $w_3=7$ , und die Marge $2 \log_2 F - \log_2 p \approx 1,58$ Bits bestätigt die unbedingte Primheit.

Bedeutung und Umfang
Die Arbeit rahmt ihren Beitrag explizit als strukturell und explizit statt als rekordverdächtig ein.

Auflösung von Heuristiken: Sie löst die offene Frage, ob „5 und 7 immer funktionieren“ für diese Familie, indem sie beweist, dass dies nicht der Fall ist, und ersetzt diese Unsicherheit durch exakte Kongruenzbedingungen.
Bescheidene Ansprüche: Die Autoren geben an, dass die Arbeit „kein klassisches offenes Problem löst“. Die 29.998-stellige Primzahl stellt keinen Rekord nach allgemeinen Maßstäben dar (da allgemeine ECPP-Verfahren viel größere Zahlen handhaben können), dient aber als Demonstration der Effizienz des Frameworks auf handelsüblicher Hardware.
Epistemischer Status: Alle theoretischen Behauptungen (Theoreme 4.1, 4.5, 4.7 und die Filter) sind rigoros und unbedingt. Die computergestützten Ergebnisse werden durch exakte Arithmetik verifiziert. Die Arbeit wird als Fortführung der bisherigen analytischen Theorie präsentiert, wobei eine spezifische 3-glatte Unterfamilie isoliert wird, in der die Pocklington-Methode vollständig deterministisch und minimal wird.