Certified Minimal-Prime Branch Closures for Odd Perfect Numbers

Resumen Técnico: Clausuras de Ramas de Mínimo Primo Certificadas para Números Perfectos Impares

Planteamiento del Problema
El artículo aborda el clásico problema abierto de la existencia de números perfectos impares (NPI), definidos como enteros positivos impares $N$ que satisfacen $\sigma(N) = 2N$, donde $\sigma$ es la función suma de divisores. Si bien una extensa literatura ha establecido cotas inferiores globales para $N$ y para el número de sus factores primos, una prueba completa de inexistencia sigue siendo esquiva. Este trabajo se centra específicamente en el problema de la "rama del mínimo primo": determinar si puede existir un NPI donde el divisor primo más pequeño, $q = \min\{p : p \mid N\}$, tome valores pequeños específicos.

El artículo aísla e intenta cerrar las ramas para $q \in \{5, 7, 11, 13, 17\}$. Aclara explícitamente que estas son aserciones de mínimo primo; la clausura de la rama $q=5$, por ejemplo, demuestra que no existe un NPI cuyo divisor primo más pequeño sea 5 (lo que implica que $3 \nmid N$), pero no descarta NPI divisibles por 5 si 3 también es un factor (lo cual caería bajo la rama $q=3$). Los casos $q=3$ y $q \ge 19$ quedan explícitamente excluidos del alcance de este trabajo.

Metodología
El enfoque utiliza una estrategia de certificación de "rama y cota" (branch-and-bound) impulsada por valoraciones $q$-ádicas locales y restricciones de evitación de primos menores. La metodología procede a través de las siguientes capas lógicas:

1. Balance de Valoración: Basándose en la forma de Euler $N = \pi^\alpha M^2$ (donde $\pi$ es el primo de Euler), el artículo establece una ecuación de balance de valoración $q$-ádica. Para un mínimo primo $q$, la valoración $v_q(\sigma(N)) = v_q(2N) = v_q(N)$ debe ser suministrada enteramente por las sumas de divisores de otras potencias de primos en $N$, ya que $\sigma(q^{e_q}) \equiv 1 \pmod q$.
2. Evitación de Primos Menores: Dado que $q$ es el mínimo primo, ningún primo $\ell < q$ puede dividir a $N$. En consecuencia, para cada potencia de primo $p^e$ en la factorización de $N$, debe cumplirse la condición $v_\ell(\sigma(p^e)) = 0$. Esto crea un filtro de "evitación" estricto que elimina muchas configuraciones potenciales.
3. Testigos de Entrada y División de Cobertura: La prueba identifica "testigos de entrada" —primos $p \neq q$ en el soporte de $N$ que contribuyen al balance de valoración $q$-ádica—. El artículo clasifica estos testigos según su orden módulo $q$ (denotado $d = \text{ord}_q(p)$). Esto conduce a una "división de cobertura" finita de la rama en subcasos (por ejemplo, testigos no de Euler de órdenes específicos, o el primo de Euler actuando como testigo).
4. Cofactores Reducidos y Primos Forzados: Para cada subcaso, el artículo analiza el "cofactor reducido" (el factor ciclotómico $\Phi_d(p)$ dividido por la potencia necesaria de $q$).
   • Si el cofactor tiene un divisor primo $\ell < q$, la rama es refutada por la evitación de primos menores.
   • Si el cofactor tiene un divisor primo $r > q$, este primo es "forzado" en el soporte de $N$. Esto impone una nueva restricción sobre la estructura de $N$.
   • Si el cofactor es un caso "puro" (por ejemplo, una potencia de 2), se maneja mediante filtros diofánticos específicos o certificados de cola.
5. Control de Cola y Certificados: Para las ramas que no son inmediatamente refutadas o forzadas hacia una contradicción, el artículo emplea "envolventes de cola". Estas utilizan la desigualdad $H(K_{env}) \left(\frac{B}{B-1}\right)^M < 2$, donde $H$ es el producto de los factores primos $(p/(p-1))$, $B$ es una cota inferior para los primos restantes, y $M$ es una cota superior en el conteo de los primos restantes. Si este producto es menor que 2, la rama no puede contener un NPI.
   La prueba es híbrida: el marco lógico (lemas, divisiones de cobertura y teoremas) está escrito a mano, mientras que la verificación exhaustiva de las ramas finitas se realiza mediante certificados legibles por máquina (archivos JSONL y verificadores en Python).

Contribuciones Clave

• Certificación Formal de Cinco Ramas: El artículo proporciona un cierre completo y verificable por máquina de las ramas de mínimo primo para $q = 5, 7, 11, 13, 17$.
• Mecanismo Uniforme: Establece un mecanismo uniforme de "forzado-o-puro" para manejar estas ramas, reduciendo problemas aritméticos complejos a divisiones de cobertura finitas e desigualdades de control de cola.
• Liberación de Certificados Reproducibles: El autor libera un conjunto congelado de certificados ($C_{small}$) que contiene los datos específicos (factorizaciones, registros de orden, conteos de cola) necesarios para verificar los cierres. Esto incluye un "contrato de verificador" que separa la lógica matemática escrita a mano de los datos aritméticos verificados por máquina.
• Modelo de Auditoría Detallado: La rama $q=5$ se presenta como un modelo de auditoría detallado, demostrando la derivación completa desde la división inicial hasta los certificados de control de cola final, sirviendo como plantilla para las otras ramas.

Resultos
El teorema principal (Teorema 1.1 y Teorema 14.1) establece que, relativo a la liberación de certificados $C_{small}$, no existe un número perfecto impar $N$ tal que $\min\{p : p \mid N\} \in \{5, 7, 11, 13, 17\}$.

Específicamente:

• $q=5$: La rama se divide en tres hijos ($Q5E2, Q5E1, Q5N$) basados en el residuo del primo de Euler y la existencia de testigos no de Euler. Todas las subramas se cierran mediante verificaciones de ventana finita, certificados de cola paramétricos y exclusiones de familias puras.
• $q=7, 11, 13, 17$: Estas ramas se cierran verificando que sus respectivas hojas de "frontera estricta" (los nodos terminales de las divisiones de cobertura) son refutadas por la evitación de primos menores, forzadas a un estado de control de cola, o eliminadas por pantallas diofánticas puras (por ejemplo, resolviendo ecuaciones como $\Phi_5(x) = 11^c$).

Significancia y Alcance
El artículo reclama significancia como un "teorema de certificado" en lugar de una nueva cota inferior global para $N$. No prueba que los números perfectos impares no existan; solo prueba que no pueden existir con 5, 7, 11, 13 o 17 como su divisor primo más pequeño.

El autor enfatiza la modularidad del resultado:

• Aísla el problema del mínimo primo del problema completo de los NPI.
• Proporciona un marco reproducible y auditable por máquina para verificar obstrucciones aritméticas específicas.
• Deja la rama $q=3$ (que carece de restricciones de evitación de primos menores) y la rama $q \ge 19$ (que requiere un tratamiento separado de los órdenes de entrada) como problemas abiertos para trabajos futuros.

El trabajo se apoya en filtros globales existentes (por ejemplo, las cotas inferiores de Nielsen sobre el número de factores primos) solo como comprobaciones de consistencia, mientras que los cierres reales son impulsados por la entrada ciclotómica etiquetada por valoración y los certificados finitos proporcionados en la liberación.