Counting square-free values of random polynomials

Résumé Technique : Comptage des valeurs sans carré de polynômes aléatoires

Énoncé du Problème
L'article traite du problème du comptage des valeurs sans carré prises par des polynômes entiers. Soit $P \in \mathbb{Z}[t]$ un polynôme de degré $d$. La quantité d'intérêt est $E_P(x)$, définie comme le terme d'erreur entre le décompte réel des valeurs sans carré $P(n)$ pour $1 \le n \le x$ et le terme principal attendu $S_P x$, où $S_P$ est un produit de séries singulières sur les nombres premiers. Bien qu'une conjecture de la culture populaire suggère que $E_P(x) = o(x)$ pour tout polynôme irréductible, cela reste non prouvé pour les degrés $d \ge 4$ (même l'existence d'une infinité de valeurs sans carré n'est connue que pour $d \le 3$).

L'auteur étudie le comportement de $E_P(x)$ lorsqu'il est moyenné sur une famille de polynômes aléatoires. Plus précisément, l'article considère l'ensemble $P_d(H) = \{P \in \mathbb{Z}[t] : \deg(P)=d, |P| \le H\}$, où $|P|$ désigne le module maximal de ses coefficients. L'objectif est de déterminer l'ordre de grandeur du second moment du terme d'erreur :
$$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2$$
Des travaux antérieurs par Filaseta, Shparlinski, Browning et d'autres ont établi des bornes pour ce moment, mais l'ordre de grandeur précis du terme d'erreur n'avait pas été pleinement caractérisé dans le contexte des polynômes aléatoires.

Méthodologie
La preuve procède à travers plusieurs étapes analytiques, combinant la théorie probabiliste des nombres et des techniques d'analyse complexe :

1. Troncation et Transition de Modèle : L'auteur remplace la fonction indicatrice des nombres sans carré, $\mu^2(P(n))$, par un modèle tronqué $SP(z)$ impliquant une somme sur $k \le z$. Cela permet de séparer les termes diagonaux ($n=m$) des termes hors-diagonaux ($n \neq m$) dans l'expansion du second moment.
2. Comptage Combinatoire : Les lemmes 2.1 à 2.3 fournissent des bornes sur le nombre de racines de polynômes modulo $k^2$ et la distribution de polynômes divisibles par des carrés. Ces bornes sont cruciales pour estimer l'erreur introduite par la troncature.
3. Sommation de Cesàro et Intégrales de Perron : Une innovation clé identifiée dans l'article est la reconnaissance que la structure du second moment incorpore intrinsèquement la sommation de Cesàro. La somme hors-diagonale $\sum_{n \neq m} c(m,n)$ (où $c(m,n)$ dépend de $m-n$) est transformée en utilisant une version de la formule de Perron. Cela permet l'utilisation de l'intégration complexe avec un noyau $1/(s(s+1))$, qui fournit des facteurs de convergence supplémentaires.
4. Analyse de la Série de Dirichlet : La fonction arithmétique $b(k) = c(k, 0)$ est analysée. Sa série de Dirichlet est montrée être $\zeta(s)\zeta(2+2s)G(s)/\zeta(2)^2$, où $G(s)$ est une fonction holomorphe pour $\Re(s) > -3/4$.
5. Déplacement de Contour : L'intégrale est décalée vers la gauche, traversant les pôles en $s=1$, $s=0$ et $s=-1/2$. L'auteur déplace la droite d'intégration à $\Re(s) = -1/2 - \delta$. Ceci est possible grâce à la convergence fournie par le noyau de Cesàro et aux bornes spécifiques de la fonction zêta de Riemann dans la bande critique. L'article note explicitement que l'hypothèse de Lindelöf ou les bornes de sous-convexité n'offrent pas d'avantage dans cette configuration spécifique.

Contributions Clés et Résultats
La principale contribution est la détermination du comportement asymptotique du second moment du terme d'erreur. L'article prouve que le terme d'erreur est typiquement de taille $x^{1/4}$ (puisque le second moment est $x^{1/2}$).

Le Théorème 1.1 établit les asymptotiques suivantes pour le second moment, où $\gamma_0 \approx 0.192$ est une constante spécifique dérivée du résidu en $s=-1/2$ :

1. Pour $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})$$
   Ceci est vrai pour tout $\alpha < 1/(d+3)$ avec $x \le H^\alpha$.

2. Pour $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})$$
   Ceci est vrai pour tout $\varepsilon > 0$ et $\beta < 1/(d+28/9)$.

La constante $\gamma_0$ provient du résidu de la série de Dirichlet en $s = -1/2$, impliquant spécifiquement $\zeta(-1/2)$ et le produit d'Euler de $G(s)$. Le terme $x^{1/2}$ dans le second moment implique que l'erreur typique $E_P(x)$ est de l'ordre de $x^{1/4}$.

Signification et Revendications
L'article affirme que l'ordre de grandeur $x^{1/2}$ pour le second moment (et donc $x^{1/4}$ pour l'erreur) n'est pas immédiatement apparent, car les termes diagonaux seuls contribuent à un terme d'ordre $x H^{d+1}$. La nouveauté réside dans l'annulation précise de la contribution diagonale par les termes hors-diagonaux, un phénomène facilité par la sommation de Cesàro intégrée dans le second moment des fonctions arithmétiques sur les polynômes aléatoires.

L'auteur souligne que ce résultat fournit une expansion asymptotique complète pour la contribution des termes $n \neq m$. Le travail étend la compréhension des valeurs sans carré au-delà du premier moment (résultats moyennés) vers le second moment, offrant une image plus fine de la distribution des erreurs. L'article note que bien que les travaux de Mirsky suggèrent que les asymptotiques pour tous les moments de $\mu^2$ sont possibles, les calculs pour les moments supérieurs impliquant la sommation de Cesàro semblent « rébarbatifs ».

Les résultats sont conditionnés par le degré $d$ et la relation entre $x$ et $H$, mais ils représentent une étape significative dans la quantification du comportement « typique » du terme d'erreur pour les polynômes aléatoires dans le problème des valeurs sans carré.