Sharp Hausdorff Dimension Bounds for Sets with Bounded and Growing Digits in $N$-expansions

Titel: Scherpe Hausdorff-dimensiegrenzen voor verzamelingen met begrenste en groeiende cijfers in N-ontwikkelingen

Auteurs: Andreea Catalina Chitu, Gabriela Ileana Sebe, en Dan Lascu.
Datum: 31 maart 2026 (gepubliceerd op arXiv).

---

1. Probleemstelling en Context

Het artikel richt zich op de meetkundige theorie van getaltheorie, specifiek de studie van de Hausdorff-dimensie van verzamelingen van irrationale getallen in het interval $(0, 1)$ die gedefinieerd zijn door restricties op hun cijfers in N-ontwikkelingen.

• N-ontwikkeling: Een generalisatie van de reguliere kettingbreuk (waarbij $N=1$). Voor een vast geheel getal $N \ge 1$ kan elk irrationaal getal $x$ uniek worden geschreven als:
  $$x = \frac{N}{\varepsilon_1 + \frac{N}{\varepsilon_2 + \frac{N}{\varepsilon_3 + \dots}}} = [\varepsilon_1, \varepsilon_2, \varepsilon_3, \dots]_N$$
  waarbij de cijfers $\varepsilon_n$ behoren tot de verzameling $\mathbb{N}_N = \{N, N+1, N+2, \dots\}$.
• De vraag: Hoe beïnvloedt de parameter $N$ de fractale dimensie van verzamelingen waarbij de cijfers:
  1. Begrensd zijn door een integer $M$ ($N \le \varepsilon_n \le M$).
  2. Groeien naar oneindig ($\varepsilon_n \to \infty$ of $\varepsilon_n \ge \alpha$ voor een grote $\alpha$).

De auteurs willen scherpe (asymptotisch optimale) grenzen vinden voor deze dimensies, die de klassieke resultaten van Jarník en Good voor reguliere kettingbreuken generaliseren en verfijnen.

---

2. Methodologie

De auteurs combineren technieken uit de meetkundige theorie van getallen, ergodische theorie en fractale meetkunde. De bewijzen volgen een gestructureerde aanpak voor zowel de bovengrenzen als de ondergrenzen:

• Fundamentele Intervallen en Recursie:
  De analyse baseert zich op de eigenschappen van de noemers $q_n$ van de convergenten, die voldoen aan de recursie:
  $$q_n = \varepsilon_n q_{n-1} + N q_{n-2}$$
  De lengte van een fundamenteel interval $I_n$ wordt exact gegeven door:
  $$|I_n| = \frac{N^n}{q_n(q_n + q_{n-1})}$$
  De auteurs leiden nauwkeurige schattingen af voor de groei van $q_n$ en de verhouding tussen de lengtes van opeenvolgende intervallen.

• Bovengrenzen (Covering Argumenten):
  Om de Hausdorff-dimensie te begrenzen van boven, gebruiken de auteurs een overdekkingsargument. Ze construeren een overdekking van de verzameling met fundamentele intervallen van orde $n$ en analyseren de som van de $s$-de machten van hun lengtes. Als deze som begrensd blijft terwijl $n \to \infty$, volgt dat de dimensie $\le s$. Dit vereist het oplossen van vergelijkingen die voortvloeien uit de sommatie van de inverse machten van de cijfers.

• Ondergrenzen (Mass Distribution Principle):
  Voor de ondergrenzen construeren de auteurs een maat (probability measure) op de verzameling via het Mass Distribution Principle. Ze verdelen de massa gelijkmatig over de fundamentele intervallen en tonen aan dat er een constante $c$ bestaat zodat $\mu(U) \le c|U|^s$ voor kleine verzamelingen $U$. Als dit geldt, is de dimensie $\ge s$. Dit vereist het bewijzen van een ongelijkheid waarbij de som van de $s$-de machten van de lengtes van de "kinderintervallen" groter is dan of gelijk is aan de $s$-de macht van het "ouderinterval".

• Asymptotische Analyse:
  Voor de gevallen met groeiende cijfers gebruiken de auteurs integraalschattingen (Riemann-sommen) om sommen van de vorm $\sum k^{-2s}$ te benaderen, wat leidt tot expliciete asymptotische formules.

---

3. Belangrijkste Resultaten

Het artikel presenteert twee hoofdstellingen die de invloed van $N$ kwantificeren:

Stelling 1.1: Verzamelingen met Begrenste Cijfers ($E_M$)

