On the $\beta=2$ Partition function for Dirichlet $L$-functions in the $q$-aspect

Technische Samenvatting: Over de $\beta = 2$ partitiefunctie voor Dirichlet $L$-functies in de $q$-aspect

Probleemstelling
Dit artikel onderzoekt de grootte van Dirichlet $L$-functies, $L(s, \chi)$, voor typische Dirichlet-karakters $\chi$ modulo een grote priemgetal $q$, specifiek nabij het centrale punt $s=1/2$. Het primaire object van studie is de $\beta = 2$ partitiefunctie over mesoscopische intervallen:
$$Z_2(q, \chi, \theta) = \int_{|h| \le \log^\theta(q)/2} |L(1/2 + ih, \chi)|^2 dh$$
waarbij $\theta \in (-1/2, 0]$. Het werk wordt gemotiveerd door $q$-analogen van de Saksman–Webb en Fyodorov–Hiary–Keating (FHK) vermoedens, die specifieke normalisaties en limietverdelingen voorspellen voor de maxima en momenten van deze $L$-functies. Een centrale uitdaging die wordt aangepakt is het bepalen van de correcte normalisatiefactor (involvante $\sqrt{\log \log q}$) en het vaststellen van scherpe bovengrenzen voor het typische maximum van $|L(1/2+ih, \chi)|$.

Methodologie
De bewijzen steunen op een combinatie van analytische getaltheorie en probabilistische methoden, waarbij technieken die zijn ontwikkeld door Harper, Arguin en anderen voor de Riemann zeta-functie worden aangepast naar de $q$-aspect.

1. Randomisatie-argument: De kerntechniek behelst het overbrengen van deterministische karakterzommen naar sommen met betrekking tot Steinhaus willekeurige multiplicatieve functies $f(n)$. Door gebruik te maken van de orthogonaliteit van Dirichlet-karakters en specifieke momentenschattingen (Lemma 2 en Lemma 3), benadert de auteur gemiddelden over karakters met verwachtingswaarden over willekeurige multiplicatieve functies. Dit maakt het mogelijk om probabilistische instrumenten te gebruiken die anders moeilijk direct toe te passen zijn op deterministische $L$-functies.
2. Benaderende Functionele Vergelijking en Factorisatie: De $L$-functie wordt benaderd met behulp van de benaderende functionele vergelijking, waarbij de resulterende Dirichlet-polynoom wordt opgesplitst in componenten gebaseerd op de priemfactorisatie van de betrokken gehele getallen:
   • Glad deel (Smooth part): Gehele getallen met alle priemfactoren $\le P_\theta = \exp(\log^{|\theta|} q)$.
   • Ruw deel (Rough part): Gehele getallen met alle priemfactoren $> P_\theta$.
   • Intermediair deel: Gehele getallen met priemfactoren in een specifiek bereik.
     Deze factorisatie scheidt de "log-normale" bijdrage (van gladde getallen) van de "log-gecorreleerde" bijdrage (van ruwe getallen).
3. Expliciete Conditionering: Een nieuw aspect van dit werk is de behandeling van mesoscopische intervallen ($\theta < 0$). De auteur introduceert expliciete conditionering op de waarde van de Dirichlet-polynoom over de gladde getallen, aangeduid als $Y_{P_\theta}(0)$. Deze conditionering is noodzakelijk omdat het gladde deel in essentie "bevroren" is over het interval, en de waarde ervan de grootte van het integraal dicteert. Het artikel herformuleert impliciete conditionering gebruikt in eerdere werken (bijv. Harper [Har23]) naar een expliciete eenpunt-conditioneringsstelling met behulp van een chaining-argument.
4. Chaining en Barrière-gebeurtenissen: Om het maximum van het log-gecorreleerde deel te beheersen, hanteert het artikel een chaining-argument (Proposition 3.1) en definieert barrière-gebeurtenissen (bijv. $G_\chi$) die de groei van partiële Euler-producten beperken. Deze gebeurtenissen bootsen het gedrag van Gaussian Multiplicative Chaos na.
5. Cauchy-integraalformule: Voor het bewijs van de maximum-grens (Theorem 3) benadert de auteur de waarde van $L$ bij een typisch maximum met behulp van een Cauchy-integraal over een klein rechthoek. Dit reduceert het probleem tot het schatten van vierde momenten of $\beta=2$ partitiefuncties over specifieke bereiken.

