Counting square-free values of random polynomials

Resumen Técnico: Conteo de Valores Libres de Cuadrados de Polinomios Aleatorios

Planteamiento del Problema
El artículo aborda el problema de contar los valores libres de cuadrados tomados por polinomios enteros. Sea $P \in \mathbb{Z}[t]$ un polinomio de grado $d$. La cantidad de interés es $E_P(x)$, definida como el término de error entre el conteo real de valores libres de cuadrados $P(n)$ para $1 \le n \le x$ y el término principal esperado $S_P x$, donde $S_P$ es un producto de series singulares sobre primos. Si bien existe una conjetura folclórica de que $E_P(x) = o(x)$ para cualquier polinomio irreducible, esto sigue sin probarse para grados $d \ge 4$ (incluso la existencia de infinitos valores libres de cuadrados solo se conoce para $d \le 3$).

El autor investiga el comportamiento de $E_P(x)$ cuando se promedia sobre una familia de polinomios aleatorios. Específicamente, el artículo considera el conjunto $P_d(H) = \{P \in \mathbb{Z}[t] : \deg(P)=d, |P| \le H\}$, donde $|P|$ denota el módulo máximo de los coeficientes. El objetivo es determinar la magnitud del segundo momento del término de error:
$$(2H)^{-d-1} \sum_{P \in P_d(H)} |E_P(x)|^2$$
Trabajos previos de Filaseta, Shparlinski, Browning y otros han establecido límites para este momento, pero el orden de magnitud preciso del término de error no había sido caracterizado completamente en el contexto de los polinomios aleatorios.

Metodología
La demostración procede a través de varias etapas analíticas, combinando la teoría de números probabilística con técnicas de análisis complejo:

1. Truncamiento y Transición de Modelo: El autor reemplaza la función indicadora para números libres de cuadrados, $\mu^2(P(n))$, con un modelo truncado $SP(z)$ que involucra una suma sobre $k \le z$. Esto permite la separación de los términos diagonales ($n=m$) de los términos fuera de la diagonal ($n \neq m$) en la expansión del segundo momento.
2. Conteo Combinatorio: Los lemas 2.1 a 2.3 proporcionan límites en el número de raíces de polinomios módulo $k^2$ y la distribución de polinomios divisibles por cuadrados. Estos límites son cruciales para estimar el error introducido por el truncamiento.
3. Sumación de Cesàro e Integrales de Perron: Una innovación clave identificada en el artículo es el reconocimiento de que la estructura del segundo momento incorpora inherentemente la sumación de Cesàro. La suma fuera de la diagonal $\sum_{n \neq m} c(m,n)$ (donde $c(m,n)$ depende de $m-n$) es transformada utilizando una versión de la fórmula de Perron. Esto permite el uso de la integración compleja con un núcleo $1/(s(s+1))$, lo cual proporciona factores de convergencia adicionales.
4. Análisis de Series de Dirichlet: Se analiza la función aritmética $b(k) = c(k, 0)$. Se demuestra que su serie de Dirichlet es $\zeta(s)\zeta(2+2s)G(s)/\zeta(2)^2$, donde $G(s)$ es una función holomorfa para $\Re(s) > -3/4$.
5. Desplazamiento de Contorno: El integral se desplaza hacia la izquierda, cruzando los polos en $s=1$, $s=0$ y $s=-1/2$. El autor desplaza la línea de integración a $\Re(s) = -1/2 - \delta$. Esto es posible debido a la convergencia proporcionada por el núcleo de Cesàro y los límites específicos de la función zeta de Riemann en la franja crítica. El artículo nota explícitamente que la hipótesis de Lindelöf o los límites de subconvexidad no ofrecen ventaja en esta configuración específica.

Contribuciones Clave y Resultados
La contribución principal es la determinación del comportamiento asintótico del segundo momento del término de error. El artículo prueba que el término de error es típicamente de tamaño $x^{1/4}$ (ya que el segundo momento es $x^{1/2}$).

El Teorema 1.1 establece las siguientes asintóticas para el segundo momento, donde $\gamma_0 \approx 0.192$ es una constante específica derivada del residuo en $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})$$
   Esto se cumple para cualquier $\alpha < 1/(d+3)$ con $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})$$
   Esto se cumple para cualquier $\varepsilon > 0$ y $\beta < 1/(d+28/9)$.

La constante $\gamma_0$ surge del residuo de la serie de Dirichlet en $s = -1/2$, involucrando específicamente $\zeta(-1/2)$ y el producto de Euler de $G(s)$. El término $x^{1/2}$ en el segundo momento implica que el error típico $E_P(x)$ es de orden $x^{1/4}$.

Significancia y Reivindicaciones
El artículo afirma que el orden de magnitud $x^{1/2}$ para el segundo momento (y así $x^{1/4}$ para el error) no es inmediatamente aparente, ya que los términos diagonales por sí solos contribuyen con un término de orden $x H^{d+1}$. La novedad reside en la cancelación precisa de la contribución diagonal por parte de los términos fuera de la diagonal, un fenómeno facilitado por la sumación de Cesàro incorporada en el segundo momento de funciones aritméticas sobre polinomios aleatorios.

El autor enfatiza que este resultado proporciona una expansión asintótica completa para la contribución de los términos $n \neq m$. El trabajo extiende la comprensión de los valores libres de cuadrados más allá del primer momento (resultados promediados) hacia el segundo momento, ofreciendo una imagen más aguda de la distribución de los errores. El artículo señala que, si bien el trabajo de Mirsky sugiere que las asintóticas para todos los momentos de $\mu^2$ son posibles, los cálculos para momentos superiores que involucran la sumación de Cesàro parecen "prohibitivos".

Los resultados son condicionales al grado $d$ y a la relación entre $x$ y $H$, pero representan un paso significativo en la cuantificación del comportamiento "típico" del término de error en el problema de los valores libres de cuadrados para polinomios aleatorios.