🔢 mathematics

The Primes are $2$-Accessible

Este artículo demuestra que el conjunto de los enteros positivos con entre 1 y $n$ factores primos (contados con multiplicidad) tiene un grado de accesibilidad de $2^n$ , confirmando así que el conjunto de los números primos es $2$-accesible y respondiendo a una pregunta planteada por Landman y Robertson.

Autores originales: Oscar Quester

Publicado 2026-06-02

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Oscar Quester

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: Un juego de color y distancia

Imagina que tienes una línea infinita de piedras de paso, numeradas 1, 2, 3, etcétera, que se extiende para siempre. Estás jugando un juego en el que pintas cada piedra con uno de varios colores (por ejemplo, Rojo, Azul o Verde).

La pregunta que se hacen los matemáticos es: No importa cómo pintes las piedras, ¿puedes encontrar siempre un camino largo y recto de piedras que sean del mismo color, donde la distancia entre cada paso siga una regla específica?

En este artículo, la "regla" para la distancia se basa en los Números Primos (2, 3, 5, 7, 11...).

Si das un paso de 2 piedras, eso es un primo.
Si das un paso de 3 piedras, eso es un primo.
Si das un paso de 6 piedras, no es un primo (es 2 por 3), pero está hecho de primos.

El artículo responde a una pregunta específica: Si usas solo 2 colores, ¿puedes encontrar siempre un camino largo del mismo color donde los pasos sean números primos?

La respuesta es SÍ. El autor demuestra que el conjunto de los números primos es "2-accesible". Esto significa que incluso si un pintor travieso intenta ocultar largos caminos del mismo color usando solo dos colores, fracasará. Siempre podrás encontrar una larga cadena de piedras del mismo color donde los huecos entre ellas sean números primos.

Conceptos clave explicados

1. La puntuación de "Accesibilidad"

Piensa en la "accesibilidad" como una calificación de dificultad para un juego.

1-accesible: Si tienes 1 color, obviamente puedes encontrar un camino largo (todo es del mismo color).
2-accesible: Si tienes 2 colores, todavía puedes encontrar un camino largo.
3-accesible: Si tienes 3 colores, puedes encontrar un camino largo.

El artículo demuestra que, para los Números Primos, la calificación de dificultad es exactamente 2.

Si usas 2 colores, siempre encontrarás el camino.
Si usas 3 colores, el pintor puede organizar los colores de modo que no exista ningún camino largo. (El artículo menciona que esto ya se sabía, pero el nuevo descubrimiento es que 2 colores no son suficientes para detener el camino).

2. El "Super-conjunto" de números

El artículo no solo mira los primos individuales (2, 3, 5). Mira grupos de números formados al multiplicar primos entre sí.

Grupo 1: Solo los primos (2, 3, 5...).
Grupo 2: Primos y productos de dos primos (2, 3, 5, 4, 6, 9, 10...).
Grupo n: Números hechos de hasta $n$ factores primos.

El autor demuestra una regla general:

Si miras números hechos de hasta $n$ factores primos, la "puntuación de accesibilidad" es $2n$ .
Así, para solo los primos ( $n=1$ ), la puntuación es $2 \times 1 = 2$ .
Para números hechos de hasta 2 primos ( $n=2$ ), la puntuación es $2 \times 2 = 4$ .

Cómo funciona la demostración (La analogía)

El autor utiliza una estrategia ingeniosa para demostrar que no puedes ocultar el camino cuando usas 2 colores. Imagina que estás buscando un patrón en una multitud caótica.

Paso 1: La estrategia de los "Huecos"
El autor observa los "huecos" entre las piedras del mismo color.

Escenario A (Los huecos son salvajes): Si los huecos entre las piedras del mismo color son enormes e impredecibles, el autor demuestra que este caos en realidad fuerza la aparición de una línea larga y recta. Es como si la gente en una multitud estuviera tan separada que accidentalmente se alinean perfectamente.
Escenario B (Los huecos son estrechos): Si los huecos son pequeños y regulares, las piedras del mismo color están muy juntas. El autor utiliza entonces una poderosa herramienta matemática (llamada "teorema de recurrencia de densidad") que dice que si un grupo de números está lo suficientemente concentrado, debe contener un patrón específico y repetitivo.

