🔢 mathematics

More than two thirds of the zeta zeros are simple and on the critical line

Dit artikel bewijst onvoorwaardelijk dat ten minste twee-derde van de niet-triviale nulpunten van de Riemann zeta-functie eenvoudig zijn en op de kritieke lijn liggen, en dat ten minste vijf-zesde afzonderlijk zijn, door de Riemann-hypothese te vervangen door een rang-spoor-ongelijkheid toegepast op een eindige compressie van de Hermitische vorm van Weil.

Oorspronkelijke auteurs: Levent Alpöge, Ralph Furman

Gepubliceerd 2026-08-17

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Levent Alpöge, Ralph Furman

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 de getallenlijn voor als een enorme, oneindige snelweg waar elk geheel getal een mijlpaal is. Eeuwenlang zijn wiskundigen geobsedeerd geweest door de "priemgetallen" (2, 3, 5, 7, 11...), die de speciale, ondeelbare atomen van de rekenkunde zijn. Hoewel priemgetallen schijnbaar willekeurig verschijnen, is er een verborgen ritme aan hen, een geheime melodie die alleen een specifiek wiskundig instrument kan spelen. Dit instrument wordt de Riemann-zetafunctie genoemd.

Beschouw deze functie niet als een getal, maar als een gigantische, complexe machine met een draaiknop die naar elk punt in een tweedimensionale ruimte gedraaid kan worden. Wanneer je de knop naar bepaalde speciale plekken draait, wordt de machine volkomen stil. Deze plekken worden "nulpunten" genoemd. Het beroemdste mysterie in de wiskunde, de Riemann-hypothese, is een weddenschap dat al deze stille plekken op een enkele, rechte "kritieke lijn" liggen die dwars door het landschap van de draaiknop loopt. Als deze hypothese waar is, betekent dit dat de priemgetallen een perfect voorspelbaar patroon volgen. Als zij onwaar is, is het patroon chaotisch.

Lama lang konden we niet bewijzen waar deze nulpunten zich bevonden. We wisten dat sommigen op de lijn lagen en dat ze "eenvoudig" waren (wat betekent dat de machine op die plek slechts één keer stil wordt, in plaats van dat hij blijft hangen en een dubbele toon bromt), maar we wisten niet hoeveel er waren. Een nieuw artikel, geschreven door een team van menselijke wiskundigen dat een bewijs heeft geverifieerd dat werd ontdekt door een AI genaamd Claude, heeft eindelijk een groot stuk van dit puzzelstuk opgelost. Ze hebben het niet hele mysterie opgelost, maar ze hebben met absolute zekerheid bewezen dat ten minste twee derde van deze stille plekken eenvoudig zijn en precies op die kritieke lijn liggen. Nog indrukwekkender is dat ze bewezen hebben dat ten minste vijf zevende van de nulpunten verschillend zijn (wat betekent dat er geen twee nulpunten op exact dezelfde plek zijn). Dit is een enorme sprong voorwaarts ten opzichte van eerdere records, waarbij de lat werd verlegd van ongeveer 41% naar meer dan 66%, zonder dat daarvoor aangenomen hoef te worden dat de Riemann-hypothese waar is.

De Grote Nulpuntenjacht

Stel je voor dat je een detective bent die probeert het aantal mensen in een druk, mistig stadion te tellen. Je kunt niet iedereen duidelijk zien, en sommige mensen staan misschien op elkaar (duplicaten), terwijl anderen zich in de tribunes verstoppen (buiten de kritieke lijn). Jouw doel is om te bewijzen dat een enorm deel van de menigte in een specifieke, rechte gang staat (de kritieke lijn) en dat bijna iedereen alleen staat (eenvoudige nulpunten).

In het verleden moesten detectives ervan uitgaan dat het stadion perfect georganiseerd was om een goede telling te maken. Dit nieuwe artikel gebruikt echter een slimme truc om te tellen zonder die aanname te doen. De auteurs bouwden een wiskundig "net" (een vensterfunctie) en wierpen dit over de nulpunten van de Riemann-zetafunctie.

Zo werkt de truc:

