Minimal zero-free regions for results on primes between consecutive perfect $k$th powers

Deze paper berekent minimale nulvrije gebieden voor de Riemann-zètafunctie om aan te tonen dat er altijd een priemgetal bestaat tussen opeenvolgende perfecte $k$-de machten voor $k \geq 65$, met name bewijzend dat dit geldt voor $k=86$ en voor een specifieke deelverzameling van gehele getallen bij $k=70$.

De kern

De Zoektocht naar de Gouden Sleutel: Een Verhaal over Getallen, Primes en de Riemann-hypothese

Stel je voor dat de wiskunde een gigantische stad is, gebouwd op de fundamenten van de getallen. In deze stad wonen de ** priemgetallen** (zoals 2, 3, 5, 7, 11...). Deze getallen zijn de "bouwstenen" van alle andere getallen; elk getal is een unieke combinatie van deze bouwstenen. Maar er is een groot mysterie: deze bouwstenen lijken willekeurig verspreid te zijn. Ze volgen geen strakke rij.

De wiskundige Ethan Simpson Lee heeft in dit nieuwe onderzoek een kaart getekend om te bewijzen dat er in bepaalde delen van deze stad altijd minstens één bouwsteen (een priemgetal) te vinden is, zelfs als je heel ver kijkt.

Hier is wat hij heeft gedaan, vertaald in alledaags taal:

1. Het Grote Dilemma: De "Legende" van de Vierkanten

Er is een beroemd raadsel uit de oudheid (het Legendre-probleem) dat zegt: "Tussen twee opeenvolgende kwadraten (zoals $100$en$121$, of$10000$en$10201$) zit altijd minstens één priemgetal."
Dit klinkt logisch, maar niemand heeft het ooit kunnen bewijzen. Het is alsof je zegt: "Er zit altijd een boom in elk bosje," maar je kunt niet bewijzen dat er geen bosje is zonder bomen. Zelfs met de krachtigste wiskundige hulpmiddelen die we hebben (de Riemann-hypothese), is dit nog steeds onopgelost.

2. De Oplossing: De "Kubus" en de "86e Macht"

Lee heeft niet direct het probleem van de kwadraten opgelost, maar hij heeft wel een enorme stap gezet in de goede richting. Hij heeft bewezen dat er altijd een priemgetal zit tussen getallen die je krijgt door een getal tot de 86e macht te verheffen.

• De Analogie: Stel je voor dat je een reusachtige ladder bouwt. De sporten zijn niet $1, 2, 3$, maar$1^{86}, 2^{86}, 3^{86}$. Deze sporten liggen enorm ver uit elkaar. Lee heeft bewezen dat tussen elke twee sporten op deze ladder, er altijd een "geheime schat" (een priemgetal) verstopt zit.
• Vroeger wisten we dit pas voor de 90e macht. Lee heeft de ladder verkort naar de 86e macht. Dat is een enorme verbetering!

3. De "Onzichtbare Muur" (De Nul-vrije Zone)

Hoe heeft hij dit bewezen? Hij keek naar een heel ingewikkeld spookgetal genaamd de Riemann-zeta-functie. Deze functie heeft "spookpunten" (nulwaarden) die de verdeling van de priemgetallen bepalen.

• De Metafoor: Stel je voor dat de priemgetallen worden bewaakt door een onzichtbare muur. Als je deze muur kunt doorbreken op de juiste plek, dan weet je zeker dat er een priemgetal is.
• Lee heeft berekend hoe "dik" deze muur moet zijn om zijn bewijs te laten slagen. Hij heeft gezegd: "Als we kunnen bewijzen dat er geen spookpunten zijn in dit specifieke, heel dunne stukje van de muur, dan is het bewijs rond."
• Voor de 70e macht (een nog grotere stap) heeft hij een lijst gemaakt van precies welke "dikte" van de muur we nodig hebben. Het is alsof hij zegt: "We zijn nog niet klaar, maar als we deze ene specifieke muur kunnen doorboren, dan hebben we het voor de 70e macht!"

4. Twee Slimme Strategieën

Lee heeft twee manieren bedacht om dit te bereiken:

