Amplified moments of the Riemann zeta function

Technisches Resümee: Verstärkte Momente der Riemannschen Zeta-Funktion

Problemstellung
Die Bestimmung der Momente der Riemannschen Zeta-Funktion, definiert als $M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$, ist ein zentrales Problem der analytischen Zahlentheorie. Während asymptotische Formeln für $k=1$ und $k=2$ (Hardy–Littlewood und Ingham) bekannt sind und scharfe Schranken für höhere $k$ existieren (unter der Voraussetzung der Riemannschen Hypothese für obere Schranken), bleiben unbedingte asymptotische Formeln für $k \ge 3$ außer Reichweite. Das primäre Ziel dieser Arbeit ist es, verbesserte, unbedingte effektive untere Schranken für die klassischen Momente $M_k(T)$ und verschiedene gemeinsame Momente (joint moments), die Ableitungen von $\zeta(s)$ beinhalten, zu etablieren. Diese Schranken werden mit den Vermutungen von Keating–Snaith, Keating–Wei und anderen verglichen, die durch die Theorie der Zufallsmatrizen motiviert sind.

Methodik
Die Autoren verwenden eine Methode der „verstärkten Momente“ (amplified moments), bei der verdrehte Mittelwerte genutzt werden, um höhere Momente zu untersuchen. Die Kerntechnik ist die Anwendung der Hölder-Ungleichung auf Integrale der Form:
$$\int_0^T |\zeta(1/2 + it)|^{2k} dt \ge \frac{\left( \int_0^T |\zeta(1/2 + it)|^4 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-4} dt \right)^{k-1}}{\left( \int_0^T |\zeta(1/2 + it)|^2 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-2} dt \right)^{k-2}}$$
wobei $A(s)$ ein Dirichlet-Polynom der Länge $y = T^\theta$ (oder $T^\vartheta$ für die vierten Momente) mit glatten polynomischen Koeffizienten $P[n]$ ist.

Zentrale methodische Komponenten sind:

1. Zweiteiliger Verstärker (Two-Piece Amplifier): Im Gegensatz zu früheren Ansätzen, die ein einzelnes Dirichlet-Polynom verwendeten, nutzen die Autoren einen „zweiteiligen“ Verstärker $A(s) + \chi(s)A(1-s)$, der die approximative Funktionalgleichung nachahmt. Dies ermöglicht eine bessere Modellierung von $\zeta(s)$ und erleichtert die Handhabung gemeinsamer Momente.
2. Binomialentwicklung: Die Potenz des Verstärkers wird mittels des Binomialsatzes expandiert, wodurch das Integral in einen Hauptterm (diagonale Beiträge) und oszillatorische Terme unter Beteiligung von $\chi(1-s)$ zerlegt wird.
3. Asymptotische Auswertung: Die Autoren etablieren asymptotische Formeln für die verdrehten zweiten und vierten Momente mit hohen Potenzen des Verstärkers. Sie zeigen, dass Terme mit hohen Potenzen von $\chi(1-s)$ (speziell $\nu \ge 2$ für zweite Momente und $\nu \ge 3$ für vierte Momente) aufgrund schneller Oszillation vernachlässigbar sind ($O(T^{1-\varepsilon})$), sofern die Längenparameter des Verstärkers $\theta_k < 1/(2k)$ und $\vartheta_k < 1/(4k)$ erfüllen.
4. Polytop-Integrale: Die Hauptterme werden auf hochdimensionale Integrale über Polytope (Simplexes) reduziert. Diese Integrale werden explizit unter Verwendung von Mellin-Transformationen und den Eigenschaften der Riemannschen Zeta-Funktion ausgewertet, was Ausdrücke liefert, die die Barnes $G$-Funktion und arithmetische Faktoren beinhalten.
5. Optimierung: Die Koeffizienten des Polynoms $P(x)$ werden numerisch (unter Verwendung von Wolfram Mathematica) optimiert, um die resultierenden unteren Schranken zu maximieren.

Wesentliche Beiträge und Ergebnisse

