Exponential sums over Möbius convolutions with applications to partitions

1. Probleemstelling en Motivatie

Het artikel onderzoekt een specifiek type partitie van een positief geheel getal $n$, waarbij de delen (parts) van de partitie een "aritmetische smaak" hebben. De auteurs definiëren een toelaatbare partitie als een partitie waarbij elk deel een "blauw" of "rood" getal is, met de volgende restricties:

• Blauwe getallen ($B$): Kwadraatvrije getallen met een even aantal priemfactoren (waarvoor de Möbius-functie $\mu(n) = 1$).
• Rode getallen ($R$): Kwadraatvrije getallen met een oneven aantal priemfactoren (waarvoor $\mu(n) = -1$).
• Restrictie: Rode delen mogen in een partitie slechts één keer voorkomen (ze zijn "distinct"), terwijl blauwe delen herhaald mogen worden.

De auteurs definiëren $E(n)$ als het aantal even toelaatbare partities (even aantal rode delen) en $O(n)$ als het aantal oneven toelaatbare partities (oneven aantal rode delen). De centrale vraag is of deze twee aantallen asymptotisch gelijk zijn naarmate $n \to \infty$, oftewel of $E(n) - O(n) = o(E(n) + O(n))$.

Dit probleem wordt gemodelleerd via een genererende functie met gewichten $w(n) = \mu(n)$:
$$\sum_{n=1}^\infty p_\mu(n) z^n = \prod_{m=1}^\infty (1 - z^m)^{-\mu(m)}$$
Hierbij is $p_\mu(n) = E(n) - O(n)$. Het doel is een scherpe bovengrens te vinden voor $p_\mu(n)$ om te bewijzen dat het verschil tussen even en oneven partities verwaarloosbaar is ten opzichte van het totaal.

2. Methodologie

De auteurs maken gebruik van de Hardy-Littlewood cirkelmethode om de asymptotische gedrag van de partitiefunctie te analyseren. De aanpak omvat de volgende stappen:

1. Genererende Functies en Logaritmische Transformatie:
   De genererende functie $\Psi(z)$ wordt geschreven als $\exp(\Phi(z))$, waarbij $\Phi(z)$ een som is over de gewichten. Voor het geval $w(n) = (\mu * \mu)(n)$ (de Dirichlet-convolutie van de Möbius-functie met zichzelf, ook wel de Popovici-Möbius-functie $\mu_2$ genoemd), wordt de analyse uitgevoerd op $\Phi_{\mu*\mu}(z)$.

2. Verdeling van de Cirkel in Hoofd- en Bijboog:
   De integratiepad (de eenheidscirkel) wordt verdeeld in:

   • Hoofdboog (Major Arcs): Gebieden rond rationale getallen $a/q$ met kleine noemers $q$. Hier wordt de bijdrage bepaald door de singuliere rijen en de nulpunten van de Riemann-zetafunctie.
   • Bijboog (Minor Arcs): Gebieden ver weg van rationale getallen met kleine noemers. Hier moet worden aangetoond dat de bijdrage verwaarloosbaar klein is.

3. Exponentiële Sommen:
   De kern van de analyse op de bijboog vereist schattingen van exponentiële sommen van de vorm:
   $$S_{\mu_k}(X, \alpha) = \sum_{n \le X} \mu_k(n) e(n\alpha)$$
   waarbij $\mu_k$ de $k$-voudige Dirichlet-convolutie van $\mu$ is. De auteurs ontwikkelen nieuwe, sterke bovengrenzen voor deze sommen, die afhangen van de benadering van $\alpha$ door een rationale breuk $a/q$.

4. Contourintegratie en Residuen:
   Voor de hoofdboog gebruiken de auteurs contourintegratie in het complexe vlak. Ze verschuiven het integratiepad naar links en verzamelen residuen bij:

   • De pool bij $s=0$.
   • De pool bij $s=-1$.
   • De triviaal nulpunten van $\zeta(s)$.
   • Cruciaal: De niet-triviale nulpunten $\rho$ van de Riemann-zetafunctie. Dit leidt tot een expliciete formule die de partitiefunctie relateert aan deze nulpunten.

