Must a primitive non-deficient number have a component not much larger than its radical?

Resumo Técnico: "Um Número Primitivo Não Deficiente Deve Sempre Ter um Componente Pequeno?"

Enunciado do Problema
O artigo investiga as propriedades estruturais dos números primitivos não deficientes. Um número inteiro positivo $n$ é não deficiente se $\sigma(n) \ge 2n$, onde $\sigma(n)$ é a soma de seus divisores. Um número é primitivo não deficiente se for não deficiente, mas todos os seus divisores próprios forem deficientes. Seja $n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$ um tal número com fatoração prima, onde $p_1 < p_2 < \dots < p_k$, e seja $R = \text{rad}(n) = p_1 p_2 \cdots p_k$ o seu radical.

O problema central é determinar limites para os "componentes" de $n$, especificamente os termos $p_i^{a_i+1}$. O autor postula que, para que um número primitivo não deficiente exista, pelo menos um de seus componentes de potência prima deve ser relativamente pequeno em comparação ao radical $R$. Isso é motivado pela intuição de que, se todos os expoentes $a_i$ fossem grandes, o índice de abundância $h(n) = \sigma(n)/n$ estaria extremamente próximo do limite superior $H(n) = \prod_{p|n} \frac{p}{p-1}$. Consequentemente, reduzir qualquer expoente provavelmente deixaria o número não deficiente, contradizendo a primitividade de $n$.

Metodologia
O artigo emprega técnicas de teoria analítica dos números, focando nas propriedades do índice de abundância $h(n)$ e da função $H(n)$. A metodologia procede através dos seguintes passos lógicos:

1. Lemas Fundacionais: O autor estabelece propriedades básicas de números não deficientes, incluindo limites sobre o número de fatores primos distintos $k$ em relação ao menor fator primo $p_1$ (Lema 5, adaptado de Grun e Servais).
2. Derivação de Desigualdades: Uma ferramenta técnica fundamental é o Lema 9, que fornece um limite superior para $\min(p_i^{a_i+1})$ dado um limite inferior para $H(n)$. Este lema adapta argumentos de Heath-Brown, utilizando a relação entre $h(n)$ e $H(n)$:
   $$h(n) = H(n) \prod_{i=1}^k \left(1 - \frac{1}{p_i^{a_i+1}}\right)$$
   Ao assumir que $n$ é primitivo, o autor nota que $h(n/p_i) < 2$ para todo $i$. Combinando isso com o Lema 8 (que limita a razão $h(n)/h(n/p)$), o autor deriva desigualdades relacionando o tamanho mínimo do componente ao "gap" entre $H(n)$ e 2.
3. Análise de Casos: A prova distingue entre números primitivos não deficientes pares e ímpares. Para números pares, o Lema 3 e a Proposição 6 mostram que o componente correspondente ao primo 2 satisfaz o limite conjeturado diretamente. Para números ímpares, o autor recorre ao Lema 4 para lidar com valores pequenos de $k$ (3 e 4) via computação direta, e ao Lema 9 para valores maiores de $k$.

Principais Contribuições e Resultados

• Teorema 2 (Resultado Principal): O artigo prova que, para qualquer número primitivo não deficiente $n = p_1^{a_1} \cdots p_k^{a_k}$ com radical $R$, existe um índice $i$ tal que:
  $$p_i^{a_i+1} < 2kR$$
  Isso estabelece que pelo menos um componente é limitado linearmente pelo produto do número de fatores primos distintos e o radical.

• Conjectura 1: O autor propõe uma conjectura mais forte e ainda não provada: que o fator $k$ no Teorema 2 é desnecessário, e que sempre existe um $i$ tal que:
  $$p_i^{a_i+1} < 2R$$
  O autor observa que o limite $R$ (sem o fator 2) é falso, citando um contraexemplo específico ($n = 4164647056479$), mas sugere que o contraexemplo pode ser único.

• Proposição 16: Para números primitivos não deficientes ímpares, o artigo prova uma dicotomia: ou o maior fator primo $p_k$ é pequeno em relação ao radical ($p_k < \sqrt{R}$), ou existe um componente que satisfaz um limite envolvendo $p_k$ e $k$.

• Conjecturas de Densidade: O artigo introduz os conjuntos $B$ (números que satisfazem $p_i^{a_i+1} < 2R$ para todos os $i$) e $C$ (números primitivos não deficientes), e conjectura que a interseção desses conjuntos tem densidade natural zero dentro de $B$ e dentro de $C$, sugerindo que, embora a propriedade do "componente pequeno" seja necessária para a primitividade, ter todos os componentes pequenos é uma ocorrência rara.

Significância e Contexto
O artigo situa seus resultados dentro do estudo mais amplo de números perfeitos ímpares e números não deficientes.

• Conexão com Teoria dos Grafos: Os limites em $p_i^{a_i+1}$ são interpretados como limites no grau de saída de vértices em uma representação de grafo direcionado ponderado dos componentes de números perfeitos ímpares, um framework utilizado na literatura recente (ex: Bibby, Vyncke e Zelinsky; Yamada).
• Generalização de Limites Existentes: Os resultados generalizam limites anteriores sobre o tamanho de números perfeitos ímpares em termos de seu radical. O limite de Nielsen $n < R^{2k-1}$ implica um limite nos componentes; o Teorema 2 fornece uma desigualdade mais apertada e específica aplicável à classe mais ampla de números primitivos não deficientes.
• Motivação: O trabalho visa formalizar a intuição de que a primitividade impõe restrições estritas sobre o tamanho dos componentes de potência prima. Embora o artigo não resolva a existência de números perfeitos ímpares, ele fornece restrições estruturais refinadas que qualquer tal número (ou qualquer número primitivo não deficiente) deve satisfazer.

O autor reconhece que as técnicas naturalmente produzem desigualdades envolvendo $p_i^{a_i+1}$ em vez de $p_i^{a_i}$, embora estas sejam matematicamente equivalentes a limitar um componente pelo produto dos outros fatores primos. O artigo conclui observando que, embora o limite conjeturado $2R$ seja provavelmente verdadeiro, prová-lo permanece um desafio em aberto.