Minimal zero-free regions for results on primes between consecutive perfect $k$th powers

Este artículo calcula regiones mínimas libres de ceros para la función zeta de Riemann que garantizan la existencia de al menos un número primo entre potencias perfectas consecutivas para $k \geq 65$, demostrando específicamente este resultado para $k=86$ y para un subconjunto de enteros positivos cuando $k=70$, avanzando así hacia la resolución de la conjetura de Legendre.

Lo esencial

¡Claro que sí! Imagina que este artículo es como un mapa de tesoro para los matemáticos, pero en lugar de buscar oro, buscan números primos (esos números mágicos que solo se pueden dividir por 1 y por sí mismos, como 2, 3, 5, 7, 11...).

Aquí tienes la explicación de la investigación de Ethan Simpson Lee, traducida a un lenguaje sencillo y con analogías divertidas:

🏰 El Gran Problema: "El Castillo de los Primos"

Imagina que los números enteros (1, 2, 3, 4...) son una carretera infinita. Los matemáticos saben que los números primos están esparcidos por esta carretera, pero a veces hay tramos muy largos donde no hay ni un solo primo.

Un viejo acertijo famoso, llamado la Conjetura de Legendre, dice algo muy simple pero increíblemente difícil de probar: "Entre dos cuadrados perfectos consecutivos (como entre $100$y$121$, o entre$10000$y$10201$), siempre hay al menos un número primo".

Es como decir: "Si caminas entre dos faros que están a una distancia fija, siempre verás al menos un pájaro volando". Pero nadie ha podido demostrarlo con certeza absoluta todavía. Es como intentar atrapar una mosca con las manos desnudas: ¡es muy difícil!

📏 La Regla del "Cubo" y el "Octogono"

Para acercarse a la solución, los matemáticos han estado probando reglas más fáciles primero. En lugar de mirar cuadrados ($n^2$), miraron cubos ($n^3$), luego potencias de 4, de 5, etc.

• El logro anterior: Sabíamos que entre dos números elevados a la potencia 90 (como $n^{90}$ y $(n+1)^{90}$), siempre hay un primo.
• El nuevo récord: Ethan Lee ha logrado bajar esa cifra. Ahora puede demostrar que entre dos números elevados a la potencia 86, siempre hay un primo.

La analogía: Imagina que los números primos son peces en un río. Antes teníamos que usar una red gigante (potencia 90) para asegurar que atrapáramos al menos uno. Ahora, Ethan ha diseñado una red más pequeña y eficiente (potencia 86) que sigue funcionando igual de bien. ¡Es un gran paso hacia la red perfecta!

🔍 ¿Cómo lo hizo? (La "Zona Segura" de los Ceros)

Para probar esto, Ethan tuvo que usar una herramienta matemática muy compleja llamada la Función Zeta de Riemann. Imagina que esta función es un "detector de mentiras" que nos dice dónde es probable que no haya primos.

En el mundo de los números primos, hay una "Zona Segura" (llamada región libre de ceros). Si podemos asegurar que esta zona es lo suficientemente grande y segura, entonces sabemos que los primos no pueden esconderse en los huecos.

Ethan hizo dos cosas geniales:

1. Refinó el mapa: Calculó exactamente qué tan grande y segura debe ser esa "Zona Segura" para garantizar que entre $n^{86}$ y $(n+1)^{86}$ siempre haya un primo. Es como decir: "Si el faro ilumina hasta aquí, no hay forma de que el pájaro se esconda en la oscuridad".
2. Un truco inteligente para la potencia 70: Para la potencia 70 (que es aún más difícil), no pudo probarlo para todos los números. Pero hizo un truco de magia: probó que funciona para casi todos los números, excepto por un grupo muy específico y pequeño que él identificó. Es como decir: "En esta ciudad, siempre hay un café abierto, excepto en la calle X los martes por la mañana".

🚀 ¿Qué significa esto para el futuro?