3. Belangrijkste Resultaten

Het artikel presenteert vier hoofdstellingen:

• Stelling 1.1 (Asymptotische Gelijkheid): Het aantal even toelaatbare partities van $n$ is asymptotisch gelijk aan het aantal oneven toelaatbare partities van $n$ naarmate $n \to \infty$. Dit volgt uit de bewezen bovengrens voor het verschil $p_\mu(n)$.

• Stelling 1.2 (Bovengrens voor Gewogen Partities): Voor elke vaste $B > 0$ en alle $n \ge 2$ geldt:
  $$\log p_{\mu*\mu}(n) = O_B\left( \frac{\sqrt{n}}{(\log n)^B} \right)$$
  Dit betekent dat het verschil tussen even en oneven partities extreem klein is vergeleken met de totale grootte van de partitiefunctie (die groeit als $e^{c\sqrt{n}}$). De methode generaliseert voor elke $k$-voudige convolutie $\mu_k$.

• Stelling 1.3 (Expliciete Formule): De auteurs leiden een expliciete formule af voor $\Phi_{\mu*\mu}(\rho e(\theta))$ die de bijdrage van de hoofdboog relateert aan een som over de niet-triviale nulpunten $\rho$ van de Riemann-zetafunctie. De formule bevat termen die afhangen van $\zeta'(\rho)$ en $\zeta''(\rho)$, en toont een directe connectie tussen de partitietheorie en de verdeling van de zeta-nulpunten.

• Stellingen 1.4 t/m 1.7 (Exponentiële Sommen):
  Er worden nieuwe, scherpe bovengrenzen bewezen voor exponentiële sommen met convoluties van de Möbius-functie.

  • Voor $S_\mu(X, \alpha)$ wordt een grens van $O(X^{4/5+\epsilon})$ bewezen.
  • Voor de tweevoudige convolutie $S_{\mu*\mu}(X, \alpha)$ wordt een grens van $O(X^{16/17+\epsilon})$ bewezen (voor kleine $q$).
  • Er worden ook resultaten geleverd voor convoluties met indicatorfuncties van kwadraatvrije en kwadraatvolle getallen.
    Deze resultaten zijn onafhankelijk van belang voor de analytische getaltheorie.

4. Significatie en Bijdrage

• Oplossing van een Open Vraag: Het artikel beantwoordt de vraag of even en oneven partities (zoals gedefinieerd in sectie 1.1) asymptotisch gelijk zijn. Het antwoord is bevestigend, maar met een subtiele nuance: in tegenstelling tot veel andere partitieproblemen waar een hoofdbeginsel (main term) van orde $e^{c\sqrt{n}}$ wordt gevonden, is de hoofdbeginsel hier nul. Het resultaat is puur een bovengrens voor het oscillatoire verschil.
• Technische Innovatie: De auteurs ontwikkelen geavanceerde technieken om exponentiële sommen met Möbius-convoluties te schatten, wat essentieel is om de bijdrage van de bijboog in de cirkelmethode te onderdrukken. Dit is moeilijker dan bij standaard partities omdat de gewichten ($\mu(n)$) zowel positief als negatief zijn, wat leidt tot cancelatie in plaats van groei.
• Verbinding met Riemann Hypothesis: De expliciete formule (Stelling 1.3) toont een directe link tussen de asymptotiek van deze specifieke partities en de nulpunten van de Riemann-zetafunctie. Hoewel de auteurs de Riemann-hypothese niet bewijzen, tonen ze aan hoe de verdeling van deze nulpunten de gedetailleerde structuur van de partitiefunctie beïnvloedt.
• Generalisatie: De methode is robuust en kan worden toegepast op hogere convoluties ($\mu_k$) en andere arithmetische functies (zoals de Liouville-functie $\lambda(n)$), wat de breedte van de toepasbaarheid van de resultaten vergroot.

Samenvattend biedt dit artikel een diepgaande analyse van een subtiel partitieprobleem, combineert het moderne technieken in exponentiële sommen met klassieke cirkelmethode-technieken, en levert het een scherp inzicht in de relatie tussen arithmetische convoluties en de Riemann-zetafunctie.