Duality Between Prime Factors and The Prime Number Theorem For Arithmetic Progressions -- Higher Order Dualities

1. El Problema y el Contexto

El artículo aborda la extensión de las identidades de dualidad descubiertas por el primer autor en 1977, las cuales conectan los factores primos más pequeños ($p_1(n)$) y más grandes ($P_1(n)$) de un entero $n$ a través de la función de Möbius $\mu(n)$.

• Antecedentes: En 1977, Alladi demostró que existe una relación dual entre la distribución de los factores primos extremos. Específicamente, si $f$ es una función acotada sobre los primos, la media asintótica de $f(P_1(n))$ determina la suma ponderada de $\mu(n)f(p_1(n))$.
• Avances previos: En 2024, Alladi y Jason Johnson extendieron estos resultados al segundo orden ($k=2$), involucrando el segundo factor primo más grande ($P_2(n)$) y el segundo más pequeño ($p_2(n)$), demostrando que ciertas sumas ponderadas con $\mu(n)\omega(n)$ se anulan.
• La brecha: El objetivo de este trabajo es generalizar estos resultados a todos los órdenes superiores ($k \ge 3$). Se busca establecer identidades duales que involucren el $k$-ésimo factor primo más grande y el $k$-ésimo más pequeño, utilizando la función de Möbius y potencias del número de factores primos distintos $\omega(n)$.

2. Metodología

Los autores emplean una combinación de teoría analítica de números, métodos elementales avanzados y técnicas de inversión de Möbius. Los pilares metodológicos son:

A. Identidades de Dualidad de Orden Superior

Se utilizan las identidades fundamentales establecidas en 1977 para el orden $k$:
$$\sum_{1<d|n}^* \mu(d) \binom{\omega(d)-1}{k-1} f(p_1(d)) = (-1)^k f(P_k(n))$$
donde la suma está restringida a divisores $d$ con al menos $k$ factores primos distintos. Estas identidades permiten transformar sumas sobre el factor primo más pequeño en sumas sobre el $k$-ésimo factor primo más grande.

B. Distribución Uniforme de Factores Primos ($k$-ésimos)

Un resultado crucial es la demostración de que la secuencia de los $k$-ésimos factores primos más grandes, $\{P_k(n)\}$, está uniformemente distribuida en las clases residuales reducidas módulo $\ell$.

• Se demuestra que para $1 \le j \le \ell$ con $(j, \ell)=1$:
  $$N_k(x; \ell, j) := \sum_{\substack{n \le x \\ P_k(n) \equiv j \pmod \ell}} 1 = \frac{x}{\phi(\ell)} + O\left(\frac{x(\log \log x)^k}{\log x}\right)$$
• Esta uniformidad es esencial para calcular las medias asintóticas necesarias en las identidades duales.

C. Método de la Hipérbola y Estimaciones Cuantitativas

Para manejar las sumas de Dirichlet y las funciones de conteo, los autores utilizan:

• El método de la hipérbola: Para descomponer sumas dobles de la forma $\sum_{n \le x} \sum_{d|n}$.
• Estimaciones de Landau y Tenenbaum: Se utilizan formas fuertes del Teorema de los Números Primos (PNT) y del Teorema de los Números Primos para Progresiones Aritméticas (PNTAP) para acotar los errores.
• Análisis de errores: Se demuestra que, aunque los términos de error se vuelven más complejos a medida que aumenta $k$ (involucrando potencias de $\log \log x$), siguen siendo suficientemente pequeños ($o(x)$) para garantizar la convergencia de las series infinitas.

D. Números de Stirling y Cancelación de Términos

Para manejar la expansión de $\omega(n)^k$ en términos de productos de factores lineales de $\omega(n)$, se utilizan los números de Stirling de segunda especie. Una propiedad clave es la cancelación de los términos principales en las sumas, lo que permite que las sumas totales se anulen o converjan a valores específicos.

3. Contribuciones Clave y Resultados Principales

El artículo establece resultados cuantitativos rigurosos para todo $k \ge 2$.

A. Anulación de Sumas Globales

Se demuestra que para todo entero $k \ge 2$:
$$\sum_{n=2}^{\infty} \frac{\mu(n)\omega(n)^k}{n} = 0$$
Esto generaliza resultados anteriores para $k=1$ y $k=2$.

B. Dualidad en Progresiones Aritméticas (Resultado Principal)

Para enteros $j, \ell$ con $1 \le j \le \ell$ y $(j, \ell)=1$, y para todo $k \ge 3$:
$$\sum_{\substack{n=2 \\ p_1(n) \equiv j \pmod \ell}}^{\infty} \frac{\mu(n)\omega(n)^{k-1}}{n} = 0$$
Este resultado extiende el trabajo de Alladi (1977, caso $k=1$) y Alladi-Johnson (2024, caso $k=2$) a todos los órdenes superiores. La suma se anula porque la contribución de los factores primos más pequeños en una clase residual específica se equilibra perfectamente con la estructura de los factores primos más grandes distribuidos uniformemente.

C. Teorema de Densidad (Forma Alternativa)

Los autores también recastan el resultado anterior en una forma de densidad tipo teorema. Para $k \ge 3$:
$$(-1)^k \sum_{\substack{n=2 \\ p_1(n) \equiv j \pmod \ell}}^{\infty} \frac{\mu(n) \binom{\omega(n)-1}{k-1}}{n} = \frac{1}{\phi(\ell)}$$
Este resultado es fundamental porque conecta la densidad de los enteros con un factor primo pequeño en una progresión aritmética específica con la densidad de las clases residuales reducidas.

D. Resultados Cuantitativos

A diferencia de resultados cualitativos anteriores, este trabajo proporciona estimaciones de error explícitas. Por ejemplo, para la suma parcial hasta $x$:
$$\sum_{\substack{n \le x \\ p_1(n) \equiv j \pmod \ell}} \mu(n)\omega(n)^{k-1} \ll \frac{x(\log \log x)^{k+2}}{\log x}$$
Estas cotas demuestran que la convergencia es rápida y controlada.

4. Significado e Impacto

1. Generalización Completa: El trabajo cierra la brecha teórica al extender la dualidad de Alladi de casos específicos ($k=1, 2$) a una familia infinita de identidades para cualquier orden $k$.
2. Conexión Profunda: Refuerza la conexión profunda entre la estructura multiplicativa de los enteros (distribución de factores primos) y la teoría analítica (funciones $L$, caracteres de Dirichlet y el Teorema de los Números Primos).
3. Herramienta para Generalizaciones Algebraicas: Los resultados sirven como base para futuras extensiones a campos de números algebraicos y campos de funciones. El artículo menciona trabajos recientes que ya están aplicando estas identidades de orden superior a extensiones de Galois, generalizando el Teorema de Chebotarev en contextos de dualidad.
4. Metodología Robusta: La demostración de la distribución uniforme de los $k$-ésimos factores primos más grandes es un resultado independiente de gran valor en la teoría de números, proporcionando herramientas para estudiar la distribución de factores primos en rangos más profundos de la factorización.

En resumen, el artículo establece un marco teórico sólido y cuantitativo que unifica la teoría de la distribución de factores primos con la función de Möbius a través de dualidades de orden superior, abriendo nuevas vías para la investigación en teoría analítica de números y teoría algebraica de números.