🔢 mathematics

The uniform Littlewood conjecture fails on a set of positive Hausdorff dimension

Este artigo demonstra que o conjunto de contraexemplos para a conjectura uniforme de Littlewood, especificamente aqueles envolvendo números mal aproximáveis, possui uma dimensão de Hausdorff de pelo menos $3/2$ , contrastando assim fortemente com a conjectura clássica de Littlewood, onde os contraexemplos formam um conjunto de dimensão zero.

Autores originais: Nikita Shulga

Publicado 2026-08-27

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Nikita Shulga

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Na vasta paisagem da matemática, existe um canto silencioso dedicado a entender o quão bem podemos aproximar um número usando outro. Imagine tentar encontrar uma fração que se situe incrivelmente próxima de um decimal estranho e infinito. Alguns números são fáceis de definir; outros resistem, não importa o quanto se tente. Matemáticos há muito se fascinam pelos números "mal aproximáveis", aqueles valores teimosos que se recusam a ser estreitamente correspondidos por frações simples. Essa resistência não é aleatória; ela segue uma estrutura oculta que se revela quando observamos como esses números se comportam em pares. Durante décadas, uma ideia famosa conhecida como conjectura de Littlewood questionou se, para quaisquer dois desses números, podemos sempre encontrar uma maneira de fazer com que ambos pareçam muito com números inteiros ao mesmo tempo, simplesmente multiplicando-os por um número inteiro suficientemente grande. A resposta a essa questão clássica acredita-se ser sim para quase todo par, embora o conjunto de potenciais exceções seja tão pequeno que é quase invisível para a medição padrão.

Recentemente, matemáticos voltaram sua atenção para uma versão mais rigorosa deste problema, chamada conjectura uniforme de Littlewood. Esta versão exige que a aproximação funcione não apenas eventualmente, mas de forma consistente e eficiente através de uma gama específica de multiplicadores. É um teste mais rígido, perguntando se a melhor correspondência possível é sempre encontrada dentro de uma determinada janela de esforço. Por muito tempo, esperou-se que essa regra mais estrita se mantivesse verdadeira para todos os pares de números. No entanto, trabalhos recentes mostraram que este não é o caso. Existem pares de números que quebram essa regra, falhando no teste de uma forma que deixa uma lacuna mensurável. A questão que permanecia era quantos desses pares existem e quão "grande" é esse grupo de falhas.

Um novo estudo de Nikita Shulga respondeu agora a esta questão com uma profundidade surpreendente. O pesquisador provou que a coleção de pares que quebram a regra uniforme não é apenas um pequeno e disperso punhado de exceções. Em vez disso, esses contraexemplos formam uma família substancial, ocupando um espaço que é grande o suficiente para ser medido com uma escala específica de complexidade. O estudo foca em um grupo especial de números que são notoriamente difíceis de aproximar, conhecidos como números mal aproximáveis. Shulga demonstrou que, se você tomar um desses números teimosos como seu ponto de partida, existe uma vasta gama de parceiros com os quais você pode emparelhá-los para criar uma falha na regra uniforme. De fato, o conjunto de tais números de partida é tão grande que preenche todo o espaço de possibilidades em termos de sua complexidade geométrica.

O artigo estabelece que o conjunto desses pares que falham possui uma dimensão específica, uma medida matemática de tamanho que vai além da simples contagem. Enquanto a versão clássica do problema sugere que quaisquer exceções seriam tão raras que teriam tamanho zero, este novo trabalho mostra que a versão uniforme permite um conjunto muito mais rico de falhas. O autor prova que a dimensão deste conjunto de contraexemplos é pelo menos um e meio. Isso é um achado significativo porque significa que o conjunto não é apenas uma linha ou um ponto, mas algo com uma espessura que desafia a descrição simples. Além disso, o estudo mostra que o conjunto de números mal aproximáveis que podem servir como a primeira parte de tal par falho é tão extenso que possui uma dimensão de um, significando que é tão grande quanto o próprio conjunto de números reais naquela categoria.

