🔢 mathematics

Piatetski-Shapiro Primes in short intervals

Este artículo establece la existencia de primos de Piatetski-Shapiro de la forma $\lfloor n^c \rfloor$ dentro de intervalos cortos $[x, x + x^\theta]$ mediante la demostración de tanto una fórmula asintótica como un límite inferior bajo restricciones específicas en los parámetros $\theta$ y $c$ .

Autores originales: Lingyu Guo, Victor Zhenyu Guo

Publicado 2026-06-02

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Lingyu Guo, Victor Zhenyu Guo

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

La visión general: La caza de gemas raras en una caja diminuta

Imagina que eres un buscador de tesoros que busca números primos. En el mundo de los números, los primos son como gemas raras y especiales (números como 2, 3, 5, 7, 11 que solo pueden dividirse por 1 y por sí mismos).

Normalmente, los matemáticos buscan estas gemas a lo largo de un tramo muy largo de la recta numérica. Saben que si buscas en un intervalo enorme, definitivamente encontrarás algunas gemas. Pero el gran desafío en este artículo es buscar gemas en un intervalo muy corto.

Piénsalo de esta manera: Si tienes una autopista larga (la recta numérica), encontrar una gasolinera (un primo) es fácil. Pero, ¿qué pasa si solo se te permite mirar un tramo de 100 metros de esa autopista? ¿Puedes garantizar que hay una gasolinera allí? Los autores de este artículo intentan demostrar que, sí, puedes encontrar estas gemas especiales incluso en tramos muy cortos, siempre que sepas exactamente qué tipo de gemas estás buscando.

Las gemas especiales: Primos de "Piatetski-Shapiro"

Los autores no están buscando cualquier primo. Están buscando primos de Piatetski-Shapiro.

Imagina que tienes una máquina que toma un número entero $n$ (1, 2, 3...) y lo aplasta usando una fórmula especial: $\lfloor n^c \rfloor$ .

El símbolo $\lfloor \dots \rfloor$ significa "redondear hacia abajo al número entero más cercano".
La letra $c$ es un dial que puedes girar. Si giras el dial a $c=2$ , obtienes $n^2$ (1, 4, 9, 16...). Si lo giras de forma un poco diferente, obtienes una secuencia distinta.

La pregunta es: ¿Contiene esta secuencia aplastada infinitos números primos?
Por ejemplo, si fijas el dial en $c=1.5$ , ¿obtienes primos como $\lfloor 1^{1.5} \rfloor$ , $\lfloor 2^{1.5} \rfloor$ , $\lfloor 3^{1.5} \rfloor$ ... y alguno de esos resultados es un número primo?

Este es un problema difícil. Es como preguntar si un tamiz de forma extraña y específica atrapará polvo de oro. Los autores demuestran que, para ciertas configuraciones del dial ( $c$ ), estos primos especiales sí existen, incluso cuando solo miras un intervalo de números muy corto y pequeño.

Los dos resultados principales: El "Mapa Exacto" y el "Tesoro Garantizado"

El artículo proporciona dos formas diferentes de demostrar la existencia de estos primos.

1. El Mapa Exacto (La fórmula asintótica)

El Teorema 1.1 es como dibujar un mapa preciso.

Qué hace: No se limita a decir "hay un primo aquí". Dice: "Si buscas en este intervalo corto, habrá exactamente esta cantidad de primos, con un margen de error mínimo".
El inconveniente: Este mapa solo funciona si el "intervalo corto" no es demasiado corto y el "dial" ( $c$ ) no es demasiado extraño. Los autores dedicaron mucho tiempo a calcular los límites exactos de dónde es válido este mapa. Descubrieron que si ajustas la longitud de tu intervalo de búsqueda y la configuración del dial de la manera justa, las matemáticas funcionan perfectamente.

2. El Tesoro Garantizado (El límite inferior)

El Teorema 1.2 es un poco más flexible. Utiliza una herramienta llamada Criba de Harman.

La analogía: Imagina que tienes una red de pesca (la criba). Quieres atrapar peces (primos). El "Mapa Exacto" te dice exactamente cuántos peces hay en la red. El enfoque del "Tesoro Garantizado" solo quiere demostrar que la red no estará vacía.
El resultado: Al usar esta criba, los autores pueden demostrar que hay al menos un primo en el intervalo, incluso en situaciones donde el "Mapa Exacto" es demasiado complicado de dibujar. Esto les permite encontrar estos primos especiales en un rango más amplio de configuraciones que el primer método.

