Oscillation of partial sums of the Möbius function and zeros of Riemann's zeta function

In het uitgestrekte landschap van de wiskunde is er één enkele vraag die wetenschappers al bijna twee eeuwen achtervolgt: hoe zijn priemgetallen verdeeld? Priemgetallen zijn de bouwstenen van de rekenkunde, de ondeelbare atomen waaruit alle andere gehele getallen zijn geconstrueerd. Hoewel ze schijnbaar willekeurig lijken op te treden, hebben wiskundigen lang vermoed dat er een verborgen orde onder de chaos ligt. Deze orde is gecodeerd in een complex wiskundig object dat bekend staat als de Riemann-zetafunctie. Het gedrag van deze functie, specifend de locatie van haar "nulpunten"—punten waar de waarde van de functie naar nul daalt—bepaalt het ritme van de priemgetallen. Als deze nulpunten op een specifieke lijn liggen, volgen de priemgetallen een voorspelbaar patroon; als ze afwijken, wordt het patroon grillig. Al meer dan honderd jaar is de verbinding tussen deze nulpunten en de fouten in onze voorspellingen van priemgetallen een centraal mysterie, dat enkele van de meest diepgaande werken in de getaltheorie heeft gedreven.

Een recente paper door de wiskundige János Pintz pakt een specifiek, moeilijk aspect van dit mysterie aan: het gedrag van de partiële sommen van de Möbius-functie. Om dit te begrijpen, stel je een lopende telling voor waarbij je voor elk getal één optelt of aftrekt op basis van de priemfactoren. Deze telling, bekend als de Mertens-functie, is een gevoelige barometer voor de verdeling van priemgetallen. Decennialang hebben wiskundigen geprobeerd te voorspellen hoe hoog of laag deze telling kan schommelen. Een beroemde conjectuur suggereerde ooit dat de telling nooit de vierkantswortel zou overschrijden van het getal dat werd geteld, maar dit werd in de jaren 1980 bewezen onjuist. De vraag die restte, ging niet alleen over de omvang van deze schommelingen, maar over hun precieze relatie tot de nulpunten van de zetafunctie. Is de gemiddelde omvang van deze schommelingen gelijk aan de omvang van de grootste enkele schommeling? En komen beide overeen met de theoretische maximum die door de nulpunten wordt voorspeld?

Het werk van Pintz biedt een definitief antwoord op deze vragen, door een rigoureuze link te leggen tussen het grillige gedrag van de Möbius-functie en de geometrie van de nulpunten van de zetafunctie. De paper bewijst dat de gemiddelde grootte van de schommelingen van de Möbius-functie en de maximale grootte van die schommelingen, op de lange termijn, asymptotisch equivalent zijn in hun logaritmische orde. Belangrijker nog, de auteur demonstreert dat beide waarden met hoge nauwkeurigheid worden bepaald door een reële functie die is afgeleid van de verdeling van de nulpunten van de zetafunctie. In simpelere termen laat de paper zien dat de "ruis" van de priemgetallen geen willekeurige chaos is, maar nauwgezet wordt gecontroleerd door de positie van het meest dominante nulpunt. Deze bevinding verenigt twee verschillende manieren om de fout in priemgetalvoorspellingen te meten—de gemiddelde fout en de worst-case fout—en laat zien dat ze met dezelfde snelheid groeien en worden beheerst door dezelfde onderliggende kracht.

