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

Il documento determina la dimensione di Hausdorff dell'insieme eccezionale dei numeri reali in $(0,1]$ la cui espansione di Lüroth presenta un comportamento asintotico lineare nel rapporto tra la lunghezza massima delle sequenze consecutive di cifre e il numero totale di cifre, caratterizzando le proprietà multifrattali per ogni coppia di limiti inferiore e superiore possibili.

L'essenziale

Immagina di avere un numero decimale, come 0,12345..., e di volerlo scrivere in un modo speciale, chiamato espansione di Lüroth. È un po' come se ogni numero avesse la sua "impronta digitale" fatta di una sequenza infinita di numeri interi (come 2, 3, 5, 100...).

In questo articolo, gli autori (Dingding Yu) si chiedono una domanda molto specifica su queste sequenze: quanto spesso si ripetono gli stessi numeri uno dopo l'altro?

Ecco una spiegazione semplice, usando metafore e analogie:

1. Il Concetto di "Corsa" (Run-Length)

Immagina di guardare la sequenza di numeri di un numero $x$.

• Se vedi ... 5, 5, 5, 2, 8, 8, 8, 8, 3 ..., hai una "corsa" di tre 5 e una corsa di quattro 8.
• La funzione $\ell_n(x)$ misura la corsa più lunga che trovi tra i primi $n$ numeri della sequenza.

Cosa sappiamo già?
Per quasi tutti i numeri, queste corse crescono molto lentamente, come il logaritmo di $n$ (molto più lento di $n$ stesso). È come se in una folla di persone, la più lunga fila di persone che si tengono per mano crescesse molto lentamente man mano che la folla aumenta.

2. L'Eccezione: Quando le Corse Diventano Giganti

Gli autori si chiedono: "Cosa succede se cerchiamo quei numeri 'strani' dove le corse crescono velocemente, quasi in linea con il numero totale di cifre?"

Immagina di avere un numero $n$ (il totale delle cifre).

• Se $\alpha = 0$ e $\beta = 1$, stiamo cercando numeri dove la corsa più lunga è quasi uguale a $n$ (quasi tutte le cifre sono uguali!).
• Se $\alpha$ e $\beta$ sono valori intermedi, stiamo cercando numeri dove la corsa più lunga oscilla tra una certa percentuale e un'altra.

L'insieme di questi numeri "strani" è chiamato insieme eccezionale $E(\alpha, \beta)$.

3. La Domanda Principale: Quanto sono "Grandi" questi Numeri Strani?

In matematica, quando diciamo "quanto sono grandi" un insieme di numeri infiniti, non parliamo di quantità (sono tutti infiniti), ma di Dimensione di Hausdorff.

• Pensa alla dimensione come a una "misura di complessità" o "densità".
• Una linea ha dimensione 1. Un punto ha dimensione 0. Una superficie ha dimensione 2.
• Un insieme può avere una dimensione frazionaria (es. 0,5), il che significa che è "più grande di un punto ma più piccolo di una linea".

L'articolo risponde alla domanda: Qual è la dimensione di Hausdorff di questi numeri strani?

4. La Scoperta (Il Risultato)

Gli autori hanno trovato una formula precisa per calcolare questa dimensione. Ecco cosa significa in parole povere:

• Se il limite superiore ($\beta$) è 0: Significa che le corse non crescono affatto. In questo caso, l'insieme ha dimensione 1 (è "grande" quanto l'intervallo intero, anche se è un insieme di misura zero).
• Se il limite superiore ($\beta$) è 1: Significa che le corse possono essere lunghe quanto l'intera sequenza. In questo caso, l'insieme è così "rarefatto" che la sua dimensione è 0 (è come un granello di sabbia in un deserto).
• **Se siamo nel mezzo ($0 < \beta < 1$):** La dimensione dipende da un equilibrio tra$\alpha$(il minimo) e$\beta$ (il massimo).
  • C'è una regola segreta: se il minimo $\alpha$ è troppo alto rispetto al massimo $\beta$ (specificamente, se $\alpha > \beta/(1+\beta)$), allora non esistono tali numeri! L'insieme è vuoto (dimensione 0). È come cercare di costruire una torre di mattoni dove il livello più basso deve essere più alto del tetto: impossibile.
  • Se invece $\alpha$ è abbastanza piccolo, l'insieme esiste e ha una dimensione calcolabile con una formula complessa che coinvolge una somma infinita (l'equazione 1.4 nel testo).

5. Come l'hanno Scoperto? (Il Metodo)

