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

Resumen Técnico: "¿Debe un número primitivo no deficiente tener siempre un componente pequeño?"

Planteamiento del Problema
El artículo investiga las propiedades estructurales de los números primitivos no deficientes. Un entero positivo $n$ es no deficiente si $\sigma(n) \ge 2n$, donde $\sigma(n)$ es la suma de sus divisores. Un número es primitivo no deficiente si es no deficiente pero todos sus divisores propios son deficientes. Sea $n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$ un número de este tipo con factorización prima $p_1 < p_2 < \dots < p_k$, y sea $R = \text{rad}(n) = p_1 p_2 \cdots p_k$ su radical.

El problema central es determinar los límites de los "componentes" de $n$, específicamente los términos $p_i^{a_i+1}$. El autor postula que, para que exista un número primitivo no deficiente, al menos uno de sus componentes de potencia prima debe ser relativamente pequeño en comparación con el radical $R$. Esto se motiva por la intuición de que si todos los exponentes $a_i$ fueran grandes, el índice de abundancia $h(n) = \sigma(n)/n$ estaría extremadamente cerca del límite superior $H(n) = \prod_{p|n} \frac{p}{p-1}$. En consecuencia, reducir cualquier exponento probablemente dejaría al número como deficiente, contradiciendo la primitividad de $n$.

Metodología
El artículo emplea técnicas de la teoría analítica de números, centrándose en las propiedades del índice de abundancia $h(n)$ y la función $H(n)$. La metodología procede a través de los siguientes pasos lógicos:

1. Lemas Fundacionales: El autor establece propiedades básicas de los números no deficientes, incluyendo límites sobre el número de factores primos distintos $k$ en relación con el factor primo más pequeño $p_1$ (Lema 5, adaptado de Grun y Servais).
2. Derivación de Desigualdades: Una herramienta técnica clave es el Lema 9, que proporciona un límite superior para $\min(p_i^{a_i+1})$ dado un límite inferior para $H(n)$. Este lema adapta argumentos de Heath-Brown, utilizando la relación entre $h(n)$ y $H(n)$:
   $$h(n) = H(n) \prod_{i=1}^k \left(1 - \frac{1}{p_i^{a_i+1}}\right)$$
   Al asumir que $n$ es primitivo, el autor observa que $h(n/p_i) < 2$ para todo $i$. Combinando esto con el Lema 8 (que acota la razón $h(n)/h(n/p)$), el autor deriva desigualdades que relacionan el tamaño del componente mínimo con la "brecha" entre $H(n)$ y 2.
3. Análisis de Casos: La demostración distingue entre números no deficientes primitivos pares e impares. Para los números pares, el Lema 3 y la Proposición 6 muestran que el componente correspondiente al primo 2 satisface directamente el límite conjeturado. Para los números impares, el autor se apoya en el Lema 4 para manejar valores pequeños de $k$ (3 y 4) mediante computación directa, y en el Lema 9 para valores de $k$ mayores.

Contribuciones Clave y Resultados

• Teorema 2 (Resultado Principal): El artículo demuestra que para cualquier número no deficiente primitivo $n = p_1^{a_1} \cdots p_k^{a_k}$ con radical $R$, existe un índice $i$ tal que:
  $$p_i^{a_i+1} < 2kR$$
  Esto establece que al menos un componente está acotado linealmente por el producto del número de factores primos distintos y el radical.

• Conjetura 1: El autor propone una conjetura más fuerte y no probada: que el factor $k$ en el Teorema 2 es innecesario, y que siempre existe un $i$ tal que:
  $$p_i^{a_i+1} < 2R$$
  El autor señala que el límite $R$ (sin el factor 2) es falso, citando un contraejemplo específico ($n = 4164647056479$), pero sugiere que el contraejemplo puede ser único.

• Proposición 16: Para los números no deficientes primitivos impares, el artículo demuestra una dicotomía: o bien el mayor factor primo $p_k$ es pequeño en relación con el radical ($p_k < \sqrt{R}$), o bien existe un componente que satisface un límite que involucra a $p_k$ y $k$.

• Conjeturas de Densidad: El artículo introduce los conjuntos $B$ (números que satisfacen $p_i^{a_i+1} < 2R$ para todo $i$) y $C$ (números no deficientes primitivos), y conjetura que la intersección de estos conjuntos tiene densidad natural cero dentro de $B$ y dentro de $C$, sugiriendo que aunque la propiedad del "componente pequeño" es necesaria para la primitividad, tener todos los componentes pequeños es un suceso raro.

Significancia y Contexto
El artículo sitúa sus resultados dentro del estudio más amplio de los números perfectos impares y los números no deficientes.

• Conexión con la Teoría de Grafos: Los límites sobre $p_i^{a_i+1}$ se interpretan como límites sobre el grado de salida de los vértices en una representación de grafo dirigido ponderado de los componentes de los números perfectos impares, un marco utilizado en literatura reciente (por ejemplo, Bibby, Vyncke y Zelinsky; Yamada).
• Generalización de Límites Existentes: Los resultados generalizan límites previos sobre el tamaño de los números perfectos impares en términos de su radical. El límite de Nielsen $n < R^{2k-1}$ implica un límite sobre los componentes; el Teorema 2 proporciona una desigualdad más ajustada y específica aplicable a la clase más amplia de números no deficientes primitivos.
• Motivación: El trabajo busca formalizar la intuición de que la primitividad impone restricciones estrictas sobre el tamaño de los componentes de potencia prima. Aunque el artículo no resuelve la existencia de números perfectos impares, proporciona restricciones estructurales refinadas que cualquier tal número (o cualquier número no deficiente primitivo) debe satisfacer.

El autor reconoce que las técnicas producen naturalmente desigualdades que involucran $p_i^{a_i+1}$ en lugar de $p_i^{a_i}$, aunque esto es matemáticamente equivalente a acotar un componente por el producto de los otros factores primos. El artículo concluye señalando que, si bien el límite conjeturado de $2R$ es probablemente cierto, probarlo sigue siendo un desafío abierto.