🔢 mathematics

Entropy rates in the dimension theory of self-similar measures

Dit surveyartikel bespreekt de dimensietheorie van zelfgelijkende maten op de reële lijn, met bijzondere aandacht voor de rol van entropiesnelheden.

Oorspronkelijke auteurs: Péter P. Varjú

Gepubliceerd 2026-03-24

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Péter P. Varjú

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Grote Vraag: Hoe "vol" is een wiskundig patroon?

Stel je voor dat je een magische machine hebt die een tekening maakt. Deze machine werkt als volgt:

Je begint met een lijn.
De machine pakt die lijn, verkleint hem een beetje (bijvoorbeeld tot de helft) en kopieert hem.
Hij doet dit een paar keer, maar verplaatst de kopieën ook een beetje naar links of rechts.
Dan herhaalt hij dit proces oneindig vaak met de nieuwe kopieën.

Het resultaat is een heel complex, wiskundig patroon (een "zelfgelijkend" meetkundig figuur). Soms lijkt dit op een vage wolk, soms op een scherpe, gatenrijke structuur (zoals een koolstofkristal of een sneeuwvlok).

De vraag die wiskundigen zich stellen is: Hoe "vol" is dit patroon?

Is het een dunne lijn (dimensie 1)?
Is het een punt (dimensie 0)?
Of zit het ergens ergens tussenin, zoals een "wazige" lijn die net niet helemaal vol zit?

In de wiskunde noemen we dit de dimensie. Het artikel van Varjú gaat over hoe we deze dimensie kunnen berekenen, en vooral over een geheimzinnige grootheid die entropie heet.

De Analogie: Het Koffiezetten en de "Verwarring"

Om het concept van entropie (in dit geval de "entropiesnelheid") te begrijpen, stel je een koffiezetter voor die een heel specifiek recept volgt.

De Regels: Je hebt een set instructies. "Neem de kopie, verklein hem, en zet hem op positie A of B."
De Kans: Bij elke stap kies je willekeurig voor A of B (50/50 kans).
De Chaos: Als je dit heel vaak doet, krijg je een enorme hoeveelheid koffie (het patroon).

De "Entropiesnelheid" is een maat voor hoe veel "verwarring" of "onvoorspelbaarheid" er in het eindresultaat zit.

Geen overlappingen (De perfecte koffiezet):
Stel dat de instructies zo zijn dat kopieën elkaar nooit raken. Dan is elke stap uniek. Je weet precies waar elke druppel koffie zit. De "verwarring" is maximaal omdat er geen twee wegen naar dezelfde plek leiden. In dit geval is de dimensie van het patroon precies wat je zou verwachten op basis van de verkleining.
Overlappingen (De rommelige koffiezet):
Stel nu dat je instructies zo gekozen zijn dat twee verschillende routes naar precies hetzelfde punt leiden.
- Route 1: Eerst naar links, dan naar rechts.
- Route 2: Eerst naar rechts, dan naar links.
- Resultaat: Je komt op exact dezelfde plek uit.
Dit is een exacte overlapping. In de wereld van de koffiezet betekent dit dat je twee verschillende instructies hebt die hetzelfde resultaat geven. Je "waste" een stap. De informatie die je dacht dat je had (dat je twee verschillende routes had), is eigenlijk verdwenen omdat ze samenvielen.

De kern van het artikel: Als er veel overlappingen zijn, daalt de "entropiesnelheid". Het patroon wordt "minder vol" dan je zou denken. De dimensie daalt.

Het Grote Geheim: De Vermoedens (Conjecture)

Wiskundigen hebben een groot vermoeden (een conjecture) dat ze proberen te bewijzen:

"De dimensie van het patroon is altijd gelijk aan het minimum van twee dingen: 1 (de maximale ruimte) en een berekening die gebaseerd is op de 'entropiesnelheid'."

Kortom: Als je weet hoeveel "verwarring" er in het proces zit (de entropie), kun je precies zeggen hoe vol het patroon is.

Het probleem: Soms lijken er geen overlappingen te zijn, maar zijn ze er wel, op een heel subtiele manier die pas na duizenden stappen zichtbaar wordt. Of ze zijn er, maar ze zijn zo zeldzaam dat het moeilijk is om ze te vinden.

