🔢 mathematics

Hausdorff Dimension of Growth Rate Level Sets in $\theta$ -expansions

Il documento dimostra che l'insieme dei numeri reali la cui crescita delle cifre nelle espansioni $\theta$ soddisfa un tasso di crescita asintotico specifico ha dimensione di Hausdorff piena, estendendo così risultati precedenti sulle frazioni continue regolari a un contesto più generale.

Autori originali: Andreas Rusu, Gabriela Ileana Sebe

Pubblicato 2026-04-02

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Andreas Rusu, Gabriela Ileana Sebe

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

🌌 Il Mistero dei Numeri "Ribelli": Una Storia di Frattali e Crescita

Immagina di avere un numero reale (come $\pi$ o $\sqrt{2}$ ) e di volerlo scrivere non come una semplice sequenza di cifre decimali (3, 1, 4, 1, 5...), ma come una catena infinita di frazioni. Questo è ciò che fanno i matematici con le "espansioni in frazioni continue".

In questo articolo, gli autori Andreas Rusu e Gabriela Sebe esplorano un mondo speciale chiamato espansioni $\theta$ . Pensate a questo come a una "versione modificata" delle frazioni continue classiche, dove le regole del gioco sono leggermente diverse (dipendono da un numero speciale $\theta$ ), ma il concetto di base rimane lo stesso: scomporre un numero in una sequenza di "mattoni" (chiamati cifre o digit).

🏗️ Il Gioco dei Mattoni: Somma vs. Il Gigante

Immaginate di costruire una torre con questi mattoni.

$S_n$ (La Somma): È l'altezza totale della torre dopo aver messo $n$ mattoni.
$L_n$ (Il Gigante): È la dimensione del singolo mattone più grande che avete messo finora.

In un mondo "normale" (la maggior parte dei numeri), la somma cresce in modo prevedibile. Ma cosa succede se, ogni tanto, inseriamo un mattone enorme, gigante, che fa saltare la torre in aria?
Il paper si chiede: Se guardiamo il rapporto tra la dimensione del "Gigante" ( $L_n$ ) e il resto della torre ( $S_n - L_n$ ), cosa succede quando la torre diventa infinita?

Gli autori hanno scoperto che ci sono livelli di "ribellione". Alcuni numeri hanno un gigante che cresce lentamente, altri velocemente. Loro hanno definito un livello di ribellione chiamato $\alpha$ (alfa).

🎯 L'Obiettivo: Trovare i "Ribelli" Perfetti

Il grande problema che gli autori risolvono è questo:

"Esistono numeri che hanno esattamente questo livello di ribellione $\alpha$ ? E se esistono, sono tanti o sono pochi?"

In matematica, quando diciamo che un insieme di numeri è "piccolo", spesso intendiamo che ha misura zero (come un punto su una linea). Ma qui usiamo un metro più raffinato: la Dimensione di Hausdorff.

Pensate alla dimensione di Hausdorff come alla "densità" o alla "ricchezza" di un insieme.
Una linea ha dimensione 1. Un punto ha dimensione 0.
Se un insieme ha dimensione 1, significa che è abbondante, anche se potrebbe essere invisibile alla vista normale.

🚀 La Scoperta: I Ribelli sono Ovunque!

Il risultato principale del paper è sorprendente:
Per qualsiasi livello di ribellione $\alpha$ che scegliate (anche $\alpha = 0$ , cioè nessun gigante, o $\alpha = 1000$ , cioè giganti enormi), l'insieme dei numeri che rispettano esattamente quella regola ha dimensione 1.

In parole povere: Anche se la maggior parte dei numeri segue regole noiose e prevedibili, l'insieme dei numeri "strani" che crescono in modo specifico è così vasto e ricco da riempire quasi tutto lo spazio matematico disponibile. Sono come un oceano di numeri speciali che vivono nascosti tra quelli normali.

🛠️ Come l'hanno dimostrato? (La Metafora del "Giardiniere")

Per provare che questi numeri esistono e sono tanti, gli autori hanno usato una strategia geniale, come se fossero giardinieri che piantano fiori in un prato:

