On odd perfect numbers with exactly one even exponent greater than 2

Technische Zusammenfassung: Über ungerade perfekte Zahlen mit genau einem geraden Exponenten größer als 2

Problemstellung
Diese Arbeit untersucht die Existenz und die Eigenschaften „eingeschränkter“ ungerader perfekter Zahlen (OPNs). Eine OPN ist eine ungerade ganze Zahl $N$, die die Bedingung $\sigma(N) = 2N$ erfüllt, wobei $\sigma$ die Summe der Teilerfunktion ist. Euler stellte fest, dass jede OPN die Form $N = p^e m^2$ annehmen muss, wobei $p$ eine Primzahl (die spezielle Primzahl) mit $p \equiv e \equiv 1 \pmod 4$ ist und $p \nmid m$.

McDaniel demonstrierte zuvor, dass $m$ nicht quadratfrei sein kann, was impliziert, dass mindestens einer der geraden Exponenten in der Primfaktorzerlegung von $N$ mindestens 4 sein muss. Die Autoren definieren eine OPN als eingeschränkt, wenn sie genau einen solchen Exponenten besitzt, der größer als 2 ist. Sei $n^q$ die eindeutige Komponente, bei der $n \neq p$ und $q \ge 4$; $n$ wird als „merkliche Primzahl“ (notable prime) und $q$ als „merklicher Exponent“ (notable exponent) bezeichnet. Das primäre Ziel ist es, eine untere Schranke für $q$ unter der Annahme zu etablieren, dass eine eingeschränkte OPN existiert.

Methodik
Die Autoren verwenden eine Kombination aus zahlentheoretischen Lemmata, computergestütztem Sieben und Abundanzanalyse, um bestimmte Konfigurationen von Primfaktoren auszuschließen.

1. Strukturelle Lemmata:

   • Modulare Beschränkungen: Die Arbeit nutzt Eigenschaften der multiplikativen Ordnung ($\text{ord}_s(n)$) und quadratischer Residuen, um die Werte der Primzahlen einzugrenzen. Beispielsweise beweist Lemma 6, dass die spezielle Primzahl $p$ die Bedingung $p \equiv 1 \pmod 3$ erfüllen muss.
   • Teilbarkeitregeln: Lemma 4 und Lemma 5 legen Bedingungen fest, unter denen eine Primzahl $s$ entweder $\sigma(n^q)$ oder $\sigma(t^v)$ teilt, basierend auf der Parität der Ordnungen und der Beziehung zwischen verschiedenen Primzahlen.
   • Ausschluss von Lösungen: Lemma 3 (abgeleitet von Bennett und Levin) besagt, dass $z^2 + z + 1 = r^t$ keine Lösung für Primzahlen $z, r$ und $t > 1$ besitzt. Dies wird verwendet, um die Anzahl der Primzahlen $s$ zu begrenzen, für die $\sigma(s^2)$ eine Potenz einer einzelnen Primzahl ist.

2. Fallunterscheidung bezüglich der Primzahl 3:
   Der Beweis des Haupttheorems wird in drei erschöpfende Fälle hinsichtlich des Exponenten der Primzahl 3 in $N$ unterteilt:

   • Fall 1: 3 ist kein Faktor. Die Autoren zeigen, dass, falls $3 \nmid N$, der Abundanzindex $\sigma(N)/N$ den Wert 2 nicht erreichen kann. Dies wird durch die Begrenzung des Beitrags „gewöhnlicher“ Komponenten (Primzahlen mit Exponent 2) und „sporadischer“ Komponenten mittels eines Faktorbauchs-Ansatzes (factor tree approach) und computergestützter Verifizierung kleiner Primzahlen erreicht.
   • Fall 2: 3 ist gewöhnlich ($3^2 \parallel N$). Unter Verwendung eines aus der Komponente $3^2$ abgeleiteten Faktorbauchs schließen die Autoren systematisch potenzielle merkliche Primzahlen ($n$) aus einer Menge $S = \{7, 13, 19, 31, 61, 97, 127, 331\}$ aus. Für jeden Kandidaten $n$ zeigen sie auf, dass die resultierende Konfiguration der erforderlichen Primfaktoren zu einer Abundanz führt, die strikt kleiner als 2 ist, oder einen Widerspruch erzeugt (z. B. die Anforderung von mehr als zwei Kopien von 3).
   • Fall 3: 3 ist merklich ($3^q \parallel N$). Dies ist der einzige verbleibende lebensfähige Fall. Hier verschiebt sich der Fokus auf die Ableitung einer unteren Schranke für $q$.

