Folkman's theorem and the primes

Resumo Técnico: Folkman's Theorem and the Primes

1. O Problema

O artigo aborda a questão fundamental da teoria dos números: a infinitude dos números primos. Embora a prova clássica de Euclides seja bem conhecida, existe uma linha de pesquisa recente e vibrante que busca novas demonstrações deste fato utilizando resultados da Teoria de Ramsey (teoremas sobre a existência de estruturas ordenadas em colorações de conjuntos). O objetivo do autor é contribuir para esta literatura fornecendo duas novas provas da infinitude dos primos baseadas especificamente no Teorema de Folkman, um resultado combinatório forte que generaliza o Teorema de Schur e é uma versão finita do Teorema de Hindman.

2. Metodologia

O autor utiliza uma abordagem puramente combinatória, evitando o uso de resultados profundos da teoria dos números (como o Teorema de Fermat sobre somas de quadrados ou o Último Teorema de Fermat, usados em outras provas recentes). A metodologia baseia-se nos seguintes pilares:

• Teorema de Folkman: O teorema afirma que, para qualquer coloração $c$ dos números naturais $\mathbb{N}$ com um número finito de cores e para qualquer $M \in \mathbb{N}$, existe um conjunto $X \subseteq \mathbb{N}$ com $|X| = M$ tal que o conjunto de todas as somas finitas de elementos distintos de $X$, denotado por $FS(X)$, é monocromático (todos os elementos têm a mesma cor).
• Funções de Ordem $p$-ádica: Para cada número inteiro não nulo $n$ e primo $p$, define-se $\nu_p(n)$ como o expoente de $p$ na fatoração prima de $n$ (a ordem $p$-ádica) e $\xi_p(n)$ como o cofator de $n$ removido de todos os fatores $p$.
• Argumento por Contradição: Ambas as provas assumem que o conjunto de primos $P$ é finito (com cardinalidade $N$) e constroem uma coloração específica baseada nas propriedades de divisibilidade dos números. A aplicação do Teorema de Folkman gera um conjunto $X$ com propriedades de soma que levam a uma contradição lógica.

3. Contribuições Chave e Provas

O artigo apresenta duas provas distintas, ambas confirmando uma conjectura de Elsholtz de que o Teorema de Folkman poderia ser usado para provar a infinitude dos primos, mas com uma vantagem: não requerem resultados numéricos complexos, apenas princípios combinatórios básicos (como o Princípio da Casa dos Pombos).

Prova 1: Coloração Baseada em Paridade e Resíduos

• Construção da Coloração: Assume-se que $|P| = N$. Define-se uma coloração $c(n)$ que codifica:
  1. A paridade de $\nu_2(n)$ (módulo 2).
  2. O valor de $\xi_2(n) \pmod 4$.
  3. Os valores de $\xi_p(n) \pmod p$ para todos os outros primos $p \in P \setminus \{2\}$.
• Aplicação do Teorema: Aplica-se Folkman com $M = N + 1$, obtendo um conjunto $X$ monocromático.
• Lógica da Contradição:
  • Mostra-se que elementos distintos em $X$ devem ter ordens $p$-ádicas distintas para todo $p$. Se dois elementos tivessem a mesma ordem, a soma deles alteraria a ordem $p$-ádica (devido às propriedades de $\xi_p$), violando a monocromaticidade.
  • Constrói-se uma sequência de elementos de $X$ com as menores ordens possíveis para cada primo.
  • Como $|X| > N$, existe um elemento $a$ não selecionado. A soma de todos os elementos selecionados mais $a$ resulta em um número onde a ordem $p$-ádica é determinada apenas pela soma dos selecionados (pois $a$ tem ordem maior), levando à conclusão de que $a=0$, o que é impossível.

Prova 2: Coloração Simples e "Poda" do Conjunto

• Construção da Coloração: Define-se uma coloração mais simples: $c(n) = (\nu_p(n) \pmod 2 \mid p \in P)$. O número de cores é $2^N$.
• Tamanho do Conjunto: Aplica-se Folkman com um $M$ muito grande: $M = (N+1) \prod_{p \in P} p^4$.
• Lógica da Contradição:
  • Utiliza-se o Princípio da Casa dos Pombos para provar que, para cada primo $p$ e cada ordem $\alpha$, não podem existir mais de $p^4$ elementos em $X$ com $\nu_p(a) = \alpha$. Caso contrário, seria possível encontrar uma sub-soma que altera a paridade de $\nu_p$, violando a monocromaticidade.
  • "Poda-se" o conjunto $X$, removendo elementos redundantes (mantendo apenas um para cada par $(p, \alpha)$), resultando em um subconjunto $Z$ com tamanho suficiente ($|Z| \ge N+1$) onde todos os elementos têm ordens $p$-ádicas distintas entre si.
  • Repete-se o argumento de soma da Prova 1 para chegar à contradição $a=0$.

4. Resultados

• Confirmação da Conjectura: O trabalho valida a conjectura de Elsholtz de que o Teorema de Folkman é suficiente para provar a infinitude dos primos.
• Simplicidade Numérica: As provas demonstram que é possível derivar a infinitude dos primos usando apenas combinatória e propriedades elementares de divisibilidade, sem recorrer a teoremas profundos de teoria dos números (como o Teorema de Fermat ou Roth).
• Complexidade Comparativa: O autor argumenta que, embora o Teorema de Folkman seja mais forte (e, portanto, "mais complexo" em termos de enunciado) que o Teorema de Schur ou de van der Waerden, a prova de Folkman (via filtros ultra ou argumentos elementares) pode ser considerada menos complexa do que a prova de van der Waerden. Assim, estas novas provas podem ser vistas como mais simples que as de Alpoge e Granville, embora mais complexas que a prova clássica de Euclides.

5. Significado

O artigo é significativo por expandir o corpus de conexões entre a Teoria de Ramsey e a Teoria dos Números. Ele ilustra como resultados puramente combinatórios sobre a estrutura de somas em conjuntos coloridos podem ser poderosos o suficiente para resolver problemas clássicos de infinitude. Além disso, ao evitar o uso de ferramentas analíticas ou algébricas pesadas, as provas oferecem uma perspectiva combinatória pura sobre a distribuição dos números primos, reforçando a ideia de que a infinitude dos primos é uma propriedade estrutural profunda dos inteiros, acessível através de diferentes lentes matemáticas.