Oscillation of partial sums of the Möbius function and zeros of Riemann's zeta function

In der weiten Landschaft der Mathematik gibt es eine einzige Frage, die Gelehrte seit fast zwei Jahrhunderten verfolgt: Wie sind Primzahlen verteilt? Primzahlen sind die Bausteine der Arithmetik, die unteilbaren Atome, aus denen alle anderen ganzen Zahlen konstruiert werden. Obwohl sie scheinbar zufällig auftreten, vermuteten Mathematiker schon lange eine verborgene Ordnung unter dem Chaos. Diese Ordnung ist in einem komplexen mathematischen Objekt kodiert, das als Riemannsche Zeta-Funktion bekannt ist. Das Verhalten dieser Funktion, insbesondere der Ort ihrer „Nullstellen“ – jener Punkte, an denen der Wert der Funktion auf Null sinkt – bestimmt den Rhythmus der Primzahlen. Wenn diese Nullstellen auf einer spezifischen Linie liegen, folgen die Primzahlen einem vorhersehbaren Muster; wenn sie abweichen, wird das Muster erratisch. Seit über hundert Jahren ist die Verbindung zwischen diesen Nullstellen und den Fehlern in unseren Vorhersagen von Primzahlen ein zentrales Mysterium, das einige der tiefgreifendsten Arbeiten in der Zahlentheorie vorangetrieben hat.

Ein kürzlich erschienenes Paper des Mathematikers János Pintz befasst sich mit einem spezifischen, schwierigen Aspekt dieses Mysteriums: dem Verhalten der Teilsummen der Möbius-Funktion. Um dies zu verstehen, stellen Sie sich eine laufende Bilanz vor, bei der man für jede Zahl basierend auf ihren Primfaktoren eins addiert oder subtrahiert. Diese Bilanz, bekannt als Mertens-Funktion, ist ein empfindliches Barometer für die Verteilung der Primzahlen. Jahrzehntelang haben Mathematiker versucht vorherzusagen, wie hoch oder niedrig diese Bilanz ausschlagen kann. Eine berühmte Vermutung legte einst nahe, dass die Bilanz niemals die Quadratwurzel der gezählten Zahl überschreiten würde, doch dies wurde in den 1980er Jahren widerlegt. Die verbleibende Frage betraf nicht nur die Größe dieser Ausschläge, sondern auch ihre präzise Beziehung zu den Nullstellen der Zeta-Funktion. Entspricht die durchschnittliche Größe dieser Ausschläge der Größe des größten einzelnen Ausschlags? Und stimmen beide mit dem theoretischen Maximum überein, das durch die Nullstellen vorhergesagt wird?

Pintz' Arbeit liefert eine definitive Antwort auf diese Fragen, indem sie eine rigorose Verbindung zwischen dem erratischen Verhalten der Möbius-Funktion und der Geometrie der Nullstellen der Zeta-Funktion herstellt. Das Paper beweist, dass die durchschnittliche Größenordnung der Ausschläge der Möbius-Funktion und die maximale Größenordnung dieser Ausschläge langfristig in ihrer logarithmischen Ordnung asymptotisch äquivalent sind. Wichtiger noch: Der Autor zeigt auf, dass beide Werte mit hoher Genauigkeit durch eine reelle Funktion bestimmt werden, die aus der Verteilung der Nullstellen der Zeta-Funktion abgeleitet ist. Vereinfacht ausgedrückt zeigt das Paper, dass das „Rauschen“ der Primzahlen kein zufälliges Chaos ist, sondern eng durch die Position der dominantesten Nullstelle kontrolliert wird. Dieser Befund vereinigt zwei verschiedene Arten, den Fehler in Primzahlvorhersagen zu messen – den durchschnittlichen Fehler und den Worst-Case-Fehler – und zeigt, dass sie mit der gleichen Rate wachsen und von derselben zugrunde liegenden Kraft gesteuert werden.

