🔢 mathematics

Lower bounds for the large deviations and moments of the Riemann zeta function on the critical line

Dit artikel bewijst een onvoorwaardelijke ondergrens voor de grote afwijkingen en fractionele momenten van de Riemann-zètafunctie op de kritieke lijn, wat overeenkomt met de scherpst bekende resultaten en de bestaande bovengrenzen voor bepaalde parameters bevestigt.

Oorspronkelijke auteurs: Louis-Pierre Arguin, Nathan Creighton

Gepubliceerd 2026-03-03

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Louis-Pierre Arguin, Nathan Creighton

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een enorme, oneindige berg beklimt. Deze berg heet de Riemann-zèta-functie. Wiskundigen zijn al eeuwenlang gefascineerd door deze berg, vooral omdat ze denken dat hij een geheim bevat dat de basis legt voor alle priemgetallen (de bouwstenen van de getallenwereld).

Deze paper, geschreven door Louis-Pierre Arguin en Nathan Creighton, gaat over het bestuderen van de toppen van deze berg. Ze proberen te begrijpen hoe vaak en hoe hoog de berg plotseling omhoog schiet, en of we die pieken kunnen voorspellen.

Hier is een simpele uitleg van wat ze hebben gedaan, vertaald naar alledaagse taal:

1. Het Probleem: De "Gok" van de Berg

Stel je voor dat je een wandelaar bent die over een pad loopt dat willekeurig op en neer gaat (een "willekeurige wandeling"). Meestal blijft de wandelaar dicht bij het gemiddelde niveau. Maar soms, heel zelden, loopt hij extreem ver omhoog of omlaag. Dit noemen wiskundigen "grote afwijkingen" (large deviations).

De vraag is: Hoe groot is de kans dat de wandelaar plotseling een enorme sprong maakt?
Voor de Riemann-zèta-functie weten we al dat de wandeling normaal gesproken een beetje lijkt op een willekeurige wandeling (een "Gaussische verdeling"). Maar wat gebeurt er als de wandelaar extreem ver gaat? De paper probeert een ondergrens te vinden: "We weten zeker dat de wandelaar op dit niveau minstens zo vaak voorkomt."

2. De Uitdaging: De "Glasvezel" van de Wiskunde

Het probleem is dat de Riemann-zèta-functie heel lastig te meten is. Het is alsof je probeert de hoogte van een berg te meten terwijl je door een dikke mist kijkt.

De oude methode: Vroeger moesten wiskundigen een enorme gok doen: ze dachten dat de Riemann-hypothese waar was (een soort "magische kaart" die zegt dat de berg er precies zo uitziet als we denken). Met die kaart konden ze de pieken berekenen. Maar zonder die kaart (wat de auteurs wilden doen) was het alsof je in het donker moest gissen.
De nieuwe methode: Deze auteurs hebben een nieuwe techniek ontwikkeld om de mist weg te blazen zonder die magische kaart te gebruiken. Ze hebben een bewijs gevonden dat zonder aannames over de Riemann-hypothese werkt.

3. De Oplossing: Het "Mol" en de "Barrière"

Om de pieken te meten, gebruiken de auteurs een slimme truc die we een "Mol" (mollifier) kunnen noemen.

De Mol: Stel je voor dat je een filter hebt dat ruis weghaalt. Ze gebruiken dit filter om de "ruis" van de zèta-functie te dempen, zodat ze de echte vorm van de berg beter kunnen zien.
De Barrière: Ze kijken niet naar de hele berg, maar naar specifieke stukken. Ze stellen een denkbeeldige muur (een barrière) op. Ze vragen zich af: "Wat is de kans dat de wandelaar boven deze muur blijft?"
De Truc: Ze gebruiken een wiskundige versie van de Cauchy-Schwarz ongelijkheid (een soort "krachtmeting"). Ze zeggen: "Als we weten dat de wandelaar vaak ergens in het midden zit, en we weten hoe zwaar hij is, dan weten we dat hij niet kan voorkomen dat hij soms heel hoog springt."

4. De Resultaten: Wat hebben ze ontdekt?

De auteurs hebben bewezen dat:

De pieken bestaan: Er is een gegarandeerde kans dat de zèta-functie waarden bereikt die veel hoger zijn dan het gemiddelde.
De snelheid: Ze hebben bewezen dat deze pieken precies zo vaak voorkomen als de theorie voorspelde (de "Gaussische" snelheid), zelfs zonder de Riemann-hypothese.
De "Kracht" van de pieken: Ze hebben laten zien dat deze extreme pieken precies sterk genoeg zijn om de bekende formules voor de "gemiddelde kracht" van de zèta-functie (de momenten) te verklaren.

Een metafoor:
Stel je voor dat je een casino hebt met een enorme gokautomaat (de zèta-functie).

