Quantitative Khintchine on the parabola with non-monotonic approximation functions

Stellen Sie sich vor, Sie versuchen, ein bewegliches Ziel mit einem Dartpfeil zu treffen, aber die Regeln des Spiels sind unglaublich streng. Sie dürfen nur Dartpfeile werfen, die auf spezifischen, unsichtbaren Gitternetzlinien landen, die über ein riesiges Feld gezeichnet sind. Je näher Ihr Dartpfeil in der Mitte eines Quadratfeldes landet, desto besser ist Ihre Punktzahl. In der Welt der Mathematik wird dieses Spiel „diophantische Approximation“ genannt. Dabei geht es darum, wie gut wir unordentliche, irrationale Zahlen (wie die Quadratwurzel aus 2 oder Pi) mithilfe einfacher Brüche (wie 22/7) annähern können. Seit über einem Jahrhundert versuchen Mathematiker, die Regeln dieses Spiels herauszufinden: Wie nah können wir herankommen? Wie oft kommen wir nah heran? Und spielt es eine Rolle, ob Ihr Ziel ein zufälliger Punkt auf einem flachen Blatt Papier ist oder ob es an einer spezifischen Form festklebt, wie etwa einer gekrümmten Linie?

Die große Frage, die diese Arbeit behandelt, betrifft eine spezifische Form: eine Parabel. Stellen Sie sich eine Parabel als die perfekte, glatte Kurve eines Regenbogens oder den Pfad eines Balls vor, den man wirft. In diesem mathematischen Spiel ist der „Zielpunkt“ nicht einfach irgendein Punkt; es ist ein Punkt, der genau auf dieser gekrümmten Linie liegen muss. Lange Zeit wussten Mathematiker, dass es strenge Grenzen gab, wenn man versuchte, diese Kurve mit seinen Dartpfeilen zu treffen (das heißt, wie oft man ein „Bullseye“ – eine sehr nahe Annäherung – erzielt). Eine berühmte Regel aus dem Jahr 1924, bekannt als Khintchines Theorem, fungiert hierbei wie ein Schiedsrichter. Sie besagt, dass man das Ziel fast nie trifft, wenn die Anforderung an die „Nähe“ schwierig genug ist (das heißt, wenn die Anforderung an die Nähe sehr schnell strenger wird). Es gab jedoch einen Haken: Um die Regel dieses Schiedsrichters funktionsfähig zu machen, mussten Mathematiker davon ausgehen, dass Ihre Anforderung an die „Nähe“ auf eine sehr vorhersehbare, glatte Weise strenger wird – wie eine Rampe, die nur nach unten führt, aber niemals nach oben. Dies wird als „monoton“ bezeichnet.

Diese Arbeit, geschrieben von Maiken Gravgaard und Simon Kristensen, stellt eine kühne Frage: Was ist, wenn sich die Regeln des Spiels unvorhersehbar ändern? Was ist, wenn die Anforderung an die „Nähe“ wie bei einer Achterbahn auf und ab springt, anstatt wie auf einer glatten Rampe abzufallen? Lange Zeit wusste niemand, ob die Regel dieses Schiedsrichters auch in einem solch chaotischen Szenario Bestand hat, insbesondere für Punkte, die an einer gekrümmten Linie wie einer Parabel festkleben. Die Autoren setzten sich zum Ziel zu beweisen, dass selbst wenn die Regeln chaotisch und nicht-monoton sind, das Spiel immer noch eine Grenze hat: Man trifft das Ziel immer noch fast nie, wenn die Regeln streng genug sind. Sie haben nicht nur bewiesen, dass es existiert; sie haben die exakten, wenn auch unglaublich winzigen Zahlen berechnet, die definieren, wie nah man herankommen kann, bevor das Spiel unmöglich wird.

Die Achterbahn der Zahlen

Was genau haben diese Autoren also gemacht? Sie haben das berühmte Khintchine-Theorem genommen und die „glatte Rampen“-Regel entfernt. Sie wollten sehen, ob das Theorem Bestand hat, wenn die Approximationsfunktion (die Regel, die festlegt, wie nah man sein muss) wild und nicht-monoton sein darf. In der Welt der Mathematik ist das Entfernen dieser „Glattheits“-Anforderung wie der Versuch, ein Labyrinth zu durchqueren, in dem sich die Wände plötzlich positionsverändern. Das macht das Problem signifikant schwieriger.

Die Autoren konzentrierten sich auf die Parabel, die Menge der Punkte $(x, x^2)$. Sie wollten wissen: Wenn wir eine Liste von Regeln haben, wie nah ein Bruch an einem Punkt auf dieser Kurve sein muss, und diese Regeln wild auf und ab springen, wie viele Punkte auf der Kurve können diese Regeln tatsächlich erfüllen? Ihr Hauptergebnis ist ein entschiedenes „fast keine“. Sie bewiesen, dass, wenn die Summe der Quadrate dieser wilden Regeln konvergiert (eine schicke Art zu sagen, dass die Regeln schnell genug streng werden), die Anzahl der Punkte auf der Parabel, die diese erfüllen, effektiv Null ist.

Aber hier kommt die Wendung: Sie wollten nicht nur sagen „es ist Null“. Sie wollten ein quantitativer Schiedsrichter sein. Sie wollten eine spezifische Zahl angeben, nennen wir sie $\kappa$, die repräsentiert, wie streng die Regeln sein müssen, um zu garantieren, dass fast keine Punkte getroffen werden. Sie fanden heraus, dass eine solche Zahl existiert, aber sie ist so unglaublich klein, dass sie fast schon komisch wirkt.

