🔢 mathematics

Prescribed distinct-digit growth in countable alphabets

Dit artikel bepaalt de Hausdorff-dimensies van uitzonderingsverzamelingen in tellbare alfabetten waarbij het aantal verschillende cijfers in affiene iteratieve functiesystemen met regelmatige variatie groeit, en toont aan dat er een scherpe faseovergang optreedt waarbij lineaire groei de dimensie doet instorten tot een waarde die alleen door de staartindex wordt bepaald, terwijl sublineaire groei de volledige dimensie behoudt.

Oorspronkelijke auteurs: Ying Wai Lee

Gepubliceerd 2026-02-13

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ying Wai Lee

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

Stel je voor dat je een oneindig lange rij getallen schrijft, bijvoorbeeld de cijfers van een getal zoals $\pi$ of een willekeurig getal tussen 0 en 1. Je gebruikt daarvoor een alfabet met oneindig veel mogelijke symbolen (bijvoorbeeld alle natuurlijke getallen: 1, 2, 3, 4...).

Deze wetenschappelijke paper, geschreven door Ying Wai Lee, onderzoekt een heel specifieke vraag over zo'n rij: Hoe snel ontdek je nieuwe, nog niet eerder geziene symbolen?

Laten we dit uitleggen met een paar alledaagse metaforen.

1. Het Spel: De Oneindige Lijst met Vakjes

Stel je een enorme kast met oneindig veel vakjes voor, genummerd 1, 2, 3, enzovoort.

Elke keer dat je een "trek" doet, kies je willekeurig een vakje.
Sommige vakjes zijn heel groot en populair (je trekt ze vaak).
Andere vakjes zijn heel klein en zeldzaam (je trekt ze bijna nooit).
Je doet dit oneindig vaak.

De vraag is: Hoe snel vul je nieuwe, nog lege vakjes?

Als je na 100 trekkingen 10 nieuwe vakjes hebt gevonden, is dat langzaam.
Als je na 100 trekkingen 50 nieuwe vakjes hebt gevonden, is dat snel.

In de wiskunde noemen we dit het tellen van "verschillende symbolen" (distinct digits). De paper kijkt naar wat er gebeurt als je probeert te forceren dat je nieuwe symbolen vindt met een heel specifiek tempo.

2. De Twee Regimes: De "Snelheidslimiet" en de "Wandeltocht"

De auteur ontdekt dat er een scherp onderscheid is tussen twee soorten snelheden, en dat dit een enorme impact heeft op de "grootte" van de verzameling getallen die dit gedrag vertonen.

A. De Snelheidslimiet (Lineaire groei)

Stel je voor dat je eist dat je elke keer een nieuw vakje vindt, of in ieder geval een vast percentage van de totale trekkingen. Bijvoorbeeld: "Na 1000 trekkingen moet ik 100 nieuwe vakjes hebben gevonden."

Het Resultaat: Dit is extreem moeilijk. Het is alsof je probeert om in een drukke stad elke seconde een nieuwe, nog nooit eerder geziene persoon te ontmoeten.
De "Val": Als je dit eist, krimpt de "grootte" van de groep mensen die dit kunnen doen, enorm in. In wiskundige termen: de dimensie (een maat voor hoe groot of complex een verzameling is) stort in.
De Oorzaak: Hoe snel deze ineenstorting gebeurt, hangt alleen af van hoe "dik" de staart van je kansverdeling is (hoe vaak je die zeldzame, grote vakjes trekt). Het is een universele wet: als je te snel wilt gaan, blijft er maar een heel klein, broos groepje over.

B. De Wandeltocht (Sublineaire groei)

Stel je nu voor dat je een veel rustiger tempo eist. Bijvoorbeeld: "Na 1000 trekkingen moet ik ongeveer 30 nieuwe vakjes hebben gevonden" (de wortel van 1000 is ongeveer 31, dus dit is een natuurlijk, langzaam tempo).

Het Resultaat: Dit is verrassend genoeg heel makkelijk!
De "Overleving": Als je eist dat je nieuwe symbolen vindt, maar niet te snel (bijvoorbeeld de wortel van het aantal trekkingen), dan is de groep mensen die dit kan doen net zo groot als de hele verzameling.
De Metafoor: Het is alsof je zegt: "Ik wil elke dag een nieuwe bloem zien." Dat is makkelijk genoeg. Je kunt dit doen met bijna elke willekeurige rij getallen. De "grootte" van de verzameling blijft volledig behouden (dimensie 1).