Het Net: Ze creëerden een speciale filter die de nulpunten vangt. Als een nulpunt op de kritieke lijn ligt en eenvoudig is, vangt het net het op en geeft het een "score" van 1. Als een nulpunt buiten de lijn ligt of een duplicaat is (op iemand anders staat), vangt het net het anders op, wat een andere soort score oplevert.
De Som: Ze telden alle scores bij elkaar op. Ze wisten precies hoeveel "energie" het net zou hebben op basis van de priemgetallen (de "priemzijde" van de vergelijking). Dit is vergelijkbaar met het weten van het totale gewicht van de menigte op basis van de verkochte tickets.
De Matrix: Ze transformeerden dit naar een gigantisch raster van getallen (een matrix). In dit raster werken de "goede" nulpunten (eenvoudig en op de lijn) als heldere, positieve lichten. De "slechte" of "onbekende" nulpunten (buiten de lijn of duplicaten) werken als schaduwen of paren lichten die elkaar opheffen.

Het briljante deel van hun methode is een wiskundige regel die ze op dit raster toepasten. Ze realiseerden zich dat als er te veel nulpunten buiten de lijn zouden liggen of duplicaten zouden zijn, de totale "energie" van het raster te hoog zou zijn in verhouding tot het aantal mensen dat ze daadwerkelijk konden tellen. Het is alsof je probeert een rugzak met zware stenen te vullen; als je te veel stenen erin probeert te doen, breekt de rugzak.

Door een regel te gebruiken genaamd Sylvester's wet van traagheid (wat een chique manier is om te tellen hoeveel positieve en negatieve krachten er in een systeem zijn), bewezen ze dat het "raster" (de wiskundige matrix) simpelweg niet genoeg "slechte" nulpunten kan bevatten om de totale energie te verklaren die zij maten. De wiskunde dwingt de conclusie af dat de "goede" nulpunten de meerderheid moeten vormen.

De Resultaten: Een Nieuw Record

Het artikel bewijst twee belangrijke zaken onvoorwaardelijk (wat betekent dat er niet wordt gegokt of aangenomen dat de Riemann-hypothese waar is):

De Eenvoudige Meerderheid: Ten minste 2/3 (ongeveer 66,67%) van de nulpunten is eenvoudig en ligt op de kritieke lijn. Dit verslaat het vorige record van ongeveer 41,6% (5/12).
De Verschillende Meerderheid: Ten minste 5/6 (ongeveer 83,33%) van de nulpunten zijn verschillend (geen duplicaten). Dit verslaat het vorige record van 66%.

Als ze een iets geavanceerdere versie van hun "net" gebruiken (de Montgomery–Taylor vensterfunctie), worden de cijfers zelfs nog beter: 67,25% voor eenvoudige nulpunten en 83,62% voor verschillende nulpunten.

De auteurs hebben ook aangetoond dat deze methode werkt voor andere vergelijkbare wiskundige functies (Dirichlet L-functies), waarmee ze bewijzen dat dit geen toevalstreffer is van de Riemann-zetafunctie, maar een diepere waarheid over hoe deze getallen zich gedragen.

Wat dit Niet Doet

Het is belangrijk om te weten wat dit artikel niet zegt. Het bewijst niet dat 100% van de nulpunten op de lijn ligt. Het laat de mogelijkheid open dat de resterende een derde van de nulpunten buiten de lijn verborgen is of dat er duplicaten zijn. Het artikel stelt expliciet dat hun methode een "plafond" bereikt bij 2/3 voor eenvoudige nulpunten; om hoger te komen, zouden wiskundigen nieuwe instrumenten of meer informatie nodig hebben over hoe de priemgetallen verdeeld zijn.

Echter, de betekenis is onmiskenbaar. Voorheen zaten we in het duister en gokten we dat misschien wel de helft van de nulpunten op de lijn lag. Nu hebben we een wiskundig bewijs dat de grote meerderheid van de nulpunten precies is waar de Riemann-hypothese hen voorspelt te vinden. Het artikel merkt ook op dat de volledige logische redenering werd ontdekt door een AI, Claude, en vervolgens rigoureus is gecontroleerd en geverifieerd door menselijke wiskundigen en een computerprogramma genaamd Lean 4, wat garandeert dat elke stap steenvast is.

Kortom, de mist in het stadion is net genoeg opgetrokken om te zien dat de menigte grotendeels op de juiste plek staat, en dat ze grotendeels alleen staan. Het is een enorme stap richting het oplossen van een van de oudste raadsels uit de wiskunde.

Technische Samenvatting: "Meer dan twee derde van de nulpunten van de Riemann-zetafunctie zijn simpel en liggen op de kritieke lijn"

