🔢 mathematics

On the sign changes of $ψ(x)-x$

Die Arbeit verbessert die untere Schranke für die Anzahl der Vorzeichenwechsel des Fehlers $\psi(x)-x$ in der Primzahlsatz-Approximation, indem sie eine neue Dichteschätzung für die Nullstellen der zugehörigen $k$ -Funktion verwendet, die über $4\cdot10^{21}$ -mal genauer ist als frühere Abschätzungen.

Ursprüngliche Autoren: Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

Veröffentlicht 2026-03-17

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

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

Titel: Ein neues Maß für das Chaos der Primzahlen

Stellen Sie sich vor, die Primzahlen (2, 3, 5, 7, 11, ...) sind wie eine riesige, unendliche Menschenmenge, die sich durch die Zahlenstraße bewegt. Die Mathematiker haben eine Formel entwickelt, um vorherzusagen, wie viele Menschen an einem bestimmten Punkt stehen sollten. Das ist die Funktion $x$ . Aber wenn man die echten Primzahlen zählt (die Funktion $\psi(x)$ ), weicht die Realität immer ein wenig von der Vorhersage ab.

Diese kleine Abweichung nennt man den „Fehler". Und hier wird es spannend: Dieser Fehler ist nicht einfach nur eine kleine Zahl, die immer größer wird. Er wackelt. Er springt mal nach oben, mal nach unten. Er „wechselte das Vorzeichen".

Das Problem: Wie oft wackelt es?
Die Autoren dieses Papers fragen sich: Wenn wir bis zu einer riesigen Zahl $T$ zählen, wie oft wechselt dieser Fehler dann die Richtung? Wie oft sagt die Realität „Ich bin mehr als erwartet" und dann kurz darauf „Nein, ich bin weniger"?

Bisher wussten wir, dass es sehr oft passiert. Aber wie oft genau? Die Autoren haben jetzt eine neue, viel genauere Schätzung gefunden. Sie haben bewiesen, dass die Anzahl dieser Wechsel mindestens so groß ist wie eine bestimmte Konstante, die mit dem tiefsten „Tiefpunkt" der Riemannschen Zeta-Funktion (einem der berühmtesten Rätsel der Mathematik) zusammenhängt.

Die neue Methode: Ein Fliesenleger-Verfahren
Wie haben sie das herausgefunden? Das ist der kreativste Teil.

Stellen Sie sich vor, Sie versuchen, ein riesiges, dunkles Zimmer (das ist der Bereich, in dem wir nach Lösungen suchen) mit Fliesen auszulegen.

