Representations of positive integers by three almost-prime squares

Resumen Técnico: Representaciones de Enteros Positivos por Tres Cuadrados Casi-Primos

Planteamiento del Problema
El artículo aborda la representación de enteros positivos como sumas de tres cuadrados, centrándose específicamente en las restricciones impuestas sobre la factorización prima de las variables. Mientras que Legendre y Gauss establecieron que un entero $m$ es representable como $m = x^2 + y^2 + z^2$ si y solo si $m \neq 4^k(8\ell+7)$, los autores investigan representaciones donde las variables $x_i$ son "casi-primos" (enteros con un número acotado de factores primos).

El enfoque principal son los enteros $N$ que satisfacen las condiciones $N \equiv 3 \pmod{24}$ y $5 \nmid N$. El artículo busca mejorar los resultados previos respecto al número de factores primos ($números$ $P_r$) requeridos para las variables $x_1, x_2, x_3$ en la ecuación $N = x_1^2 + x_2^2 + x_3^2$. Específicamente, busca reducir el límite de $r$ tal que $x_1x_2x_3$ sea un número $P_r$, o tal que cada $x_i$ individual sea un número $P_r$.

Un problema secundario involucra una conjetura relacionada de Sun sobre representaciones de la forma $N = x^2 + y^2 + (2az)^2$, con el objetivo de mejorar el límite de la naturaleza casi-prima de $z$.

Metodología
Las demostraciones se basan en una combinación de técnicas de la teoría analítica de números, específicamente:

1. Criba de Dimensiones Superiores: Los autores emplean un método de criba en tres dimensiones para manejar la suma de tres cuadrados.
2. Criba Ponderada de Tipo Richert: Utilizan un método de criba ponderada introducido por Cai [6], que permite la optimización del número de factores primos asignando pesos a las variables basadas en sus divisores primos.
3. Estimaciones de Distribución: El núcleo del argumento depende del "nivel de distribución" para la forma cuadrática ternaria $x_1^2 + x_2^2 + x_3^2$. Los autores utilizan un resultado de tipo Bombieri-Vinogradov y una estimación de norma diagonal proporcionada por Waibel [21].
4. Series Theta y Formas Modulares: Para establecer los límites necesarios de los términos de error para la distribución de las representaciones, el artículo analiza los coeficientes de Fourier de las series theta asociadas con las formas cuadráticas. Específicamente, utilizan el Teorema 2 de Waibel para acotar la diferencia entre el promedio del género y el número de representación real.
5. Reducción Unidimensional: Para el resultado secundario (Teorema 1.3), el método se adapta a un entorno de criba unidimensional, aplicando argumentos de criba ponderada similares a una sola variable $z$ en la forma $N = x^2 + y^2 + (2az)^2$.

Contribuciones Clave y Resultados

• Teorema 1.1: Para enteros suficientemente grandes $N$ que satisfacen $N \equiv 3 \pmod{24}$ y $5 \nmid N$, los autores demuestran que $N$ puede escribirse como $N = x_1^2 + x_2^2 + x_3^2$ donde el producto $x_1x_2x_3$ es un número $P_{67}$ (un entero con como máximo 67 factores primos). Se muestra que el número de tales representaciones es $\gg N^{1/2-\epsilon}$.

  • Mejora: Esto mejora el trabajo de Waibel [21], quien obtuvo un número $P_{72}$.

• Teorema 1.2: Bajo las mismas condiciones, los autores demuestran que $N$ puede ser representado como $N = x_1^2 + x_2^2 + x_3^2$ donde cada variable individual $x_i$ es un número $P_{27}$. El número de tales representaciones es también $\gg N^{1/2-\epsilon}$.

  • Nota: Este resultado se deriva del mismo argumento de criba ponderada del Teorema 1.1, pero aplica la estimación de casi-primo a cada coordenada por separado.

• Teorema 1.3: Abordando un problema relacionado, los autores demuestran que todo entero suficientemente grande que no sea de la forma $4^k(8\ell+7)$ puede escribirse como $m = x^2 + y^2 + (2az)^2$, donde $x, y, a$ son enteros no negativos y $z$ es un número $P_{18}$. El número de tales representaciones es $\gg m^{1/2-\epsilon}$.

  • Mejora: Esto mejora significativamente un resultado de Banerjee [1], quien obtuvo un número $P_{118}$.

• Corolario 1.1: Como consecuencia directa del Teorema 1.3, el artículo muestra que enteros suficientemente grandes pueden representarse en la forma $m = x^2 + y^2 + 2^{2a} + (2bz)^2$ con $z$ siendo un número $P_{18}$.

Significado
El artículo afirma mejorar los límites del estado del arte para representar enteros como sumas de cuadrados de casi-primos. Al refinar los parámetros de la criba ponderada y aprovechar las estimaciones de distribución de Waibel, los autores logran reducir el número requerido de factores primos para las variables en estas representaciones. La reducción de $P_{72}$ a $P_{67}$ (y de $P_{118}$ a $P_{18}$ en el caso relacionado) demuestra la efectividad de combinar cribas de dimensiones superiores con estimaciones modernas sobre la distribución de formas cuadráticas. El trabajo contribuye a la conjetura más amplia de que tales enteros pueden representarse como sumas de cuadrados de primos reales, al estrechar la brecha entre los "casi-primos" y los primos.