1. De "Grote Lijst" (Voor de 70e macht): Hij heeft bewezen dat er een priemgetal zit tussen de 70e machten, mits je kijkt naar een specifieke, zeer lange lijst van getallen. Het is alsof hij zegt: "Als je alleen naar de huizen kijkt met een even huisnummer, dan zit er altijd een boom in de tuin." Dit is een half-winst, maar het is een enorme stap.
2. De "Kaart van de Muur" (Voor de 85e, 80e, 75e en 70e macht): Hij heeft een kaart getekend die precies aangeeft hoe ver we nog moeten gaan met het meten van die "spookpunten". Hij zegt: "We hoeven niet de hele muur te meten, alleen dit kleine stukje hier. Als we dat doen, weten we het antwoord."

5. Waarom is dit belangrijk?

Dit onderzoek is als het vinden van de sleutel voor een deur die al eeuwen gesloten is.

• Vroeger: We wisten dat er een priemgetal zat tussen de 90e machten.
• Nu: We weten dat het zeker is tussen de 86e machten.
• De Toekomst: Lee heeft de "schatkaart" gemaakt die aangeeft wat we nog moeten doen om het probleem voor de 70e macht (en misschien ooit voor de kwadraten!) op te lossen. Hij laat zien dat we niet meer hoeven te wachten op een wonder, maar dat we gewoon die ene specifieke muur moeten doorboren.

Kortom: Ethan Simpson Lee heeft de afstand tussen de bekende feiten en het grote mysterie van de priemgetallen kleiner gemaakt. Hij heeft bewezen dat de "ladder" van getallen veiliger is dan we dachten, en hij heeft ons een blauwdruk gegeven voor de volgende stap in de geschiedenis van de wiskunde.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Minimal Zero-Free Regions for Results on Primes Between Consecutive Perfect kth Powers" van Ethan Simpson Lee, vertaald en samengevat in het Nederlands.

Probleemstelling

Het artikel adresseert een fundamenteel open probleem in de getaltheorie: het bewijzen dat er tussen twee opeenvolgende perfecte $k$-de machten ($n^k$ en $(n+1)^k$) altijd ten minste één priemgetal bestaat voor elke gehele $n \geq 1$.

• Legendre's conjectuur: Dit is het specifieke geval voor $k=2$ (tussen kwadraten). Dit is nog steeds onopgelost, zelfs onder de aanname van de Riemann-hypothese (RH).
• Ingham's stelling: Ingham bewees dat er voor voldoende grote $n$ een priemgetal bestaat tussen $n^3$ en $(n+1)^3$.
• Huidige stand van zaken: Recent werk (o.a. Cully-Hugill) heeft de expliciete grenzen voor $n$ verlaagd, maar het bewijs voor kleine waarden van $n$ blijft moeilijk. De huidige beste onvoorwaardelijke resultaten tonen aan dat er een priemgetal bestaat voor $k=90$. Het doel van dit artikel is om de minimale waarde van $k$ te vinden waarvoor dit onvoorwaardelijk bewezen kan worden voor alle $n \geq 1$, en om te kwantificeren hoe dicht we bij het bewijs van Legendre's conjectuur ($k=2$) staan door te kijken naar de benodigde "zero-free regions" (gebieden zonder nulpunten) van de Riemann-zetafunctie.

Methodologie

De auteur combineert drie essentiële componenten om de dichtheid van priemgetallen in korte intervallen te analyseren:

1. Zero-free regions voor $\zeta(s)$: Het gebruik van gebieden in het kritieke strook ($\frac{1}{2} < \sigma < 1$) waar de Riemann-zetafunctie geen nulpunten heeft. Het artikel focust op de Littlewood-vorm: $\sigma \geq 1 - \frac{\log \log |t|}{Z \log |t|}$.
2. Zero-density schattingen: Het gebruik van bovengrenzen voor het aantal niet-triviale nulpunten $N(\sigma, T)$ in een rechthoek. Het artikel maakt gebruik van recente expliciete constanten van Bellotti en Wong.
3. Expliciete fouttermen: Een verfijnde analyse van de fout in de afgeknotte Riemann-von Mangoldt-formule en de Chebyshev-functies $\theta(x)$ en $\psi(x)$.

Technische Innovatie:
In plaats van alleen de fouttermen te verfijnen (wat beperkt is), introduceert Lee twee alternatieve strategieën:

