Badly approximable points on non-linear carpets

Dieses Paper beantwortet eine 2019 von Das, Fishman, Simmons und Urbański gestellte Frage, indem es die erste Klasse nichtlinearer, nicht-konformer Attraktoren identifiziert, für die die Menge der schlecht approximierbaren Punkte eine volle Dimensions-Schnittmenge bildet, und liefert zudem eine Formel für die Hausdorff-Dimension dieser Attraktoren.

Das Wesentliche

Die Jagd nach den „Unfassbaren" in einem mathematischen Labyrinth

Stellen Sie sich vor, Sie versuchen, einen unsichtbaren Punkt auf einer Karte zu finden. In der Welt der Mathematik gibt es eine klassische Regel (den Dirichletschen Approximationssatz), die besagt: „Du kannst jeden irrationalen Punkt (eine Zahl, die nicht als Bruch geschrieben werden kann) mit einer bestimmten Genauigkeit durch rationale Zahlen (Brüche) annähern."

Aber es gibt eine spezielle Gruppe von Punkten, die sich besonders wehren. Diese nennt man „schlecht approximierbare Punkte". Sie sind wie die „schwierigsten Rätsel" in der Mathematik: Man kann sie nicht viel besser annähern, als die Grundregel es erlaubt. Sie sind die „Unfassbaren".

