🔢 mathematics

Port Fillings for Primary Pseudoperfect Numbers

Este artigo investiga a infinitude dos números pseudoperfeitos primários ao introduzir uma estrutura de "porto" baseada em equações residuais locais e derivadas aritméticas para distinguir entre preenchimentos herdados de soluções menores e os primitivos, abordando assim o Problema #313 de Erdős além dos limites computacionais previamente conhecidos.

Autores originais: Han Wang

Publicado 2026-05-22

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Han Wang

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 arquiteto mestre tentando construir uma torre muito específica e mágica. As regras para construir essa torre são estranhas: você deve empilhar blocos (que são números primos) de tal forma que, se você somar os "recíprocos" de todos os blocos, mais uma fração minúscula para a torre inteira, o total seja exatamente 1.

No mundo da matemática, essas torres especiais são chamadas de Números Pseudoperfeitos Primários. Por muito tempo, os matemáticos sabiam como construir torres com até 8 blocos, mas ficaram presos. Eles não sabiam se poderiam construir uma torre com 9 blocos, ou 10, ou se havia um suprimento infinito dessas torres mágicas.

Este artigo de Han Wang é como um novo conjunto de plantas e uma nova ferramenta de construção que finalmente nos ajuda a construir as torres de 9 e 10 blocos, e sugere uma maneira de continuar construindo para sempre.

Veja como o artigo funciona, dividido em conceitos simples:

1. A Nova Ferramenta: "Portos" e "Preenchimentos"

Pense no problema matemático como um jogo de encanamento.

O Porto: Imagine um tubo com uma forma específica e uma exigência de pressão. Em termos matemáticos, isso é um "Porto", definido por dois números. Ele representa uma equação específica que precisa ser satisfeita.
O Preenchimento: Para fazer a água fluir perfeitamente (para fazer a equação igual a 1), você precisa inserir um plugue específico feito de números primos. Esse plugue é chamado de "Preenchimento".

O autor introduz uma regra inteligente chamada Lei de Composição. Pense nela como uma regra de "herança de Lego". Se você tem uma estrutura de Lego pequena e válida (uma torre pequena) e quer construir uma maior, você não precisa começar do zero. Você pode anexar um novo "preenchimento" ao seu "porto" existente. Este artigo separa preenchimentos que são apenas cópias de torres antigas (herdados) de preenchimentos "portos-primitivos", que são estruturas novas e únicas que não poderiam ter sido construídas apenas adicionando um único bloco a uma torre menor.

2. A Grande Descoberta: O "Porto-Chave"

O autor focou em um Porto específico e complicado (vamos chamá-lo de Porto-Chave). Este porto estava esperando por um preenchimento.

Descoberta 1: O autor encontrou um preenchimento "porto-primitivo" feito de apenas dois números primos ( $149 \times 3109$ ). Quando você anexa isso à base, você obtém uma torre conhecida com 7 blocos.
Descoberta 2 (A Grande): O autor encontrou um preenchimento "porto-primitivo" diferente, muito maior, feito de quatro números primos ( $157 \times 1979 \times 10093 \times 16879$ ).

Quando você anexa esse preenchimento de quatro blocos ao Porto-Chave, você obtém uma torre nova e massiva com 9 fatores primos. Este é o número $N_9$ . Antes deste artigo, ninguém sabia se uma torre de 9 blocos existia. Agora temos uma.

3. O "Passo Mágico": De 9 para 10

Uma vez que a torre de 9 blocos ( $N_9$ ) foi construída, o autor verificou o número logo após ela ( $N_9 + 1$ ).

Em uma virada de sorte, esse número acabou sendo um número primo (um número que não pode ser dividido por nada além de 1 e ele mesmo).
Devido a uma regra matemática (Corolário 5.2), se você tem uma torre válida e o número logo após ela é primo, você pode simplesmente multiplicá-los juntos para obter uma nova torre válida.
Isso criou a torre de 10 blocos ( $N_{10}$ ).

O artigo fornece um "certificado de Pocklington", que é como um cartão de identificação rigoroso e inquebrável provando que a torre de 10 blocos e o número primo após a torre de 9 blocos são reais e válidos.

4. O Cenário "E Se": Construindo Para Sempre

