On the maximal run-length function in the Lüroth expansion

Este artigo estabelece a dimensão de Hausdorff do conjunto de números cujas expansões de Lüroth apresentam crescimento linear nos comprimentos máximos de sequências consecutivas, caracterizando suas propriedades multifractais para todos os pares possíveis de limites inferior e superior.

O essencial

Imagine que você tem um número mágico entre 0 e 1. Você pode "desmontar" esse número em uma sequência infinita de dígitos inteiros, como se fosse um código de barras único para cada número. Os matemáticos chamam isso de Expansão de Lüroth.

Pense nessa sequência de dígitos como uma música infinita tocada por um pianista. Às vezes, o pianista toca a mesma nota várias vezes seguidas. Por exemplo: 2, 2, 2, 2, 5, 3, 3, 3, 7...

O foco deste artigo é estudar os "blocos de notas repetidas".

• Se o pianista toca "2, 2, 2, 2", temos um bloco de 4 notas iguais.
• O artigo pergunta: qual é o maior bloco de notas iguais que podemos encontrar nos primeiros n dígitos de um número? Vamos chamar isso de "Comprimento Máximo da Corrida" (ou run-length).

O que a gente já sabia?

Antes deste trabalho, os matemáticos sabiam que, para a grande maioria dos números, esses blocos de repetição crescem de forma "lenta e previsível". Eles crescem na mesma velocidade que o logaritmo do número de dígitos. É como se o pianista, em média, repetisse uma nota um número de vezes que é proporcional ao logaritmo do tempo de música.

O que este artigo descobriu?

Os autores, Dingding Yu e seus colegas, decidiram olhar para os números estranhos (os "excepcionais"). Eles queriam saber: "O que acontece se o bloco de repetição crescer muito mais rápido? E se ele crescer na mesma velocidade que o número total de dígitos?"

Eles imaginaram dois cenários extremos:

1. O cenário "Lento" (α): O maior bloco de repetição é uma fração pequena do total (ex: 10% do tempo, o maior bloco tem 10 notas).
2. O cenário "Rápido" (β): O maior bloco de repetição é uma fração grande do total (ex: 90% do tempo, o maior bloco tem 90 notas).

Eles definiram um "clube secreto" de números que têm um comportamento específico: o tamanho do maior bloco oscila entre uma fração mínima (α) e uma fração máxima (β) do total de dígitos.

A Grande Pergunta: Quantos desses números existem?

Na matemática, quando perguntamos "quantos", não estamos apenas contando (1, 2, 3...), mas medindo a complexidade ou a "densidade" desse conjunto. Para conjuntos infinitos e estranhos, usamos uma régua chamada Dimensão de Hausdorff.

• Se a dimensão é 1, o conjunto é "grosso", cheio e ocupa todo o espaço possível (como uma linha cheia).
• Se a dimensão é 0, o conjunto é "fino", quase inexistente (como um ponto solitário ou um conjunto de poeira).

A Descoberta Principal (A Receita Mágica)

O artigo fornece uma fórmula matemática precisa para calcular a "espessura" (dimensão) desse conjunto de números estranhos, dependendo dos valores de α (mínimo) e β (máximo).

Aqui está a analogia simples:
Imagine que você está tentando construir uma torre de blocos.

• Se você tentar fazer a torre crescer tão rápido que o topo toca o céu (β = 1), a torre é tão instável que ela se desfaz em nada (dimensão 0).
• Se você tentar fazer a torre crescer tão devagar que ela nem sai do chão (β = 0), ela é tão densa que ocupa tudo (dimensão 1).
• O meio-termo: Se você quer uma torre que oscila entre um crescimento lento e um rápido, a "espessura" da sua torre depende de uma equação complexa que os autores resolveram.

A Regra de Ouro do Artigo:
Existe um limite crítico. Se o seu "mínimo" (α) for muito alto em relação ao seu "máximo" (β), é impossível construir tal torre. O conjunto de números desaparece (dimensão 0).
Mas, se o seu "mínimo" for baixo o suficiente, existe um conjunto de números com uma dimensão específica, calculada por uma equação que envolve uma soma infinita de frações.