Die große Frage, die sich die Autoren dieser Arbeit stellen, lautet: Wenn wir uns auf ein bestimmtes, komplexes geometrisches Muster (einen „Teppich") beschränken, finden wir dort immer noch diese „Unfassbaren"? Und wenn ja, wie „groß" ist ihre Menge?

1. Der Teppich, der nicht flach ist

Normalerweise betrachtet man einfache, gerade Linien oder flache Muster. Aber diese Forscher haben sich etwas viel Komplexeres vorgenommen: Nicht-lineare, nicht-konforme Teppiche.

• Die Metapher: Stellen Sie sich einen normalen Kachelteppich vor, bei dem die Muster sich immer gleich verhalten (wie bei einem Lineal gemessen). Das ist einfach.
• Das Neue: Die Autoren betrachten Teppiche, die sich wie lebendige, verformbare Stoffe verhalten. Wenn Sie ein Muster auf diesem Teppich vergrößern, sieht es nicht einfach nur größer aus, sondern es wird auch verzerrt, gedehnt und gestaucht. Die „Kacheln" werden immer schmäler und länger (wie ein Gummiband, das man zieht). Das macht die Mathematik extrem schwierig, weil die Regeln der Geometrie hier nicht mehr so einfach funktionieren wie bei geraden Linien.

2. Das Problem: Wo sind die Unfassbaren?

Die Forscher wollten beweisen, dass selbst auf diesen wild verzerrten, nicht-linearen Teppichen die Menge der „schlecht approximierbaren Punkte" vollständig groß ist.

In der Mathematik bedeutet „vollständig groß" hier nicht unbedingt, dass sie den ganzen Teppich ausfüllen (das tun sie oft nicht), sondern dass sie so viele sind, dass sie die gleiche „Dimension" haben wie der Teppich selbst. Es ist, als würden Sie sagen: „Obwohl der Teppich aus winzigen, zerklüfteten Fäden besteht, sind die Unfassbaren überall in diesem Fadenwerk verteilt, so dass sie das gesamte Muster durchdringen."

Bisher war dies nur für einfache, gerade Teppiche bewiesen. Die Frage war: Gilt das auch für diese wilden, verzerrten Teppiche?

3. Die Lösung: Ein neues Werkzeug (Das Schmidt-Spiel)

Um das zu beweisen, nutzen die Autoren ein mathematisches Werkzeug, das man sich wie ein Strategie-Spiel vorstellen kann (das sogenannte Schmidt-Spiel).

• Das Spiel: Zwei Spieler versuchen, einen Punkt auf dem Teppich zu finden. Der eine Spieler versucht, den Punkt einzukreisen, der andere versucht, ihn zu umgehen.
• Die Strategie: Die Forscher haben gezeigt, dass man auf diesen neuen, verzerrten Teppichen immer noch eine Strategie finden kann, die garantiert, dass man die „Unfassbaren" findet. Sie haben bewiesen, dass diese Punkte nicht in einer Ecke versteckt sind, sondern den ganzen Teppich durchziehen.

Ein wichtiger Teil ihrer Arbeit war es, eine Formel zu finden, um genau zu berechnen, wie „dick" oder „komplex" diese Teppiche sind (die sogenannte Hausdorff-Dimension). Das ist wie das Messen der Rauheit einer Küstenlinie: Je mehr man hineinzoomt, desto mehr Details sieht man. Ihre Formel erlaubt es, diese Komplexität auch bei den verzerrten, nicht-linearen Teppichen exakt zu bestimmen.

4. Warum ist das wichtig?

Früher dachte man, dass man für solche Beweise einfache, gerade Linien braucht. Die Autoren haben gezeigt, dass die Mathematik viel robuster ist. Selbst wenn das Muster chaotisch verzerrt ist (nicht-linear) und sich in verschiedene Richtungen unterschiedlich stark dehnt (nicht-konform), bleiben die „Unfassbaren" überall präsent.

Zusammenfassend:
Die Autoren haben ein neues mathematisches Terrain entdeckt – eine Welt aus wild verzerrten, fraktalen Teppichen. Sie haben bewiesen, dass die schwierigsten mathematischen Punkte (die schlecht approximierbaren) auch dort existieren und den gesamten Teppich durchdringen. Sie haben damit eine Frage beantwortet, die seit 2019 offen war, und gleichzeitig eine neue Methode entwickelt, um die Komplexität solcher Muster zu messen.

Es ist, als hätten sie bewiesen, dass selbst in einem Labyrinth aus sich ständig verändernden, schmalen Gassen immer noch ein unsichtbarer Schatz zu finden ist, der sich nicht verstecken lässt.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Papers „Badly Approximable Points on Non-Linear Carpets" von Anttila, Fraser und Koivusalo auf Deutsch.

1. Problemstellung und Motivation

Das zentrale Problem der Arbeit liegt im Bereich der diophantischen Approximation. Es geht um die Untersuchung der Menge der schlecht approximierbaren Punkte (badly approximable points), bezeichnet als $Bad_d \subset \mathbb{R}^d$. Diese Punkte sind dadurch charakterisiert, dass Dirichlets Approximationssatz für sie nicht um mehr als eine Konstante verbessert werden kann. Während diese Menge nach dem Lebesgue-Maß Null ist, hat sie nach einem klassischen Ergebnis von Schmidt (mittels Schmitt-Spielen) die volle Hausdorff-Dimension $d$.

Die Hauptfrage lautet: Unter welchen Bedingungen hat die Schnittmenge einer gegebenen Menge $X$ (insbesondere fraktaler Mengen) mit $Bad_d$ die volle Hausdorff-Dimension von $X$? Das heißt, gilt:
$$\dim_H(X \cap Bad_d) = \dim_H(X) \ ?$$

Bisher war dieses Ergebnis für viele Klassen von Fraktalen bekannt, etwa für bestimmte selbstähnliche Mengen und für Bedford-McMullen-Teppiche (lineare, nicht-konforme selbst-affine Fraktale). Ein offenes Problem, formuliert von Das–Fishman–Simmons–Urbański (2019), war jedoch, ob diese Eigenschaft auch für nicht-lineare und nicht-konforme dynamisch definierte Fraktale gilt. Bisherige Beweismethoden stützten sich stark auf die Linearität der zugrundeliegenden Abbildungen.

2. Methodik und theoretischer Rahmen

Die Autoren entwickeln eine Methode, die auf der Kombination von Schmitt-Spielen (Schmidt's game) und der modifizierten unteren Dimension (modified lower dimension) basiert.

• Hyperplane Diffusivity: Ein entscheidendes Kriterium ist, dass die Menge $X$ „hyperplane diffus" sein muss (d.h., sie darf nicht zu stark auf Hyperebenen konzentriert sein). Nach Proposition 1.1 gilt: Wenn $X$ abgeschlossen und hyperplane diffus ist, dann ist $\dim_H(X \cap Bad_d) \ge \dim_L(X)$.
• Modifizierte untere Dimension ($\dim_{ML}$): Da die untere Dimension $\dim_L(X)$ oft kleiner als die Hausdorff-Dimension $\dim_H(X)$ ist, führen die Autoren die modifizierte untere Dimension ein:
  $$\dim_{ML} X = \sup \{ \dim_L Y : Y \subseteq X \text{ abgeschlossen} \}.$$
  Das Ziel ist es, zu zeigen, dass $\dim_{ML} X = \dim_H X$ für die betrachteten Fraktale gilt.
• Symbolische Räume und Approximation: Die Kernidee besteht darin, die nicht-linearen Teppiche durch symbolische Barański-Teppiche zu approximieren.
  • Die Autoren definieren eine Klasse von nicht-linearen Teppichen, die durch ein Iteriertes Funktionensystem (IFS) $(S_{i,j} = (f_i, g_j))$ erzeugt werden, wobei $f_i$ und $g_j$ konforme IFS auf dem Intervall $[0,1]$ sind.
  • Sie nutzen die beschränkte Verzerrung (bounded distortion) der konformen Koordinaten-IFS, um zu zeigen, dass tiefere Iterationen des Systems sich verhalten wie selbst-affine Systeme (Barański-Teppiche).
  • Durch die Betrachtung von Subsystemen (erzeugt durch lange Wörter im symbolischen Raum) können sie Bernoulli-Maße konstruieren, deren Dimensionen die des ursprünglichen nicht-linearen Teppichs approximieren.

3. Hauptergebnisse

Das Paper liefert drei wesentliche Sätze:

Satz 2.1: Variationsprinzip für die Hausdorff-Dimension
Für einen nicht-linearen Teppich $X$, der die „coordinate OSC" (Open Set Condition für die Koordinaten-IFS) erfüllt, gilt:
$$\dim_H X = \sup \{ \dim_H \mu : \mu \text{ ist ein ergodisches Maß auf } X \}.$$
Dies verallgemeinert bekannte Resultate für selbst-affine Teppiche auf den nicht-linearen Fall. Der Beweis nutzt die Approximation durch Subsysteme, die sich wie Barański-Teppiche verhalten, und nutzt neuere Entwicklungen in der Theorie selbst-affiner Fraktale (insbesondere die Arbeit von Bárány et al.).

Satz 2.2: Gleichheit von Hausdorff-Dimension und modifizierter unterer Dimension
Unter denselben Voraussetzungen gilt:
$$\dim_H X = \dim_{ML} X.$$
Dies ist der technisch anspruchsvollste Teil. Da die untere Dimension nicht stabil unter Hölder-Abbildungen ist (im Gegensatz zur Hausdorff-Dimension), müssen die Autoren sorgfältig Subsysteme konstruieren, die „dominiert" sind (d.h., die Kontraktionsraten in den beiden Koordinatenrichtungen sind strikt unterschiedlich). Sie zeigen, dass man ergodische Maße finden kann, deren Lyapunov-Exponenten unterschiedlich sind, was die Konstruktion von Subsystemen mit hoher unterer Dimension ermöglicht.

Satz 2.3: Vollständige Dimension der Schnittmenge mit schlecht approximierbaren Punkten
Wenn $X$ ein nicht-linearer Teppich ist, der die coordinate OSC erfüllt und mindestens zwei Abbildungen in einer Spalte sowie in einer Zeile besitzt (was die Hyperplane-Diffusivität sicherstellt), dann gilt:
$$\dim_H(X \cap Bad_2) = \dim_H X.$$
Dies beantwortet die Frage von Das–Fishman–Simmons–Urbański positiv für die Klasse der nicht-linearen, nicht-konformen Teppiche. Die Bedingung mit den Spalten und Zeilen stellt sicher, dass das Fraktal nicht in einer Geraden enthalten ist und die notwendige Diffusivität gegenüber Hyperebenen besitzt.

4. Weitere Ergebnisse und Anwendungen

• Parabolische Cantor-Mengen: In Abschnitt 5 zeigen die Autoren, dass die gleiche Strategie (Approximation durch endlich erzeugte, gleichmäßig kontrahierende Subsysteme) auch auf parabolische Cantor-Mengen (IFS mit indifferenten Fixpunkten, wo die Ableitung 1 ist) anwendbar ist. Sie beweisen, dass auch hier $\dim_H(X \cap Bad_1) = \dim_H X$ gilt (Proposition 5.1).
• Formel für die Dimension: Das Paper liefert eine explizite Formel (als Grenzwert von Optimierungsproblemen über Wahrscheinlichkeitsvektoren auf symbolischen Räumen) zur Berechnung der Hausdorff-Dimension dieser nicht-linearen Teppiche (Theorem 4.2).

5. Bedeutung und Fazit

Die Arbeit ist ein Meilenstein in der Schnittmenge von diophantischer Approximation und fraktaler Geometrie.

1. Lösung eines offenen Problems: Sie beantwortet die Frage, ob Schmidt-Spiele auf nicht-lineare, nicht-konforme Fraktale anwendbar sind, bejahend. Dies erweitert das Anwendungsspektrum der Theorie der schlecht approximierbaren Punkte erheblich über lineare und selbstähnliche Fälle hinaus.
2. Methodischer Fortschritt: Die Entwicklung einer Technik, um nicht-lineare Systeme durch symbolische Barański-Teppiche zu approximieren und dabei die Stabilitätsprobleme der unteren Dimension zu umgehen, ist ein wichtiger methodischer Beitrag. Sie zeigt, dass die „Domination" (strikte Trennung der Kontraktionsraten) auch in nicht-linearen Settings durch geschickte Wahl von Subsystemen erreicht werden kann.
3. Verallgemeinerung: Die Ergebnisse gelten für eine sehr breite Klasse von Fraktalen, die als nicht-lineare Analoga zu Bedford-McMullen-Teppichen betrachtet werden können, und bieten zudem eine neue Perspektive auf parabolische dynamische Systeme.

Zusammenfassend beweisen die Autoren, dass schlecht approximierbare Punkte auf einer großen Klasse von nicht-linearen, nicht-konformen Fraktalen „vollständig" verteilt sind, d.h. sie tragen die volle Hausdorff-Dimension der Menge.