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

Resumen Técnico: La Evolución Martingala de Medidas de Probabilidad Definidas mediante Funciones de Suma de Dígitos

Enunciado del Problema
El artículo investiga las propiedades de la familia de medidas de probabilidad $\{\mu_t\}_{t \in \mathbb{N}}$ definidas sobre los enteros $\mathbb{Z}$. Para un número natural $n$, sea $s(n)$ el número de unos en su expansión binaria. La medida $\mu_t(d)$ representa la densidad asintótica de los números naturales $n$ tales que $s(n+t) - s(n) = d$. Si bien se sabe que $\mu_t$ es una medida de probabilidad bien definida con media cero, el problema abierto central que motiva este trabajo es la conjetura de Cusick, la cual postula que $\mu_t(\mathbb{N}) > 1/2$ para todo $t \in \mathbb{N}$. Resultados previos han establecido esta desigualdad para una densidad asintótica uno de $t$, o para clases específicas de $t$ (por ejemplo, aquellos con muchos bloques de unos en binario), pero una prueba estructural completa sigue siendo esquiva.

Metodología
El autor, Dawid Tarłowski, propone una reindexación estructural de los enteros impares utilizando un orden parcial específico $\preceq$ para revelar una estructura martingala jerárquica subyacente a la evolución de estas medidas.

1. Orden Parcial y Reindexación: El conjunto de enteros impares $T = 2\mathbb{N} + 1$ se equipa con un orden parcial generado por dos aplicaciones, $L(t) = 2t - 1$ y $R(t) = 2t + 1$. Esta estructura permite ver la secuencia de medidas $\mu_t$ como trayectorias de un sistema dinámico no autónomo.
2. Construcción Martingala mediante Caminatas Aleatorias Detenidas: El artículo introduce una familia de medidas $P_t$ relacionadas con $\mu_t$ mediante la convolución $\mu_t = \mu_1 * P_t$. La evolución de $P_t$ se describe utilizando una caminata aleatoria simple simétrica $S_n$ sobre $\mathbb{Z}$.
   • Se establece una biyección entre el conjunto de árboles binarios planares completos y tiempos de parada acotados de la caminata aleatoria.
   • Las medidas $P_t$ se identifican como las leyes de la caminata aleatoria detenida en tiempos específicos $\tau_t$ determinados por el crecimiento de estos árboles.
   • Específicamente, para una secuencia de elecciones $w \in \{L, R\}^\mathbb{N}$, el proceso $X_t = S_{\tau_{w(t)}}$ forma una martingala.
3. Dinámica del Crecimiento del Árbol: La evolución de las medidas se modela como el crecimiento de un árbol binario. En cada paso, determinado por la secuencia $w$, se conserva una rama del árbol mientras que la otra crece para convertirse en una copia del árbol actual. Esta estructura recursiva define la dinámica no autónoma sobre pares de medidas de probabilidad.

Contribuciones y Resultados Clave

• Descripción Estructural: El artículo proporciona una descripción estructural transparente de las medidas $\mu_t$ a través de la caminata aleatoria detenida asociada. Esto incluye caracterizaciones explícitas de su soporte, simetrías y varianza.
• Análisis de Varianza: El autor deriva cotas explícitas para la varianza $D^2[P_w]$ de las medidas asociadas a palabras $w$.
  • Se demuestra que la varianza es monótona respecto al orden parcial: $s \preceq t \implies D^2(P_s) \leq D^2(P_t)$.
  • Las cotas inferiores se alcanzan mediante palabras constantes (por ejemplo, $L^n$ o $R^n$), dando como resultado $2 - (1/2)^n$.
  • Las cotas superiores están relacionadas con el número de bloques en la palabra $w$, siendo las palabras alternadas (por ejemplo, $LR, LR, \dots$) las que maximizan la varianza.
• Comportamiento Asintótico:
  • Varianza Acotada: Si la secuencia de elecciones $w$ es eventualmente constante, la martingala converge casi seguramente. Se demuestra que las distribuciones límite son elementos de la familia $\{\mu_t\} \cup \{\hat{\mu}_t\}$, donde $\hat{\mu}_t$ es la reflexión de $\mu_t$.
  • Varianza No Acotada: Si el número de bloques en la representación binaria de $t$ tiende a infinito, las medidas satisfacen un Teorema del Límite Central, convergiendo débilmente a la distribución normal estándar (consistente con resultados previos de otros autores).
• Simetrías: El artículo establece que $P_w(d) = P_w(-d)$ y $P_w(d) = P_{\leftarrow w}(d)$, donde $\leftarrow w$ es la palabra invertida. Esto implica que la aplicación desde la estructura del árbol hacia la medida no es inyectiva.

Relación con la Conjetura de Cusick
El artículo reformula la conjetura de Cusick como una propiedad de la naturaleza "preservadora de la mediana" de la evolución martingala.

• El autor propone una afirmación generalizada: Si el árbol crece asimétricamente (específicamente, si $P_{Lv}(\mathbb{N}) > 1/2$ y $P_{Rv}(-\mathbb{N}) > 1/2$ para cualquier palabra $v$), entonces se cumple la conjetura de Cusick.
• El Lema 24 demuestra que si la desigualdad $P_w(\mathbb{N}) > 1/2$ se cumple para cualquier $t$ impar (representado por una palabra $w$) que comienza con una condición específica ($t_2=0$ en binario), implica $\mu_t(\mathbb{N}) > 1/2$ para todo $t$.
• Evidencia Numérica: El artículo concluye con una verificación numérica. Para enteros impares hasta $12,000,001$, el mínimo global de la función $V(t) = P_t(\mathbb{N})$ se encontró exactamente en $1/2$. Se listan los minimizadores, mostrando que la desigualdad es ajustada pero nunca violada en el rango probado.

Significado y Afirmaciones
El artículo afirma que la conjetura de Cusick es un caso especial de una afirmación más general sobre el crecimiento asimétrico de árboles binarios asociados a la martingala. Al cambiar la perspectiva desde las propiedades aritméticas directas de $s(n+t) - s(n)$ hacia la evolución probabilística de caminatas aleatorias detenidas en árboles binarios, el autor proporciona un nuevo marco para analizar las medidas. La obra no afirma probar la conjetura de Cusick, sino que la reduce a una propiedad de la dinámica de crecimiento del árbol, la cual está respaldada por datos numéricos. El significado radica en la unificación del problema con la teoría de martingalas y en las cotas estructurales explícitas sobre la varianza y el soporte.