Paso 2: El truco de la "Cuadrícula"
En el escenario de "huecos estrechos", el autor encuentra una cuadrícula bidimensional de números del mismo color. A partir de esta cuadrícula, pueden extraer una línea larga y recta donde los pasos son exactamente los números primos (o múltiplos de ellos) que estaban buscando.

El truco "imposible" de los 3 colores

Para demostrar que 2 es la puntuación máxima (y que 3 colores romperían el patrón), el autor construye un esquema de pintura específico y truculento.
Imagina un patrón de colores repetitivo que está diseñado específicamente para romper cualquier cadena larga de pasos primos.

El autor crea un patrón donde la "distancia" entre las piedras del mismo color es siempre un múltiplo de un número grande.
Sin embargo, los números primos (y sus pequeños múltiplos) son "demasiado pequeños" o "demasiado extraños" para encajar en este patrón rígido sin romper la regla del color.
Esto demuestra que con 3 colores, un pintor astuto puede detenerte para que encuentres un camino largo.

Resumen de resultados

El principal descubrimiento: El conjunto de los números primos es 2-accesible. No importa cómo pintes los números enteros con 2 colores, siempre encontrarás secuencias arbitrariamente largas del mismo color donde los pasos son números primos.
La regla general: Si expandes el juego para incluir números hechos de hasta $n$ factores primos, el juego se vuelve más difícil. Necesitas $2n$ colores para lograr ocultar el camino con éxito. Con menos de $2n$ colores, el camino siempre será encontrado.
El método: La demostración combina un argumento de "paloma" (si tienes demasiados objetos y muy pocas cajas, algunas cajas deben estar abarrotadas) con teoremas avanzados sobre cómo los números se repiten en grupos densos.

Qué significa esto (y qué no significa)

Lo que significa: Resuelve un rompecabezas matemático específico que Landman y Robertson plantearon hace años. Confirma que los números primos tienen una propiedad de Ramsey muy fuerte: son tan fundamentales que obligan a que aparezca el orden, incluso en un mundo de 2 colores que sea caótico.
Lo que no significa: El artículo no discute el uso de esto para criptografía, seguridad informática o física. Es un resultado de matemática pura sobre la estructura de los números y los patrones.

En pocas palabras: Los primos son tercos. Puedes intentar pintar la línea numérica con dos colores para ocultarlos, pero los primos están tan profundamente tejidos en la estructura de los números que siempre revelarán un largo camino del mismo color.

Resumen Técnico: "Los primos son 2-accesibles"

Planteamiento del Problema
Este artículo aborda una pregunta en la teoría de Ramsey relativa a la "accesibilidad" de conjuntos de enteros. Específicamente, investiga el conjunto de los números primos, $P = \{2, 3, 5, \dots\}$ . Se define que un conjunto $D \subseteq \mathbb{N}$ es $r$ -accesible si, para cada $r$ -coloreado de los números naturales, existen secuencias monocromáticas arbitrariamente largas $x_1, \dots, x_k$ tales que las diferencias $x_{i+1} - x_i$ pertenecen a $D$ . El grado de accesibilidad, denotado como $doa(D)$, es el mayor entero $r$ para el cual $D$ es $r$ -accesible.

El trabajo previo de Landman y Robertson estableció que los primos no son 3-accesibles (mediante un 3-coloreado periódico) y que los primos desplazados $P+c$ son 2-accesibles para cada $c$ impar; sin embargo, la 2-accesibilidad de los primos sin desplazar $P$ seguía siendo una pregunta abierta (Pregunta 7 en [6] y Pregunta de Investigación 10.2 en [7]). Este artículo también busca determinar el grado de accesibilidad para el conjunto $P(n)$ , definido como el conjunto de enteros positivos con entre 1 y $n$ factores primos (contados con multiplicidad).

Metodología
El autor emplea una combinación de argumentos combinatorios y resultados profundos de la teoría ergódica y la teoría aditiva de números.