3. De "Schakelaar" (Phase Transition)

Het meest fascinerende aan dit paper is de schakelaar tussen deze twee werelden.

Als je eist dat de groei lineair is (een vast percentage van het totaal), stort de complexiteit in. Het is alsof je een brug probeert te bouwen die te snel moet groeien; hij breekt en wordt heel dun.
Als je eist dat de groei sublineair is (langzamer dan een vast percentage), blijft de brug volledig breed en stevig.

De auteur laat zien dat dit fenomeen niet alleen geldt voor getallen zoals $\pi$ of breuken, maar voor een hele klasse van wiskundige systemen die lijken op het "Lüroth-expansie" systeem (een manier om getallen te schrijven die vergelijkbaar is met het schrijven van breuken, maar dan met een oneindig alfabet).

Samenvattend in één zin

De paper laat zien dat als je eist dat je in een oneindige lijst van getallen te snel nieuwe symbolen vindt, je alleen nog maar op een heel klein, fragiel groepje getallen terecht komt; maar als je een redelijk, langzaam tempo eist, is bijna elk getal in het universum geschikt om dit te doen.

Het is een mooi voorbeeld van hoe wiskunde ons leert dat er een heel scherpe grens is tussen "haalbaar" en "bijna onmogelijk", en dat die grens wordt bepaald door hoe zeldzaam de "grote" symbolen in je systeem zijn.

Titel: Voorgeschreven Groei van Verschillende Cijfers in Telfbare Alfabetten

1. Probleemstelling en Context

Het artikel onderzoekt de statistiek van het aantal verschillende symbolen (distinct digits) dat optreedt in cijferexpansies gegenereerd door affiene volledige tak-iteratieve functiesystemen (IFS) met een telfbaar alfabet.

De Kernvraag: Hoe groeit het aantal unieke symbolen $D_n$ dat is waargenomen na $n$ stappen in een dynamisch systeem? De auteurs bestuderen de Hausdorff-dimensie van uitzonderlijke verzamelingen waar deze groei afwijkt van het typische gedrag.
Het Model: Het systeem werkt op het interval $[0, 1)$ . Het interval wordt gepartitioneerd in een aftelbaar aantal deelintervallen $I_k$ , waarbij elke tak $I_k$ affien wordt afgebeeld op het hele interval. De kansen (gewichten) $p_k$ voor het kiezen van een tak zijn onafhankelijk en identiek verdeeld (i.i.d.) onder het Lebesgue-maat.
Voorbeelden:
- Lüroth-ontwikkeling: Een klassiek voorbeeld binnen dit kader.
- Vervolgbreuken (Continued Fractions): Hoewel hier de cijfers niet onafhankelijk zijn, vertonen ze vergelijkbare statistische eigenschappen. De resultaten in dit artikel generaliseren eerdere bevindingen van Wu en Xie over vervolgbreuken naar het onafhankelijke i.i.d.-geval.
De Hypothese: De gewichten $p_k$ vertonen een regelmatig variërende staart met een staartindex $\rho \geq 1$ . Dit betekent dat $p_k \sim k^{-\rho} L(k)$ voor een traag variërende functie $L$ .

2. Methodologie

De auteurs combineren methoden uit de probabilistische theorie van bezettingsproblemen (infinite-urn occupancy schemes), reguliere variatie en fractale meetkunde (Hausdorff-dimensie).

Probabilistische Input: Omdat het cijferproces i.i.d. is, kan het worden gemodelleerd als een "oneindig-urn" bezettingsprobleem. Bekende asymptotische resultaten uit deze theorie worden gebruikt om het typische gedrag van $D_n$ te beschrijven (bijvoorbeeld $D_n \sim n^{1/\rho}$ ).
Bovenste Schatting (Upper Bound):
- Voor lineaire groei wordt een Hausdorff-Cantelli-argument gebruikt.
- Er wordt een maatsverandering (tilting) toegepast op de waarschijnlijkheidsverdeling om de kansen van zeldzame gebeurtenissen (te snelle groei van verschillende cijfers) te analyseren.
- Combinatorische lemmas worden gebruikt om te schatten hoeveel volgordes een bepaald aantal unieke symbolen kunnen genereren.
Onderste Schatting (Lower Bound):
- Er wordt een massadistributieprincipe toegepast.
- De auteurs construeren specifieke deelverzamelingen van het interval door blokken van cijfers te concateneren.
- Ze definiëren een maat $\mu$ dat gelijkmatig verdeeld wordt over deze constructie. Door de verhouding tussen de massa van een cilinder en de diameter ervan te analyseren, wordt een ondergrens voor de dimensie afgeleid.
- Voor sublineaire groei wordt een constructie gebruikt waarbij "geforceerde" nieuwe cijfers worden ingebracht op specifieke tijdstippen, terwijl andere cijfers vrij kunnen worden gekozen uit een beperkt alfabet.

