🔢 mathematics

The Primes are $2$-Accessible

Este artigo prova que o conjunto dos inteiros positivos com entre 1 e $n$ fatores primos (contados com multiplicidade) tem um grau de acessibilidade de $2^n$ , confirmando, assim, que o conjunto dos números primos é $2$-acessível e respondendo a uma questão formulada por Landman e Robertson.

Autores originais: Oscar Quester

Publicado 2026-06-02

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Oscar Quester

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

O Panorama Geral: Um Jogo de Cores e Distâncias

Imagine que você tem uma linha infinita de pedras de degrau, numeradas 1, 2, 3 e assim por diante, estendendo-se para sempre. Você está jogando um jogo onde pinta cada pedra com uma de várias cores (digamos, Vermelho, Azul ou Verde).

A pergunta que os matemáticos fazem é: Não importa como você pinte as pedras, você sempre conseguirá encontrar um caminho longo e reto de pedras que sejam todas da mesma cor, onde a distância entre cada passo siga uma regra específica?

Neste artigo, a "regra" para a distância é baseada em Números Primos (2, 3, 5, 7, 11...).

Se você der 2 passos, isso é um primo.
Se você der 3 passos, isso é um primo.
Se você der 6 passos, isso não é um primo (é 2 vezes 3), mas é feito de primos.

O artigo responde a uma pergunta específica: Se você usar apenas 2 cores, você sempre conseguirá encontrar um caminho longo e da mesma cor onde os passos sejam números primos?

A resposta é SIM. O autor prova que o conjunto dos números primos é "2-acessível". Isso significa que, mesmo que um pintor malicioso tente esconder caminhos longos de mesma cor usando apenas duas cores, ele falhará. Você sempre poderá encontrar uma longa cadeia de pedras da mesma cor onde os intervalos entre elas são números primos.

Conceitos Chave Explicados

1. A Pontuação de "Acessibilidade"

Pense na "acessibilidade" como uma classificação de dificuldade para um jogo.

1-acessível: Se você tem 1 cor, você obviamente consegue encontrar um caminho longo (tudo é da mesma cor).
2-acessível: Se você tem 2 cores, você ainda assim consegue encontrar um caminho longo.
3-acessível: Se você tem 3 cores, você consegue encontrar um caminho longo.

O artigo prova que, para os Números Primos, a classificação de dificuldade é exatamente 2.

Se você usar 2 cores, você sempre encontrará o caminho.
Se você usar 3 cores, o pintor consegue organizar as cores de modo que nenhum caminho longo exista. (O artigo menciona que isso já era conhecido, mas a nova descoberta é que 2 cores não são suficientes para impedir o caminho).

2. O "Super-Conjunto" de Números

O artigo não olha apenas para primos individuais (2, 3, 5). Ele olha para grupos de números formados pela multiplicação de primos.

Grupo 1: Apenas os primos (2, 3, 5...).
Grupo 2: Primos e produtos de dois primos (2, 3, 5, 4, 6, 9, 10...).
Grupo n: Números feitos de até $n$ fatores primos.

O autor prova uma regra geral:

Se você olhar para números feitos de até $n$ fatores primos, a "pontuação de acessibilidade" é $2n$ .
Portanto, para apenas primos ( $n=1$ ), a pontuação é $2 \times 1 = 2$ .
Para números feitos de até 2 primos ( $n=2$ ), a pontuação é $2 \times 2 = 4$ .

Como a Prova Funciona (A Analogia)

O autor usa uma estratégia inteligente para provar que você não consegue esconder o caminho quando usa 2 cores. Imagine que você está procurando um padrão em uma multidão caótica.

Passo 1: A Estratégia do "Intervalo"
O autor observa os "intervalos" entre as pedras da mesma cor.

Cenário A (Os Intervalos são Selvagens): Se os intervalos entre as pedras de mesma cor forem enormes e imprevisíveis, o autor mostra que esse caos na verdade força o aparecimento de uma linha longa e reta. É como se pessoas em uma multidão estivessem tão afastadas que acidentalmente se alinham perfeitamente.
Cenário B (Os Intervalos são Apertados): Se os intervalos forem pequenos e regulares, as pedras da mesma cor estão agrupadas. O autor então utiliza uma ferramenta matemática poderosa (chamada de "teorema de recorrência de densidade") que diz que, se um grupo de números estiver compactado o suficiente, ele deve conter um padrão específico e repetitivo.

