🔢 mathematics

Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers

Dieser Artikel stellt vollständig verifizierte, klassische $N-1$ -Primzahlbeweise für die Wagstaff-Zahlen $W_{2617}$ , $W_{10501}$ und $W_{12391}$ unter Verwendung des Brillhart-Lehmer-Selfridge-Kriteriums und zyklotomischer Faktorisierungen vor und etabliert damit deren Primzahlcharakter unabhängig von elliptischen Kurvenmethoden und unbewiesenen Vermutungen.

Ursprüngliche Autoren: Alexey Dolotov

Veröffentlicht 2026-05-19

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Alexey Dolotov

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 beweisen soll, dass eine bestimmte, unglaublich große Zahl wirklich „prim" ist (was bedeutet, dass sie nur durch 1 und sich selbst teilbar ist). In der Welt der Mathematik sind diese Zahlen wie riesige, komplizierte Tresore. Meistens verwenden Mathematiker, um zu beweisen, dass ein Tresor unknackbar ist, eine hochtechnische, komplexe Methode namens ECPP (Elliptic Curve Primality Proving). Es ist, als würde man einen Supercomputer nutzen, um ein Quantenphysik-Experiment zu simulieren, um den Tresor zu überprüfen. Es funktioniert, aber es ist schwerfällig, kompliziert und für andere schwierig, schnell zu überprüfen.

Dieser Artikel von Alexey Dolotov stellt einen anderen Ansatz vor. Der Autor beweist, dass drei spezifische riesige Zahlen (sogenannte Wagstaff-Zahlen) prim sind, verwendet jedoch statt der schweren quantenphysikalischen Werkzeuge eine klassische, „altmodische" Methode namens BLS (Brillhart–Lehmer–Selfridge).

Hier ist die Aufschlüsselung dessen, was der Artikel leistet, unter Verwendung einfacher Analogien:

1. Das Ziel: Die Wagstaff-Zahlen

Stellen Sie sich Wagstaff-Zahlen als eine spezielle Familie von Zahlen vor, die mit den berühmten Mersenne-Zahlen verwandt sind (die verwendet werden, um die größten bekannten Primzahlen zu finden). Sie werden durch ein einfaches Rezept definiert: Nehmen Sie eine Primzahl $p$ , berechnen Sie $2^p + 1$ und teilen Sie durch 3.
Der Artikel konzentriert sich auf drei spezifische „Riesen" in dieser Familie:

W2617 (eine Zahl mit 788 Ziffern)
W10501 (eine Zahl mit 3.161 Ziffern)
W12391 (eine Zahl mit 3.730 Ziffern)

Alle hatten bereits vermutet, dass diese prim sind, aber der Beweis beruhte auf der schweren ECPP-Methode. Dieser Artikel sagt: „Lassen Sie uns es erneut beweisen, und zwar mit einer leichteren, transparenteren Methode."

2. Die Methode: Das „N-1"-Puzzle

Die BLS-Methode funktioniert wie ein Puzzle. Um zu beweisen, dass eine Zahl $N$ prim ist, müssen Sie nicht jede einzelne Zahl bis zu $N$ überprüfen. Stattdessen betrachten Sie die Zahl $N - 1$ .

Stellen Sie sich vor, $N - 1$ ist eine lange Kette von Gliedern. Wenn Sie einen großen Teil dieser Kette finden können, der vollständig faktorisiert ist (was bedeutet, dass Sie genau wissen, aus welchen kleinen Primzahlen dieser Teil besteht), und dieser Teil groß genug ist (speziell größer als die Kubikwurzel von $N$ ), können Sie mathematisch beweisen, dass die gesamte Zahl $N$ prim ist.

Die Herausforderung: Für diese riesigen Wagstaff-Zahlen ist $N-1$ eine massive Kette. Normalerweise sind die meisten Glieder verborgen oder unbekannt.
Der Trick: Der Autor erkannte, dass $N-1$ für diese Zahlen aus einer spezifischen mathematischen Struktur stammt, die zyklotomische Zerlegung genannt wird. Es ist, als würde man wissen, dass die Kette aus bestimmten Arten von Gliedern besteht (genannt $\Phi_d(2)$ ).
Die Ernte: Der Autor ging zu bestehenden „Bibliotheken" mathematischer Daten (den Tabellen des Cunningham-Projekts und FactorDB), um die bereits bekannten Glieder zu finden. Für den Rest verwendete er Computeralgorithmen, um sie zu zerlegen.

3. Die Verifizierung: Der „Goldstandard"-Check

