On The Hausdorff Dimension Of Two Dimensional Badly Approximable Vector

Dit artikel bewijst dat de Hausdorff-dimensie van de doorsnede van een willekeurige bal met de verzameling van gewogen slecht benaderbare vectoren in twee dimensies gelijk is aan de dimensie van de verzameling van gewogen benaderbare vectoren, en levert een expliciete formule voor deze dimensie op.

De kern

Stel je voor dat je een gigantische, oneindig gedetailleerde kaart tekent van een vierkant gebied (zoals een kamer). Op deze kaart proberen we alle mogelijke "perfecte" punten te vinden die heel dicht bij breuken liggen. In de wiskunde noemen we dit het vinden van benaderingen voor getallen.

Dit artikel, geschreven door Yi Lou, gaat over een heel specifiek en lastig deel van die kaart: de punten die net niet perfect benaderbaar zijn, maar ook niet volledig willekeurig. Het is een beetje zoals het zoeken naar de "gouden middenweg" in een wereld van oneindige precisie.

Hier is een uitleg in simpele taal, met wat creatieve vergelijkingen:

1. Het Probleem: De Oneindige Jacht

Stel je voor dat je een schat zoekt in een kamer. Je hebt een lijst met mogelijke schatten (de breuken, zoals 1/2, 3/4, 22/7).

• De "Goede" Benadering: De meeste punten in de kamer liggen heel dicht bij een van deze schatten. Als je een traliewerk (een net) over de kamer legt, vallen de meeste punten in de gaten van het net.
• De "Slechte" Benadering (Badly Approximable): Er zijn echter een paar rare punten die altijd net buiten het bereik van je traliewerk blijven, hoe klein je het net ook maakt. Ze zijn "hardnekkig". Ze laten zich niet makkelijk benaderen.

De wiskundigen willen weten: Hoeveel van deze "hardnekkige" punten zijn er eigenlijk?
In de wiskunde meten we "hoeveelheid" niet met een tel, maar met een dimensie (een soort maat voor complexiteit en dichtheid).

• Een lijn heeft dimensie 1.
• Een vlak heeft dimensie 2.
• Een heel ingewikkeld, kromlijnig fractal (zoals een sneeuwvlok) kan een dimensie hebben van bijvoorbeeld 1,5.

De vraag is: Wat is de dimensie van deze verzameling van "hardnekkige" punten in een tweedimensionale ruimte?

2. De Nieuwe Draai: Gewogen Benadering

Vroeger keken wiskundigen naar alle punten alsof ze even belangrijk waren. Maar in dit artikel kijkt Yi Lou naar een gewogen situatie.

• De Analogie: Stel je voor dat je twee soorten schatten hebt: gouden munten en zilveren munten.
  • De gouden munten (dimensie 1) zijn heel moeilijk te vinden.
  • De zilveren munten (dimensie 2) zijn iets makkelijker te vinden.
• In de "gewogen" wereld mag je voor de gouden munten een groter net gebruiken dan voor de zilveren munten. De regels zijn ongelijk.

Yi Lou onderzoekt wat er gebeurt als je deze ongelijke regels toepast op de "hardnekkige" punten. Hij wil weten: Hoe groot is de "ruimte" die deze punten innemen als je de regels voor de twee richtingen verschilt?

3. De Oplossing: Een Kasteel van Kasten

Om dit te bewijzen, bouwt de auteur een heel slim model, een soort wiskundig kasteel dat hij stap voor stap opbouwt.

• Stap 1: Het Bouwen van de Muur (Cantor-constructie)
  Hij begint met een groot vierkant en begint stukken weg te hakken. Hij haalt alle gebieden weg die te dicht bij de "gemakkelijke" breuken liggen. Wat overblijft, is een zwam-achtige structuur (een Cantor-set) die alleen de "hardnekkige" punten bevat.

  • Vergelijking: Het is alsof je een blok kaas neemt en er met een heel fijn mes alle gaten uit haalt waar de muis (de breuk) zou kunnen zitten. Wat overblijft, is de kaas die de muis niet kan bereiken.

