A note on a conjecture of Ng

Technische Samenvatting van "A Note on a Conjecture of Ng"

Probleemstelling
Deze nota behandelt Vraag 5, Probleem 1 uit de Comparative Prime Number Theory Problem List, oorspronkelijk voorgesteld door Nathan Ng. Het centrale probleem betreft het asymptotische gedrag van het tweede moment van een specifieke ratio van zeta-functies, gesommeerd over de niet-triviale nulpunten van de Riemann-zeta-functie, $\zeta(s)$.

Ng's Conjectuur 1 stelt dat, uitgaande van de Riemann-hypothese (RH) en de eenvoud van de niet-triviale nulpunten $\rho = 1/2 + i\gamma$, het volgende asymptotische verband geldt als $T \to \infty$:
$$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \sim \frac{T}{2\pi}.$$
De auteur merkt op dat hoewel Ng's oorspronkelijke stelling impliciet RH veronderstelde, hij heeft aangegeven in privécommunicatie dat de conjectuur waarschijnlijk geldt onder de aanname van enkel de eenvoud van de nulpunten. Het huidige werk gaat uit van beide aannames om de summanden goed gedefinieerd te houden en om specifieke symmetrieën in het bewijs te kunnen benutten.

Methodologie
De bewijsstrategie volgt de aanpak van Milinovich en Ng, die op haar beurt gebaseerd is op het werk van Rudnick en Soundararajan. De kerntechniek bestaat uit het gebruik van een mollifier om de som van onderaf te begrenzen.

1. Constructie van de Mollifier: De auteur definieert een gesmoothte Dirichlet-polynoom, $L^\dagger_\xi(s)$, die de functie $\zeta(2s)/\zeta(s)$ benadert. Deze benadering wordt gegenereerd door de Liouville-functie $\lambda(n)$, die voldoet aan $\sum \lambda(n)n^{-s} = \zeta(2s)/\zeta(s)$. De polynoom is gedefinieerd als:
   $$L^\dagger_\xi(s) = \sum_{n \le \xi} \frac{\lambda(n)}{n^s} P\left(\frac{\log(\xi/n)}{\log \xi}\right),$$
   waarbij $\xi = T^\vartheta$ voor een vaste $0 < \vartheta < 1$, en $P(x)$ een polynoom is met $P(0)=0$ en $P(1)=1$.

2. Cauchy-Schwarz Ongelijkheid: Onder de aanname van RH geldt de symmetrie $L^\dagger_\xi(\rho) = L^\dagger_\xi(1-\rho)$ voor niet-triviale nulpunten. Dit maakt de toepassing van de Cauchy-ongelijkheid mogelijk om een ondergrens vast te stellen:
   $$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \ge \frac{|M_1|^2}{M_2},$$
   waarbij $M_1 = \sum_{0<\gamma \le T} \frac{\zeta(2\rho)}{\zeta'(\rho)} L^\dagger_\xi(1-\rho)$ en $M_2 = \sum_{0<\gamma \le T} |L^\dagger_\xi(\rho)|^2$.

3. Contourintegratie: Om de asymptotica van $M_1$ en $M_2$ te evalueren, gebruikt de auteur de residustheorema van Cauchy. De sommen worden omgezet in contourintegralen betreffende $\zeta(2s)/\zeta(s)$ en $\zeta'(s)/\zeta(s)$ respectievelijk. De contouren zijn rechthoekige paden die naar de kritieke lijn zijn verschoven, en de integralen worden opgesplitst in verticale en horizontale segmenten.

   • Gemiddelde Waarden Stellingen: De evaluatie van de hoofdbedragen berust op de Montgomery-Vaughan gemiddelde waarde stelling voor Dirichlet-polynomen om de oscillerende integralen te behandelen.
   • Functionele Vergelijkingen: Voor de linker verticale contouren wordt de functionele vergelijking van de zeta-functie gebruikt. Een cruciaal technisch onderscheid ten opzichte van eerder werk (Milinovich-Ng) is de behandeling van de $\zeta(2s)$-factor in de teller, die de afname van $1/\zeta(s)$ compenseert, wat een analyse vereist van de oscillatie van de ratio $\chi(2s)/\chi(s)$ via de van der Corput tweede-afgeleide test.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de volgende asymptotische schattingen vast voor de momenten $M_1$ en $M_2$ (Proposities 5 en 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]$.

Door deze schattingen in de ondergrens-ongelijkheid in te vullen en de keuze van de polynoom $P(x)$ te optimaliseren, leidt de auteur de hoofdstelling af:

Theorem 2: Uitgaande van de Riemann-hypothese en de aanname dat de niet-triviale nulpunten van $\zeta(s)$ eenvoudig zijn, geldt voor elke vaste $\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$$
voor voldoende grote $T$.

De optimalisatie wordt bereikt door de constante polynoom $P(x) = 1$ te kiezen en de limiet te nemen terwijl $\vartheta \to 1^-$.

Betekenis en Claims
Het artikel claimt een rigoureuze ondergrens voor de betreffende som. De betekenis van het resultaat ligt in de kwantitatieve relatie tot de conjectuur van Ng:

• De bewezen ondergrens is $\frac{1}{4\pi}T$.
• De geconjectureerde asymptotische waarde is $\frac{1}{2\pi}T$.
• Concluderend stelt het resultaat een ondergrens vast die exact de helft is van de geconjectureerde waarde.

De auteur trekt een parallel met het werk van Milinovich en Ng over de conjectuur van Gonek (betreffende $\sum |\zeta'(\rho)|^{-2}$), waar een vergelijkbaar factor-van-twee verschil bestaat tussen de bewezen ondergrens en de geconjectureerde asymptotische waarde. Het artikel claimt niet de volledige conjectuur te bewijzen, maar levert een niet-triviale ondergrens die de juiste orde van grootte ($O(T)$) bevestigt, terwijl het ook de moeilijkheid benadrukt om de kloof naar de geconjectureerde constante te dichten.