🔢 mathematics

Lines in the prime number graph

Este artículo investiga las propiedades geométricas del gráfico de los números primos estableciendo nuevas cotas superiores e inferiores para el número mínimo de segmentos de línea necesarios para cubrir sus puntos y el número máximo de puntos colineales, incluyendo resultados condicionados a la Hipótesis de Riemann que refinan una conjetura reciente de Sloane.

Autores originales: Carl Pomerance, Patrick Solé

Publicado 2026-05-22

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Carl Pomerance, Patrick Solé

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

Imagina que tienes un gigantesco diagrama de dispersión en un papel milimetrado. En el eje horizontal (el eje x), anotas los números naturales: 1, 2, 3, 4, y así sucesivamente. En el eje vertical (el eje y), anotas los números primos correspondientes: 2, 3, 5, 7, 11, etc.

Así, el primer punto es (1, 2), el segundo es (2, 3), el tercero es (3, 5), y así sucesivamente. Esta colección de puntos es lo que los matemáticos llaman la Gráfica de Números Primos.

Este artículo, escrito por Carl Pomerance y Patrick Solé, plantea dos preguntas divertidas sobre estos puntos:

La pregunta de la "Cuerda": Si quisieras conectar todos los primeros $n$ puntos utilizando el menor número posible de líneas rectas (como dibujar con una regla), ¿cuántas líneas necesitarías? Llaman a este número $L(n)$ .
La pregunta de la "Línea Abarrotada": ¿Cuál es el número máximo de puntos que puedes encontrar que estén perfectamente alineados en una sola línea recta? Llaman a este número $B(n)$ .

El panorama general: ¿Por qué es esto difícil?

Los números primos son un poco como una multitud dispersa en una gran fiesta. Se alejan cada vez más a medida que los números se hacen más grandes. Debido a que están tan dispersos, es imposible dibujar una sola línea que pase por cada número primo para siempre. Eventualmente, la línea se perderá el siguiente punto.

Los autores están tratando de descubrir las reglas de este juego para números muy grandes.

Pregunta 1: ¿Cuántas líneas necesitamos? ( $L(n)$ )

Imagina que estás tratando de cubrir un sendero de piedras de paso (los puntos primos) con tablas de madera (líneas rectas). Quieres usar la menor cantidad de tablas posible.

La antigua conjetura: Un matemático llamado Sloane conjeturó que el número de tablas necesarias crece muy lentamente, aproximadamente como el número de piedras dividido por el logaritmo natural de ese número.
El nuevo resultado: Los autores no probaron exactamente que la conjetura de Sloane fuera correcta, pero se acercaron mucho. Probaron que el número de líneas necesarias es aproximadamente proporcional al número de puntos, dividido por el logaritmo del número, pero con un pequeño factor extra de "imprecisión" (matemáticamente escrito como $n \log \log n / \log n$ ).
Los primos "incómodos": El artículo también habla de primos "incómodos". Estos son los puntos específicos donde tienes que añadir una nueva línea porque las líneas actuales no pueden alcanzarlos. Los autores prueban que estos momentos incómodos ocurren, pero se vuelven lo suficientemente raros que si sumaras los "recíprocos" (1 dividido por el número) de todos estos primos incómodos, la suma total sería un número finito.

Pregunta 2: ¿Cuántos puntos pueden caber en una línea? ( $B(n)$ )

Ahora, imagina que estás buscando la línea "más caliente" en tu gráfica: aquella que toca la mayor cantidad de puntos.