Il Prato Ordinato: Hanno iniziato con numeri che hanno solo "fiori piccoli" (cifre piccole e limitate). Sappiamo già che questi numeri formano un insieme molto ricco (dimensione 1).
L'Innesto Strategico: Hanno deciso di inserire dei "fiori giganti" (cifre enormi) in posizioni molto specifiche e molto distanti l'una dall'altra.
- Analogia: Immaginate di camminare su un sentiero e di piantare un albero gigante ogni milione di passi. La maggior parte del sentiero rimane normale, ma ogni tanto c'è un gigante.
La Sequenza Magica: Hanno scelto di piantare questi giganti usando una sequenza di posizioni che cresce in modo "esplosivo" (come $e^{k^{3/4}}$ ). È una crescita così veloce che i giganti non disturbano troppo il resto del sentiero, ma sono abbastanza frequenti da controllare il risultato finale.
La Mappa Speciale: Hanno creato una "mappa magica" (una funzione matematica) che collega i numeri con i giganti a quelli con solo fiori piccoli. Hanno dimostrato che questa mappa non "strappa" o "distorce" troppo la forma dell'insieme. Quindi, se il prato originale era ricco (dimensione 1), anche il prato con i giganti lo è.

💡 Perché è importante?

Prima di questo lavoro, sapevamo che certi comportamenti "strani" nei numeri erano possibili, ma non sapevamo quanto fossero comuni.
Questo paper ci dice che l'universo dei numeri è molto più ricco e complesso di quanto pensassimo. Anche se le leggi della probabilità dicono che "di solito" le cose accadono in un certo modo, c'è un mondo intero di eccezioni che sono matematicamente "grandi" quanto il mondo normale.

È come scoprire che, anche se la maggior parte delle persone nella città vive in case normali, l'insieme delle case con torri segrete è così vasto da occupare quasi tutta la città, anche se le torri sono nascoste.

In Sintesi

Gli autori hanno preso un problema difficile sulle frazioni continue, lo hanno generalizzato a un contesto più ampio ( $\theta$ -espansioni) e hanno dimostrato che i numeri che crescono in modo "strano" e specifico sono ovunque, occupando la massima dimensione possibile. Hanno usato un metodo creativo di "innesto" di cifre enormi per costruire questi numeri, dimostrando che la matematica dei numeri è piena di sorprese frattali.

1. Problema e Contesto

Il lavoro si inserisce nella teoria metrica delle frazioni continue e dei sistemi dinamici, focalizzandosi sulle espansioni θ (una generalizzazione delle frazioni continue regolari).

Contesto: Le espansioni θ sono generate da una mappa di Gauss generalizzata $T_\theta$ su un intervallo $[0, \theta]$ , dove $\theta \in (0,1)$ è un numero irrazionale tale che $\theta^2 = 1/m$ per un intero $m$ non quadrato perfetto. Ogni numero irrazionale $x$ ammette una rappresentazione unica $x = [l_1(x), l_2(x), \dots]_\theta$ con cifre $l_n(x) \ge m$ .
Il Problema: Si studiano i livelli di crescita delle cifre. Nello specifico, si analizza il comportamento asintotico del rapporto tra la cifra massima $L_{n,\theta}(x)$ e la somma delle rimanenti cifre $S_{n,\theta}(x) - L_{n,\theta}(x)$ , ponderato da fattori logaritmici.
L'Obiettivo: Determinare la dimensione di Hausdorff dell'insieme $E_\theta(\alpha)$ definito come:
$E_\theta(\alpha) = \left\{ x \in [0, \theta] \setminus \mathbb{Q} : \lim_{n \to +\infty} \frac{L_{n,\theta}(x) \log n \log \log n}{S_{n,\theta}(x) - L_{n,\theta}(x)} = \alpha \right\}$
per ogni $\alpha \ge 0$ . Il risultato atteso è che questi insiemi, sebbene abbiano misura nulla rispetto alla misura di Gauss (comportamento "atipico"), abbiano dimensione di Hausdorff piena (uguale a 1).

2. Metodologia

Gli autori estendono i risultati precedenti di Zhang e L¨u (2016), validi per le frazioni continue regolari ( $\theta=1$ ), al caso generale delle espansioni θ. La metodologia si basa su tre pilastri fondamentali:

A. Costruzione di Sottinsiemi Espliciti

Per dimostrare che la dimensione è 1, gli autori costruiscono un sottinsieme $E_{M,\theta}(\alpha) \subset E_\theta(\alpha)$ con struttura controllata:

Sequenza Sparsa: Viene introdotta una sequenza di indici sparsi $n_k = \lfloor \exp(k^{3/4}) \rfloor$ . Questa scelta è cruciale: la crescita super-esponenziale garantisce che i gap tra gli indici siano sufficientemente grandi da rendere trascurabile il contributo delle cifre ordinarie rispetto alla somma totale, ma sufficientemente piccoli da permettere il controllo dei termini logaritmici.
Inserimento di Cifre: Si definisce un insieme di numeri in cui le cifre alle posizioni $n_k$ sono scelte deterministicamente per forzare il limite verso $\alpha$ , mentre tutte le altre cifre rimangono limitate tra $m$ e un valore $M$ .
$l_{n_k}(x) = \left\lfloor \frac{\alpha \sum_{i=1}^{n_k-1} l_i(x)}{\log n_k \log \log n_k} \right\rfloor$

