🔢 mathematics

Bounded-box reductions in the Subbarao-Warren problem for unitary perfect numbers

Dieser Beitrag führt das Subbarao-Warren-Problem zu unitär perfekten Zahlen voran, indem er eine Reduktion auf ein begrenztes Intervall anwendet, um fünf betrügerische Kerne mittels eines Drei-Filter-Zertifikats auszuschließen und verifizierte endliche Grenzen für die verbleibende Hilfsmenge $H_{even}$ bereitstellt, wodurch die Suche auf ein spezifisches Teilerproblem mit zyklotomischen Werten eingegrenzt wird, ohne jedoch bereits die Endlichkeit zu beweisen.

Ursprüngliche Autoren: Tom Maciejewski

Veröffentlicht 2026-05-21

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Tom Maciejewski

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

Das große Ganze: Die Jagd nach einer „perfekten" Zahl

Stellen Sie sich vor, Sie suchen nach einer ganz besonderen Art von Zahl, die als Unitary Perfect Number (UPN) bezeichnet wird.

Die Regel: Eine Zahl ist „perfekt", wenn die Summe ihrer speziellen „unitären" Teile genau dem Doppelten der Zahl selbst entspricht.
Das Rätsel: Mathematiker haben in der gesamten Geschichte nur fünf dieser Zahlen gefunden (die größte ist eine riesige Zahl mit 24 Ziffern).
Die Frage: Gibt es noch mehr? Oder ist die Liste der fünf vollständig?

Dieses Papier ist eine massive, hochtechnologische Suchmission, um zu beweisen, dass keine neuen Zahlen existieren, oder zumindest den Suchraum so stark einzuschränken, dass das Finden einer neuen Zahl nahezu unmöglich wäre.

Die Strategie: Die „begrenzte Box" und die „Betrüger"

Die Autoren, angeführt von Tom Maciejewski, beschlossen, das Raten einzustellen und systematisch jeden möglichen Kandidaten innerhalb eines bestimmten „Kastens" von Regeln zu überprüfen.

Stellen Sie sich den Bau einer UPN wie den Bau eines Hauses vor. Sie beginnen mit einem Samen (eine bestimmte ungerade Zahl) und fügen Ziegelsteine (Primfaktoren) hinzu.

Die bekannten Häuser: Wir kennen zwei spezifische „Baupläne" (sogenannte Kerne), die erfolgreich die bekannten perfekten Häuser gebaut haben (insbesondere die Zahlen 90 und die riesige fünfte Zahl).
Die Betrüger: Die Autoren führten eine Computersimulation durch, um zu sehen, ob es andere Baupläne gab, die so aussahen, als könnten sie ein perfektes Haus bauen, aber noch nicht entdeckt worden waren. Sie fanden fünf „Betrüger"-Baupläne. Diese sehen vielversprechend aus, sind laut dem Papier jedoch tatsächlich gefälscht.

Das Ziel: Beweisen, dass diese fünf Betrügervorlagen niemals tatsächlich ein perfektes Haus bauen können.

Die drei Filter: Wie sie die Fälschungen aufspüren

