Die Legendre-Vermutung, eine der prominentesten ungelösten Fragen der analytischen Zahlentheorie, behauptet, dass zwischen jedem aufeinanderfolgenden Quadrat \(n^2\) und \((n+1)^2\) mindestens eine Primzahl existiert. Obwohl die Vermutung seit über einem Jahrhundert besteht und durch starke numerische Evidenz gestützt wird, bleibt sie bis heute unbewiesen. Dieser Bericht analysiert den aktuellen Stand der Forschung, die algorithmischen Fortschritte, die theoretischen Hürden und die kritischen Stimmen, die die Vermutung umstrichen.

Formale Definition und Intuition

Die Legendre-Vermutung lässt sich formal als \(n^2 < p < (n+1)^2\) für eine Primzahl \(p\) und alle positiven ganzen Zahlen \(n > 0\) ausdrücken. Heuristisch basiert die Plausibilität der Vermutung auf dem Primzahlsatz, der die Dichte von Primzahlen in der Nähe einer Zahl \(x\) ungefähr bei \(1/\ln(x)\) beschreibt. Für das Intervall zwischen \(n^2\) und \((n+1)^2\), dessen Länge \(2n+1\) beträgt, wird die erwartete Anzahl an Primzahlen grob mit \(n/\ln(n)\) abgeschätzt. Da dieser Wert für wachsendes \(n\) gegen Unendlich strebt, erscheint die Existenz mindestens einer Primzahl statistisch nahezu gewiss. Dennoch bleibt Statistik kein Beweis; sie schließt nicht aus, dass es unendlich viele Ausnahmen geben könnte, auch wenn diese extrem unwahrscheinlich wären.

Empirischer Stand

Der empirische Stand der Dinge hat sich in den letzten Jahren dramatisch verbessert. Neue algorithmische Fortschritte haben die Reichweite der Verifikation exponentiell erweitert. Forscherteams haben spezialisierte Algorithmen entwickelt, die auf dem Cramér-Modell basieren und parallele Rechenarchitekturen nutzen. Durch die Kombination von trial division, starken Pseudoprüfungen und effizienten Siebverfahren konnte die Vermutung für alle \(n\) bis zu einem Wert von \(3,33 \cdot 10^{13}\) bestätigt werden. In einigen Publikationen wird sogar eine Verifikation bis \(N = 7,05 \cdot 10^{13}\) behauptet. Diese Berechnungen erforderten immense Ressourcen; so dauerte die Verifikation auf Intel Xeon Phi Prozessoren mit 256 Kernen etwa sechs Monate. Die numerische Evidenz ist somit überwältigend: Bisher wurde kein Gegenbeispiel gefunden, selbst bei Zahlen mit bis zu 27 Stellen.

Theoretische Hürden

Dennoch bleibt der theoretische Beweis aus. Ein zentrales Hindernis liegt in der Natur der Primzahllücken. Während der Primzahlsatz die durchschnittliche Verteilung beschreibt, verlangt die Legendre-Vermutung eine garantierte Existenz in jedem einzelnen Intervall. Große Primzahllücken sind zwar selten, aber ihre theoretische Möglichkeit widerspricht nicht dem asymptotischen Verhalten des Primzahlsatzes. Kritiker und analytische Zahlentheoretiker weisen darauf hin, dass bei der Untersuchung kurzer Intervalle die Fehlerterme in Abschätzungen – etwa durch die Riemannsche Zeta-Funktion – in derselben Größenordnung liegen können wie der Hauptterm. Dies erschwert einen strikten Positivitätsbeweis erheblich.

Verwandte Vermutungen

In diesem Kontext ist die Rolle verwandter Vermutungen entscheidend. Die Oppermannsche Vermutung, welche behauptet, dass zwischen \(n(n-1)\) und \(n(n+1)\) sowie zwischen \(n(n+1)\) und \(n(n+2)\) jeweils eine Primzahl liegt, ist stärker als die Legendre-Vermutung. Sollte sie bewiesen werden, würde dies Legendres Konjektur implizieren. Ebenso verhält es sich mit der starken Andrica-Vermutung, welche für alle Primzahlen \(p < 2^{64}\) numerisch bestätigt wurde und logisch die Oppermann-, Legendre- und Brocard-Vermutungen einschließt. Diese Hierarchie zeigt, dass die Lösung von Legendres Problem wahrscheinlich tief in der Struktur der Primzahlverteilung verwurzelt ist und nicht isoliert betrachtet werden kann.

Kritische Stimmen und Pseudowissenschaft

