A note on a conjecture of Ng

Technisches Resümee zu „A Note on a Conjecture of Ng“

Problemstellung
Dieser Hinweis befasst sich mit Frage 5, Problem 1 aus der „Comparative Prime Number Theory Problem List“, die ursprünglich von Nathan Ng vorgeschlagen wurde. Das zentrale Problem betrifft das asymptotische Verhalten des zweiten Moments eines spezifischen Verhältnisses von Zeta-Funktionen, summiert über die nicht-trivialen Nullstellen der Riemannschen Zeta-Funktion $\zeta(s)$.

Ng's Vermutung 1 postuliert, dass unter Annahme der Riemannschen Hypothese (RH) und der Einfachheit der nicht-trivialen Nullstellen $\rho = 1/2 + i\gamma$ als $T \to \infty$ folgendes gilt:
$$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \sim \frac{T}{2\pi}.$$
Der Autor stellt fest, dass Ng's ursprüngliche Aussage implizit die RH voraussetzte, er jedoch in privater Mitteilung angedeutet hat, dass die Vermutung wahrscheinlich allein unter der Annahme der Einfachheit der Nullstellen gilt. Die vorliegende Arbeit fährt unter beiden Annahmen fort, um sicherzustellen, dass die Summanden wohldefiniert sind und um spezifische Symmetrien im Beweis nutzen zu können.

Methodik
Die Beweisstrategie folgt dem Ansatz von Milinovich und Ng, welcher wiederum auf der Arbeit von Rudnick und Soundararajan basiert. Die Kerntechnik besteht in der Verwendung eines Mollifiers, um die Summe von unten zu beschränken.

1. Konstruktion des Mollifiers: Der Autor definiert ein geglättetes Dirichlet-Polynom $L^\dagger_\xi(s)$, das die Funktion $\zeta(2s)/\zeta(s)$ approximiert. Diese Approximation wird durch die Liouville-Funktion $\lambda(n)$ erzeugt, welche die Eigenschaft $\sum \lambda(n)n^{-s} = \zeta(2s)/\zeta(s)$ erfüllt. Das Polynom ist definiert als:
   $$L^\dagger_\xi(s) = \sum_{n \le \xi} \frac{\lambda(n)}{n^s} P\left(\frac{\log(\xi/n)}{\log \xi}\right),$$
   wobei $\xi = T^\vartheta$ für ein festes $0 < \vartheta < 1$ ist und $P(x)$ ein Polynom mit $P(0)=0$ und $P(1)=1$ ist.

2. Cauchy-Schwarz-Ungleichung: Unter der Annahme der RH gilt die Symmetrie $L^\dagger_\xi(\rho) = L^\dagger_\xi(1-\rho)$ für nicht-triviale Nullstellen. Dies ermöglicht die Anwendung der Cauchy-Ungleichung, um eine untere Schranke zu etablieren:
   $$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \ge \frac{|M_1|^2}{M_2},$$
   wobei $M_1 = \sum_{0<\gamma \le T} \frac{\zeta(2\rho)}{\zeta'(\rho)} L^\dagger_\xi(1-\rho)$ und $M_2 = \sum_{0<\gamma \le T} |L^\dagger_\xi(\rho)|^2$.

3. Konturintegration: Um die Asymptotik von $M_1$ und $M_2$ auszuwerten, verwendet der Autor den Residuensatz. Die Summen werden in Konturintegrale umgewandelt, die $\zeta(2s)/\zeta(s)$ bzw. $\zeta'(s)/\zeta(s)$ involvieren. Die Konturen sind rechteckige Pfade, die zur kritischen Geraden verschoben sind, und die Integrale werden in vertikale und horizontale Segmente aufgeteilt.

   • Mittelwertsätze: Die Auswertung der Hauptterme stützt sich auf den Montgomery-Vaughan-Mittelwertsatz für Dirichlet-Polynome, um die oszillatorischen Integrale zu behandeln.
   • Funktionalgleichungen: Für die linken vertikalen Konturen wird die Funktionalgleichung der Zeta-Funktion genutzt. Eine wesentliche technische Unterscheidung zur vorangegangenen Arbeit (Milinovich-Ng) ist die Handhabung des $\zeta(2s)$-Faktors im Zähler, der den Zerfall von $1/\zeta(s)$ kompensiert, was eine Analyse der Oszillation des Verhältnisses $\chi(2s)/\chi(s)$ mittels des van-der-Corput-Zweit-Ableitungs-Tests erfordert.

Wesentliche Beiträge und Ergebnisse
Das Paper etabliert die folgenden asymptotischen Schätzungen für die Momente $M_1$ und $M_2$ (Propositionen 5 und 6):

• $M_1 \sim \frac{T}{2\pi} (\log T) \vartheta \int_0^1 P(x) dx$.
• $M_2 \sim \frac{T}{2\pi} (\log T)^2 \left[ \vartheta \int_0^1 P(x)^2 dx + \vartheta^2 \left(\int_0^1 P(x) dx\right)^2 \right]$.
  Durch Einsetzen dieser Schätzungen in die untere Schranken-Ungleichung und Optimierung der Wahl des Polynoms $P(x)$ leitet der Autor das Haupttheorem ab:

Theorem 2: Unter Annahme der Riemannschen Hypothese und der Einfachheit der nicht-trivialen Nullstellen von $\zeta(s)$, gilt für jedes feste $\epsilon > 0$:
$$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \ge \left( \frac{1}{4\pi} - \epsilon \right) T$$
für hinreichend großes $T$.

Die Optimierung erfolgt durch die Wahl des konstanten Polynoms $P(x) = 1$ und das Bilden des Grenzwerts für $\vartheta \to 1^-$.

Bedeutung und Behauptungen
Das Paper behauptet eine rigorose untere Schranke für die betreffende Summe. Die Bedeutung des Ergebnisses liegt in seiner quantitativen Beziehung zu Ng's Vermutung:

• Die bewiesene untere Schranke ist $\frac{1}{4\pi}T$.
• Die vermutete Asymptotik ist $\frac{1}{2\pi}T$.
• Folglich etabliert das Ergebnis eine untere Schranke, die genau halb groß ist wie der vermutete Wert.

Der Autor zieht eine Parallele zur Arbeit von Milinovich und Ng zu Gonek's Vermutung (bezüglich $\sum |\zeta'(\rho)|^{-2}$), bei der eine ähnliche Differenz des Faktors zwei zwischen der bewiesenen unteren Schranke und der vermuteten Asymptotik besteht. Das Paper beansprucht nicht, die vollständige Vermutung zu beweisen, liefert aber eine nicht-triviale untere Schranke, die die korrekte Größenordnung ($O(T)$) bestätigt, während sie gleichzeitig die Schwierigkeit aufzeigt, die Lücke zur vermuteten Konstante zu schließen.