Um zu beweisen, dass die Betrüger falsch sind, bauten die Autoren einen dreistufigen Sicherheitskontrollpunkt (ein „Zertifikat"), den jede Kandidatenzahl bestehen muss. Wenn eine Zahl eine Stufe nicht besteht, wird sie verworfen.

Filter Z (Das Zsigmondy-Tor):
- Analogie: Stellen Sie sich einen Türsteher vor, der Ausweise kontrolliert. Dieser Filter prüft, ob die beteiligten Zahlen einen „primitiven" Primfaktor haben, der entweder zu alt oder zu neu ist, um zugelassen zu werden. Wenn die Mathematik nicht mit einem berühmten Theorem (Zsigmondy-Theorem) übereinstimmt, wird der Kandidat sofort rausgeworfen.
- Ergebnis: Dies fing etwa 495 Betrüger.
Filter N (Der Nicht-3-Higgs-Zeuge):
- Analogie: Dies ist eine Hintergrundüberprüfung. Das Papier definiert einen speziellen Club namens „3-Higgs-Primzahlen". Wenn der Stammbaum einer Zahl einen „schlechten Apfel" enthält (eine Primzahl, die nicht im 3-Higgs-Club ist), wird die gesamte Zahl disqualifiziert.
- Ergebnis: Dies war der effektivste Filter und fing 1.614 Betrüger. Er funktionierte sogar bei Zahlen, die noch nicht vollständig faktorisiert waren, indem er nur einen „schlechten Apfel" in ihrem teilweisen Stammbaum fand.
Filter O (Das 2-adische Budget-Überziehen):
- Analogie: Stellen Sie sich ein strenges Budget für ein Bauprojekt vor. Wenn Sie mehr Ziegelsteine (Faktoren) hinzufügen, berechnen Sie die „Kosten" in einer spezifischen Währung (Potenzen von 2). Wenn die Kosten der Ziegelsteine das vom Samen zulässige Budget überschreiten, ist das Projekt unmöglich.
- Ergebnis: Dies fing die verbleibenden 10 hartnäckigen Betrüger, die die anderen Filter übersehen hatten.

Das Urteil: Bis sie die Überprüfung von Zahlen bis zu einer massiven Grenze (10.000) abgeschlossen hatten, war jeder einzelne der fünf Betrügervorlagen als gefälscht bewiesen. Die einzigen verbleibenden Baupläne, die funktionieren könnten, sind die zwei, die wir bereits kennen.

Das verbleibende Rätsel: Die „gerade" Menge ( $H_{even}$ )

Obwohl sie die Betrüger beseitigt haben, gibt es eine knifflige Gruppe von Zahlen übrig, die $H_{even}$ genannt wird.

Dies sind Zahlen, bei denen jeder einzelne Primfaktor die Hintergrundüberprüfung des „3-Higgs"-Clubs besteht.
Die Autoren vermuten, dass diese Gruppe endlich ist (d. h. sie hört nach einem bestimmten Punkt auf zu wachsen), können dies aber noch nicht beweisen.
Sie führten eine rigorose Zählung bis 50.000 durch und stellten fest, dass es in dieser Gruppe höchstens 272 Kandidaten gibt.
Sie bewiesen, dass diese Gruppe, wenn sie unendlich wäre, „dünn" (sehr spärlich) sein müsste, konnten aber nicht beweisen, dass sie vollständig aufhört.

Das „fehlende Glied": Warum es schwer ist, abzuschließen

Das Papier gibt zu, dass es das gesamte Rätsel noch nicht gelöst hat. Hier ist die letzte Hürde:

Um zu beweisen, dass es keine weiteren perfekten Zahlen gibt, müssen sie beweisen, dass die Mathematik für sehr große Zahlen einfach nicht funktionieren kann.
Sie identifizierten eine spezifische mathematische „Lücke". Es ist so, als würde man wissen, dass eine Brücke zu schwach ist, um einen LKW zu tragen, aber nicht die Ingenieursformel hat, um genau zu beweisen, wo sie bei jeder möglichen LKW-Größe bricht.
Sie schlagen eine neue Vermutung (eine auf starken Beweisen basierende Annahme) vor, die „Divisor Log-Mass Conjecture" genannt wird. Wenn diese Vermutung wahr ist, ist das Rätsel gelöst. Wenn sie falsch ist, geht die Jagd weiter.

Zusammenfassung der Ergebnisse

Betrüger eliminiert: Sie bewiesen rigoros, dass die fünf „gefälschten" Baupläne für neue perfekte Zahlen im getesteten Bereich unmöglich sind.
Der Suchraum verkleinert: Sie reduzierten das Problem auf die Überprüfung einer sehr kleinen, spezifischen Liste von etwa 272 „verdächtigen" Zahlen.
Reproduzierbarkeit: Sie veröffentlichten ihren gesamten Code, ihre Daten und Verifizierungsprotokolle, damit jeder die Tests erneut durchführen und die Ergebnisse selbst sehen kann.
Der Final Boss: Sie bewiesen nicht, dass die Vermutung wahr ist, aber sie reduzierten das Problem auf eine einzige, präzise mathematische Frage darüber, wie Primzahlen in bestimmten algebraischen Formeln verteilt sind.

Kurz gesagt: Das Papier ist eine massive Aufräumaktion. Es hat den Boden gefegt, alle falschen Hinweise verworfen und die Mathematiker mit einem sehr kleinen, sehr spezifischen Haufen Staub zurückgelassen, den es zu untersuchen gilt. Sie wissen genau, was dieser Staub ist; sie brauchen nur ein neues Werkzeug, um zu beweisen, dass es kein Diamant ist.

Technische Zusammenfassung: Beschränkte-Box-Reduktionen im Subbarao–Warren-Problem für unitär perfekte Zahlen

Problemstellung
Der Artikel behandelt das Subbarao–Warren-Problem bezüglich unitär perfekter Zahlen (UPNs). Eine positive ganze Zahl $n$ ist eine UPN, wenn $\sigma^*(n) = 2n$ gilt, wobei $\sigma^*$ die unitären Teiler von $n$ summiert. Derzeit sind nur fünf Beispiele bekannt: 6, 60, 90, 87360 und 146361946186458562560000. Die strenge Vermutung besagt, dass diese fünf die einzigen UPNs sind.

Die definierende Gleichung für eine UPN $n = 2^a \prod p_i^{e_i}$ (mit $p_i$ ungerade) ist das „vollständige Gleichgewicht":
$(2^a + 1) \prod (p_i^{e_i} + 1) = 2^{a+1} \prod p_i^{e_i}$
Hier wirkt $2^a + 1$ als „Startfaktor", der eine Abhängigkeitskaskade initiiert. Jeder ungerade Primteiler einer UPN muss eine „3-Higgs"-Primzahl sein (eine Primzahl $p$ , bei der jeder Primteiler von $p-1$ ebenfalls 3-Higgs ist, wobei die Exponenten in der Primfaktorzerlegung von $p-1$ durch 3 beschränkt sind). Der Artikel untersucht, ob neue UPNs existieren können, indem er „Impostor-Kerne" analysiert – Quellkomponenten im ungeraden Abhängigkeitsgraphen, die nicht zu den bekannten Beispielen gehören, aber anfängliche strukturelle Bedingungen erfüllen.

Methodik
Der Autor verwendet eine Kombination aus rigoroser computergestützter Enumeration und analytischer Zahlentheorie, strukturiert um einen „beschränkten-Box"-Ansatz und ein dreistufiges Filter-Zertifizierungssystem.

Beschränkter Enumerations-Box ( $B$ ): Die Suche ist auf einen spezifischen Bereich beschränkt: Primzahlen $p \le 2000$ , Exponenten $e \le 6$ , $p^e \le 10^9$ und stark zusammenhängende Komponenten (SCCs) der Größe $\le 6$ . Innerhalb dieser Box enumeriert der Autor quellenkompatible SCCs.
Dreistufiges Filter-Zertifikat: Für jeden Kandidatenkern und Startexponenten $a$ $a$ wendet der Artikel drei rigorose Filter an, um die Möglichkeit einer UPN auszuschließen:
- Filter Z (Zsigmondy/Higgs): Nutzt den Satz von Zsigmondy, um Exponenten-Hindernisse zu erkennen, bei denen primitive Primteiler von $p^e+1$ die 3-Higgs-Bedingungen verletzen.
- Filter N (Nachweis nicht-3-Higgs): Überprüft Teiler $m$ von $a$ (wobei $a/m$ ungerade ist). Wenn $2^m+1$ einen nicht-3-Higgs-Primfaktor enthält, erbt der Startfaktor $2^a+1$ diesen Faktor und macht den Kandidaten ungültig. Dieser Filter nutzt partielle Faktorisierungen aus FactorDB und rekursive Pratt-Baum-Verifikationen.
- Filter O (2-adisches Budget-Überschreiten): Berechnet die kumulative 2-adische Bewertung $v_2$ , die von den ungeraden Komponenten erforderlich ist. Wenn die Summe von $v_2(p^e+1)$ das verfügbare Budget $a+1$ überschreitet, wird der Kandidat eliminiert.
Analyse der Menge $H_{even}$ : Der Artikel definiert $H_{even}$ als die Menge der geraden ganzen Zahlen $m$ , sodass jeder Primteiler von $2^m+1$ 3-Higgs ist. Die Existenz einer neuen UPN mit einem nicht-quadratfreien ungeraden Teil ist mit der Endlichkeit dieser Menge verknüpft. Der Autor reduziert das Problem auf den „Primfall" ( $m=2p$ ) und analysiert die strukturellen Eigenschaften dieser Kandidaten unter Verwendung von Aurifeuillean-Faktorisierungen und tiefen Pratt-Baum-Abstiegsschritten.

Hauptbeiträge und Ergebnisse

Eliminierung von Impostor-Kernen: Innerhalb der beschränkten Box $B$ $B$ identifiziert der Autor fünf „Impostor-Kerne" (zusätzlich zu den zwei bekannten Kernen 32 und 54), die anfängliche günstige Filter bestehen. Mithilfe des dreistufigen Filter-Zertifikats beweist der Artikel, dass für alle Startexponenten $1 \le a \le 10.000$ $1 \leq a \leq 10.000$ keine UPN existiert, deren ungerade-Komponenten-Struktur diese Impostor-Kerne verfeinert.
- Statistik: Von 2.119 Kandidaten in diesem Bereich wurden 495 durch Filter Z, 1.614 durch Filter N und 10 durch Filter O eliminiert.
Rigorose Schranken für $H_{even}$ : Der Artikel liefert verifizierte Schranken für die Menge $H_{even}$ $H_{e v e n}$ :
- $|H_{even} \cap [2, 40000]| \le 201$ (mit 191 unentschiedenen Kandidaten).
- $|H_{even} \cap [2, 50000]| \le 272$ (mit 262 unentschiedenen Kandidaten).
- Diese Schranken sind rigoros und basieren auf APR-CL-Primzahlverifizierungstranskripten für große Zeugenprimzahlen (bis zu 3053 Ziffern) sowie einer konservativen Handhabung partieller Faktorisierungen.
Strukturelle Reduktionen:
- Satz 7: Beweist, dass $H_{even}$ genau dann endlich ist, wenn die Teilmenge der Primfälle $H_{even}^{prime} = \{2p \in H_{even} : p \text{ ist prim}\}$ endlich ist. Ferner gilt $|H_{even}| \le 4^{|H_{even}^{prime}|}$ .
- Satz 21: Etabliert eine bedingungslose „Leistungssparende-Dünne"-Schranke für $H_{even}$ (d. h. die Anzahl wächst als $O(X^{1-\eta})$ ), was jedoch die Endlichkeit nicht beweist.
Identifikation des analytischen Hindernisses: Der Artikel isoliert die genaue Barriere zum Beweis der Endlichkeit. Während der Satz von Ford eine globale Dichteschranke für 3-Higgs-Primzahlen liefert, ist dieser im Maßstab primitiver Teiler zyklotomischer Werte $\Phi_{4p}(2)$ unzureichend. Die verbleibende Aufgabe ist ein Teiler-Ebenen-Problem: zu beweisen, dass für große $p$ die primitiven Primteiler von $2^{2p}+1$ nicht alle 3-Higgs sein können.

Bedeutung und Behauptungen
Der Artikel stellt explizit fest, dass er die strenge Subbarao–Warren-Vermutung (dass nur fünf UPNs existieren) nicht beweist. Stattdessen erreicht er eine „beschränkte-Box-Eliminierung" und eine „verifizierte endliche Grenze".

Reduktion auf eine einzige analytische Frage: Die Arbeit reduziert das Problem, neue UPNs (innerhalb der beschränkten Box) zu finden, auf die Endlichkeit von $H_{even}$ , die wiederum vom Verhalten der Primteiler von $\Phi_{4p}(2)$ abhängt.
Präzises Ziel für zukünftige Arbeiten: Der Autor identifiziert das „fehlende Theorem" als eine Teiler-Ebenen-Gleichverteilung oder Log-Masse-Schranke für die Primfaktoren von $\Phi_{4p}(2)$ . Konkret formuliert der Artikel Vermutung 23 (Hybride Halbgruppen-friable-verschobene-Primzahl-Vermutung) und Vermutung 29 (Teiler-Mod-16-Gleichverteilung) als notwendige Bedingungen, um das Problem abzuschließen.
Reproduzierbarkeit: Der Artikel betont, dass alle computergestützten Ergebnisse reproduzierbar sind. Er stellt einen Faktorisierungs-Cache, APR-CL-Verifizierungstranskripte und Python-Skripte (impostor_certificate.py, verify_Heven_rigorous.py) bereit, um die Eliminierung der Impostor-Kerne und die Schranken für $H_{even}$ zu verifizieren.

Zusammenfassend eliminiert der Artikel rigoros alle potenziellen „Impostor"-Quellen für neue UPNs bis zu einem Startexponenten von 10.000 innerhalb eines definierten Suchraums und reduziert das verbleibende offene Problem auf eine spezifische, klar definierte analytische Vermutung bezüglich der Primteiler zyklotomischer Polynome.