On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares

Este artículo demuestra que, para todo entero $n \geq 1$, el intervalo entre dos cuadrados consecutivos contiene un número con a lo sumo tres factores primos, mejorando el resultado anterior de cuatro factores mediante una combinación de verificación computacional y un argumento de criba explícito.

Lo esencial

Imagina que los números enteros son como una larga fila de casillas en un tablero infinito. Los números primos son las "casillas especiales" o tesoros que queremos encontrar.

El problema central de este artículo es una pregunta clásica de las matemáticas: ¿Siempre podemos encontrar un tesoro (un número primo) en cada pequeño tramo específico del tablero?

Específicamente, los matemáticos se preguntan: Si tomamos un número $n$, ¿existe siempre un número primo entre $n^2$ (el cuadrado de $n$) y $(n+1)^2$ (el siguiente cuadrado)?

El Problema: Un Tesoro Escondido

Esta pregunta se llama la Conjetura de Legendre. Es como decir: "En cada callejón entre dos esquinas de una ciudad cuadrada, debe haber al menos una tienda de tesoros".

• El problema: Aunque parece obvio, nadie ha podido demostrarlo con certeza para todos los números. Es como intentar encontrar una aguja en un pajar, pero el pajar crece infinitamente y la aguja es muy escurridiza.

La Solución del Autor: "Casi-Tesoros"

Como encontrar el tesoro exacto (un número primo) es demasiado difícil, el autor, Peter Campbell, decide cambiar las reglas del juego un poco. En lugar de buscar solo tesoros puros, busca "casi-tesoros".

• ¿Qué es un "casi-tesoro"? Es un número que tiene muy pocos factores primos.
  • Un número con 1 factor es un primo puro (el tesoro real).
  • Un número con 2 factores es como un tesoro empaquetado en una caja pequeña (ej. $6 = 2 \times 3$).
  • Un número con 3 factores es como un tesoro en una caja mediana (ej. $30 = 2 \times 3 \times 5$).

La gran pregunta: ¿Podemos garantizar que en cada tramo entre dos cuadrados siempre hay al menos un "casi-tesoro" que tenga máximo 3 factores?

La Respuesta: ¡Sí!

El autor demuestra que sí, siempre existe un número con 3 o menos factores primos en ese intervalo.

¿Cómo lo hizo? (La Analogía de la Búsqueda)

Para probar esto, Campbell usó una estrategia de dos frentes, como si fuera un detective que usa dos métodos diferentes para cubrir todo el terreno:

1. La Búsqueda Manual (Para números pequeños):
   Para los números "pequeños" (hasta un punto muy grande, pero finito), el autor y sus colaboradores hicieron un trabajo de campo masivo. Usaron computadoras potentes para revisar uno por uno esos intervalos.

   • Analogía: Es como revisar casa por casa en un vecindario pequeño para asegurarse de que hay una tienda. Si no hay una tienda pura, verifican que haya una tienda con una caja de herramientas (2 factores) o una caja mediana (3 factores).

2. La Red de Seguridad (Para números gigantes):
   Para los números inmensamente grandes, revisar uno por uno es imposible. Aquí, el autor usó una herramienta matemática llamada Tamiz (Sieve).

   • Analogía: Imagina que tienes una red de pesca muy fina. En lugar de buscar el pez exacto (el primo), usas la red para atrapar todo lo que sea "pesca aceptable" (números con pocos factores).
   • El autor mejoró esta red. Antes, otros matemáticos habían usado una red que atrapaba números con hasta 4 factores. Campbell afinó la malla de la red (usando un método llamado "pesos de Richert") para que fuera lo suficientemente fina como para atrapar solo los números con 3 factores o menos.

¿Por qué es importante?

Antes de este trabajo, sabíamos que había un "casi-tesoro" con hasta 4 factores. Campbell demostró que podemos reducir ese número a 3.

