A Normality Conjecture on Rational Base Number Systems

Aquí presento un resumen técnico detallado del artículo "A Normality Conjecture on Rational Base Number Systems" (Una conjetura de normalidad en sistemas de numeración de base racional), escrito por Mélodie Andrieu, Shalom Eliahou y Léo Vivion.

1. Planteamiento del Problema

El artículo se centra en los sistemas de numeración en base racional ($p/q$), introducidos por Akiyama, Frougny y Sakarovitch en 2008. A diferencia de las bases enteras clásicas ($q=1$), cuando $q > 1$, el sistema exhibe un comportamiento complejo y no regular.

Dentro de este marco, surgen dos familias de palabras infinitas fundamentales:

• Palabras mínimas ($w_{min}$): Definidas como la extensión infinita lexicográficamente mínima de una expansión entera $u$ que sigue siendo válida en la base $p/q$.
• Palabras máximas ($w_{max}$): Definidas análogamente como la extensión lexicográficamente máxima.

El problema central: Se desconoce la estructura estadística de estas palabras. Específicamente, no se sabe si estas palabras son normales. Una palabra infinita es normal sobre un alfabeto de tamaño $d$ si todas las subpalabras de longitud $l$ aparecen con la misma frecuencia límite ($1/d^l$).

La Conjetura Principal (Conjetura 1.2):
Los autores proponen que:

1. Para cualquier base racional $p/q$ con $p > q \ge 1$ coprimos, toda palabra mínima $w_{min}(u)$ (excepto la semilla vacía) es normal sobre el subalfabeto $\{0, \dots, q-1\}$.
2. Toda palabra máxima $w_{max}(u)$ es normal sobre el subalfabeto $\{p-q, \dots, p-1\}$.

2. Metodología

El artículo combina un análisis teórico riguroso con experimentación numérica extensiva.

A. Marco Teórico y Equivalencias

• Relación con Operadores Iterativos: Los autores establecen una conexión crucial entre las palabras mínimas y el operador $T_{p/q}(x) = \lceil \frac{p}{q}x \rceil$. Demuestran que la secuencia de valores generados por iterar este operador sobre un entero $n$ corresponde a las valuations de los prefijos de la palabra mínima asociada.
• Equivalencia de Conjeturas: Demuestran que la Conjetura de Normalidad (1.2) es equivalente a la Conjetura 1.6, que afirma que las secuencias iteradas de $T_{p/q}$ están equidistribuidas en las clases residuales módulo $q^k$ para todo $k$.
• Implicaciones: Probar la normalidad implicaría la verdad de varias conjeturas abiertas de larga data, como la inexistencia de números $Z_{p/q}$ (generalización de los números $Z$ de Mahler), la conjetura de expansión triple de Akiyama y problemas relacionados con mapas iterados tipo Collatz.

B. Experimentación Numérica

Para apoyar la conjetura, los autores realizaron dos series de experimentos masivos utilizando Python y algoritmos de división modificada (MD algorithm):

1. Umbral de Riqueza (Richness Threshold):

   • Se calculó el "umbral de riqueza" $rt_w(l)$, que es la longitud mínima del prefijo necesaria para que aparezcan todas las subpalabras posibles de longitud $l$.
   • Una palabra es "rica" si este umbral es finito para todo $l$ (condición necesaria para la normalidad).
   • Se compararon los resultados de palabras mínimas con:
     • Expansiones de constantes matemáticas ($\pi, \sqrt{2}$).
     • Palabras aleatorias (generadas uniformemente).
     • Valores teóricos asintóticos ($q^l \log(q^l)$).

2. Desviación de la Uniformidad (Discrepancia):

   • Se midió la desviación $D_{w,l}(n)$ de la frecuencia empírica de las subpalabras de longitud $l$ respecto a la distribución uniforme esperada ($1/q^l$) en prefijos de longitud $n$.
   • Se analizó la tasa de convergencia de esta desviación a cero.

Datos generados:

