Squarefree numbers in short intervals: explicit and formalized

Stellen Sie sich die Zahlengerade als eine endlose, schimmernde Autobahn vor, die bis zum Horizont reicht. Auf dieser Straße sind einige Zahlen „quadratfrei“, was bedeutet, dass sie aus einzigartigen Bausteinen bestehen, die sich niemals wiederholen. Denken Sie an sie wie an einen Satz von LEGO-Steinen, bei denen keine zwei Teile die gleiche Farbe haben; man kann mit ihnen keinen perfekten quadratischen Turm bauen. Mathematiker wissen schon lange, dass diese speziellen Zahlen auf einem riesigen Abschnitt dieser Autobahn mit einem vorhersehbaren Rhythmus auftreten, etwa 6 von 10 Stellen. Aber was passiert, wenn man heranzoomt und einen sehr kurzen, winzigen Abschnitt der Straße betrachtet? Behalten diese quadratfreien Zahlen ihren Rhythmus bei, oder werden sie chaotisch und unvorhersehbar? Dies ist die Frage der „quadratfreien Zahlen in kurzen Intervallen“. Es ist ein Rätsel auf dem Gebiet der Zahlentheorie, eines Zweigs der Mathematik, der die verborgenen Muster ganzer Zahlen untersucht. Das Lösen dieses Rätsels hilft uns, die grundlegende Struktur der Mathematik zu verstehen, so ähnlich wie das Verständnis, wie ein einzelner Stein in eine massive Mauer passt.

In dieser Arbeit widmet sich Mayank Pandey diesem Rätsel, indem er ein bekanntes mathematisches Ergebnis nimmt und es „explizit“ und „formalisiert“. Zuvor existierte ein Resultat, das bewies, dass sich diese Zahlen in kurzen Intervallen gut verhalten, aber es stützte sich auf ein mächtiges, komplexes Werkzeug (unter Einbeziehung von „Nilsequenzen“ und der Arbeit von Green und Tao), das wie eine Blackbox funktionierte: Es besagte, dass die Antwort da sei, lieferte aber nicht die spezifischen Zahlen, die zur Berechnung benötigt wurden. Pandeys Arbeit ist wie das Zerlegen dieser Blackbox, das Vermessen jedes Zahnrads und jeder Feder im Inneren und das Aufschreiben der exakten Dimensionen. Er beweist, dass, wenn man einen Startpunkt $X$ wählt, der mindestens so groß ist wie $e^{1027/\varepsilon^2}$ (eine unvorstellbar große Zahl), und ein Intervall der Länge $H = X^{1/5 - 2/90935 + \varepsilon}$ betrachtet, die Anzahl der quadratfreien Zahlen, die man findet, der erwarteten Menge sehr nahe kommt. Speziell ist die Differenz zwischen der tatsächlichen Anzahl und der erwarteten Anzahl garantiert nicht größer als $10450 \varepsilon H X^{-\varepsilon/1025}$. Dies ist ein konkretes, berechenbares Versprechen, vorausgesetzt, das Intervall ist nicht zu kurz und die Startzahl ist groß genug.

Um dies zu erreichen, musste Pandey sich durch eine schwierige Landschaft von „Fehlertermen“ navigieren, welche die kleinen Schwankungen in der Zählung sind. Er unterteilt das Problem in verschiedene Zonen. In einigen Zonen sind die Schwankungen mit Standardtechniken leicht zu bändigen, wie etwa dem wiederholten Subtrahieren von Differenzen, um die Unebenheiten zu glätten. In anderen, schwierigeren Zonen sind die Schwankungen hartnäckig. Im ursprünglichen Paper wurden diese hartnäckigen Zonen durch das zuvor erwähnte „Blackbox“-Werkzeug behandelt. Pandey hingegen entschied sich dafür, die schwere Arbeit manuell zu leisten. Er behandelt die mathematischen Ausdrücke wie einen verhedderten Knoten aus Schnüren. Anstatt einen Zaubertrick anzuwenden, um den Knoten zu lösen, zieht er vorsichtig an bestimmten Strängen (unter Verwendung einer Methode namens „van der Corput Differencing“), um den Knoten zu lockern. Er zeigt, dass selbst wenn die Stränge chaotisch aussehen, sie sich nicht auf eine Weise verfangen, die das Muster ruiniert. Indem er das Problem in kleinere Fälle aufteilt und diese nacheinander überprüft, beweist er, dass die „Schwankungen“ klein genug sind, um für seinen spezifischen Bereich ignoriert werden zu können.

Die Arbeit trifft auch eine bewusste Entscheidung, die Erklärung der Klarheit halber zu vereinfachen. Während der Computercode (formalisiert in Lean 4) eine etwas optimiertere und präzisere Version der Mathematik enthält, präsentiert die schriftliche Notiz eine „grobere“ Version, die leichter nachzuvollziehen ist. Es ist, als würde man einem Studenten eine vereinfachte Karte einer Stadt zeigen, um die Hauptrouten zu lehren, anstatt ihm ein Satellitenbild mit jeder einzelnen Gasse zu übergeben. Der Autor merkt an, dass diese Vereinfachung den endgültigen Exponenten leicht abschwächt, aber das Kernergebnis bleibt solide: Das Muster der quadratfreien Zahlen hält selbst in sehr kurzen Intervallen stand, und nun haben wir die exakten Zahlen, um es zu beweisen. Die Arbeit ist ein strenger Beweis, kein Tipp oder eine Simulation, der bestätigt, dass die mathematische Struktur so geordnet ist, wie wir es gehofft hatten, selbst wenn wir sie durch ein Mikroskop betrachten.