• Es como si antes dijéramos: "En cada callejón hay un paquete que pesa máximo 4 kilos".
• Ahora decimos: "En cada callejón hay un paquete que pesa máximo 3 kilos".

Es un paso más cerca de la verdad absoluta (que el paquete pesa 1 kilo, es decir, que es un primo), y demuestra que la distribución de estos números es mucho más densa y predecible de lo que pensábamos.

En Resumen

Peter Campbell tomó un problema matemático antiguo y difícil (encontrar primos entre cuadrados) y demostró que, aunque no podemos garantizar el primo perfecto en todos los casos todavía, siempre podemos encontrar un número "casi primo" con muy pocos componentes. Lo hizo combinando la fuerza bruta de las computadoras para los casos pequeños y una red matemática muy refinada para los casos gigantes.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares" (Sobre la existencia de enteros con a lo sumo 3 factores primos entre cada par de cuadrados consecutivos) de Peter Campbell, traducido y adaptado al español.

---

Resumen Técnico del Artículo

1. El Problema y el Contexto

El artículo aborda una variante de la conjetura de Legendre, un problema central en la teoría de números que postula que para todo entero $n \ge 1$, el intervalo $(n^2, (n+1)^2)$ contiene al menos un número primo. Aunque esta conjetura es elemental en su formulación, sigue sin resolverse incluso bajo la Hipótesis de Riemann.

Dado que demostrar la existencia de primos en estos intervalos es extremadamente difícil, los investigadores han relajado el problema buscando la existencia de "casi primos" (números con un número limitado de factores primos).

• Sea $\Omega(m)$ el número de factores primos de $m$, contados con multiplicidad.
• El objetivo es encontrar el menor entero $k$ tal que para todo $n \ge 1$, exista un entero $a \in (n^2, (n+1)^2)$ con $\Omega(a) \le k$.

Antecedentes:

• Brun (1920): Demostró que $k=11$ para $n$ suficientemente grande.
• Chen (1970s): Mejoró esto a $k=2$ (casi primos) para $n$ grande.
• Dudek y Johnston (2023): Establecieron un resultado explícito para todo $n \ge 1$ con $k=4$ (al menos un número con $\le 4$ factores primos).
• Johnston et al. (2024): Para intervalos entre cubos consecutivos $(n^3, (n+1)^3)$, demostraron que $k=2$ usando pesos logarítmicos de Richert.

El problema de los cuadrados es computacionalmente más difícil que el de los cubos debido a la menor longitud de los intervalos, lo que reduce la flexibilidad en la verificación computacional necesaria para cerrar la brecha entre $n$ pequeño y $n$ grande.

2. Contribución Principal y Resultado

El autor demuestra el siguiente teorema, mejorando el resultado anterior de Dudek y Johnston:

Teorema 1.1: Para todo entero $n \ge 1$, existe un entero $a \in (n^2, (n+1)^2)$ tal que $\Omega(a) \le 3$.

Esto significa que en cada intervalo entre cuadrados consecutivos se garantiza la existencia de un número que es primo, producto de dos primos o producto de tres primos.

3. Metodología

La prueba combina dos enfoques complementarios: una verificación computacional para valores pequeños de $n$ y un argumento analítico explícito basado en la criba para valores grandes.

A. Verificación Computacional para $n$ Pequeño (Sección 2)

• Se extiende la verificación de Dudek y Johnston hasta $n^2 \le 10^{31}$.
• Estrategia:
  1. Para $n \le 7.05 \cdot 10^{13}$, se utiliza el trabajo de Sorenson y Webster que verifica la existencia de primos en estos intervalos.
  2. Para $n > 7.05 \cdot 10^{13}$ (hasta $10^{31}$), se construyen **semiprimos** ($pq$). Se elige un primo$p$fijo tal que el intervalo escalado para$q$tenga una longitud mayor que la brecha máxima de primos conocida (actualmente 1724 para primos por debajo de$6.8 \cdot 10^{19}$). Esto garantiza la existencia de un primo$q$en el intervalo escalado, y por tanto, un semiprimo$pq$ en el intervalo original.

