Exponential sums over Möbius convolutions with applications to partitions

1. Il Problema e il Contesto

Il paper si concentra su un problema di teoria dei numeri con forti connotati aritmetici: lo studio delle partizioni di un intero positivo $n$ soggette a vincoli specifici sulla parità dei fattori primi dei loro componenti.

• Definizione delle partizioni ammissibili: Si considerano le partizioni in cui ogni parte è un numero "blu" (senza fattori quadrati con un numero pari di fattori primi, inclusi 1) o "rosso" (senza fattori quadrati con un numero dispari di fattori primi). Una partizione è detta ammissibile se ogni parte rossa appare al massimo una volta.
• La domanda centrale: Il numero di partizioni ammissibili "pari" (con un numero pari di parti rosse) è asintotico al numero di partizioni ammissibili "dispari" (con un numero dispari di parti rosse) quando $n \to \infty$?
• Formalizzazione: Questo problema è modellato attraverso una funzione di partizione pesata $p_w(n)$ definita dalla funzione generatrice:
  $$\sum_{n=1}^\infty p_w(n) z^n = \prod_{m \in \mathbb{N}} (1 - z^m)^{-w(m)}$$
  dove i pesi $w(m)$ sono convoluzioni della funzione di Möbius $\mu$. In particolare, il caso $w(n) = \mu(n)$ corrisponde esattamente alla differenza tra il numero di partizioni pari e dispari ($p_\mu(n) = E(n) - O(n)$).

2. Metodologia

Gli autori utilizzano il Metodo del Cerchio di Hardy-Littlewood per analizzare il comportamento asintotico delle funzioni di partizione. La strategia si articola in tre fasi principali:

1. Analisi delle Fasi Maggiori (Major Arcs):

   • Si studia il contributo delle frazioni $a/q$ con piccoli denominatori.
   • Viene stabilita una formula esplicita che collega il contributo delle fasi maggiori agli zeri non banali della funzione Zeta di Riemann $\zeta(s)$. Questo è un risultato cruciale che collega la teoria delle partizioni pesate direttamente alla distribuzione degli zeri di $\zeta(s)$.
   • Si utilizzano tecniche di integrazione complessa (spostamento del contorno) e residui, gestendo i poli derivanti da $\Gamma(s)$, $\zeta(s+1)$ e $1/\zeta^2(s)$.

2. Analisi delle Fasi Minori (Minor Arcs):

   • L'obiettivo è dimostrare che il contributo delle fasi minori è trascurabile rispetto a quello delle fasi maggiori (o comunque sufficientemente piccolo da fornire un limite superiore).
   • Per ottenere questo, gli autori devono stimare somme esponenziali della forma $S_{\mu_k}(X, \alpha) = \sum_{n \le X} \mu_k(n) e(n\alpha)$, dove $\mu_k$ è la convoluzione di Dirichlet di $k$ funzioni di Möbius.
   • Vengono sviluppate nuove stime per queste somme esponenziali, utilizzando decomposizioni di tipo I e II (basate su lavori di Koukoulopoulos) e tecniche di ottimizzazione dei parametri.

3. Stime di Somma Esponenziale:

   • Il cuore tecnico del lavoro risiede nella dimostrazione di nuovi limiti superiori per le somme esponenziali twistate da convoluzioni di Möbius. Gli autori generalizzano i risultati noti per $\mu(n)$ al caso $\mu_k(n)$ e ad altre funzioni aritmetiche correlate (come indicatori di numeri senza fattori quadrati o quadrati completi).

3. Risultati Chiave e Contributi

A. Risoluzione del Problema delle Partizioni

• Teorema 1.1: Si dimostra che il numero di partizioni ammissibili pari è asintotico al numero di partizioni ammissibili dispari. In termini tecnici, la differenza $p_\mu(n)$ è trascurabile rispetto alla somma totale $A(n)$.
• Teorema 1.2: Viene stabilito un limite superiore molto forte per la funzione di partizione pesata con convoluzione di Möbius ($k=2$):
  $$\log p_{\mu * \mu}(n) \ll_B \frac{\sqrt{n}}{(\log n)^B}$$
  per ogni $B > 0$ fissato. Questo implica che la differenza tra partizioni pari e dispari cresce molto più lentamente della partizione totale.

B. Nuove Stime per Somme Esponenziali

• Teorema 1.4: Fornisce un limite superiore per la somma esponenziale $S_\mu(X, \alpha)$ che migliora e generalizza i risultati precedenti, dipendendo dalla distanza di $\alpha$ da una frazione ridotta $a/q$.
• Teorema 1.5: Estende le stime alle convoluzioni $\mu_k$ per qualsiasi $k \ge 2$, fornendo limiti della forma:
  $$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}$$
  dove gli esponenti $a_k, b_k, c_k$ sono definiti ricorsivamente.
• Teoremi 1.6 e 1.7: Estendono questi risultati a convoluzioni di Möbius con funzioni indicatrici di numeri "squarefull" e "squarefree".

C. Formula Esplicita e Zeri di Riemann

• Teorema 1.3: Viene derivata una formula esplicita per la funzione $\Phi_{\mu*\mu}(z)$ (il logaritmo della funzione generatrice) che esprime il valore in termini di:
  • Termini principali legati a $X$ e $\theta$.
  • Una somma sugli zeri non banali $\rho$ della funzione Zeta di Riemann.
  • Una somma sugli zeri banali di $\zeta(s)$.
    Questo risultato è analogo alla formula esplicita classica di von Mangoldt per la funzione $\psi(x)$, ma applicata al contesto delle partizioni pesate.

4. Significato e Impatto

• Indipendenza dall'Ipotesi di Riemann: I risultati principali (come i limiti superiori per le partizioni) sono dimostrati incondizionatamente. Non richiedono l'ipotesi di Riemann, sebbene la formula esplicita mostri chiaramente come la distribuzione degli zeri di $\zeta(s)$ influenzi il comportamento delle partizioni.
• Generalizzazione: Il lavoro generalizza significativamente i risultati precedenti di Vaughan, Gafni e altri, che si erano occupati di partizioni in numeri primi o potenze, estendendoli a pesi che assumono valori sia positivi che negativi (tramite la funzione di Möbius).
• Nuovi Strumenti Analitici: Le nuove stime per le somme esponenziali twistate da $\mu_k$ sono di interesse indipendente per la teoria dei numeri analitica e potrebbero essere applicate ad altri problemi di partizioni o somme aritmetiche.
• Connessione Profonda: Il paper rafforza il legame tra la teoria delle partizioni e la teoria analitica dei numeri, dimostrando come le proprietà degli zeri della funzione Zeta si riflettano nella struttura asintotica delle partizioni di interi.

In sintesi, il paper risolve una questione aperta sulla parità delle partizioni con vincoli aritmetici, fornendo al contempo strumenti analitici potenti per la stima di somme esponenziali complesse e una formula esplicita che unisce la teoria delle partizioni alla distribuzione degli zeri della funzione Zeta di Riemann.