On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares

Die Arbeit beweist, dass für jede ganze Zahl $n \geq 1$ das Intervall $(n^2, (n+1)^2)$ eine ganze Zahl mit höchstens drei Primfaktoren enthält, wodurch das vorherige Ergebnis von Dudek und Johnston, das vier Primfaktoren erforderte, verbessert wird.

Das Wesentliche

Hier ist eine einfache Erklärung der wissenschaftlichen Arbeit von Peter Campbell, verpackt in eine Geschichte mit Analogien, damit jeder sie verstehen kann.

Die große Suche nach den „Fast-Primzahlen" zwischen den Quadraten

Stellen Sie sich die Zahlenreihe als eine lange, endlose Straße vor. Auf dieser Straße gibt es besondere Häuser, die wir Primzahlen nennen. Diese Häuser sind sehr einsam; sie haben keine Nachbarn, die sie teilen können (außer 1 und sich selbst).

Ein berühmtes Rätsel aus der Mathematik (die Legendre-Vermutung) fragt sich: Wenn wir zwischen zwei aufeinanderfolgenden Quadratzahlen stehen – also zwischen dem Haus Nr. $n^2$ und dem Haus Nr. $(n+1)^2$ – gibt es dann immer mindestens ein solches einsames Primzahl-Haus?

Das Problem ist: Niemand hat das bisher beweisen können. Es ist, als würde man versuchen, in einem dichten Wald immer ein einzelnes, isoliertes Bäumchen zu finden, aber der Wald ist so dicht, dass man es nicht garantieren kann.

Der neue Ansatz: Nicht perfekt, aber fast perfekt

Da es so schwer ist, ein perfektes einsames Haus (eine Primzahl) zu finden, haben die Mathematiker einen cleveren Trick angewendet. Sie haben gesagt: „Okay, wenn wir kein einsames Haus finden können, akzeptieren wir ein Haus, das nur sehr wenige Nachbarn hat."

In der Mathematik nennen wir diese „Fast-Primzahlen".

• Ein Haus mit 1 Nachbarn ist eine Primzahl.
• Ein Haus mit 2 Nachbarn ist das Produkt aus zwei Primzahlen (z. B. $6 = 2 \times 3$).
• Ein Haus mit 3 Nachbarn ist das Produkt aus drei Primzahlen.

Die Frage lautet also: Können wir beweisen, dass zwischen zwei Quadratzahlen immer ein Haus steht, das höchstens 3 Nachbarn hat?

Bis vor kurzem war die beste Antwort: „Ja, wir finden immer ein Haus mit höchstens 4 Nachbarn."
Peter Campbell hat nun bewiesen: „Nein, wir können es besser! Wir finden immer ein Haus mit höchstens 3 Nachbarn."

Wie hat er das gemacht? (Die zwei Werkzeuge)

Campbell hat zwei verschiedene Werkzeuge kombiniert, um dieses Rätsel zu lösen. Man kann sich das wie eine große Baustelle vorstellen, die in zwei Zonen unterteilt ist:

1. Die kleine Baustelle (Der Computer-Check)

Für die ersten paar Millionen Zahlen (bis zu einem riesigen, aber endlichen Wert) hat Campbell nicht gerechnet, sondern gemessen.

