Badly approximable points on non-linear carpets

Dit artikel beantwoordt een vraag van Das-Fishman-Simmons-Urbański uit 2019 door de eerste klasse van niet-lineaire, niet-conforme attractoren te identificeren waarvoor de verzameling van slecht benaderbare punten een volledige dimensie-snijding heeft, en levert bovendien een formule op voor de Hausdorff-dimensie van deze attractoren.

De kern

Stel je voor dat je een enorme, ingewikkelde puzzel hebt. De puzzelstukjes zijn niet gewoon vierkantjes, maar vormen een heel specifiek patroon, zoals een tapijt dat oneindig in detail wordt herhaald. Wiskundigen noemen dit een fractaal.

Deze paper, geschreven door Roope Anttila, Jonathan M. Fraser en Henna Koivusalo, gaat over een heel specifiek soort puzzelstukjes: de "slecht benaderbare punten".

Hier is wat dat betekent, vertaald naar alledaags taalgebruik, met een paar creatieve vergelijkingen.

1. Het Probleem: Hoe goed kun je iets benaderen?

Stel je voor dat je een punt op een lijn wilt vinden, maar je mag alleen gebruikmaken van breuken (zoals 1/2, 3/4, 22/7). Dit noemen we "rationale getallen".

• Dirichlet's theorema zegt: Voor elk punt kun je een breuk vinden die er heel dichtbij zit.
• Slecht benaderbare punten zijn de "moeilijkste" punten. Het zijn de punten die zich zo goed verstoppen dat je ze nooit te goed kunt benaderen met een breuk, hoe groot de noemer ook is. Ze zijn als de "schaduwrijke hoekjes" van het wiskundige universum die je niet kunt vangen met een simpele breuk.

De vraag die wiskundigen al lang stellen is: Als je een heel specifiek, ingewikkeld fractaal patroon (zoals een tapijt) neemt, zitten er dan genoeg van die "schaduwrijke" punten in?
Het antwoord is belangrijk: als er genoeg van zitten, dan is het fractaal "rijk" aan deze moeilijke punten. Wiskundigen zeggen dan dat de "dimensie" (een maat voor de complexiteit of het aantal punten) van de snijding hetzelfde is als het hele tapijt.

2. De Uitdaging: Lineaire vs. Niet-Lineaire Tapijten

Voorheen wisten wiskundigen dit al voor een bepaald type tapijten, genaamd Bedford-McMullen-tapijten.

• De analogie: Denk aan deze tapijten als een raster van vierkante vakjes. Je kiest een paar vakjes uit en herhaalt dat patroon. Omdat het een strak raster is, zijn de lijnen recht en de hoeken 90 graden. Dit is "lineair" en "conform" (de vorm verandert niet op een gekke manier).
• Voor deze rechte tapijten wisten ze al: "Ja, er zitten genoeg slecht benaderbare punten in."

Maar de echte uitdaging was: Wat als het tapijt niet recht is?
Stel je voor dat je de vakjes niet recht uitknipt, maar ze trekt, buigt en vervormt alsof je op een rubberen laken tekent. De lijnen zijn nu krom, en de hoeken zijn niet meer 90 graden. Dit noemen ze niet-lineaire tapijten.
Tot nu toe wisten wiskundigen niet of deze kromme, gebogen tapijten ook rijk waren aan die "schaduwrijke" punten. Een groep onderzoekers (Das, Fishman, Simmons, Urbański) stelde in 2019 de vraag: "Kunnen we dit ook bewijzen voor deze gekromde, niet-rechte tapijten?"

3. De Oplossing: Een Nieuwe Strategie

De auteurs van dit paper zeggen: Ja, dat kan! Ze hebben het eerste bewijs gevonden voor een hele nieuwe klasse van deze kromme tapijten.

Hoe hebben ze dit gedaan? Ze gebruikten een slimme truc die lijkt op het spelen van een spelletje (het "Schmidt-spel").

• De analogie: Stel je voor dat je een spel speelt waarbij je probeert een punt te vinden dat niet in een bepaalde lijn ligt. Als het tapijt "diffuus" genoeg is (d.w.z. het is niet te veel op één lijn geconcentreerd, maar spreidt zich uit in alle richtingen), dan kun je garanderen dat je die moeilijke punten vindt.
• De auteurs toonden aan dat hun nieuwe, kromme tapijten zich net zo goed verspreiden als de oude, rechte tapijten. Ze zijn niet "plat" of "samengeperst" op een lijn, maar hebben genoeg "dikte" in alle richtingen.

4. De Belangrijkste Ontdekkingen