• Se estudiaron 139 palabras mínimas hasta longitud $10^6$.
• Se estudiaron 40,000 palabras mínimas hasta longitud $10^5$.
• Se cubrieron diversas bases racionales ($2 \le q < p \le 26$), incluyendo casos donde $p < q^2$ y $p > q^2$.

3. Contribuciones Clave

1. Formulación de la Conjetura de Normalidad: Se propone formalmente que las palabras mínimas y máximas en bases racionales son normales sobre sus subalfabetos respectivos, una afirmación mucho más fuerte que la simple no-periodicidad conocida previamente.
2. Prueba de Equivalencia (Teorema 1.7): Se demuestra rigurosamente que la normalidad de las palabras mínimas es equivalente a la equidistribución de las secuencias generadas por el operador $T_{p/q}$ en clases residuales.
3. Jerarquía de Conjeturas: Se establece que la Conjetura 1.2 es significativamente más fuerte que otras conjeturas abiertas. Por ejemplo, se demuestra que si la conjetura es cierta, entonces:
   • No existen números $Z_{p/q}$ (generalización de la conjetura de Mahler de 1968) cuando $p < q^2$.
   • No existen expansiones triples para números reales en base racional (Conjetura de Akiyama, 2008).
   • Se resuelve positivamente el problema de terminación de Dubickas y Mossinghoff (2009) sobre mapas iterados.
4. Evidencia Numérica Exhaustiva: Se proporciona la primera evidencia estadística a gran escala que sugiere que estas palabras determinísticas se comportan indistinguiblemente de palabras aleatorias en términos de riqueza y discrepancia.

4. Resultados

• Riqueza: En todos los casos estudiados, las palabras mínimas parecen ser "ricas". Los umbrales de riqueza calculados para las palabras mínimas caen dentro del rango estadístico esperado para palabras aleatorias. No se encontraron subpalabras faltantes sistemáticas más allá de lo esperado por el azar en los prefijos de longitud $10^6$.
• Desviación/Discrepancia: La desviación de la uniformidad de las palabras mínimas decrece a una tasa comparable a la de las secuencias aleatorias (asintóticamente $O(\sqrt{\log \log n / n})$). Las distribuciones de las desviaciones para las palabras mínimas superponen casi perfectamente a las de las palabras aleatorias, mostrando una forma de distribución tipo Poisson.
• Comparación: Las palabras mínimas difieren notablemente de otras palabras normales conocidas (como la palabra de Champernowne o las palabras de De Bruijn infinitas), las cuales tienen umbrales de riqueza y discrepancia mucho más predecibles y estructurados. Las palabras mínimas parecen tener una estructura "pseudo-aleatoria" intrínseca.

5. Significado e Impacto

Este trabajo es fundamental para la teoría de números y la combinatoria sobre palabras por varias razones:

• Unificación de Problemas Abiertos: Al vincular la normalidad de estas palabras con problemas de décadas (Mahler, Akiyama, Collatz), ofrece una vía unificada para atacar múltiples conjeturas. Si se prueba la conjetura de normalidad, se resuelven automáticamente problemas abiertos sobre la distribución de partes fraccionarias de secuencias geométricas y la unicidad de expansiones.
• Nueva Perspectiva sobre el Caos Determinista: Las palabras mínimas en bases racionales son generadas por reglas deterministas simples (algoritmo de división modificada), pero su comportamiento estadístico parece ser el de un proceso aleatorio. Esto sugiere que estos sistemas son ejemplos ricos de caos determinista con propiedades de mezcla fuertes.
• Herramientas Computacionales: El artículo pone a disposición un repositorio público con algoritmos y datasets masivos, permitiendo a la comunidad científica verificar y extender estos experimentos.

En conclusión, los autores presentan una conjetura audaz respaldada por una evidencia numérica sólida, sugiriendo que el sistema de numeración en base racional genera palabras infinitas que son, en esencia, "aleatorias" en su distribución de símbolos, lo cual tendría profundas implicaciones teóricas en la teoría de números analítica y la dinámica simbólica.