Por que isso importa?

Este trabalho é como um mapa de tesouro para a geometria dos números. Ele nos diz exatamente onde estão escondidos os números que se comportam de maneira "anormal" em relação às repetições de dígitos.

• Para o matemático: É uma prova rigorosa que conecta teoria dos números, probabilidade e geometria fractal.
• Para nós, leigos: É a descoberta de que, mesmo no caos aparente dos números, existem padrões de "repetição" que podem ser medidos com precisão cirúrgica. O artigo nos diz que, se você procurar por números que têm blocos de repetição muito longos, você não vai encontrar apenas alguns; você vai encontrar um "universo" inteiro deles, e a "tamanho" desse universo pode ser calculado.

Em resumo: O artigo mapeou a "paisagem" dos números que têm repetições de dígitos em ritmos estranhos, mostrando exatamente quão "cheios" ou "vazios" são esses grupos de números.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "On the maximal run-length function in the Lüroth expansion" de Dingding Yu, apresentado em português.

Resumo Técnico: Função de Comprimento Máximo de Corrida na Expansão de Lüroth

1. Problema Investigado

O artigo foca no comportamento assintótico da função de comprimento máximo de corrida ($\ell_n(x)$) na expansão de Lüroth de um número real $x \in (0, 1]$.

• Definição: A expansão de Lüroth de $x$ é dada por uma sequência de dígitos inteiros $d_n(x) \ge 2$. A função $\ell_n(x)$ representa o comprimento do maior bloco de dígitos idênticos consecutivos entre os primeiros $n$ dígitos dessa expansão.
• Contexto: Sabe-se (Teorema de Sun e Xu) que para quase todo $x$, $\ell_n(x)$ cresce logaritmicamente ($\sim \log_2 n$). O artigo investiga o conjunto excepcional onde esse crescimento é linear, ou seja, onde a razão $\ell_n(x)/n$ converge para valores não nulos.
• Objetivo Específico: Determinar a dimensão de Hausdorff do conjunto $E(\alpha, \beta)$ definido como:
  $$E(\alpha, \beta) = \left\{ x \in (0, 1] : \liminf_{n \to \infty} \frac{\ell_n(x)}{n} = \alpha, \quad \limsup_{n \to \infty} \frac{\ell_n(x)}{n} = \beta \right\}$$
  para quaisquer $0 \le \alpha \le \beta \le 1$.

2. Metodologia

A prova utiliza uma combinação de teoria ergódica, análise multifractal e estimativas de medida de Hausdorff. A abordagem divide-se em duas partes principais: limites superiores e limites inferiores.

A. Limites Superiores (Seção 3):

• Cobertura por Cilindros: O conjunto $E(\alpha, \beta)$ é coberto por cilindros de Lüroth (intervalos definidos por prefixos fixos de dígitos).
• Análise de Casos:
  • Se $\beta = 0$, o conjunto tem dimensão 1 (comportamento típico).
  • Se $\beta = 1$, a dimensão é 0.
  • Para $0 < \beta < 1$, o autor analisa a relação entre$\alpha$e$\beta$. Um ponto crucial é a descoberta de que se$\alpha > \frac{\beta}{1+\beta}$, o conjunto é contável (dimensão 0), pois tal comportamento exigiria uma periodicidade impossível para quase todos os pontos.
• Estimativa de Soma: Para o caso não trivial ($0 \le \alpha < \frac{\beta}{1+\beta} < \beta < 1$), o autor constrói uma cobertura baseada em sequências de comprimentos de corrida ($m_k$) e intervalos entre elas ($n_k$). Utiliza-se o Lema 2.8 para estimar somas de potências dos comprimentos dos cilindros, reduzindo o problema ao cálculo de uma série geométrica ponderada.

B. Limites Inferiores (Seção 4):

• Construção de Subconjunto: O autor constrói um subconjunto $G(M) \subset E(\alpha, \beta)$ onde os dígitos são controlados:
  • Em blocos específicos de comprimento $m_k$, os dígitos são fixos (geralmente iguais a 2).
  • Nas posições intermediárias, os dígitos variam em um conjunto limitado $\{2, \dots, M\}$.
