A Note on Diophantine Approximation with Restricted Denominators

Enunciado do Problema
Esta nota aborda o problema da aproximação diofantina quando os denominadores dos números racionais aproximantes são restritos a um subconjunto específico $A$ dos números naturais $\mathbb{N}$. Embora o teorema de aproximação de Dirichlet garanta que, para qualquer irracional $\xi$, existem infinitos pares coprimos $(p, q)$ satisfazendo $|\xi - p/q| < 1/q^2$, o autor investiga se um limite semelhante pode ser alcançado quando $q$ está restrito a um subconjunto $A \subseteq \mathbb{N}$. O artigo reconhece que, se $A$ for muito esparso, o limite $q^{-2}$ é provavelmente inalcançável. Pesquisas anteriores nesta área, como o trabalho de Matomäki sobre denominadores restritos aos primos, basearam-se fortemente na teoria analítica dos números. Este artigo busca abordar o problema através de uma lente combinatória, introduzindo uma noção específica de densidade.

Metodologia
O autor introduz uma definição combinatória de "densidade diofantina" para subconjuntos de $\mathbb{N}$ e utiliza teoria elementar dos números e propriedades de frações contínuas para estabelecer resultados.

1. Definição de Densidade Diofantina: Um conjunto $A \subseteq \mathbb{N}$ é definido como tendo uma densidade diofantina $\delta \in [0, 1]$ se existir uma constante $C > 0$ tal que, para todo par coprimo $(p, q)$ suficientemente grande, a distância mínima de $vp/q$ ao inteiro mais próximo, minimizada sobre $v \in A$ com $v \le q$, é limitada por $C/q^\delta$.

   • Observação: O autor prova que qualquer conjunto com densidade diofantina positiva deve ser infinito.

2. Construção Combinatória (Teorema 4): O artigo estabelece um método para construir conjuntos com densidades diofantinas específicas analisando o complemento de conjuntos com crescimento controlado. Especificamente, se um conjunto $A$ possui uma função de contagem $A(n) \ll n^\delta$, então seu complemento $\mathbb{N} \setminus A$ possui uma densidade diofantina de $1 - \delta$. Isso é provado analisando a distribuição do multiconjunto $\{ \|kp/q\| : 1 \le k \le q \}$ e mostrando que a remoção de elementos correspondentes a $A$ deixa um elemento mínimo limitado pela densidade do conjunto removido.

3. Aplicação à Aproximação (Teorema 3): Usando a definição de densidade, o autor deriva um análogo restrito do teorema de Dirichlet. Se $A$ tem uma densidade diofantina $\delta > 0$, então para qualquer irracional $\xi$ e $\epsilon > 0$, existem infinitos pares coprimos $(u, v) \in \mathbb{Z} \times A$ tais que $|\xi - u/v| < 1/v^{1+\delta-\epsilon}$. A prova baseia-se nos convergentes de $\xi$ e na desigualdade triangular, demonstrando que a condição de densidade garante a existência de infinitos pares coprimos distintos.

Principais Resultados

• Teorema 3 (Dirichlet Restrito): Se um subconjunto $A \subseteq \mathbb{N}$ tem uma densidade diofantina $\delta > 0$, então para qualquer irracional $\xi$, existem infinitas aproximações com denominadores em $A$ satisfazendo $|\xi - u/v| < v^{-(1+\delta-\epsilon)}$.
• Teorema 4 (Densidade de Complementos): Se um conjunto $A$ satisfaz $A(n) \ll n^\delta$, então o complemento $\mathbb{N} \setminus A$ tem uma densidade diofantina de $1 - \delta$.
• Teorema 5 (Sequências de Piatetski-Shapiro): Aplicando os teoremas anteriores às sequências de Piatetski-Shapiro $PSc = \{\lfloor n^c \rfloor\}_{n \ge 1}$ (onde $c > 1$), o autor mostra que o conjunto de inteiros que evita essas sequências permite aproximações com um limite de erro de $|\xi - p/q| < q^{-(2 - 1/c - \epsilon)}$.
  • Exemplo: Para $c=2$ (evitando quadrados perfeitos), o limite é $q^{-(3/2 - \epsilon)}$.

Significância e Limitações
O artigo afirma ter significância ao fornecer uma "abordagem combinatória" para a aproximação diofantina restrita, contrastando com os métodos da "teoria analítica dos números" usados em trabalhos anteriores (ex: Vinogradov, Matomäki). Ele estabelece uma ligação direta entre a taxa de crescimento da função de contagem de um conjunto e a qualidade das aproximações diofantinas possíveis usando seu complemento.

No entanto, o autor é modesto quanto ao escopo destes resultados. O artigo afirma explicitamente que os métodos são "muito grosseiros" para recuperar resultados mais fortes conhecidos para conjuntos esparsos específicos, como o conjunto dos números primos. Ao aplicar o Teorema 4, o autor observa que o conjunto dos primos tem uma densidade diofantina de 0 (já que o conjunto dos compostos tem densidade 1), tornando o Teorema 3 inaplicável aos primos. Assim, o trabalho é apresentado como um arcabouço geral para subconjuntos "suficientemente densos", em vez de uma solução para os casos mais difíceis de conjuntos esparsos.