Het onderzoek bouwt voort op een eeuw aan inspanningen en verfijnt eerdere resultaten die slechts losse verbindingen hadden vastgesteld of werkten onder strikte aannames. Vorig werk had aangetoond dat als de nulpunten van de zetafunctie binnen een bepaalde regio blijven, de fout in het tellen van priemgetallen klein blijft. Echter, de omgekeerde vraag—of de omvang van de fout ons precies vertelt waar de nulpunten zich bevinden—was veel moeilder op te lossen. Pintz' paper adresseert dit door aan te tonen dat de groeisnelheden van de gemiddelde en maximale fouten asymptotisch equivalent zijn aan de groeisnelheden die door de nulpunten worden voorspeld. Door nieuwe technieken te ontwikkelen om de wiskundige singulariteiten te hanteren die ontstaan bij het werken met het reciproke van de zetafunctie, was de auteur in staat te bewijzen dat de relatie een precieze asymptotische equivalentie is in termen van logaritmische orde, wat betekent dat de ratio van hun logaritmen de 1 nadert. De paper bevestigt dat de maximale waarde die de Möbius-functie bereikt in een bepaald bereik en de gemiddelde waarde die hij over datzelfde bereik behoudt, dezelfde logaritmische groeisnelheid delen. Dit betekent dat naarmate we naar steeds grotere getallen kijken, het verschil tussen het typische gedrag en het extreme gedrag verdwijnt in een logaritmische zin, zelfs als de waarden zelf niet identiek worden.

Een cruciaal deel van deze prestatie betreft het omgaan met het geval waarbij de nulpunten zeer dicht bij de kritieke lijn kunnen liggen die de scheiding vormt tussen orde en chaos. De paper behandelt het scenario waarin de nulpunten zo ver naar rechts mogelijk liggen zonder bekende wiskundige wetten te breken. In dit moeilijke geval bewijst de auteur dat de gemiddelde en maximale waarden nog steeds convergeren naar dezelfde voorspelling afgeleid van de nulpunten. Dit resultaat is significant omdat het de noodzaak wegneemt voor complexe, abstracte regio's van "zero-free space" om deze voorspellingen te doen. In plaats daarvan laat de paper zien dat men simpelweg naar de som van de bijdragen van alle nulpunten kan kijken om het gedrag van de functie te begrijpen. De auteur stelt vast dat de som van deze bijdragen, de maximale enkele bijdrage en de werkelijk geobserveerde waarden van de functie allemaal met dezelfde snelheid groeien.

De paper verheldert ook de relatie tussen de Möbius-functie en de foutterm in de priemgetalstelling, die het aantal priemgetallen tot een bepaand punt telt. Hoewel dit twee verschillende wiskundige objecten zijn, laat Pintz zien dat hun oscillerende gedragingen bijna identiek zijn. De maximale afwijking en de gemiddelde afwijking voor de fout in de priemgetaltelling en de Möbius-som worden getoond te worden beheerst door dezelfde functie van de zeta-nulpunten. Dit impliceert een diepe structurele eenheid in hoe de priemgetallen en hun gerelateerde functies fluctueren. Het werk steunt niet op onbewezen hypothesen zoals de Riemann-hypothese zelf; in plaats daarvan blijft het waar, ongeacht waar de nulpunten zich daadwerkelijk bevinden, mits zij binnen de bekende grenzen liggen. De resultaten zijn wiskundig bewezen, niet gesimuleerd of gesuggereerd, en bieden een solide fundament voor het begrijpen van de limieten van de verdeling van priemgetallen.

Uiteindelijk lost deze paper een langdurige ambiguïteit op over de aard van deze wiskundige oscillaties. Het bevestigt dat het "worst-case" scenario voor de verdeling van priemgetallen niet significant slechter is dan het "gemiddelde" scenario wanneer men kijkt door de lens van logaritmische groei. Beiden worden bepaald door dezelfde onderliggende geometrie van de zetafunctie. Het werk dient als een krachtige bevestiging dat de schijnbaar willekeurige fluctuaties van priemgetallen in feite een hooggestructureerd fenomeen zijn, dat nauw gebonden is aan de locatie van de nulpunten van de Riemann-zetafunctie. Door te bewijzen dat de gemiddelde en maximale ordes van grootte samenvallen in hun logaritmische groei, biedt de paper een helderder, preciezer kaart van het terrein waar de priemgetallen leven, waarbij wordt getoond dat de extremen en het alledaagse twee zijden van dezelfde munt zijn.