1. Het antwoord op de vraag: Ze hebben de vraag van 2019 beantwoord. Ja, zelfs voor deze complexe, kromme tapijten geldt dat de "slecht benaderbare punten" het hele patroon vullen in termen van complexiteit.
2. Een nieuwe formule: Ze hebben ook een formule bedacht om precies te berekenen hoe complex (hoeveel "ruimte" het inneemt) deze nieuwe tapijten zijn. Dit is op zich al een grote prestatie, omdat het berekenen van de complexiteit van kromme patronen heel lastig is.
3. De "Modifieerde Laagste Dimensie": Dit klinkt als wiskundig jargon, maar het is eigenlijk een manier om te kijken naar de "dunste" delen van het tapijt. Ze bewezen dat zelfs in de dunste delen van deze kromme tapijten, de complexiteit hoog genoeg is om de "schaduwrijke" punten te bevatten.

5. Waarom is dit belangrijk?

In de wiskunde gaat het vaak om het vinden van patronen in chaos.

• Vergelijking: Stel je voor dat je een bos hebt. Je wilt weten of er in dat bos genoeg bomen zijn die zo hoog zijn dat ze de zon blokkeren. Voor rechte, geordende bossen wisten we dat al. Maar voor een wild, ongerept bos met gekromde bomen wisten we het niet.
• Deze paper zegt: "Zelfs in dat wilde, gekromde bos zijn er genoeg hoge bomen."

Dit helpt wiskundigen om beter te begrijpen hoe getallen zich gedragen in complexe, natuurlijke vormen. Het verbindt twee werelden: de wereld van getallen (Diophantische benadering) en de wereld van vormen (Fractale meetkunde).

Kort samengevat:
De auteurs hebben bewezen dat zelfs als je een wiskundig patroon vervormt tot een krom, niet-recht tapijt, het nog steeds vol zit met de "moeilijkste" getallen die je kunt bedenken. Ze hebben de sleutel gevonden om deze complexe vormen te meten en te begrijpen, en hebben zo een gat in de wetenschap gedicht dat al jaren open stond.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Badly Approximable Points on Non-Linear Carpets" van Anttila, Fraser en Koivusalo, gepresenteerd in het Nederlands.

1. Probleemstelling en Achtergrond

Het artikel bevindt zich op het snijvlak van Diophantische benadering en fractale meetkunde. Het centrale probleem is het begrijpen van de grootte en verdeling van slecht benaderbare punten ($\text{Bad}_d$) binnen specifieke fractale verzamelingen.

• Slecht benaderbare punten: Dit zijn punten $x \in \mathbb{R}^d$ waarvoor Dirichlet's benaderingsstelling niet met meer dan een constante kan worden verbeterd. Formeel bestaan er voor deze punten een constante $c > 0$ zodat voor alle $p \in \mathbb{Z}^d$ en $q \in \mathbb{N}$ geldt:
  $$\left\| x - \frac{p}{q} \right\| \geq \frac{c}{q^{1+1/d}}$$
• De kernvraag: Een fundamentele vraag in dit vakgebied is of de doorsnede van de verzameling slecht benaderbare punten met een gegeven fractale verzameling $X$ de volle Hausdorff-dimensie heeft, d.w.z. of $\dim_H(X \cap \text{Bad}_d) = \dim_H(X)$.
• De uitdaging: Hoewel dit bewezen is voor veel klassen van fractalen (zoals Ahlfors-reguliere verzamelingen en bepaalde lineaire zelf-affine tapijten, zoals Bedford-McMullen tapijten), bleef het een open vraag voor niet-lineaire en niet-conforme systemen. In 2019 stelden Das, Fishman, Simmons en Urbański de vraag of Schmidt's spel (een game-theoretische methode) kan worden gebruikt om dit resultaat te bewijzen voor fractalen die zowel niet-conform als niet-lineair zijn.

2. Methodologie

De auteurs gebruiken een combinatie van symbolische dynamica, de theorie van iteratieve functiestelsels (IFS) en de methode van Schmidt's spel gekoppeld aan de onderste dimensie (lower dimension).

• Schmidt's Spel en Hyperplane Diffusivity: De methode van Schmidt's spel impliceert dat als een gesloten verzameling $X$ "hyperplane diffuus" is (niet te geconcentreerd op hypervlakken), dan geldt:
  $$\dim_H(X \cap \text{Bad}_d) \geq \dim_L X$$
  waarbij $\dim_L X$ de onderste dimensie is. De strategie is dus om een deelverzameling van $X$ te vinden met een hoge onderste dimensie.