De meeste mensen winnen een beetje.
Soms winnen mensen een jackpot.
De auteurs hebben bewezen dat er zeker genoeg mensen zijn die de jackpot winnen om de totale winst van het casino te verklaren. Ze hebben dit bewezen zonder te hoeven vertrouwen op de "magische kaart" (de Riemann-hypothese) die zegt hoe de machine precies werkt. Ze hebben gewoon geteld hoeveel mensen er daadwerkelijk winnen.

5. Waarom is dit belangrijk?

Zonder gissen: Het is een van de eerste keer dat we dit soort bewijzen hebben zonder de Riemann-hypothese aan te nemen. Dat maakt het resultaat veel sterker en betrouwbaarder.
De sleutel tot de mysterie: Het helpt ons begrijpen hoe de "willekeurige" wandeling van de zèta-functie zich gedraagt op de uiterste randen. Dit is een cruciale stap om te begrijpen of de Riemann-hypothese waar is of niet.
Nieuwe gereedschappen: De techniek die ze hebben gebruikt (het "tilten" van de waarschijnlijkheid) is zo krachtig dat het ook kan worden gebruikt voor andere soorten wiskundige functies (L-functies), wat de deur opent voor meer ontdekkingen.

Kortom:
De auteurs hebben een nieuwe, stevige brug gebouwd over een diepe kloof in de wiskunde. Ze hebben bewezen dat de "extreme" gedragingen van de Riemann-zèta-functie precies zo vaak voorkomen als we hoopten, en ze hebben dit gedaan met een bewijs dat niet afhankelijk is van nog onopgeloste mysteries. Het is alsof ze hebben laten zien dat de bergtoppen echt bestaan, zelfs als we de top zelf nog niet helemaal kunnen zien.

1. Probleemstelling en Context

Het artikel richt zich op het begrijpen van de verdeling van waarden van de Riemann-zetfunctie, $\zeta(s)$ , op de kritieke lijn ( $\text{Re}(s) = 1/2$ ). Hoewel bekend is dat $\log|\zeta(1/2 + it)|$ asymptotisch normaal verdeeld is (de centrale limietstelling van Selberg), is het minder duidelijk hoe deze verdeling zich gedraagt bij grote afwijkingen (large deviations), specifiek in de orde van $\sqrt{\log \log T}$ .

De kernvraag is: wat is de maat (probability measure) van de verzameling tijden $t \in [0, T]$ waarvoor $\log|\zeta(1/2 + it)|$ een waarde $V$ overschrijdt, waarbij $V \sim \alpha \log \log T$ ?

Achtergrond: Eerdere werken (zoals [AB23]) hadden een bovengrens bewezen voor dit fenomeen. Een ondergrens was echter alleen bekend onder de aanname van de Riemann-hypothese (RH) of met slechtere constanten wanneer men zich verplaatste van de kritieke lijn.
Doel: Een onvoorwaardelijke (unconditional) ondergrens bewijzen voor de maat van deze niveauverzamelingen op de kritieke lijn, met een constante die scherp is en overeenkomt met de beste bekende resultaten voor momenten.

2. Methodologie

De bewijsvoering bouwt voort op een recursief schema uit eerdere werken ([ABR20], [AB23], [AB24]) en combineert probabilistische methoden met analytische getaltheorie. De belangrijkste methodologische pijlers zijn:

Benadering door Dirichlet-polynomen: De logaritme van de zetfunctie wordt benaderd door de reële delen van partiële sommen van Dirichlet-polynomen. De auteurs definiëren partiële sommen $S(\eta, t)$ over priemgetallen tot een bepaalde grens $T^*$ .
Mollificatie en Restricties: Om grote momenten te berekenen, wordt gebruikgemaakt van een "mollifier" (een Dirichlet-polynoom $M(t)$ ) om de fluctuaties te dempen. De auteurs introduceren een reeks restricties (gebeurtenissen $G_J$ ) waarbij de partiële sommen binnen specifieke "barrières" blijven die een lineaire groei in de log-log schaal volgen.
Paley-Zygmund Ongelijkheid: In plaats van alleen de Cauchy-Schwarz ongelijkheid te gebruiken (wat vaak leidt tot suboptimale constanten), passen de auteurs de Paley-Zygmund ongelijkheid toe op de gemollificeerde zetfunctie. Dit vereist een nauwkeurige schatting van zowel de tweede als de vierde momenten.
Gekantelde Maat (Tilted Measure): Een cruciale innovatie is het gebruik van een polynoom-gebaseerde "tilt" (vervorming van de maat) in plaats van alleen exponentiële tilting of indicatorfuncties. Dit stelt hen in staat om kortere Dirichlet-polynomen te gebruiken voor de twist, wat essentieel is om de constante $K_\alpha$ scherp te houden.
Steinhaus Model: De auteurs benaderen de gedragingen van de partiële sommen door een willekeurig model (Steinhaus model) waarbij priemgetallen corresponderen met onafhankelijke willekeurige variabelen. Ze bewijzen dat de momenten van de echte zetfunctie (onder restricties) asymptotisch overeenkomen met die van dit willekeurige model.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1)