Der alte Weg: Früher haben die Mathematiker versucht, das Zimmer mit einem sehr starren, quadratischen Raster zu vermessen. Wenn eine Fliese nicht perfekt passte, war das Ergebnis ungenau. Sie mussten vorsichtig sein und nahmen nur einen kleinen Teil des Raumes in Anspruch. Das ergab eine sehr kleine Zahl für die Wechsel.
Der neue Weg (Das „Tiling"-Verfahren): Die Autoren haben eine neue Technik entwickelt, die sie „Tiling-Methode" (Fliesenlegemethode) nennen. Statt starrer Quadrate nutzen sie eine Art magnetisches Gitter.

Stellen Sie sich vor, Sie haben eine Menge kleiner Magnete (die Nullstellen der Funktion). Wenn Sie diese Magnete in einem bestimmten Muster anordnen, finden Sie heraus, dass sie sich wie ein riesiges, dichtes Netz verhalten. Dieses Netz ist so fein, dass es fast den gesamten Raum ausfüllt, ohne Lücken zu lassen.

Durch dieses „dichte Netz" können sie beweisen, dass es viel mehr „Passagen" gibt, durch die der Fehler seine Richtung ändern kann, als man je gedacht hätte. Es ist, als würden sie ein Gitternetz über einen Ozeum spannen und feststellen: „Aha! Es gibt nicht nur ein paar kleine Inseln, sondern eine ganze Kette von Inseln, die wir vorher übersehen haben!"

Die Werkzeuge: Ein digitaler Kompass
Um dieses Gitter zu bauen, haben die Autoren einen speziellen Algorithmus benutzt (eine Art LLL-Algorithmus), der wie ein extrem präziser Kompass funktioniert. Er sucht nach den perfekten Kombinationen von Zahlen, um das Gitter so dicht wie möglich zu machen. Sie haben dabei eine Rechenleistung genutzt, die über 4 Billionen Mal besser ist als frühere Versuche.

Das Ergebnis: Ein neuer Rekord
Das Ergebnis ist, dass die Anzahl der Vorzeichenwechsel viel größer ist als bisher angenommen.
Die Formel im Papier sieht kompliziert aus, aber die Botschaft ist einfach:
Die Primzahlen sind noch chaotischer und dynamischer, als wir dachten. Der Fehler in unserer Vorhersage dreht sich viel häufiger um, als die alten Theorien zuließen.

Warum ist das wichtig?
Das ist wie bei einem Wetterbericht. Früher sagten wir: „Es regnet manchmal." Jetzt sagen wir: „Es regnet genau 14,13-mal pro Stunde, und wir wissen genau, warum."
Dieses Papier verbessert unser Verständnis davon, wie die Primzahlen „atmen". Es zeigt, dass die Struktur der Zahlen tiefer und komplexer ist, als wir es uns vorgestellt haben, und liefert einen neuen, sehr starken Beweis für die tiefe Verbindung zwischen den Primzahlen und den Nullstellen der Riemannschen Zeta-Funktion.

Zusammenfassung in einem Satz:
Die Autoren haben mit einer neuen „Fliesenlegemethode" und supergenauen Computerberechnungen bewiesen, dass die Primzahlen ihre Vorhersagbarkeit viel häufiger „verlieren" und wiederfinden, als wir es je für möglich gehalten haben.

1. Problemstellung und Zielsetzung

Das zentrale Problem der Arbeit betrifft die untere Schranke für $V(T)$ , die Anzahl der Vorzeichenwechsel des Fehlerterms $\psi(x) - x$ im Primzahlsatz im Intervall $[1, T]$ für große $T$ .
Der Primzahlsatz besagt, dass $\psi(x) \sim x$ , wobei $\psi(x) = \sum_{n \le x} \Lambda(n)$ die Chebyshev-Funktion ist. Die Untersuchung der Vorzeichenwechsel dieses Fehlerterms ist entscheidend für das Verständnis der Oszillationen der Primzahlverteilung.

Das Ziel der Autoren ist es, die bisher bekannte untere Schranke für den Grenzwert
$\kappa_0 := \liminf_{T \to \infty} \frac{V(T)}{\log T}$
signifikant zu verbessern. Bisherige Ergebnisse (u.a. von Ingham, Kaczorowski, Morrill et al.) hatten die Schranke nur marginal über den Wert $\gamma_0 / \pi$ gehoben, wobei $\gamma_0 \approx 14.13$ die Imaginärteil der niedrigsten nicht-trivialen Nullstelle der Riemannschen Zeta-Funktion ist.

Hauptresultat (Satz 1):
Die Autoren beweisen:
$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$
Dies stellt eine massive Verbesserung gegenüber vorherigen Schätzungen dar (z.B. $\gamma_0/\pi + 1.867 \cdot 10^{-30}$ ).

2. Methodik und theoretischer Rahmen

Die Beweismethode basiert auf der Analyse der Nullstellen einer assoziierten fastperiodischen Funktion, der sogenannten $k$ -Funktion (bzw. ihrer Normalisierung $F^*(z)$ ).

2.1 Verbindung zu Nullstellen der $k$ -Funktion

Unter der Annahme der Riemannschen Hypothese (RH) wird $\kappa_0$ mit der Dichte der Nullstellen der Funktion
$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$
im oberen Halbebene $H$ verknüpft. Hier sind $\rho_n = \frac{1}{2} + i\gamma_n$ die nicht-trivialen Nullstellen der Zeta-Funktion.
Ein Satz von Kaczorowski (2011) zeigt, dass $\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa$ , wobei $\kappa$ die Dichte der Nullstellen einer bestimmten Normalisierung von $F^*$ beschreibt. Um Satz 1 zu beweisen, muss also eine untere Schranke für $\kappa$ gefunden werden.

2.2 Das Prinzip der Verschiebung (Shift-Prinzip)

Die Grundidee besteht darin, eine Nullstelle $\xi_0$ einer Partialsumme $F_N(z)$ (für $N=21$ ) zu finden und durch die fastperiodische Natur der Funktion zu zeigen, dass es eine Folge von „Kopien" dieser Nullstelle gibt.
Konkret wird ein Kontur $z_1(t)$ um eine Nullstelle der Partialsumme $F_N^\eta(z)$ gelegt. Durch Verschiebung des Arguments um $\tau$ (also $z \to z + \tau$ ) soll gezeigt werden, dass die Funktion $F(z)$ innerhalb des verschobenen Konturs eine Nullstelle besitzt, wenn die Verschiebung $\tau$ bestimmte diophantische Bedingungen erfüllt.

2.3 Zwei neue methodische Durchbrüche

Die Autoren führen zwei wesentliche Neuerungen ein, die den großen Fortschritt ermöglichen:

Flexiblere hinreichende Bedingung für Nullstellen (Proposition 1):
Anstatt eine uniforme Schranke für die Normen $\|\frac{\omega_n \tau}{2\pi}\|$ zu fordern, verwenden die Autoren eine gewichtete Summe. Sie erlauben das Verschieben der Phasen der Summanden um beliebige Werte $\eta_n$ und definieren eine Funktion $w_n$ , die die Bedingung für das Vorhandensein einer Nullstelle im verschobenen Kontur beschreibt. Dies führt zu einer viel größeren Menge zulässiger Verschiebungen $\tau$ .
Die „Tiling-Methode" (Kachel-Methode) zur Dichteschätzung (Theorem 3):
Das Hauptproblem bestand darin, die Dichte der $\tau$ zu schätzen, die die Bedingung $\sum w_n(\|\frac{\omega_n \tau - \eta_n}{2\pi}\|) \le 1$ erfüllen.
- Klassischer Ansatz: Nutzung des Minkowski'schen Gitterpunktsatzes auf konvexen Mengen, was zu einer sehr schlechten Schätzung ( $2^{-N} \text{vol}(A)$ ) führte.
- Neuer Ansatz: Die Autoren füllen den Hyperwürfel $[-\frac{1}{2}, \frac{1}{2}]^N$ mit einem dichten Gitter von erreichbaren Punkten (Kosetten). Sie nutzen eine modifizierte Version des LLL-Algorithmus (Lenstra-Lenstra-Lovász), um kleine ganzzahlige Linearkombinationen der Frequenzen zu finden.
- Statt die Menge $A$ durch ihre konvexe Hülle zu approximieren, betrachten sie eine innere Teilmenge $A' \subset A$ , die durch „Kacheln" (Tiling) mit dem Gitter fast vollständig ausgefüllt wird. Dies erlaubt es, die Dichte der Nullstellen fast auf das theoretische Maximum (das Volumen von $A$ ) zu heben, ohne die Linearunabhängigkeit der $\gamma_n$ über $\mathbb{Q}$ streng voraussetzen zu müssen.

3. Technische Umsetzung und Berechnungen

Der Beweis ist stark rechnergestützt und erfordert eine rigorose numerische Verifikation:

Parameterwahl: Es wird $N=21$ gewählt. Die Kontur $z_1(t)$ ist ein spezieller, stückweise linearer Weg im komplexen Raum, der um die höchstgelegene Nullstelle einer modifizierten Partialsumme $G_N(z)$ (mit negierten Phasen) gelegt wird.
Rigorose Arithmetik: Alle Berechnungen wurden mit dem Computer-Algebra-System Mathematica unter Verwendung von CenteredInterval-Objekten (basierend auf der ARB-Bibliothek) durchgeführt, um Rundungsfehler strikt zu kontrollieren.
LLL-Algorithmus: Ein modifizierter LLL-Algorithmus (Algorithmus 1) wurde eingesetzt, um eine Basis $\{v_k\}$ für das Gitter zu finden, die die Anforderungen von Proposition 2 erfüllt. Dabei wurde ein ungewöhnlicher Parameter $\delta = 1/4$ verwendet, der in der Praxis effizienter war als der Standardwert.
Volumenberechnung: Das Volumen der zulässigen Menge $A'$ wurde durch Diskretisierung und Summation über ein Gitter (Lemma 3) abgeschätzt.

4. Ergebnisse

Die Kombination der analytischen Abschätzungen und der rigorosen numerischen Berechnungen führt zu:
$\kappa \ge \frac{1}{2\delta} \text{vol}(A') > \frac{1}{120}$
(wobei $\delta$ die Breite des Konturs ist).
Daraus folgt direkt:
$\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa > \frac{\gamma_0}{\pi} + \frac{1}{60}$

Der Wert $1/60 \approx 0.0166$ ist um viele Größenordnungen größer als die vorherigen Verbesserungen in der Größenordnung von $10^{-30}$ .

5. Bedeutung und Fazit

Durchbrechen der Barriere: Das Ergebnis durchbricht die jahrzehntelange Barriere von $\gamma_0/\pi$ signifikant. Es zeigt, dass die Oszillationen des Primzahlfehlers viel häufiger auftreten, als bisher bewiesen.
Neue Methoden: Die vorgestellte „Tiling-Methode" in Kombination mit dem LLL-Algorithmus zur Schätzung der Dichte von Nullstellen fastperiodischer Funktionen ist ein wichtiger methodischer Fortschritt, der auch für andere Probleme in der analytischen Zahlentheorie anwendbar sein könnte.
Rolle der Riemannschen Hypothese: Der Beweis geht von der Gültigkeit der Riemannschen Hypothese für die ersten $3 \cdot 10^{12}$ Nullstellen aus (was bekannt ist). Falls die RH falsch wäre, wäre das Ergebnis ohnehin noch stärker, da die Dichte der Nullstellen dann noch höher wäre.
Reproduzierbarkeit: Die Autoren stellen den vollständigen Code und die Daten (Mathematica-Notebooks) zur Verfügung, was die Transparenz und Überprüfbarkeit der komplexen numerischen Beweisschritte sicherstellt.

Zusammenfassend liefert dieser Artikel einen der stärksten bekannten unteren Schranken für die Vorzeichenwechsel des Primzahlfehlers und demonstriert die Kraft moderner computergestützter mathematischer Beweise in Kombination mit tiefgreifender analytischer Theorie.