Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

Este artigo generaliza resultados clássicos de Duffin-Schaeffer, Rogers e Vinogradov para o contexto de sistemas de resíduos reais e conjuntos de Bohr, provando que a medida do conjunto de números aproximáveis inhomogeneamente depende da pertença do parâmetro a certos conjuntos contáveis, utilizando novas informações sobre a distribuição de números primos nesses conjuntos.

O essencial

Imagine que você tem uma linha numérica infinita, como uma fita métrica que vai do zero até o infinito. Nesta fita, existem números "especiais" que podemos chamar de números aproximáveis. A ideia é: se você tentar "chutar" esses números usando frações simples (como 1/2, 3/7, 22/7), quão perto você consegue chegar?

A matemática estuda isso há séculos. Existe uma regra clássica (o Teorema de Khintchine) que diz: se a soma de certos "erros permitidos" for infinita, então você consegue chegar perto de quase todos os números. Se a soma for finita, você só consegue chegar perto de nenhum (ou quase nenhum).

Mas os matemáticos Duffin e Schaeffer descobriram, em 1941, que essa regra tem uma pegadinha: ela depende de como os erros diminuem. Se os erros diminuírem de forma "lisa" e previsível, a regra funciona. Mas se os erros forem "malucos" (subindo e descendo de forma irregular), a regra pode falhar.

O que este novo artigo faz?

Este artigo, escrito por Stefan Hesseling e Felipe Ramírez (com ajuda de Manuel Hauke), pega essa descoberta antiga e a leva para um novo nível, criando um "laboratório de caos" matemático.

Aqui está a explicação simplificada, usando analogias do dia a dia:

1. O Jogo das Duas Regras (Teorema 1.1)

Imagine que você tem dois grupos de amigos:

• Grupo Y: Um grupo de pessoas que, quando você tenta "chutar" os números para elas, você nunca consegue acertar de verdade (a probabilidade é zero).
• Grupo Z: Um grupo de pessoas que, quando você tenta "chutar" os números para elas, você sempre consegue acertar (a probabilidade é 100%).

O problema antigo era: "Será que existe uma única maneira de jogar (uma única função matemática) que faça o Grupo Y perder sempre e o Grupo Z ganhar sempre, mesmo que a soma dos erros seja infinita?"

Os autores dizem: Sim! Eles construíram uma "regra de jogo" (uma função chamada $\psi$) que é tão inteligente e maluca que:

• Para qualquer número que você escolher do Grupo Y, a chance de acertar é zero.
• Para qualquer número que você escolher do Grupo Z, a chance de acertar é cem por cento.

É como se você tivesse uma chave mestra que, dependendo de quem está segurando a fechadura, a porta ou trava para sempre ou abre instantaneamente.

2. A Ferramenta Mágica: Sistemas de Resíduos Reais (Teorema 1.2)

Para criar essa chave mestra, eles precisaram de uma ferramenta nova. Imagine que você tem várias fitas de velcro (os "resíduos") e quer cobrir o chão.

• Antigamente, os matemáticos só podiam colocar o velcro em lugares inteiros (como 1, 2, 3 metros).
• Neste artigo, eles permitem colocar o velcro em qualquer lugar (1,5 metros, 2,33 metros, etc.).

Eles provaram uma regra surpreendente: não importa onde você coloque essas fitas de velcro (desde que o tamanho delas seja fixo), a quantidade de chão que elas cobrem nunca será menor do que se você as tivesse colocado todos alinhados no zero. É como se o "caos" nunca fosse mais eficiente para cobrir o chão do que a "ordem". Isso foi crucial para provar que o Grupo Z vai ganhar.

3. Os Primos em "Fitas de Bohr" (Teoremas 1.3 e 1.4)

Aqui entra a parte mais "espacial" do artigo. Para construir a chave mestra, eles precisaram de números primos (2, 3, 5, 7, 11...) que não estão espalhados aleatoriamente, mas sim seguindo um padrão específico, como se estivessem dentro de uma "fita de velcro" no espaço.

• O Problema: Os primos são como estrelas no céu. Às vezes, elas parecem se alinhar perfeitamente, às vezes não.
• A Descoberta: Eles provaram que, se você olhar para os primos que caem dentro dessas "fitas" (chamadas de Conjuntos de Bohr), eles continuam se comportando de forma muito organizada e previsível, desde que a "fita" não seja muito estranha.
• A Analogia: Imagine que você tem um relógio que toca apenas quando um primo passa. Eles provaram que, mesmo que você filtre os primos para ouvir apenas os que estão em certas "zonas" do relógio, o ritmo da música ainda será perfeito e equilibrado (equidistribuído).

Isso é uma atualização de teoremas antigos de matemáticos famosos como Dirichlet e Vinogradov, mas adaptados para esse novo mundo de "fitas" complexas.