Sobald der Autor einen großen genug Teil der Kette gefunden hatte (den „faktorierten Teil"), musste er beweisen, dass jedes einzelne kleine Primzahl-Glied innerhalb dieses Teils tatsächlich prim ist.

Er hat nicht einfach geraten. Er verwendete eine rigorose, unknackbare Methode namens APR-CL, um jedes einzelne kleine Primzahl-Glied zu zertifizieren.
Denken Sie daran wie an einen Notar, der jeden einzelnen Ziegel in einer Mauer stempelt, bevor er die Mauer als sicher erklärt.

4. Die Doppelprüfung: Der „Magische Spiegel"

Um sicherzustellen, dass sein Computercode keinen Fehler enthielt, fügte der Autor eine zweite, unabhängige Überprüfung hinzu.

Er verwendete ein anderes mathematisches System, das Quadratwurzeln aus 2 beinhaltet (genannt $\mathbb{Z}[\sqrt{2}]$ ).
Er überprüfte eine spezifische mathematische „Kongruenz" (eine ausgefallene Art, ein Musterabgleich zu sagen), die muss auftreten, wenn die Zahl prim ist.
Dies ist wie die Überprüfung Ihrer Arbeit, indem Sie das Problem rückwärts lösen. Wenn das Muster übereinstimmt, bestätigt dies, dass die Mathematik korrekt durchgeführt wurde.

5. Die Ergebnisse

Der Artikel beweist erfolgreich, dass W2617, W10501 und W12391 prim sind.

Warum ist das besonders? Diese Beweise sind „unbedingt", was bedeutet, dass sie sich nicht auf unbewiesene Vermutungen stützen. Sie sind auch „unabhängig", was bedeutet, dass sie nicht die schwere ECPP-Methode verwenden, die jeder andere verwendet.
Die Grenze: Der Autor erklärt, dass diese Methode nur funktioniert, wenn die Zahl $p-1$ „glatt" ist (was bedeutet, dass sie sich leicht in kleine, bekannte Teile zerlegen lässt). Er überprüfte alle anderen bekannten Wagstaff-Kandidaten und stellte fest, dass bei fast allen von ihnen die Kette ein riesiges, unknackbar Glied hat, das die Verwendung dieser spezifischen Methode im Moment unmöglich macht. Nur diese drei Zahlen waren „glatt" genug, um auf diese Weise gelöst zu werden.

Zusammenfassung

Alexey Dolotov nahm drei riesige Zahlen, von denen bereits angenommen wurde, dass sie prim sind, und bewies sie mit einer klassischen, transparenten und hoch überprüfbaren Methode. Er sagte nicht einfach nur „es ist prim"; er erstellte ein vollständiges, schrittweises Zertifikat, das jeder auf seinem eigenen Computer ausführen kann, um das Ergebnis zu überprüfen. Es ist ein „saubererer" Beweis, der für sich selbst steht, unabhängig von den komplexeren Methoden, die normalerweise für diese Riesen verwendet werden.

Technische Zusammenfassung: Drei Brillhart–Lehmer–Selfridge-Primzahlbeweise für Wagstaff-Zahlen

Problemstellung
Der Artikel befasst sich mit der Verifizierung der Primzahleigenschaft von Wagstaff-Zahlen, definiert als $W_p = (2^p + 1)/3$ für ungerade Primzahlen $p$ . Während Mersenne-Zahlen ( $M_p = 2^p - 1$ ) einen deterministischen, eigenständigen Primzahltest besitzen (den Lucas–Lehmer-Test), existiert kein vergleichbarer deterministischer Test für Wagstaff-Zahlen. Vorliegende Beweise für Wagstaff-Zahlen mit großen Exponenten (insbesondere $p \ge 2617$ ) stützen sich auf den Elliptic-Curve-Primzahlbeweis-Algorithmus (ECPP) von Atkin–Morain. Obwohl Chebyshev/Lucas-artige Kongruenzen (insbesondere die Chua-Rahmenbedingung $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ ) als notwendige Bedingungen für Wagstaff-Primzahlen bekannt sind, bleibt ihre hinreichende Gültigkeit eine Vermutung. Folglich besteht ein Bedarf an bedingungslosen Primzahlbeweisen für große Wagstaff-Zahlen, die weder auf ECPP noch auf unbewiesene Vermutungen angewiesen sind.

Methodik
Die Autoren präsentieren bedingungslose Primzahlbeweise für drei spezifische Wagstaff-Zahlen: $W_{2617}$ , $W_{10501}$ und $W_{12391}$ . Die Methodik stützt sich ausschließlich auf das klassische Brillhart–Lehmer–Selfridge (BLS) $N-1$ -Kriterium, welches erfordert, dass ein signifikanter Anteil von $N-1$ vollständig faktorisiert ist.

Zyklotomische Zerlegung: Die Beweise nutzen die Faktorisierung von $N-1 = W_p - 1 = \frac{2(2^{p-1}-1)}{3}$ . Der Term $2^{p-1}-1$ wird in zyklotomische Polynome zerlegt: $2^{p-1}-1 = \prod_{d|p-1} \Phi_d(2)$ .
Faktorierter Anteil ( $F$ ): Die Autoren nutzen bekannte Faktorisierungen dieser zyklotomischen Faktoren $\Phi_d(2)$ aus den Cunningham-Projekt-Tabellen und FactorDB. Alle abgerufenen Faktoren werden mittels des APR-CL-Algorithmus (Adleman–Pomerance–Rumely / Cohen–Lenstra) erneut auf Primzahlheit zertifiziert.
Anwendung des BLS-Kriteriums: Die Beweise etablieren einen faktorisierten Anteil $F$ von $N-1$ , sodass $F^3 > N$ gilt (übersteigt den Schwellenwert $N^{1/3}$ ). Für jeden Primfaktor $q$ von $F$ wird ein Fermat-artiger Zeuge $a_q$ gefunden, der $a_q^{N-1} \equiv 1 \pmod N$ und $\gcd(a_q^{(N-1)/q}-1, N) = 1$ erfüllt. Die Diskriminante $\Delta = s^2 - 8m$ (abgeleitet aus $N = mF + s + 1$) wird als nicht-quadratisch verifiziert.
Unabhängige Verifizierung: Als zusätzliche Prüfung der Implementierung der Arithmetik im Ring $\mathbb{Z}[\sqrt{2}]$ verifizieren die Autoren die Chua-Kongruenz $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ für jedes Ziel. Dies dient als plattformübergreifende Kontrolle, die sich von der rein ganzzahligen BLS-Arithmetik unterscheidet, wird jedoch nicht zur Herleitung der Primzahlheit verwendet.

Hauptbeiträge

Bedingungslose Beweise: Der Artikel liefert die ersten veröffentlichten, auf BLS basierenden Primzahlbeweise für $W_{2617}$ , $W_{10501}$ und $W_{12391}$ , die unabhängig von ECPP sind.
Methodische Demonstration: Er zeigt die Machbarkeit der Anwendung des BLS $N-1$ -Rahmens auf Wagstaff-Zahlen durch Ausnutzung der zyklotomischen Zerlegung von $2^{p-1}-1$ . Dieser Ansatz erweist sich als tragfähig für Exponenten, bei denen $p-1$ hinreichend glatt ist, um die Faktorisierung ausreichend vieler zyklotomischer Faktoren zu ermöglichen.
Überprüfbarkeit: Die Beweise sind für eine hohe Überprüfbarkeit konzipiert. Die Zertifikate sind kompakte JSON-Einträge, die Zeugen und Diskriminantenprüfungen enthalten. Die Verifizierung erfordert lediglich Standard-Modularexponentiationen und APR-CL-Prüfungen und vermeidet die komplexen elliptischen Kurvenauswertungen, die für ECPP erforderlich sind.
Reproduzierbarkeit: Alle Berechnungen sind mit Open-Source-Software (Python, SymPy, PARI/GP, gmpy2) reproduzierbar. Vollständige Treuerskripte, Protokolle und Zertifikate sind auf Zenodo archiviert.

Ergebnisse
Der Artikel beweist erfolgreich die Primzahlheit von:

$W_{2617}$ : Eine 788-stellige Zahl. Der faktorisierte Anteil $F$ übersteigt $N^{1/3}$ um 46 Bit unter Verwendung von 22 verschiedenen Primfaktoren.
$W_{10501}$ : Eine 3.161-stellige Zahl. Der faktorisierte Anteil übersteigt den Schwellenwert um 3.261 Bit unter Verwendung von 103 verschiedenen Primfaktoren.
$W_{12391}$ : Eine 3.730-stellige Zahl. Der faktorisierte Anteil übersteigt den Schwellenwert um 2.860 Bit unter Verwendung von 61 verschiedenen Primfaktoren.

Für jeden Beweis wurde jeder Primfaktor im faktorisierten Anteil $F$ bedingungslos via APR-CL zertifiziert. Die Chua-Kongruenz wurde für alle drei Zahlen als Konsistenzprüfung verifiziert.

Bedeutung und Einschränkungen
Der Artikel beansprucht Bedeutung primär im Bereich der Überprüfbarkeit und methodischen Vielfalt. Er bietet eine unabhängige Bestätigung der Primzahlheit dieser spezifischen Zahlen, die sich von den in den Caldwell/Wagstaff-Projekt-Archiven derzeit aufgezeichneten ECPP-Beweisen unterscheidet.

Die Autoren sind hinsichtlich des Anwendungsbereichs der Methode bescheiden. Sie weisen ausdrücklich darauf hin, dass der BLS $N-1$ -Ansatz durch die Glätte von $p-1$ begrenzt ist. Eine Analyse bekannter Wagstaff-Primzahlen und wahrscheinlicher Primzahlen bis $p = 267.017$ ergibt, dass nur $p=10501$ und $p=12391$ (sowie der kleinere $p=2617$ ) $p-1$ -Strukturen besitzen, die glatt genug sind, um einen faktorisierten Anteil $F$ zu liefern, der für das BLS-Kriterium mit aktuellen Faktorisierungsdaten groß genug ist. Für andere Exponenten führen große Primfaktoren in $p-1$ zu unfaktorisierten zyklotomischen Komponenten $\Phi_d(2)$ , die für allgemeine Faktorisierungsmethoden derzeit unerreichbar sind. Folglich schlägt der Artikel keine allgemeine Lösung für alle Wagstaff-Zahlen vor, sondern etabliert einen rigorosen, nicht-ECPP-Beweispfad für eine spezifische, eingeschränkte Teilmenge von Exponenten.