Voor de verzameling $E_M = \{x : N \le \varepsilon_n \le M\}$ gelden de volgende scherpe grenzen voor de Hausdorff-dimensie (voor $M > 2N + 1$):
$$1 - \frac{2(N+1)}{(M+1)\log(N+1)} \le \dim_H(E_M) \le 1 - \frac{N}{(M+1)\log\left(\frac{(M+1)^2}{N}\right)}$$

• Betekenis: Deze resultaten generaliseren de klassieke Jarník-schattingen voor reguliere kettingbreuken ($N=1$). De auteurs tonen aan hoe de parameter $N$ expliciet de snelheid van convergentie naar 1 beïnvloedt als $M \to \infty$. De ondergrens is een verbetering ten opzichte van eerdere klassieke schattingen.

Stelling 1.2: Verzamelingen met Groeiende Cijfers ($F_{\alpha, N}$)

Voor de verzameling $F_{\alpha, N} = \{x : \varepsilon_n \ge \alpha \text{ voor alle } n\}$, waarbij $\alpha$ groot is (specifiek $\log(\alpha-1) > \exp(1+N)$), gelden:
$$\frac{1}{2} + \frac{1}{2\log(\alpha+2)} \le \dim_H(F_{\alpha, N}) \le \frac{1}{2} + \frac{\log\log(\alpha-1)}{2\log(\alpha-1)}$$

• Gevolg: De limiet van de dimensie als $\alpha \to \infty$ is exact 1/2.
  $$\lim_{\alpha \to \infty} \dim_H(F_{\alpha, N}) = \frac{1}{2}$$
• Betekenis: Dit bevestigt en generaliseert een beroemd resultaat van I.J. Good (voor $N=1$) naar N-ontwikkelingen. Hoewel de asymptotische limiet 1/2 onafhankelijk lijkt van $N$, verschijnt $N$ in de voorwaarden voor de geldigheid van de schattingen en in de convergentiesnelheid. De verzameling van getallen waarvan de cijfers naar oneindig gaan ($F_N$) heeft dus ook dimensie 1/2.

---

4. Significatie en Bijdrage

1. Generalisatie van Klassieke Resultaten: Het werk sluit de kloof tussen de theorie van reguliere kettingbreuken en bredere N-ontwikkelingen. Het toont aan dat veel fundamentele eigenschappen (zoals de dimensie 1/2 voor groeiende cijfers) robuust zijn onder verandering van de parameter $N$.
2. Scherpe Constanten: In tegenstelling tot eerdere werken die vaak alleen asymptotische gedragingen beschreven, leveren de auteurs expliciete constanten en ongelijkheden die afhankelijk zijn van $N$. Dit maakt de resultaten direct toepasbaar voor specifieke waarden van $N$.
3. Methodologische Zuiverheid: De auteurs vermijden het gebruik van zware, algemene theorieën van oneindige iteratieve functiesystemen (IFS) en bieden in plaats daarvan zelfstandige, klassieke bewijzen gebaseerd op overdekkingen en massadistributie. Dit biedt meer inzicht in de specifieke meetkunde van N-ontwikkelingen.
4. Invloed van Parameter N: Het artikel onthult subtiele manieren waarop $N$ de meetkunde beïnvloedt, zoals de verandering van de groeisnelheid van noemers en de verhouding tussen fundamentele intervallen. Dit is cruciaal voor het begrijpen van de overgang tussen verschillende dynamische systemen.

5. Toekomstperspectieven (Open Problemen)

De auteurs identificeren drie richtingen voor vervolgonderzoek:

• Multifractale Analyse: Het bestuderen van de dimensie van verzamelingen met specifieke groeisnelheden van cijfers (bijv. $\varepsilon_n \sim \psi(n)$).
• Diophantische Benadering: Het analyseren van de dimensie van verzamelingen van getallen die "beter dan gemiddeld" benaderd kunnen worden door convergenten van N-ontwikkelingen.
• Dynamische Systemen: Het toepassen van thermodynamische formalismen (zoals Bowens formule) om de dimensie op een meer eenheidstijdende manier te berekenen.

Conclusie:
Dit artikel levert een fundamentele bijdrage aan de meetkundige theorie van getallen door de fractale dimensie van N-ontwikkelingen nauwkeurig te karakteriseren. Het combineert klassieke technieken met nieuwe schattingen om scherpe, expliciete grenzen te geven die de rol van de parameter $N$ in de structuur van deze verzamelingen blootleggen.