The martingale evolution of probability measures defined via the sum-of-digits functions

Sintesi Tecnica: L'evoluzione di Martingala delle Misure di Probabilità Definite tramite le Funzioni Somma delle Cifre

Enunciato del Problema
Il paper investiga le proprietà della famiglia di misure di probabilità $\{\mu_t\}_{t \in \mathbb{N}}$ definite sugli interi $\mathbb{Z}$. Per un numero naturale $n$, sia $s(n)$ il numero di uno nella sua espansione binaria. La misura $\mu_t(d)$ rappresenta la densità asintotica dei numeri naturali $n$ tali che $s(n+t) - s(n) = d$. Sebbene sia noto che $\mu_t$ sia una misura di probabilità ben definita con media nulla, il problema aperto centrale che motiva questo lavoro è la congettura di Cusick, che postula che $\mu_t(\mathbb{N}) > 1/2$ per ogni $t \in \mathbb{N}$. Risultati precedenti hanno stabilito questa disuguaglianza per una densità asintotica pari a uno di $t$, o per classi specifiche di $t$ (ad esempio, quelli con molti blocchi di uno in binario), ma una prova strutturale completa rimane sfuggente.

Metodologia
L'autore, Dawid Tarłowski, propone una re-indicizzazione strutturale degli interi dispari utilizzando un specifico ordine parziale $\preceq$ per rivelare una struttura di martingala gerarchica sottostante all'evoluzione di queste misure.

1. Ordine Parziale e Re-indicizzazione: L'insieme degli interi dispari $T = 2\mathbb{N} + 1$ è dotato di un ordine parziale generato da due mappe, $L(t) = 2t - 1$ e $R(t) = 2t + 1$. Questa struttura permette di visualizzare la sequenza di misure $\mu_t$ come traiettorie di un sistema dinamico non autonomo.
2. Costruzione di Martingala tramite Camminate Aleatorie Fermate: Il paper introduce una famiglia di misure $P_t$ correlate a $\mu_t$ tramite la convoluzione $\mu_t = \mu_1 * P_t$. L'evoluzione di $P_t$ è descritta utilizzando una semplice camminata aleatoria simmetrica $S_n$ su $\mathbb{Z}$.
   • Viene stabilita una biiezione tra l'insieme degli alberi binari piani completi e i tempi di arresto limitati della camminata aleatoria.
   • Le misure $P_t$ sono identificate come le leggi della camminata aleatoria fermata a tempi specifici $\tau_t$ determinati dalla crescita di questi alberi.
   • Nello specifico, per una sequenza di scelte $w \in \{L, R\}^\mathbb{N}$, il processo $X_t = S_{\tau_{w(t)}}$ forma una martingala.
3. Dinamica della Crescita dell'Albero: L'evoluzione delle misure è modellata come la crescita di un albero binario. Ad ogni passo, determinato dalla sequenza $w$, un ramo dell'albero viene preservato mentre l'altro cresce diventando una copia dell'albero corrente. Questa struttura ricorsiva definisce la dinamica non autonoma su coppie di misure di probabilità.

Contributi e Risultati Chiave

• Descrizione Strutturale: Il paper fornisce una descrizione strutturale trasparente delle misure $\mu_t$ tramite la camminata aleatoria fermata associata. Ciò include caratterizzazioni esplicite del loro supporto, simmetrie e varianza.
• Analisi della Varianza: L'autore deriva limiti espliciti per la varianza $D^2[P_w]$ delle misure associate alle parole $w$.
  • La varianza è mostrata essere monotona rispetto all'ordine parziale: $s \preceq t \implies D^2(P_s) \leq D^2(P_t)$.
  • I limiti inferiori sono raggiunti da parole costanti (ad esempio, $L^n$ o $R^n$), producendo $2 - (1/2)^n$.
  • I limiti superiori sono legati al numero di blocchi nella parola $w$, con le parole alternate (ad esempio, $LR, LR, \dots$) che massimizzano la varianza.
• Comportamento Asintotico:
  • Varianza Limitata: Se la sequenza di scelte $w$ è eventualmente costante, la martingala converge quasi certamente. Le distribuzioni limite sono mostrate essere elementi della famiglia $\{\mu_t\} \cup \{\hat{\mu}_t\}$, dove $\hat{\mu}_t$ è la riflessione di $\mu_t$.
  • Varianza Illimitata: Se il numero di blocchi nella rappresentazione binaria di $t$ tende all'infinito, le misure soddisfano un Teorema del Limite Centrale, convergendo debolmente alla distribuzione normale standard (coerente con risultati precedenti di altri autori).
• Simmetrie: Il paper stabilisce che $P_w(d) = P_w(-d)$ e $P_w(d) = P_{\leftarrow w}(d)$, dove $\leftarrow w$ è la parola invertita. Ciò implica che la mappatura dalla struttura dell'albero alla misura non è iniettiva.

Relazione con la Congettura di Cusick
Il paper riformula la congettura di Cusick come una proprietà della natura "preservante la mediana" dell'evoluzione della martingala.

• L'autore propone un'affermazione generalizzata: Se l'albero cresce in modo asimmetrico (nello specifico, se $P_{Lv}(\mathbb{N}) > 1/2$ e $P_{Rv}(-\mathbb{N}) > 1/2$ per qualsiasi parola $v$), allora la congettura di Cusick vale.
• Il Lemma 24 dimostra che se la disuguaglianza $P_w(\mathbb{N}) > 1/2$ vale per qualsiasi $t$ dispari (rappresentato da una parola $w$) che inizia con una condizione specifica ($t_2=0$ in binario), ciò implica $\mu_t(\mathbb{N}) > 1/2$ per ogni $t$.
• Evidenza Numerica: Il paper conclude con una verifica numerica. Per gli interi dispari fino a $12.000.001$, il minimo globale della funzione $V(t) = P_t(\mathbb{N})$ è stato trovato essere esattamente $1/2$. I minimizzatori sono elencati, mostrando che la disuguaglianza è stretta ma non viene mai violata nell'intervallo testato.

Significato e Affermazioni
Il paper afferma che la congettura di Cusick è un caso particolare di un'affermazione più generale riguardante la crescita asimmetrica degli alberi binari associati alla martingala. Spostando la prospettiva dalle proprietà aritmetiche dirette di $s(n+t) - s(n)$ all'evoluzione probabilistica delle camminate aleatorie ferme su alberi binari, l'autore fornisce un nuovo quadro per analizzare le misure. Il lavoro non afferma di provare la congettura di Cusick, ma piuttosto la riduce a una proprietà della dinamica di crescita dell'albero, che è supportata da dati numerici. Il significato risiede nell'unificazione del problema con la teoria delle martingale e nei limiti strutturali espliciti su varianza e supporto.