Averages of diagonal Elliott-Halberstam problem twisted by Möbius function with Sobolev and Hölder-Zygmund weights

Technisches Resümee: Mittelwerte des diagonalen Elliott-Halberstamm-Problems mit Möbius-Funktion-Twist unter Verwendung von Sobolev- und Hölder-Zygmund-Gewichten

Problemstellung
Die vorliegende Arbeit untersucht gewichtete Mittelwertvarianten der Elliott-Halberstamm-Vermutung (EH), die durch die Möbius-Funktion „getwistet“ sind, bezeichnet als $EH_\mu(N^\theta)$. Die klassische $EH_\mu$-Vermutung besagt, dass die Verteilung von Primzahlen, gewichtet durch die Möbius-Funktion, in arithmetischen Progressionen eine starke Auslöschung aufweist – eine Bedingung, die entscheidend ist, um das „Paritätsproblem“ in Siebmethoden zu überwinden. Konkret besagt die Vermutung, dass für $0 < \theta < 1$ die Summe der Diskrepanzen zwischen der tatsächlichen Verteilung von $\Lambda(n)\mu(N-n)$ in Residualklassen und ihrem erwarteten Mittelwert durch $N/\log(N)^A$ beschränkt ist.

Der Autor stellt fest, dass der Beweis von $EH_\mu(N^\theta)$ für $\theta > 1/2$ in Verbindung mit der klassischen Elliott-Halberstamm-Vermutung die binäre Goldbach-Vermutung für hinreichend große gerade ganze Zahlen impliziert. Da die ursprüngliche Formulierung jedoch ein Maximum über den Bereich $y \le N$ beinhaltet, was die Analyse erschwert, konzentriert sich die Arbeit auf eine „diagonale“ Version dieses Problems, bezeichnet als $dEH_{\mu, \log}(N^\theta)$, bei der die Summation auf den diagonalen Fall $n \equiv N \pmod q$ beschränkt ist (was effektiv $y=N$ setzt und das Maximum über $y$ entfernt). Das primäre Ziel ist es, obere Schranken für gewichtete Mittelwerte dieser diagonalen getwisteten Summe zu etablieren, wobei die Gewichte $f$ zu spezifischen Funktionsräumen gehören, um eine Konsistenz mit den vermuteten Schranken zu demonstrieren.

Methodik
Die zentrale methodische Innovation ist die Anwendung einer zweidimensionalen Abel-Summation, um die beteiligten arithmetischen Funktionen in dem gewichteten Mittelwert zu „entkoppeln“. Der Autor nutzt zwei verschiedene Ansätze, abhängig von der Regularität der Gewichtungsfunktion $f$:

1. Kontinuierlicher Fall (Sobolev-Räume): Für Gewichte $f$ im Sobolev-Raum $W^{2,1}$ verwendet der Autor eine kontinuierliche zweidimensionale Abel-Summation (Theorem 8). Diese Identität setzt den gewichteten Mittelwert der Faltung zweier arithmetischer Funktionen in Beziehung zur Laplace-Faltung ihrer ungewichteten expliziten Formeln. Dies ermöglicht es dem Autor, die expliziten Formeln für die von Mangoldt-Funktion $\Lambda(n)$ und die Mertens-Funktion $M(n)$ (unter Einbeziehung der Summen über die nicht-trivialen Nullstellen von $L$-Funktionen) direkt in die Integraldarstellung einzusetzen.

2. Diskreter Fall (Hölder-Zygmund-Räume): Für Gewichte mit geringerer Regularität, speziell in den Hölder-Zygmund-Räumen $C_\delta$ für $1 \le \delta < 2$, verwendet der Autor eine diskrete Version der Abel-Summation (Theorem 9). Dieser Ansatz ersetzt die zweite Ableitung des Gewichts durch zweite Vorwärtsdifferenzen ($\Delta^2_{1/N} f$). Dieser Wechsel ermöglicht es, die Analyse auf die Eigenschaften der Hölder-Zygmund-Räume zu stützen, welche das Wachstum dieser endlichen Differenzen kontrollieren.

Zentrale Annahmen
Die Ergebnisse sind abhängig von mehreren Standard- und Vermutungen der analytischen Zahlentheorie:

• Verallgemeinerte Riemannsche Hypothese (GRH): Angenommen für die relevanten $L$-Funktionen.
• Gonek-Hejhal-Vermutung (schwache Version): Speziell Conjecture 19, die besagt, dass $\sum_{0<\gamma \le T} |\zeta'(\rho)|^{-2} \ll T$. Diese wird verwendet, um die absolute Konvergenz von Doppelreihen über die nicht-trivialen Nullstellen der Riemannschen Zeta-Funktion und der Dirichlet-$L$-Funktionen sicherzustellen.
• Einfachheit der Nullstellen: Die Analyse setzt voraus, dass die nicht-trivialen Nullstellen von $\zeta(s)$ einfach sind.

