A Normality Conjecture on Rational Base Number Systems

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio dei sistemi di numerazione in base razionale, introdotti da Akiyama, Frougny e Sakarovitch nel 2008. In un sistema di base $p/q$ (con $p > q$ interi coprimi), ogni intero non negativo $n$ ha una rappresentazione finita unica, denotata $rep_{p/q}(n)$, ottenuta tramite un algoritmo di divisione modificato.

A differenza delle basi intere ($q=1$), dove il comportamento è regolare, le basi razionali ($q > 1$) generano strutture complesse. All'interno di questo sistema emergono due famiglie di parole infinite, dette parole minime ($w_{min}$) e parole massimali ($w_{max}$). Queste sono definite come le estensioni infinite lexicograficamente minime o massime di una parola finita iniziale (seme) $u$, tali che la concatenazione rimanga una rappresentazione valida di un intero.

Il problema centrale affrontato è la natura statistica di queste parole infinite. Mentre è noto che non sono periodiche e possiedono una complessità di sub-parole lineare, la loro distribuzione dei simboli non è stata pienamente compresa. Gli autori formulano l'ipotesi che queste parole siano normali su un appropriato sottoalfabeto, ovvero che ogni sub-parola di lunghezza $l$ appaia con la stessa frequenza limite $1/d^l$ (dove $d$ è la dimensione dell'alfabeto).

2. Metodologia

Gli autori adottano un approccio ibrido che combina dimostrazioni teoriche rigorose e un'ampia indagine numerica.

Approccio Teorico

• Equivalenza con l'Equidistribuzione: Viene stabilita un'equivalenza fondamentale tra la normalità delle parole minime e l'equidistribuzione delle residue di una sequenza di interi generata da un operatore specifico $T_{p/q}(x) = \lceil \frac{p}{q} x \rceil$.
• Implicazioni Logiche: Viene dimostrato che la validità della congettura di normalità implica la verità di quattro congetture aperte di lunga data:
  1. L'inesistenza dei numeri Z (Mahler, 1968) e dei loro generalizzati numeri $Z_{p/q}$ (Flatto, 1992) per certi intervalli di parametri.
  2. L'inesistenza di espansioni triple per i numeri reali in base razionale (Akiyama, 2008).
  3. La terminazione di certe mappe iterate sugli interi (problema "4/3" di Dubickas e Mossinghoff, 2009).
• Strumenti: Utilizzo dell'algoritmo di divisione modificato (MD), della teoria dei linguaggi formali (alberi delle parole) e della teoria dei numeri (distribuzione modulo $q$).

Approccio Numerico

Per supportare la congettura, gli autori hanno condotto esperimenti computazionali su larga scala:

• Dati: Analisi di 139 parole minime fino a una lunghezza di $10^6$ e 40.000 parole minime fino a $10^5$.
• Parametri: Basi razionali con $2 \le q < p \le 26$.
• Metriche Valutate:
  1. Soglia di Ricchezza (Richness Threshold): Il minimo $L$ tale che tutte le parole di lunghezza $l$ appaiono nel prefisso di lunghezza $L$. Una parola è "ricca" se questa soglia è finita per ogni $l$.
  2. Deviazione dall'Uniformità (Discrepanza): Misura quanto la frequenza empirica delle sub-parole si discosta dalla distribuzione uniforme attesa.
• Confronto: I risultati sono stati confrontati con parole casuali (generi da distribuzioni uniformi), con le espansioni di $\pi$ e $\sqrt{2}$, e con parole note come il numero di Champernowne e le parole di de Bruijn.

3. Contributi Chiave e Risultati

Congetture Principali

• Congettura 1.2 (Normalità): Ogni parola minima (eccetto quella con seme vuoto) è normale sull'alfabeto $\{0, \dots, q-1\}$, e ogni parola massima è normale sull'alfabeto $\{p-q, \dots, p-1\}$.
• Congettura 1.6 (Equidistribuzione): La sequenza ottenuta iterando l'operatore $T_{p/q}$ è equidistribuita nelle classi di resto modulo $q^k$.
• Teorema 1.7: Le Congetture 1.2 e 1.6 sono equivalenti.

Risultati Teorici

• Dimostrazione di Implicazioni: È stato provato che se la Congettura 1.2 è vera, allora:
  • Non esistono numeri $Z_{p/q}$ per $p < q^2$.
  • Nessun numero reale ammette più di due espansioni in base razionale (confermando la congettura di Akiyama).
  • Le mappe iterate di Dubickas e Mossinghoff terminano sempre.
• Relazione con la Congettura di Collatz: Viene discusso il parallelo tra le parole minime/massime in base $3/2$ e le traiettorie della congettura di Collatz, notando somiglianze nella complessità delle parole, sebbene non vi sia ancora un legame formale di implicazione.

Risultati Numerici

• Ricchezza: Le parole minime analizzate mostrano soglie di ricchezza finite e valori molto simili a quelli delle parole casuali. Ad esempio, per le basi binarie ($q=2$), le parole minime contengono quasi tutte le sub-parole di lunghezza 17 entro $10^6$ caratteri, con una distribuzione statistica indistinguibile da quella delle parole casuali.
• Deviazione dall'Uniformità: La discrepanza delle parole minime decade con una velocità $O(\sqrt{\log \log n / n})$, coerente con il comportamento delle sequenze casuali. Le distribuzioni delle deviazioni per le parole minime si sovrappongono quasi perfettamente a quelle delle parole casuali, differenziandosi nettamente da strutture deterministiche note come il numero di Champernowne o le parole di de Bruijn (che mostrano pattern di ricchezza e discrepanza molto diversi).

4. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Unificazione di Problemi Aperti: La congettura di normalità proposta agisce come un "principio unificante". Dimostrarla risolverebbe automaticamente problemi aperti in aree distinte della teoria dei numeri e della dinamica simbolica (numeri Z, espansioni multiple, mappe iterate).
2. Complessità delle Basi Razionali: Fornisce la prima evidenza numerica robusta che, nonostante la complessità strutturale delle basi razionali, le parole minime e massimali generano sequenze statisticamente "casuali" (normali), sfidando l'intuizione che sistemi deterministici complessi debbano mostrare regolarità non casuali.
3. Metodologia Computazionale: L'uso di esperimenti su larga scala (40.000 parole) per testare proprietà di normalità in contesti non standard offre un modello per future indagini in teoria dei numeri computazionale.
4. Nuove Direzioni: Il lavoro solleva domande sulla "supernormalità" (es. genericità di Poisson) delle parole minime e sulla possibilità di estendere la congettura ad altre generalizzazioni dei sistemi di numerazione.

In sintesi, gli autori sostengono con forza che le parole minime e massimali nei sistemi di base razionale sono oggetti normali, e che la prova di questa proprietà avrebbe conseguenze profonde e risolutive per diverse congetture matematiche storiche.