Exponential sums over Möbius convolutions with applications to partitions

Resumo Técnico: Somas Exponenciais sobre Convoluções de Möbius com Aplicações a Partições

1. Problema e Motivação

O artigo investiga o comportamento assintótico de um tipo específico de partições de inteiros positivos, denominadas partições admissíveis.

• Definição: Uma partição de $n$ é "admissível" se cada parte for um número semiprimo (blue, $B$) ou um número com um número ímpar de fatores primos (red, $R$), com a restrição adicional de que as partes "vermelhas" (ímpares) não podem se repetir.
• Objetivo Central: Determinar se o número de partições admissíveis com um número par de partes vermelhas ($E(n)$) é assintoticamente igual ao número de partições com um número ímpar de partes vermelhas ($O(n)$) quando $n \to \infty$.
• Formulação Matemática: A diferença entre esses dois conjuntos é dada pela função de partição ponderada $p_\mu(n) = E(n) - O(n)$, onde os pesos são dados pela função de Möbius $\mu(n)$. O problema geraliza-se para convoluções de Möbius $\mu_k = \mu * \mu * \dots * \mu$ ($k$ vezes).

O desafio principal reside no fato de que os pesos $\mu(n)$ assumem valores positivos e negativos, o que impede o uso direto de métodos padrão para partições com pesos não negativos. Espera-se que o termo principal (main term) desapareça, resultando apenas em um limite superior (upper bound) para a diferença, em vez de uma fórmula assintótica completa.

2. Metodologia

Os autores empregam uma combinação sofisticada de ferramentas da Teoria Analítica dos Números:

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

   • A função geradora das partições ponderadas é expressa como $\Psi_w(z) = \prod (1-z^n)^{-w(n)}$.
   • O coeficiente $p_w(n)$ é extraído via integração de contorno (Teorema de Cauchy).
   • O domínio de integração é dividido em Arcos Maiores (próximos a frações racionais $a/q$) e Arcos Menores (o restante do intervalo).

2. Estimativas de Somas Exponenciais:

   • Para controlar a contribuição dos arcos menores, é necessário obter limites superiores rigorosos para somas exponenciais da forma $S_{\mu_k}(X, \alpha) = \sum_{n \le X} \mu_k(n) e(n\alpha)$.
   • Os autores desenvolvem novas estimativas para estas somas, utilizando decomposições de Dirichlet (método de Vaughan), desigualdades do tipo I e II (Koukoulopoulos) e técnicas de indução para convoluções múltiplas.

3. Fórmulas Explícitas e Zeros de $\zeta(s)$:

   • Para os arcos maiores, os autores derivam uma fórmula explícita que relaciona a função geradora com os zeros não triviais da função Zeta de Riemann, $\zeta(s)$.
   • Utilizam integração de contorno e o Teorema dos Resíduos, deslocando o caminho de integração para a esquerda no plano complexo, capturando polos em $s=0$, $s=-1$, polos triviais e polos duplos nos zeros não triviais $\rho$ de $\zeta(s)$.

3. Principais Resultados e Teoremas

A. Assintótica das Partições Admissíveis (Teoremas 1.1 e 1.2)

• Teorema 1.1: Confirma que o número de partições admissíveis pares e ímpares é assintoticamente igual. Ou seja, $E(n) \sim O(n)$ quando $n \to \infty$.
• Teorema 1.2: Estabelece um limite superior rigoroso para a diferença $p_{\mu*\mu}(n)$ (caso $k=2$):
  $$\log p_{\mu*\mu}(n) = O_B\left( \frac{\sqrt{n}}{(\log n)^B} \right)$$
  para qualquer $B > 0$ fixo. Isso implica que a diferença cresce muito mais lentamente do que a própria função de partição total, confirmando a cancelamento quase perfeito entre as partições pares e ímpares.

B. Limites para Somas Exponenciais (Teoremas 1.4, 1.5, 1.6, 1.7)

• Teorema 1.4: Fornece um limite para a soma de Möbius $S_\mu(X, \alpha)$ dependendo da aproximação racional de $\alpha$ ($a/q$). O limite é da ordem de $X^{4/5+\epsilon}$.
• Teorema 1.5: Generaliza o resultado para convoluções $\mu_k$. Introduz sequências recursivas de expoentes $a_k, b_k, c_k$ para definir o limite:
  $$S_{\mu_k}(X, \alpha) \ll_\epsilon X^{a_k+\epsilon} + \frac{X(\log X)^{k^2}}{q^{b_k}} + X^{c_k}q^{1-c_k}(\log X)^{k^2}$$
  Para $k=2$, o expoente principal é $16/17$.
• Teoremas 1.6 e 1.7: Estendem essas estimativas para convoluções de Möbius com funções indicadoras de inteiros "squarefull" (completos ao quadrado) e "squarefree" (sem fatores quadrados).

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

• O Teorema 1.3 fornece uma fórmula explícita para $\Phi_{\mu*\mu}(\rho e(\theta))$ (o logaritmo da função geradora) em termos de:
  1. Termos principais envolvendo $\log X$.
  2. Uma soma sobre os zeros não triviais $\rho$ de $\zeta(s)$.
  3. Uma soma sobre os zeros triviais de $\zeta(s)$.
• Esta fórmula é análoga à fórmula explícita clássica de von Mangoldt para a função $\psi(x)$, mas adaptada ao contexto de partições ponderadas.

4. Significado e Contribuições

1. Resolução de um Problema Aberto: O trabalho responde positivamente à questão sobre a igualdade assintótica entre partições admissíveis pares e ímpares, um problema motivado pela estrutura aritmética dos fatores primos das partes.
2. Avanço em Somas Exponenciais: A obtenção de limites não triviais para somas exponenciais com convoluções de Möbius de ordem superior ($k \ge 2$) é um resultado independente de grande importância na teoria analítica dos números, superando as dificuldades técnicas de lidar com pesos que mudam de sinal.
3. Conexão com a Hipótese de Riemann: A estrutura da fórmula explícita (Teorema 1.3) destaca a dependência direta do comportamento das partições sobre os zeros da função Zeta. Embora o resultado seja incondicional, a precisão da fórmula reflete a distribuição dos zeros.
4. Generalização: O método desenvolvido é robusto e pode ser generalizado para outras funções aritméticas e convoluções, oferecendo um novo paradigma para o estudo de partições com pesos negativos ou oscilatórios.

Em suma, o artigo combina técnicas clássicas de partições com avanços modernos em somas exponenciais para demonstrar que, sob certas condições aritméticas estritas, a "paridade" das partições se equilibra perfeitamente no limite, com a diferença sendo controlada por limites superiores muito fortes.