On a question of Gowers related to Littlewood's conjecture

Stellen Sie sich ein riesiges, unsichtbares Gitter vor, das sich in alle Richtungen ausdehnt, wie der Boden eines gigantischen, unendlichen Lagerhauses. In diesem Lagerhaus spielen wir ein Versteckspiel mit Zahlen. Das Spiel heißt diophantische Approximation und es geht darum, wie gut wir komplizierte, irrationale Zahlen (wie die Quadratwurzel aus 2 oder Pi) mithilfe einfacher Brüche annähern können. Das Ziel ist es, Brüche zu finden, die diesen kniffligen Zahlen unglaublich nahe kommen, ohne sie jedoch jemals tatsächlich zu treffen.

Jahrzehntelang war die Mathematik von einem speziellen Rätsel besessen, das die Vermutung von Littlewood genannt wird. Denken Sie an eine Regel, die besagt, wie nah zwei verschiedene Zahlen gleichzeitig an einer „ganzen“ Zahl liegen können, wenn man sie mit einer natürlichen Zahl multipliziert. Die Regel legt nahe, dass man, egal welche zwei Zahlen man wählt, wenn man sie immer wieder mit 1, 2, 3 und so weiter multipliziert, immer einen Moment findet, in dem beide gleichzeitig extrem nah an einer ganzen Zahl liegen. Es ist, als versuche man zu finden, wann zwei rotierende Räder – eines mit einem seltsamen Muster und das andere mit einem anderen seltsamen Muster – gleichzeitig auf einer „Null“-Markierung landen. Die Regel besagt, dass dies passieren wird, aber bisher konnte niemand dies für jedes einzelne Paar von Zahlen beweisen.

Im Jahr 2009 hatte der berühmte Mathematiker Timothy Gowers eine clevere Idee. Er dachte: „Was wäre, wenn wir diese Regel beweisen könnten, indem wir zeigen, dass man nicht zu viele Punkte in eine bestimmte Form packen kann, ohne dass sie sich zu nahe kommen?“ Er stellte sich einen 3D-Würfel vor und fragte sich, ob man eine bestimmte Anzahl von Punkten in ihn streuen könnte, sodass der „Abstand“ zwischen zwei Punkten immer groß bleibt. Aber hier ist der Clou: Der „Abstand“ in diesem Spiel wird nicht mit einem Lineal gemessen. Stattdessen wird er dadurch gemessen, dass man die Differenzen der Positionen der Punkte über alle drei Dimensionen hinweg multipliziert. Wenn man zwei Punkte hat, deren Differenzen in einer Richtung klein, aber in einer anderen groß sind, kann das Produkt dennoch groß sein. Gowers fragte sich, ob es eine Grenze für die Anzahl der Punkte gibt, bevor sie auf diese spezielle „hyperbolische“ Weise zu nah beieinander liegen müssen.

Dies führt zu dem neuen Papier von Frederik Broucke, Máté Matolcsi und Szilárd Gy. Révész. Sie beschlossen, Gowers' Frage aufzugreifen und eine Lösung zu konstruieren, aber nicht die Art von Lösung, die Gowers erhoffte. Anstatt zu versuchen, die Vermutung von Littlewood mit dieser Methode zu beweisen, bauten sie eine mathematische „Falle“, die zeigt, dass die Methode tatsächlich scheitert.

So gingen sie vor: Sie nutzten ein Konzept aus der algebraischen Zahlentheorie, was wie ein geheimer Code ist, der in Zahlen verborgen liegt. Sie konstruierten ein sehr spezifisches, perfekt organisiertes Punktraster (ein Gitter) unter Verwendung eines speziellen Zahlkörpers. Stellen Sie sich dieses Gitter wie ein Set aus unsichtbaren, perfekt ausgerichteten Stiften vor, die aus dem Boden ragen. Die Autoren bewiesen, dass, wenn man den „hyperbolischen Abstand“ zwischen zwei dieser Stifte betrachtet, dieser niemals Null ist, es sei denn, die Stifte befinden sich am exakt gleichen Ort. Tatsächlich zeigten sie, dass man diese Punkte so anordnen kann, dass sie alle gemäß Gowers' spezieller Distanzregel weit voneinander entfernt sind.

Was bedeutet das für das große Ganze? Es bedeutet, dass Gowers' vorgeschlagener Ansatz zur Beweis der Vermutung von Littlewood an einer Sackgasse landet. Die Autoren zeigten, dass man eine enorme Anzahl von Punkten in dem Würfel finden kann, die die Bedingung des „großen Abstands“ erfüllen. Dies ist das Gegenteil dessen, was man bräuchte, wenn man diesen Weg nutzen wollte, um zu beweisen, dass eine Gegenbeispiel zur Vermutung von Littlewood existiert. Vereinfacht gesagt: Sie bauten eine Struktur, die beweist, dass die von Gowers aufgestellte „Falle“ eigentlich voller Löcher ist.

Das Papier sagt nicht nur „es funktioniert nicht“; es liefert auch ein explizites Rezept für den Aufbau dieser Punkte. Sie verwendeten ein mathematisches Werkzeug namens Minkowski-Einbettung, das Zahlen aus einer komplexen algebraischen Welt in unseren regulären 3D- (oder höherdimensionalen) Raum überträgt. Sie zeigten, dass man für jede Dimension ein Gitter erstellen kann, in dem das „Produkt der Differenzen“ zwischen zwei beliebigen Punkten immer größer als eine bestimmte, winzige Zahl ist. Dies beweist, dass die Antwort auf Gowers' Frage ein „Ja“ ist: Man kann solche Punkte tatsächlich finden, was leider bedeutet, dass dieser spezifische Pfad nicht dazu verwendet werden kann, das ursprüngliche Littlewood-Rätsel zu lösen.

Die Autoren verknüpften ihre Ergebnisse auch mit einem klassischen Problem der Fourieranalyse, dem Delsarte-Problem, bei dem es darum geht, die maximale Anzahl nicht überlappender Formen in eine Box zu packen. Sie zeigten, dass ihre Gitternkonstruktion mit der bestmöglichen Art und Weise verwandt ist, diese Formen zu packen, und lieferten uns damit eine präzise Zahl dafür, wie viele Punkte wir hineinpassen können. Während dies die Vermutung von Littlewood nicht löst, löst es Gowers' spezifische Frage mit einem definitiven „Ja“ und einer klaren mathematischen Konstruktion. Es ist ein wenig so, als fände man einen Schlüssel, der perfekt in ein Schloss passt, nur um festzustellen, dass das Schloss eine Tür zu einem Raum öffnet, von dem man bereits wusste, dass er leer war. Die Mathematik ist solide, die Konstruktion ist explizit und das Fazit ist klar: Diese spezielle Strategie benötigt ein grundlegendes Überdenken, bevor sie helfen kann, den Littlewood-Code zu knacken.