Certified Minimal-Prime Branch Closures for Odd Perfect Numbers

Resumo Técnico: Fechamentos de Ramos de Primos Mínimos Certificados para Números Perfeitos Ímpares

Enunciado do Problema
O artigo aborda o clássico problema em aberto da existência de números perfeitos ímpares (NPI), definidos como inteiros ímpares positivos $N$ que satisfazem $\sigma(N) = 2N$, onde $\sigma$ é a função soma-dos-divisores. Embora uma vasta literatura tenha estabelecido limites inferiores globais para $N$ e para o número de seus fatores primos, uma prova completa de inexistência permanece elusiva. Este trabalho foca especificamente no problema do "ramo do primo mínimo": determinar se um NPI pode existir onde o menor divisor primo, $q = \min\{p : p \mid N\}$, assume valores pequenos específicos.

O artigo isola e tenta fechar os ramos para $q \in \{5, 7, 11, 13, 17\}$. Ele esclarece explicitamente que estas são asserções de primo mínimo; um fechamento do ramo $q=5$, por exemplo, prova que nenhum NPI existe com 5 como seu menor divisor primo (implicando que $3 \nmid N$), mas não descarta NPIs divisíveis por 5 se 3 também for um fator (o que pertenceria ao ramo $q=3$). Os casos $q=3$ e $q \ge 19$ são explicitamente excluídos do escopo deste trabalho.

Metodologia
A abordagem utiliza uma estratégia de certificação de "ramificação e limite" (branch-and-bound) impulsionada por valuações $q$-ádicas locais e restrições de evasão de primos menores. A metodologia procede através das seguintes camadas lógicas:

1. Equilíbrio de Valuacão: Com base na forma de Euler $N = \pi^\alpha M^2$ (onde $\pi$ é o primo de Euler), o artigo estabelece uma equação de equilíbrio de valuação $q$-ádica. Para um primo mínimo $q$, a valuação $v_q(\sigma(N)) = v_q(2N) = v_q(N)$ deve ser suprida inteiramente pelas somas de divisores de outras potências de primos em $N$, visto que $\sigma(q^{e_q}) \equiv 1 \pmod q$.
2. Evasão de Primos Menores: Como $q$ é o primo mínimo, nenhum primo $\ell < q$ pode dividir $N$. Consequentemente, para cada potência de primo $p^e$ na fatoração de $N$, a condição $v_\ell(\sigma(p^e)) = 0$ deve ser mantida. Isso cria um filtro de "evasão" estrito que elimina muitas configurações potenciais.
3. Testemunhas de Entrada e Divisões de Cobertura: A prova identifica "testemunhas de entrada" — primos $p \neq q$ no suporte de $N$ que contribuem para o equilíbrio de valuação $q$-ádica. O artigo classifica essas testemunhas pelo seu ordem módulo $q$ (denotado $d = \text{ord}_q(p)$). Isso leva a uma "divisão de cobertura" finita do ramo em subcasos (ex: testemunhas não-Euler de ordens específicas, ou o primo de Euler atuando como testemunha).
4. Cofatores Reduzidos e Primos Forçados: Para cada subcaso, o artigo analisa o "cofator reduzido" (o fator ciclotômico $\Phi_d(p)$ dividido pela potência necessária de $q$).
   • Se o cofator possui um divisor primo $\ell < q$, o ramo é refutado pela evasão de primos menores.
   • Se o cofator possui um divisor primo $r > q$, este primo é "forçado" para o suporte de $N$. Isso impõe uma nova restrição sobre a estrutura de $N$.
   • Se o cofator é um caso "puro" (ex: uma potência de 2), ele é tratado via filtros diofantinos específicos ou certificados de cauda.
5. Controle de Cauda e Certificados: Para ramos que não são imediatamente refutados ou forçados para uma contradição, o artigo emprega "envelopes de cauda". Estes utilizam a desigualdade $H(K_{env}) \left(\frac{B}{B-1}\right)^M < 2$, onde $H$ é o produto dos fatores primos $(p/(p-1))$, $B$ é um limite inferior para os primos restantes, e $M$ é um limite superior sobre a contagem de primos restantes. Se este produto for menor que 2, o ramo não pode conter um NPI.

A prova é híbrida: o arcabouço lógico (lémas, divisões de cobertura e teoremas) é escrito à mão, enquanto a verificação exaustiva dos ramos finitos é realizada por certificados legíveis por máquina (arquivos JSONL e verificadores Python).

Principais Contribuições

• Certificação Formal de Cinco Ramos: O artigo fornece um fechamento completo e verificável por máquina dos ramos de primo mínimo para $q = 5, 7, 11, 13, 17$.
• Mecanismo Uniforme: Estabelece um mecanismo uniforme de "forçado-ou-puro" para lidar com esses ramos, reduzindo problemas aritméticos complexos a divisões de cobertura finitas e desigualdades de controle de cauda.
• Liberação de Certificados Reproduzíveis: O autor libera um conjunto congelado de certificados ($C_{small}$) contendo os dados específicos (fatorações, registros de ordem, contagens de cauda) necessários para verificar os fechamentos. Isso inclui um "contrato de verificador" que separa a lógica matemática escrita à mão dos dados aritméticos verificados por máquina.
• Modelo de Auditoria Detalhado: O ramo $q=5$ é apresentado como um modelo de auditoria detalhado, demonstrando a derivação completa desde a divisão inicial até os certificados de controle de cauda finais, servindo como um modelo para os outros ramos.

Resultados
O teorema principal (Teorema 1.1 e Teorema 14.1) afirma que, em relação à liberação de certificado $C_{small}$, não existe um número perfeito ímpar $N$ tal que $\min\{p : p \mid N\} \in \{5, 7, 11, 13, 17\}$.

Especificamente:

• $q=5$: O ramo é dividido em três filhos ($Q5E2, Q5E1, Q5N$) baseados no resíduo do primo de Euler e na existência de testemunhas não-Euler. Todos os sub-ramos são fechados via verificações de janela finita, certificados de cauda paramétricos e exclusões de famílias puras.
• $q=7, 11, 13, 17$: Estes ramos são fechados verificando que suas respectivas folhas de "fronteira estrita" (os nós terminais das divisões de cobertura) são ou refutadas pela evasão de primos menores, forçadas para um estado de controle de cauda, ou eliminadas por telas diofantinas puras (ex: resolvendo equações como $\Phi_5(x) = 11^c$).

Significância e Escopo
O artigo reivindica significância como um "teorema de certificado" em vez de um novo limite inferior global para $N$. Ele não prova que números perfeitos ímpares não existem; ele apenas prova que eles não podem existir com 5, 7, 11, 13 ou 17 como seu menor divisor primo.

O autor enfatiza a modularidade do resultado:

• Isola o problema do primo mínimo do problema total do NPI.
• Fornece um arcabouço reprodutível e auditável por máquina para verificar obstruções aritméticas específicas.
• Deixa o ramo $q=3$ (que carece de restrições de evasão de primos menores) e o ramo $q \ge 19$ (que requer tratamento separado de ordens de entrada) como problemas abertos para trabalhos futuros.

O trabalho baseia-se em filtros globais existentes (ex: limites inferiores de Nielsen sobre o número de fatores primos) apenas como verificações de consistência, enquanto os fechamentos reais são impulsionados pela entrada ciclotômica rotulada por valuação e pelos certificados finitos fornecidos na liberação.