Exponential sums over Möbius convolutions with applications to partitions

1. Problema y Motivación

El artículo aborda un problema aritmético profundo relacionado con la teoría de particiones de números enteros positivos. Específicamente, los autores investigan la distribución de las particiones admisibles de un entero $n$, definidas bajo ciertas restricciones de paridad en sus factores primos.

• Definición de Particiones Admisibles: Se consideran dos conjuntos de números libres de cuadrados:
  • $B$ (Azul): Números con un número par de factores primos.
  • $R$ (Rojo): Números con un número impar de factores primos.
    Una partición es "admisible" si todas sus partes pertenecen a $B \cup R$, y además, cada parte que pertenece a $R$ aparece máximo una vez en la partición.
• La Pregunta Central: ¿Es el número de particiones admisibles con un número par de partes rojas ($E(n)$) asintóticamente igual al número de particiones admisibles con un número impar de partes rojas ($O(n)$) cuando $n \to \infty$?
• Formulación Matemática: La diferencia entre estos conteos se modela mediante una función de partición ponderada $p_{\mu}(n) = E(n) - O(n)$, donde los pesos están dados por la función de Möbius $\mu(n)$. El objetivo es demostrar que $p_{\mu}(n)$ es despreciable en comparación con el número total de particiones, lo que implicaría que $E(n) \sim O(n)$.

El problema se generaliza considerando convoluciones de Dirichlet de la función de Möbius, denotadas como $\mu_k = \mu * \mu * \dots * \mu$ ($k$ veces), y sus respectivas funciones generadoras.

2. Metodología

Los autores emplean una combinación sofisticada de herramientas analíticas y de teoría de números:

1. Método del Círculo de Hardy-Littlewood:

   • Se utiliza para analizar el comportamiento asintótico de las funciones de partición $p_w(n)$.
   • La función generadora se escribe como $\Psi_w(z) = \prod (1-z^n)^{-w(n)}$.
   • El método divide el intervalo de integración en arcos mayores (cerca de racionales con denominadores pequeños) y arcos menores (el resto).

2. Estimación de Sumas Exponenciales (Arcos Menores):

   • El desafío principal radica en acotar las contribuciones de los arcos menores. Dado que los pesos $\mu_k(n)$ toman valores positivos y negativos, no se espera una fórmula asintótica clásica con un término principal dominante, sino una cota superior estricta para la diferencia.
   • Se desarrollan y aplican cotas nuevas para sumas exponenciales de la forma $S_{\mu_k}(X, \alpha) = \sum_{n \le X} \mu_k(n) e(n\alpha)$, donde $\alpha$ es un número real aproximado por una fracción $a/q$.
   • Se utilizan técnicas de descomposición de tipo I y tipo II (basadas en lemas de Koukoulopoulos) para manejar las convoluciones de Dirichlet.
   • Se emplea la inversión de Möbius para descomponer las funciones aritméticas en rangos manejables.

3. Fórmulas Explícitas y Ceros de Zeta (Arcos Mayores):

   • Para los arcos mayores, los autores derivan una fórmula explícita que relaciona la función generadora con los ceros no triviales de la función Zeta de Riemann, $\zeta(s)$.
   • Se realiza un desplazamiento de contorno en la integración compleja, capturando residuos en:
     • El polo doble en $s=0$.
     • El polo simple en $s=-1$.
     • Los ceros no triviales $\rho$ de $\zeta(s)$ (que generan polos dobles debido a la presencia de $1/\zeta^2(s)$).
     • Los ceros triviales de $\zeta(s)$.

3. Contribuciones Clave y Resultados Principales

A. Teorema 1.1 (Asintótica de Particiones Admisibles)

Se demuestra que el número de particiones admisibles pares es asintóticamente igual al número de particiones admisibles impares:
$$E(n) \sim O(n) \quad \text{cuando } n \to \infty.$$
Esto se logra probando que la diferencia $p_\mu(n)$ es extremadamente pequeña.

B. Teorema 1.2 (Cota Superior para la Diferencia)

Para cualquier $B > 0$ fijo y todo $n \ge 2$, se establece la siguiente cota superior para la diferencia ponderada:
$$\log p_{\mu * \mu}(n) = O_B\left( \frac{\sqrt{n}}{(\log n)^B} \right).$$
Esto implica que la diferencia crece mucho más lentamente que el número total de particiones (que crece exponencialmente con $\sqrt{n}$), confirmando la asintótica del Teorema 1.1. El método se generaliza para cualquier $k \ge 1$.

C. Nuevas Cotás para Sumas Exponenciales (Teoremas 1.4, 1.5, 1.6, 1.7)

El artículo presenta resultados independientes de gran importancia sobre sumas exponenciales con coeficientes aritméticos complejos:

• Teorema 1.5: Proporciona cotas para $S_{\mu_k}(X, \alpha)$ que dependen de la aproximación racional $a/q$ de $\alpha$. Las cotas mejoran a medida que aumenta $k$ mediante un proceso de inducción, obteniendo exponentes como $X^{16/17+\epsilon}$ para $k=2$.
• Teoremas 1.6 y 1.7: Establecen cotas para sumas exponenciales involucrando convoluciones de $\mu$ con funciones indicadoras de números "cuadrados completos" (squarefull) y "libres de cuadrados" (squarefree).

D. Teorema 1.3 (Fórmula Explícita)

Se deriva una fórmula explícita para $\Phi_{\mu*\mu}(\rho e(\theta))$ (el logaritmo de la función generadora) que incluye:

• Términos principales polinomiales en $X$.
• Una suma sobre los ceros no triviales $\rho$ de $\zeta(s)$.
• Una suma sobre los ceros triviales.
  Esta fórmula es análoga a la fórmula explícita de la teoría de números (como la de von Mangoldt), pero adaptada al contexto de particiones ponderadas.

4. Significado e Impacto

1. Resolución de una Conjetura Aritmética: El trabajo responde afirmativamente a la pregunta sobre la equidistribución de particiones admisibles basadas en la paridad de factores primos, un problema que tiene un sabor aritmético fuerte y que conecta la teoría de particiones con la hipótesis de Riemann (a través de la distribución de números libres de cuadrados).
2. Avance en el Método del Círculo: El artículo demuestra la viabilidad de aplicar el método del círculo a problemas de particiones con pesos que cambian de signo (como la función de Möbius). A diferencia de las particiones estándar donde los pesos son positivos, aquí la ausencia de un término principal dominante requiere un análisis fino de las cotas superiores, logrando resultados no triviales.
3. Herramientas Independientes: Las cotas obtenidas para las sumas exponenciales con convoluciones de Möbius ($\mu_k$) son resultados de interés independiente en la teoría analítica de números, útiles para otros problemas de distribución de valores de funciones multiplicativas.
4. Conexión con la Función Zeta: La derivación de la fórmula explícita (Teorema 1.3) subraya la profunda conexión entre la teoría de particiones y los ceros de la función Zeta de Riemann, ofreciendo una nueva perspectiva sobre cómo la estructura de los ceros influye en la combinatoria de particiones.

En resumen, el artículo combina técnicas analíticas avanzadas (método del círculo, estimación de sumas exponenciales, integración compleja) para resolver un problema combinatorio específico, proporcionando al mismo tiempo herramientas poderosas para el estudio de funciones aritméticas convolucionadas.