DAS GAUSSSCHE KREISPROBLEM RUTSCHT UNTER 5/16

Nehmen Sie einen Kreis, dessen Mittelpunkt auf einem Gitterpunkt eines unendlichen Blatts Karopapier liegt, und zählen Sie die Kreuzungspunkte, die in ihn fallen. Die Antwort liegt nahe an der Kreisfläche – ist ihr aber nie gleich, weil der Rand das Gitter unregelmäßig schneidet. Das Gaußsche Kreisproblem fragt, wie groß diese Abweichung werden kann.

In der Notation der Arbeit ist die Kreisscheibe a² + b² ≤ X, wobei X das Quadrat des Radius ist; ihre Fläche ist also πX. Die Abweichung ist

E(X) = #{(a, b) ∈ ℤ² : a² + b² ≤ X} − πX

– die Anzahl der Gitterpunkte (a, b) im Inneren minus die Fläche. Alle folgenden Exponenten sind Potenzen von X, wie in der Arbeit.

Vom Umfang zur Vermutung

Gauß’ geometrisches Argument liefert E(X) = O(X^{1/2}): Der Fehler ist höchstens von der Größenordnung des Radius, ungefähr so groß wie der Rand des Kreises. Das ist die einfache Schranke.

Am anderen Ende bewies Hardy, dass der Fehler immer wieder in beide Richtungen auf Werte von der Größenordnung X^{1/4} ausschlägt – daher kann keine Schranke mit einem Exponenten unter 1/4 gelten. Die erwartete Antwort, die die Arbeit Hardys Vermutung nennt, lautet, dass 1/4 im Wesentlichen stimmt: |E(X)| ≲ X^{1/4+ε} für jedes ε > 0, wobei das ε einen Verlust bezeichnet, der kleiner ist als jede feste Potenz.

Alles Weitere war ein Ringen um den Exponenten zwischen 1/2 und 1/4. Die historische Tabelle der Arbeit listet die Etappen auf: Sierpiński 1906 mit 1/3, van der Corput, Titchmarsh, Hua, Chen, Kolesnik, Iwaniec und Mozzochi 1988 mit 7/22, Huxley 1993 mit 23/73 und 2003 mit 131/416 (etwa 0,3149), dann Li und Yang in einem Preprint von 2023 mit 0,3144831759…

Die Schwelle bei 5/16

Ein Großteil dieses Fortschritts stammt aus einer Technik, die Bombieri und Iwaniec entwickelten und Iwaniec und Mozzochi an den Kreis anpassten. Sie verwandelt das Problem in Abschätzungen von Exponentialsummen, die sich auf zwei „Abstandsprobleme“ zurückführen lassen: zu zählen, wie oft bestimmte rationale Näherungen dicht beieinanderliegen. Huxley trieb diese Methode am weitesten und vermutete 1993 5/16 = 0,3125 als mögliche Grenze der Bombieri-Iwaniec-Methode in ihrer damaligen Form. Der Rekord von Li und Yang, erzielt mit einem neuen Werkzeug der harmonischen Analysis – dem „Small-Cap-Decoupling“-Satz von Guth und Maldague –, lag immer noch darüber.

Xi Cen (China University of Mining and Technology-Beijing), Xitao Gao und Junyong Zhang (Beijing Institute of Technology) sowie Cheng Zhang (Yau Mathematical Sciences Center, Tsinghua-Universität) beweisen nun:

Satz 1.1. Für jedes ε > 0 und jedes reelle X ≥ 4 gilt |E(X)| ≲ X^{209/670+ε}.

Und sie geben genau an, wie weit unter der Linie das liegt:

209/670 = 5/16 − 3/5360

Das sind etwa 0,31194 – ein Gewinn von 0,0025 gegenüber Li und Yang. Klein im Betrag, aber auf der anderen Seite eines Werts, der einem ganzen Ansatz als Markierung gedient hatte.

Zwei Verfeinerungen, zwei Bereiche

Der Beweis teilt die verbleibenden Parameter in zwei Bereiche auf, die genau an dem Punkt zusammentreffen, an dem beide 209/670 liefern.

Im mittleren Bereich entwickeln die Autoren eine Phase bis zur sechsten Ordnung und führen mit Vinogradovs Mittelwertsatz alles auf das Zählen von Punktpaaren zurück, die in ihrem vierten, fünften und sechsten Taylor-Koeffizienten übereinstimmen. Der entscheidende Schritt besteht darin, diese Bedingungen explizit zu lösen: Der lineare Fehler hebt sich weg, und übrig bleibt ein quadratischer Fehler, der klein genug ist, um ihn mit Fourier-Entwicklung und den Abstandsabschätzungen von Robert und Sargos zu behandeln. Die Paarzahl fällt so klein aus wie die der trivialen „diagonalen“ Paare, bis auf beliebig kleine Verluste.

Im größeren Bereich ist die neue Zutat eine Verteilungsabschätzung für Exponentialsummen, deren Frequenzen auf einem Kegel liegen, abgeleitet aus einer amplitudenabhängigen Abschätzung von Guth und Maldague. Sie liefert zwei Terme, einen mit einer vierten und einen mit einer sechsten Potenz. Was sich auszahlt, ist, sie durch das doppelte große Sieb (double large sieve) hindurch getrennt zu halten, statt sie zuerst zu einer einzigen Momentenabschätzung zusammenzufassen. Laut der Arbeit funktioniert das, ohne Watts Schranke für das zweite Abstandsproblem, die andere Hauptzutat, zu verschärfen.

Noch ein weiter Weg bis 1/4

Der neue Exponent, 0,3119, ist noch weit vom vermuteten Wert 0,25 entfernt. Die Arbeit gibt auch einen Überblick über die andere Seite des Problems – wie groß der Fehler bekanntermaßen werden kann –, wo Ergebnisse von Soundararajan, Lamzouri und anderen seine größten Ausschläge immer genauer festlegen.

Die Arbeit ist ein 34-seitiger Preprint. Die Autoren geben an, ChatGPT und Codex genutzt zu haben, um Beweisstrategien zu diskutieren, Teile der Argumente zu entwerfen und zu prüfen und die Literaturangaben zu ordnen, und dass jede Aussage und jeder Beweis von ihnen selbst geschrieben, überprüft und verifiziert wurde. Für Gauß’ Gitterpunkte weiß man nun, dass der Fehler nicht schneller wächst als etwa X^{0,312} – mit Spielraum, im Prinzip, bis hinunter zu X^{0,25}.