Die Forschung baut auf einem Jahrhundert an Bemühungen auf und verfeinert frühere Ergebnisse, die nur lose Verbindungen etabliert oder unter strengen Annahmen gearbeitet hatten. Frühere Arbeiten hatten gezeigt, dass der Fehler in der Primzahlzählung klein bleibt, falls die Nullstellen der Zeta-Funktion innerhalb eines bestimmten Bereichs liegen. Die Umkehrfrage – ob die Größe des Fehlers uns genau verrät, wo die Nullstellen liegen – war jedoch wesentlich schwieriger zu lösen. Pintz' Paper adresset dies, indem es zeigt, dass die Wachstumsraten des durchschnittlichen und des maximalen Fehlers asymptotisch äquivalent zu den durch die Nullstellen vorhergesagten Wachstumsraten sind. Durch die Entwicklung neuer Techniken zur Handhabung der mathematischen Singularitäten, die auftreten, wenn man mit dem Kehrwert der Zeta-Funktion arbeitet, war der Autor in der Lage zu beweisen, dass die Beziehung eine präzise asymptotische Äquivalenz in Bezug auf die logarithmische Ordnung ist, was bedeutet, dass das Verhältnis ihrer Logarithmen gegen 1 strebt. Das Paper bestätigt, dass der Maximalwert, den die Möbius-Funktion in einem gegebenen Bereich erreicht, und der Durchschnittswert, den sie über denselben Bereich beibehält, dieselbe logarithmische Wachstumsrate teilen. Dies bedeutet, dass beim Blick auf immer größere Zahlen der Unterschied zwischen dem typischen Verhalten und dem extremen Verhalten im logarithmischen Sinne verschwindet, selbst wenn die Werte selbst nicht identisch werden.

Ein entscheidender Teil dieser Leistung besteht darin, den Fall zu behandeln, in dem die Nullstellen sehr nah an der kritischen Linie liegen könnten, die Ordnung von Chaos trennt. Das Paper adresst das Szenario, in dem die Nullstellen so weit rechts wie möglich liegen, ohne bekannte mathematische Gesetze zu verletzen. In diesem schwierigen Fall beweist der Autor, dass die Durchschnitts- und Maximalwerte dennoch zu derselben aus den Nullstellen abgeleiteten Vorhersage konvergieren. Dieses Ergebnis ist signifikant, da es die Notwendigkeit komplexer, abstrakter Regionen von „nullenfreien Räumen“ eliminiert, um diese Vorhersagen zu treffen. Stattdessen zeigt das Paper, dass man einfach die Summe der Beiträge aller Nullstellen betrachten kann, um das Verhalten der Funktion zu verstehen. Der Autor stellt fest, dass die Summe dieser Beiträge, der maximale Einzelbeitrag und die tatsächlich beobachteten Werte der Funktion alle mit der gleichen Rate wachsen.

Das Paper klärt zudem die Beziehung zwischen der Möbius-Funktion und dem Fehlerterm des Primzahlsatzes, der die Anzahl der Primzahlen bis zu einem bestimmten Punkt zählt. Obwohl dies zwei verschiedene mathematische Objekte sind, zeigt Pintz, dass ihre oszillatorischen Verhaltensweisen nahezu identisch sind. Die maximale Abweichung und die durchschnittliche Abweichung für den Primzahlzählfehler und die Möbius-Summe werden als durch dieselbe Funktion der Zeta-Nullstellen gesteuert dargestellt. Dies impliziert eine tiefe strukturelle Einheit darin, wie die Primzahlen und ihre verwandten Funktionen fluktuieren. Die Arbeit stützt sich nicht auf unbewiesene Hypothesen wie die Riemannsche Vermutung selbst; vielmehr gilt sie unabhängig davon, wo die Nullstellen tatsächlich liegen, sofern sie sich innerhalb der bekannten Grenzen befinden. Die Ergebnisse werden mathematisch bewiesen, nicht simuliert oder lediglich suggeriert, und bieten somit ein solides Fundament für das Verständnis der Grenzen der Primzahlverteilung.

Letztendlich löst dieses Paper eine langjährige Mehrdeutigkeit über die Natur dieser mathematischen Oszillationen auf. Es bestätigt, dass das „Worst-Case“-Szenario für die Verteilung der Primzahlen durch die Linse des logarithmischen Wachstums nicht signifikant schlechter ist als das „Durchschnitts“-Szenario. Beide werden durch dieselbe zugrunde liegende Geometrie der Zeta-Funktion diktiert. Die Arbeit dient als kraftvolle Bestätigung dafür, dass die scheinbar zufälligen Fluktuationen der Primzahlen in der Tat ein hochstrukturiertes Phänomen sind, das eng an die Lage der Nullstellen der Riemannschen Zeta-Funktion gebunden ist. Indem er beweist, dass die durchschnittlichen und maximalen Größenordnungen in ihrem logarithmischen Wachstum zusammenfallen, liefert das Paper eine klarere, präzisere Karte des Terrains, in dem die Primzahlen leben, und zeigt, dass die Extreme und das Alltägliche zwei Seiten derselben Medaille sind.