O artigo também pergunta: Podemos continuar construindo essas torres para sempre?
O autor não prova que isso é definitivamente possível (isso seria um problema matemático enorme e não resolvido). Em vez disso, ele diz: "Se aceitarmos uma suposição específica e razoável sobre como os números primos são distribuídos, então sim, podemos construir infinitos."

Eles propõem uma hipótese de "Cinco-Fissuração". Imagine que você tem um único bloco primo no topo da sua torre. A hipótese sugere que, sob certas condições, você poderia teoricamente substituir aquele único bloco por cinco novos blocos maiores que ainda satisfazem as regras mágicas. Se você pudesse fazer isso repetidamente, teria um suprimento infinito de torres.

O autor prova que a matemática permite que essa fissuração aconteça localmente (em pequenos passos), mas o passo final depende de uma suposição famosa e não provada na matemática (a conjectura de Bateman–Horn) adaptada para cinco números de uma vez.

5. O Truque dos "Últimos Dois Blocos"

Finalmente, o artigo fornece um "critério discriminante". Pense nisso como uma lista de verificação de controle de qualidade para os últimos dois blocos que você precisa adicionar a uma torre.
Em vez de chutar e verificar milhões de números, o autor criou uma fórmula. Se você inserir seus números nesta fórmula, ela diz instantaneamente se os últimos dois blocos funcionarão. Ela transforma um problema massivo de busca em uma verificação simples: "Este número específico é um quadrado perfeito?" Se sim, você pode ter uma torre; se não, você não tem.

Resumo

O Objetivo: Construir torres de números primos que somam 1.
O Método: Um novo sistema de "Porto e Preenchimento" que organiza como essas torres são construídas.
O Resultado: Encontrou uma nova torre de 9 blocos e uma nova torre de 10 blocos.
O Futuro: Provou que se uma certa suposição matemática for verdadeira, podemos construir um número infinito dessas torres dividindo um bloco em cinco.
A Ferramenta: Uma nova fórmula para verificar rapidamente se os últimos dois blocos de uma torre se encaixam.

Este artigo não apenas encontra novos números; ele constrói uma nova estrutura (o sistema de "Porto") que torna a descoberta dessas estruturas matemáticas raras muito mais sistemática e menos como um chute aleatório.

Resumo Técnico: Preenchimentos de Portos para Números Pseudo-perfeitos Primários

Enunciado do Problema
O artigo aborda o problema dos números pseudo-perfeitos primários (PPNs), definidos como inteiros sem fator quadrado $n$ que satisfazem a equação:
$\frac{1}{n} + \sum_{p|n} \frac{1}{p} = 1$
Equivalentemente, usando a derivada aritmética $\partial(n)$ , estes são soluções sem fator quadrado para $\partial(n) = n - 1$ . A existência de infinitos tais números é um problema em aberto, ligado ao Problema #313 de Erdős. Embora Butske, Jaje e Mayernik tenham estabelecido a unicidade dos PPNs para até 8 fatores primos via computação, o artigo busca estender esta busca para camadas superiores e investigar a infinitude do conjunto.

Metodologia: O Formalismo de Portos
O autor introduz um "formalismo local" para analisar as equações residuais que governam os PPNs.

Portos e Preenchimentos: Um "porto" é definido como um par $(R, c)$ de inteiros positivos. Um inteiro sem fator quadrado $B$ "preenche" o porto se satisfizer a equação de defeito:
$\Delta_{R,c}(B) := cB - R\partial(B) = 1$
Isto é equivalente à forma recíproca $\sum_{q|B} \frac{1}{q} + \frac{1}{RB} = \frac{c}{R}$ .
Lei de Composição: O artigo estabelece uma lei de composição $\Delta_{R,c}(AB) = \Delta_{RA, \Delta_{R,c}(A)}(B)$ para $A, B$ coprimos. Esta lei distingue entre preenchimentos "herdados" (derivados de PPNs menores) e preenchimentos "primitivos de porto" (novas soluções não redutíveis a preenchimentos menores do mesmo porto).
Herança: O quadro generaliza o mecanismo de herança conhecido onde, se $K$ é um PPN e $K+1$ é primo, então $K(K+1)$ é um PPN. Isto é enquadrado como um caso específico de preenchimento de porto onde o porto é $(K, 1)$ .

Principais Contribuições e Resultados

