Negative discrete second moments of Dirichlet $L$-functions

Technische Samenvatting: Negatieve Discrete Tweede Momenten van Dirichlet L-functies

Probleemstelling
Dit artikel onderzoekt ondergrenzen voor twee specifieke discrete tweede momenten van Dirichlet $L$-functies $L(s, \chi)$, genomen over hun niet-trivialen nulpunten $\rho = \frac{1}{2} + i\gamma$. De studie richt zich op de uniformiteit van deze grenzen met betrekking tot de geleider $q$, in bijzonder in regimes waar $q$ meegroeit met de hoogte $T$ van de nulpunten. De twee momenten die worden geanalyseerd zijn:

1. Het Reciproque Moment: $\sum_{0<\gamma \le T} |L'(\rho, \chi)|^{-2}$.
2. Het Ratio-Moment: $\sum_{0<\gamma \le T} \left| \frac{L(2\rho, \chi^2)}{L'(\rho, \chi)} \right|^2$.

Deze grootheden generaliseren vermoedens en stellingen die eerder zijn vastgesteld voor de Riemann zeta-functie ($q=1$) door Gonek, Milinovich, Ng, en Sinha. De centrale uitdaging die wordt aangepakt, is het bepalen van hoe de geleider $q$ de grootte van deze sommen beïnvloedt, specifiek het identificeren van het "geleider-tekort" (conductor deficit) dat optreedt wanneer $q$ groot is ten opzichte van $T$.

Methodologie
De auteur maakt gebruik van de mollificatie-techniek, waarbij de strategie van Milinovich en Ng (die zelf gebaseerd is op het werk van Rudnick en Soundararajan) wordt aangepast. De kernaanpak omvat:

• Mollifiers: Er worden twee verschillende Dirichlet-polynomen geconstrueerd om de reciproken van de termen in de momenten te benaderen.
  • Voor het reciproque moment wordt een Möbius-getwiste polynoom $L_\psi(s) = \sum_{n \le \xi} \mu(n)\psi(n)P_n n^{-s}$ gebruikt, die overeenkomt met de Dirichlet-reeks voor $1/L(s, \chi)$.
  • Voor het ratio-moment wordt een Liouville-getwiste polynoom $\tilde{L}_\psi(s) = \sum_{n \le \xi} \lambda(n)\psi(n)P_n n^{-s}$ gebruikt, die overeenkomt met de reeks voor $L(2s, \chi^2)/L(s, \chi)$.
  • Hierbij is $\xi = T^\vartheta$ de lengte van de mollifier, en $P(x)$ een polynoom met $P(0)=0, P(1)=1$.
• Cauchy-Schwarz Ongelijkheid: De momenten worden ondergrenzen toegewezen door de Cauchy-Schwarz ongelijkheid toe te passen op sommen van de vorm $\sum \frac{1}{L'(\rho, \chi)} L_\chi(\rho)$ (en het ratio-analon). Dit reduceert het probleem tot het schatten van het eerste moment ($M_1$) en het tweede moment ($M_2$) van de gemollificeerde functies over de nulpunten.
• Contour-integratie: De sommen $M_1$ en $M_2$ worden geëvalueerd met behulp van de residustheorie over rechthoekige contouren. De integralen langs de verticale zijden leveren de hoofdtermen op, terwijl de horizontale zijden worden begrensd met grootte-schattingen voor $L$-functies.
• Uniformiteit: Een cruciaal technisch onderdeel is het handhaven van de uniformiteit in de geleider $q$. Dit vereist een zorgvuldige behandeling van de rekenkundige factoren (involvand $\phi(q)$ en $A_q$) en de fouttermen in de gemiddelde waardestellingen voor Dirichlet-polynomen. De Gegeneraliseerde Riemann Hypothese (GRH) en de eenvoud van de nulpunten worden hierbij verondersteld.

Belangrijkste Resultaten
Het artikel stelt ondergrenzen vast voor beide momenten die afhankelijk zijn van de ratio $\beta = \frac{\log T}{\log qT}$.

• Stelling 5 (Reciproque Moment): Onder aanname van GRH en eenvoudige nulpunten, voor $3 \le q \le T^A$, is de som onder begrensd door:
  $$(1-\varepsilon) \frac{A_q}{2\pi} \frac{\beta}{1+\beta} T$$
  waarbij $A_q = \frac{6}{\pi^2} \prod_{p|q} \frac{p}{p+1}$.

• Stelling 6 (Ratio-Moment): Onder aanname van GRH voor $L(s, \chi)$ (en eenvoudige nulpunten), voor $3 \le q \le T^{1-\delta}$, is de som onder begrensd door:
  $$(1-\varepsilon) \frac{\phi(q)}{q} \frac{1}{2\pi} \frac{\beta}{1+\beta} T$$
  De restrictie $q \le T^{1-\delta}$ komt voort uit het feit dat het bewijs geen GRH aanneemt voor de karakter $\chi^2$ die in de teller verschijnt; het aannemen van GRH voor $\chi^2$ zou het bereik uitbreiden naar $q \le T^A$.

• Asymptotisch Gedrag:

  • Kleine Geleiders: Als $\log q = o(\log T)$ (bijv. vaste $q$), dan gaat $\beta \to 1$. De grenzen herstellen de helft van de vermoedelijke asymptotische grootte (overeenkomstig de $q=1$ resultaten van Milinovich-Ng en Sinha).
  • Kracht-geleiders (Power Conductors): Als $q = T^A$, dan is $\beta = \frac{1}{1+A}$, en het gevangen aandeel wordt $\frac{1}{2+A}$. Bijvoorbeeld, bij $A=1$, is de grens $1/3$ van de vermoedelijke grootte.

• Hogere Momenten: Door de Hölder-ongelijkheid toe te passen, leidt de auteur ondergrenzen af voor hogere momenten ($2k$) in Corollaria 11 en 12. Deze grenzen zijn van de orde $T/(\log qT)^{k-1}$, wat aanzienlijk kleiner is dan de vermoedelijke grootheden voor $k>1$, maar het artikel benadrukt hun uniformiteit in $q$ in plaats van hun scherpte.

Conjecturen en Betekenis
Het artikel stelt dat de afgeleide ondergrenzen exact het aandeel $\frac{\beta}{1+\beta}$ van de ware asymptotische waarden vastleggen.

• Conjecturen 7 en 8: De auteur vermoedt dat de ware asymptoten respectievelijk $\frac{A_q}{2\pi}T$ en $\frac{\phi(q)}{q}\frac{T}{2\pi}$ zijn, uniform voor $q \le T^A$.
• Bron van het Tekort: Het artikel betoogt dat de factor $\frac{\beta}{1+\beta}$ geen numeriek toeval is, maar een structureel kenmerk van de diagonale Cauchy-Schwarz constructie. De gemiddelde waardestelling voor Dirichlet-polynomen beperkt de lengte van de mollifier $\xi$ tot $T^{1-\varepsilon}$, onafhankelijk van $q$. Echter, de nulpunten-dichtheid groeit met $\log qT$. Het "tekort" is de ratio van de waarde van de functie $u/(1+u)$ bij de cap $u=\beta$ tot de limiet naarmate $u \to \infty$.
• Familie-gemiddelden: De auteur suggereert dat het middelen over de familie van primitieve karakters (Conjecturen 9 en 10) mogelijk langere mollifiers toelaat (tot $(qT)^{1-\varepsilon}$), wat het gevangen aandeel in het kracht-geleider regime zou kunnen verbeteren van $\frac{1}{2+A}$ naar $\frac{1}{2}$. Het artikel bewijst dit echter niet, en merkt op dat dit nieuwe uniforme expliciete formules vereist.

Conclusie
Het artikel biedt de eerste uniforme ondergrenzen voor negatieve discrete momenten van Dirichlet $L$-functies over een breed scala aan geleiders. Het generaliseert succesvol de bekende $q=1$ resultaten en kwantificeert de degradatie van deze grenzen naarmate de geleider groeit. Het werk identificeert een specifieke structurele beperking in de huidige mollificatie-methode met betrekking tot het geleider-aspect en formuleert precieze conjecturen voor het ware asymptotische gedrag, wat uitnodigt tot verder onderzoek naar technieken voor familie-gemiddelden om het huidige "geleider-tekort" te overwinnen.