Riemannhypothese: het grootste onopgeloste raadsel van de wiskunde
Stel je de priemgetallen voor - 2, 3, 5, 7, 11, 13 enzovoort, de getallen die alleen deelbaar zijn door 1 en zichzelf - als de bouwstenen van alle andere getallen. Hoe verder je telt, hoe onregelmatiger ze lijken te verschijnen: soms dicht op elkaar (11 en 13), soms met grote gaten ertussen. Toch vermoedde de Duitse wiskundige Bernhard Riemann in 1859 dat achter die schijnbare willekeur een strak wiskundig patroon schuilgaat. Zijn vermoeden, de Riemannhypothese, is een van de beroemdste onopgeloste problemen uit de wiskunde en staat al meer dan 165 jaar overeind zonder bewijs of weerlegging.
Vergelijk het met het geluid van regen op een dak: op het eerste gehoor willekeurig getik, maar als je goed luistert zit er misschien een verborgen ritme in. Riemann ontdekte een wiskundig "instrument" - een functie genaamd de zèta-functie - waarvan de "nulpunten" (de plekken waar die functie precies nul wordt) iets vertellen over dat ritme in de priemgetallen. Zijn hypothese zegt dat al die nulpunten netjes op één denkbeeldige lijn liggen. Als dat klopt, verklaart dat waarom priemgetallen zich, ondanks hun grillige uiterlijk, toch aan een voorspelbare gemiddelde verdeling houden.
Wat is het precies?
De Riemannhypothese draait om de zogeheten Riemann zèta-functie, geschreven als ζ(s). Voor gewone getallen groter dan 1 is dit simpelweg de som 1 + 1/2^s + 1/3^s + 1/4^s + ... - een oneindige rij breuken die bij elkaar wordt opgeteld. Riemann breidde deze functie via een wiskundige truc genaamd analytische voortzetting uit naar bijna alle complexe getallen, dat wil zeggen getallen die zijn opgebouwd uit een "gewoon" deel en een "imaginair" deel (met de rekeneenheid i, de wortel uit -1).
Bepaalde punten laten de functie precies op nul uitkomen; dat heten de nulpunten. Sommige daarvan, op de negatieve even getallen (-2, -4, -6, ...), zijn al lang bekend en heten "triviale" nulpunten omdat ze weinig interessants vertellen. Interessanter zijn de "niet-triviale" nulpunten, die allemaal ergens liggen in een verticale strook van het complexe vlak, de zogeheten kritieke strook, waar het reële deel van s tussen 0 en 1 ligt.
Riemann vermoedde dat al die niet-triviale nulpunten precies op de lijn liggen waar het reële deel exact 1/2 is - de kritieke lijn. Tot nu toe zijn er triljoenen van zulke nulpunten met de computer doorgerekend, en stuk voor stuk bleken ze inderdaad op die lijn te liggen. Maar "veel voorbeelden kloppen" is in de wiskunde geen bewijs; er kan altijd, bij een nog onbereikt astronomisch groot getal, een uitzondering opduiken. Zo'n sluitend wiskundig bewijs, geldig voor alle oneindig veel nulpunten tegelijk, ontbreekt tot op heden.
Het belang van die kritieke lijn zit in de link met priemgetallen. Er bestaat een precieze formule die de telling van priemgetallen tot een bepaald getal koppelt aan de ligging van deze nulpunten. Hoe dichter de nulpunten bij de kritieke lijn liggen, hoe kleiner de afwijking tussen de werkelijke verdeling van priemgetallen en een gladde schattingsformule. Als de hypothese klopt, is die afwijking zo klein als wiskundig maar mogelijk is.
Wat wil men ermee bereiken?
De Riemannhypothese is geen technologie die iets "bouwt", maar een fundamenteel inzicht dat, als het bewezen wordt, honderden andere wiskundige resultaten in één klap zou bevestigen. Wiskundigen hebben inmiddels meer dan duizend stellingen gepubliceerd die beginnen met de zin "als de Riemannhypothese waar is, dan volgt hieruit dat...". Die stellingen gaan nu door het leven als voorwaardelijk bewezen; een definitief bewijs van de hypothese zou ze in één klap tot volwaardige, onvoorwaardelijke stellingen maken.
Concreter gaat het om een preciezere greep op de verdeling van priemgetallen, de bouwstenen van de getaltheorie en daarmee indirect van vakgebieden als cryptografie. Ook geeft een bewijs (of weerlegging) inzicht in dieperliggende structuren die opduiken in andere delen van de wiskunde en natuurkunde, van chaostheorie tot kwantummechanica: de manier waarop de nulpunten van de zèta-functie statistisch verspreid liggen, blijkt sterk te lijken op de manier waarop energieniveaus van zware atoomkernen zich gedragen - een verband dat wiskundigen en natuurkundigen sinds de jaren zeventig intrigeert.
Daarnaast is er een praktisch motief: veel algoritmen in de getaltheorie, bijvoorbeeld voor het snel testen of een groot getal een priemgetal is, zijn bewezen correct en snel te werken onder de aanname dat de Riemannhypothese klopt. Zonder dat bewijs moeten computerwetenschappers terugvallen op omslachtigere of alleen "waarschijnlijk correcte" varianten van diezelfde algoritmen.
Voorbeelden uit de praktijk
- Hilberts problemenlijst (1900): de Duitse wiskundige David Hilbert nam de Riemannhypothese op als achtste van zijn 23 beroemde onopgeloste problemen, gepresenteerd op het Internationaal Congres van Wiskundigen in Parijs.
- Millennium Prize Problem, Clay Mathematics Institute (2000): het Amerikaanse Clay Mathematics Institute riep de Riemannhypothese uit tot een van de zeven Millennium-problemen, met een prijs van 1 miljoen dollar voor wie een geldig bewijs of tegenvoorbeeld levert. Van de zeven is tot nu toe alleen het Vermoeden van Poincaré opgelost, door Grigori Perelman, bevestigd in 2006.
- Odlyzko-Montgomery-verband (vanaf 1973): wiskundigen Hugh Montgomery en Andrew Odlyzko ontdekten dat de statistische spreiding van zèta-nulpunten opvallend overeenkomt met patronen uit de kwantumfysica (willekeurige matrices, de zogeheten Gaussian Unitary Ensemble). Odlyzko berekende met supercomputers miljoenen nulpunten om dit verband te toetsen.
- Grootschalige nulpuntverificatie door Xavier Gourdon (2004): deze Franse onderzoeker rekende met speciale software de eerste 10 biljoen (10^13) niet-triviale nulpunten door en toonde aan dat ze allemaal op de kritieke lijn liggen.
- Rigoureuze herverificatie door Dave Platt en Tim Trudgian (2020er jaren): deze Britse en Australische wiskundigen herhaalden en verscherpten eerdere berekeningen met wiskundig sluitende foutmarges, in plaats van alleen numerieke benaderingen, en breidden de geverifieerde reeks nulpunten verder uit.
Hoe ver is de techniek?
Ondanks anderhalve eeuw inspanning is de Riemannhypothese nog altijd niet bewezen én niet weerlegd. Wat wel is bereikt: enorme numerieke controles (inmiddels ruim boven de eerste tientallen biljoenen nulpunten) en gedeeltelijke theoretische resultaten. Zo werd al in 1896, onafhankelijk van elkaar door Jacques Hadamard en Charles de la Vallée Poussin, bewezen dat er geen nulpunten op de randen van de kritieke strook liggen; dat was destijds al genoeg om de priemgetalstelling te bewijzen, een zwakkere, wél bewezen uitspraak over de gemiddelde verdeling van priemgetallen. Later bewees G.H. Hardy (1914) dat er oneindig veel nulpunten exact op de kritieke lijn liggen, en recenter werk, onder meer van de Amerikaanse wiskundige Kevin Ford en collega's, toont aan dat een steeds groter percentage van alle nulpunten op of zeer dicht bij die lijn moet liggen.
Toch is "een heel groot deel" nog altijd geen "alle". Elke poging tot een volledig bewijs is tot nu toe vroeg of laat vastgelopen of afgekeurd door de wiskundige gemeenschap. De bekendste recente rel dateert van 2018, toen de gerenommeerde Britse wiskundige Sir Michael Atiyah tijdens het Heidelberg Laureate Forum een kort bewijs presenteerde. Vakgenoten bekeken de argumentatie kritisch en concludeerden dat de redenering hiaten bevatte; het bewijs is nooit geaccepteerd, en Atiyah overleed het jaar erop.
Het obstakel is fundamenteel: er bestaat vooralsnog geen wiskundige techniek die garandeert dat een patroon dat voor triljoenen gevallen klopt, ook voor werkelijk alle (oneindig veel) gevallen opgaat. Sommige onderzoekers vermoeden dat een bewijs nieuwe wiskunde vereist die nog moet worden uitgevonden, vergelijkbaar met hoe het bewijs van de Laatste Stelling van Fermat in 1994 decennia aan nieuw ontwikkelde technieken nodig had. Anderen sluiten niet uit dat de hypothese uiteindelijk onwaar blijkt, al is daarvoor geen enkele concrete aanwijzing gevonden.
Wie werken eraan?
De Riemannhypothese wordt niet door één bedrijf of instituut "ontwikkeld", maar is een open probleem waar getaltheoretici wereldwijd aan werken, vaak als onderdeel van breder onderzoek. Het Clay Mathematics Institute (Verenigde Staten) beheert de officiële prijsstelling en documentatie rond het probleem. Het American Institute of Mathematics (AIM) in Californië organiseert regelmatig gespecialiseerde workshops over de zèta-functie en aanverwante vermoedens.
Bekende hedendaagse onderzoekers die zich met de hypothese en aanverwante vragen bezighouden zijn onder anderen de Australisch-Amerikaanse Fields-medaillewinnaar Terence Tao (UCLA), Peter Sarnak (Princeton en het Institute for Advanced Study), Enrico Bombieri (emeritus, Institute for Advanced Study, zelf houder van een Fields-medaille voor werk op dit terrein) en Alain Connes (Collège de France, IHÉS), die een aanpak vanuit de niet-commutatieve meetkunde volgt. Op het rekenkundige front leveren onder meer Dave Platt (Universiteit van Bristol) en Tim Trudgian (UNSW Canberra) belangrijk verificatiewerk. Universiteiten en onderzoeksinstituten in de Verenigde Staten, het Verenigd Koninkrijk, Frankrijk, Duitsland en Australië vormen de belangrijkste centra van dit onderzoek; daarnaast dragen individuele wiskundigen wereldwijd bij via losse publicaties, vaak zonder gecoördineerd projectverband.