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

Technische Samenvatting: Gemiddelden van het Diagonale Elliott-Halberstam Probleem Getwogen door de Möbiusfunctie met Sobolev- en Hölder-Zygmund Gewichten

Probleemstelling
Het artikel onderzoekt gewogen gemiddelde varianten van de Elliott-Halberstam (EH) conjectuur getwist door de Möbiusfunctie, aangeduid als $EH_\mu(N^\theta)$. De klassieke $EH_\mu$ conjectuur stelt dat de distributie van priemgetallen gewogen door de Möbiusfunctie in rekenkundige progressies een sterke annulatie vertoont, een conditie die cruciaal is voor het overwinnen van het "pariteitsprobleem" in zeefmethoden. Specifiek stelt de conjectuur dat voor $0 < \theta < 1$, de som van de discrepanties tussen de werkelijke distributie van $\Lambda(n)\mu(N-n)$ in residu klassen en hun verwachte gemiddelde begrensd wordt door $N/\log(N)^A$.

De auteur merkt op dat het bewijzen van $EH_\mu(N^\theta)$ voor $\theta > 1/2$, in combinatie met de klassieke Elliott-Halberstam conjectuur, de binaire Goldbach-conjectuur voor voldoende grote even gehele getallen impliceert. Echter, de oorspronkelijke formulering omvat een maximum over het bereik $y \le N$, wat de analyse bemoeilijkt. Het artikel richt zich op een "diagonale" versie van dit probleem, aangeduid als $dEH_{\mu, \log}(N^\theta)$, waarbij de sommatie wordt beperkt tot het diagonale geval $n \equiv N \pmod q$ (effectief $y=N$ instel en het maximum over $y$ verwijderen). Het primaire doel is het vaststellen van bovengrenzen voor gewogen gemiddelden van deze diagonale getwiste som, waarbij de gewichten $f$ behoren tot specifieke functieruimten, waarmee de consistentie met de geconjectureerde grenzen wordt aangetoond.

Methodologie
De kerninnovatie in de methodologie is de toepassing van een twee-dimensionale Abel-sommatieformule om de betrokken rekenkundige functies in het gewogen gemiddelde te "ontkoppelen". Het artikel maakt gebruik van twee verschillende benaderingen afhankelijk van de regulariteit van de gewichtsfunctie $f$:

1. Continue Geval (Sobolev-ruimten): Voor gewichten $f$ in de Sobolev-ruimte $W^{2,1}$, gebruikt de auteur een continue twee-dimensionale Abel-sommatieformule (Theorema 8). Deze identiteit relateert het gewogen gemiddelde van de convolutie van twee rekenkundige functies aan de Laplace-convolutie van hun ongewogen expliciete formules. Dit stelt de auteur in staat om de expliciete formules voor de von Mangoldt-functie $\Lambda(n)$ en de Mertens-functie $M(n)$ (involvende sommen over niet-triviale nulpunten van $L$-functies) direct in de integraalrepresentatie te substitueren.

2. Discrete Geval (Hölder-Zygmund Ruimten): Voor gewichten met een lagere regulariteit, specifiek de Hölder-Zygmund ruimten $C_\delta$ voor $1 \le \delta < 2$, gebruikt de auteur een discrete versie van de Abel-sommatieformule (Theorema 9). Deze benadering vervangt de tweede afgeleide van het gewicht door tweede-orde voorwaartse verschillen ($\Delta^2_{1/N} f$). Deze verschuiving maakt het mogelijk om de analyse te laten steunen op de eigenschappen van Hölder-Zygmund ruimten, die de groei van deze eindige verschillen beheersen.

Belangrijke Aannames
De resultaten zijn voorwaardelijk aan verschillende standaard en geconjectureerde hypothesen in de analytische getaltheorie:

• Generalized Riemann Hypothesis (GRH): Aangenomen voor de relevante $L$-functies.
• Gonek-Hejjal Conjecture (Zwakke Versie): Specifiek, Conjecture 19, die stelt dat $\sum_{0<\gamma \le T} |\zeta'(\rho)|^{-2} \ll T$. Deze wordt gebruikt om de absolute convergentie van dubbele reeksen involving de niet-triviale nulpunten van de Riemann zeta-functie en Dirichlet $L$-functies te waarborgen.
• Eenvoud van Nulpunten: De analyse gaat ervan uit dat de niet-triviale nulpunten van $\zeta(s)$ simpel zijn.