• Symbolische Ruimtes en Barański Tapijten: De auteurs modelleren de niet-lineaire tapijten via symbolische ruimtes. Ze benaderen de niet-lineaire attractoren van binnenuit door symbolische Barański-tapijten (die analoog zijn aan zelf-affine tapijten).
• Variatieprincipe en Maattheorie: Ze gebruiken een variatieprincipe voor de Hausdorff-dimensie, waarbij ze zoeken naar ergodische maatstaven die de dimensie maximaliseren. Een cruciale technische stap is het construeren van subsystemen (via diepe iteraties van het IFS) die "dominerend" gedrag vertonen, zodat de theorie voor zelf-affine sets toegepast kan worden.
• Gestoorde Afbeeldingen: Een belangrijk obstakel is dat de onderste dimensie niet stabiel is onder Hölder-afbeeldingen (in tegenstelling tot de Hausdorff-dimensie). De auteurs lossen dit op door te bewijzen dat men maatstaven kan kiezen met verschillende Lyapunov-exponenten, waardoor de subsystemen voldoende "gedomineerd" zijn om de onderste dimensie te controleren.

3. Belangrijkste Bijdragen en Resultaten

Het artikel introduceert een nieuwe klasse van fractalen: niet-lineaire tapijten (non-linear carpets). Deze worden gedefinieerd als de attractoren van een planair IFS $(S_{i,j} = (f_i, g_j))_{(i,j) \in \Lambda}$, waarbij $f_i$ en $g_j$ zelf-conforme contracties zijn op $[0,1]$.

Hoofdstellingen:

1. Variatieprincipe voor Hausdorff-dimensie (Theorema 2.1):
   Voor een niet-lineair tapijt $X$ dat voldoet aan de "coördinaat-OSC" (Open Set Condition), geldt dat de Hausdorff-dimensie gelijk is aan het supremum van de Hausdorff-dimensies van alle ergodische maatstaven op $X$:
   $$\dim_H X = \sup \{ \dim_H \mu : \mu \text{ is ergodisch} \}$$
   Dit is een generalisatie van eerdere resultaten voor zelf-affine systemen en geldt ook voor niet-gedomineerde systemen.

2. Gelijkheid van Dimensies (Theorema 2.2):
   Voor deze klasse van tapijten geldt dat de Hausdorff-dimensie gelijk is aan de gemodificeerde onderste dimensie ($\dim_{ML}$):
   $$\dim_H X = \dim_{ML} X = \sup \{ \dim_L X' : X' \subset X \}$$
   Dit is een krachtig resultaat omdat het betekent dat men binnen de verzameling $X$ altijd een deelverzameling kan vinden die "dik" genoeg is (qua onderste dimensie) om de volledige dimensie van $X$ te benaderen, ondanks de niet-lineariteit.

3. Oplossing van de Das-Fishman-Simmons-Urbański Vraag (Theorema 2.3):
   Als een niet-lineair tapijt $X$ voldoet aan de coördinaat-OSC en heeft minimaal twee afbeeldingen in ten minste één kolom en één rij (wat zorgt voor hyperplane diffusiviteit), dan geldt:
   $$\dim_H(X \cap \text{Bad}_2) = \dim_H X$$
   Dit beantwoordt de vraag uit 2019 bevestigend: Schmidt's spel werkt ook voor niet-lineaire, niet-conforme fractalen.

4. Parabolische Cantor-sets (Propositie 5.1):
   De auteurs tonen ook aan dat de methode werkt voor parabolische Cantor-sets (attractoren van IFS met parabolische vaste punten), waarbij $\dim_H(\text{Bad}_1 \cap X) = \dim_H X$.

4. Significatie en Impact

• Doorbraak in Diophantische Benadering: Dit is de eerste keer dat wordt aangetoond dat de verzameling slecht benaderbare punten volle dimensie heeft binnen een klasse van niet-lineaire, niet-conforme attractoren. Dit opent de deur voor het bestuderen van Diophantische eigenschappen in veel bredere dynamische systemen dan eerder mogelijk was.
• Technische Innovatie: De paper lost het probleem op dat de onderste dimensie niet stabiel is onder niet-lineaire transformaties. Door het gebruik van subsystemen met verschillende Lyapunov-exponenten en het construeren van specifieke Bernoulli-maatstaven, omzeilen de auteurs de beperkingen die eerder leken te gelden voor niet-gedomineerde systemen.
• Formule voor Dimensie: De afgeleide formule voor de Hausdorff-dimensie (als limiet van optimalisatieproblemen op symbolische ruimtes) is op zich al waardevol voor de fractale meetkunde en biedt een methode voor numerieke schattingen.
• Verbinding tussen Gebieden: Het werk verbindt succesvol de theorie van zelf-affine tapijten (Bedford-McMullen) met de theorie van zelf-conforme sets, en toont aan dat de "game-theoretische" aanpak robuust is genoeg voor complexe, niet-lineaire dynamica.

Samenvattend biedt dit artikel een fundamentele uitbreiding van onze kennis over hoe goed irrationale punten op complexe, niet-lineaire fractalen kunnen worden benaderd, en bevestigt het dat de "moeilijkst te benaderen" punten overal in deze structuren voorkomen, zolang de structuur niet te sterk in één richting is uitgerekt of geconcentreerd.