On the Hardy-Ramanujan Theorem

Resumen Técnico: Una Versión Efectiva del Teorema de Hardy–Ramanujan

Planteamiento del Problema
El artículo aborda la distribución del número de factores primos distintos, $\omega(n)$, y del número total de factores primos, $\Omega(n)$, para enteros $n \le x$. Si bien el teorema clásico de Hardy–Ramanujan establece que ambas funciones tienen un orden normal de $\log \log n$, la prueba original se basa en una desigualdad de conteo para los conjuntos de nivel $A_k(x) = \#\{n \le x : \omega(n) = k\}$ que proporciona colas exponenciales superiores pero carece de constantes explícitas. Las pruebas posteriores, como el método del segundo momento de Turán, son más cortas pero solo producen cotas polinómicas de la cola mediante la desigualdad de Chebyshev. El teorema de Erdős–Kac, de naturaleza probabilística, identifica la distribución gaussiana límite, pero no proporciona cotas efectivas y no asintóticas para $x$ finito. Esta nota tiene como objetivo cerrar estas brechas proporcionando una versión efectiva y explícita de la desigualdad de conteo de Hardy–Ramanujan, empaquetando el resultado como una desigualdad de dominación contra una distribución de Poisson con constantes totalmente explícitas.

Metodología
El autor emplea el argumento original de "eliminación" utilizado por Hardy y Ramanujan, pero lo refina para hacer todas las constantes explícitas. La metodología central consiste en:

1. Recurrencia de Eliminación: Establecer una relación de recurrencia para $A_k(x)$ contando los enteros múltiples veces. Específicamente, para un entero $n$ con $k+1$ factores primos distintos, la eliminación de divisores de potencias de primos exactos produce una recurrencia que vincula $A_{k+1}(x)$ con sumas de $A_k(x/p^a)$.
2. Principio Inductivo: Formular un principio de inducción general (Proposición 3.2) que, dados los límites explícitos para el caso base $A_1(x)$ y una suma específica de potencias de primos, arroja una cota superior explícita para $A_k(x)$ de la forma $C \frac{x}{\log x} \frac{(\log \log x + B)^{k-1}}{(k-1)!}$.
3. Estimaciones Explícitas de Primos: Utilizar límites explícitos de la teoría de números primos (Rosser y Schoenfeld) para verificar las hipótesis del principio de inducción. Esto incluye estimaciones precisas para $\sum_{p \le x} 1/p$, $\pi(x)$ y sumas sobre potencias de primos.
4. Dominación de Poisson: Traducir la desigualdad de conteo en una afirmación probabilística. Al reconocer la estructura factorial de la cota, el autor muestra que la distribución empírica desplazada de $\omega(n)$ está puntualmente dominada por una variable aleatoria de Poisson $Z_\xi$ con parámetro $\xi = \log \log x + 4.096$.
5. Extensión a $\Omega(n)$ y $\omega_1(n)$: Los resultados se extienden al número total de factores primos $\Omega(n)$ y al número de factores primos que ocurren exactamente una vez $\omega_1(n)$ mediante el análisis del "exceso de potencias cuadradas" $R(n) = \Omega(n) - \omega(n)$ y probando una cota de cola exponencial para $R(n)$.

Contribuciones Clave y Resultados

• Desigualdad de Conteo Explícita (Teorema 1.2): El artículo demuestra que para cada $x \ge 2$ e entero $k \ge 1$:
  $$A_k(x) \le 1.95 \frac{x}{\log x} \frac{(\log \log x + 4.096)^{k-1}}{(k-1)!}$$
  Esto mejora la notación clásica $O(\cdot)$ al proporcionar la constante específica $1.95$ y el desplazamiento $4.096$.

• Dominación de Poisson (Teorema 1.1): Para cualquier función no negativa $F$, el promedio empírico desplazado está acotado por una esperanza de Poisson:
  $$\frac{1}{x} \sum_{2 \le n \le x} F(\omega(n) - 1) \le Q \mathbb{E}[F(Z_\xi)]$$
  donde $Q = 1.95 e^{4.096} < 117.20$ y $\xi = \log \log x + 4.096$. Esto implica que la distribución de $\omega(n)$ está dominada por una ley de Poisson multiplicada por una constante fija.