Belangrijkste Bijdragen en Resultaten

1. Reductie naar Diagonale Conjectuur: Het artikel toont eerst aan (Sectie 2) dat de diagonale conjectuur $dEH_{\mu, \log}$ voldoende is om de binaire Goldbach-conjectuur te bewijzen, wat de studie van deze specifieke variant rechtvaardigt.

2. Expliciete Formules voor Gewogen Gemiddelden:

   • Sobolev Gewichten ($W^{2,1}$): Theorema 21 biedt een afgekapte expliciete formule voor het gewogen gemiddelde involving een gewicht $f \in W^{2,1}$. De hoofdbeg term wordt uitgedrukt als een dubbele som over de niet-triviale nulpunten van $\zeta(s)$ en $L(s, \chi)$, gewogen door Gamma-functies en een integraal van de tweede afgeleide van $f$.
   • Hölder-Zygmund Gewichten ($C_\delta$): Theorema 23 biedt een vergelijkbare expliciete formule voor gewichten in $C_\delta$, waarbij het integraal involving $f''$ wordt vervangen door een som involving de tweede voorwaartse verschil van $f$.

3. Bovengrenzen voor Gewogen Gemiddelden:

   • Sobolev Geval: Onder GRH en de zwakke Gonek-Hejhal conjecture, stelt Theorema 22 vast dat voor gewichten in $W^{2,1}$, het gewogen gemiddelde van het diagonale getwiste EH-probleem voldoet aan de grens $\ll_\varepsilon N^{2-\varepsilon} E(f'')$ voor het volledige bereik $0 < \theta < 1$ (specifiek $\theta = 1-2\varepsilon$).
   • Hölder-Zygmund Geval: Theorema 24 breidt deze resultaten uit naar gewichten in $C_\delta$. Het bereikbare $\theta$ hangt af van de regulariteitsparameter $\delta$:
     • Voor $\delta \in [3/2, 2)$, geldt de grens voor $\theta < \delta - 1 - 2\varepsilon$.
     • Voor $\delta \in [1, 3/2)$, geldt de grens voor $\theta < 1/2 - 2\varepsilon$.
   • Logaritmische Gewichten: Sectie 5 breidt deze resultaten uit naar het geval waarbij de Möbiusfunctie wordt vermenigvuldigd met een logaritme, $\mu(n)\log(n)$, en toont analoge grenzen aan (Theorema 26 en 28).

4. Voorbeelden: Sectie 6 past deze algemene stellingen toe op specifieke gewichtsfuncties, inclusief klassieke Cesàro-Riesz gewichten (die in de Sobolev-klasse vallen voor $k>1$) en een specifieke Zygmund-type gewicht $f_{Zyg}(x) = (1-x)\sin(\log(1-x))$, om de toepasbaarheid van het Hölder-Zygmund kader te demonstreren.

Betekenis en Claims
Het artikel claimt een consistente bovengrens te bieden voor het gewogen gemiddelde van het diagonale getwiste Elliott-Halberstam probleem. De primaire betekenis ligt in het aantonen dat deze grenzen consistent zijn met de "diagonale versies" van de conjectuur (waar $y=N$) onder de aanname van GRH en een zwakke vorm van de Gonek-Hejhal conjecture.

De auteur benadrukt dat de methode succesvol gewichten met variërende graden van regulariteit kan behandelen. Door de discrete Abel-sommatieformule te gebruiken, breidt het artikel de analyse uit voorbij de gladde Sobolev-gewichten naar de bredere klasse van Hölder-Zygmund functies. De resultaten suggereren dat de "diagonale" formulering, hoewel zwakker in termen van het maximum over $y$, de noodzakelijke kracht behoudt om de verwachte annulatie in de gewogen gemiddelden te verkrijgen, mits de gewichten voldoende regelmatig zijn (of de regulariteitsdrempel $\theta$ dienovereenkomstig wordt aangepast). Het werk claimt niet de volledige Elliott-Halberstam-conjectuur of de Goldbach-conjectuur onvoorwaardelijk te bewijzen, maar stelt de validiteit van de gewogen gemiddelde varianten vast onder standaard analytische hypothesen.