Este trabajo es como un mapa de "cuánto nos falta".

• Ethan nos dice: "Para probar la Conjetura de Legendre (la potencia 2), necesitamos que nuestra 'Zona Segura' sea aún más perfecta de lo que es hoy".
• Calculó exactamente qué tan lejos estamos. Es como decir: "Estamos a un 90% del camino, pero el último 10% requiere una tecnología que aún no tenemos".

En resumen

Ethan Simpson Lee ha demostrado que:

1. Entre dos números gigantes elevados a la 86ª potencia, siempre hay un primo.
2. Ha creado un mapa detallado que nos dice exactamente qué necesitamos descubrir en el futuro para probar que esto también es cierto para cuadrados (la Conjetura de Legendre).

Es un trabajo de ingeniería matemática de precisión: ha ajustado las herramientas para ver más lejos y más claro, acercándonos un paso más a resolver uno de los misterios más antiguos de las matemáticas. ¡Un trabajo brillante!

Resumen técnico

Resumen Técnico: Regiones Libres de Ceros Mínimas para Resultados sobre Primos entre Potencias Perfectas Consecutivas

1. El Problema

El artículo aborda un problema fundamental en la teoría analítica de números: determinar la existencia de números primos en intervalos cortos definidos por potencias perfectas consecutivas. Específicamente, el objetivo es encontrar el menor entero $k \ge 3$ tal que se pueda demostrar (de manera incondicional) que existe al menos un número primo en el intervalo $(n^k, (n+1)^k)$ para todo entero $n \ge 1$.

• Contexto Histórico: La Conjetura de Legendre postula que existe un primo entre cuadrados consecutivos ($k=2$), pero esto sigue sin demostrarse incluso bajo la Hipótesis de Riemann (HR).
• Avances Previos: Ingham demostró que para $k=3$ y $n$ suficientemente grande, existe un primo. Cully-Hugill mejoró esto acotando el rango de $n$ para $k=3$, pero el rango restante sigue siendo inaccesible para técnicas modernas.
• Estado del Arte: Resultados recientes han demostrado que $k=90$ es admisible. El objetivo de este trabajo es reducir este valor de $k$ y cuantificar qué tan cerca estamos de probar casos más fuertes (como $k=70$ o $k=2$) mediante el cálculo de regiones libres de ceros para la función zeta de Riemann ($\zeta$).

2. Metodología

La demostración de la existencia de primos en estos intervalos requiere la combinación de tres ingredientes principales:

1. Regiones Libres de Ceros: Cotas superiores para la parte real $\sigma$ de los ceros no triviales $\varrho = \beta + i\gamma$ de $\zeta(s)$, específicamente de la forma de Littlewood: $\sigma \ge 1 - \frac{\log \log |t|}{Z \log |t|}$.
2. Estimaciones de Densidad de Ceros: Cotas superiores explícitas para el número de ceros $N(\sigma, T)$ en la región $\sigma \le \beta \le 1$ y $0 < \gamma \le T$.
3. Fórmulas de Error Explícitas: Descripciones precisas del error en la fórmula truncada de Riemann-von Mangoldt y en la fórmula de Perron.

Innovaciones Metodológicas del Autor:

• Uso de Múltiples Cotas para $N(\sigma, T)$: A diferencia de trabajos anteriores que usaban una sola cota, Lee combina diferentes estimaciones de densidad de ceros (específicamente las de Bellotti y Wong, y Bellotti) para optimizar los resultados en el rango $67 \le k \le 85$.
• Estrategia de Subconjuntos: Para $k=70$, en lugar de probar el resultado para todos los $n$, se prueba para un subconjunto de enteros definidos por una secuencia $a_n$, permitiendo un análisis más fino en rangos intermedios.
• Cálculos Computacionales: Se utiliza Python para realizar cálculos numéricos precisos de constantes y rangos, actualizando las cotas de error en las fórmulas de conteo de primos.