• Stap 2: De "Leidinggevende" Breuken
  Hij identificeert specifieke breuken die als "hoofden" fungeren. Deze breuken bepalen waar de gaten in de kaas moeten zitten. Hij gebruikt een slimme truc (de "Simplex Lemma") om te bewijzen dat hij de gaten precies op de juiste plekken kan zetten zonder per ongeluk te veel kaas weg te halen.

• Stap 3: De Massa (Het Gewicht)
  Dit is het meest creatieve deel. Om te bewijzen dat de overgebleven kaas niet "leeg" is, verdeelt hij een denkbeeldige hoeveelheid "gewicht" (massa) over de overgebleven stukjes.

  • Vergelijking: Stel je voor dat je een bak met water hebt. Je giet het water voorzichtig in de kleine gaten van je kaas. Als je kunt bewijzen dat er genoeg water in de gaten zit, dan weet je dat de kaas echt bestaat en niet uit lucht is opgebouwd.
  • Hij toont aan dat je dit gewicht zo kunt verdelen dat het voldoet aan een heel specifieke formule.

4. Het Resultaat: De Formule voor de Dimensie

Het eindresultaat is een prachtige formule die precies aangeeft hoe "groot" deze verzameling punten is. De dimensie hangt af van de twee regels (de gewichten) die je hebt gekozen.

De formule is:
$$\text{Dimensie} = \min \left( \frac{3 + \tau_1 - \tau_2}{1 + \tau_1}, \frac{3}{1 + \tau_2} \right)$$

In gewone taal betekent dit:
De "grootte" van de verzameling wordt bepaald door de zwakste schakel. Het is alsof je een touw hebt; de sterkte van het touw wordt bepaald door het zwakste stukje. In dit geval bepaalt de moeilijkste regel (de zwaarste gewicht) hoe groot de verzameling kan worden.

Waarom is dit belangrijk?

Vroeger wisten we dit alleen voor het geval dat beide regels precies hetzelfde waren (de "ongewogen" situatie). Yi Lou heeft bewezen dat deze regel ook geldt als de regels ongelijk zijn.

• Het is als het ontdekken dat een wet die gold voor een perfecte bol, ook geldt voor een ei.
• Het bewijst dat de wiskundige structuur van deze "hardnekkige" punten ongelooflijk robuust is, zelfs als je de regels ongelijk maakt.

Samenvatting in één zin

Yi Lou heeft bewezen dat zelfs als je de regels voor het benaderen van getallen in twee verschillende richtingen ongelijk maakt, de "ruimte" die de moeilijkst te benaderen punten innemen, precies voorspelbaar is en een zeer specifieke, elegante vorm heeft.

Het is een mooi voorbeeld van hoe wiskundigen met abstracte concepten (zoals dimensie en oneindigheid) spelen om de diepe structuur van het universum van getallen te onthullen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Hausdorff Dimension of Two Dimensional Weighted Badly Approximable Vectors" van Yi Lou, geschreven in het Nederlands.

Titel: Over de Hausdorff-dimensie van tweedimensionale gewogen slecht benaderbare vectoren

Auteur: Yi Lou
Onderwerp: Getaltheorie, Diophantische benadering, Fractale meetkunde (Hausdorff-dimensie).

---

1. Probleemstelling en Context

Het artikel onderzoekt de meetkundige structuur van de verzameling van gewogen slecht benaderbare vectoren in de tweedimensionale eenheidskubus $[0, 1]^2$.

• Definities:

  • Laat $\Psi = (\psi_1, \dots, \psi_m)$ een benaderingsfunctie zijn. De verzameling $\Psi$-benaderbare vectoren $A_m(\Psi)$ bestaat uit vectoren $x$ waarvoor de ongelijkheid $|qx_i - p_i| < \psi_i(q)$ oneindig vaak oplost voor gehele getallen $q$ en $p_i$.
  • De verzameling gewogen slecht benaderbare vectoren $B_m(\Psi)$ wordt gedefinieerd als het verschil tussen de verzameling van benaderbare vectoren en de vereniging van alle verzamelingen van "beter" benaderbare vectoren (waarbij de benaderingsfunctie met een constante $c < 1$ wordt vermenigvuldigd):
    $$B_m(\Psi) = A_m(\Psi) \setminus \bigcup_{0<c<1} A_m(c\Psi)$$
  • In dit artikel wordt de machtswet-setting bestudeerd waarbij $\psi_i(q) = q^{-\tau_i}$ met $\tau = (\tau_1, \tau_2)$ en $\tau_1 \ge \tau_2 > 0$. De som $\sigma = \tau_1 + \tau_2$ speelt een cruciale rol.