• Mapeamento de Projeção: Define-se uma função $f$ que remove os dígitos nas posições "deletadas" (onde os dígitos são fixos). Isso transforma o problema em um sistema dinâmico com restrições mais simples.
• Princípio da Distribuição de Massa (Mass Distribution Principle):
  • Constrói-se uma medida de probabilidade $\mu$ suportada no conjunto projetado $f(G(M))$.
  • A medida é definida recursivamente sobre os intervalos fundamentais, ajustando os expoentes de escala para corresponder à dimensão desejada.
  • Demonstra-se que a medida satisfaz a condição de Hölder e que os intervalos fundamentais têm "gaps" (lacunas) proporcionais aos seus tamanhos (Proposição 4.4), garantindo que a dimensão de Hausdorff seja pelo menos o expoente crítico.
• Limitação: O resultado é obtido para um conjunto com dígitos limitados por $M$ e depois tomado o limite $M \to \infty$.

3. Contribuições Chave e Resultados Principais

O resultado central é o Teorema 1.2, que fornece uma fórmula explícita para a dimensão de Hausdorff de $E(\alpha, \beta)$.

Seja $s(u)$ a solução única da equação:
$$\sum_{t=2}^{\infty} \left( \frac{1}{2^u t(t-1)} \right)^s = 1$$

A dimensão de Hausdorff é dada por:
$$\dim_H E(\alpha, \beta) = \begin{cases} 1 & \text{se } \beta = 0, \\ s\left( \frac{\beta^2(1-\alpha)}{(1-\beta)[\beta - \alpha(1+\beta)]} \right) & \text{se } 0 \le \alpha < \frac{\beta}{1+\beta} < \beta < 1, \\ 0 & \text{caso contrário (incluindo se } \alpha > \frac{\beta}{1+\beta} \text{ ou } \beta=1). \end{cases}$$

Pontos de Destaque:

1. Limite Crítico de $\alpha$: O artigo identifica rigorosamente que o conjunto $E(\alpha, \beta)$ é vazio (ou contável, logo dimensão 0) se o limite inferior $\alpha$ exceder o valor crítico $\frac{\beta}{1+\beta}$. Isso reflete uma restrição estrutural na expansão de Lüroth: não é possível ter um crescimento linear mínimo muito alto em relação ao máximo sem violar a estrutura da expansão.
2. Generalização: O trabalho estende resultados anteriores de Sun e Xu (que tratavam de crescimento logarítmico ou funções de crescimento sublinear $\phi(n)$) para o regime de crescimento linear estrito.
3. Fórmula Específica: A introdução do parâmetro $u$ na equação definidora de $s(u)$, que depende da razão entre os parâmetros $\alpha$ e $\beta$, oferece uma descrição multifractal precisa para este sistema.

4. Significado e Relevância

• Teoria Ergódica e Sistemas Dinâmicos: O artigo enriquece a compreensão da teoria métrica da expansão de Lüroth, um sistema dinâmico não uniforme (diferente da expansão decimal ou de frações contínuas).
• Análise Multifractal: Fornece um exemplo concreto de espectro multifractal para uma função de comprimento de corrida em um sistema de expansão de dígitos não padrão.
• Conexão com Outros Sistemas: O problema é análogo a questões estudadas por Erdős e Rényi para expansões binárias (dyadic), mas a natureza da expansão de Lüroth (com dígitos variando de 2 a $\infty$ e pesos decrescentes específicos) exige técnicas de estimativa de dimensão adaptadas, demonstrando a robustez e a complexidade dos métodos de dimensão de Hausdorff em sistemas dinâmicos.
• Aplicabilidade: As técnicas de construção de conjuntos Cantor-like e o uso do princípio da distribuição de massa desenvolvidos aqui podem ser aplicados a outros problemas de dimensão em expansões de números reais com restrições de dígitos.

Em suma, o artigo resolve completamente o problema da dimensão de Hausdorff para o conjunto de números cujos comprimentos máximos de corrida na expansão de Lüroth exibem crescimento linear com limites inferior e superior específicos, revelando uma fronteira crítica de viabilidade para tais comportamentos.