Counting square-free values of random polynomials

Sintesi Tecnica: Conteggio dei Valori Liberi dai Quadrati di Polinomi Casuali

Enunciato del Problema
L'articolo affronta il problema del conteggio dei valori liberi dai quadrati (square-free) assunti da polinomi interi. Sia $P \in \mathbb{Z}[t]$ un polinomio di grado $d$. La quantità di interesse è $E_P(x)$, definita come il termine di errore tra il conteggio effettivo dei valori liberi dai quadrati $P(n)$ per $1 \le n \le x$ e il termine principale atteso $S_P x$, dove $S_P$ è un prodotto di serie singolari su numeri primi. Sebbene esista una congettura di folklore secondo cui $E_P(x) = o(x)$ per ogni polinomio irriducibile, ciò rimane non dimostrato per gradi $d \ge 4$ (persino l'esistenza di infiniti valori liberi dai quadrati è nota solo per $d \le 3$).

L'autore investiga il comportamento di $E_P(x)$ quando mediato su una famiglia di polinomi casuali. Nello specifico, l'articolo considera l'insieme $P_d(H) = \{P \in \mathbb{Z}[t] : \deg(P)=d, |P| \le H\}$, dove $|P|$ denota il modulo massimo dei coefficienti. L'obiettivo è determinare l'ordine di grandezza del secondo momento del termine di errore:
$$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2$$
Lavori precedenti di Filaseta, Shparlinski, Browning e altri hanno stabilito dei limiti per questo momento, ma l'ordine di grandezza preciso del termine di errore non era stato pienamente caratterizzato nel contesto dei polinomi casuali.

Metodologia
La dimostrazione procede attraverso diverse fasi analitiche, combinando la teoria dei numeri probabilistica con tecniche di analisi complessa:

1. Troncamento e Transizione del Modello: L'autore sostituisce la funzione indicatrice per i numeri liberi dai quadrati, $\mu^2(P(n))$, con un modello troncato $SP(z)$ che coinvolge una sommatoria su $k \le z$. Ciò consente la separazione dei termini diagonali ($n=m$) dai termini fuori diagonale ($n \neq m$) nell'espansione del secondo momento.
2. Conteggio Combinatorio: I lemmi 2.1 attraverso 2.3 forniscono limiti sul numero di radici di polinomi modulo $k^2$ e sulla distribuzione di polinomi divisibili per quadrati. Questi limiti sono cruciali per stimare l'errore introdotto dal troncamento.
3. Sommazione di Cesàro e Integrali di Perron: Un'innovazione chiave identificata nell'articolo è il riconoscimento che la struttura del secondo momento incorpora intrinsecamente la sommazione di Cesàro. La somma fuori diagonale $\sum_{n \neq m} c(m,n)$ (dove $c(m,n)$ dipende da $m-n$) viene trasformata utilizzando una versione della formula di Perron. Ciò permette l'uso dell'integrazione complessa con un kernel $1/(s(s+1))$, che fornisce fattori di convergenza supplementari.
4. Analisi delle Serie di Dirichlet: La funzione aritmetica $b(k) = c(k, 0)$ viene analizzata. La sua serie di Dirichlet è mostrata essere $\zeta(s)\zeta(2+2s)G(s)/\zeta(2)^2$, dove $G(s)$ è una funzione olomorfa per $\Re(s) > -3/4$.
5. Spostamento del Contorno: L'integrale viene spostato a sinistra, attraversando i poli in $s=1$, $s=0$ e $s=-1/2$. L'autore sposta la linea di integrazione a $\Re(s) = -1/2 - \delta$. Ciò è possibile grazie alla convergenza fornita dal kernel di Cesàro e ai limiti specifici della funzione zeta di Riemann nella striscia critica. L'articolo nota esplicitamente che l'ipotesi di Lindelöf o i limiti di subconvessità non offrono alcun vantaggio in questo specifico setup.

Contributi Chiave e Risultati
Il contributo primario è la determinazione del comportamento asintotico del secondo momento del termine di errore. L'articolo dimostra che il termine di errore è tipicamente di dimensione $x^{1/4}$ (poiché il secondo momento è $x^{1/2}$).

Il Teorema 1.1 stabilisce le seguenti asintotiche per il secondo momento, dove $\gamma_0 \approx 0.192$ è una costante specifica derivata dal residuo in $s=-1/2$:

1. Per $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})$$
   Ciò è valido per ogni $\alpha < 1/(d+3)$ con $x \le H^\alpha$.

2. Per $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})$$
   Ciò è valido per ogni $\varepsilon > 0$ e $\beta < 1/(d+28/9)$.

La costante $\gamma_0$ deriva dal residuo della serie di Dirichlet in $s = -1/2$, coinvolgendo specificamente $\zeta(-1/2)$ e il prodotto di Eulero di $G(s)$. Il termine $x^{1/2}$ nel secondo momento implica che l'errore tipico $E_P(x)$ è dell'ordine di $x^{1/4}$.

Significatività e Rivendicazioni
L'articolo afferma che l'ordine di grandezza $x^{1/2}$ per il secondo momento (e quindi $x^{1/4}$ per l'errore) non è immediatamente evidente, poiché i soli termini diagonali contribuiscono con un termine di ordine $x H^{d+1}$. La novità risiede nella precisa cancellazione del contributo diagonale da parte dei termini fuori diagonale, un fenomeno facilitato dalla sommazione di Cesàro integrata nel secondo momento di funzioni aritmetiche su polinomi casuali.

L'autore sottolinea che questo risultato fornisce un'espansione asintotica completa per il contributo dei termini $n \neq m$. Il lavoro estende la comprensione dei valori liberi dai quadrati oltre il primo momento (risultati mediati) al secondo momento, offrendo un quadro più nitido della distribuzione degli errori. L'articolo nota che, sebbene il lavoro di Mirsky suggerisca che le asintotiche per tutti i momenti di $\mu^2$ siano possibili, i calcoli per i momenti superiori che coinvolgono la sommazione di Cesàro appaiono "proibitivi".

I risultati sono condizionati dal grado $d$ e dalla relazione tra $x$ e $H$, ma rappresentano un passo significativo nel quantificare il comportamento "tipico" del termine di errore nel problema dei valori liberi dai quadrati per i polinomi casuali.