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

Resumo Técnico: A Evolução de Martingale de Medidas de Probabilidade Definidas via Funções de Soma de Dígitos

Enunciado do Problema
O artigo investiga as propriedades da família de medidas de probabilidade $\{\mu_t\}_{t \in \mathbb{N}}$ definidas sobre os inteiros $\mathbb{Z}$. Para um número natural $n$, seja $s(n)$ o número de uns em sua expansão binária. A medida $\mu_t(d)$ representa a densidade assintótica dos números naturais $n$ tais que $s(n+t) - s(n) = d$. Embora seja conhecido que $\mu_t$ é uma medida de probabilidade bem definida com média zero, o problema aberto central que motiva este trabalho é a conjectura de Cusick, que postula que $\mu_t(\mathbb{N}) > 1/2$ para todo $t \in \mathbb{N}$. Resultados anteriores estabeleceram esta desigualdade para densidade assintótica um de $t$, ou para classes específicas de $t$ (por exemplo, aquelas com muitos blocos de uns em binário), mas uma prova estrutural completa permanece elusiva.

Metodologia
O autor, Dawid Tarłowski, propõe um reindexamento estrutural dos inteiros ímpares usando uma ordem parcial específica $\preceq$ para revelar uma estrutura hierárquica de martingale subjacente à evolução dessas medidas.

1. Ordem Parcial e Reindexamento: O conjunto dos inteiros ímpares $T = 2\mathbb{N} + 1$ é equipado com uma ordem parcial gerada por dois mapas, $L(t) = 2t - 1$ e $R(t) = 2t + 1$. Esta estrutura permite que a sequência de medidas $\mu_t$ seja vista como trajetórias de um sistema dinâmico não autônomo.
2. Construção de Martingale via Passeios Aleatórios Parados: O artigo introduz uma família de medidas $P_t$ relacionadas a $\mu_t$ pela convolução $\mu_t = \mu_1 * P_t$. A evolução de $P_t$ é descrita usando um passeio aleatório simples e simétrico $S_n$ em $\mathbb{Z}$.
   • Uma bijeção é estabelecida entre o conjunto de árvores binárias planas completas e tempos de parada limitados do passeio aleatório.
   • As medidas $P_t$ são identificadas como as leis do passeio aleatório parado em tempos específicos $\tau_t$ determinados pelo crescimento dessas árvores.
   • Especificamente, para uma sequência de escolhas $w \in \{L, R\}^\mathbb{N}$, o processo $X_t = S_{\tau_{w(t)}}$ forma um martingale.
3. Dinâmica do Crescimento da Árvore: A evolução das medidas é modelada como o crescimento de uma árvore binária. Em cada passo, determinado pela sequência $w$, um ramo da árvore é preservado enquanto o outro cresce para se tornar uma cópia da árvore atual. Esta estrutura recursiva define a dinâmica não autônoma sobre pares de medidas de probabilidade.

Principais Contribuições e Resultados

• Descrição Estrutural: O artigo fornece uma descrição estrutural transparente das medidas $\mu_t$ via o passeio aleatório parado associado. Isso inclui caracterizações explícitas de seu suporte, simetrias e variância.
• Análise de Variância: O autor deriva limites explícitos para a variância $D^2[P_w]$ das medidas associadas às palavras $w$.
  • A variância é mostrada como monótona em relação à ordem parcial: $s \preceq t \implies D^2(P_s) \leq D^2(P_t)$.
  • Limites inferiores são atingidos por palavras constantes (por exemplo, $L^n$ ou $R^n$), resultando em $2 - (1/2)^n$.
  • Limites superiores estão relacionados ao número de blocos na palavra $w$, com palavras alternadas (por exemplo, $LR, LR, \dots$) maximizando a variância.
• Comportamento Assintótico:
  • Variância Limitada: Se a sequência de escolhas $w$ é eventualmente constante, o martingale converge quase certamente. As distribuições limites são mostradas como elementos da família $\{\mu_t\} \cup \{\hat{\mu}_t\}$, onde $\hat{\mu}_t$ é a reflexão de $\mu_t$.
  • Variância Ilimitada: Se o número de blocos na representação binária de $t$ tende ao infinito, as medidas satisfazem um Teorema do Limite Central, convergindo fracamente para a distribuição normal padrão (consistente com resultados anteriores de outros autores).
• Simetrias: O artigo estabelece que $P_w(d) = P_w(-d)$ e $P_w(d) = P_{\leftarrow w}(d)$, onde $\leftarrow w$ é a palavra invertida. Isso implica que o mapeamento da estrutura da árvore para a medida não é injetor.

Relação com a Conjectura de Cusick
O artigo reformula a conjectura de Cusick como uma propriedade da natureza "preservadora da mediana" da evolução do martingale.

• O autor propõe uma afirmação generalizada: Se a árvore cresce de forma assimétrica (especificamente, se $P_{Lv}(\mathbb{N}) > 1/2$ e $P_{Rv}(-\mathbb{N}) > 1/2$ para qualquer palavra $v$), então a conjectura de Cusick vale.
• Lema 24 demonstra que se a desigualdade $P_w(\mathbb{N}) > 1/2$ vale para qualquer $t$ ímpar (representado por uma palavra $w$) começando com uma condição específica ($t_2=0$ em binário), isso implica $\mu_t(\mathbb{N}) > 1/2$ para todo $t$.
• Evidência Numérica: O artigo conclui com verificação numérica. Para inteiros ímpares até $12.000.001$, o mínimo global da função $V(t) = P_t(\mathbb{N})$ foi encontrado exatamente igual a $1/2$. Os minimizadores são listados, mostrando que a desigualdade é apertada, mas nunca violada no intervalo testado.

Significado e Afirmações
O artigo afirma que a conjectura de Cusick é um caso especial de uma afirmação mais geral sobre o crescimento assimétrico de árvores binárias associadas ao martingale. Ao mudar a perspectiva das propriedades aritméticas diretas de $s(n+t) - s(n)$ para a evolução probabilística de passeios aleatórios parados em árvores binárias, o autor fornece um novo quadro para analisar as medidas. O trabalho não afirma provar a conjectura de Cusick, mas sim reduzi-la a uma propriedade da dinâmica de crescimento da árvore, que é apoiada por dados numéricos. O significado reside na unificação do problema com a teoria de martingales e nos limites estruturais explícitos sobre variância e suporte.