3. Contribuciones Clave y Resultados Principales

El artículo presenta cuatro teoremas principales que mejoran el estado del arte:

Teorema 1.2 (Mejora del umbral incondicional):
Se demuestra que para todo entero $n \ge 1$, existe al menos un primo en el intervalo $(n^{86}, (n+1)^{86})$.

• Significado: Reduce el exponente admisible de $k=90$ (resultado previo) a $k=86$.

Teorema 1.3 (Resultado condicional en un subconjunto para $k=70$):
Se define una secuencia $a_n = n(1 + \lfloor N/n \rfloor)$. Si $N \ge \exp(15951/70) - \exp(2135/70)$, entonces existe un primo en $(a_n^{70}, a_{n+1}^{70})$ para todo $n \ge 1$.

• Implicación: Esto demuestra que para $k=70$, el resultado es cierto para casi todos los enteros (específicamente para $n > \approx 9.18 \times 10^{98}$), cerrando la brecha para un resultado completo.

Teorema 1.4 (Regiones Libres de Ceros Mínimas):
Este es el resultado más profundo del artículo. Establece que si la función zeta no tiene ceros en ciertas regiones "delgadas" del plano complejo, entonces se puede probar la existencia de primos para $k < 86$.

• Específicamente, para $k \in \{85, 80, 75, 70\}$, si $\zeta(\sigma + it) \neq 0$ en la región definida por:
  $$1 - \frac{\log \log |t|}{z_k \log |t|} \le \sigma \le 1 \quad \text{y} \quad H_R < |t| \le T_k$$
  entonces existe un primo en $(n^k, (n+1)^k)$ para todo $n \ge 1$.
• Tabla 1 (Valores Críticos): El autor proporciona los valores exactos de $z_k$ y $\log T_k$ necesarios. Por ejemplo, para $k=70$, se requiere una región libre de ceros con $z_{70} \approx 14.055$ y $T_{70} \approx e^{264.334}$.
  • Nota: La región para $k=70$ es "razonable" desde un punto de vista computacional, lo que sugiere que probar la existencia de primos para $k=70$ es un hito teórico alcanzable si se confirma la ausencia de ceros en esa región específica.

Tabla 5: Proporciona los parámetros detallados para todos los $k$ entre 65 y 85, cuantificando la dificultad computacional necesaria para cada caso.

4. Significado e Impacto

1. Cuantificación de la Dificultad: El trabajo no solo mejora los exponentes, sino que "mapea" la dificultad de la Conjetura de Legendre. Muestra exactamente qué tan fuerte debe ser una región libre de ceros para probar la existencia de primos en intervalos de potencias $k$.
2. Hito Teórico para $k=70$: El resultado sugiere que probar el caso $k=70$ (un paso gigante hacia $k=2$) es teóricamente posible con los métodos actuales, siempre que se verifique la ausencia de ceros en una región específica y calculable del plano complejo.
3. Herramientas para Futuros Trabajos: Las cotas paramétricas para la diferencia de funciones de conteo de primos $\theta(x+h) - \theta(x)$ (Proposición 3.1) están diseñadas para ser actualizables. Si se mejoran las cotas de $N(\sigma, T)$ en el futuro, estos resultados se pueden refinar inmediatamente.
4. Precisión Numérica: El artículo establece nuevos estándares para la precisión en los cálculos de constantes en la teoría de números analítica, utilizando códigos abiertos para garantizar la reproducibilidad.

En conclusión, Ethan Simpson Lee ha empujado los límites de lo que se puede demostrar incondicionalmente sobre la distribución de primos en intervalos cortos, reduciendo el exponente de 90 a 86 y proporcionando un mapa claro de los requisitos analíticos necesarios para resolver casos aún más fuertes, acercando la comunidad matemática a la resolución de problemas abiertos históricos como la Conjetura de Legendre.