• Die Analogie: Stellen Sie sich vor, Sie wollen prüfen, ob in jedem kleinen Dorf zwischen zwei großen Städten ein bestimmter Typ von Haus existiert. Anstatt alles theoretisch zu berechnen, fährt ein Lieferwagen (der Computer) einfach durch alle diese Dörfer und zählt die Häuser.
• Campbell hat bewiesen, dass für alle Zahlen bis zu einem bestimmten Punkt ($n^2 \le 10^{31}$) ein solches Haus mit höchstens 3 Nachbarn tatsächlich existiert. Er hat dabei sogar einen cleveren Trick benutzt: Wenn er kein einfaches Haus fand, konstruierte er künstlich ein Haus aus zwei Primzahlen (ein „Halb-Primzahl-Haus"), das genau in den Lücken zwischen den Primzahlen passte.

2. Die große Baustelle (Der mathematische Filter)

Für die unendlich großen Zahlen, die der Computer nicht mehr abdecken kann, braucht man eine andere Methode. Man kann nicht jedes einzelne Haus zählen. Stattdessen benutzt man einen Sieb.

• Die Analogie: Stellen Sie sich vor, Sie haben einen riesigen Haufen Sand (alle Zahlen zwischen den Quadraten). Sie wollen die „schlechten" Körner (Zahlen mit vielen Nachbarn) aussortieren und die „guten" Körner (Zahlen mit wenigen Nachbarn) behalten.
• Campbell hat ein sehr feines Sieb entwickelt (basierend auf einer Methode von Richert). Dieses Sieb ist so konstruiert, dass es die Zahlen mit vielen Faktoren herausfiltert.
• Der Clou: Er hat das Sieb so verfeinert, dass es nicht nur grobe Körner herauslässt, sondern sehr genau sortiert. Frühere Siebe waren etwas „löchriger" und ließen nur zu, dass man 4 Nachbarn garantierte. Campbells neues Sieb ist so präzise, dass es beweist, dass mindestens ein Korn mit nur 3 Nachbarn übrig bleibt.

Warum ist das wichtig?

Man könnte fragen: „Was bringt es uns, wenn wir nur 3 Nachbarn statt 4 haben?"

In der Welt der Mathematik ist das ein riesiger Schritt.

• Es zeigt, dass die Zahlen zwischen den Quadraten nicht so chaotisch sind, wie man dachte. Selbst wenn es keine echten Primzahlen gibt, gibt es immer „nahezu" Primzahlen.
• Es ist wie beim Suchen nach einem perfekten Diamanten in einem Fluss. Wenn man keinen perfekten Diamanten findet, ist es schon ein großer Erfolg, wenn man beweisen kann, dass man immer einen fast perfekten Stein findet.

Zusammenfassung

Peter Campbell hat bewiesen, dass zwischen jeder zwei aufeinanderfolgenden Quadratzahlen (wie zwischen 100 und 121, oder zwischen 1.000.000 und 1.000.000 + 2000 + 1) immer eine Zahl existiert, die sich nur aus maximal drei Primzahlen zusammensetzt.

Er hat dies erreicht, indem er:

1. Einen riesigen Teil der Zahlen einfach durchsucht hat (Computerarbeit).
2. Für den Rest ein besseres mathematisches Sieb gebaut hat, das genauer filtert als alle vorherigen.

Es ist ein Beweis dafür, dass wir die Verteilung der Zahlen immer besser verstehen, auch wenn das ultimative Ziel (immer eine echte Primzahl zu finden) noch ein wenig weiter entfernt ist.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers auf Deutsch:

Titel

Über die Existenz von ganzen Zahlen mit höchstens 3 Primfaktoren zwischen jedem Paar aufeinanderfolgender Quadrate
(Original: On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares)
Autor: Peter Campbell

---

1. Problemstellung und Hintergrund

Das zentrale Problem der Arbeit ist eine Verallgemeinerung der Legendre-Vermutung, die besagt, dass zwischen zwei aufeinanderfolgenden Quadratzahlen $n^2$ und $(n+1)^2$ stets eine Primzahl liegt. Obwohl diese Vermutung für kleine $n$ verifiziert ist, bleibt sie für alle $n \ge 1$ unbewiesen, selbst unter der Annahme der Riemannschen Vermutung.

Um Fortschritte zu quantifizieren, wird das Problem oft relaxiert, indem man statt Primzahlen fast-prime Zahlen (fast-primes) betrachtet. Eine Zahl $m$ hat genau $k$ Primfaktoren (mit Vielfachheit gezählt), wenn $\Omega(m) = k$.

• Ziel: Bestimmen, wie klein $k$ gewählt werden kann, sodass für jedes $n \ge 1$ ein $a \in (n^2, (n+1)^2)$ mit $\Omega(a) \le k$ existiert.
• Vergangene Ergebnisse:
  • Brun (1920): $k=11$ für hinreichend große $n$.
  • Chen (1970er): $k=2$ für hinreichend große $n$.
  • Dudek und Johnston (2023): Zeigten explizit für alle $n \ge 1$, dass ein $a$ mit $\Omega(a) \le 4$ existiert.

Die vorliegende Arbeit zielt darauf ab, diese Schranke von 4 auf 3 zu senken.

2. Methodik

Der Beweis kombiniert zwei Hauptansätze: eine computergestützte Verifikation für kleine Werte von $n$ und einen expliziten siebtheoretischen Beweis für große Werte von $n$.

A. Computergestützte Verifikation (Kleines $n$)

Für den Bereich $n^2 \le 10^{31}$ wird die Existenz einer Zahl mit höchstens 2 Primfaktoren ($\Omega(a) \le 2$) nachgewiesen.

• Basis: Sorenson und Webster haben bereits verifiziert, dass für $n \le 7,05 \cdot 10^{13}$ das Intervall eine Primzahl enthält.
• Erweiterung: Für $n > 7,05 \cdot 10^{13}$ bis $n^2 \le 10^{31}$ konstruiert Campbell explizit Halbprieme (Produkte aus zwei Primzahlen $p \cdot q$) im Intervall.
• Technik: Durch Wahl eines geeigneten Primfaktors $p$ wird das Intervall für $q$ so skaliert, dass seine Länge die bekannte Obergrenze für Primzahllücken (aktuell 1724 für Primzahlen unter $6,8 \cdot 10^{19}$) überschreitet. Dies garantiert die Existenz einer Primzahl$q$ im skalierten Intervall.

B. Explizites Siebverfahren (Großes $n$)

Für $n^2 \ge 10^{31}$ wird ein gewichtetes lineares Sieb (Weighted Linear Sieve) angewendet.

• Framework: Die Arbeit adaptiert den Ansatz von Johnston, Sorenson, Thomas und Webster (der ursprünglich für Kuben $(n^3, (n+1)^3)$ entwickelt wurde) auf das Quadrat-Intervall $(n^2, (n+1)^2)$.
• Gewichtung: Es werden Richerts logarithmische Gewichte verwendet, die sich in numerischen Tests als überlegen gegenüber den früheren Kuhn-Gewichten erwiesen haben.
• Anpassungen für Quadrate:
  • Die Intervalllänge ist proportional zu $\sqrt{N}$ (statt $N^{2/3}$ bei Kuben).
  • Dies erfordert eine Anpassung der Skalierungsfaktoren in den Sieb-Parametern ($\alpha$, $w$, $D_p$).
  • Die Obergrenzen für die Summen werden explizit in Vielfachen von $\sqrt{N}/\log X$ statt $N^{2/3}/\log X$ ausgedrückt.
• Schlüssellemmata:
  • Lemma 2.2: Verwendung des expliziten linearen Siebs von Bordignon, Johnston und Starichkova.
  • Lemma 3.2 & 3.5: Herleitung einer unteren Schranke für die gewichtete Siebsumme unter Berücksichtigung der Verluste durch Quadrate von Primzahlen ($p^2$) im relevanten Bereich.
  • Optimierung: Die Parameter $k, k_1, k_2, \alpha, \varepsilon$ werden numerisch optimiert, um eine positive untere Schranke für die Anzahl der gesuchten Zahlen zu garantieren.

3. Wichtige Beiträge und Ergebnisse

Hauptresultat (Satz 1.1)

Für jede ganze Zahl $n \ge 1$ existiert eine ganze Zahl $a$ im Intervall $(n^2, (n+1)^2)$, sodass:
$$\Omega(a) \le 3$$
Das bedeutet, dass zwischen jedem Paar aufeinanderfolgender Quadratzahlen mindestens eine Zahl liegt, die entweder eine Primzahl, ein Produkt aus zwei Primzahlen oder ein Produkt aus drei Primzahlen ist.

Technische Verbesserungen

1. Verbesserung der Schranke: Reduktion der bekannten Schranke von $\Omega(a) \le 4$ (Dudek/Johnston) auf $\Omega(a) \le 3$.
2. Explizite Konstanten: Der Beweis liefert vollständig explizite Grenzen und Parameter, die für alle $n \ge 1$ gelten, nicht nur asymptotisch.
3. Anpassung des Sieb-Frameworks: Erfolgreiche Übertragung der Richert-Gewichte und des Kuben-Intervall-Frameworks auf das schwierigere Quadrat-Intervall, was aufgrund der kürzeren Intervalllänge ($\sim 2\sqrt{n}$) rechnerisch anspruchsvoller ist.
4. Hybrider Beweis: Nahtlose Kombination von extremen Berechnungen (bis $10^{31}$) mit analytischen Abschätzungen.

4. Signifikanz und Ausblick

• Analytische Zahlentheorie: Das Ergebnis ist ein bedeutender Schritt in Richtung der Legendre-Vermutung. Es zeigt, dass die Verteilung von fast-prime Zahlen in sehr kurzen Intervallen (Länge $\sim 2\sqrt{n}$) gut kontrolliert werden kann.
• Methodische Grenzen: Der Autor weist darauf hin, dass eine weitere Verbesserung auf $\Omega(a) \le 2$ (also Primzahlen oder Produkte aus zwei Primzahlen) mit dem aktuellen Framework wahrscheinlich nicht erreichbar ist.
  • Der Beweis basiert auf Typ-I-Informationen im linearen Sieb.
  • Für $\Omega(a) \le 2$ wären wahrscheinlich Typ-II-Informationen (oder komplexere Siebstrukturen) sowie eine noch weitergehende computergestützte Verifikation im kleinen Bereich notwendig, um die Fehlerterme zu kontrollieren.
• Reproduzierbarkeit: Durch die Bereitstellung aller expliziten Konstanten und Parameter (z. B. $k_1=8, k_2=3.17, \alpha=0.06$) ist der Beweis für weitere Untersuchungen und Verifikationen zugänglich.

Zusammenfassend stellt dieses Papier einen wesentlichen Fortschritt in der Untersuchung der Verteilung von fast-prime Zahlen in kurzen Intervallen dar und verbessert die besten bekannten expliziten Ergebnisse für das Legendre-Intervall signifikant.