The exceptional set of Goldbach problem and Linnik's constant

Resumen Técnico: El Conjunto Excepcional del Problema de Goldbach y la Constante de Linnik

Planteamiento del Problema
El artículo aborda dos problemas fundamentales en la teoría analítica de números: el tamaño del conjunto excepcional en la conjetura de Goldbach y el valor de la constante de Linnik.

1. El Conjunto Excepcional de Goldbach: Sea $E(X)$ el número de enteros pares $m \le X$ que no pueden expresarse como la suma de dos primos impares. El objetivo es establecer un límite superior fuerte para $E(X)$.
2. La Constante de Linnik: Sea $P(q)$ el menor primo en una progresión aritmética $\{a, a+q, a+2q, \dots\}$ donde $(a,q)=1$. El objetivo es determinar la constante $L$ más pequeña admisible tal que $P(q) = O(q^L)$.

Históricamente, los límites para $E(X)$ han evolucionado desde resultados condicionales bajo la Hipótesis de Riemann Generalizada hasta límites incondicionales que involucran el cero de Siegel. El avance realizado por Montgomery y Vaughan estableció $E(X) = O(X^{1-\delta})$ para algún $\delta > 0$, un resultado profundamente conectado con el método de Linnik para acotar $P(q) = O(q^L)$. Antes de este trabajo, los valores admisibles conocidos eran $\delta = 0.28$ (Pintz) y $L = 5.2$ (Xylouris).

Metodología
El artículo emplea un refinamiento del método de Pintz, el cual se basa en la distribución de los ceros de las funciones $L$ de Dirichlet cerca de la recta $\sigma = 1$. El núcleo del argumento consiste en analizar los ceros $\varrho = \beta + i\gamma$ en la región crítica $\sigma \in [1 - H(\log q)^{-1}, 1]$ y $|t| \le H$.

La metodología procede a través de los siguientes pasos técnicos:

1. Reducción a Sumas de Ceros: Siguiendo la reducción de Pintz, el problema se reduce a estimar sumas sobre los ceros de las funciones $L$ para un único módulo $q$. El artículo define un multiconjunto de ceros $Z(\chi, H)$ y busca acotar la suma de las sumas ponderadas al cuadrado de estos ceros.
2. Sumas Ponderadas y Transformadas de Laplace: El autor utiliza funciones de prueba específicas derivadas del trabajo de Heath-Brown, específicamente involucrando la función $f_1(t)$ y su transformada de Laplace $F_1(z)$, y una función relacionada $F_2(z)$. Estas se utilizan para construir desigualdades que involucran las partes reales de sumas sobre los ceros.
3. Estimaciones de Densidad de Ceros: El artículo emplea una estimación de densidad de ceros generalizada (atribuida a la generalización de Pintz del trabajo de Heath-Brown) que cuenta todos los ceros en una región específica en lugar de solo aquellos pertenecientes a funciones $L$ con al menos un cero en dicha región. Esto evita el uso de funciones subóptimas utilizadas en métodos anteriores.
4. Análisis de Casos: La demostración del teorema principal se divide en varios casos basados en la magnitud de la parte real más pequeña de los ceros, denotada $\lambda_{1,1} = \min \text{Re}(1-\varrho)$. El autor utiliza el Lema 2.4 para establecer límites en el número de ceros $N(\Lambda)$ en regiones específicas dependiendo del valor de $\lambda_{1,1}$.
5. Optimización de Parámetros: El autor introduce parámetros $x, y, z, \Lambda, \lambda_0$ para optimizar los límites en las sumas ponderadas de la forma $\sum e^{-k \max\{\lambda_j, \Lambda\}}$. Mediante la selección cuidadosa de estos parámetros y la utilización del fenómeno de Deuring-Heilbronn (que limita el número de ceros excepcionales), el autor deriva desigualdades más ajustadas para las sumas de exponenciales de los ceros.

Contribuciones Clave y Resultados
La contribución primaria del artículo es la mejora de las constantes admisibles tanto para el conjunto excepcional de Goldbach como para la constante de Linnik mediante un análisis refinado del método de Pintz.

1. Teorema 1.1 (Conjunto Excepcional de Goldbach): El artículo demuestra que $E(X) = O(X^{7/10})$. Esto corresponde a un valor admisible de $\delta = 0.3$ en el límite $E(X) = O(X^{1-\delta})$. Esto mejora el mejor resultado previo de $\delta = 0.28$.

   • La demostración se basa en establecer el Teorema 1.2, el cual muestra que para un conjunto de caracteres que satisfacen ciertas condiciones, la suma de las sumas ponderadas al cuadrado de los ceros es estrictamente menor que 1 (específicamente $\le 1 - c_1$).
   • La mejora se logra reduciendo el exponente en la desigualdad clave de $25/7$ (usado por Pintz) a $10/3$. Esta reducción se atribuye a una estimación refinada de sumas del tipo $\sum e^{-10/3 \max\{\lambda, \Lambda\}}$ y a una estimación más precisa de los términos de diferencia.

2. Teorema 1.4 (Constante de Linnik): El artículo demuestra que $L = 5$ es una constante admisible para el problema de Linnik, mejorando el récord anterior de $L = 5.2$.

   • Este resultado se deriva del Teorema 1.3, el cual establece un límite en la suma de las exponenciales de los ceros ($\sum e^{-5\lambda} \le 1 - c_1$).
   • La mejora de $L = 5.2$ a $L = 5$ se atribuye explícitamente al uso de la estimación de densidad de ceros generalizada de Pintz, que cuenta todos los ceros en la región en lugar de solo el conteo de las funciones $L$ con ceros allí. Esto permite evitar el uso de funciones menos óptimas empleadas en el método original de Heath-Brown.

Significancia
El artículo afirma que su significancia radica en el "refinamiento del método de Pintz". Al optimizar los parámetros y las funciones específicas utilizadas para estimar las sumas sobre los ceros, el autor descubre el potencial del marco de Pintz para empujar más allá los límites de estas constantes. La mejora de $\delta$ de $0.28$a$0.3$ y de $L$ de $5.2$a$5$ representa un ajuste cuantitativo de los límites sobre la distribución de los primos en progresiones aritméticas y las excepciones a la conjetura de Goldbach. El autor señala que las constantes implícitas en estos límites son inefectivas, una limitación estándar en los métodos que dependen de la exclusión de los ceros de Siegel.