Finer geometry of planar self-affine sets

Dit artikel karakteriseert de fijnere meetkundige eigenschappen van planaire zelf-affiene verzamelingen die voldoen aan de sterke scheidingsvoorwaarde, waaronder Ahlfors-regulariteit en projectie-eigenschappen, door de relatie tussen Hausdorff-, Assouad- en affiene dimensies te analyseren in zowel de regime met dimensie kleiner dan één als groter dan of gelijk aan één.

De kern

De Magie van Kromme Spiegels: Een Reis door de Geometrie van Vervormde Patronen

Stel je voor dat je een stukje papier hebt met een ingewikkeld patroon erop. Als je dit papier in een normale spiegel (een simpele, ronde spiegel) kijkt, zie je een exacte kopie, misschien iets kleiner, maar de vorm blijft hetzelfde. In de wiskunde noemen we dit een zelf-similair object. Denk aan een sneeuwvlok of een boomtak die eruitziet als een kleinere versie van de hele boom.

Maar wat gebeurt er als je in een vervormde spiegel kijkt? Een spiegel die het beeld in de breedte uitrekt en in de hoogte platdrukt? Of misschien in de ene richting heel erg krimpt en in de andere nauwelijks? Dit noemen we een zelf-affiene set. Het patroon ziet er nog steeds hetzelfde uit, maar het is "vervormd" (affien).

De auteurs van dit artikel, Balázs Bárány, Antti Käenmäki en Han Yu, kijken naar deze vervormde patronen in een plat vlak (zoals een vel papier) en proberen de geometrie ervan te doorgronden. Ze stellen zich vragen als: "Hoe ruw is dit patroon?", "Is het overal even dik?" en "Wat gebeurt er als we er langs kijken?"

Hier zijn de belangrijkste ontdekkingen, vertaald naar alledaagse taal:

1. De Dikte van het Patroon (Ahlfors Regulariteit)

Stel je voor dat je een verfroller over je patroon haalt.

• Gelijkmatig: Als het patroon overal even "dik" is, en als je een klein stukje vergroot, zie je dat het eruitziet als een groter stukje van hetzelfde, dan noemen we dit Ahlfors-regular. Het is als een perfect gebakken pannenkoek: overal even dik.
• Onregelmatig: Sommige patronen zijn als een spons die hier en daar heel dun is en daar weer heel dik.

De ontdekking: De auteurs hebben ontdekt dat voor deze vervormde patronen een heel specifieke regel geldt: Als het patroon "Ahlfors-regular" is (perfect gelijkmatig), dan is de hoeveelheid "verf" (de maatstaf) die erop zit, precies goed: niet te weinig (nul) en niet te veel (oneindig). Als het patroon niet gelijkmatig is, dan is het vaak ofwel heel dun (nul maatstaf) of juist heel rommelig. Ze hebben een soort "test" bedacht om te zien of een patroon perfect gelijkmatig is, door te kijken naar hoe de patronen eruitzien als je er loodrecht op kijkt (projecties).

2. De "Schijfjes" van het Patroon (Slices)

Stel je voor dat je een grote, complexe kaasblok (het patroon) hebt. Als je er een mes doorheen haalt, krijg je een schijfje.

