Decomposition of real numbers into sums of Lüroth sets

1. Problema e Contexto

O artigo investiga a decomposição de números reais como somas de elementos provenientes de conjuntos específicos definidos por restrições em suas expansões numéricas. O foco principal é estender resultados clássicos da teoria dos números e sistemas dinâmicos, originalmente desenvolvidos para frações contínuas, para o contexto das expansões de Luroth.

• Contexto Histórico: Resultados clássicos (como os de Hall, Hlavka e Astels) estabeleceram que certos conjuntos de números reais definidos por frações contínuas com quocientes parciais limitados (ex: $F_{\le k}$) somam-se para cobrir todo o conjunto dos números reais módulo 1 ($\mathbb{R} \mod 1$). Por exemplo, $F_{\le 4} + F_{\le 4} \equiv \mathbb{R} \mod 1$.
• O Desafio: As expansões de Luroth são representações de números em $(0, 1]$ baseadas em uma transformação dinâmica diferente da transformação de Gauss (usada em frações contínuas). A transformação de Luroth é linear por partes, mas possui infinitos segmentos, gerando estruturas fractais distintas. O problema central é determinar se conjuntos análogos definidos por expansões de Luroth ($L_{\le k}$ e $L_{\ge k}$) compartilham as mesmas propriedades aditivas de cobertura de $\mathbb{R} \mod 1$ e como suas dimensões de Hausdorff se comportam.

2. Metodologia

Os autores utilizam uma abordagem combinatória e geométrica baseada na teoria de Conjuntos de Cantor Gerais e Sistemas Dinâmicos Simbólicos.

• Construção de Cantor Generalizada: Os conjuntos de Luroth ($L_A$) são tratados como conjuntos de Cantor gerais. Os autores desenvolvem uma construção específica chamada "Stepwise Complete Construction" (SCC) para gerar os conjuntos $L_{N_1, N_2}$ (onde os dígitos estão limitados entre $N_1$ e $N_2$).
• Espessura (Thickness) e Parâmetros de Hlavka/Astels: A metodologia central baseia-se em quantificar a "espessura" ($\tau$) e o parâmetro $\gamma$ dos conjuntos de Cantor.
  • Utilizam-se os resultados de Hall, Hlavka e Astels, que estabelecem condições suficientes para que a soma de dois ou mais conjuntos de Cantor contenha um intervalo (e, portanto, seja congruente a $\mathbb{R} \mod 1$ se o comprimento do intervalo for $\ge 1$).
  • As condições envolvem a razão entre os comprimentos dos intervalos removidos (gaps) e os intervalos retidos, bem como a relação entre os diâmetros dos conjuntos somandos.
• Dimensão de Hausdorff: Para analisar a dimensão fractal, os autores aplicam teoremas sobre a soma de atratores de Sistemas de Funções Iteradas (IFS), especificamente o teorema de Peres-Shmerkin, que garante que a dimensão da soma é a soma das dimensões individuais (limitada a 1), desde que as razões de contração sejam irracionalmente relacionadas.

3. Principais Contribuições e Resultados

A. Congruência Modulo 1 (Cobertura de $\mathbb{R}$)

Os autores estabelecem condições sob as quais a soma de conjuntos de Luroth cobre os reais módulo 1.

• Somas de Limites Superiores ($L_{\le k}$):

  • Provam que $L_{\le 3} + L_{\le 5} \equiv \mathbb{R} \mod 1$.
  • Provam que $L_{\le 4} + L_{\le 4} \equiv \mathbb{R} \mod 1$.
  • Provam que $L_{\le 3} + L_{\le 3} + L_{\le 3} \equiv \mathbb{R} \mod 1$.
  • Demonstram que $L_{\le 3} + L_{\le 3} \not\equiv \mathbb{R} \mod 1$ (a soma não é um intervalo completo).
  • Conjectura 2.2: Afirmam que $L_{\le 3} + L_{\le 4} \equiv \mathbb{R} \mod 1$, embora não tenham provado rigorosamente, sugerindo-o com base em densidade numérica.

• Somas de Limites Inferiores ($L_{\ge k}$):

  • Teorema 2.3: Estabelecem uma condição geral para a soma de $n$ conjuntos $L_{\ge k_j}$. Se a soma dos diâmetros for $\ge 1$ e a sequência de limites $k_j$ não variar excessivamente (condição de crescimento controlado), então a soma cobre $\mathbb{R} \mod 1$.
  • Corolário 2.4: Generalizam um resultado de Cusick-Lee para frações contínuas, provando que $k L_{\ge k} \equiv \mathbb{R} \mod 1$ para qualquer $k \ge 2$. Mostram também que $(k-1)L_{\ge k} \not\equiv \mathbb{R} \mod 1$ devido à insuficiência do diâmetro.

• Somas Mistas:

  • Teorema 2.5: Provam que $L_{\le k+2} + L_{\ge k} \equiv \mathbb{R} \mod 1$.
  • Conjectura 2.6: Propõem que a condição pode ser relaxada para $L_{\le k} + L_{\ge k} \equiv \mathbb{R} \mod 1$.

B. Dimensão de Hausdorff

• Teorema 2.9: Estabelecem que para conjuntos finitos $A$ e $B$, a dimensão de Hausdorff da soma é $\dim(L_A + L_B) = \min\{1, \dim L_A + \dim L_B\}$. Isso confirma que a soma de dois conjuntos de Cantor de Luroth "pequenos" pode gerar um conjunto de dimensão 1 (um intervalo ou conjunto de medida positiva).
• Teorema 2.10: Fornecem um limite inferior para a dimensão de $L_{\ge k}$, melhorando estimativas anteriores: $\dim L_{\ge k} > \frac{1}{2} + \frac{1}{2 \log(\max\{16, k\})}$.
• Teorema 2.11: Provam que $\dim(L_{\ge k} + L_{\ge k}) = 1$ para qualquer $k \ge 2$.
• Conjectura 2.12: Sugerem que $L_{\ge k} + L_{\ge k}$ contém um intervalo de comprimento positivo (não apenas tem dimensão 1).

4. Significado e Impacto

• Extensão da Teoria Clássica: O trabalho é significativo por transpor resultados profundos da teoria de frações contínuas (um campo maduro) para as expansões de Luroth, que são menos estudadas em contextos aditivos.
• Conexão entre Dinâmica e Teoria dos Números: O artigo reforça a ligação entre sistemas dinâmicos (mapas de Luroth, transformações de Gauss) e propriedades aritméticas (somas de conjuntos, aproximação diofantina).
• Novas Ferramentas: A aplicação rigorosa da construção SCC e o cálculo explícito da espessura ($\tau$) e do parâmetro $\gamma$ para conjuntos de Luroth fornecem uma metodologia robusta para futuros estudos sobre a estrutura aditiva de fractais definidos por representações numéricas não padrão.
• Abertura de Novas Questões: As conjecturas apresentadas (especialmente sobre $L_{\le 3} + L_{\le 4}$ e a relação entre números mal aproximáveis e bem aproximáveis via expansões de Luroth) abrem novas direções de pesquisa na interseção entre geometria fractal e teoria dos números.

Em resumo, o artigo demonstra que, assim como ocorre com frações contínuas, os conjuntos de números definidos por restrições em suas expansões de Luroth possuem uma rica estrutura aditiva, permitindo a decomposição de números reais em somas de elementos desses conjuntos sob condições específicas de limites de dígitos.