Descoberta de Novos PPNs ( $N_9$ e $N_{10}$ ):
- O autor isola um "porto-chave" específico $H = (113322, 797)$ , derivado do prefixo $2 \cdot 3 \cdot 11 \cdot 17 \cdot 101$ .
- Dois preenchimentos primitivos de porto distintos de $H$ $H$ são identificados:
  - $B_2 = 149 \cdot 3109$ (2 primos), gerando o PPN conhecido $52495396602$.
  - $B_4 = 157 \cdot 1979 \cdot 10093 \cdot 16879$ (4 primos).
- O segundo preenchimento gera um novo PPN com nove fatores primos:
  $N_9 = 113322 \cdot B_4 = 5998279018951962402$
- A primalidade de $N_9 + 1$ é verificada usando um certificado de Pocklington. Como $N_9$ é um PPN e $N_9+1$ é primo, o produto $N_{10} = N_9(N_9+1)$ é um PPN com dez fatores primos:
  $N_{10} = 35979351189199316534587473905773572006$
Refutação de uma Conjectura:
- O artigo aborda a conjectura de Sondow–MacMillan, que previa a existência de exatamente um PPN com nove fatores primos e afirmava que não existiam mais PPNs.
- A construção de $N_{10}$ (um PPN com 10 fatores primos) refuta a cláusula que afirma "não existem mais números pseudo-perfeitos primários".
- O artigo nota que $N_9$ satisfaz o resíduo previsto módulo 288 ( $N_9 \equiv 258 \pmod{288}$ ), apoiando a previsão de unicidade para o caso de 9 fatores, mas a existência de $N_{10}$ refuta a alegação de finitude.
Critérios Algorítmicos para Busca:
- Discriminante dos Últimos Dois Primos: Um critério é derivado para determinar se um porto pode ser completado por exatamente dois primos. Isto reduz o problema a verificar se um polinômio quadrático específico $D(t)$ assume valores quadrados dentro de um intervalo finito.
- Peneira Modular de Quadrados: O artigo emprega peneiramento modular para excluir prefixos que não podem levar a preenchimentos válidos, fornecendo um método computacional para podar o espaço de busca para PPNs de camadas superiores.
Critério Condicional de Infinitude:
- O artigo propõe uma prova condicional para a infinitude dos PPNs baseada numa "hipótese de pontos primos do tipo cinco-partição de Hardy–Littlewood–Bateman–Horn".
- A hipótese postula que, para um "porto terminal" (onde um único primo $p$ preenche $(R, c)$ ), a hipersuperfície definida por $cx_1x_2x_3x_4x_5 - R\sum \prod_{j \neq i} x_j = 1$ contém pontos onde todas as coordenadas são primos distintos.
- Sob esta hipótese, um primo terminal pode ser recursivamente substituído por cinco primos maiores, gerando uma sequência infinita de PPNs. O autor declara explicitamente que isto não é uma consequência da conjectura clássica de Bateman–Horn de uma variável.

Significado e Escopo
O principal significado do artigo reside no desenvolvimento do "formalismo de portos", que unifica o estudo dos PPNs, problemas do tipo Znám e derivadas aritméticas num único quadro local.

Resultados Incondicionais: A descoberta de $N_9$ e $N_{10}$ , a verificação das suas propriedades, o certificado de Pocklington para $N_9+1$ e o critério discriminante para os dois últimos primos são apresentados como fatos matemáticos incondicionais.
Resultados Condicionais: O teorema de infinitude é estritamente condicional à Hipótese 19.2. O autor é modesto quanto a isto, notando que nenhum mecanismo incondicional para PPNs infinitos é atualmente conhecido.
Limites Computacionais: O artigo inclui dados exploratórios para a "camada H6" (preenchimentos de seis primos do porto $H$ ), mas esclarece que estes são notas computacionais e não fazem parte das provas para $N_9$ ou $N_{10}$ . A busca por um PPN de 12 primos (via $N_{10}+1$ ) mostra-se falha, pois $N_{10}+1$ é composto.

Em resumo, o artigo expande a paisagem conhecida dos números pseudo-perfeitos primários, fornece um quadro estrutural rigoroso para a sua geração e oferece um caminho condicional para provar a sua infinitude, enquanto delimita cuidadosamente entre teoremas provados e hipóteses conjecturais.