Die Monster-Konstanten

Um diese Zahlen zu erhalten, mussten sich die Autoren mit einigen sehr alten, sehr hartnäckigen mathematischen Werkzeugen auseinandersetzen. Sie verwendeten eine Technik, die auf „Zeichensummen“ basiert, welche wie das Aufsummieren von Zahlenwellen funktionieren, um zu sehen, ob sie sich gegenseitig aufheben. Um diese Summen abzuschätzen, stützten sie sich auf eine berühmte Schranke, die der Mathematiker Burgess entdeckt hatte. Die Standardversion von Burgess' Schranke war jedoch nicht präzise genug für ihre Bedürfnisse. Sie benötigten eine „explizite“ Version, was bedeutet, dass sie die genaue Größe der beteiligten Konstanten kennen mussten, nicht nur, dass diese existieren.

Hier wird die Arbeit etwas wild. Die Autoren mussten diese Konstanten für verschiedene Arten von Zahlen berechnen (Primzahlen, zusammengesetzte Zahlen, große Zahlen, kleine Zahlen). Das Ergebnis ist ein Satz von vier verschiedenen Theoremen, jedes mit seiner eigenen Version der Konstante $\kappa$.

In ihrer allgemeinsten Version (Theorem 4), die für jeden Nenner $q$ gilt, ist die Konstante $\kappa$ ein Albtraum aus winzigen Zahlen. Einer der Terme in ihrer Berechnung liegt etwa bei $10^{-1023,89775276641198}$. Um dies einzuordnen: Wenn Sie diese Zahl ausschreiben würden, hätte sie über tausend Nullen nach dem Komma, bevor Sie überhaupt die erste Ziffer ungleich Null erreichen würden. Sie ist so klein, dass sie praktisch Null ist, doch mathematisch gesehen ist sie der Schlüssel, der den Beweis erschließt. Die Autoren geben zu, dass diese Zahl „sehr klein“ ist und dass der Hauptschuldige die „Teilerfunktion“ ist, die zählt, wie viele Möglichkeiten es gibt, eine Zahl zu teilen. Da diese Funktion für bestimmte Zahlen riesig werden kann, zwingt dies ihre Konstante dazu, auf fast gar nichts zu schrumpfen.

Die Autoren ließen es jedoch nicht dabei bewenden. Sie erkannten, dass sie viel „vernünftigere“ Zahlen erhielten, wenn sie das Spiel etwas spezifischer machten:

• Die „Großes $q$“-Version (Theorem 5): Wenn sie nur sehr große Nenner betrachten (speziell $q$ größer als $e^{e^{41}}$, eine Zahl, die so groß ist, dass sie kaum zu begreifen ist), springt die Konstante $\kappa$ auf eine viel angemessenere Größe von etwa $0,00499$.
• Die „Primzahl“-Version (Theorem 7): Wenn sie nur Nenner betrachten, die Primzahlen sind, verbessert sich die Konstante erneut auf etwa $0,012$.
• Die „Wenige Teiler“-Version (Theorem 6): Wenn sie Zahlen betrachten, die nicht zu viele Faktoren haben, liegt die Konstante irgendwo dazwischen.

Warum das wichtig ist (selbst wenn die Zahlen seltsam sind)

Sie fragen sich vielleicht: „Wen kümmert eine Zahl von $10^{-1023}$?“ Die Antwort liegt in der Struktur des Beweises. Vor dieser Arbeit wussten wir nicht einmal, ob überhaupt eine Konstante für nicht-monotone Funktionen auf einer Parabel existiert. Die Tatsache, dass die Autoren beweisen konnten, dass eine solche Konstante existiert – selbst wenn die Zahl mikroskopisch klein ist – ist ein massiver Schritt nach vorn. Es bestätigt, dass die „gekrümmte“ Natur der Parabel nicht magisch erlaubt, die Regeln der Approximation zu umgehen, selbst wenn die Regeln chaotisch sind.

Die Arbeit hebt auch ein spezifisches Problem im mathematischen Werkzeugkasten hervor. Die Autoren weisen darauf hin, dass der Grund für ihre winzigen Zahlen in den Schranken der „Teilerfunktion“ liegt, die sie verwenden mussten. Sie legen nahe, dass die Konstanten viel größer und nützlicher werden könnten, wenn Mathematiker bessere Wege fänden, zu schätzen, wie viele Teiler eine Zahl hat. Sie haben im Wesentlichen eine Brücke über einen Canyon gebaut, aber die Brücke besteht aus einem Material, das so dünn ist, dass sie fast unsichtbar ist. Es beweist, dass die Brücke existieren kann, aber es sagt uns auch, dass wir ein stärkeres Material finden müssen, um sie begehbar zu machen.

Am Ende haben Gravgaard und Kristensen gezeigt, dass die Parabel ein hartnäckiger Gegner ist. Ob man ihr mit glatten, vorhersehbaren Regeln oder chaotischen, springenden Regeln begegnet, sie widersetzt sich der Annäherung. Sie haben den mathematischen Beweis geliefert, dass dieser Widerstand absolut ist, indem sie die Grenzen unserer Fähigkeit, das Ziel zu treffen, quantifizieren – mit einer Präzision, die sowohl erschreckend klein als auch rigoros exakt ist. Sie haben das Problem nicht gelöst, die Zahlen größer zu machen, aber sie haben definitiv gezeigt, dass das Spiel unter diesen Bedingungen ungewinnbar ist, egal wie wild die Regeln auch werden.