B. Verifica del Comportamento Asintotico

Viene dimostrato che per ogni $x$ costruito in questo modo, il rapporto definito nel problema converge esattamente a $\alpha$ . Questo richiede un'analisi fine delle stime asintotiche, sfruttando le proprietà di crescita della sequenza $n_k$ e i limiti inferiori della somma delle cifre.

C. Preservazione della Dimensione tramite Mappe Hölder

Il cuore della dimostrazione tecnica risiede nel collegare l'insieme costruito $E_{M,\theta}(\alpha)$ (con cifre grandi sparse) all'insieme $X_M$ (numeri con tutte le cifre limitate tra $m$ e $M$ ).

Teorema di Jarník per θ: Si sa che l'insieme $X_M$ ha dimensione di Hausdorff che tende a 1 quando $M \to \infty$ .
Mappe Bi-Hölder: Gli autori costruiscono una mappa $f: E_{M,\theta}(\alpha) \to X_M$ $f : E_{M, θ} (α) \to X_{M}$ che rimuove le cifre inserite alle posizioni $n_k$ $n_{k}$ .
- Viene dimostrato che questa mappa è $(1-\varepsilon)$ -Hölder continua per ogni $\varepsilon > 0$ .
- Viene anche dimostrato che l'inversa è Hölder continua.
- Poiché le mappe bi-Hölder preservano la dimensione di Hausdorff, ne consegue che $\dim_H E_{M,\theta}(\alpha) = \dim_H X_M$ .

3. Risultati Chiave

Teorema Principale (1.1): Per ogni $\alpha \ge 0$ , l'insieme $E_\theta(\alpha)$ ha dimensione di Hausdorff piena:
$\dim_H E_\theta(\alpha) = 1$
Generalizzazione: Il risultato estende il lavoro di Zhang e L¨u dal caso classico delle frazioni continue al più ampio contesto delle espansioni θ.
Caso $\alpha = 0$ : Dimostrato direttamente mostrando che l'insieme dei numeri con cifre limitate è contenuto in $E_\theta(0)$ .
Caso $\alpha > 0$ : Dimostrato attraverso la costruzione dell'insieme $E_{M,\theta}(\alpha)$ e l'uso delle mappe di preservazione della dimensione.

4. Contributi Tecnici Specifici

Scelta della Sequenza Sparsa: L'uso di $n_k = \lfloor \exp(k^{3/4}) \rfloor$ rappresenta un'innovazione rispetto alle sequenze polinomiali usate in lavori precedenti. Questa scelta bilancia le esigenze di controllo dei termini logaritmici e la necessità che le cifre inserite dominino la somma parziale.
Analisi delle Stime Metriche: Fornizione di stime dettagliate sulle lunghezze degli intervalli cilindrici e sui denominatori delle convergenti nel contesto delle espansioni θ, adattando le proprietà note delle frazioni continue regolari.
Dimostrazione della Continuità Hölder: Una verifica rigorosa e completa della continuità Hölder della mappa di rimozione delle cifre, gestendo la distorsione causata dall'inserimento di cifre molto grandi in posizioni sparse.

5. Significato e Implicazioni

Ricchezza degli Insiemi Eccezionali: Il lavoro conferma che, nonostante i teoremi limite (come le leggi dei grandi numeri) dicano che il comportamento "tipico" è diverso, gli insiemi di numeri che violano queste leggi in modo specifico (con tassi di crescita delle cifre fissati) sono estremamente "grandi" dal punto di vista frattale (dimensione 1).
Robustezza della Struttura Frattale: Dimostra che la ricca struttura frattale degli insiemi di livello nella teoria metrica delle frazioni continue è un fenomeno stabile che persiste anche quando si generalizza il sistema dinamico sottostante (passando da $\theta=1$ a $\theta$ irrazionale).
Flessibilità del Metodo: L'introduzione della sequenza sparsa e la tecnica di costruzione degli insiemi suggeriscono che lo stesso approccio può essere applicato per studiare altri tassi di crescita o limiti in espansioni θ, aprendo la strada a future ricerche su insiemi eccezionali in contesti dinamici più generali.

In sintesi, il paper fornisce una caratterizzazione completa della dimensione frattale degli insiemi di numeri con tassi di crescita delle cifre specifici nelle espansioni θ, unendo teoria ergodica, analisi asintotica e geometria frattale.