3. Computergestütztes Sieben:
   Um den Fall zu behandeln, in dem 3 merklich ist, nutzen die Autoren ein C++/GMP-Programm (loopless.cpp), um gewöhnliche Primzahlen zu sieben. Der Algorithmus verwaltet Mengen von Primzahlen, die nicht gewöhnlich sein können ($M_1$), und Primzahlen, die kongruent zu $1 \pmod 3$ sind und nicht $N$ teilen können ($M_2$). Das Programm iteriert durch Primzahlen, um den maximal möglichen Abundanzbeitrag gewöhnlicher Komponenten zu berechnen.

Wichtigste Ergebnisse

• Theorem 1: Wenn $N$ eine eingeschränkte ungerade perfekte Zahl ist, dann muss die merkliche Primzahl $n$ gleich 3 sein, und der merkliche Exponent $q$ erfüllt $q \ge 23.000.000.000$.
• Verbesserung der Schranken: Dieses Ergebnis verbessert die zuvor bekannte Schranke von $q \ge 16$, die aus einer Kombination früherer modularer Beschränkungen ($q \not\equiv 2 \pmod 3$, $q \neq 4, 6, 10, 12$) abgeleitet wurde.
• Reduktion auf $n=3$: Die Arbeit beweist, dass, falls eine eingeschränkte OPN existiert, die merkliche Primzahl zwingend 3 sein muss. Alle anderen Kandidaten für die merkliche Primzahl werden durch Abundanz-Widersprüche eliminiert.
• Ableitung der unteren Schranke: Durch den Nachweis, dass die kombinierte Abundanz der speziellen Komponente und der merklichen Komponente ($3^q$) zusammen mit dem maximal möglichen Beitrag gewöhnlicher Primzahlen (selbst mit über 46 Milliarden gewöhnlichen Primzahlen) den Wert 2 nicht erreicht, sofern $q$ nicht extrem groß ist, leiten die Autoren die Schranke $q \ge 23.000.000.000$ ab.

Bedeutung und Behauptungen
Die Arbeit behauptet, das Existenzproblem eingeschränkter ungerader perfekter Zahlen auf einen einzigen spezifischen Fall zu reduzieren: die merkliche Primzahl ist 3. Während die Autoren nicht behaupten, die Existenz von OPNs im Allgemeinen widerlegt zu haben, zeigen sie auf, dass das „eingeschränkte“ Szenario hochgradig restriktiv ist.

Die Autoren merken bescheiden an, dass ihre Schranke für $q$ durch den Einsatz fortgeschrittener Siebtheorie-Argumente wahrscheinlich um Größenordnungen verbessert werden kann. Sie betonen jedoch, dass die vollständige Widerlegung des Falls, in dem 3 merklich ist (und damit der Beweis, dass jede OPN mindestens zwei gerade Exponenten größer als 2 besitzen muss), „neue Ideen“ erfordert.

Die Arbeit schließt mit der Formulierung zweier offener Fragen bezüglich der Struktur von $\sigma(x^2)$ für eine Primzahl $x$:

1. Ob es eine Primzahl $x$ gibt, so dass $x^2 + x + 1$ quadratvoll (square-full) ist.
2. Ob es Primzahlen $x, y, p, r$ und ganze Zahlen $a > b > 0$ gibt, so dass $x^2 + x + 1 = p^a r$ und $y^2 + y + 1 = p^b r$ gilt.

Eine negative Antwort auf diese Fragen würde engere Beschränkungen für die möglichen Paare von Exponenten in der Faktorisierung von OPNs ermöglichen, was potenziell zu stärkeren Nichtexistenz-Resultaten führen könnte. Die Autoren stellen ihre Programme und Daten zur Verfügung, um die Forschung in dieser Richtung zu unterstützen.