• Parametrisatie van $n$: Voor een vaste $k$ (bijv. $k=70$) wordt bewezen dat er een priemgetal bestaat in een interval $(a_n^k, a_{n+1}^k)$ waarbij $a_n$ een specifieke rij is die afhangt van een parameter $N$. Dit omzeilt de "gaten" in de bewijzen voor kleine $n$.
• Berekening van minimale zero-free regions: Het berekenen van de exacte waarden van $Z$ en $T$ die nodig zijn om te garanderen dat er een priemgetal is voor $k < 86$, zelfs als de Riemann-hypothese niet volledig bewezen is.

De bewijzen maken gebruik van een nieuwe, geparametriseerde ondergrens voor het verschil $\theta(x+h) - \theta(x)$ (Propositie 3.1), die meerdere bounds voor $N(\sigma, T)$ combineert.

Belangrijkste Resultaten

1. Verbetering van de onvoorwaardelijke grens voor $k$ (Stelling 1.2):
Het artikel bewijst dat er voor elke gehele $n \geq 1$ ten minste één priemgetal bestaat in het interval $(n^{86}, (n+1)^{86})$.

• Dit verbetert het vorige record van $k=90$.
• Dit is een volledig expliciet resultaat (geldt voor alle $n$, niet alleen voor "groot genoeg" $n$).

2. Een resultaat voor een subset van gehele getallen (Stelling 1.3):
Voor $k=70$ wordt bewezen dat er een priemgetal bestaat in het interval $(a_n^{70}, a_{n+1}^{70})$ voor een specifieke rij $a_n = n(1 + \lfloor N/n \rfloor)$, mits $N$ groot genoeg is:
$$N \geq \exp\left(\frac{15951}{70}\right) - \exp\left(\frac{2135}{70}\right) \approx 9.189 \times 10^{98}$$
Dit betekent dat voor $n > 9.189 \times 10^{98}$ er zeker een priemgetal is tussen $n^{70}$ en $(n+1)^{70}$. Voor kleinere $n$ wordt de rij aangepast om het bewijs compleet te maken.

3. Minimal Zero-Free Regions (Stelling 1.4):
Dit is het meest theoretisch significante deel. Het artikel berekent de minimale eisen voor de zero-free region van $\zeta(s)$ die nodig zijn om het bestaan van een priemgetal tussen $n^k$ en $(n+1)^k$ te garanderen voor $k \in \{85, 80, 75, 70\}$.

• Als $\zeta(\sigma + it) \neq 0$ in het gebied gedefinieerd door $1 - \frac{\log \log |t|}{z_k \log |t|} \leq \sigma \leq 1$en$H_R < |t| \leq T_k$, dan geldt het resultaat voor alle$n \geq 1$.
• Voorbeeld voor $k=70$: Als er geen nulpunten zijn in het dunne rechthoekige gebied $0.99168 \leq \sigma \leq 1$voor$|t| \leq e^{264.334}$, dan is er altijd een priemgetal tussen$n^{70}$en$(n+1)^{70}$.
• Tabel 1 in het artikel geeft de specifieke waarden voor $z_k$ en $\log T_k$ voor $k$ tussen 65 en 85.

Significantie en Impact

• Kwantificering van de afstand tot Legendre's conjectuur: De berekeningen tonen aan hoe "ver" we nog verwijderd zijn van het bewijzen van Legendre's conjectuur ($k=2$). Hoewel $k=70$ theoretisch haalbaar lijkt met een redelijke uitbreiding van de zero-free region, wordt de complexiteit exponentieel groter naarmate $k$ afneemt.
• Methodologische doorbraak: De auteur toont aan dat het combineren van meerdere zero-density bounds (in plaats van slechts één) leidt tot sterkere resultaten voor $67 \leq k \leq 85$.
• Praktische toepasbaarheid: De geparametriseerde ongelijkheden (Propositie 3.1) zijn ontworpen om makkelijk te updaten te zijn met toekomstige verbeteringen in de kennis over de nulpunten van de zetafunctie.
• Open source: De code die gebruikt is voor de berekeningen is beschikbaar gesteld, wat reproduceerbaarheid en verdere onderzoeksmogelijkheden waarborgt.

Samenvattend levert dit artikel een aanzienlijke stap voorwaarts in het begrijpen van de verdeling van priemgetallen in korte intervallen, verlaagt het de onvoorwaardelijke grens voor $k$ naar 86, en biedt het een helder blauwdruk van welke vooruitgang in de theorie van de Riemann-zetafunctie nodig is om nog lagere waarden van $k$ (en uiteindelijk $k=2$) te bewijzen.