Ein wesentlicher Teil der aktuellen Debatte dreht sich um behauptete Beweise, die im Internet kursieren. Eine beträchtliche Anzahl von Preprints auf Plattformen wie viXra oder in nicht-gewerbten Journals behauptet, die Legendre-Vermutung gelöst zu haben. Oft werden dabei Argumente herangezogen, die auf der Irrationalität von Quadratwurzeln oder falschen Zuordnungen zur Paritätsvermutung basieren. Diese Quellen sind mathematisch umstritten und weisen häufig logische Fehler auf, wie etwa die Verwechslung von Wahrscheinlichkeit mit Notwendigkeit. Es ist wichtig zu betonen: Dass der Primzahlsatz eine hohe Dichte vorhersagt, bedeutet nicht, dass in jedem spezifischen Intervall zwingend eine Primzahl liegt. Die Behauptung, einfache elementare Argumente könnten das Problem lösen, ignoriert die historische Schwierigkeit ähnlicher Probleme wie die Goldbach-Vermutung oder die Riemannsche Hypothese. Spekulationen darüber, dass ein Beweis der Legendre-Vermutung automatisch die Riemannsche Hypothese beweisen würde, sind ebenfalls unbewiesen und umstritten; es gibt keine etablierte logische Implikation in diese Richtung.

Historische Hintergründe

Trotz der massiven numerischen Evidenz muss das Briefing die Gegenargumente substanziell aufgreifen. Die mathematische Gemeinschaft betrachtet die Vermutung weiterhin als offen. Ein entscheidendes historisches Argument ist Bertrand’s Postulat (bewiesen von Tschebyschow), welches garantiert, dass zwischen \(n\) und \(2n\) immer eine Primzahl liegt. Dies ist jedoch eine schwächere Aussage, da das Intervall \([n, 2n]\) linear wächst, während das Intervall der Legendre-Vermutung quadratisch skaliert (\(n^2\) bis \((n+1)^2\)). Die relative Länge des Intervalls im Verhältnis zur Größe der Zahlen nimmt ab, was die Wahrscheinlichkeit einer Lücke theoretisch erhöht. Zudem gibt es keine physikalischen Messwerte zur Primzahlverteilung; es handelt sich um ein rein abstraktes mathematisches Konzept. Der Mangel an einem akzeptierten Beweis seit über 150 Jahren ist selbst ein starkes Indiz für die Komplexität des Problems. Behauptungen, die Vermutung sei widerlegt oder als unabhängig beweisbar klassifiziert, finden in der seriösen Literatur keine Unterstützung und basieren oft auf rhetorischen Fragen ohne inhaltliche Substanz.

Der Einfluss von Yitang Zhang

Ein weiterer wichtiger Aspekt ist die Arbeit von Yitang Zhang aus dem Jahr 2013. Zhang bewies bahnbrechend, dass es unendlich viele Primzahlpärchen mit einer begrenzten Differenz gibt (ursprünglich weniger als 70 Millionen, später auf 246 reduziert). Dieser Durchbruch revolutionierte das Verständnis von Primzahllücken und zeigte, dass Lücken nicht beliebig groß werden müssen. Allerdings beweist dies nicht die Legendre-Vermutung. Zhangs Ergebnis betrifft die minimale Lücke (dass sie klein wird), während Legendres Vermutung eine maximale Lücke begrenzt (dass sie nie zu groß wird, um ein Intervall leer zu lassen). Die beiden Probleme sind komplementär, aber nicht identisch.

Fazit

Zusammenfassend lässt sich festhalten, dass die Legendre-Vermutung numerisch extrem robust ist und durch moderne Algorithmen bis in den Bereich von \(10^{13}\) bestätigt wurde. Heuristische Modelle wie das von Cramér unterstützen ihre Gültigkeit, aber sie widerlegen nicht die Möglichkeit seltener, großer Lücken. Die vielen behaupteten Beweise sind methodisch fehlerhaft oder beruhen auf unbewiesenen Prämissen. Die Vermutung bleibt ein offenes Problem der Landau-Reihe. Offene Fragen bleiben unter anderem, ob eine Abschwächung der Vermutung (z.B. die Existenz von Semiprimzahlen nach Chen Jingrun) leichter zu beweisen ist oder ob die Riemannsche Hypothese tatsächlich stärkere Schranken für Primzahllücken liefern könnte, als heute bekannt sind. Bis ein rigoroser Beweis vorliegt, bleibt die Legendre-Vermutung eine der elegantesten und widerstandsfähigsten Spekulationen der Mathematik.

— Twight Sterling, Sigil & Spark