🔢 mathematics

Prime Quadruplets and Jump Conditions on Arithmetic Functions

Este artigo avança na caracterização de inteiros compostos que satisfazem condições de salto simultâneas para as funções de totiente de Euler e de soma dos divisores, ao provar que a conjectura se mantém para semiprimos livres de quadrados e potências de um único primo, não encontrar contraexemplos até $10^{12}$ e estabelecer que uma prova da conjectura implicaria a infinitude de quadupletos de primos.

Autores originais: Himaghna Roy Choudhury, Shicheng Wei

Publicado 2026-06-10

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Himaghna Roy Choudhury, Shicheng Wei

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

Imagine que você é um detetive no mundo dos números, procurando por um padrão muito específico e raro. Este artigo trata da resolução de um mistério envolvendo dois famosos "contadores de números" chamados Função de Euler ( $\phi$ ) e Função de Soma dos Divisores ( $\sigma$ ).

Pense nessas funções como duas maneiras diferentes de pesar um número:

$\phi(n)$ conta quantos números menores são "amigáveis" com $n$ (eles não compartilham nenhum fator comum).
$\sigma(n)$ soma todos os números que dividem $n$ exatamente.

O Mistério: A Condição do "Salto"

Os autores estão investigando um fenômeno estranho. Normalmente, se você pegar um número $n$ e saltar 12 unidades à frente para obter $n+12$ , os "pesos" ( $\phi$ e $\sigma$ ) mudam de maneiras imprevisíveis.

No entanto, os autores estão procurando por números compostos (números que não são primos) onde ambas as funções saltam exatamente 12 ao mesmo tempo.

$\phi(n+12) = \phi(n) + 12$
$\sigma(n+12) = \sigma(n) + 12$

É como encontrar uma escadaria onde, não importa em qual degrau você esteja, dar 12 passos à frente sempre adiciona exatamente 12 unidades de altura a duas fitas métricas diferentes simultaneamente.

A Grande Suposição: A Teoria do "Quadrupleto de Primos"

Os matemáticos R. Stephan e Jud McCranie previram anteriormente que toda vez que esse "salto duplo" acontece, o número $n$ é secretamente construído a partir de uma família especial de quatro números primos chamada Quadrupleto de Primos.

Um Quadrupleto de Primos é um grupo coeso de quatro primos que se parecem com isto:
$(p, p+2, p+6, p+8)$
(Exemplo: 5, 7, 11, 13)

A suposição (Conjectura 1.1) diz: Se você encontrar um número $n$ que satisfaça o salto duplo, ele deve ser o produto do primeiro e do último número de tal família.
Em termos matemáticos: $n = p \times (p+8)$ .

O Que Este Artigo Prova

Os autores não provaram que a suposição é verdadeira para todos os números do universo (isso ainda é um mistério em aberto), mas eles fizeram duas coisas muito importantes para restringir o campo:

1. O Caso de "Dois Primos" foi Resolvido
Eles provaram que, se o número $n$ for um "semiprimo" (um número feito de exatamente dois números primos diferentes, como $65 = 5 \times 13$ ), a suposição é 100% correta.

A Lógica: Eles mostraram que, se $n$ e $n+12$ forem ambos feitos de apenas dois primos, a matemática força esses primos a se organizarem no padrão específico de um "Quadrupleto de Primos". Não há outra maneira de os números se alinharem.

2. O Caso de "Potência de um Único Primo" é Descartado
Eles também provaram que a solução não pode ser um número feito de apenas um primo repetido muitas vezes (como $2^5$ ou $3^4$ ).

A Lógica: Eles testaram os números e mostraram que, se $n$ for uma potência de um único primo, o "salto" de 12 é matematicamente impossível. As funções simplesmente não se alinharão dessa maneira.

A Busca Computacional

Como não podiam provar para todos os números complexos possíveis, eles chamaram o artilharia pesada: um computador.

Eles escreveram um programa para verificar cada número composto até 1 trilhão ( $10^{12}$ ).
O Resultado: Eles encontraram 166 números que se encaixam na regra do "salto duplo".
A Descoberta: Cada um desses 166 números era exatamente o que a suposição previa: um produto de um quadrupleto de primos ( $p \times (p+8)$ ).
Eles também confirmaram que todos esses números deixam um resto de 65 quando divididos por 72 (corrigindo um erro de digitação em um banco de dados antigo).

A Conexão com o Cenário Geral

O artigo termina com um "e se" fascinante. Se esta suposição for verdadeira (que todos os resultados vêm de quadrupletos de primos) E se existirem infinitos resultados para este problema do "salto duplo", então isso provaria um problema massivo e não resolvido na matemática: que existem infinitos Quadrupletos de Primos.

Atualmente, não sabemos se existem infinitas dessas famílias de primos. Este artigo mostra que resolver o mistério do "salto" é essencialmente o mesmo que resolver o mistério das "famílias infinitas de primos".

Resumo

O Enigma: Encontrar números onde duas funções matemáticas específicas aumentam exatamente 12 quando você adiciona 12 ao número.
A Teoria: Esses números são sempre construídos a partir de um padrão de quatro primos.
A Prova: Os autores provaram que esta teoria é verdadeira para números feitos de dois primos e provaram que é impossível para números feitos de um único primo repetido.
A Evidência: Um computador verificou até 1 trilhão de números e encontrou zero exceções.
O Que Está em Jogo: Provar isso completamente confirmaria que existem infinitas dessas famílias especiais de primos.