Probleemstelling
Het artikel behandelt de distributie van de niet-triviale nulpunten van de Riemann-zetafunctie, $\zeta(s)$ . Specifiek wordt gezocht naar onvoorwaardelijke ondergrenzen voor twee grootheden naarmate $T \to \infty$ :

Het aandeel van de nulpunten die op de kritieke lijn ( $\text{Re}(s) = 1/2$ ) liggen dat simpel is (veelvoud 1).
Het aandeel van de distincte nulpunten (waarbij veelvoud als 1 wordt geteld, ongeacht de orde) die op de kritieke lijn liggen.

Vóór dit werk waren de onvoorwaardelijke records $5/12$ ( $\approx 0,4167$ ) voor simpele nulpunten op de lijn en $0,6603$ voor distincte nulpunten. Onder de Riemann-hypothese (RH) concludeerde Montgomery (1973) dat ten minste $2/3$ van de nulpunten simpel is op de lijn, en daaropvolgend werk verbeterde de grenzen voor distincte nulpunten. De uitdaging is geweest om de afhankelijkheid van RH te verwijderen, die historisch gezien vereist was om de positiviteit van de "nul-zijde" van de expliciete formule van Weil te waarborgen bij het sommeren over reële ordinaten.

Methodologie
Het bewijs construeert een einddimensionale benadering van de expliciete formule van Weil en past lineaire algebraïsche rang-trace ongelijkheden toe om de noodzaak van RH te omzeilen.

De expliciete formule van Weil en Hermitische vormen:
De auteurs maken gebruik van de expliciete formule van Weil om een Hermitische vorm $W(f, g) = \sum_\rho m_\rho \hat{f}(\gamma_\rho) \overline{\hat{g}(\gamma_\rho)}$ op testfuncties te definiëren. De positiviteit van deze vorm op alle compact ondersteunde functies is equivalent aan RH.
In plaats van positiviteit aan te nemen, beperken de auteurs deze vorm tot een specifieke familie van $d \approx N(T, 2T)$ gemoduleerde testfuncties (een "venster" $\psi$ ) die over het interval $[T, 2T]$ zijn gespatieerd. Dit levert een reële symmetrische $d \times d$ matrix $\tilde{G}$ op.
Matrixdecompositie (De nul-zijde):
De matrix $\tilde{G}$ wordt gedecomposeerd in $\tilde{G} = P + Q + E$ , waarbij:

$P$ de bijdragen vertegenwoordigt van nulpunten op de kritieke lijn.
$Q$ de bijdragen vertegenwoordigt van off-line paren $\{\rho, 1-\bar{\rho}\}$ .
$E$ een restterm is met een kleine trace-norm.
Cruciaal is dat de auteurs de rang en de positieve index (het aantal positieve eigenwaarden) van deze componenten analyseren:
Elk simpel nulpunt op de lijn draagt rang 1 bij aan $P$ .
Elk off-line paar draagt een blok van signatuur $(1, 1)$ bij aan $Q$ , wat betekent dat het 1 bijdraagt aan de positieve index $n_+(Q)$ maar 0 bijdraagt aan de rang van het "on-line" deel.
Dit structurele inzicht, toegeschreven aan Bombieri, stelt de auteurs in staat om het aantal off-line paren te begrenzen met behulp van de positieve index van $Q$ .

Rang-trace ongelijkheid (De kerninnovatie):
Het artikel introduceert een specifieke lineair algebraïsche ongelijkheid (Lemma 3.2) voor Hermitische matrices $P_1 \succeq 0$ en $Q'$ :
$\text{rank}(P_1) \ge 2\text{tr}(P_1) + 4\text{tr}(Q') - 4n_+(Q') - \|P_1 + Q'\|_{HS}^2$
Door $P_1$ te stellen als het deel van $P$ dat overeenkomt met simpele on-line nulpunten en $Q'$ als de rest, leiden de auteurs een ondergrens af voor het aantal simpele on-line nulpunten ( $N_s^0$ ) puur in termen van de trace en de Frobenius-norm van $\tilde{G}$ en de telling van off-line paren. Dit vervangt de klassieke vereiste van termgewijze positiviteit (die faalt off de lijn) door een "rang-trace" begrenzing.
De priem-zijde (Onvoorwaardelijke evaluatie):
De trace $\text{tr}(\tilde{G})$ en de gekwadrateerde Frobenius-norm $\|\tilde{G}\|_{HS}^2$ worden geëvalueerd met behulp van de "priem-zijde" van de Weil-formule.