B. Argumento Analítico para $n$ Grande (Secciones 3 y 4)
Para $n^2 \ge 10^{31}$, se utiliza un Tamiz Lineal Ponderado (Weighted Linear Sieve) adaptado de Richert.

1. Criba de Tamizado (Sieve Setup):

   • Se define el conjunto $A(N) = \mathbb{Z} \cap (N, N + 2\sqrt{N})$ con $N=n^2$.
   • Se aplica el Tamiz Lineal Explícito de Bordignon, Johnston y Starichkova para obtener cotas superiores e inferiores para el número de elementos sin divisores primos pequeños.

2. Pesos de Richert:

   • Se adaptan los pesos logarítmicos de Richert (usados previamente en intervalos cúbicos) al contexto de intervalos cuadrados.
   • La función de peso $w(a)$ se define para elementos $a$ coprimos con los primos menores que $z$, penalizando aquellos que tienen factores primos en un rango intermedio $[z, y)$.
   • La función ponderada $W(A, P, z)$ permite acotar desde abajo la cantidad de números con $\Omega(a) \le k$.

3. Modificaciones Clave para Intervalos Cuadrados:

   • La escala natural del conjunto $A(N)$ es $\sqrt{N}$ (en lugar de $N^{2/3}$ en el caso cúbico).
   • Esto requiere ajustar los parámetros de optimización: el parámetro $\alpha$ en la descomposición de la criba, el corte $w$, y la definición de los niveles de criba $D_p$.
   • Se establecen cotas explícitas para las sumas de recíprocos de primos y productos de Mertens para controlar los términos de error.

4. Optimización de Parámetros:

   • Se eligen parámetros específicos: $k=3$, $k_1=8$, $k_2=3.17$, y un parámetro de ajuste $\alpha = 0.06$.
   • Se verifica la condición de "factor cuadrado" ($Q_0(c, \delta)$) para controlar la pérdida al pasar del conjunto $A$ a $A'$ (excluyendo cuadrados de primos).
   • Mediante cálculos numéricos explícitos, se demuestra que la cota inferior para $r_3(A)$ (números con $\le 3$ factores) es estrictamente positiva.

4. Resultados Técnicos Clave

• Mejora de la cota: Se reduce el número máximo de factores primos de 4 a 3 para todos los $n \ge 1$.
• Límite de verificación: Se extiende la verificación computacional hasta $n^2 \le 10^{31}$, reduciendo el rango que debe cubrirse analíticamente.
• Adaptación de Pesos: Se demuestra que los pesos de Richert, aunque más complejos de implementar en intervalos cortos que los de Kuhn, ofrecen un rendimiento numérico superior, permitiendo alcanzar la cota $k=3$.
• Cotas Explícitas: El artículo proporciona todas las constantes explícitas necesarias (valores de $\epsilon$, constantes de Mertens, cotas de brechas de primos) para que la prueba sea totalmente verificable sin depender de resultados no explícitos.

5. Significado y Limitaciones

• Significado: Este trabajo representa un avance significativo en la comprensión de la distribución de casi primos en intervalos cortos rígidos. Cierra la brecha entre los resultados asintóticos (para $n$ muy grande) y los resultados explícitos para todo $n$.
• Limitaciones y Futuro: El autor señala que reducir la cota a $k=2$ (casi primos con 2 factores) parece estar fuera del alcance del marco actual.
  • El argumento actual depende de estimaciones de tamiz lineal ponderado que solo utilizan información de Tipo I.
  • Para lograr $k=2$, probablemente se requeriría información de Tipo II (más compleja) y una verificación computacional mucho más extensa para $n$ pequeños, junto con un control más delicado de los términos de error.

En conclusión, el artículo establece un nuevo estándar explícito para la existencia de casi primos en intervalos entre cuadrados consecutivos, combinando ingeniería computacional de alto rendimiento con una teoría de cribas explícita y refinada.