Cómo lo hicieron: El problema del "Ruido Matemático"

Para demostrar estas cosas, los autores tuvieron que lidiar con Sumas Exponenciales.

La metáfora: Imagina que estás tratando de escuchar un susurro tenue y solitario (los números primos) en una habitación muy ruidosa y caótica llena de gente gritando (los otros números).
El problema: El "grito" es tan fuerte y complejo que ahoga el susurro. En matemáticas, esto se llama "ruido".
La solución: Los autores desarrollaron nuevas técnicas para filtrar el ruido. Utilizaron un método llamado desigualdad de Cauchy-Schwarz (una forma de medir cuánto se solapan dos cosas) y el proceso A (una forma de suavizar el caos).
El giro del intervalo corto: Normalmente, los matemáticos pueden ignorar el hecho de que están mirando un intervalo "corto" porque el ruido se promedia a lo largo de distancias largas. Pero debido a que los autores están mirando un intervalo corto, el ruido no se promedia de forma agradable. Tuvieron que inventar una nueva forma de escuchar el susurro específicamente en esa pequeña y ruidosa habitación.

La curva "extraña"

El artículo menciona un fenómeno extraño en sus resultados (Figura 1). A medida que cambian la longitud del intervalo, la configuración del "dial" necesaria para encontrar primos a veces sube y baja de una manera extraña.

¿Por qué? Se debe a un término matemático específico que tuvieron que ignorar para mantener la simplicidad de la prueba. Decidieron no perseguir esa curva extraña porque solo ocurre cuando el intervalo ya es bastante largo, y su objetivo principal era encontrar primos en los intervalos más cortos posibles.

Resumen

En resumen, Lingyu Guo y Victor Zhenyu Guo han demostrado que si miras un tramo corto de números y aplicas una fórmula de redondeo específica, encontrarás números primos dentro de él. Lo hicieron:

Creando un recuento preciso de cuántos primos se esperan (Teorema 1.1).
Usando una "criba" para garantizar que existe al menos un primo (Teorema 1.2).
Desarrollando nuevas formas de filtrar el "ruido" matemático para escuchar los primos en un intervalo corto y concurrido.

No inventaron una máquina nueva ni curaron una enfermedad; simplemente resolvieron un rompecabezas muy específico y difícil sobre dónde se esconden los números en la vastedad de las matemáticas.

Resumen Técnico: Primos de Piatetski-Shapiro en Intervalos Cortos

Planteamiento del Problema
El artículo aborda el problema de establecer la existencia de primos de Piatetski-Shapiro en intervalos cortos. Específicamente, investiga la función de conteo $\pi_c(x)$ , que cuenta los primos $p \le x$ de la forma $p = \lfloor n^c \rfloor$ para un número real fijo $c > 1$ . La cuestión central es si se cumple la relación asintótica o un límite inferior para la diferencia $\pi_c(x + x^\theta) - \pi_c(x)$ para rangos específicos del parámetro de intervalo corto $\theta \in (2/3, 1)$ y del parámetro de exponente $\gamma = c^{-1}$ . Este problema sirve como una aproximación a la conjetura más amplia sobre la infinitud de los primos de la forma $n^2 + 1$ . Si bien la existencia de tales primos en intervalos largos está bien establecida (con el rango admisible para $c$ extendido a $c < 2817/2426$ por Rivat y Sargos), el comportamiento en intervalos cortos $[x, x + x^\theta]$ sigue siendo un desafío central en la teoría analítica de números.

Metodología
Los autores emplean una combinación de estimación de sumas exponenciales y métodos de cribado para derivar sus resultados. La maquinaria técnica central involucra:

Límites de Sumas Exponenciales: La demostración depende fuertmente de la estimación de sumas exponenciales de la forma:
$\sum_{h \sim H} \delta_h \sum_{n \sim N} \sum_{m} \mathbb{1}_{mn \in I} a_n b_m e(h(mn)^\gamma)$
donde $I = (x, x + x^\theta]$ . Los autores distinguen entre sumas de Tipo I (donde los coeficientes son simples, por ejemplo, $b_m=1$ ) y sumas de Tipo II (donde los coeficientes son más complejos, por ejemplo, $|b_m| \ll x^\epsilon$ ).
- Tipo I: A diferencia de los enfoques estándar que utilizan dobles grandes cribas, los autores estiman la suma interna sobre $m$ primero utilizando el Lema 2.5 (una prueba de derivada de orden superior) para manejar el entrelazamiento de $m$ y $n$ causado por la condición de intervalo corto $mn \in I$ .
- Tipo II: Se utilizan dos métodos distintos. El primero aplica la desigualdad de Cauchy-Schwarz y el proceso- $A$ (desigualdad de Weyl-van der Corput) para convertir la suma en una forma susceptible de información de intervalos cortos. El segundo método adapta la técnica de Heath-Brown de contar puntos racionales para extraer información adicional de Tipo II.
Criba de Harman: Para obtener resultados de límite inferior (Teorema 1.2), los autores aplican la criba de Harman. Esto implica descomponer la función de conteo utilizando la identidad de Buchstab y el Lema Fundamental (Lema 5.3). El Lema Fundamental permite a los autores transferir fórmulas asintóticas del conjunto de enteros en el intervalo al conjunto de enteros de Piatetski-Shapiro, siempre que se cumplan los límites de las sumas exponenciales.
Optimización: Los rangos para $\theta$ y $\gamma$ se determinan optimizando los parámetros en las estimaciones de las sumas exponenciales y los pesos de la criba. Los autores utilizan integración numérica (vía MATLAB) para calcular las contribuciones de los términos descartados en el proceso de la criba, específicamente aquellos que involucran la función de Buchstab $w(u)$ .

Contribuciones Clave y Resultados

El artículo presenta dos teoremas principales que establecen la existencia de primos de Piatetski-Shapiro en intervalos cortos bajo restricciones específicas de $\theta$ y $\gamma$ :

Teorema 1.1 (Fórmula Asintótica): Los autores prueban una fórmula asintótica para $\pi_c(x + x^\theta) - \pi_c(x)$ de la forma $\gamma x^{\theta+\gamma-1}/\log x$ . Esto se cumple para $\theta \in (2/3, 1)$ y $\gamma$ que satisface un límite inferior definido por tramos (Ecuación 1.2). El rango admisible para $\gamma$ varía con $\theta$ , requiriendo generalmente que $\gamma$ esté cerca de 1 para valores de $\theta$ más pequeños. Notablemente, el artículo observa un fenómeno inusual donde el $\gamma$ admisible aumenta con $\theta$ cerca de $\theta \approx 0.9$ , atribuido al término $(1+\theta)/2$ en la estimación de la suma de Tipo II.
Teorema 1.2 (Límite Inferior): Empleando la criba de Harman, los autores mejoran el rango admisible para $\gamma$ en comparación con el Teorema 1.1. Para valores fijos de $\theta \in (2/3, 1)$ , establecen un límite inferior $\pi_c(x + x^\theta) - \pi_c(x) \gg x^{\theta+\gamma-1}/\log x$ . La Tabla 1 proporciona valores específicos de $\gamma_0$ tales que el resultado se cumple para todo $\gamma > \gamma_0$ . Por ejemplo, para $\theta = 0.90$ , el resultado se cumple para $\gamma > 0.9168$ , mientras que el Teorema 1.1 solo garantiza una fórmula asintótica para $\gamma > 0.9534$ .

Significado y Reivindicaciones
El artículo afirma proporcionar los primeros resultados sobre primos de Piatetski-Shapiro en intervalos cortos con tanto fórmulas asintóticas como límites inferiores mejorados. La significancia radica en extender los rangos admisibles conocidos para el exponente $c$ (vía $\gamma$ ) en el contexto de intervalos cortos, lo cual es un entorno más difícil que los intervalos largos debido a la falta de cancelación en las sumas exponenciales.

Los autores señalan explícitamente que su método para las sumas de Tipo I está diseñado para la restricción de intervalo corto, ya que las técnicas estándar de doble gran criba son menos efectivas cuando $\theta$ es pequeño. También reconocen que podrían potencialmente mejorar el rango para $\gamma$ más grandes (específicamente $\gamma > 0.87$ ) con cálculos más cuidadosos, pero su enfoque principal es el caso donde $\theta$ es pequeño. Los resultados se presentan como una aplicación directa de las técnicas de cribado y los límites de sumas exponenciales establecidos a la estructura específica de las secuencias de Piatetski-Shapiro, sin pretender resolver la conjetura de $n^2+1$ ni proponer nuevas aplicaciones experimentales.