Correlations of multiplicative functions with their partial sums

Technische Samenvatting: Correlaties van Multiplicatieve Functies met Hun Partiele Sommen

Probleemstelling
Dit artikel onderzoekt de correlatie tussen multiplicatieve functies en hun bijbehorende sommatiefuncties (partiele sommen), met name gericht op de Möbius-functie $\mu(n)$ en zijn sommatiefunctie $M(n)$ (de Mertens-functie), evenals de Liouville-functie $\lambda(n)$ en zijn sommatiefunctie $L(n)$. De auteur definieert een specifieke maatstaf voor logaritmische gemiddelde correlatie:
$$\langle a(n)A(n-1) \rangle(T) = \frac{1}{\zeta(1+\delta(T))} \sum_{n \le T^{1-c}} \frac{a(n)A(n-1)}{n^{1+\delta(T)}}$$
waarbij $0 < c < 1$ en $\delta(T)$ een zorgvuldig gekozen parameter is die afneemt naarmate $T \to \infty$. Het centrale probleem is het bepalen van het asymptotische gedrag van deze correlaties onder de aanname van de Riemann-hypothese (RH) en de Vermoeden van de Eenvoudigheid van Nulpunten (SZC). De studie beoogt te verduidelijken of deze functies anticorrelatie vertonen met hun partiele sommen en om implicaties af te leiden voor de groeisnelheid van $1/\zeta'(\rho)$, waarbij $\rho$ de niet-triviale nulpunten van de Riemann-zetafunctie aanduidt.

Methodologie
De bewijzen vertrouwen op technieken uit de analytische getaltheorie, specifiek de expliciete formules die sommatiefuncties koppelen aan de nulpunten van $\zeta(s)$. De methodologie verloopt als volgt:

1. Expliciete Formules: De auteur maakt gebruik van expliciete formules voor $M(n-1)$ en $L(n-1)$ die zijn afgeleid uit de formule van Perron en de residu-rekening. Onder RH en SZC worden deze uitgedrukt als sommen over de niet-triviale nulpunten $\rho = 1/2 + i\gamma$:
   • $M(n-1) \approx \sum_{|\gamma|<T} \frac{n^\rho}{\rho \zeta'(\rho)} + \text{errortermen}$.
   • $L(n-1) \approx \frac{n^{1/2}}{\zeta(1/2)} + \sum_{|\gamma|<T} \frac{\zeta(2\rho)n^\rho}{\rho \zeta'(\rho)} + \text{errortermen}$.
2. Benaderingen met Eindige Sommen: Het artikel stelt eindige versies vast van Dirichlet-reeksidentiteiten voor $\mu(n)$, $\mu^2(n)$, $\lambda(n)$ en $\lambda^2(n)$ met behulp van partiële summatie. Deze benaderingen bevatten expliciete foutgrenzen die afhankelijk zijn van $N$ (de afsnijlimiet) en $\epsilon$.
3. Laurent-ontwikkeling en Parameterkeuze: De kern van het bewijs bestaat uit het evalueren van de gewogen som $\sum \frac{a(n)A(n-1)}{n^{1+\delta}}$. De auteur ontwikkelt $\zeta(1+\delta)$ en $\zeta(1-\rho+\delta)$ met behulp van Laurent-reeksen rond $\delta=0$. Een kritieke stap is de constructie van een specifieke functie $\delta(T)$ (afhankelijk van $T$ en de nulpunten $\rho$) die zorgt voor de convergentie van errortermen terwijl de dominante bijdragen van de nulpuntensommen worden geïsoleerd.
4. Grensanalyse: Door de afsnijlimiet $N = T^{1-c}$ te stellen en $T \to \infty$ te laten gaan, isoleert de auteur de constante termen en de sommen over nulpunten, en toont hij aan dat de errortermen verdwijnen of begrensd zijn door $O(1/N)$.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert twee hoofdstellingen die de asymptotische limieten van de correlaties beschrijven:

• Stelling 1 (Möbius-correlatie): Onder RH en SZC wordt de correlatie tussen $\mu(n)$ en $M(n-1)$ gegeven door:
  $$\langle \mu(n)M(n-1) \rangle(T) = -\frac{3}{\pi^2} \left(1 - T^{(c-1)\delta(T)}\right) + \sum_{0<\gamma<T} \frac{1}{|\rho \zeta'(\rho)|^2}$$
  Het resultaat suggereert een negatieve bias (anticorrelatie) die wordt gedomineerd door de term $-3/\pi^2$.

• Stelling 2 (Liouville-correlatie): Onder RH en SZC wordt de correlatie tussen $\lambda(n)$ en $L(n-1)$ gegeven door:
  $$\langle \lambda(n)L(n-1) \rangle(T) = \frac{1}{2} \left( \frac{1}{\zeta^2(1/2)} - 1 + T^{(c-1)\delta(T)} \right) + \sum_{0<\gamma<T} \left| \frac{\zeta(2\rho)}{\rho \zeta'(\rho)} \right|^2$$
  De leidende term $\frac{1}{2}(\frac{1}{\zeta^2(1/2)} - 1)$ is ongeveer $-0,2655$, wat eveneens een negatieve correlatie aangeeft.

• Numeriek Bewijs: Het artikel levert numerieke grafieken voor $N \le 10^7$ die aantonen dat de berekende logaritmische gemiddelden voor zowel $\mu(n)M(n-1)$ als $\lambda(n)L(n-1)$ robuust negatief zijn, in overeenstemming met de theoretische voorspellingen.

Betekenis en Implicaties
De primaire betekenis van deze resultaten ligt in hun gevolgtrekkingen met betrekking tot de grootte van de afgeleide van de zetafunctie op haar nulpunten, $1/\zeta'(\rho)$.

• Gevolgtrekking 1: Als de rechterkant van Stelling 1 negatief is (zoals gesuggereerd door de numerieke data), impliceert dit een effectieve bovengrens:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho|) \quad \text{als } |\gamma| \to \infty$$
• Gevolgtrekking 2: Evenzo impliceert een negatieve rechterkant van Stelling 2:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho| \log \log |\gamma|) \quad \text{als } |\gamma| \to \infty$$

Het artikel merkt op dat het vinden van effectieve bovengrenzen voor $1/|\zeta'(\rho)|$ een langdurig open probleem is. Waar ondergrenzen goed bestudeerd zijn, zijn effectieve bovengrenzen minder begrepen. De auteur waarschuwt dat deze numerieke resultaten voorzichtig moeten worden geïnterpreteerd, en citeert het historische voorbeeld van het vermoeden van Mertens (dat weerlegd werd ondanks sterke numerieke bewijzen) om te benadrukken dat numerieke trends geen bewijs vormen. Echter, de combinatie van de afgeleide asymptotische formules en de waargenomen negatieve correlaties suggereert dat er effectieve bovengrenzen voor $|1/\zeta'(\rho)|$ kunnen bestaan, wat een nieuw perspectief biedt op de verdeling van de nulpunten van de zetafunctie.