De Doorbraak: Hochman en de "Exponentiële Scheiding"

Ongeveer tien jaar geleden deed een wiskundige genaamd Hochman een enorme doorbraak. Hij bewees dat als de "routes" in je koffiezetmachine niet te dicht bij elkaar komen (een voorwaarde die hij "exponentiële scheiding" noemde), dan geldt het vermoeden altijd.

Analogie: Stel je voor dat je twee wegen hebt die bijna samenkomen, maar ze blijven netjes uit elkaar, zelfs als je heel ver weg kijkt. Dan is het patroon "gezond" en kun je de dimensie makkelijk berekenen.

Varjú's artikel bespreekt wat er gebeurt als we deze regels versoepelen. Wat als de wegen wel heel dicht bij elkaar komen, of zelfs samenvallen?

De Speciale Gevallen: De "Bernoulli-Convoluties"

Een beroemd voorbeeld is de Bernoulli-convolutie. Dit is een heel simpel patroon:

Je hebt een getal $\lambda$ (bijvoorbeeld 0,6).
Je hebt twee regels: "Verklein met 0,6 en ga naar links" of "Verklein met 0,6 en ga naar rechts".

De vraag is: Voor welke getallen $\lambda$ is het patroon "vol" (dimensie 1) en voor welke is het "hol"?

Het mysterie: Voor de meeste getallen is het patroon vol. Maar voor een paar speciale, rare getallen (zoals de omgekeerde van "Pisot-getallen") is het patroon hol.
De rol van de entropie: Het artikel laat zien dat deze "holle" momenten precies samenvallen met momenten waar de entropiesnelheid daalt. De "verwarring" in het systeem neemt af omdat de wegen samenvallen.

De Nieuwe Uitdaging: Twee Variabelen

In de eerste helft van het artikel kijken we naar situaties waar alles vaststaat, behalve één getal. Maar in het laatste deel (sectie 4) kijken we naar een nog complexere situatie:

We hebben nu twee knoppen om te draaien: $\lambda$ (verkleining) en $\tau$ (verschuiving).

Dit is als een koffiezetmachine met twee draaiknoppen.

Bij één knop zijn de "probleemgevallen" (waar de wegen samenvallen) gewoon losse punten.
Bij twee knoppen vormen de probleemgevallen lijnen of krommen in het landschap van de knoppen.

Dit maakt het veel moeilijker. Het is alsof je probeert te voorkomen dat je op een lijn van modder stapt, in plaats van op een paar losse modderplekken.

Varjú en zijn collega's hebben bewezen dat zelfs in deze complexe tweedimensionale wereld, als er geen "exacte overlappingen" zijn, het patroon meestal "vol" is (dimensie 1), zolang het getal $\lambda$ niet te klein is.

Samenvatting in Eenvoudige Woorden

Het Doel: Wiskundigen willen weten hoe "dik" of "vol" een wiskundig patroon is dat ontstaat door oneindig herhaalde verkleiningen.
De Sleutel: De "dikte" hangt af van hoe vaak de verschillende stappen in het proces op elkaar lijken (overlappingen).
De Meting: Ze gebruiken een maatstaf genaamd entropiesnelheid om te meten hoeveel "ruis" of "verwarring" er in het proces zit.
De Conclusie:
- Als er geen overlappingen zijn, is het patroon zo dik als het kan zijn.
- Als er overlappingen zijn, wordt het patroon dunner.
- Het artikel laat zien dat we deze "dunheid" precies kunnen voorspellen door naar de entropiesnelheid te kijken, zelfs in zeer complexe situaties met meerdere variabelen.

Het is als het oplossen van een gigantische puzzel: door te kijken naar hoe vaak de stukjes precies op elkaar passen (of juist niet), kunnen we voorspellen hoe het eindbeeld eruit ziet, zelfs als de puzzel oneindig groot is.

Titel: Entropiesnelheden in de dimensietheorie van zelf-simile maatstaven

Auteur: Péter P. Varjú
Context: Een overzicht van recente ontwikkelingen in de dimensietheorie van zelf-simile maatstaven op de reële lijn, met een specifieke focus op de rol van entropiesnelheden.

1. Het Probleem en Achtergrond