3. Belangrijkste Resultaten

Het artikel onthult een scherpe fase-overgang in de Hausdorff-dimensie, afhankelijk van de voorgeschreven groeisnelheid van het aantal verschillende cijfers.

A. Lineaire Groei (Theorema 1)

Beschouw de verzameling $E_\theta$ van punten waar het aantal verschillende cijfers lineair groeit met een snelheid $\theta > 0$ :
$\lim_{n \to \infty} \frac{D_n(x)}{n} = \theta$

Resultaat: Voor elke $0 < \theta \leq 1$ geldt:
$\dim_H(E_\theta) = \frac{1}{\rho}$
Interpretatie: Het opleggen van een positieve lineaire groeisnelheid zorgt ervoor dat de dimensie instort tot een waarde die uitsluitend wordt bepaald door de staartindex $\rho$ van de gewichten. Dit is een universeel gedrag dat onafhankelijk is van de specifieke waarde van $\theta$ (zolang $\theta > 0$ ).
Voorbeeld Lüroth: Voor de klassieke Lüroth-ontwikkeling is $\rho = 2$ , wat resulteert in een dimensie van $1/2$ , wat overeenkomt met eerdere resultaten voor vervolgbreuken.

B. Sublineaire Groei (Theorema 2 & Corollarium 1)

Beschouw een breed scala aan sublineaire groeifuncties $f(n)$ (waarbij $f(n) \to \infty$ maar $f(n)/n \to 0$ ), zoals $n^\beta$ met $0 < \beta < 1$ .

Resultaat: Voor een grote klasse van "toelaatbare" functies $f$ geldt:
$\dim_H(E_f) = 1$
Waarbij $E_f = \{x : \lim D_n(x)/f(n) = 1\}$ .
Interpretatie: Zolang de groei sublineair is, behouden deze uitzonderlijke verzamelingen hun volledige Hausdorff-dimensie (dimensie 1). De "kost" van het afwijken van het typische gedrag is hier niet groot genoeg om de dimensie te verlagen.

C. De Fase-overgang

Er is een scherp onderscheid:

Sublineair: Dimensie blijft 1 (volledig).
Lineair (positief): Dimensie stort in tot $1/\rho$ .
Grengeval (nul lineaire snelheid): Zelfs als de limiet 0 is (maar de groei niet te traag is), blijft de dimensie 1.

4. Significantie en Bijdrage

Generalisatie: Het werk generaliseert de bekende resultaten van Wu en Xie (oorspronkelijk voor vervolgbreuken) naar een bredere klasse van systemen met onafhankelijke cijfers, specifiek affiene volledige tak-IFS.
Universeelheid van de Dimensiedaling: Het toont aan dat de dimensiedaling bij lineaire groei een fundamenteel kenmerk is van systemen met zware staarten (heavy-tailed distributions), en dat de daling uitsluitend afhangt van de staartindex $\rho$ , niet van de specifieke groeisnelheid $\theta$ .
Methodologische Innovatie: De combinatie van reguliere variatie met constructieve bewijstechnieken (blokkenconcatenatie en tilting) biedt een robuust raamwerk voor het analyseren van niet-additieve observabelen in dynamische systemen.
Verband met Fractale Meetkunde: Het artikel verduidelijkt hoe de "geometrische grootte" (dimensie) van verzamelingen met atypisch gedrag reageert op verschillende schalen van afwijking, en bevestigt dat sublineaire afwijkingen vaak "ruimtelijk groot" blijven, terwijl lineaire afwijkingen "ruimtelijk klein" worden.

Conclusie

Ying Wai Lee demonstreert dat in telfbare alfabetten met regelmatig variërende gewichten, de dimensie van verzamelingen met een voorgeschreven groei van verschillende cijfers een scherp gedrag vertoont. Sublineaire groei behoudt de volledige dimensie, terwijl elke positieve lineaire groei de dimensie dwingt tot de waarde $1/\rho$ . Dit onderstreept de diepe connectie tussen de probabilistische staartgedrag van het systeem en de fractale geometrie van de bijbehorende uitzonderlijke verzamelingen.