Passo 2: O Truque da "Grade"
No cenário de "intervalo apertado", o autor encontra uma grade bidimensional de números da mesma cor. A partir dessa grade, eles podem extrair uma linha longa e reta onde os passos são exatamente os números primos (ou múltiplos deles) que estavam procurando.

O Truque "Impossível" das 3 Cores

Para provar que 2 é a pontuação máxima (e que 3 cores quebrariam o padrão), o autor constrói um esquema de pintura específico e complexo.
Imagine um padrão de cores repetitivo que é desenhado especificamente para quebrar qualquer cadeia longa de passos primos.

O autor cria um padrão onde a "distância" entre pedras de mesma cor é sempre um múltiplo de um número grande.
No entanto, os números primos (e seus pequenos múltiplos) são "pequenos demais" ou "estranhos demais" para se encaixarem nesse padrão rígido sem quebrar a regra de cores.
Isso prova que, com 3 cores, um pintor astuto pode impedir que você encontre um caminho longo.

Resumo dos Resultados

A Principal Descoberta: O conjunto dos números primos é 2-acessível. Não importa como você pinte os inteiros com 2 cores, você sempre encontrará sequências arbitrariamente longas da mesma cor onde os passos são números primos.
A Regra Geral: Se você expandir o jogo para incluir números feitos de até $n$ fatores primos, o jogo torna-se mais difícil. Você precisa de $2n$ cores para conseguir esconder o caminho. Com menos de $2n$ cores, o caminho sempre será encontrado.
O Método: A prova combina um argumento de "pigeonhole" (se você tem muitos itens e poucas caixas, algumas caixas devem estar superlotadas) com teoremas avançados sobre como os números se repetem em grupos densos.

O Que Isso Significa (e o Que Não Significa)

O que significa: Resolve um enigma matemático específico que Landman e Robertson propuseram anos atrás. Confirma que os números primos possuem uma propriedade "Ramsey" muito forte — eles são tão fundamentais que forçam a ordem a aparecer, mesmo em um mundo de 2 cores caótico.
O que não significa: O artigo não discute o uso disso para criptografia, segurança de computadores ou física. É um resultado de matemática pura sobre a estrutura dos números e dos padrões.

Em poucas palavras: Os primos são obstinados. Você pode tentar pintar a linha numérica com duas cores para escondê-los, mas os primos estão tão profundamente tecidos na estrutura dos números que eles sempre revelarão um longo caminho de mesma cor.

Resumo Técnico: "Os Números Primos são 2-Acessíveis"

Enunciado do Problema
Este artigo aborda uma questão na teoria de Ramsey relativa à "acessibilidade" de conjuntos de inteiros. Especificamente, investiga o conjunto dos números primos, $P = \{2, 3, 5, \dots\}$ . Um conjunto $D \subseteq \mathbb{N}$ é definido como $r$ -acessível se, para toda $r$ -coloração dos números naturais, existirem sequências monocromáticas arbitrariamente longas $x_1, \dots, x_k$ tais que as diferenças $x_{i+1} - x_i$ pertençam a $D$ . O grau de acessibilidade, denotado por $doa(D)$, é o maior inteiro $r$ para o qual $D$ é $r$ -acessível.

O trabalho anterior de Landman e Robertson estabeleceu que os primos não são 3-acessíveis (via uma 3-coloração periódica) e que os primos deslocados $P+c$ são 2-acessíveis para todo $c$ ímpar; no entanto, a 2-acessibilidade dos primos não deslocados $P$ permanecia uma questão em aberto (Questão 7 em [6] e Questão de Pesquisa 10.2 em [7]). O artigo também busca determinar o grau de acessibilidade para o conjunto $P(n)$ , definido como o conjunto de inteiros positivos com entre 1 e $n$ fatores primos (contados com multiplicidade).

Metodologia
O autor emprega uma combinação de argumentos combinatórios e resultados profundos da teoria ergódica e da teoria aditiva dos números.