$\text{tr}(\tilde{G})$ is aangetoond asymptotisch $N(T, 2T)$ te zijn.
$\|\tilde{G}\|_{HS}^2$ wordt geëvalueerd als een gemiddelde waarde van een Dirichlet-polynoom. Dit berust op de Montgomery–Vaughan ongelijkheid en grenzen op sommen van $\Lambda(n)^2$ .
Het resultaat is $\|\tilde{G}\|_{HS}^2 = (R(\psi) + o(1))N(T, 2T)$ , waarbij $R(\psi)$ een constante is die afhangt van de vensterfunctie. Voor het indicatorvenster is $R(\psi_0) = 4/3$ .

Kernbijdragen en Resultaten
Het artikel stelt de volgende onvoorwaardelijke resultaten vast voor het interval $(T, 2T)$ :

Theorem A(i): Ten minste $2/3$ (specifiek $2/3 - o(1)$ $2/3 - o (1)$ ) van de niet-triviale nulpunten zijn simpel en liggen op de kritieke lijn.
- Gebruikmakend van het Montgomery–Taylor venster verbetert deze constante naar $0,6725$.
Theorem A(ii): Ten minste $5/6$ (specifiek $5/6 - o(1)$ $5/6 - o (1)$ ) van de niet-triviale nulpunten zijn distinct en liggen op de kritieke lijn.
- Gebruikmakend van het Montgomery–Taylor venster verbetert deze constante naar $0,8362$.
Theorem B: Deze resultaten strekken zich exact uit naar primitieve Dirichlet $L$ -functies $L(s, \chi)$ .

Het bewijs maakt geen gebruik van mollifiers, nul-densiteitsschattingen of nul-vrije regio's. Het steunt op de expliciete formule, de Stirling-schatting, de Chebyshev–Mertens schattingen en de Montgomery–Vaughan ongelijkheid.

Betekenis en Claims

Montgomerys deductie onvoorwaardelijk gemaakt: Het artikel claimt de onvoorwaardelijke status te hebben gegeven aan de deductie van Montgomery uit 1973 over de $2/3$ proportie. Klassiek gezien was RH nodig om de nul-zijde som te interpreteren als een positieve som over reële ordinaten. Hier vervangen de auteurs deze positiviteit door een rang-trace ongelijkheid toegepast op een eindige compressie van de Weil-vorm.
Optimaliteit van de methode: De auteurs beargumenteren dat de $2/3$ grens scherp is voor deze specifieke methode. Zij demonstreren dat de gebruikte ongelijkheid scherp is gegeven enkel de trace, de Frobenius-norm en de blokstructuur van de matrix. Het verbeteren van de grens boven $2/3$ met deze specifieke "rang-trace" benadering zou informatie over de paar-correlatie vereisen met een Fourier-ondersteuning groter dan 1 (d.w.z. kennis van hogere momenten van de priem-zijde), wat momenteel onvoorwaardelijk niet beschikbaar is.
Formele verificatie: Het wiskundige argument werd ontdekt en geschreven door een AI (Claude), geverifieerd door menselijke auteurs, en formeel geverifieerd in Lean 4. De formalisering bevestigt dat het bewijs alleen rust op standaardaxioma's.
Beperkingen: Het artikel vermeldt expliciet wat de resultaten niet zijn. Het zijn slechts ondergrenzen; de resterende nulpunten zijn niet bewezen off-line te zijn, maar worden slechts niet gevangen door dit specifieke certificaat. De methode is ongevoelig voor $o(N)$ off-line nulpunten en zou ook gelden voor functies waar de Riemann-hypothese onwaar is (bijv. Davenport–Heilbronn zeta-functies), mits de aritmetische inputs standhouden.

Samenvattend biedt het artikel een rigoureus, onvoorwaardelijk bewijs dat een aanzienlijke meerderheid ( $>66\%$ ) van de zeta-nulpunten simpel is en op de kritieke lijn ligt, waarbij een grens wordt bereikt die overeenkomt met de klassieke conditionele resultaten van Montgomery door een innovatieve toepassing van lineair algebraïsche rangbeperkingen op de expliciete formule.

De Grote Nulpuntenjacht

De Resultaten: Een Nieuw Record

Wat dit Niet Doet

Technische Samenvatting: "Meer dan twee derde van de nulpunten van de Riemann-zetafunctie zijn simpel en liggen op de kritieke lijn"

Meer zoals dit