Resumo Técnico: Quadrupletos Primos e Condições de Salto em Funções Aritméticas

Enunciado do Problema
Este artigo investiga as condições simultâneas de salto para duas funções aritméticas fundamentais: a função totiente de Euler $\phi(n)$ e a função soma dos divisores $\sigma(n)$ . Especificamente, os autores analisam inteiros compostos $n$ que satisfazem o sistema de equações:
$\phi(n+12) = \phi(n) + 12 \quad \text{e} \quad \sigma(n+12) = \sigma(n) + 12$
O estudo é motivado pela Conjectura (33) do preprint de R. Stephan de 2004 no arXiv, que postulava uma restrição modular para tais soluções, e por uma conjectura subsequente de Jud McCranie sugerindo que todos esses soluções compostas são geradas por quadrupletos primos.

Metodologia
Os autores empregam uma combinação de provas de teoria analítica dos números e verificação computacional de larga escala:

Provas Analíticas: O artigo deriva rigorosamente condições necessárias para as soluções explorando as propriedades multiplicativas de $\phi$ $ϕ$ e $\sigma$ $σ$ . Os autores decompõem o problema em casos estruturais específicos para o inteiro $n$ $n$ :
- Semiprimos Livres de Quadrados: Analisando $n = pq$ onde $p$ e $q$ são primos distintos.
- Potências de Primos: Analisando $n = p^k$ para $k \geq 2$ .
- Compostos Gerais: Utilizando análise de discriminante e argumentos de paridade para restringir os fatores primos de $n$ e $n+12$ .
Busca Computacional: Uma busca completa foi realizada para $n$ no intervalo $[2, 10^{12}]$ . Para lidar com a escala, os autores utilizaram um algoritmo de crivo segmentado (evitando as limitações de memória de um crivo plano) implementado em C++ com paralelização OpenMP. O algoritmo rastreou valores contínuos de $\phi$ e $\sigma$ para blocos de inteiros, utilizando primos pequenos pré-computados até $\sqrt{N} \approx 10^6$ .

Principais Contribuições e Resultados

Caracterização de Soluções Semiprimas: O principal resultado teórico (Teorema 2.2) prova que, se $n$ e $n+12$ forem ambos semiprimos livres de quadrados, as condições de salto ocorrem se, e somente se, $n = p(p+8)$ , onde $(p, p+2, p+6, p+8)$ é um quadrupleto primo com $p \geq 5$ . A prova demonstra que as condições $\phi(n+12) - \phi(n) = 12$ e $\sigma(n+12) - \sigma(n) = 12$ forçam os fatores primos de $n$ e $n+12$ a formarem a progressão aritmética específica de um quadrupleto primo.
Não Existência de Soluções de Potência de Primo: O Teorema 3.1 estabelece que nenhuma solução existe onde $n$ seja uma potência de um único primo ( $n=p^k, k \geq 2$ ). A prova utiliza limites de $\phi(N)$ em relação a $N$ para mostrar contradições tanto para bases de primos pares ( $p=2$ ) quanto ímpares ( $p \geq 3$ ).
Correção de Resíduo Modular: O artigo corrige um erro tipográfico na conjectura original de Stephan referente ao resíduo módulo 72. Enquanto o texto original sugeria $n \equiv 64 \pmod{72}$ , os autores provam (Corolário 2.4) que, se a caracterização do quadrupleto primo for válida, então $n \equiv 65 \pmod{72}$ . Isso é derivado usando o Teorema Chinês dos Restos baseado nas propriedades dos quadrupletos primos.
Verificação Computacional: A busca até $10^{12}$ $1 0^{12}$ rendeu exatamente 166 soluções. Cada solução encontrada satisfazia o seguinte:
- $n \equiv 65 \pmod{72}$ .
- $n$ é um semiprimo livre de quadrados da forma $p(p+8)$ .
- Os fatores correspondem a um quadrupleto primo.
- Nenhum contraexemplo à Conjectura 1.1 foi encontrado neste intervalo.

Significância e Alegações
O artigo não pretende provar a Conjectura 1.1 em sua totalidade (ou seja, para todos os inteiros compostos), mas sim fornece uma caracterização completa para a subclasse específica e significativa de semiprimos livres de quadrados e prova a não existência de soluções para potências de primos.

Os autores destacam uma profunda implicação teórica: se a Conjectura 1.1 for provada verdadeira e for possível demonstrar que existem infinitas soluções para estas condições de salto, isso implicaria logicamente a existência de infinitos quadrupletos primos. Isso constituiria uma prova da conjectura de $k$ -tuplas de primos de Hardy–Littlewood para $k=4$ , um grande problema em aberto na teoria dos números.

O trabalho faz a ponte entre o comportamento das funções aritméticas sobre intervalos deslocados e a distribuição de tuplas de primos, oferecendo forte evidência empírica e parcial teórica de que o "salto" de 12 tanto em $\phi$ quanto em $\sigma$ está intrinsecamente ligado à estrutura dos quadrupletos primos.