4. O Apêndice: O Mistério da Soma Infinita (Manuel Hauke)

No final, há um "bônus" escrito por Manuel Hauke. Ele responde a uma pergunta curiosa:
"Se eu tiver um grupo de números grande o suficiente (densidade positiva), consigo sempre encontrar um subgrupo onde os números não compartilham muitos fatores comuns, mas a soma de seus inversos (1/n) é infinita?"

A resposta é NÃO.
Ele mostrou que existem grupos de números que são "gordos" (têm muitos números), mas são tão "mal organizados" que você nunca consegue encontrar um subgrupo que satisfaça as duas condições ao mesmo tempo. É como tentar encontrar um grupo de pessoas em uma festa onde todos têm nomes únicos, mas a soma das suas idades inversas é infinita; às vezes, a festa é grande, mas a estrutura impede que isso aconteça.

Resumo Final

Este artigo é como um arquiteto matemático que:

1. Desenhou um plano (a função $\psi$) que engana a matemática tradicional, fazendo com que algumas pessoas percam e outras ganhem no mesmo jogo.
2. Inventou novas ferramentas (resíduos reais) para medir quanto espaço esse plano ocupa.
3. Usou os números primos de uma forma nova (dentro de "fitas" especiais) para garantir que o plano funcione.
4. E, de quebra, resolveu um mistério sobre como os números podem se agrupar (ou não) para somar infinito.

É um trabalho que mistura a beleza da ordem (primos se comportando bem) com a utilidade do caos (criando exemplos que quebram regras antigas), tudo isso para entender melhor como os números se aproximam uns dos outros.

Resumo técnico

Resumo Técnico: Exemplos de Duffin-Schaeffer, Sistemas de Resíduos Reais e Primos em Conjuntos de Bohr

1. O Problema e o Contexto

O artigo aborda a Aproximação Diofantina Inhomogênea, especificamente generalizando um resultado clássico de Duffin e Schaeffer (1941). O problema central é determinar a medida de Lebesgue do conjunto de números reais $x \in [0,1]$ que são "ψ-aproximáveis inhomogeneamente" por um parâmetro $y$:
$$W(\psi, y) = \{x \in [0,1] : \|qx - y\| < \psi(q) \text{ infinitas vezes}\}$$
onde $\|\cdot\|$ denota a distância ao inteiro mais próximo.

• Contexto Histórico: O teorema de Khintchine (1924) e sua versão inhomogênea de Szüsz (1958) estabelecem que, se $\psi$ é não-crescente, a medida de $W(\psi, y)$ é 0 se $\sum \psi(q)$ converge e 1 se diverge.
• A Limitação: Duffin e Schaeffer mostraram que a condição de monotonicidade é essencial. Eles construíram exemplos onde a série diverge, mas a medida é zero.
• O Desafio Específico: Um trabalho anterior dos autores (Ramírez, 2017) mostrou que, para qualquer conjunto enumerável $Y \subset \mathbb{R}$, existe uma função $\psi$ tal que $\sum \psi(q) = \infty$ e $\mu(W(\psi, y)) = 0$ para todo $y \in Y$. Além disso, sob uma conjectura dinâmica (análoga ao problema dos sistemas de cobertura de Erdős), mostraram que é possível ter $\mu(W(\psi, z)) = 1$ para um conjunto $Z$ disjunto de $Y$ (especificamente $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$).
• Objetivo do Artigo: Provar essa afirmação de forma incondicional, eliminando a necessidade da conjectura dinâmica, e generalizar o resultado para permitir comportamentos opostos (medida zero vs. medida cheia) em conjuntos enumeráveis arbitrários $Y$ e $Z$.

2. Metodologia e Ferramentas Principais

A prova é construtiva e baseia-se em três pilares teóricos inovadores que estendem resultados clássicos da teoria dos números e análise:

1. Sistemas de Resíduos Reais (Generalização de Rogers):

   • Os autores introduzem uma analogia de "sistemas de resíduos" onde os resíduos podem assumir valores reais arbitrários, não apenas inteiros.
   • Eles definem o sistema de resíduos real $R(\epsilon, \mathbf{a}, \mathbf{n})$ como a união de intervalos $[a_i - \epsilon, a_i + \epsilon] + n_i\mathbb{Z}$.
   • Teorema 1.2 (Generalização de Rogers): Eles provam que, para qualquer vetor de deslocamento $\mathbf{a} \in \mathbb{R}^\ell$, a medida do sistema de resíduos é minimizada quando $\mathbf{a} = \mathbf{0}$ (caso homogêneo). Isso permite comparar a densidade de conjuntos de aproximação inhomogênea com o caso homogêneo, fornecendo limites inferiores para a medida.

