On the maximal run-length function in the Lüroth expansion

Dit artikel bepaalt de Hausdorff-dimensie van de verzameling getallen in het interval (0,1] waarvan de Lûroth-ontwikkeling een maximale rijlengte vertoont die lineair groeit met specifieke limietinferie en limietsuperie.

De kern

De Langste Rij Gelijke Getallen: Een Reis door het Lüroth-Universum

Stel je voor dat je een getal (tussen 0 en 1) probeert te beschrijven, maar je mag alleen gehele getallen gebruiken. Je doet dit door het getal steeds verder op te splitsen, net als het openen van een reeks Russische poppetjes. Dit proces heet de Lüroth-ontwikkeling.

Elke keer als je een poppetje opent, krijg je een nieuw getal (een "cijfer"). Bijvoorbeeld: 2, 5, 2, 2, 2, 8, 3...
Deze rij getallen is uniek voor elk getal tussen 0 en 1.

Het Speelgoed: De "Run-Length" (Rijlengte)

In dit artikel kijken de onderzoekers (Dingding Yu en collega's) naar een specifiek spelletje binnen deze rijen getallen. Ze vragen zich af: "Wat is de langste rij van identieke cijfers die ik kan vinden?"

• In de rij 2, 5, 2, 2, 2, 8 is de langste rij van gelijke cijfers de drie 2's. De lengte is dus 3.
• In de rij 3, 3, 3, 3, 3 is de lengte 5.

De onderzoekers noemen dit de maximale rijlengte ($\ell_n$). Ze kijken naar de eerste $n$ cijfers en vragen: hoe lang is de langste blok van gelijke cijfers?

Het Grote Geheim: Hoe snel groeit deze rij?

Voor de meeste willekeurige getallen groeit deze langste rij heel langzaam. Het is als een slak die een beetje vooruitkomt. Wiskundig gezien groeit het met de snelheid van een logaritme (zeer traag).

Maar, wat als er een "uitzonderlijk" getal bestaat dat zich anders gedraagt? Wat als er een getal is waarbij de langste rij van gelijke cijfers explosief groeit? Stel dat naarmate je meer cijfers bekijkt, de langste rij steeds een groter percentage van het totaal wordt.

• Bij een normaal getal is de langste rij misschien 1% van het totaal na 1000 cijfers, en 0,5% na 10.000.
• Bij een "raar" getal zou de langste rij misschien 20% van het totaal zijn, of zelfs 50%!

De onderzoekers willen weten: Hoeveel van deze "raare" getallen zijn er eigenlijk?

De Maatstaf: De "Fractale Dimensie"

In de wiskunde is het lastig om te zeggen hoeveel getallen er in een verzameling zitten als die verzameling oneindig is. Daarom gebruiken ze een maatstaf die Hausdorff-dimensie heet.

Je kunt dit zien als een complexiteitsmeter of een "ruimte-inname-meter":

• Een enkele punt heeft dimensie 0.
• Een lijn heeft dimensie 1.
• Een vlak heeft dimensie 2.

De onderzoekers hebben een verzameling getallen gedefinieerd (laten we ze de "Rij-Gezinnen" noemen) waarbij de langste rij precies een bepaald percentage ($\alpha$) van het totaal is, en soms even hoog als een ander percentage ($\beta$).

Ze hebben berekend hoe "vol" deze verzameling is. Het antwoord is verrassend en hangt af van de verhouding tussen $\alpha$ en $\beta$.

De Resultaten in Eenvoudige Taal

De onderzoekers hebben een formule gevonden die vertelt hoe "ruimtelijk" deze verzameling is.

1. Het Normale Geval (Dimensie 1):
   Als je kijkt naar getallen waarbij de langste rij nooit echt groot wordt (bijvoorbeeld $\beta = 0$), dan is de verzameling zo groot als de hele lijn van 0 tot 1. Er zijn dus "veel" van deze getallen.

2. Het Uitzonderlijke Geval (Dimensie 0):
   Als je eist dat de langste rij te snel groeit (bijvoorbeeld dat de langste rij meer dan de helft van het totaal moet zijn, terwijl dat wiskundig onmogelijk is voor de meeste getallen), dan is de verzameling zo klein dat hij bijna niet bestaat. De dimensie is 0. Het is als een spook dat je ziet, maar dat geen ruimte inneemt.

3. Het Grijze Gebied (De Moeilijke Formule):
   Voor de meeste combinaties van $\alpha$ en $\beta$ (waarbij de groei ergens tussenin zit), geven ze een ingewikkelde formule.

   • De Analogie: Stel je voor dat je een muur bouwt met bakstenen. De "formule" in het artikel is de blauwdruk die precies aangeeft hoe dik de muur moet zijn om net genoeg ruimte te hebben voor deze specifieke groep getallen.
   • Als de verhouding tussen de minimale en maximale groei ($\alpha$ en $\beta$) een bepaalde drempel overschrijdt, stort de "muur" in en verdwijnt de verzameling (dimensie 0).
   • Als ze binnen de veilige zone zitten, is de muur dik en complex, met een dimensie die tussen 0 en 1 ligt.

Waarom is dit belangrijk?

Dit artikel is een stukje wiskundige landschapskunde. Het helpt ons begrijpen hoe "willekeurig" getallen zich gedragen.

• De meeste getallen zijn saai en voorspelbaar (hun langste rij groeit traag).
• Maar er is een heel complex, fractal landschap van "uitzonderlijke" getallen die zich anders gedragen.
• De onderzoekers hebben de exacte "dikte" van dit landschap gemeten.

Samenvattend:
Dingding Yu en zijn team hebben een nieuwe kaart getekend van het universum van getallen. Ze hebben ontdekt dat er een heel specifiek, ingewikkeld patroon is voor de getallen die een "lange rij gelijke cijfers" hebben. Ze hebben bewezen dat als je te hoge eisen stelt aan hoe lang die rijen moeten zijn, je de verzameling zo klein maakt dat hij bijna verdwijnt. Maar als je de eisen netjes afstemt, vind je een fascinerend, fractaal patroon dat de wiskundige wereld een stukje rijker maakt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the maximal run-length function in the Lüroth expansion" van Dingding Yu, geschreven in het Nederlands.

Titel en Context

Titel: Over de maximale run-length functie in de Lüroth-expansie.
Auteur: Dingding Yu (School of Mathematics and Statistics, Hubei University of Education, China).
Veld: Getaltheorie, Maattheorie, Fractal Meetkunde (Hausdorff-dimensie).

1. Het Probleem

Het artikel onderzoekt het asymptotische gedrag van de maximale run-length functie ($\ell_n(x)$) in de Lüroth-expansie van een getal $x \in (0, 1]$.

• Lüroth-expansie: Een getal $x$ wordt voorgesteld als een rij gehele getallen $d_n(x) \geq 2$ via de expansie:
  $$x = \frac{1}{d_1} + \sum_{n=2}^{\infty} \frac{1}{d_1(d_1-1)\cdots d_{n-1}(d_{n-1}-1)d_n}$$
• Run-length ($\ell_n(x)$): Dit is de lengte van het langste blok van identieke cijfers binnen de eerste $n$ cijfers van de expansie van $x$.
• Bestaande kennis: Uit eerdere werken (Sun en Xu) is bekend dat voor bijna alle $x$, $\ell_n(x)$ logaritmisch groeit met $n$ (specifiek $\ell_n(x) \sim \log_2 n$). De verzameling van uitzonderlijke punten waar $\ell_n(x)$ een andere groeisnelheid heeft, heeft een Hausdorff-dimensie van 1 wanneer geschaald wordt met logaritmische functies.
• De nieuwe vraag: Wat gebeurt er als we $\ell_n(x)$ lineair schalen met $n$? Het artikel definieert de uitzonderlijke verzameling $E(\alpha, \beta)$ waar de limietinfimum en limietsuperior van de verhouding $\ell_n(x)/n$ respectievelijk gelijk zijn aan $\alpha$ en $\beta$ (met $0 \leq \alpha \leq \beta \leq 1$). Het doel is om de **Hausdorff-dimensie** van deze verzameling$E(\alpha, \beta)$ te bepalen.

2. Methodologie

De auteur hanteert een combinatie van probabilistische methoden, dynamische systemen en fractale meetkunde om de dimensie te schatten.

• Bovenste Schatting (Upper Bound):

  • De verzameling $E(\alpha, \beta)$ wordt bedekt met "cilinders" (intervallen die corresponderen met specifieke rijen cijfers).
  • Er wordt gebruik gemaakt van een Moran-type formule en een massaverdelingsprincipe (in omgekeerde richting) om de Hausdorff-maat te schatten.
  • Specifiek wordt geanalyseerd hoe de lengte van de blokken van identieke cijfers ($m_k$) verhoudt tot de totale lengte van de expansie ($n_k$).
  • Voor het geval $0 < \alpha < \frac{\beta}{1+\beta} < \beta < 1$, wordt een complexe constructie gebruikt waarbij rijen van blokken worden geselecteerd om aan de limietvoorwaarden te voldoen. De schatting maakt gebruik van een vergelijking die de dimensie$s(u)$definieert als de unieke oplossing van$\sum_{t=2}^{\infty} (2^{-ut}/(t(t-1)))^s = 1$.

• Onderste Schatting (Lower Bound):

  • Er wordt een specifieke Cantor-achtige deelverzameling $G(M)$ geconstrueerd binnen $E(\alpha, \beta)$.
  • In deze constructie worden de cijfers $d_n(x)$ zo gekozen dat er lange blokken van het cijfer '2' voorkomen op specifieke posities, terwijl andere posities beperkt blijven tot een eindige verzameling $\{2, \dots, M\}$.
  • Een projectiemaat $f$ wordt gedefinieerd die de "gevoelige" posities (waar de blokken beginnen en eindigen) verwijdert.
  • Met behulp van Hölder-continuïteit van deze projectie en het massaverdelingsprincipe (Lemma 2.6) wordt bewezen dat de dimensie van het beeld $f(G(M))$ een ondergrens vormt voor de dimensie van $E(\alpha, \beta)$.
  • De limiet $M \to \infty$ wordt genomen om de exacte dimensie te verkrijgen.

3. Belangrijkste Resultaten

Het hoofdstuk (Theorema 1.2) geeft een volledige karakterisering van de Hausdorff-dimensie van $E(\alpha, \beta)$.

Laat $s(u)$ de unieke oplossing zijn van de vergelijking:
$$\sum_{t=2}^{\infty} \left( \frac{1}{2^u t(t-1)} \right)^s = 1$$

De dimensie $\dim_H E(\alpha, \beta)$ wordt gegeven door:

1. Geval $\beta = 0$:
   • Als $\beta = 0$, dan is $\alpha = 0$. De dimensie is 1. (Dit komt overeen met het feit dat voor bijna alle $x$ de groei logaritmisch is, dus lineair 0).
2. Geval $0 < \alpha < \frac{\beta}{1+\beta} < \beta < 1$:
   • De dimensie is $s(\zeta)$, waarbij:
     $$\zeta = \frac{\beta^2(1-\alpha)}{(1-\beta)[\beta - \alpha(1+\beta)]}$$
   • Dit is het meest complexe en interessante geval, waarbij de dimensie afhangt van een niet-triviale functie van $\alpha$ en $\beta$.
3. Geval $\frac{\beta}{1+\beta} \leq \alpha \leq \beta < 1$ (met $\beta > 0$):
   • De dimensie is 0.
   • Dit betekent dat als de ondergrens $\alpha$ te hoog is in verhouding tot de bovengrens $\beta$ (specifiek als $\alpha > \frac{\beta}{1+\beta}$), de verzameling van dergelijke getallen "te klein" is om een positieve dimensie te hebben (de verzameling is hoogstens aftelbaar).
4. Geval $\beta = 1$:
   • De dimensie is 0.

4. Bijdragen en Betekenis

• Verfijning van Multifractale Analyse: Het artikel vult de bestaande literatuur aan door de multifractale analyse van run-lengths uit te breiden van logaritmische schaling (waar de dimensie vaak 1 is) naar lineaire schaling. Het toont aan dat er een scherpe overgang is in de dimensie afhankelijk van de verhouding tussen $\alpha$ en $\beta$.
• Unieke Formule voor Lüroth: Het levert een expliciete formule voor de dimensie die specifiek is voor de Lüroth-expansie, wat verschilt van de resultaten voor continue breuken of $\beta$-expansies.
• Technische Innovatie: De constructie van de ondergrens via een gecontroleerde verwijdering van posities (de "gap" methode) en het gebruik van een variabele exponent $s(u)$ die afhangt van de lokale dichtheid van blokken, is een elegante toepassing van de massaverdelingsmethode op dit specifieke type dynamisch systeem.
• Verband met Bestaand Werk: Het resultaat generaliseert eerdere bevindingen van Erdős en Rényi (voor binaire expansies) en Sun en Xu naar de context van Lüroth-expansies met lineaire groei.

Conclusie:
Het artikel bewijst dat de verzameling van getallen in de Lüroth-expansie met een specifieke lineaire groeisnelheid van run-lengths een fractale structuur heeft met een dimensie die exact berekend kan worden via een impliciete vergelijking, tenzij de parameters in een "onmogelijk" bereik vallen (waar de dimensie 0 is). Dit biedt een dieper inzicht in de statistische eigenschappen van de Lüroth-expansie.