• De klassieke wiskundige regel (Marstrand's theorema) zegt: "Als je een willekeurige schijfje neemt, is die schijfje meestal niet dikker dan de rest van de kaas minus één dimensie."
• De verrassing: De auteurs tonen aan dat bij deze specifieke, vervormde patronen deze regel niet altijd geldt voor elk schijfje. Er zijn speciale richtingen (die ze "Furstenberg-richtingen" noemen, een soort van "magische hoeken" waar het patroon het meest uitgerekt is) waar de schijfjes juist heel dik kunnen zijn.
• Analogie: Stel je voor dat je een elastiek uitrekt. Als je er loodrecht op knipt, krijg je een dunne draad. Maar als je in de richting van de rek knipt, krijg je een dik stuk. Bij deze patronen zijn er bepaalde "magische hoeken" waar je de dikste mogelijke schijfjes krijgt, en die dikte is precies voorspelbaar door de "Assouad-dimensie" (een maatstaf voor hoe ruw het patroon is).

3. De Ruwheid (Assouad-dimensie vs. Huasdorff-dimensie)

In de wiskunde hebben we verschillende manieren om de "grootte" of "ruwheid" van een object te meten:

• Huasdorff-dimensie: Dit is de gemiddelde ruwheid. Denk aan de gemiddelde dikte van een wolkenkrabber.
• Assouad-dimensie: Dit is de maximale ruwheid. Denk aan de meest ingewikkelde, krullende hoek van diezelfde wolkenkrabber.

Bij simpele patronen (zoals de sneeuwvlok) zijn deze twee getallen vaak gelijk. Maar bij deze vervormde patronen kunnen ze verschillen!

• De ontdekking: De auteurs tonen voorbeelden aan waar het patroon gemiddeld vrij glad is (lage Huasdorff-dimensie), maar op sommige plekken extreem ruw en ingewikkeld (hoge Assouad-dimensie). Het is alsof je een gladde weg hebt die op sommige plekken plotseling overgaat in een berg met rotsen. Ze bewijzen dat dit verschil echt kan bestaan en dat het niet alleen een theoretisch idee is.

4. Het "Typische" Geval

De auteurs kijken ook naar wat er gebeurt als je willekeurige patronen maakt (door de verplaatsing van de stukjes een beetje te verschuiven).

• Ze ontdekken dat voor de meeste willekeurige patronen, de "magische hoeken" (Furstenberg-richtingen) zorgen voor een situatie waarin het patroon niet perfect gelijkmatig is.
• Conclusie: Als je een willekeurig vervormd patroon maakt, is de kans groot dat het "ruw" is op de manier die we in punt 3 beschreven hebben. Perfecte gelijkmatigheid is de uitzondering, niet de regel.

Samenvatting in één zin:

Deze wetenschappers hebben ontdekt dat vervormde, zelf-herhalende patronen op het papier veel complexer en "ruwer" zijn dan we dachten, en dat ze in bepaalde magische richtingen schijfjes hebben die dikker zijn dan de klassieke wiskundige regels voorspellen, terwijl perfecte gelijkmatigheid slechts in zeer specifieke gevallen voorkomt.

Het artikel is dus een soort "handboek" voor het begrijpen van de fijne structuur van deze wiskundige kunstwerken, en het laat zien dat de wereld van de wiskunde vol zit met verrassingen als je de spiegel een beetje vervormt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Finer Geometry of Planar Self-Affine Sets" van Bárány, Käenmäki en Yu, geschreven in het Nederlands.

Titel: Fijnere geometrie van planaire zelf-affiene verzamelingen

Auteurs: Balázs Bárány, Antti Käenmäki, en Han Yu
Datum: 5 maart 2026 (gepubliceerd op arXiv:2107.00983v2)

---

1. Probleemstelling en Context

Het artikel onderzoekt de fijne meetkundige eigenschappen van planare zelf-affiene verzamelingen ($X \subset \mathbb{R}^2$) die voldoen aan de sterke scheidingsvoorwaarde (Strong Separation Condition, SSC). Zelf-affiene verzamelingen worden gegenereerd door een eindige verzameling van inverteerbare affiene contracties $\phi_i(x) = A_i x + v_i$.

Hoewel recente doorbraken (vooral door Bárány, Hochman en Rapaport [8]) hebben aangetoond dat onder milde aannames de Hausdorff-dimensie ($\dim_H$) gelijk is aan de affiniteitsdimensie ($\dim_{aff}$), blijven er fundamentele vragen open over de fijnere meetkunde:

1. Ahlfors-regulariteit: Wanneer is de Hausdorff-maat $H^s(X)$ positief en eindig (waarbij $s = \dim_H(X)$)? Dit is equivalent aan Ahlfors-regulariteit.
2. Projecties en Sneden: Hoe gedragen de projecties en sneden (slices) van deze verzamelingen zich? Specifiek: gelden de klassieke Marstrand-projectie- en snedestellingen voor alle richtingen of alleen voor "bijna alle"?
3. Assouad-dimensie: Hoe verhoudt de Assouad-dimensie ($\dim_A$) zich tot de affiniteitsdimensie en de Hausdorff-dimensie in het regime waar $\dim_H(X) \geq 1$?

De auteurs focussen op gedomineerde en irreducibele systemen. Een systeem is gedomineerd als de lineaire delen een sterke expansie in één richting en compressie in een andere vertonen (met een invariant multicone), en irreducibel als er geen gemeenschappelijke invariant lijn is.

---

2. Methodologie

De auteurs combineren diverse geavanceerde technieken uit de dynamische systemen, maattheorie en meetkunde:

• Zwakke Tangenten (Weak Tangents): Een centrale techniek is het analyseren van de verzameling van zwakke tangenten ($Tan(X)$). Volgens een stelling van Käenmäki, Ojala en Rossi is de Assouad-dimensie gelijk aan de maximale Hausdorff-dimensie van een zwakke tangent. De auteurs tonen aan dat deze tangenten vaak een "quasi-product" structuur hebben.
• Furstenberg-richtingen en Irreducibiliteit: Ze gebruiken de theorie van Furstenberg-maten en de set van Furstenberg-richtingen ($X_F$), die de grensrichtingen van de inverse lineaire actie beschrijven. Onder de aanname van dominantie en irreducibiliteit is $X_F$ een perfecte verzameling met positieve dimensie.
• Overdrachtsoperatoren (Transfer Operators): Ze gebruiken de Perron-Frobenius-operator en evenwichtstoestanden (equilibrium states) om de gedragingen van projecties en de Hausdorff-inhoud te bestuderen.
• Baire-categorie theorema: Voor typische resultaten (in de topologische zin) gebruiken ze Baire-categorie argumenten om aan te tonen dat bepaalde pathologische eigenschappen voorkomen in een residuële verzameling van parameters.
• Constructie van tegenvoorbeelden: Ze construeren specifieke voorbeelden (gebaseerd op Bedford-McMullen tapijten) om de grenzen van bestaande stellingen te testen.

---

3. Belangrijkste Bijdragen en Resultaten

De resultaten worden verdeeld in twee regimes: $\dim_H(X) < 1$ en $\dim_H(X) \geq 1$.

A. Het regime $\dim_H(X) < 1$

In dit regime karakteriseren de auteurs Ahlfors-regulariteit volledig.

• Equivalentie: Voor een gedomineerde, irreducibele zelf-affiene verzameling met SSC is de volgende stelling waar:
  $X$ is Ahlfors $s$-regular $\iff H^s(X) > 0 \iff \dim_L(X) = \dim_H(X) = \dim_A(X)$.
  Hierbij is $\dim_L$ de lower dimension.
• Projectiecontrole: Ahlfors-regulariteit is equivalent aan een zeer sterke controle over de multipliciteit van pre-afbeeldingen in orthogonale projecties op richtingen loodrecht op de Furstenberg-richtingen. Als $X$ niet Ahlfors-regulier is, dan is $\dim_H(X) < 1 \leq \dim_A(X)$, en hebben bijna alle orthogonale projecties Assouad-dimensie 1.
• Conclusie: Er bestaan zowel Ahlfors-regulaire als niet-regulaire voorbeelden in dit regime.

B. Het regime $\dim_H(X) \geq 1$

Hier blijken de resultaten fundamenteel anders dan voor zelf-simile verzamelingen.

• Geen Ahlfors-regulariteit: Als $\dim_H(X) > 1$, kan $X$ nooit Ahlfors-regulier zijn, omdat de lower dimension $\dim_L(X)$ altijd begrensd is door 1.
• Maximale snedendimensie: De auteurs identificeren de maximale dimensie van een snede (slice) in Furstenberg-richtingen. Ze bewijzen dat:
  $$\max_{x \in X, V \in X_F} \dim_H(X \cap (V + x)) = \dim_A(X) - 1 < 1$$
  Dit betekent dat de "surplus" dimensie precies wordt opgevangen door de sneden in specifieke richtingen.
• Schending van Marstrand: Ze tonen aan dat de klassieke Marstrand-snedestelling (die zegt dat bijna elke snede dimensie $\max(0, \dim_H(X)-1)$ heeft) niet voor alle sneden geldt. Er bestaan voorbeelden waar de maximale snedendimensie strikt groter is dan $\dim_H(X) - 1$ (namelijk $\dim_A(X) - 1$).
• Relatie tussen dimensies: Ze presenteren voorbeelden van gedomineerde, irreducibele verzamelingen waar:
  $$\dim_{aff}(X) < 1 \leq \dim_A(X)$$
  Dit weerlegt de intuïtie dat $\dim_{aff}$ en $\dim_A$ vaak samenvallen buiten tapijt-achtige structuren.

C. Typische Gedragingen

Met behulp van Baire-categorie theorema tonen ze aan dat voor een "typische" keuze van translatievectoren (in de topologische zin), de projecties niet voldoen aan de projectieve scheidingsvoorwaarde. Dit impliceert dat voor typische systemen $\dim_A(X) \geq 1$ zelfs als de Hausdorff-maat nul is.

---

4. Technische Kernpunten en Bewijstechnieken

• Lemma 3.1 & Theorem 3.2: Bewijzen dat $\dim_L(X) = \min\{1, \dim_H(X)\}$ voor strikt affiene, sterk irreducibele systemen. Dit is cruciaal om Ahlfors-regulariteit uit te sluiten bij $\dim_H > 1$.
• Theorem 3.3: Bepaalt de Assouad-dimensie via de maximale snedendimensie in Furstenberg-richtingen. Het bewijs maakt gebruik van de constructie van een zwakke tangent die een productstructuur $L \times W$ nabootst, waarbij $L$ een snede is en $W$ een projectie.
• Theorem 3.5: Geeft een volledige karakterisering van Ahlfors-regulariteit voor $\dim_H \leq 1$ via de "projectieve scheidingsvoorwaarde" (projective separation). Als deze voorwaarde faalt, is de verzameling niet Ahlfors-regulier.
• Theorem 3.7: Toont aan dat de projectieve scheidingsvoorwaarde typisch faalt, wat leidt tot een residuële verzameling van parameters waarbij $\dim_A(X) \geq 1$.

---

5. Betekenis en Impact

Dit artikel is een significante stap in de theorie van zelf-affiene verzamelingen:

1. Verduidelijking van de rol van Ahlfors-regulariteit: Het biedt de eerste complete karakterisering van wanneer de Hausdorff-maat positief is voor een grote klasse van niet-carpet zelf-affiene verzamelingen.
2. Overtreding van intuïtie: Het toont aan dat zelf-affine verzamelingen (in tegenstelling tot zelf-simile verzamelingen) complexe structuren kunnen hebben waar $\dim_H$, $\dim_A$ en $\dim_{aff}$ allemaal verschillend zijn, zelfs onder de sterke scheidingsvoorwaarde.
3. Snedestellingen: Het weerlegt de veronderstelling dat Marstrand-type schattingen voor sneden universeel gelden voor alle richtingen in het zelf-affiene regime, en identificeert precies waar de uitzonderingen liggen (Furstenberg-richtingen).
4. Methodologische doorbraak: De combinatie van zwakke tangenten, Furstenberg-theorie en overdrachtsoperatoren biedt een krachtig nieuw raamwerk voor het analyseren van de fijnere meetkunde van fractalen.

Samenvattend vult dit werk de kloof tussen de bekende resultaten voor zelf-simile verzamelingen/Bedford-McMullen tapijten en het algemene zelf-affine geval, en levert het scherpe voorwaarden en tegenvoorbeelden die de complexiteit van deze meetkundige objecten blootleggen.