Fourier Dimension in Duffin--Schaeffer Conjecture

Resumo Técnico: Dimensão de Fourier na Conjectura de Duffin–Schaeffer

1. Problema e Contexto

O artigo aborda um problema central na teoria dos números métrica e na aproximação diofantina: determinar a dimensão de Fourier de conjuntos de números reais que são bem aproximados por frações racionais sob certas restrições aritméticas.

• Contexto Histórico: A conjectura de Duffin–Schaeffer (resolvida recentemente por Koukoulopoulos e Maynard) caracteriza a medida de Lebesgue de conjuntos de números bem aproximáveis quando se impõe a condição de coprimidade ($\gcd(p, q) = 1$). Enquanto a dimensão de Hausdorff desses conjuntos é bem compreendida (devido a resultados de Jarník, Beresnevich, Velani e Yu), a dimensão de Fourier é um invariante mais sutil que reflete a "suavidade" ou "aleatoriedade" da medida de suporte do conjunto.
• O Desafio Específico: Embora resultados clássicos (Kaufman, Bluhm) tenham estabelecido a dimensão de Fourier para o caso homogêneo ($\theta = 0$) com funções de aproximação específicas ($\psi(q) = q^{-\tau}$), a generalização para o caso inhomogêneo ($\theta \neq 0$) e para funções de aproximação arbitrárias sob condições de coprimidade permanecia em aberto.
• Definição do Conjunto: Os autores definem o conjunto $W^*(\psi, \theta)$ como o conjunto de $x \in [0, 1]$ tais que:
  $$\left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q}$$
  para infinitos pares $(p, q) \in \mathbb{Z} \times \mathbb{N}$, sujeitos à condição de coprimidade generalizada:
  $$\gcd(B_q p + A_q, q) = 1$$
  onde $\{A_q\}$ e $\{B_q\}$ são sequências de inteiros com $\gcd(A_q, B_q) = 1$.

2. Metodologia

A prova do Teorema Principal é dividida em duas partes principais: estabelecer um limite superior e construir uma medida com decaimento de Fourier específico para obter um limite inferior.

A. Limite Superior (Proposição 2.1)

• Objetivo: Mostrar que se a série de convergência associada à condição de Borel-Cantelli é finita, então a dimensão de Fourier não excede um certo valor.
• Técnica: Utiliza-se uma prova por contradição. Assume-se a existência de uma medida de probabilidade $\nu$ suportada em $W^*(\psi, \theta)$ com decaimento de Fourier $|\hat{\nu}(\xi)| \ll |\xi|^{-s}$ para algum $s > s(\psi)$.
• Estimativa: Calcula-se a medida $\nu$ dos intervalos de aproximação $A_q$. Utilizando a identidade de Parseval e o decaimento de Fourier da medida, o termo principal é estimado.
• Ferramenta Chave: O Lema 2.3 fornece um limite superior uniforme para somas de Ramanujan generalizadas (somas exponenciais com restrições de coprimidade). Isso permite controlar o termo de erro na estimativa da medida, mostrando que a soma das medidas dos intervalos converge, o que, pelo Lema de Borel-Cantelli, implica que $\nu(W^*) = 0$, uma contradição.

B. Limite Inferior (Proposição 2.2)

• Objetivo: Construir uma medida de probabilidade $\nu$ suportada em $W^*(\psi, \theta)$ que possua um decaimento de Fourier suficientemente rápido para provar que a dimensão é pelo menos $2s(\psi)$.
• Técnica de Construção: Os autores utilizam uma construção recursiva de medidas, inspirada no trabalho de Cai e Hambrook, mas adaptada para a condição de coprimidade complexa.
  1. Define-se uma função de densidade suave $f$ com suporte compacto e decaimento de Fourier rápido.
  2. Constroem-se funções de densidade $g_M$ que são médias de funções periódicas $\Phi^*_{q, \theta}$ sobre um conjunto de índices $Q(M)$ selecionado recursivamente.
  3. Lemas Técnicos (2.5 a 2.7):
     • O Lema 2.6 estabelece estimativas precisas para os coeficientes de Fourier de $g_M$, dividindo a análise em baixas e altas frequências.
     • O Lema 2.7 (Lema de Estabilidade) garante que, ao multiplicar sequencialmente as densidades por $g_{M_k}$, o decaimento de Fourier da medida resultante é preservado e controlado.
• Convergência: A sequência de medidas $\nu_k$ converge fracamente para uma medida $\nu$ com suporte em $W^*(\psi, \theta)$ e decaimento de Fourier $O(|\xi|^{-(\eta-\varepsilon)})$, onde $\eta$ pode ser arbitrariamente próximo de $s(\psi)$.

3. Resultados Principais

O resultado central do artigo é o Teorema 1:

Seja $\psi: \mathbb{N} \to [0, 1/2)$ uma função arbitrária satisfazendo a condição de convergência de Borel-Cantelli generalizada:
$$\sum_{q \in \mathbb{N}} \psi(q) \prod_{p|q, p \nmid B_q} (1 - p^{-1}) < \infty$$
Então, a dimensão de Fourier do conjunto $W^*(\psi, \theta)$ é dada por:
$$\dim_F W^*(\psi, \theta) = \min\{2s(\psi), 1\}$$
onde $s(\psi) = \inf \left\{ s \ge 0 : \sum_{q=1}^\infty \left(\frac{\psi(q)}{q}\right)^s < \infty \right\}$.

Implicações Imediatas:

1. Recuperação de Resultados Clássicos: Ao escolher $A_q=0, B_q=1$ e $\psi(q) = q^{-\tau}$, o teorema recupera os resultados clássicos de Kaufman e Bluhm para o caso homogêneo.
2. Generalização Inhomogênea: O resultado é válido para qualquer função $\theta: \mathbb{N} \to \mathbb{R}$, resolvendo o caso inhomogêneo sob condições de coprimidade.
3. Resolução de Conjectura: O teorema fornece uma resposta afirmativa à versão com coprimidade da conjectura de Chen e Xiong sobre a dimensão de Fourier de conjuntos de aproximação diofantina.

4. Significado e Contribuições

• Superação de Limitações Anteriores: Resultados anteriores (como o de Cai e Hambrook) não se aplicavam diretamente a este cenário devido à restrição de coprimidade específica e à condição de convergência diferente. Os autores desenvolveram uma refinamento não trivial do método de construção de medidas para lidar com essas restrições aritméticas.
• Conexão entre Análise Harmônica e Teoria dos Números: O trabalho reforça a ponte entre a teoria da medida fractal (dimensão de Fourier) e a aproximação diofantina, demonstrando que conjuntos definidos por condições aritméticas estritas (coprimidade) podem ainda exibir propriedades de "suavidade" (serem conjuntos de Salem ou ter dimensão de Fourier positiva).
• Aplicações Futuras: A metodologia desenvolvida pode ser aplicável a outros problemas em aproximação diofantina multiplicativa e ponderada, bem como na construção de conjuntos de Salem determinísticos não triviais, um problema aberto na teoria geométrica da medida.

Em suma, o artigo fornece uma caracterização completa e precisa da dimensão de Fourier para uma classe ampla de conjuntos de aproximação diofantina, unificando casos homogêneos e inhomogêneos sob uma única fórmula que depende apenas do comportamento assintótico da função de aproximação $\psi$.