2. Distribuição de Primos em Conjuntos de Bohr:

   • Para controlar a estrutura dos inteiros usados na construção de $\psi$, os autores restringem o suporte de $\psi$ a produtos de elementos de Conjuntos de Bohr (conjuntos de inteiros $n$ tais que $\|ny - v\| < \epsilon$).
   • Teorema 1.3 (Teorema dos Números Primos para Conjuntos de Bohr): Eles generalizam o Teorema de Siegel-Walfisz (para progressões aritméticas) para mostrar que a contagem de primos em um conjunto de Bohr segue uma lei assintótica proporcional à medida de Haar do conjunto, desde que o conjunto contenha infinitos primos.
   • Teorema 1.4 (Equidistribuição ao Longo de Primos em Conjuntos de Bohr): Generalizam um teorema de Vinogradov, provando que a sequência $(pz)_{p \in P}$ é equidistribuída módulo 1 quando $p$ varia sobre primos em um conjunto de Bohr, desde que $z$ seja irracional em relação aos parâmetros do conjunto de Bohr.

3. Construção Combinatória e Dinâmica:

   • A função $\psi$ é construída como uma soma de funções suportadas em blocos de inteiros formados por produtos de primos em conjuntos de Bohr.
   • Utilizam o Lema de Borel-Cantelli para garantir medida zero para $y \in Y$ (série convergente de medidas).
   • Utilizam o Lema de Erdős-Turán e propriedades de mistura (mixing) de rotações circulares para garantir medida cheia para $z \in Z$, explorando a independência racional entre os parâmetros.

3. Resultados Principais

• Teorema 1.1 (Exemplos de Duffin-Schaeffer com Comportamento Prescrito):
  Para quaisquer conjuntos enumeráveis $Y, Z \subset \mathbb{R}$ tais que $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$, existe uma função $\psi: \mathbb{N} \to \mathbb{R}_{\ge 0}$ tal que:

  • $\sum \psi(q) = \infty$;
  • $\mu(W(\psi, y)) = 0$ para todo $y \in Y$;
  • $\mu(W(\psi, z)) = 1$ para todo $z \in Z$.
  • Significado: Isso resolve incondicionalmente a questão levantada em trabalhos anteriores, mostrando que a divergência da série não implica medida cheia para todos os parâmetros inhomogêneos, e que é possível separar arbitrariamente conjuntos de parâmetros com comportamento de medida zero e medida cheia.

• Teorema 1.2 (Teorema de Rogers para Resíduos Reais):
  Estabelece que a densidade assintótica de um sistema de resíduos com deslocamentos reais é sempre maior ou igual à densidade do sistema com deslocamentos nulos (homogêneo). Isso é crucial para obter limites inferiores de medida.

• Teoremas 1.3 e 1.4 (Primos em Conjuntos de Bohr):
  Estendem resultados fundamentais de distribuição de primos (Siegel-Walfisz e Vinogradov) para o contexto de conjuntos de Bohr, provando que a densidade de primos e a equidistribuição de rotações ao longo desses primos mantêm propriedades análogas às das progressões aritméticas, sob condições de irracionalidade adequadas.

• Apêndice A (Manuel Hauke):
  Responde negativamente a uma questão combinatória sobre a existência de subconjuntos de conjuntos de densidade positiva cujas somas de recíprocos divergem e cujos MDCs são limitados. O resultado mostra que tal subconjunto existe se e somente se o conjunto original contiver múltiplos de um conjunto de primos de soma divergente.

4. Significado e Impacto

1. Resolução de um Problema Aberto: O trabalho remove a dependência de conjecturas dinâmicas para a construção de exemplos de Duffin-Schaeffer inhomogêneos, consolidando a teoria da aproximação diofantina.
2. Novas Ferramentas Analíticas: A introdução e prova do Teorema de Rogers para Resíduos Reais abre novas portas para o estudo de sistemas de cobertura e aproximação onde os parâmetros não são inteiros.
3. Conexão entre Teoria Analítica e Combinatória: A generalização dos teoremas de distribuição de primos para Conjuntos de Bohr cria uma ponte robusta entre a teoria dos números analítica (primos) e a teoria ergódica/dinâmica (sistemas de Bohr), permitindo o uso de primos como "amostras" para estudar equidistribuição em estruturas mais complexas que progressões aritméticas.
4. Refinamento da Condição de Monotonicidade: O artigo reforça a complexidade da condição de monotonicidade no teorema de Khintchine, mostrando que sem ela, o comportamento da medida pode ser arbitrariamente manipulado para diferentes parâmetros inhomogêneos.

Em suma, o artigo é uma contribuição fundamental que une técnicas de teoria dos números analítica, teoria ergódica e combinatória para resolver problemas profundos sobre a estrutura dos números reais e a distribuição de primos.