Subconvexity of Short $k$-Free Exponential Sums

Resumo Técnico: Subconvexidade de Somas Exponenciais de Inteiros $k$-livres Curtos

Enunciado do Problema
Este artigo investiga os momentos de somas exponenciais curtas sobre inteiros $k$-livres. Seja $k \ge 2$ um inteiro, e denote $\mu_k(n)$ a função indicadora para inteiros $k$-livres (inteiros não divisíveis por qualquer potência $k$-ésima de um primo). O objeto central de estudo é a soma exponencial sobre um intervalo curto $(N-K, N]$:
$$S_k(\alpha; K) = \sum_{N-K < n \le N} \mu_k(n) e(n\alpha),$$
onde $e(x) = e^{2\pi i x}$. O objetivo principal é determinar o intervalo de comprimentos de intervalo $K$ (em relação a $N$) para os quais os momentos $L^s$ desta soma satisfazem o comportamento assintótico "esperado" conhecido para o caso do intervalo completo ($K=N$):
$$\int_0^1 |S_k(\alpha; K)|^s d\alpha \asymp_{k,s} \begin{cases} K^{\frac{s}{k+1}} & \text{se } s < 1 + \frac{1}{k}, \\ K^{s-1} & \text{se } s > 1 + \frac{1}{k}. \end{cases}$$
O artigo define um expoente $\theta_{k,s}$ como o ínfimo de todos os $\theta$ tais que esses limites ocorram para qualquer $K \gg N^\theta$. O objetivo é reduzir o valor de $\theta_{k,s}$, provando assim que o comportamento esperado persiste em intervalos mais curtos, especificamente quebrando a "barreira da raiz quadrada" ($\theta < 1/2$).

Metodologia
A abordagem baseia-se na decomposição da soma exponencial em somas de "parte média" e na aplicação de uma estimativa $L^2$ refinada para esses componentes.

1. Decomposição: A soma $S_k(\alpha; K)$ é decomposta usando a identidade $\mu_k(n) = \sum_{d^k|n} \mu(d)$. O autor define somas de "parte média" $c_n(y, z) = \sum_{y < d \le z, d^k|n} \mu(d)$ e particiona a soma exponencial em segmentos diedros $T_i(\alpha)$ com base no tamanho de $d$. A soma total é dividida em uma parte "baixa" $h_D(\alpha)$ (somando $d$ pequenos) e uma parte "alta" $H_D(\alpha)$ (somando $d$ grandes), onde $D \approx \log K$.
2. A Estimativa Central (Lema 1.2): O motor técnico do artigo é um novo limite para a média quadrática das somas de parte média:
   $$\sum_{N-K < n \le N} |c_n(y, z)|^2 \ll K y^{1-k} + N^\varepsilon K^{1/k} + N^{\delta_k + \varepsilon},$$
   onde $\delta_k$ é uma constante específica dependente de $k$. Esta estimativa combina várias ferramentas:
   • Fórmula de Perron: Utilizada para lidar com a estrutura multiplicativa quando o intervalo de soma é pequeno.
   • Método do Hiperboloide: Aplicado para encurtar somas longas envolvendo a função dente-de-serra $\psi(x)$.
   • Método de Van der Corput: Versões simples e multidimensionais são utilizadas. O artigo emprega a resolução da conjectura principal do Teorema do Valor Médio de Vinogradov para selecionar pares de expoentes $(p, q)$ ótimos para estas estimativas.
   • Limites da Função Zeta: Limites de convexidade padrão para $\zeta(s)$ são usados em conjunto com polinômios de Dirichlet.
3. Interpolação de Momentos: Os limites para os momentos $L^s$ são derivados pela interpolação entre as estimativas $L^1$ e $L^2$ das somas decompostas. Para o caso subcrítico ($s < 1 + 1/k$), o argumento utiliza núcleos de Fejér para suavizar as somas e lidar com o limite inferior. Para os casos crítico e supercrítico ($s \ge 1 + 1/k$), o artigo utiliza a desigualdade de Hölder e estimativas pontuais cuidadosas das somas da parte alta $H_D(\alpha)$.

Principais Contribuições e Resultados

• Teorema 1.1 (Resultado Principal): O artigo estabelece limites superiores explícitos para o expoente admissível $\theta_{k,s}$. Para $s \neq 1 + 1/k$, o artigo prova:
  $$\theta_{k,s} \le \begin{cases} \left(\frac{k+1}{2}\right)\delta_k & \text{se } s < 1 + \frac{1}{k}, \\ \left(\frac{1}{2} + \frac{1}{2(s-1)}\right)\delta_k & \text{se } 1 + \frac{1}{k} < s < 2, \\ \delta_k & \text{se } s \ge 2. \end{cases}$$
  Aqui, $\delta_2 = 105/317 \approx 0,331$ e, para $k \ge 3$, $\delta_k$ é definida por uma função racional específica de $k$ que é estritamente menor que $1/(k+1)$.
• Quebrando a Barreira da Raiz Quadrada: Uma consequência significativa é que para $s=1$ (a média $L^1$), o comportamento esperado ocorre para intervalos de comprimento $K \gg N^\theta$ onde $\theta < 1/2$. Especificamente, para $k=4$, o limite atinge $K \gg N^{1555/3142 + \varepsilon} \approx N^{0,49491}$.
• Teorema 1.5 (Momento Crítico): Para o expoente crítico $s = 1 + 1/k$, o artigo prova:
  $$K^{1/k} \log K \ll \int_0^1 |S_k(\alpha; K)|^{1+1/k} d\alpha \ll K^{1/k} (\log K)^{2-1/k},$$
  válido para $K \gg N^{(\frac{k+1}{2})\delta_k + \varepsilon}$. Isto melhora ligeiramente o limite superior para o caso do intervalo completo ($K=N$).
• Corolário 1.8 (Aplicação da Função de Möbius): Ao relacionar a soma $k$-livre com a soma com torção de Möbius via ortogonalidade, o artigo deriva um limite inferior para a média $L^1$ de $\sum \mu(n)e(n\alpha)$. Mostra que, para $K \gg N^{105/317 + \varepsilon} \approx N^{0,49685}$, a integral é $\gg K^{1/6}$. Isto supera o melhor resultado anterior de Sun ($K \gg N^{9/17}$).

Significância e Alegações
O artigo alega que a força do limite no Lema 1.2 é o "único impedimento" para alcançar $\theta_{k,s} = 0$. Os resultados demonstram que melhorias adicionais na estimativa $L^2$ das somas de parte média (especificamente reduzindo o expoente $\Delta_k$ na equação 1.5) traduzir-se-iam imediatamente em resultados de subconvexidade mais fortes para todos os momentos.

O autor observa que o caso $s=2$ corresponde ao problema clássico de contar inteiros $k$-livres em intervalos curtos. Embora os limites do artigo para este caso específico ainda não correspondam aos resultados mais fortes conhecidos (ex: Filaseta e Trifonov para lacunas de $k$-livres), a metodologia fornece um quadro unificado. O artigo afirma explicitamente que a melhoria na média $L^1$ para a função de Möbius é uma consequência direta do Lema 1.2 refinado.

O trabalho é apresentado como uma generalização e melhoria dos resultados anteriores de Sun, Balog, Ruzsa e Keil, utilizando ferramentas modernas da teoria de somas exponenciais (especificamente a resolução do Teorema do Valor Médio de Vinogradov) para expandir os limites da subconvexidade em intervalos curtos. O artigo não pretende resolver completamente o problema das lacunas para inteiros $k$-livres, mas sugere que os limites derivados para $\theta_{k,2}$ são um passo em direção a melhores resultados de lacunas.