• Achtergrond:

  • Als $\sigma < 1$, is de verzameling leeg (volgens Dirichlet's stelling).
  • Als $\sigma = 1$, heeft de verzameling volledige Hausdorff-dimensie ($m$), maar nul Lebesgue-maat.
  • Als $\sigma > 1$, is de dimensie van de benaderbare verzameling $A_m(\Psi_\tau)$ al bekend (berekend door Wang en Wu). De vraag is echter wat de dimensie is van de slecht benaderbare deelverzameling $B_m(\Psi_\tau)$ in dit gewogen geval.
  • Eerdere resultaten (Koivusalo et al.) waren beperkt tot het ongewogen geval ($\tau_1 = \tau_2$). Dit artikel vult de lacune voor het gewogen geval in dimensie 2.

2. Hoofdresultaat

Het centrale resultaat van het artikel is Stelling 1.2. Voor $\tau = (\tau_1, \tau_2)$ met $\tau_1 \ge \tau_2 > 0$ en $\tau_1 + \tau_2 > 1$, geldt voor elke bal $B \subseteq [0, 1]^2$:

$$\dim_H(B \cap B_2(\Psi_\tau)) = \dim_H A_2(\Psi_\tau) = \min \left\{ \frac{3 + \tau_1 - \tau_2}{1 + \tau_1}, \frac{3}{1 + \tau_2} \right\}$$

Dit betekent dat de verzameling van gewogen slecht benaderbare vectoren, hoewel een nul-verzameling in de zin van Lebesgue-maat, een "grote" fractale dimensie heeft die gelijk is aan die van de totale verzameling van benaderbare vectoren.

3. Methodologie en Bewijsstrategie

Het bewijs is lokaal van aard en volgt een constructieve aanpak gebaseerd op Cantor-achtige verzamelingen en massaverdelingsprincipes. De bewijsvoering is onafhankelijk van recente resultaten over exacte benadering (zoals die van Bandi en Fregoli) en gebruikt een puur meetkundige argumentatie.

De bewijsstappen zijn als volgt:

Stap 1: Constructie van de set $C_\tau(N)$

De auteur construeert een gesloten verzameling $C_\tau(N)$ door systematisch omgevingen van rationale punten te verwijderen.

• Het unit vierkant wordt opgedeeld in een hiërarchie van rechthoeken.
• Met behulp van het Simplex Lemma (dat stelt dat rationale punten met een beperkte noemer op een hypervlak liggen) worden specifieke hypervlakken geïdentificeerd.
• Omgevingen van deze hypervlakken (die rationale punten bevatten) worden verwijderd.
• Het resultaat is een verzameling $C_\tau(N)$ die geen punten bevat die "te goed" benaderbaar zijn (d.w.z. $C_\tau(N) \cap A_2(c\Psi_\tau) = \emptyset$ voor een specifieke $c$).
• Lemma 2.3 en 2.4 tonen aan dat voor grote $N$, de Lebesgue-maat van $C_\tau(N)$ willekeurig dicht bij 1 ligt, en dat lokaal weinig massa wordt verwijderd.

Stap 2: De verzameling van "Leading Rationals"

Er wordt een specifieke subset van rationale punten gedefinieerd, genaamd de leading rationals $Q(N, \tau)$.

• Deze punten zijn gekoppeld aan de hypervlakken die tijdens de constructie van $C_\tau(N)$ zijn geïdentificeerd.
• Lemma 3.1 toont aan dat $C_\tau(N)$ een deelverzameling is van de verzameling vectoren die benaderbaar zijn door deze leading rationals met een specifieke snelheid.
• Lemma 3.2 vestigt een structurele relatie: voor elke leading rational $p/q$ bestaat er een overlevende rechthoek in de constructie die binnen een specifieke omgeving van $p/q$ ligt en een ondergrens heeft voor zijn maat.

Stap 3: Constructie van de Cantor-achtige set $D_\epsilon(B)$

Om de ondergrens van de dimensie te bewijzen, wordt een Cantor-achtige deelverzameling $D_\epsilon(B) \subseteq B \cap B_2(\Psi_\tau)$ geconstrueerd.

• De constructie is iteratief: men begint met een rechthoek $R_0$ in de bal $B$.
• In elke stap worden sub-rechthoeken geselecteerd die voldoen aan de TG,R-Lemma (een variant van het Vitali-coveringlemma voor rechthoeken).
• De rechthoeken worden "verkleind" (shrinkage) om te garanderen dat de limietpunten behoren tot $B_2(\Psi_\tau)$ (ze zijn benaderbaar, maar niet te goed).
• Lemma 4.2 (TG,R Lemma) is cruciaal: het garandeert dat men binnen elke overlevende rechthoek een disjuncte collectie van kleinere rechthoeken kan vinden die een significant deel van de oorspronkelijke maat beslaan.

Stap 4: Massaverdeling en Dimensieberekening

Om de Hausdorff-dimensie te schatten, wordt een kansmaat $\mu$ geconstrueerd die gedragen wordt op $D_\epsilon(B)$.

• De massa wordt gelijkmatig verdeeld over de rechthoeken in elke laag van de constructie.
• Stelling 5.1 en Lemma 5.2 tonen aan dat deze maat voldoet aan de voorwaarde van het Mass Distribution Principle: voor een bal $F$ met straal $r$, geldt $\mu(F) \le C r^{s-\epsilon}$, waarbij $s$ de doel-dimensie is.
• De analyse wordt opgesplitst in drie gevallen afhankelijk van de relatieve grootte van de straal $r$ ten opzichte van de noemers van de rationale punten. Dit leidt tot de twee termen in de minimum-functie van het hoofdresultaat.

4. Belangrijkste Bijdragen

1. Generalisatie naar het gewogen geval: Het artikel breidt bekende resultaten uit het ongewogen geval ($\tau_1 = \tau_2$) uit naar het asymmetrische gewogen geval ($\tau_1 \neq \tau_2$) in dimensie 2.
2. Scherpe lokale dimensieformule: Het bewijst dat de lokale Hausdorff-dimensie (binnen elke bal) gelijk is aan de globale dimensie, wat een sterke meetkundige eigenschap is.
3. Onafhankelijk bewijs: Hoewel recente preprints (Bandi & Fregoli) een sterker resultaat hebben bewezen (dat de dimensie van exact benaderbare vectoren gelijk is aan die van benaderbare vectoren voor algemene $\tau$), biedt dit artikel een onafhankelijk bewijs dat specifiek de lokale structuur benadrukt en gebruikmaakt van een meetkundige constructie (Cantor-set + massaverdeling) in plaats van abstracte maatstelsels.
4. Technische innovatie: De ontwikkeling van de TG,R-Lemma en de zorgvuldige analyse van de massa-verdeling in het gewogen setting vormen een waardevolle bijdrage aan de methodologie van Diophantische benadering.

5. Significance (Betekenis)

Dit werk is significant voor de theorie van Diophantische benadering omdat het de begrippen van "slecht benaderbaarheid" en "exact benaderbaarheid" in een meer realistisch, gewogen kader plaatst. Het bevestigt dat de "moeilijkheid" van het benaderen van vectoren (die de slecht benaderbare verzameling definieert) niet leidt tot een verlies van fractale complexiteit, zelfs niet wanneer de benaderingsfuncties voor de verschillende coördinaten verschillend zijn. De methode biedt een blauwdruk voor het analyseren van vergelijkbare problemen in hogere dimensies of met andere gewichtsfuncties.

Het artikel vormt een onderdeel van het afstudeerproject van de auteur en demonstreert een hoog niveau van technische beheersing van de moderne meetkunde van Diophantische benadering.