Recorrência de Densidade e Teoremas do tipo Szemerédi: O cerne da prova baseia-se em um teorema de Frantzikinakis, Host e Kra [4], que estabelece que os primos deslocados $P-1$ e $P+1$ são conjuntos de recorrência de densidade. Isso significa que, para qualquer conjunto $A$ com densidade superior de Banach positiva, o conjunto de tempos de recorrência intersecta tanto $P-1$ quanto $P+1$ .
Argumento de Densidade Iterativo: Um lema fundamental (Lema 1) é derivado para mostrar que, se $E_1, \dots, E_n$ são conjuntos de recorrência de densidade, pode-se construir uma grade multidimensional dentro de um conjunto de densidade positiva usando elementos desses conjuntos.
Análise de Casos sobre Lacunas: A prova do teorema principal (Teorema 1) analisa uma $N$ $N$ -coloração arbitrária de $\mathbb{N}$ $N$ examinando o conjunto $X$ $X$ de pontos de partida de pares monocromáticos com distâncias em $\{1, \dots, N-1\}$ ${1, \dots, N - 1}$ .
- Caso 1 (Lacunas Não Limitadas): Se $X$ possui lacunas não limitadas, um argumento do princípio da casa dos pombos força a existência de progressões aritméticas monocromáticas longas com diferença comum $N$ . Como $N$ pode ser fatorado em um primo e um coeficiente $\le N-1$ , essas progressões formam sequências de diferenças (diffsequences) válidas.
- Caso 2 (Lacunas Limitadas): Se $X$ possui lacunas limitadas, ele possui densidade superior de Banach positiva. O autor aplica a recorrência de densidade de $P-1$ e $P+1$ para encontrar uma estrutura de grade bidimensional dentro de um subconjunto monocromático. A partir desta grade, uma longa diffsequence monocromática com diferenças no conjunto alvo é extraída.
Construção de Contraexemplos: Para estabelecer limites superiores de acessibilidade, o artigo constrói colorações periódicas específicas. Para o conjunto $D_N = \bigcup_{t=1}^{N-1} tP$ , uma $(N+1)$ -coloração é definida usando aritmética modular e um conjunto $B$ cuidadosamente construído para evitar diffsequences monocromáticas arbitrariamente longas.

Principais Contribuições e Resultados

Teorema 1: Para qualquer inteiro $N \ge 2$ $N \geq 2$ , o grau de acessibilidade do conjunto $D_N = \bigcup_{t=1}^{N-1} tP$ $D_{N} = ⋃_{t = 1}^{N - 1} tP$ é exatamente $N$ $N$ .
- Corolário: Ao definir $N=2$ , o conjunto $1 \cdot P = P$ é 2-acessível. Isso responde definitivamente à questão aberta sobre a 2-acessibilidade dos primos.
Teorema 2: Para todo $n \ge 1$ $n \geq 1$ , o grau de acessibilidade do conjunto $P(n)$ $P (n)$ (inteiros com $1 \le k \le n$ $1 \leq k \leq n$ fatores primos) é exatamente $2n$ $2 n$ .
- Isso generaliza o resultado para os primos ( $n=1 \implies doa(P)=2$ ).
Prova de Não-Acessibilidade: O artigo fornece construções explícitas mostrando que $P(n)$ não é $(2n+1)$ -acessível, utilizando uma generalização da coloração usada por Landman e Robertson para mostrar que $P$ não é 3-acessível.

Significância
O artigo resolve um problema específico proposto por Landman e Robertson referente à 2-acessibilidade dos números primos. Ao provar que $doa(P) = 2$, confirma que, embora os primos não possam suportar sequências monocromáticas arbitrariamente longas sob uma 3-coloração, eles o fazem sob qualquer 2-coloração.

Além disso, o trabalho estende este entendimento para a classe mais ampla de conjuntos $P(n)$ , estabelecendo uma fórmula precisa para seu grau de acessibilidade ( $2n$ ). A metodologia demonstra a utilidade da aplicação de teoremas do tipo Szemerédi polinomiais para primos deslocados (especificamente as propriedades de recorrência de $P-1$ e $P+1$ ) para resolver problemas clássicos de Ramsey sobre a estrutura dos primos. O artigo conclui propondo duas questões em aberto: se $P+c$ é 2-acessível para $c$ par, e para quais conjuntos $D$ a relação $doa(D(n)) = (doa(D))^n$ é válida.