La cota inferior (La garantía mínima): Los autores probaron que no importa cuán lejos llegues, siempre puedes encontrar una línea que toque al menos cierta cantidad de puntos. Específicamente, para un gran número de puntos $n$ , puedes garantizar encontrar una línea que toque al menos una pequeña fracción del logaritmo de $n$ puntos. Piénsalo como encontrar una "racha de suerte" de puntos que casualmente se alinean.
La cota superior (El límite): También probaron que no puedes encontrar demasiados puntos en una sola línea. El número de puntos en la mejor línea está limitado por lo "ondulada" que es la distribución de los números primos.
El giro de la "Hipótesis de Riemann": Hay un famoso misterio matemático sin resolver llamado la Hipótesis de Riemann (HR). Es como un manual de reglas "superpreciso" sobre cómo se distribuyen los números primos.
- Si asumimos que la HR es cierta: Los autores pueden dar límites mucho más ajustados. Muestran que bajo esta suposición, la "línea abarrotada" no puede tener más de aproximadamente $n^{3/4}$ puntos (aproximadamente la raíz cuadrada de la raíz cuadrada de $n$ , multiplicada por algunos factores).
- La consecuencia: Si la línea no puede estar demasiado abarrotada, significa que necesitas más líneas para cubrirlo todo. Por lo tanto, bajo la HR, el número mínimo de líneas ( $L(n)$ ) debe ser al menos de cierto tamaño (aproximadamente $n^{1/4}$ ).

Las herramientas que utilizaron

Para resolver esto, los autores no solo adivinaron; utilizaron una poderosa herramienta matemática llamada el Teorema de los Números Primos con Residuo.

Piensa en el Teorema de los Números Primos como un mapa muy bueno que predice dónde deberían estar los números primos. La parte del "residuo" es el margen de error de ese mapa. Los autores utilizaron un mapa muy preciso (con un margen de error diminuto) para dibujar "paralelogramos" (cajas inclinadas) alrededor de los puntos. Demostraron que si dibujas líneas con pendientes específicas (basadas en una secuencia matemática llamada secuencia de Farey), estas líneas atraparán muchos de los puntos dentro de esas cajas.

La conclusión

El artículo concluye diciendo:

Tenemos un buen límite superior sobre cuántas líneas necesitamos para cubrir los primos.
Tenemos un buen límite inferior sobre cuántos primos pueden sentarse en una línea.
Sin embargo, todavía hay una "brecha" entre la mejor respuesta posible y la respuesta que podemos probar actualmente. Los autores admiten que sus estimaciones aún no son perfectas y que todavía queda trabajo por hacer para cerrar la brecha entre el "número mínimo de líneas necesarias" y el "número máximo de puntos en una línea".

En resumen, han construido una cerca mejor alrededor del problema, pero aún no han encontrado la forma exacta del jardín que hay dentro.

Resumen Técnico: Líneas en el Gráfico de Números Primos

Enunciado del Problema
El artículo investiga las propiedades geométricas del "gráfico de números primos", definido como el conjunto de puntos $(n, p_n)$ en el plano, donde $p_n$ es el $n$ -ésimo número primo. El enfoque central recae en dos funciones específicas:

$L(n)$ : El número mínimo de segmentos de recta necesarios para cubrir los primeros $n$ puntos primos.
$B(n)$ : El número máximo de puntos primos $(k, p_k)$ con $k \le n$ que pueden ser cubiertos por una única recta.

El estudio se motiva por observaciones numéricas recientes y una conjetura de Sloane, quien propuso que $L(n) = O(n / \log n)$ . Los autores buscan proporcionar cotas asintóticas rigurosas para estas funciones utilizando la teoría analítica de números, específicamente el Teorema de los Números Primos (TNP) con términos de resto.

Metodología
Los autores emplean una combinación de argumentos combinatorios y resultados profundos de la teoría analítica de números.

