Distribution of integers with digit restrictions via Markov chains

Riassunto Tecnico: Distribuzione di Interi con Restrizioni sulle Cifre tramite Catene di Markov

1. Il Problema (Problem Statement)

Il lavoro affronta la distribuzione in classi di resto (progressioni aritmetiche) di insiemi di interi definiti da restrizioni sulle loro cifre in una data base $g \geq 2$. Nello specifico, l'autore si concentra sulla classe degli insiemi multiplativamente invarianti ($\times g$-invarianti).

Un insieme $A \subseteq \mathbb{N}_0$ è $\times g$-invariante se la sua appartenenza è preservata sia eliminando la cifra più significativa che la meno significativa della sua espansione in base $g$. Questa classe è molto più ampia degli "insiemi a cifre mancanti" (missing digits sets) e include strutture che, dal punto di vista della dinamica simbolica, sono analoghe ai frattali. Il problema centrale è determinare quando tali insiemi sono distribuiti uniformemente nelle progressioni aritmetiche e come queste interazioni influenzino la loro dimensione di massa (mass dimension), rispondendo parzialmente a una questione aperta posta da Glasscock, Moreira e Richter sulla trasversalità tra insiemi frattali e progressioni aritmetiche.

2. Metodologia (Methodology)

L'innovazione principale del saggio è l'introduzione di un approccio basato sulle catene di Markov, che si distacca dalla tradizionale analisi di Fourier utilizzata nella letteratura precedente (come nei lavori di Mauduit e Sárközy).

La strategia metodologica si articola in tre fasi:

1. Dinamica Simbolica: Gli insiemi $\times g$-invarianti vengono caratterizzati tramite subshift (sottosistemi dinamici simbolici). L'autore utilizza la teoria dei sofic subshifts e dei Fischer covers per modellare la struttura combinatoria delle cifre ammissibili.
2. Costruzione delle Catene di Markov: Viene costruita una catena di Markov il cui spazio degli stati è il prodotto tra le classi di resto $\mathbb{Z}_a$ e l'insieme dei follower sets (insiemi di parole che possono seguire una data parola) del subshift. La matrice di transizione è progettata per catturare l'evoluzione della somma delle cifre e del valore dell'intero modulo $a$.
3. Convergenza e Distribuzione: Utilizzando i risultati classici sulla convergenza delle catene di Markov (teorema di Perron-Frobenius per matrici stocastiche), l'autore dimostra che, se la catena è irriducibile e aperiodica (condizione di Markov), la distribuzione delle cifre converge verso una distribuzione uniforme.

3. Contributi Chiave e Risultati (Key Contributions and Results)

Il saggio fornisce diversi risultati fondamentali:

• Condizioni Necessarie e Sufficienti (Teoremi A e B): A differenza dei lavori precedenti che fornivano solo condizioni sufficienti, l'autore stabilisce condizioni necessarie e sufficienti per la distribuzione uniforme degli insiemi a cifre mancanti e per la distribuzione congiunta tra il valore dell'intero e la somma delle sue cifre ($S_g(n)$).
  • Esempio: Un insieme a cifre mancanti $C_{g,D}$ è distribuito uniformemente mod $a$ se e solo se $\gcd(a, d_2-d_1, \dots, d_t-d_1) = 1$.
• Generalizzazione ai Sofic Subshifts: Il lavoro estende i risultati a classi di insiemi molto più ampie, permettendo restrizioni non solo su singole cifre, ma su combinazioni di cifre (es. proibire certe sequenze).
• Risposta alla Questione Aperta sulla Dimensione (Teorema C): L'autore fornisce una risposta parziale alla domanda di Glasscock et al. dimostrando che:
  • Se l'insieme è rappresentato da un transitive sofic subshift, la dimensione di massa dell'intersezione con una progressione aritmetica è o $0$ o uguale alla dimensione dell'insieme stesso ($\dim_M(A \cap P) \in \{0, \dim_M(A)\}$).
  • Fornisce invece un controesempio per casi in cui il subshift è solo transitivo o solo sofic, mostrando che la risposta negativa è possibile in contesti più generici.
• Congettura sulla Minimalità dell'Entropia: L'autore propone una congettura che identifica la classe precisa di insiemi che soddisfano la proprietà della dimensione: gli insiemi rappresentati da subshift entropy minimal.

4. Significato e Rilevanza (Significance)

La rilevanza di questo lavoro risiede nella sua capacità di unificare la teoria dei numeri (distribuzione in classi di resto) con la dinamica simbolica e la geometria frattale.

1. Nuovo Strumento Tecnico: L'uso delle catene di Markov offre un'alternativa potente all'analisi di Fourier, permettendo di trattare casi in cui le restrizioni sulle cifre sono strutturalmente complesse (come nei subshift sofici).
2. Approfondimento della Teoria dei Frattali Numerici: Il lavoro chiarisce la natura della "trasversalità" tra strutture numeriche e progressioni aritmetiche, fornendo una base teorica per comprendere come le proprietà di scala (dimensione) si comportino sotto vincoli di congruenza.
3. Estensione della Teoria di Gelfond: Il saggio non solo recupera i risultati classici di Gelfond sulla somma delle cifre, ma ne fornisce una caratterizzazione equivalente e più profonda.