On odd perfect numbers with exactly one even exponent greater than 2

Resumo Técnico: Sobre Números Perfeitos Ímpares com Exatamente Um Expoente Par Maior que 2

Enunciado do Problema
Este artigo investiga a existência e as propriedades de números perfeitos ímpares (NPI) "restritos". Um NPI é um inteiro ímpar $N$ que satisfaz $\sigma(N) = 2N$, onde $\sigma$ é a função soma dos divisores. Euler estabeleceu que qualquer NPI deve assumir a forma $N = p^e m^2$, onde $p$ é um primo (o primo especial) com $p \equiv e \equiv 1 \pmod 4$, e $p \nmid m$.

McDaniel demonstrou previamente que $m$ não pode ser livre de quadrados, implicando que pelo menos um expoente par na fatoração de primos de $N$ deve ser pelo menos 4. Os autores definem um NPI como restrito se ele possuir exatamente um desses expoentes maiores que 2. Seja $n^q$ o componente único onde $n \neq p$ e $q \ge 4$; $n$ é denominado o "primo notável" e $q$ o "expoente notável". O objetivo principal é estabelecer um limite inferior para $q$ sob a suposição de que um NPI restrito exista.

Metodologia
Os autores empregam uma combinação de lemas de teoria dos números, peneiramento computacional e análise de abundância para excluir configurações específicas de fatores primos.

1. Lemmas Estruturais:

   • Restrições Modulares: O artigo utiliza propriedades da ordem multiplicativa ($\text{ord}_s(n)$) e resíduos quadráticos para restringir os valores dos primos. Por exemplo, o Lema 6 prova que o primo especial $p$ deve satisfer $p \equiv 1 \pmod 3$.
   • Regras de Divisibilidade: Os Lemas 4 e 5 estabelecem condições sob as quais um primo $s$ divide $\sigma(n^q)$ ou $\sigma(t^v)$ com base na paridade das ordens e na relação entre primos distintos.
   • Exclusão de Soluções: O Lema 3 (derivado de Bennett e Levin) afirma que $z^2 + z + 1 = r^t$ não possui solução para primos $z, r$ e $t > 1$. Isso é usado para limitar o número de primos $s$ tais que $\sigma(s^2)$ é uma potência de um único primo.

2. Análise de Casos sobre o Primo 3:
   A prova do teorema principal é dividida em três casos exaustivos em relação ao expoente do primo 3 em $N$:

   • Caso 1: 3 não é um fator. Os autores mostram que, se $3 \nmid N$, o índice de abundância $\sigma(N)/N$ não consegue atingir 2. Isso é alcançado limitando a contribuição de componentes "ordinários" (primos com expoente 2) e componentes "esporádicos" usando uma abordagem de árvore de fatores e verificação computacional de primos pequenos.
   • Caso 2: 3 é ordinário ($3^2 \parallel N$). Usando uma árvore de fatores derivada do componente $3^2$, os autores excluem sistematicamente potenciais primos notáveis ($n$) de um conjunto $S = \{7, 13, 19, 31, 61, 97, 127, 331\}$. Para cada candidato $n$, eles demonstram que a configuração resultante de fatores primos necessários leva a uma abundância estritamente menor que 2 ou cria uma contradição (por exemplo, exigindo mais de duas cópias de 3).
   • Caso 3: 3 é notável ($3^q \parallel N$). Este é o único caso viável restante. Aqui, o foco muda para derivar um limite inferior para $q$.

3. Peneiramento Computacional:
   Para lidar com o caso em que 3 é notável, os autores utilizam um programa C++/GMP (loopless.cpp) para peneirar primos ordinários. O algoritmo mantém conjuntos de primos que não podem ser ordinários ($M_1$) e primos congruentes a $1 \pmod 3$ que não podem dividir $N$ ($M_2$). O programa itera através de primos para calcular a contribuição máxima de abundância dos componentes ordinários.

Principais Resultados

• Teorema 1: Se $N$ é um número perfeito ímpar restrito, então o primo notável $n$ deve ser 3, e o expoente notável $q$ satisfaz $q \ge 23.000.000.000$.
• Melhoria nos Limites: Este resultado melhora significativamente o limite anteriormente conhecido de $q \ge 16$, que foi derivado de uma combinação de restrições modulares anteriores ($q \not\equiv 2 \pmod 3$, $q \neq 4, 6, 10, 12$).
• Redução para $n=3$: O artigo prova que, se um NPI restrito existe, o primo notável deve ser 3. Todos os outros candidatos para o primo notável são eliminados via contradições de abundância.
• Derivação do Limite Inferior: Ao mostrar que a abundância do componente especial e do componente notável ($3^q$), combinada com a contribuição máxima possível dos primos ordinários (mesmo com mais de 46 bilhões de primos ordinários), falha em atingir 2 a menos que $q$ seja extremamente grande, os autores derivam o limite $q \ge 23.000.000.000$.

Significância e Alegações
O artigo afirma reduzir o problema da existência de números perfeitos ímpares restritos a um caso específico: o primo notável é 3. Embora os autores não aleguem ter refutado a existência de NPIs inteiramente, eles demonstram que o cenário "restrito" é altamente limitado.

Os autores observam modestamente que seu limite para $q$ pode provavelmente ser melhorado em ordens de magnitude usando argumentos de teoria de peneiramento mais avançados. No entanto, eles enfatizam que excluir completamente o caso em que 3 é notável (e, portanto, provar que todo NPI deve ter pelo menos dois expoentes pares maiores que 2) requer "novas ideias".

O artigo conclui propondo duas questões abertas relacionadas à estrutura de $\sigma(x^2)$ para o primo $x$:

1. Se existe um primo $x$ tal que $x^2 + x + 1$ é square-full (potência total de um quadrado).
2. Se existem primos $x, y, p, r$ e inteiros $a > b > 0$ tais que $x^2 + x + 1 = p^a r$ e $y^2 + y + 1 = p^b r$.

Uma resposta negativa a essas questões permitiria restrições mais apertadas sobre os possíveis pares de expoentes na fatoração de NPIs, potencialmente levando a resultados de não existência mais fortes. Os autores disponibilizam seus programas e dados para facilitar a pesquisa adicional nesta direção.