Improving on the Brun-Titchmarsh Theorem

Resumen Técnico: Mejora del Teorema de Brun-Titchmarsh

Planteamiento del Problema
El artículo aborda el límite superior para el número de primos en un intervalo de longitud $N$, específicamente la cantidad $\pi(M+N) - \pi(M)$. El objetivo central es refinar el Teorema de Brun-Titchmarsh clásico, el cual afirma que para $N$ grande, este conteo está acotado por $2N / \log N$. Si bien se sabe que la constante 2 es óptima para los métodos de cribado en un contexto general (el "principio de paridad"), los autores pretenden cuantificar el término $o(1)$ de manera más precisa. Específicamente, buscan establecer un límite de la forma:
$$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + c}$$
para una constante $c$ específica y mejorada. Trabajos previos de Montgomery & Vaughan ($c=5/6$) y otros habían proporcionado diversos valores, pero los autores pretenden elevar esta constante $c$.

Metodología
Los autores emplean un proceso de cribado híbrido que combina elementos del criba grande (large sieve) y la criba de Selberg, utilizando un marco que denominan "modelos locales". La metodología procede a través de varias etapas distintas:

1. Desigualdades Hilbertianas y Sistemas Casi Ortogonales:
   El artículo comienza estableciendo un sistema "casi ortogonal" generalizado en un espacio de Hilbert complejo. Esto extiende la de la de Selberg al introducir un término de error bilinear involucrando coeficientes $\omega_{i,j}$. Esta refinación permite un manejo más detallado de los términos de resto en la criba. Los autores derivan una desigualdad ponderada (Teorema 2.1) donde los pesos $\xi_i$ se optimizan para minimizar el error, abordando específicamente el problema de la mayoración de una función escalón por un polinomio.

2. Modelos Locales para Primos:
   La secuencia de primos en un intervalo se aproxima mediante funciones características de enteros coprimos con un módulo $d$. Para manejar la redundancia inherente en la secuencia de módulos (donde saber la coprimalidad con $d$ implica la coprimalidad con sus factores), los autores definen un "sistema local" utilizando sumas de Ramanujan $c_q(n)$. Construyen una base de funciones $\phi^*_q$ que son "casi ortogonales" con respecto a un producto interno ponderado definido en el intervalo $[M+1, M+N]$.

3. Análisis de Términos de Resto:
   El núcleo de la estimación consiste en acotar el término de resto $R$ proveniente de la forma bilinear. Esto requiere analizar la distribución de los enteros coprimos con un módulo fijo $f$ (elegido como $f=210$) dentro de subintervalos. Los autores introducen las funciones $\theta^+_f(u)$ y $\theta^-_f(u)$ para acotar la desviación del conteo de tales enteros de su densidad esperada. Estas funciones son funciones escalón que deben ser acotadas superiormente por un polinomio.

4. Aproximación Polinómica y Programación Lineal:
   Un obstáculo técnico significativo es encontrar un polinomio $P(u)$ que mayoramente la función escalón $\theta^*_{210}(u)$ (derivada de $\theta^+_f$ y $\theta^-_f$) mientras minimiza un funcional lineal específico $F(P)$. Los autores señalan que los métodos de aproximación estándar (como los polinomios de Bernstein) arrojaron resultados numéricos deficientes. En su lugar, utilizan programación lineal (específicamente el paquete lpsolve) para encontrar un polinomio de grado 25.

• El polinomio está restringido a ser mayor que $\theta^*_{210}$ en 300 puntos específicos.
• Los coeficientes están restringidos por un límite inferior ($-1000$) para gestionar la no compacidad del dominio.
• Los autores reconocen inestabilidades numéricas y el hecho de que muchos coeficientes alcanzan el límite artificial, lo que impide una prueba analítica plenamente rigurosa de la validez global del polinomio sin verificación numérica.

5. Optimización Final:
   El polinomio optimizado se utiliza para acotar el término de error en la desigualdad de la criba. Al enviar los parámetros auxiliares al infinito y optimizar la relación $S^2/N$, los autores derivan un límite inferior para la cantidad $N/Z - \frac{1}{2}\log N$, lo que se traduce directamente en la constante $c$ en el teorema final.

Contribuciones Clave y Resultados

• Teorema Principal: Los autores demuestran que existe un $N_0$ tal que para todo $N \ge N_0$ y $M \ge 1$:
  $$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + 3.53}$$
  (El cálculo en el texto arroja $3.5372$, redondeado a $3.53$ en el resumen).
• Técnica de Criba Híbrida: El artículo introduce una formulación específica de la criba que mezcla la criba grande y la criba de Selberg, utilizando "modelos locales" para manejar los términos de resto con mayor precisión que aplicaciones previas de estos métodos.
• Optimización Numérica en la Teoría de Cribas: El trabajo demuestra la necesidad de métodos numéricos (programación lineal) para resolver los problemas de optimización inherentes a la teoría de cribas moderna, específicamente la mayoración de funciones escalón por polinomios.

Significancia y Limitaciones
El artículo afirma que la constante $3.53$ representa una mejora sobre límites previos (como $c=2.81$ encontrado en "lectures on sieves"). Sin embargo, los autores son explícitos sobre las limitaciones de su resultado:

• Dependencia Numérica: El resultado depende fuertemente de computaciones numéricas, particularmente del paso de programación lineal. Los autores señalan que no pudieron encontrar una expresión de forma cerrada para el polinomio mayorante, y que la solución involucró coeficientes que alcanzaban límites artificiales, lo que introduce inestabilidad numérica.
• Optimidad: Los autores declaran que "no están en posición de afirmar que nuestro resultado sea el mejor posible", incluso dentro de los confines de su propio método. La mejora se logra mediante una elección específica de pesos y una optimización numérica del polinomio, más que mediante un avance teórico fundamental en el principio de paridad mismo.
• Alcance: La mejora es específica para la constante en el denominador del límite de Brun-Titchmarsh para $N$ grandes. El método no pretende resolver el problema de la paridad ni proporcionar fórmulas asintóticas, sino que estrecha el límite superior para el conteo de primos en intervalos cortos.

En resumen, el artículo proporciona una mejora rigurosa, aunque asistida numéricamente, de la constante de Brun-Titchmarsh mediante el refinamiento del análisis de error en un marco de criba híbrida, reconociendo que la precisión de su resultado está limitada por la estabilidad numérica de la aproximación polinómica utilizada.