Per trovare questa risposta, gli autori hanno usato due strategie opposte, come due detective che lavorano su un caso:

1. Il Detective "Pessimista" (Limite Superiore): Hanno provato a "coprire" tutti i numeri strani con dei cerchi (o scatole) piccoli. Hanno mostrato che se provi a coprire questi numeri, ti servono così tante scatole piccole che la loro "massa totale" si annulla rapidamente, dimostrando che l'insieme non può essere più grande di una certa dimensione.
2. Il Detective "Ottimista" (Limite Inferiore): Hanno costruito un "frattale" (una struttura geometrica complessa) fatto apposta per contenere solo questi numeri strani. Hanno mostrato che questo frattale è così denso e intricato da avere almeno una certa dimensione.

Quando il limite del "pessimista" e quello dell'"ottimista" coincidono, hanno trovato la risposta esatta.

In Sintesi

Questo articolo è come una mappa che ci dice quanto è "affollato" lo spazio dei numeri che hanno sequenze di cifre ripetute molto lunghe.

• Se le ripetizioni sono troppo frequenti (troppo vicine al 100% della sequenza), i numeri sono così rari da essere quasi inesistenti (dimensione 0).
• Se le ripetizioni sono moderate, esiste un intero "mondo" di numeri con una struttura frattale complessa, la cui "dimensione" può essere calcolata con precisione matematica.

È un lavoro che unisce la teoria dei numeri (come scriviamo i numeri) con la geometria frattale (quanto sono complessi questi insiemi), rivelando che anche nei numeri più "strani" c'è un ordine matematico preciso.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "On the maximal run-length function in the Lüroth expansion" di Dingding Yu, redatta in italiano.

1. Problema e Contesto

Il lavoro si inserisce nello studio della teoria metrica delle espansioni numeriche, focalizzandosi specificamente sull'espansione di Lüroth. Per un numero $x \in (0, 1]$, l'espansione di Lüroth è definita da una sequenza di cifre intere $\{d_n(x)\}_{n \ge 1}$ con $d_n(x) \ge 2$, ottenute tramite la trasformazione di Lüroth $T$.

Il problema centrale investigato è il comportamento asintotico della funzione di lunghezza massima delle corse (maximal run-length function), denotata come $\ell_n(x)$. Questa funzione misura la lunghezza del blocco più lungo di cifre identiche tra le prime $n$ cifre dell'espansione di $x$.
Mentre risultati precedenti (Sun e Xu, 2026) hanno stabilito che per quasi tutti i $x$, $\ell_n(x)$ cresce logaritmicamente ($\sim \log_2 n$), questo paper indaga le proprietà multifrattali degli insiemi eccezionali dove $\ell_n(x)$ mostra una crescita lineare rispetto a $n$.

L'obiettivo è determinare la dimensione di Hausdorff dell'insieme $E(\alpha, \beta)$ definito come:
$$E(\alpha, \beta) = \left\{ x \in (0, 1] : \liminf_{n \to \infty} \frac{\ell_n(x)}{n} = \alpha, \quad \limsup_{n \to \infty} \frac{\ell_n(x)}{n} = \beta \right\}$$
per ogni coppia di parametri $0 \le \alpha \le \beta \le 1$.

2. Metodologia

L'autore utilizza un approccio che combina la teoria della probabilità, la teoria della misura e la geometria frattale. La metodologia si articola nei seguenti punti chiave:

• Struttura delle Cilindri: Sfrutta le proprietà dei cilindri dell'espansione di Lüroth $I_n(d_1, \dots, d_n)$, la cui lunghezza è data da $|I_n| = \prod_{i=1}^n \frac{1}{d_i(d_i-1)}$. La distribuzione delle cifre è indipendente e identicamente distribuita (i.i.d.) rispetto alla misura di Lebesgue.
• Stime Superiori (Upper Bound):
  • Per stimare la dimensione superiore, l'autore costruisce coperture dell'insieme $E(\alpha, \beta)$ utilizzando cilindri specifici che soddisfano le condizioni di crescita lineare.
  • Viene applicato un lemma di stima per le somme di potenze delle lunghezze dei cilindri (Lemma 2.8).
  • Si analizzano diversi casi in base ai valori di $\alpha$ e $\beta$, distinguendo tra casi banali (es. $\beta=0$ o $\beta=1$) e il caso non banale dove $0 < \alpha \le \beta < 1$.
  • Un punto cruciale è l'identificazione di una soglia critica: se $\alpha > \frac{\beta}{1+\beta}$, l'insieme è al più numerabile (dimensione 0).