Recurrencia de Densidad y Teoremas de tipo Szemerédi: El núcleo de la prueba se basa en un teorema de Frantzikinakis, Host y Kra [4], el cual establece que los primos desplazados $P-1$ y $P+1$ son conjuntos de recurrencia de densidad. Esto significa que para cualquier conjunto $A$ con densidad de Banach superior positiva, el conjunto de tiempos de recurrencia intersecta tanto a $P-1$ como a $P+1$ .
Argumento de Densidad Iterativa: Se deriva un lema clave (Lema 1) para mostrar que, si $E_1, \dots, E_n$ son conjuntos de recurrencia de densidad, uno puede construir una cuadrícula multidimensional dentro de un conjunto de densidad positiva utilizando elementos de estos conjuntos.
Análisis de Casos sobre Brechas: La prueba del teorema principal (Teorema 1) analiza un $N$ $N$ -coloreado arbitrario de $\mathbb{N}$ $N$ examinando el conjunto $X$ $X$ de puntos de partida de pares monocromáticos con distancias en $\{1, \dots, N-1\}$ ${1, \dots, N - 1}$ .
- Caso 1 (Brechas no acotadas): Si $X$ tiene brechas no acotadas, un argumento del principio del palomar fuerza la existencia de progresiones aritméticas monocromáticas largas con diferencia común $N$ . Dado que $N$ puede factorizarse en un primo y un coeficiente $\le N-1$ , estas progresiones forman secuencias de diferencias (diffsequences) válidas.
- Caso 2 (Brechas acotadas): Si $X$ tiene brechas acotadas, este posee una densidad de Banach superior positiva. El autor aplica la recurrencia de densidad de $P-1$ y $P+1$ para encontrar una estructura de cuadrícula bidimensional dentro de un subconjunto monocromático. A partir de esta cuadrícula, se extrae una larga secuencia de diferencias monocromática con diferencias en el conjunto objetivo.
Construcción de Contraejemplos: Para establecer límites superiores de accesibilidad, el artículo construye coloreados periódicos específicos. Para el conjunto $D_N = \bigcup_{t=1}^{N-1} tP$ , se define un $(N+1)$ -coloreado utilizando aritmética modular y un conjunto $B$ cuidadosamente construido para prevenir secuencias de diferencias monocromáticas arbitrariamente largas.

Contribuciones Clave y Resultados

Teorema 1: Para cualquier entero $N \ge 2$ $N \geq 2$ , el grado de accesibilidad del conjunto $D_N = \bigcup_{t=1}^{N-1} tP$ $D_{N} = ⋃_{t = 1}^{N - 1} tP$ es exactamente $N$ $N$ .
- Corolario: Al establecer $N=2$ , el conjunto $1 \cdot P = P$ es 2-accesible. Esto responde definitivamente a la pregunta abierta sobre la 2-accesibilidad de los primos.
Teorema 2: Para todo $n \ge 1$ $n \geq 1$ , el grado de accesibilidad del conjunto $P(n)$ $P (n)$ (enteros con $1 \le k \le n$ $1 \leq k \leq n$ factores primos) es exactamente $2n$ $2 n$ .
- Esto generaliza el resultado para los primos ( $n=1 \implies doa(P)=2$ ).
Prueba de No Accesibilidad: El artículo proporciona construcciones explícitas que muestran que $P(n)$ no es $(2n+1)$ -accesible, utilizando una generalización del coloreado usado por Landman y Robertson para mostrar que $P$ no es 3-accesible.

Significancia
El artículo resuelve un problema abierto específico planteado por Landman y Robertson respecto a la 2-accesibilidad de los números primos. Al demostrar que $doa(P) = 2$, confirma que, si bien los primos no pueden soportar secuencias monocromáticas arbitrariamente largas bajo un 3-coloreado, sí lo hacen bajo cualquier 2-coloreado.

Además, el trabajo extiende este entendimiento a la clase más amplia de conjuntos $P(n)$ , estableciendo una fórmula precisa para su grado de accesibilidad ( $2n$ ). La metodología demuestra la utilidad de aplicar teoremas de tipo Szemerédi polinómicos para primos desplazados (específicamente las propiedades de recurrencia de $P-1$ y $P+1$ ) para resolver problemas clásicos de Ramsey sobre la estructura de los primos. El artículo concluye planteando dos preguntas abiertas: si $P+c$ es 2-accesible para $c$ par, y para qué conjuntos $D$ se cumple la relación $doa(D(n)) = (doa(D))^n$ .