Correlations of multiplicative functions with their partial sums

Technische Zusammenfassung: Korrelationen multiplikativer Funktionen mit ihren Partialsummen

Problemstellung
Diese Arbeit untersucht die Korrelation zwischen multiplikativen Funktionen und ihren entsprechenden summatorischen (Partialsummen-)Funktionen, wobei der Fokus speziell auf der Möbius-Funktion $\mu(n)$ und ihrer summatorischen Funktion $M(n)$ (die Mertens-Funktion) sowie auf der Liouville-Funktion $\lambda(n)$ und ihrer summatorischen Funktion $L(n)$ liegt. Der Autor definiert ein spezifisches Maß für die logarithmische Durchschnittskorrelation:
$$\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)}}$$
wobei $0 < c < 1$ gilt und $\delta(T)$ ein geeignet gewählter Parameter ist, der für $T \to \infty$ gegen Null konvergiert. Das zentrale Problem besteht darin, das asymptotische Verhalten dieser Korrelationen unter der Annahme der Riemannschen Vermutung (RH) und der Vermutung der Einfachheit der Nullstellen (SZC) zu bestimmen. Die Studie zielt darauf ab, zu klären, ob diese Funktionen eine Antikorrelation mit ihren Partialsummen aufweisen, und Implikationen für die Wachstumsrate von $1/\zeta'(\rho)$ abzuleiten, wobei $\rho$ die nichttrivialen Nullstellen der Riemannschen Zeta-Funktion bezeichnet.

Methodik
Die Beweise stützen sich auf Techniken der analytischen Zahlentheorie, insbesondere auf die expliziten Formeln, die summatorische Funktionen mit den Nullstellen von $\zeta(s)$ verknüpfen. Die Methodik verläuft wie folgt:

1. Explizite Formeln: Der Autor nutzt explizite Formeln für $M(n-1)$ und $L(n-1)$, die aus der Perron-Formel und der Residuenrechnung abgeleitet wurden. Unter RH und SZC werden diese als Summen über die nichttrivialen Nullstellen $\rho = 1/2 + i\gamma$ ausgedrückt:
   • $M(n-1) \approx \sum_{|\gamma|<T} \frac{n^\rho}{\rho \zeta'(\rho)} + \text{Fehlerterme}$.
   • $L(n-1) \approx \frac{n^{1/2}}{\zeta(1/2)} + \sum_{|\gamma|<T} \frac{\zeta(2\rho)n^\rho}{\rho \zeta'(\rho)} + \text{Fehlerterme}$.
2. Endliche Summenapproximationen: Die Arbeit etabliert endliche Versionen von Identitäten für Dirichlet-Reihen für $\mu(n)$, $\mu^2(n)$, $\lambda(n)$ und $\lambda^2(n)$ unter Verwendung der partiellen Summation. Diese Approximationen beinhalten explizite Fehlerabschätzungen, die von $N$ (dem Abbruchlimit) und $\epsilon$ abhängen.
3. Laurent-Reihenentwicklung und Parameterselection: Der Kern des Beweises besteht in der Auswertung der gewichteten Summe $\sum \frac{a(n)A(n-1)}{n^{1+\delta}}$. Der Autor entwickelt $\zeta(1+\delta)$ und $\zeta(1-\rho+\delta)$ unter Verwendung von Laurent-Reihen um $\delta=0$ herum. Ein kritischer Schritt ist die Konstruktion einer spezifischen Funktion $\delta(T)$ (abhängig von $T$ und den Nullstellen $\rho$), die sicherstellt, dass die Fehlerterme konvergieren, während gleichzeitig die dominanten Beiträge aus den Nullstellensummen isoliert werden.
4. Grenzwertanalyse: Durch Setzen des Abbruchlimits $N = T^{1-c}$ und Grenzübergang $T \to \infty$ isoliert der Autor die konstanten Terme und die Summen über die Nullstellen und zeigt, dass die Fehlerterme verschwinden oder durch $O(1/N)$ beschränkt sind.

Hauptbeiträge und Ergebnisse
Die Arbeit präsentiert zwei Hauptsätze, die die asymptotischen Grenzen der Korrelationen beschreiben:

• Satz 1 (Möbius-Korrelation): Unter RH und SZC ist die Korrelation zwischen $\mu(n)$ und $M(n-1)$ gegeben durch:
  $$\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}$$
  Das Ergebnis deutet auf eine negative Verzerrung (Antikorrelation) hin, die vom Term $-3/\pi^2$ dominiert wird.

• Satz 2 (Liouville-Korrelation): Unter RH und SZC ist die Korrelation zwischen $\lambda(n)$ und $L(n-1)$ gegeben durch:
  $$\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$$
  Der führende Term $\frac{1}{2}(\frac{1}{\zeta^2(1/2)} - 1)$ beträgt ungefähr $-0,2655$ und weist ebenfalls auf eine negative Korrelation hin.

• Numerische Evidenz: Die Arbeit liefert numerische Diagramme für $N \le 10^7$, die zeigen, dass die berechneten logarithmischen Mittelwerte sowohl für $\mu(n)M(n-1)$ als auch für $\lambda(n)L(n-1)$ robust negativ sind und mit den theoretischen Vorhersagen übereinstimmen.

Bedeutung und Implikationen
Die primäre Bedeutung dieser Ergebnisse liegt in ihren Folgerungen bezüglich der Größe der Ableitung der Zeta-Funktion an ihren Nullstellen, $1/\zeta'(\rho)$.

• Korollar 1: Wenn die rechte Seite von Satz 1 negativ ist (wie durch die numerischen Daten nahegelegt), impliziert dies eine effektive obere Schranke:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho|) \quad \text{für } |\gamma| \to \infty$$
• Korollar 2: Ebenso impliziert eine negative rechte Seite von Satz 2:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho| \log \log |\gamma|) \quad \text{für } |\gamma| \to \infty$$

Die Arbeit weist darauf hin, dass das Finden effektiver oberer Schranken für $1/|\zeta'(\rho)|$ ein seit langem bestehendes offenes Problem ist. Während untere Schranken gut untersucht sind, sind effektive obere Schranken weniger verstanden. Der Autor warnt davor, diese numerischen Ergebnisse vorsichtig zu interpretieren, und zitiert das historische Beispiel der Mertens-Vermutung (die trotz starker numerischer Evidenz widerlegt wurde), um zu betonen, dass numerische Trends keinen Beweis darstellen. Allerdings legt die Kombination der abgeleiteten asymptotischen Formeln und der beobachteten negativen Korrelationen nahe, dass effektive obere Schranken für $|1/\zeta'(\rho)|$ existieren könnten, was eine neue Perspektive auf die Verteilung der Nullstellen der Zeta-Funktion bietet.