Belangrijkste Bijdragen en Resultaten

• Theorem 1 (Momenten van de Partitiefunctie): Voor $\theta = 0$ stelt het artikel momentengrenzen vast voor de partitiefunctie $Z_2(q, \chi, 0)$. Het bewijst dat voor $r \in [0, 1]$, het gemiddelde van het $r$-de moment begrensd wordt door:
  $$\frac{1}{q-1} \sum_{\chi \pmod q} (Z_2(q, \chi, 0))^r \ll \left( \frac{\log q}{1 + (1-r)\sqrt{\log \log q}} \right)^r$$
  Dit levert bewijs dat de normalisatiefactor $\sqrt{\log \log q}$ in het Saksman–Webb vermoeden correct is.

• Theorem 2 (Mesoscopische Partitiefunctie met Conditionering): Voor $\theta \in (-1/2, 0]$ leidt het artikel momentengrenzen af voor $Z_2(q, \chi, \theta)$ geconditioneerd op de waarde van het gladde deel $Y_{P_\theta}(0)$. De grenzen zijn expliciet afhankelijk van de conditioneringsparameter $W$ en de intervalgrootte $\theta$:
  $$\frac{1}{q-1} \sum_{\chi \pmod q} \left[ (Z_2(q, \chi, \theta))^r \mid Y_{P_\theta}(0) \in [W, W+1] \right] \ll \left( \frac{e^{2W} \log^{1+2\theta} q}{1 + (1-r)\sqrt{\log \log q}} \right)^r$$
  Dit resultaat generaliseert eerdere grenzen voor de Riemann zeta-functie naar de $q$-aspect en behandelt de expliciete conditionering die vereist is voor krimpend wordende intervallen.

• Corollary 1 (Tail Bounds): De momentengrenzen impliceren tail-grenzen (staartgrenzen) voor de partitiefunctie, wat de orde van grootte bevestigt die voorspeld wordt door Conjecture 1.

• Theorem 3 (Bovengrens voor Typische Maxima): Het artikel bewijst een bovengrens voor het maximum van $|L(1/2+ih, \chi)|$ over $|h| \le 1/2$ voor typische karakters. Specifiek, voor $0 \le U \le \log \log q$:
  $$\frac{1}{q-1} \# \left\{ \chi \pmod q : \max_{|h| \le 1/2} |L(1/2+ih, \chi)| \ge \frac{e^U \log q}{(\log \log q)^{3/4}} \right\} \ll e^{-2U} (\log \log \log q)^2 (\log \log \log q + U)$$
  Dit vestigt een bovengrens die overeenkomt met de voorspellingen van de $q$-analoge van de Fyodorov–Hiary–Keating vermoedens tot aan de tweede-orde correctieterm, met aanvullende logaritmische factoren.

Betekenis en Claims
Het artikel claimt een bovengrens te bieden voor de typische maxima van Dirichlet $L$-functies in de $q$-aspect die overeenkomt met de FHK-voorspellingen tot aan de tweede-orde correctieterm (met aanvullende logaritmische factoren). Het demonstreert dat de $\beta=2$ partitiefunctie een cruciaal instrument is voor het begrijpen van deze maxima, aangezien het toegang biedt tot "ballot theorem" besparingen die niet beschikbaar zijn bij een kleinere $\beta$.

De auteur merkt op dat hoewel de bovengrens scherp is tot aan de tweede-orde term, het artikel geen passende ondergrenzen nastreeft; het bewijzen van het volledige vermoeden (inclusief ondergrenzen) zou een meer delicate behandeling vereisen van Dirichlet-polynomen over ruwe getallen of een volledig bewijs van Conjecture 1, wat aanzienlijke algebraische uitdagingen met zich meebrengt (zoals het berekenen van getwijfelde vierde momenten). Het werk benadrukt ook de noodzaak van expliciete conditionering op gladde getallen wanneer men werkt met mesoscopische intervallen, een techniek die verschilt van eerdere benaderingen die vertrouwden op de niveau-sets van $\log |L|$.

Het artikel concludeert dat de normalisatiefactor $\sqrt{\log \log q}$ inderdaad de juiste orde van grootte is voor de kritische partitiefunctie, een resultaat dat consistent is met de theorie van kritische Gaussian Multiplicative Chaos.