Counting square-free values of random polynomials

Resumo Técnico: Contagem de Valores Livres de Quadrados de Polinômios Aleatórios

Enunciado do Problema
O artigo aborda o problema de contar valores livres de quadrados (square-free) assumidos por polinômios inteiros. Seja $P \in \mathbb{Z}[t]$ um polinômio de grau $d$. A quantidade de interesse é $E_P(x)$, definida como o termo de erro entre a contagem real de valores livres de quadrados $P(n)$ para $1 \le n \le x$ e o termo principal esperado $S_P x$, onde $S_P$ é um produto de série singular sobre primos. Embora seja uma conjectura do folclore que $E_P(x) = o(x)$ para qualquer polinômio irredutível, isso permanece não provado para graus $d \ge 4$ (mesmo a existência de infinitos valores livres de quadrados é conhecida apenas para $d \le 3$).

O autor investiga o comportamento de $E_P(x)$ quando este é calculado em média sobre uma família de polinômios aleatórios. Especificamente, o artigo considera o conjunto $P_d(H) = \{P \in \mathbb{Z}[t] : \deg(P)=d, |P| \le H\}$, onde $|P|$ denota o módulo máximo de seus coeficientes. O objetivo é determinar a magnitude do segundo momento do termo de erro:
$$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2$$
Trabalhos anteriores de Filaseta, Shparlinski, Browning e outros estabeleceram limites para este momento, mas a ordem de magnitude precisa do termo de erro não havia sido totalmente caracterizada no contexto de polinômios aleatórios.

Metodologia
A prova prossegue através de várias etapas analíticas, combinando teoria de números probabilística com técnicas de análise complexa:

1. Truncamento e Transição de Modelo: O autor substitui a função indicadora para números livres de quadrados, $\mu^2(P(n))$, por um modelo truncado $SP(z)$ envolvendo uma soma sobre $k \le z$. Isso permite a separação dos termos diagonais ($n=m$) dos termos fora da diagonal ($n \neq m$) na expansão do segundo momento.
2. Contagem Combinatória: Os Lemas 2.1 através 2.3 fornecem limites sobre o número de raízes de polinômios módulo $k^2$ e a distribuição de polinômios divisíveis por quadrados. Esses limites são cruciais para estimar o erro introduzido pelo truncamento.
3. Somação de Cesàro e Integrais de Perron: Uma inovação chave identificada no artigo é o reconhecimento de que a estrutura do segundo momento incorpora inerentemente a somação de Cesàro. A soma fora da diagonal $\sum_{n \neq m} c(m,n)$ (onde $c(m,n)$ depende de $m-n$) é transformada usando uma versão da fórmula de Perron. Isso permite o uso de integração complexa com um núcleo $1/(s(s+1))$, que fornece fatores de convergência adicionais.
4. Análise de Séries de Dirichlet: A função aritmética $b(k) = c(k, 0)$ é analisada. Sua série de Dirichlet é mostrada como sendo $\zeta(s)\zeta(2+2s)G(s)/\zeta(2)^2$, onde $G(s)$ é uma função holomorfa para $\Re(s) > -3/4$.
5. Deslocamento de Contorno: O integral é deslocado para a esquerda, cruzando os polos em $s=1$, $s=0$ e $s=-1/2$. O autor desloca a linha de integração para $\Re(s) = -1/2 - \delta$. Isso é possível devido à convergência fornecida pelo núcleo de Cesàro e pelos limites específicos da função zeta de Riemann na faixa crítica. O artigo nota explicitamente que a hipótese de Lindelöf ou limites de subconvexidade não oferecem vantagem neste setup específico.

Principais Contribuições e Resultados
A principal contribuição é a determinação do comportamento assintótico do segundo momento do termo de erro. O artigo prova que o termo de erro é tipicamente de tamanho $x^{1/4}$ (visto que o segundo momento é $x^{1/2}$).

O Teorema 1.1 estabelece as seguintes assíntotas para o segundo momento, onde $\gamma_0 \approx 0.192$ é uma constante específica derivada do resíduo em $s=-1/2$:

1. Para $x \le H^{1/(d+3)}$:
   $$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2 = \gamma_0 x^{1/2} + O(x^{1/2-\delta})$$
   Isso é válido para qualquer $\alpha < 1/(d+3)$ com $x \le H^\alpha$.

2. Para $x \le H^{1/(d+28/9)}$:
   $$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2 = \gamma_0 x^{1/2} + O(x^{4/9+\varepsilon})$$
   Isso é válido para qualquer $\varepsilon > 0$ e $\beta < 1/(d+28/9)$.

A constante $\gamma_0$ surge do resíduo da série de Dirichlet em $s = -1/2$, envolvendo especificamente $\zeta(-1/2)$ e o produto de Euler de $G(s)$. O termo $x^{1/2}$ no segundo momento implica que o erro típico $E_P(x)$ é de ordem $x^{1/4}$.

Significância e Alegações
O artigo alega que a ordem de magnitude $x^{1/2}$ para o segundo momento (e assim $x^{1/4}$ para o erro) não é imediatamente aparente, pois os termos diagonais sozinhos contribuem com um termo de ordem $x H^{d+1}$. A novidade reside no cancelamento preciso da contribuição diagonal pelos termos fora da diagonal, um fenômeno facilitado pela somação de Cesàro incorporada no segundo momento de funções aritméticas sobre polinômios aleatórios.

O autor enfatiza que este resultado fornece uma expansão assintótica completa para a contribuição dos termos $n \neq m$. O trabalho estende a compreensão dos valores livres de quadrados além do primeiro momento (resultados em média) para o segundo momento, oferecendo uma imagem mais nítida da distribuição dos erros. O artigo observa que, embora o trabalho de Mirsky sugira que assíntotas para todos os momentos de $\mu^2$ sejam possíveis, os cálculos para momentos superiores envolvendo somação de Cesàro parecem "proibitivos".

Os resultados são condicionais ao grau $d$ e à relação entre $x$ e $H$, mas representam um passo significativo na quantificação do comportamento "típico" do termo de erro para o problema de valores livres de quadrados em polinômios aleatórios.