Para chegar a esta conclusão, o pesquisador construiu uma família específica e intrincada de pares de números. Esta construção envolveu a seleção cuidadosa de números baseada em como seus dígitos se comportam quando escritos como frações contínuas, um método de representar números que revela seus padrões ocultos. Ao escolher números com dígitos limitados, o pesquisador garantiu que eles pertencessem ao grupo teimoso e mal aproximável. Então, ao emparelhá-los com parceiros cuidadosamente escolhidos, o estudo mostrou que esses pares consistentemente falham no teste uniforme. A prova baseia-se em contar quantos desses pares podem ser encontrados dentro de intervalos específicos e mostrar que essa contagem cresce rápido o suficiente para garantir uma dimensão positiva e grande. O trabalho não diz apenas que esses pares existem; ele os constrói e mede seu tamanho, provando que a falha da conjectura uniforme de Littlewood é um fenômeno robusto e generalizado, não uma anomalia rara.

Esta descoberta muda nossa compreensão do cenário da teoria dos números. Revela que, embora a conjectura clássica de Littlewood possa ser verdadeira para quase todos os pares, a versão uniforme, mais estrita, é muito mais frágil. A existência de um conjunto de contraexemplos de dimensão positiva e grande significa que o comportamento de quebra de regras está profundamente incrustado na estrutura desses números. O estudo confirma que, mesmo quando nos restringimos aos números mais difíceis de aproximar, ainda podemos encontrar um mundo vasto e complexo de pares que desafiam a expectativa uniforme. Este resultado resolve uma questão de longa data sobre o tamanho dessas exceções, mostrando que elas são muito mais numerosas e estruturalmente significativas do que se pensava anteriormente, fornecendo um mapa mais claro e detalhado de onde as regras de aproximação falham.

Resumo Técnico: A Conjectura Uniforme de Littlewood Falha em um Conjunto de Dimensão de Hausdorff Positiva

Enunciado do Problema
O artigo aborda a Conjectura Uniforme de Littlewood (ULC), um fortalecimento da clássica conjectura de Littlewood introduzida por Badi, Fregoli e Kleinbock. A conjectura clássica afirma que, para todos os reais $\xi, \zeta$ , $\liminf_{n\to\infty} n\|n\xi\|\|n\zeta\| = 0$ . A ULC propõe uma versão uniforme: para todos os reais $\xi, \zeta$ ,
$\lim_{Q\to\infty} Q \min_{1\le n \le Q} \|n\xi\|\|n\zeta\| = 0.$
Embora a ULC seja válida para quase todos os pares $(\xi, \zeta)$ , Schleischitz desmentiu recentemente a conjectura ao construir pares específicos para os quais o respectivo limsup é positivo e ao mostrar que o conjunto de contraexemplos, denotado por $\mathcal{U}$ , contém um conjunto $G_\delta$ denso. No entanto, o trabalho de Schleischitz não forneceu um limite para a dimensão de Hausdorff de $\mathcal{U}$ , nem estabeleceu se contraexemplos existem quando uma ou ambas as coordenadas são mal aproximáveis (ou seja, possuem quocientes parciais de frações contínuas limitados).

Metodologia
O autor constrói uma família de contraexemplos utilizando um procedimento iterativo do tipo Cantor baseado em frações contínuas com quocientes parciais limitados. A metodologia baseia-se em vários componentes técnicos fundamentais:

Quocientes Parciais Limitados: A construção foca no conjunto $F_A$ dos números em $(0,1)$ cujos quocientes parciais de frações contínuas são limitados por um inteiro fixo $A \ge 2$ . A dimensão de Hausdorff da parte irracional deste conjunto é denotada por $\delta_A$ .
Estimativas de Conjuntos-Produto: Um passo crítico envolve estimar o número de pares $(p, q)$ com quocientes parciais limitados tais que $p/q$ esteja em um intervalo específico e $r \equiv pb \pmod q$ para algum $b$ em um conjunto limitado, com $r/q$ caindo em um intervalo alvo. Isso utiliza o teorema de contagem de Hensley para continuantes limitados e os limites bilineares de Vinogradov para somas exponenciais sobre módulos compostos.
Construção Retangular: O autor define " $T$ -retângulos admissíveis" em $\mathbb{R}^2$ . Estes são produtos de um cilindro de fração contínua (para a primeira coordenada) e um pequeno intervalo (para a segunda coordenada). A construção garante que, para pontos $(\xi, \zeta)$ dentro desses retângulos, o produto $\|n\xi\|\|n\zeta\|$ permaneça afastado de zero para $n$ até certa escala $Q$ .
Princípio da Distribuição de Massa: Para estabelecer o limite inferior da dimensão de Hausdorff, o autor constrói uma sequência aninhada de conjuntos compactos e aplica um princípio de distribuição de massa (Lema 5.2). Isso envolve verificar propriedades de separação dos conjuntos construídos e contar o número de "filhos" (sub-retângulos) em cada nível em relação aos parâmetros de escala.

Contribuições Principais e Resultados

Limite Inferior para Contraexemplos com Coordenadas Mal Aproximáveis: O artigo prova que o conjunto de contraexemplos onde a primeira coordenada é mal aproximável possui uma dimensão de Hausdorff positiva. Especificamente, o Teorema 1.1 afirma que, se $A \ge 2$ satisfaz $\delta_A > (\sqrt{21}-1)/4$ , então:
$\dim_H \big( \mathcal{U} \cap (F_A \times \mathbb{R}) \big) \ge \frac{2\delta_A - 1}{2}.$
Tomando o limite quando $A \to \infty$ (onde $\delta_A \to 1$ ), o autor deduz que:
$\dim_H \big( \mathcal{U} \cap (\text{Bad}_1 \times \mathbb{R}) \big) \ge \frac{3}{2}.$
Isso resolve uma questão específica de Schleischitz sobre a existência de contraexemplos com pelo menos uma coordenada mal aproximável.
Dimensão Total das Primeiras Coordenadas: O Teorema 1.3 estabelece que o conjunto de números mal aproximáveis $\xi$ para os quais existe um $\zeta$ tal que $(\xi, \zeta) \in \mathcal{U}$ possui dimensão de Hausdorff total (dimensão 1). Mais precisamente, para qualquer intervalo aberto limitado não vazio $U \subset \mathbb{R}$ , $\dim_H(P \cap U) = 1$ , onde $P$ é a projeção de $\mathcal{U}$ sobre a primeira coordenada restrita aos números mal aproximáveis.
Distinção da Conjectura Clássica: O artigo destaca uma diferença fundamental entre os contextos clássico e uniforme. Enquanto o conjunto de contraexemplos para a clássica conjectura de Littlewood (se não vazio) é conhecido por ter dimensão de Hausdorff 0 (por Einsiedler, Katok e Lindenstrauss), o conjunto de contraexemplos para a conjectura uniforme contém famílias de dimensão positiva, mesmo quando restrito a coordenadas mal aproximáveis.

Significância
O artigo demonstra que a falha da Conjectura Uniforme de Littlewood não é meramente um fenômeno topológico (como mostrado pelo conjunto $G_\delta$ denso de Schleischitz), mas também um fenômeno métrico. O conjunto de contraexemplos é "grande" no sentido da dimensão de Hausdorff. Ao construir contraexemplos com primeiras coordenadas mal aproximáveis, o autor mostra que a falha uniforme é robusta e ocorre dentro dos subconjuntos mais estruturados dos números reais (aqueles com quocientes parciais limitados). Os resultados fornecem os primeiros limites métricos quantitativos sobre o tamanho do conjunto de contraexemplos para a ULC.

Mais como este