Sucesiones de Farey y Diseción de Intervalos: Para acotar $L(n)$ , los autores utilizan la sucesión de Farey de nivel $k$ . Disecan el intervalo $(e^k, e^{k+1}]$ basándose en términos consecutivos $a/b$ y $a'/b'$ de la sucesión de Farey. Esto les permite construir intervalos específicos $I = (u, u']$ donde la pendiente de las rectas que aproximan la distribución de primos está controlada.
Teorema de los Números Primos con Resto: Las demostraciones dependen en gran medida del término de error en la aproximación de la función contadora de primos $\pi(x)$ mediante el integral logarítmico $\text{li}(x)$ . Los autores utilizan la cota incondicional $|\pi(x) - \text{li}(x)| \le x \exp(-c(\log x)^{3/5}(\log \log x)^{-1/5})$ y la cota condicional bajo la Hipótesis de Riemann (HR), $|\pi(x) - \text{li}(x)| \le x^{1/2} \log x$ .
Restricciones Geométricas: Para acotar $B(n)$ , los autores analizan la intersección de una recta con la región definida por $|y - \text{li}(x)| \le R(x)$ , donde $R(x)$ representa la cota de error. Aprovechando la concavidad de $\text{li}(x) \pm R(x)$ , determinan el número máximo de veces que una recta puede intersectar esta región, limitando así el número de puntos primos que una única recta puede cubrir.
Relación Combinatoria: Se utiliza una desigualdad fundamental $L(n)B(n) \ge n$ para derivar cotas inferiores para una función basándose en cotas superiores para la otra.

Contribuciones y Resultados Clave

Cota Superior para $L(n)$ :
Los autores demuestran que $L(n) = O\left(\frac{n \log \log n}{\log n}\right)$ . Este resultado se acerca a la conjetura de Sloane de $O(n / \log n)$ , pero incluye un factor adicional de $\log \log n$ . La demostración implica sumar el número de rectas de retículo necesarias para cubrir puntos primos inversos $(p_n, n)$ a través de intervalos definidos por diseciones de Farey.
Cota Inferior para $B(n)$ :
Se establece que $B(n) \ge c \log n$ para alguna constante $c > 0$ y todo $n$ suficientemente grande. Esto se deriva analizando el número promedio de puntos por recta en el intervalo específico $(e^k, e^{k+1/k}]$ utilizado en la demostración de $L(n)$ .
Resultados Condicionales bajo la Hipótesis de Riemann (HR):
Asumiendo la HR, los autores proporcionan cotas más ajustadas:
- $B(n) = O(n^{3/4} (\log n)^{1/2})$ .
- $L(n) \ge c' n^{1/4} (\log n)^{-1/2}$ para alguna constante $c' > 0$ .
  Estos resultados destacan la brecha entre la cota inferior incondicional para $L(n)$ y la cota superior condicional para $B(n)$ , y viceversa.
Primos Incómodos:
El artículo define un "primo incómodo" $p_n$ como aquel para el cual $L(n) > L(n-1)$ . Los autores demuestran que el número de tales primos hasta $n$ es exactamente $L(n)$ . En consecuencia, la suma recíproca de los primos incómodos es finita, ya que la función de conteo es $O(\pi(x) \log \log x / \log x)$ .

Significado y Limitaciones
El artículo proporciona las primeras cotas asintóticas rigurosas para el número de cobertura $L(n)$ y el número de colinealidad $B(n)$ en el gráfico de números primos. Los autores declaran explícitamente que sus estimaciones "parecen estar lejos de ser óptimas", señalando una brecha significativa entre las cotas derivadas y los valores conjeturados (por ejemplo, entre el Teorema 3 y el Corolario 2 para $L(n)$ , y entre el Teorema 5 y el Corolario 2 para $B(n)$ ).

La obra sirve para formalizar observaciones numéricas encontradas en literatura previa (como [5] y [6]) y conecta la distribución geométrica de los primos con los términos de error del Teorema de los Números Primos. Los autores concluyen identificando la reducción de las brechas entre sus cotas superiores e inferiores como un problema abierto desafiante para futuras investigaciones.

El panorama general: ¿Por qué es esto difícil?

Pregunta 1: ¿Cuántas líneas necesitamos? (L(n)L(n)L(n))

Pregunta 2: ¿Cuántos puntos pueden caber en una línea? (B(n)B(n)B(n))

Las herramientas que utilizaron

La conclusión

Resumen Técnico: Líneas en el Gráfico de Números Primos

Más como este

Pregunta 1: ¿Cuántas líneas necesitamos? ( $L(n)$ )

Pregunta 2: ¿Cuántos puntos pueden caber en una línea? ( $B(n)$ )