• Cotas de Cola Explícitas:

  • Grandes Desviaciones (Corolario 1.3): El artículo deriva estimaciones de grandes desviaciones con la función de tasa estándar de Poisson $I(\alpha) = \alpha \log \alpha - \alpha + 1$, mostrando que el conteo de enteros con $\omega(n) \ge \alpha \log \log x$ está acotado por $x (\log x)^{-I(\alpha)}$.
  • Cotas de Escala Gaussiana (Teorema 1.4): Para desviaciones de la forma $A \sqrt{\log \log x}$, el artículo proporciona cotas superiores explícitas que se asemejan a las colas gaussianas. Por ejemplo, para $1 \le A \le \sqrt{\log \log x}/4$:
    $$\frac{1}{x} \#\{n \le x : |\omega(n) - \log \log x| > A \sqrt{\log \log x}\} \le \frac{305}{A} \exp\left(-\frac{A^2}{2} + \frac{7.31 A^3}{\sqrt{\log \log x}}\right)$$
  • Desviaciones Moderadas (Teorema 1.5): Se muestra que para $A \to \infty$ con $A = o(\sqrt{\log \log x})$, la probabilidad decae como $\exp(-(1/2 + o(1))A^2)$.

• Estimaciones de Momentos Uniformes (Teorema 1.6): El artículo establece límites uniformes para momentos de orden $r$:
  $$\left( \frac{1}{x} \sum_{2 \le n \le x} |f(n) - \log \log x|^r \right)^{1/r} \le C(\sqrt{r(\log \log x + 1)} + r)$$
  para $f \in \{\omega, \Omega, \omega_1\}$. Esto recupera la estimación del momento central de orden gaussiano para un $r$ fijo.

• Análogo para Números Libres de Cuadrados: Se deriva una estimación más aguda para enteros libres de cuadrados, con una constante menor ($1.25506$) y un desplazamiento menor ($1.174$) en el parámetro de Poisson.

Significado y Reivindicaciones
El artículo afirma proporcionar un "objetivo diferente" de los refinamientos modernos como el teorema de Sathe–Selberg o los tratamientos probabilísticos (Erdős–Kac, Kubilius). En lugar de buscar asíntotas para $k$ creciente o distribuciones límite, el autor se centra en límites elementales, explícitos y no asintóticos.

El significado radica en:

1. Constantes Explícitas: Hacer que el argumento de Hardy–Ramanujan sea cuantitativo con constantes numéricas específicas ($1.95$, $4.096$, $Q < 117.20$), las cuales suelen omitirse en los tratamientos clásicos.
2. Dominación de Poisson: Enmarcar el resultado como una desigualdad de dominación contra una distribución de Poisson, lo que permite la derivación inmediata de cotas de Chernoff, estimaciones de momentos y cotas de cola mediante la elección de funciones de prueba apropiadas $F$.
3. Naturio Elemental: La prueba se basa en el argumento de eliminación original y en estimaciones explícitas de números primos, evitando maquinaria analítica compleja o teoremas de límite probabilísticos, aun así logrando resultados que son más agudos que las cotas polinómicas de Turán y comparables en forma a las colas gaussianas del teorema de Erdős–Kac (aunque estrictamente como cotas superiores).
4. Generalidad: El enfoque se extiende naturalmente a $\Omega(n)$ y $\omega_1(n)$ mediante el análisis de la parte de potencias cuadradas, proporcionando una teoría efectiva unificada para estas funciones aritméticas.

El autor señala que el desplazamiento $4.096$ no pretende ser óptimo, sino que sirve para mantener transparente el argumento para $x$ finito. La contribución principal es la forma funcional de la dominación, que unifica diversas estimaciones (puntuales, de cola, de función generatriz, de momento) bajo una única desigualdad explícita.