🔢 mathematics

Balanced rectangles over Sturmian words and minimal discrepancy intervals

Questo lavoro caratterizza completamente le proprietà di equilibrio delle matrici rettangolari $m \times n$ derivate da parole di Sturmian, generalizzando risultati precedenti a qualsiasi pendenza $\alpha$ attraverso l'uso delle rappresentazioni di Ostrowski e della distribuzione di $n\alpha \bmod 1$ .

Autori originali: Ingrid Vukusic

Pubblicato 2026-04-20

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Ingrid Vukusic

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 Puzzle dei Rettangoli Perfetti: Una Storia di Ritmi e Equilibrio

Immagina di avere un nastro infinito fatto di due tipi di mattoncini: dei bianchi (0) e dei neri (1). Questo nastro non è casuale; segue una regola matematica precisa chiamata Parola di Sturmian. È come se il nastro fosse il battito cardiaco di un numero irrazionale (un numero con infinite cifre decimali che non si ripetono mai, come $\pi$ o la radice quadrata di 2).

Un esempio famoso è la Parola di Fibonacci: 0100101001001.... Se guardi questo nastro, noterai che i mattoncini sono distribuiti in modo molto ordinato, ma non ripetitivo.

1. Il Problema: I Rettangoli che "Pesano" Diverso

Ora, immagina di prendere questo nastro e di disporre i mattoncini in una griglia, come se stessi riempiendo un foglio di calcolo. Prendi un blocco rettangolare di $m$ righe per $n$ colonne.

La domanda: Se prendi due rettangoli della stessa grandezza (stesso numero di caselle) ma posizionati in punti diversi del nastro infinito, contengono lo stesso numero di mattoncini neri?
La risposta ideale: Sì, dovrebbero contenerne quasi lo stesso numero (al massimo uno in più o uno in meno). Se questo accade per qualsiasi posizione del rettangolo, diciamo che il rettangolo è "bilanciato".

In passato, i matematici sapevano che per certi numeri speciali (come quelli legati alla sequenza di Fibonacci), questi rettangoli erano bilanciati. Ma non sapevano esattamente quali rettangoli lo fossero per qualsiasi tipo di numero irrazionale. Era come avere una mappa del tesoro con solo alcune isole segnate, ma non il resto dell'oceano.

2. La Scoperta: La "Carta d'Identità" dei Numeri

Ingrid Vukusic ha risolto il mistero. Ha scoperto una regola universale per dire se un rettangolo $m \times n$ sarà bilanciato o no.

Per farlo, ha usato un metodo geniale: ha guardato come i numeri si comportano quando vengono "avvolti" intorno a un cerchio.

L'analogia del cerchio: Immagina di avere un cerchio (come un orologio) che va da 0 a 1. Prendi un numero $\alpha$ (il ritmo del nastro) e inizia a saltare: $1\alpha, 2\alpha, 3\alpha...$ su questo cerchio.
Se i tuoi salti atterrano in modo molto uniforme su tutto il cerchio, il rettangolo è bilanciato. Se atterrano tutti ammassati in un angolo, il rettangolo non è bilanciato.

La ricerca mostra che la "bontà" di questi salti dipende da come scriviamo i numeri $m$ e $n$ usando una rappresentazione speciale (chiamata rappresentazione di Ostrowski).
Pensa a questa rappresentazione come a un linguaggio segreto o a un codice a barre unico per ogni numero, basato sul ritmo $\alpha$ .

3. Le Regole del Gioco (Semplificate)

Il teorema principale dice che un rettangolo è bilanciato solo se i numeri $m$ e $n$ (scritti nel loro codice segreto) rispettano una di queste quattro condizioni "armoniche":