Het centrale probleem in dit vakgebied is het begrijpen van de Hausdorff-dimensie ( $\dim \mu$ ) van een zelf-simile maatstaf $\mu$ die wordt gegenereerd door een Iterated Function System (IFS) $\Phi = \{\phi_i\}$ op $\mathbb{R}$ met een waarschijnlijkheidsvector $p$ .

Zelf-simile maatstaven: Een maat $\mu$ voldoet aan $\mu = \sum p_i \phi_i(\mu)$ , waarbij $\phi_i(x) = \lambda_i x + \tau_i$ contractieve similariteiten zijn.
Exacte dimensie: Het is bekend dat deze maatstaven exact-dimensionaal zijn, wat betekent dat er een $\alpha$ bestaat zodat $\dim \mu = \alpha$ .
De bovengrens: Er zijn twee natuurlijke bovengrenzen voor de dimensie:
1. De dimensie van de omringende ruimte (1).
2. De similariteitsdimensie (of Shannon-entropie gedeeld door de gemiddelde logaritmische contractie):
  $\frac{-\sum p_i \log p_i}{\sum p_i \log |\lambda_i|}$
Het kernprobleem: Wanneer de IFS voldoet aan sterke scheidingsvoorwaarden (zoals de Open Set Condition), is de dimensie van $\mu$ gelijk aan de similariteitsdimensie. Het grote open probleem is wat er gebeurt als deze scheidingsvoorwaarden worden verzwakt of als er sprake is van exacte overlappingen (waarbij verschillende composities van de afbeeldingen identiek zijn).
De Folklore-conjectuur (Conjecture 3): De dimensie wordt gegeven door:
$\dim \mu = \min\left(1, \frac{h(\Phi, p)}{\sum p_i \log |\lambda_i|^{-1}}\right)$
Hierbij is $h(\Phi, p)$ de entropiesnelheid (entropy rate), gedefinieerd als de limiet van de Shannon-entropie van de samengestelde afbeeldingen. Als er geen exacte overlappingen zijn, is $h(\Phi, p)$ gelijk aan de Shannon-entropie van $p$ . De "gap" tussen Shannon-entropie en entropiesnelheid meet de mate van overlapping.

2. Methodologie

De paper gebruikt een combinatie van meetkundige, probabilistische en getaltheoretische methoden:

Exponentiële Scheidingsconditie (Hochman): In plaats van te eisen dat afbeeldingen disjunct zijn, eist deze conditie dat de afstand tussen verschillende $k$ -voudige composities niet "te snel" naar nul gaat (exponentieel gescheiden).
Transversaliteit en Diophantische Analyse: Het gebruik van technieken om te laten zien dat parameters waarbij de scheidingsconditie faalt, zeldzaam zijn of zich op specifieke structuren (zoals algebraïsche getallen) bevinden.
Mahler-maatstaf: De relatie tussen de entropiesnelheid en de Mahler-maatstaf van algebraïsche getallen wordt gebruikt om bovengrenzen te stellen aan de dimensie.
Approximatie door algebraïsche getallen: Voor transcedente parameters wordt bewezen dat als de dimensie laag is, er algebraïsche benaderingen moeten bestaan met specifieke eigenschappen (kleine entropiesnelheid).

3. Belangrijkste Resultaten en Bijdragen

A. Algebraïsche Contracties (Sectie 2)

Hoofdbreakthrough (Hochman, Theorem 5): De conjectuur is bewezen voor IFS's die voldoen aan de zwakke exponentiële scheidingsconditie. Dit geldt in het bijzonder voor alle IFS's waarbij zowel de schalingsfactoren als de translatieparameters algebraïsche getallen zijn.
Rapaport's Verbetering (Theorem 6): Het is voldoende dat alleen de schalingsfactoren algebraïsch zijn; de translatieparameters mogen willekeurig zijn (mits er geen exacte overlappingen zijn). In dit geval is de dimensie gelijk aan de similariteitsdimensie (mits deze $\le 1$ ).
Nuance: Hoewel de scheidingsconditie kan falen (afstanden kunnen willekeurig snel naar nul gaan), is het aantal paren dat "super-exponentieel" dicht bij elkaar ligt zo klein dat de entropie-afname verwaarloosbaar is.