Voor elke $\alpha > 0$ en $V \sim \alpha \log \log T$ , geldt voor voldoende grote $T$ :
$\frac{1}{T} \left| \left\{ t \in [0, T] : \log \left| \zeta \left( \frac{1}{2} + it \right) \right| > V \right\} \right| \geq K_\alpha \int_V^\infty \frac{e^{-\frac{y^2}{\log \log T}}}{\sqrt{\log \log T}} dy$
waarbij de constante $K_\alpha$ voldoet aan:
$K_\alpha \gg (C \alpha^2 \log \alpha)^{-\alpha^2}$
voor een zekere absolute constante $C$ .

Unconditional: Dit resultaat is onafhankelijk van de Riemann-hypothese.
Scherpe Constant: De constante $K_\alpha$ komt overeen met de scherpste bekende ondergrenzen voor fractionele momenten (zoals bewezen in [HS22]), in tegenstelling tot eerdere resultaten die een slechtere constante hadden.
Overeenkomst met bovengrens: Voor $0 < \alpha < 2$ is de orde van grootte van deze ondergrens identiek aan de eerder bewezen bovengrens uit [AB23].

Corollaria en Generalisaties

Momenten (Corollary 1.2): Door de decompositie van momenten te gebruiken, herwinnen de auteurs de ondergrens voor alle positieve fractionele momenten van $\zeta(1/2 + it)$ :
$\int_0^T |\zeta(1/2 + it)|^{2\alpha} dt \gg K_\alpha T (\log T)^{\alpha^2}$
Dirichlet L-functies (Theorema 1.3 & Corollary 1.4): De methode is generaliseerbaar naar andere families van L-functies, specifiek voor centrale waarden van primitieve Dirichlet L-functies met even karakters. Ze bewijzen een vergelijkbare ondergrens voor de grote afwijkingen en momenten van $L(1/2, \chi)$ .

4. Technische Innovaties en Bewijsdetails

Truncatie van priemgetallen: De auteurs trunceren de sommen bij $T^* = T^{1/R(\alpha^2+1)}$ . Hoewel dit een beperking lijkt, toont het bewijs aan dat als de partiële sommen tot $T^*$ significant groter zijn dan $V$ , de kans groot is dat de volledige som niet onder $V$ zakt.
Polynoom-tilting: Om de constante te optimaliseren, gebruiken ze polynomen $D_\pm$ om indicatorfuncties te benaderen. Door de "tilt" (de gewichten in de momentenberekening) af te stemmen op de specifieke intervallen van de partiële sommen, kunnen ze de bijdrage van "verre" waarden (buiten de barrière) controleren zonder de constante te verslechteren.
Propositie 2.2: Dit is het technische hart van het artikel. Het levert nauwkeurige schattingen voor de waarschijnlijkheid van de gebeurtenis $G_J$ en de verwachtingen van de gemollificeerde momenten ( $|\zeta M|^2$ en $|\zeta M|^4$ ) onder deze restricties. Het bewijs maakt gebruik van een complexe analyse van de coëfficiënten van de Dirichlet-polynomen en de onafhankelijkheid van priemgetallen in het Steinhaus-model.

5. Betekenis en Impact

Oplossing van een open probleem: Het artikel sluit een belangrijke lacune door een onvoorwaardelijke ondergrens te leveren voor grote afwijkingen op de kritieke lijn met een constante die consistent is met de conjectures van Keating en Snaith (hoewel de constante nog steeds een factor "kwadraat" slechter is dan de conjecture, is het een verbetering ten opzichte van eerdere onvoorwaardelijke resultaten).
Verband tussen Momenten en Niveauverzamelingen: Het werk bevestigt de suggestie van Soundararajan dat de dominante bijdrage aan de $2k$ -de momenten komt van tijden waarbij $\zeta(1/2+it)$ groot is (orde $(\log T)^k$ ), en dat deze verzameling een maat heeft van ongeveer $T/(\log T)^{k^2}$ .
Methodologische doorbraak: De techniek van het combineren van Paley-Zygmund met polynoom-tilting en restricties op partiële sommen biedt een krachtig nieuw gereedschap voor het bestuderen van extreme waarden in families van L-functies, zonder afhankelijk te zijn van de Riemann-hypothese.

Kortom, dit artikel levert een fundamentele bijdrage aan de analytische getaltheorie door de statistische eigenschappen van de Riemann-zetfunctie bij extreme waarden scherp te kwantificeren en de theoretische voorspellingen voor momenten te onderbouwen met harde, onvoorwaardelijke bewijzen.