• Unbedingte untere Schranken für klassische Momente:
  Das Paper etabliert eine neue unbedingte untere Schranke für das sechste Moment:
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  Dies verbessert die bisherigen Schranken von Conrey–Ghosh, Soundararajan und Page und nähert sich dem von Keating–Snaith vermuteten Wert $42c_3 T (\log T)^9$ an.

• Ableitungsmomente:
  Neue unbedingte untere Schranken werden für die sechsten Momente der ersten und zweiten Ableitungen von $\zeta(s)$ gewonnen:
  $$\int_0^T |\zeta'(1/2 + it)|^6 dt \ge (0.549 + o(1))c_3 T (\log T)^{15}$$
  $$\int_0^T |\zeta''(1/2 + it)|^6 dt \ge (0.0231 + o(1))c_3 T (\log T)^{21}$$
  Diese Ergebnisse verbessern die bisherigen Schranken von Page und anderen.

• Gemeinsame Momente (Joint Moments):
  Die Autoren liefern unbedingte untere Schranken für mehrere gemeinsame Momente, die $\zeta(s)$ und seine Ableitungen beinhalten (z. B. $\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$, etc.). Diese Schranken stehen in starkem Einklang mit den Vermutungen von Keating–Wei.

• Verfeinerung der Schranken von Soundararajan (Theorem 10):
  Das Paper entfernt die Annahme der Lindelöfschen Hypothese aus den Schranken von Soundararajan für $M_5(T)$ und $M_6(T)$ und macht diese damit unbedingt. Darüber hinaus verbessert die Einführung eines zweiten Teils zum Verstärker die unteren Schranken für $M_k(T)$ für $7 \le k \le 11$. Zum Beispiel:
  $$M_5(T) \ge (6484 + o(1))c_5 T (\log T)^{25}$$
  $$M_6(T) \ge (56260 + o(1))c_6 T (\log T)^{36}$$
  Diese Ergebnisse werden durch Modifikation der Argumente von Soundararajan erzielt, um die oszillatorischen Terme unbedingt zu behandeln.

• Allgemeine gemeinsame Momente (Theorem 11):
  Eine allgemeine unbedingte untere Schranke wird für alle gemeinsamen ganzzahligen Momente von $\zeta(s)$ und seinen Ableitungen etabliert. Die Schranke wird durch eine Konstante $C(a_1, \dots, a_K)$ angegeben, die aus einem Euler-Produkt und einer Ableitung einer rationalen Funktion abgeleitet ist, was konsistent mit den Vorhersagen aus der Theorie der Zufallsmatrizen ist.

Bedeutung und Ansprüche
Das Paper beansprucht, den Wissensstand bezüglich der unteren Schranken für Zeta-Momente signifikant voranzubringen. Seine primäre Bedeutung liegt in:

1. Entfernung bedingter Annahmen: Es schafft es erfolgreich, die Anforderung der Lindelöfschen Hypothese für spezifische hohe Momente ($k=5, 6$) zu entfernen und bietet unbedingte Schranken für eine breite Palette gemeinsamer Momente.
2. Verbesserung numerischer Konstanten: Die abgeleiteten unteren Schranken liegen numerisch näher an den vermuteten Werten (Keating–Snaith, Keating–Wei) als alle bisherigen unbedingten Ergebnisse.
3. Methodische Flexibilität: Der „Zwei-Teile“-Ansatz für verstärkte Momente erweist sich als besonders effektiv für gemeinsame Momente, wobei die Schwierigkeiten der Berechnung von Polytope-Integralen für höhere Momente durch die Kombination mit den Verstärker-Techniken von Soundararajan umgangen werden.

Die Autoren merken an, dass obwohl ihre Methode starke Schranken liefert, die zulässige Länge des Dirichlet-Polynoms mit steigender Ordnung des Moments $k$ abnimmt, was die Rekonstruktion bestimmter uniformer Phänomene einschränkt (wie sie etwa von Bui, Hall und Subira Jorge beobachtet wurden). Für das spezifische Ziel, effektive unbedingte untere Schranken für ganzzahlige Momente zu erhalten, erweist sich der Ansatz jedoch als äußerst erfolgreich.