B. Bernoulli-convoluties (Sectie 3)

Bernoulli-convoluties $\nu_\lambda$ zijn een speciaal geval met schalingsfactor $\lambda$ en translaties $\pm 1$ .

Theorema 7 (Hochman & Varjú): Voor deze familie geldt de conjectuur: $\dim \nu_\lambda = \min(1, h(\lambda)/\log \lambda^{-1})$ .
Uitzonderlijke parameters: $\dim \nu_\lambda < 1$ kan alleen gebeuren als $\lambda$ een algebraïsch getal is dat gerelateerd is aan Pisot-getallen of Salem-getallen (via de inverse).
Mahler-maatstaf en Entropie: Er wordt een verband gelegd tussen de entropiesnelheid $h(\lambda)$ $h (λ)$ en de Mahler-maatstaf $M(\lambda)$ $M (λ)$ .
- Voor algebraïsche eenheden zonder conjugaten op de eenheidscirkel geldt $h(\lambda) < \log M(\lambda)$ .
- Er is een ondergrens: $h(\lambda) \ge 0.44 \log \min(2, M(\lambda))$ .
Open Vraag: Zijn er parameters $\lambda \in [1/2, 1)$ met $\dim \nu_\lambda < 1$ waarbij $\lambda^{-1}$ geen Pisot- of Salem-getal is? (Dit zou de "Lehmer-conjectuur" raken).

C. Continuïteit en Mahler-maatstaf (Sectie 3.2)

De paper onderzoekt of de afbeelding $\lambda \mapsto h(\lambda)$ onder-half-continu is.
Als dit waar is, zou dit impliceren dat de verzameling van parameters met een lage Mahler-maatstaf gesloten is, wat een bekende conjectuur van Boyd bevestigt.

D. Twee Transcendente Parameters (Sectie 4)

De paper breidt de theorie uit naar IFS's met twee vrije parameters, bijvoorbeeld $\Phi_{\lambda, \tau} = \{x \mapsto \lambda x \pm 1 \pm \tau\}$ .

Uitdaging: In tegenstelling tot één-parameter families (waar overlappingen op discrete punten voorkomen), treden bij twee parameters exacte overlappingen op langs krommen in de parameterruimte.
Nieuwe Definitie: Er wordt een entropiesnelheid gedefinieerd voor subsets van de parameterruimte om deze krommen te kwantificeren.
Theorema 12 (Streck): Een belangrijke stap is bewezen dat als de entropiesnelheid significant lager is dan de verwachte waarde, dan moet $\lambda$ een beperkte Mahler-maatstaf hebben, OF de parameter moet op een specifieke kromme liggen (zoals $\tau=0$ ).
Theorema 13: Voor de familie $\Phi_{\lambda, \tau}$ zonder exacte overlappingen en met $\lambda > 2^{-3/2}$ , is de dimensie van de maatstaf gelijk aan 1. Dit is een nieuw resultaat voor het bereik $\lambda \in (2^{-3/2}, 1/2)$ .

4. Significatie en Conclusie

Dit survey-artikel illustreert hoe de entropiesnelheid het cruciale concept is geworden om de dimensie van zelf-simile maatstaven te begrijpen, zelfs in de afwezigheid van sterke scheidingsvoorwaarden.

Unificatie: Het verbindt de dimensietheorie met de getaltheorie (via algebraïsche getallen, Pisot-getallen en de Mahler-maatstaf).
Doorbraak: Het bevestigt de folklore-conjectuur voor een zeer breed scala aan gevallen, met name voor algebraïsche parameters.
Toekomstige Richtingen: De paper identificeert nog steeds open problemen, zoals het volledig karakteriseren van de uitzonderlijke parameters bij Bernoulli-convoluties en het bewijzen van de conjectuur voor families met twee parameters zonder extra aannames over de Mahler-maatstaf (Question 11).

Samenvattend biedt Varjú een diepgaand overzicht van hoe de interactie tussen dynamische systemen, entropie en diophantische benaderingen de dimensietheorie van fractalen heeft getransformeerd van een gebied gebaseerd op geometrische scheiding naar een gebaseerd op informatie-theoretische en algebraïsche principes.