Hausdorff dimension of double base expansions and binary shifts with a hole

Resumo Técnico: Dimensão de Hausdorff de Expansões de Dupla Base e Deslocamentos Binários com Buraco

1. Problema e Contexto

O artigo investiga a teoria das expansões de números reais em bases não inteiras, especificamente o caso de dupla base $(q_0, q_1)$, onde $q_0, q_1 > 1$. Dada uma sequência binária infinita $i_1 i_2 \dots \in \{0, 1\}^\infty$, a expansão $(q_0, q_1)$ de um número $x$ é definida pela série:
$$x = \pi_{q_0,q_1}(i_1 i_2 \dots) = \sum_{k=1}^{\infty} \frac{i_k}{q_{i_1} q_{i_2} \dots q_{i_k}}$$
O conjunto de todos os números gerados por essas expansões é denotado por $J_{q_0,q_1}$. O foco central do trabalho é o estudo do conjunto unívoco (ou univoque set), denotado por $U_{q_0,q_1}$, que consiste nos números $x \in J_{q_0,q_1}$ que possuem exatamente uma expansão $(q_0, q_1)$.

O problema geraliza resultados conhecidos para o caso de base única ($q_0 = q_1 = q$), onde a estrutura do conjunto unívoco e sua dimensão de Hausdorff foram extensivamente estudadas (por exemplo, por Erdős, Komornik, Kong e Li). O artigo aborda a complexidade adicional introduzida quando as bases são distintas, explorando a relação entre a dimensão de Hausdorff, a entropia topológica de sistemas dinâmicos simbólicos e a existência de "buracos" em sistemas dinâmicos abertos (como o mapa de duplicação com um buraco).

2. Metodologia

Os autores utilizam uma abordagem que combina teoria dos números, geometria fractal e sistemas dinâmicos simbólicos.

• Abordagem Simbólica: O conjunto de expansões únicas é caracterizado como um subshift de tipo finito (ou subshift de Markov) definido por restrições lexicográficas. Especificamente, o conjunto de sequências admissíveis $\Omega_{a,b}$ é definido excluindo sequências que caem em um intervalo aberto $]a, b[$ no espaço de sequências binárias, onde $a$ e $b$ são expansões "quase-gulosas" e "quase-preguiçosas" de pontos críticos.
• Construção de Moran Generalizada: Para calcular a dimensão de Hausdorff, os autores modelam o conjunto projetado $\pi_{q_0,q_1}(\Omega_{a,b})$ como uma construção de Moran generalizada. Eles derivam equações funcionais baseadas em séries de potências formais relacionadas aos polinômios de kneading (invariantes de torção).
• Análise de Continuidade: A prova da continuidade da dimensão de Hausdorff em relação aos parâmetros $(q_0, q_1)$ e às sequências de fronteira $(a, b)$ é estabelecida através de uma análise detalhada da dependência contínua das raízes de equações polinomiais e da estabilidade dos subshifts sob pequenas perturbações nas sequências de fronteira.
• Substituições e Invariância: O trabalho emprega técnicas de substituição de palavras para analisar casos onde as sequências de fronteira possuem estruturas periódicas ou quase-periódicas, demonstrando que a dimensão de Hausdorff permanece invariante sob certas transformações de palavras.

3. Principais Contribuições e Resultados

O artigo estabelece fórmulas explícitas e propriedades de continuidade para a dimensão de Hausdorff do conjunto unívoco $U_{q_0,q_1}$.

A. Fórmulas para a Dimensão de Hausdorff (Teorema 1.1)
Os autores determinam a dimensão de Hausdorff $s = \dim_H U_{q_0,q_1}$ em função de $q_0$ e $q_1$:

1. Caso Trivial ($q_1 \le K(q_0)$): Se $q_1$ está abaixo de uma constante generalizada de Komornik-Loreti $K(q_0)$, o conjunto unívoco é contável (ou trivial), e portanto $\dim_H U_{q_0,q_1} = 0$.
2. Caso Intermediário ($K(q_0) < q_1 < \frac{q_0}{q_0-1}$): A dimensão é estritamente entre 0 e 1. Ela é dada pela maior raiz positiva $s$ da equação:
   $$\pi_{q_0^s, q_1^s}(a) = \pi_{q_0^s, q_1^s}(b)$$
   onde $a$ e $b$ são as expansões extremas do conjunto de sequências admissíveis.
3. Caso de Transição ($q_1 = \frac{q_0}{q_0-1}$): A dimensão é exatamente 1.
4. Caso de Sobreposição Total ($q_1 > \frac{q_0}{q_0-1}$): A dimensão é novamente dada pela raiz de uma equação específica, mas o comportamento do sistema muda qualitativamente.

B. Relação com Entropia Topológica (Teorema 1.2)
Estabelece-se uma ligação direta entre a dimensão de Hausdorff e a entropia topológica $h(\Omega_{a,b})$ do subshift subjacente:
$$\dim_H \pi_{q_0,q_1}(\Omega_{a,b}) = \min\left(1, \frac{h(\Omega_{a,b})}{\log \beta}\right)$$
onde $\beta$ é a base efetiva. Mais precisamente, a dimensão é a raiz máxima de uma equação envolvendo as expansões de $a$ e $b$ com bases elevadas à potência da dimensão.

C. Continuidade (Teoremas 1.4 e 1.5)
Um dos resultados mais significativos é a prova de que:

• A função que mapeia pares de sequências $(a, b)$ para a dimensão de Hausdorff é contínua.
• A função $(q_0, q_1) \mapsto \dim_H U_{q_0,q_1}$ é contínua para todos $q_0, q_1 > 1$.
  Isso generaliza resultados anteriores de Allaart e Kong (2019) que foram limitados ao caso de base única.

D. Invariância sob Substituição (Teorema 1.6)
O artigo demonstra que, sob certas condições de entropia positiva, a dimensão de Hausdorff é invariante quando as sequências de fronteira são modificadas por substituições de prefixos específicos (ex: $u^\infty, v^\infty$ vs $uv^\infty, vu^\infty$). Isso conecta o problema de expansão de dupla base a propriedades de mapas de Lorenz e sistemas dinâmicos com buracos.

4. Significado e Impacto

• Generalização Unificada: O trabalho fornece uma teoria unificada para expansões em bases múltiplas, resolvendo a questão da dimensão de Hausdorff para o caso geral $(q_0, q_1)$, que era anteriormente incompleto.
• Conexão entre Áreas: O artigo reforça a profunda conexão entre a teoria de expansões em bases não inteiras, a teoria ergódica (sistemas com buracos) e a geometria fractal. Mostra que problemas aparentemente distintos (como o mapa de duplicação com um buraco e expansões de dupla base) compartilham a mesma estrutura simbólica subjacente.
• Ferramentas Analíticas: As fórmulas explícitas derivadas permitem o cálculo numérico preciso da dimensão de Hausdorff para qualquer par de bases, como ilustrado na Figura 1 do artigo, que mapeia a dimensão no plano $(q_0, q_1)$.
• Aplicações Futuras: A demonstração de continuidade e as fórmulas explícitas abrem caminho para o estudo de propriedades estatísticas de conjuntos de números com expansões únicas em bases variáveis, com potenciais aplicações em teoria dos números, criptografia e modelagem de sistemas caóticos.

Em suma, este artigo representa um avanço fundamental na compreensão da estrutura geométrica e dinâmica dos conjuntos de números com expansões únicas em sistemas de base dupla, fornecendo ferramentas analíticas robustas para sua caracterização.