A Normality Conjecture on Rational Base Number Systems

Título: Uma Conjectura de Normalidade em Sistemas de Numeração de Base Racional

Autores: Mélodie Andrieu, Shalom Eliahou e Léo Vivion.

---

1. O Problema e o Contexto

O artigo investiga o comportamento de sistemas de numeração em bases racionais ($p/q$), onde $p$ e $q$ são inteiros positivos coprimos e $p > q$. Diferente das bases inteiras clássicas ($q=1$), as bases racionais exibem comportamentos complexos e não regulares.

Neste contexto, emergem duas famílias de palavras infinitas: as palavras mínimas ($w_{min}$) e as palavras máximas ($w_{max}$). Elas são definidas como os caminhos infinitos no "árvore de linguagem" dos inteiros que, a partir de uma semente (um inteiro inicial), escolhem sempre a aresta de menor (para mínimas) ou maior (para máximas) valor lexicográfico possível, mantendo a validade da expansão.

O problema central abordado é a distribuição estatística das letras e subpalavras nessas sequências infinitas. Especificamente, os autores propõem a conjectura de que essas palavras são normais sobre seus respectivos subalfabetos.

• Conjectura 1.2: Toda palavra mínima (exceto a semente vazia) é normal sobre o alfabeto $\{0, \dots, q-1\}$. Toda palavra máxima é normal sobre o alfabeto $\{p-q, \dots, p-1\}$.
• Normalidade: Uma palavra é normal se todas as subpalavras de um comprimento $l$ aparecem com a mesma frequência limite ($1/d^l$, onde $d$ é o tamanho do alfabeto).

2. Metodologia

Os autores utilizaram uma abordagem híbrida combinando provas teóricas e experimentação numérica extensiva.

A. Fundamentação Teórica e Conexões

Os autores estabeleceram equivalências e implicações lógicas entre sua conjectura e problemas matemáticos abertos de longa data:

1. Equivalência com Equidistribuição: Provaram que a normalidade das palavras mínimas é equivalente à equidistribuição das sequências geradas pelo operador $T_{p/q}(x) = \lceil \frac{p}{q}x \rceil$ nas classes de resíduo módulo $q^k$.
2. Implicações para Conjecturas Existentes: Demonstraram que a validade de sua conjectura de normalidade implicaria a verdade de quatro conjecturas importantes:
   • A não existência de números Z (Mahler, 1968) e sua generalização números $Z_{p/q}$ (para $p < q^2$).
   • A conjectura de expansão tripla de Akiyama (2008), que afirma que nenhum número real possui três expansões distintas em base racional.
   • A conjectura de Dubickas e Mossinghoff (2009) sobre a terminação de certos mapas iterados em inteiros (relacionado ao problema "4/3").

B. Experimentação Numérica

Para validar a conjectura empiricamente, os autores realizaram simulações computacionais massivas utilizando Python.

• Dados: Foram analisadas 139 palavras mínimas (até $10^6$ caracteres) e 40.000 palavras mínimas (até $10^5$ caracteres) em diversas bases racionais ($2 \le q < p \le 26$).
• Métricas Avaliadas:
  1. Limiar de Riqueza (Richness Threshold): O menor comprimento de prefixo necessário para que todas as subpalavras de um comprimento $l$ apareçam pelo menos uma vez. Uma palavra é "rica" se esse limiar é finito para todo $l$.
  2. Desvio da Uniformidade (Discrepância): Medida de quão próxima a distribuição empírica das subpalavras está da distribuição uniforme esperada.

Os resultados foram comparados com:

• Palavras aleatórias (geradas uniformemente).
• Expansões de constantes matemáticas conhecidas (como $\pi$ e $\sqrt{2}$).
• Palavras clássicas de interesse (Palavra de Champernowne e Palavras de De Bruijn).

3. Principais Contribuições e Resultados

Contribuições Teóricas

• Prova de Equivalência (Teorema 1.7): Estabeleceram que a conjectura de normalidade (Conjectura 1.2) é equivalente à conjectura de equidistribuição das classes de resíduo (Conjectura 1.6).
• Hierarquia de Força (Teorema 1.5): Demonstraram que a normalidade das palavras mínimas é uma condição mais forte do que a não existência de números $Z_{p/q}$. Ou seja, se as palavras são normais, então os números $Z_{p/q}$ não existem.
• Resolução de Casos Específicos: Mostraram que a mera presença da letra '0' em todas as palavras mínimas (uma condição muito mais fraca que a normalidade) já é suficiente para provar a conjectura de Akiyama sobre expansões triplas.

Resultados Numéricos

• Riqueza das Palavras: Os experimentos indicaram que todas as palavras mínimas testadas são "ricas" (possuem limiar de riqueza finito). Os valores dos limiares de riqueza das palavras mínimas caem dentro da distribuição estatística esperada para palavras aleatórias, diferindo significativamente de palavras determinísticas como a de Champernowne ou De Bruijn.
• Comportamento de Discrepância: A taxa de decaimento do desvio da uniformidade nas palavras mínimas foi observada como sendo comparável à de sequências aleatórias (comportamento assintótico $O(\sqrt{\log \log n / n})$).
• Indistinguibilidade Estatística: Até onde a análise permitiu, as palavras mínimas em bases racionais exibem propriedades estatísticas indistinguíveis de palavras aleatórias geradas uniformemente.

4. Significado e Implicações

Este trabalho é significativo por várias razões:

1. Unificação de Problemas Abertos: Conecta a teoria de sistemas de numeração, teoria dos números (distribuição de frações) e combinatória de palavras. A prova de que a normalidade implica a não existência de números $Z_{p/q}$ oferece uma nova via de ataque para resolver o problema de Mahler (que permanece aberto desde 1968).
2. Comportamento Caótico vs. Aleatório: O estudo sugere que, embora as palavras mínimas sejam geradas por regras determinísticas rígidas (algoritmo de divisão modificada), elas exibem um comportamento estatístico que imita a aleatoriedade perfeita (normalidade), o que é um fenômeno profundo em sistemas dinâmicos.
3. Limites de Conjecturas: O artigo esclarece que a conjectura de normalidade é robusta e cobre casos onde a existência de números $Z_{p/q}$ é impossível ($p < q^2$), mas também sugere que para $p > q^2$, a relação com a normalidade pode se romper, alinhando-se com a existência conhecida de números $Z_{p/q}$ nesses casos.
4. Ferramentas Computacionais: A criação de um repositório público com dados e algoritmos para a geração dessas palavras mínimas fornece uma base sólida para futuras investigações numéricas e teóricas na área.

Em resumo, os autores propõem uma conjectura forte de normalidade para palavras geradas em bases racionais, fornecem evidências numéricas robustas que a sustentam e demonstram teoricamente que sua veracidade resolveria ou simplificaria vários problemas em aberto na teoria dos números e na dinâmica simbólica.