La separazione netta: $m$ usa solo le "cifre piccole" del codice, mentre $n$ usa solo le "cifre grandi". Sono come due persone che parlano lingue diverse ma non si sovrappongono.
Il salto preciso: $m$ è un numero speciale (un denominatore di una frazione approssimata), e $n$ fa un salto preciso partendo da lì, rispettando una sorta di ritmo di parità (come saltare su una pedana e poi su un'altra ogni due passi).

Se $m$ e $n$ non rispettano queste regole, il rettangolo sarà "sbilanciato": a volte avrai troppi mattoncini neri, a volte troppo pochi, creando un effetto "macchia" irregolare.

4. Perché è Importante?

Prima di questo lavoro, i matematici potevano risolvere il problema solo per casi molto specifici e "facili" (numeri con schemi ripetitivi). Vukusic ha generalizzato la soluzione per tutti i numeri irrazionali.

È come se prima avessimo solo ricette per cuocere la pasta in acqua bollente, e ora abbiamo un manuale universale che ci dice esattamente come cuocere la pasta in qualsiasi tipo di liquido, a qualsiasi temperatura, garantendo il risultato perfetto ogni volta.

In Sintesi

Il Nastro: Una sequenza infinita di 0 e 1 basata su un ritmo matematico.
Il Rettangolo: Un pezzo di questo nastro preso in due dimensioni.
L'Equilibrio: Il rettangolo è perfetto se il numero di 1 è sempre quasi lo stesso, ovunque lo prenda.
La Soluzione: L'equilibrio dipende da come $m$ e $n$ sono costruiti internamente (la loro "rappresentazione di Ostrowski"). Se sono costruiti in modo "armonico" rispetto al ritmo $\alpha$ , il rettangolo è perfetto. Altrimenti, no.

Questo lavoro unisce la teoria dei numeri (come i numeri si approssimano), la combinatoria (come si dispongono le lettere) e la dinamica (come i punti si muovono su un cerchio), offrendo una visione completa e definitiva su come l'ordine e il caos si mescolano in queste strutture matematiche.

1. Il Problema

Il paper affronta il problema della bilanciatura (balancedness) di rettangoli $m \times n$ estratti da parole di Sturmian.

Contesto: Una parola di Sturmian è una sequenza infinita su $\{0, 1\}$ definita da una pendenza irrazionale $\alpha \in (0, 1)$ e un'intercetta $\theta$ . È noto che le parole di Sturmian sono "bilanciate" in dimensione 1: il peso (numero di 1) di due fattori della stessa lunghezza differisce al massimo di 1.
Estensione multidimensionale: Berthé e Tijdeman hanno dimostrato che in dimensioni superiori a 1, solo le parole periodiche possono essere perfettamente bilanciate. Tuttavia, si può studiare la bilanciatura di sotto-matrici specifiche (rettangoli) estratte dalla matrice di Hankel infinita associata alla parola di Sturmian.
Obiettivo: Determinare esattamente per quali coppie di dimensioni $(m, n)$ i rettangoli $m \times n$ di una parola di Sturmian con pendenza $\alpha$ sono bilanciati (cioè, la somma degli elementi in ogni rettangolo assume solo due valori consecutivi interi).
Stato dell'arte precedente: Risultati parziali erano stati ottenuti da Anselmo et al. e da Shallit e l'autrice per il caso specifico in cui $\alpha$ è un numero irrazionale quadratico (che ammette uno sviluppo in frazione continua periodico). Questi lavori utilizzavano rappresentazioni di Zeckendorf (per i numeri di Fibonacci) o automi finiti (software Walnut).

2. Metodologia

L'approccio di Vukusic generalizza i risultati precedenti a qualsiasi pendenza irrazionale $\alpha$ , abbandonando la dipendenza dagli automi finiti a favore di strumenti di teoria dei numeri e approssimazione diofantea.

Riduzione a Discrepanza: Il problema della bilanciatura dei rettangoli viene trasformato in un problema di distribuzione modulare. La somma degli elementi in un rettangolo $m \times n$ $m \times n$ è legata al numero di punti della sequenza $\{k\alpha\}$ ${k α}$ (frazioni di $k\alpha$ $k α$ ) che cadono in un intervallo di lunghezza $\{n\alpha\}$ ${n α}$ .
- Il teorema principale (Teorema 3.1) stabilisce un'equivalenza: i rettangoli $m \times n$ sono bilanciati se e solo se gli intervalli di lunghezza $\{n\alpha\}$ sono "bilanciati" rispetto alla sequenza $\{0, \alpha, \dots, (m-1)\alpha\}$ .
Mappe Biunivoche: Per caratterizzare la bilanciatura degli intervalli, l'autrice introduce due mappe ( $f_{left}$ e $f_{right}$ ) che associano a ogni punto della sequenza il punto più vicino a sinistra o a destra di un intervallo di lunghezza $\delta$ . La bilanciatura è equivalente alla biettività di queste mappe (Lemma 4.3).
Rappresentazione di Ostrowski: Il cuore della dimostrazione risiede nell'uso della rappresentazione di Ostrowski degli interi $m$ $m$ e $n$ $n$ rispetto alla base $\alpha$ $α$ . Questa rappresentazione è basata sui denominatori delle convergenti della frazione continua di $\alpha$ $α$ ( $q_k$ $q_{k}$ ).
- L'autrice analizza come la posizione dei punti $\{x\alpha\}$ dipenda dai coefficienti della rappresentazione di Ostrowski.
- Vengono utilizzati lemmi tecnici per confrontare le distanze $\|x\alpha\|$ basandosi sui primi coefficienti non nulli delle rappresentazioni di Ostrowski.
Simmetria: Viene sfruttata la simmetria del problema rispetto allo scambio di $m$ e $n$ , e l'equivalenza tra $\alpha$ e $1-\alpha$ .

3. Risultati Principali (Teorema 2.1)

Il risultato centrale è una caratterizzazione completa delle coppie $(m, n)$ per cui i rettangoli sono bilanciati, espressa in termini delle rappresentazioni di Ostrowski di $m$ e $n$ rispetto a $\alpha$ .

Siano $q_k$ i denominatori delle convergenti di $\alpha$ . Le coppie $(m, n)$ con $2 \le m \le n$ definiscono rettangoli bilanciati se e solo se le loro rappresentazioni di Ostrowski soddisfano almeno una delle seguenti quattro forme strutturali:

Rappresentazioni "Split" (separate):
- $m$ e $n$ usano indici di convergenti disgiunti. Ad esempio, $m$ è una somma di $q_k$ per $k \le M$ , mentre $n$ è una somma di $q_k$ per $k \ge M+1$ .
- Varianti dove $n$ inizia con un termine specifico $q_M$ seguito da termini con indici pari a distanza di 2.
Caso delle Convergenti/Semi-convergenti:
- $m$ è il denominatore di una convergente ( $m = q_M$ ) o di una semi-convergente ( $m = q_{M-1} + a q_M$ ).
- In questi casi, $n$ deve avere una struttura specifica nella sua rappresentazione di Ostrowski, con restrizioni sulla parità degli indici dei coefficienti non nulli (es. indici pari a $M+2t$ ).

Significato dei risultati:

Questa classificazione unifica e generalizza i risultati precedenti per i numeri quadratici (dove le rappresentazioni di Ostrowski coincidono con quelle di Zeckendorf per i numeri di Fibonacci).
Mostra che la bilanciatura dipende dalla "distanza" tra le rappresentazioni di Ostrowski di $m$ e $n$ rispetto alla struttura aritmetica di $\alpha$ .

4. Contributi Chiave

Generalizzazione Assoluta: Rimozione dell'ipotesi che $\alpha$ debba essere un irrazionale quadratico. Il risultato vale per ogni $\alpha \in (0, 1)$ irrazionale.
Nuovo Approccio Teorico: Sostituzione dei metodi basati su automi finiti (limitati ai casi periodici) con un'analisi profonda della distribuzione modulare e delle proprietà delle rappresentazioni di Ostrowski.
Collegamento Teoria dei Numeri - Combinatoria: Stabilisce un ponte rigoroso tra la teoria della discrepanza (distribuzione di $\{n\alpha\}$ ) e le proprietà combinatorie delle parole di Sturmian.
Caratterizzazione Esplicita: Fornisce un algoritmo decisionale basato sui coefficienti delle frazioni continue per determinare se una data coppia $(m, n)$ genera rettangoli bilanciati.

5. Significato e Implicazioni

Teoria delle Parole: Risolve un problema aperto sulla struttura multidimensionale delle parole di Sturmian, fornendo una comprensione completa della loro "quasi-bilanciatura".
Teoria dei Numeri: Dimostra l'utilità della rappresentazione di Ostrowski non solo per l'approssimazione diofantea classica, ma anche per problemi di complessità combinatoria e dinamica simbolica.
Applicazioni: I risultati hanno rilevanza in campi come la teoria dei codici, la crittografia (sequenze pseudo-casuali basate su Sturmian) e lo studio dei sistemi dinamici a uno e più dimensioni (insiemi di resto limitato).
Metodologia: L'approccio basato sulla biettività delle mappe di spostamento offre un nuovo strumento analitico che potrebbe essere applicato ad altri problemi di discrepanza e bilanciatura in contesti simili.

In sintesi, il lavoro di Vukusic rappresenta un avanzamento fondamentale nella comprensione delle proprietà geometriche e aritmetiche delle parole di Sturmian, estendendo la teoria da casi speciali a un contesto generale e fornendo una caratterizzazione elegante basata sulla teoria delle frazioni continue.