Wesentliche Beiträge und Ergebnisse

1. Reduktion auf die diagonale Vermutung: Die Arbeit zeigt zunächst (Abschnitt 2), dass die diagonale Vermutung $dEH_{\mu, \log}$ ausreicht, um die binäre Goldbach-Vermutung zu beweisen, was die Untersuchung dieser spezifischen Variante rechtfertigt.

2. Explizite Formeln für gewichtete Mittelwerte:

   • Sobolev-Gewichte ($W^{2,1}$): Theorem 21 liefert eine trunkierte explizite Formel für den gewichteten Mittelwert unter Verwendung eines Gewichts $f \in W^{2,1}$. Der Hauptterm wird als Doppelreihe über die nicht-trivialen Nullstellen von $\zeta(s)$ und $L(s, \chi)$ ausgedrückt, gewichtet durch Gamma-Funktionen und ein Integral der zweiten Ableitung von $f$.
   • Hölder-Zygmund-Gewichte ($C_\delta$): Theorem 23 liefert eine ähnliche explizite Formel für Gewichte in $C_\delta$, wobei das Integral involving $f''$ durch eine Summe unter Verwendung der zweiten Vorwärtsdifferenz von $f$ ersetzt wird.

3. Obere Schranken für gewichtete Mittelwerte:

   • Sobolev-Fall: Unter der Annahme von GRH und der schwachen Gonek-Hejhal-Vermutung stellt Theorem 22 fest, dass für Gewichte in $W^{2,1}$ der gewichtete Mittelwert des diagonalen getwisteten EH-Problems die Schranke $\ll_\varepsilon N^{2-\varepsilon} E(f'')$ für den vollen Bereich $0 < \theta < 1$ (speziell $\theta = 1-2\varepsilon$) erfüllt.
   • Hölder-Zygmund-Fall: Theorem 24 erweitert diese Ergebnisse auf Gewichte in $C_\delta$. Der erreichbare Bereich von $\theta$ hängt vom Regularitätsparameter $\delta$ ab:
     • Für $\delta \in [3/2, 2)$ gilt die Schranke für $\theta < \delta - 1 - 2\varepsilon$.
     • Für $\delta \in [1, 3/2)$ gilt die Schranke für $\theta < 1/2 - 2\varepsilon$.
   • Logarithmische Gewichte: Abschnitt 5 erweitert diese Ergebnisse auf den Fall, in dem die Möbius-Funktion mit einem Logarithmus multipliziert wird, $\mu(n)\log(n)$, und zeigt analoge Schranken (Theoreme 26 und 28).

4. Beispiele: Abschnitt 6 wendet diese allgemeinen Theoreme auf spezifische Gewichtfunktionen an, einschließlich klassischer Cesàro-Riesz-Gewichte (die in die Sobolev-Klasse für $k>1$ fallen) sowie eines spezifischen Zygmund-Typ-Gewichts $f_{Zyg}(x) = (1-x)\sin(\log(1-x))$, um die Anwendbarkeit des Hölder-Zygmund-Rahmens zu demonstrieren.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine konsistente obere Schranke für den gewichteten Mittelwert des diagonalen getwisteten Elliott-Halberstamm-Problems zu liefern. Die primäre Bedeutung liegt darin, zu zeigen, dass diese Schranken konsistent mit den „diagonalen Versionen“ der Vermutung (wo $y=N$) sind, unter der Annahme von GRH und einer schwachen Form der Gonek-Hejhal-Vermutung.

Der Autor betont, dass die Methode erfolgreich Gewichte mit unterschiedlicher Regularität handhabt. Durch die Nutzung der diskreten Abel-Summation erweitert die Arbeit die Analyse über glatte Sobolev-Gewichte hinaus auf die breitere Klasse der Hölder-Zygmund-Funktionen. Die Ergebnisse legen nahe, dass die „diagonale“ Formulierung, obwohl sie schwächer ist in Bezug auf das Maximum über $y$, die notwendige Stärke behält, um die erwartete Auslöschung in den gewichteten Mittelwerten zu erzielen, sofern die Gewichte ausreichend regulär sind (oder der Regularitätsschwellenwert $\theta$ entsprechend angepasst wird). Die Arbeit beansprucht nicht, die vollständige Elliott-Halberstamm-Vermutung oder die Goldbach-Vermutung bedingungslos zu beweisen, sondern etabliert vielmehr die Gültigkeit der gewichteten Mittelwertvarianten unter Standardannahmen der analytischen Zahlentheorie.