• Stime Inferiori (Lower Bound):
  • Per la dimensione inferiore, viene costruita una sottostruttura frattale all'interno di $E(\alpha, \beta)$, denotata come $G(M)$, dove le cifre sono vincolate a seguire uno schema periodico di blocchi di cifre uguali (corse lunghe) intervallate da cifre variabili.
  • Viene definita una mappa di proiezione $f$ che elimina le cifre in posizioni specifiche (quelle che non contribuiscono alla crescita lineare desiderata) per ottenere un insieme isomorfo a un sistema dinamico più semplice.
  • Si dimostra che questa mappa è Hölderiana, permettendo di trasferire le stime dimensionali.
  • Viene costruita una misura di probabilità $\mu$ sull'insieme proiettato $f(G(M))$ utilizzando una formula di tipo Moran, assegnando pesi ai cilindri in base a un parametro $s$ che dipende dalle densità asintotiche delle corse.
  • Si applica il Principio della Distribuzione di Massa (Mass Distribution Principle) per dimostrare che la dimensione di Hausdorff è almeno $s$.

3. Risultati Principali

Il teorema principale (Teorema 1.2) fornisce una formula esatta per la dimensione di Hausdorff di $E(\alpha, \beta)$, definita in termini di una funzione $s(u)$, che è l'unica soluzione positiva dell'equazione:
$$\sum_{t=2}^{\infty} \left( \frac{1}{2^u t(t-1)} \right)^s = 1$$

La dimensione è data da:
$$\dim_H E(\alpha, \beta) = \begin{cases} 1 & \text{se } \beta = 0 \quad (\text{caso } \alpha=0) \\ s\left( \frac{\beta^2(1-\alpha)}{(1-\beta)[\beta - \alpha(1+\beta)]} \right) & \text{se } 0 \le \alpha < \frac{\beta}{1+\beta} < \beta < 1 \\ 0 & \text{altrimenti} \end{cases}$$

Punti salienti dei risultati:

1. Soglia Critica: Se $\alpha > \frac{\beta}{1+\beta}$, l'insieme è vuoto o numerabile (dimensione 0). Questo implica che non è possibile avere un limite inferiore delle corse troppo alto rispetto al limite superiore.
2. Formula Complessa: Nel caso non banale, l'argomento della funzione $s(\cdot)$ è una frazione razionale complessa che lega $\alpha$ e $\beta$, derivante dall'analisi asintotica dei rapporti tra le lunghezze dei blocchi e le distanze tra essi.
3. Continuità: La dimensione varia continuamente al variare dei parametri $\alpha$ e $\beta$ all'interno del dominio valido.

4. Contributi Chiave

• Estensione della Ricerca: Estende i lavori precedenti di Sun e Xu (che trattavano la crescita logaritmica o funzioni di normalizzazione generiche $\phi(n)$) al caso specifico della crescita lineare ($\phi(n) = n$).
• Risoluzione del Caso Lineare: Fornisce la prima caratterizzazione completa della dimensione di Hausdorff per l'insieme dei numeri con crescita lineare delle corse nell'espansione di Lüroth, un problema aperto in questo contesto specifico.
• Metodologia Costruttiva: Sviluppa una tecnica sofisticata per la costruzione di sottoinsiemi frattali con proprietà di lunghezza delle corse controllate, adattando il metodo dei sistemi di iterazione funzionale (IFS) e delle misure di tipo Moran a un contesto non uniforme.

5. Significato e Implicazioni

Questo lavoro è significativo per la teoria dei sistemi dinamici e la teoria dei numeri perché:

• Multifrattalità: Arricchisce la comprensione delle proprietà multifrattali delle espansioni numeriche non standard (diverse dalle espansioni decimali o in base $\beta$).
• Confronto con Altre Espansioni: Mette in luce le differenze strutturali tra l'espansione di Lüroth e altre espansioni (come le frazioni continue o le espansioni binarie), dove le leggi di crescita delle corse possono comportarsi diversamente.
• Strumenti Analitici: Offre nuovi strumenti analitici per lo studio di funzioni di conteggio e di lunghezza delle corse in sistemi dinamici con spettro continuo, dimostrando come la densità delle cifre vincolate influenzi la dimensione frattale dell'insieme eccezionale.

In sintesi, il paper risolve un problema specifico di teoria metrica dei numeri, fornendo una formula precisa per la dimensione di Hausdorff di insiemi definiti da limiti asintotici di funzioni di run-length nell'espansione di Lüroth, confermando la ricchezza strutturale di tali insiemi eccezionali.