🔢 mathematics

Piatetski-Shapiro Primes in short intervals

Dit artikel stelt het bestaan vast van Piatetski-Shapiro-priemgetallen van de vorm $\lfloor n^c \rfloor$ binnen korte intervallen $[x, x + x^\theta]$ door zowel een asymptotische formule als een ondergrens te bewijzen onder specifieke beperkingen op de parameters $\theta$ en $c$ .

Oorspronkelijke auteurs: Lingyu Guo, Victor Zhenyu Guo

Gepubliceerd 2026-06-02

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Lingyu Guo, Victor Zhenyu Guo

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

De Grote Visie: Op zoek naar zeldzame juweeltjes in een piepklein doosje

Stel je voor dat je een schatzoeker bent die op zoek is naar priemgetallen. In de wereld van de getallen zijn priemgetallen als zeldzame, speciale juweeltjes (getallen zoals 2, 3, 5, 7, 11 die alleen deelbaar zijn door 1 en zichzelf).

Meestal zoeken wiskundigen naar deze juweeltjes over een zeer lange afstand op de getallenlijn. Ze weten dat als je naar een enorm interval kijkt, je zeker wat juweeltjes zult vinden. Maar de grote uitdaging in dit artikel is het zoeken naar juweeltjes in een zeer kort interval.

Denk er zo over na: Als je een lange snelweg hebt (de getallenlijn), is het vinden van een tankstation (een priemgetal) makkelijk. Maar wat als je alleen een stuk van 100 meter op die snelweg mag bekijken? Kun je garanderen dat er daar een tankstation is? De auteurs van dit artikel proberen te bewijzen dat je ja, deze speciale juweeltjes zelfs in zeer korte stukjes kunt vinden, mits je precies weet wat voor soort juweeltjes je zoekt.

De Speciale Juweeltjes: "Piatetski-Shapiro" priemgetallen

De auteurs zoeken niet naar zomaar welke priemgetallen. Ze zoeken naar Piatetski-Shapiro priemgetallen.

Stel je voor dat je een machine hebt die een geheel getal $n$ (1, 2, 3...) neemt en het platdrukt met een speciale formule: $\lfloor n^c \rfloor$ .

Het symbool $\lfloor \dots \rfloor$ betekent "naar het dichtstbijzijnde gehele getal naar beneden afronden."
De letter $c$ is een draaiknop waar je aan kunt draaien. Als je de knop naar $c=2$ draait, krijg je $n^2$ (1, 4, 9, 16...). Als je de knop iets anders instelt, krijg je een andere reeks.

De vraag is: Bevat deze afgeplatte reeks oneindig veel priemgetallen?
Bijvoorbeeld, als je de knop op $c=1.5$ zet, krijg je dan priemgetallen zoals $\lfloor 1^{1.5} \rfloor$ , $\lfloor 2^{1.5} \rfloor$ , $\lfloor 3^{1.5} \rfloor$ ... en zijn een van die resultaten priemgetallen?

Dit is een moeilijk probleem. Het is also kind vraag of een specifiek, vreemd gevormde zeef goudstof zal vangen. De auteurs bewijzen dat voor bepaalde instellingen van de draaiknop ( $c$ ), deze speciale priemgetallen wel bestaan, zelfs wanneer je slechts naar een heel kort, klein interval van getallen kijkt.

De Twee Hoofdresultaten: De "Exacte Kaart" en de "Gegarandeerde Schat"

Het artikel biedt twee verschillende manieren om te bewijzen dat deze priemgetallen bestaan.

1. De Exacte Kaart (De Asymptotische Formule)

Stelling 1.1 is als het tekenen van een precieze kaart.

Wat het doet: Het zegt niet alleen "er is een priemgetal hier." Het zegt: "Als je in dit korte interval kijkt, zullen er precies dit veel priemgetallen zijn, met een kleine foutmarge."
De Haken en Ogen: Deze kaart werkt alleen als het "korte interval" niet te kort is en de "draaiknop" ( $c$ ) niet te vreemd staat. De auteurs hebben veel tijd besteed aan het berekenen van de exacte grenzen waar deze kaart geldig is. Ze ontdekten dat als je de lengte van je zoekinterval en de instelling van de draaiknop precies goed afstemt, de wiskunde perfect werkt.

2. De Gegarandeerde Schat (De Ondergrens)

Stelling 1.2 is wat flexibeler. Het maakt gebruik van een hulpmiddel genaamd de Harman-zeef.

De Analogie: Stel je voor dat je een visnet (de zeef) hebt. Je wilt vis vangen (priemgetallen). De "Exacte Kaart" vertelt je precies hoeveel vis er in het net zit. De "Gegarandeerde Schat"-benadering wil alleen maar bewijzen dat het net niet leeg zal zijn.
Het Resultaat: Door deze zeef te gebruiken, kunnen de auteurs bewijzen dat er ten minste één priemgetal in het interval is, zelfs in situaties waarin de "Exacte Kaart" te ingewikkeld is om te tekenen. Dit stelt hen in staat om deze speciale priemgetallen te vinden in een breder scala aan instellingen dan de eerste methode.

Hoe ze het deden: Het "Wiskundige Ruis"-probleem

Om deze dingen te bewijzen, moesten de auteurs omgaan met Exponentiële Sommen.

De Metafoor: Stel je voor dat je probeert een enkele, zachte fluistering (de priemgetallen) te horen in een zeer luide, chaotische kamer vol mensen die schreeuwen (de andere getallen).
Het Probleen: Het "geschreeuw" is zo hard en complex dat het de fluistering overstemt. In de wiskunde wordt dit "ruis" genoemd.
De Oplossing: De auteurs ontwikkelden nieuwe technieken om de ruis weg te filteren. Ze gebruikten een methode genaamd de Cauchy-Schwarz ongelijkheid (een manier om te meten hoeveel twee dingen overlappen) en het A-proces (een manier om de chaos te verzachten).
De "Korte Interval" Twist: Normaal gesproken kunnen wiskundigen negeren dat ze naar een "kort" interval kijken omdat de ruis over lange afstanden gemiddeld uitvlakt. Maar omdat de auteurs naar een kort interval kijken, vlakt de ruis niet netjes uit. Ze moesten een nieuwe manier uitvinden om specifiek in die kleine, lawaaierige kamer naar de fluistering te luisteren.

De "Vreemde" Curve

Het artikel vermeldt een vreemd fenomeen in hun resultaten (Figuur 1). Naarmate ze de lengte van het interval veranderen, gaat de vereiste instelling van de "draaiknop" om priemgetallen te vinden soms op een vreemde manier omhoog en omlaag.

Waarom? Dat komt door een specifieke wiskundige term die ze moesten negeren om hun bewijs simpel te houden. Ze besloten die specifieke vreemde curve niet na te jagen, omdat dit alleen gebeurt wanneer het interval al vrij lang is, en hun hoofddoel was om priemgetallen in de kortst mogelijke intervallen te vinden.

Samenvatting

Kortom, Lingyu Guo en Victor Zhenyu Guo hebben bewezen dat als je naar een kort stuk getallen kijkt en een specifieke afrondingsformule toepast, je priemgetallen binnenin zult vinden. Dit deden ze door:

Een precieze telling te maken van hoeveel priemgetallen te verwachten zijn (Stelling 1.1).
Een "zeef" te gebruiken om te garanderen dat er ten minste één priemgetal bestaat (Stelling 1.2).
Nieuwe manieren te ontwikkelen om de wiskundige "ruis" te filteren om de priemgetallen in een kort, druk interval te horen.

Ze hebben geen nieuwe machine uitgevonden of een ziekte genezen; ze hebben simpelweg een zeer specifieke, moeilijke puzzel opgelost over waar getallen zich verschuilen in de uitgestrektheid van de wiskunde.

Technische Samenvatting: Piatetski-Shapiro-priemgetallen in korte intervallen

Probleemstelling
Het artikel behandelt de kwestie van het vaststellen van de existentie van Piatetski-Shapiro-priemgetallen binnen korte intervallen. Specifiek wordt de telfunctie $\pi_c(x)$ onderzocht, die priemgetallen $p \le x$ telt van de vorm $p = \lfloor n^c \rfloor$ voor een vaste reële waarde $c > 1$ . De centrale vraag is of de asymptotische relatie of een ondergrens voor het verschil $\pi_c(x + x^\theta) - \pi_c(x)$ standhoudt voor specifieke bereiken van de korte intervalparameter $\theta \in (2/3, 1)$ en de exponentparameter $\gamma = c^{-1}$ . Dit probleem dient als een benadering van de bredere conjectuur betreffende de oneindigheid van priemgetallen van de vorm $n^2 + 1$ . Hoewel de existentie van dergelijke priemgetallen in lange intervallen goed gevestigd is (waarbij het toelaatbare bereik voor $c$ door Rivat en Sargos is uitgebreid naar $c < 2817/2426$ ), blijft het gedrag in korte intervallen $[x, x + x^\theta]$ een fundamentele uitdaging in de analytische getaltheorie.

Methodologie
De auteurs maken gebruik van een combinatie van exponentiële somschattingen en zeefmethoden om hun resultaten af te leiden. De kern van de technische machinerie betreft het schatten van exponentiële sommen van de vorm:
$\sum_{h \sim H} \delta_h \sum_{n \sim N} \sum_{m} \mathbb{1}_{mn \in I} a_n b_m e(h(mn)^\gamma)$
waarbij $I = (x, x + x^\theta]$ . De auteurs maken onderscheid tussen Type I-sommen (waarbij de coëfficiënten eenvoudig zijn, bijvoorbeeld $b_m=1$ ) en Type II-sommen (waarbij de coëfficiënten complexer zijn, bijvoorbeeld $|b_m| \ll x^\epsilon$ ).

Type I: In tegenstelling tot standaardbenaderingen met dubbele grote zeven (double large sieves), schatten de auteurs de binnenste som over $m$ eerst met behulp van Lemma 2.5 (een hogere-orde afgeleidetest) om de verstrengeling van $m$ en $n$ aan te pakken die wordt veroorzaakt door de korte intervalconditie $mn \in I$ .
Type II: Er worden twee verschillende methoden gebruikt. De eerste past de Cauchy-Schwarz-ongelijkheid en het $A$ -proces (Weyl-van der Corput-ongelijkheid) toe om de som om te zetten in een vorm die geschikt is voor informatie over korte intervallen. De tweede methode past de techniek van Heath-Brown aan voor het tellen van rationale punten om aanvullende Type II-informatie te extraheren.

Harman-zeef: Om resultaten voor ondergrenzen te verkrijgen (Theorem 1.2), passen de auteurs de Harman-zeef toe. Dit behelst het deconstrueren van de telfunctie met behulp van de Buchstab-identiteit en de Fundamentele Lemma (Lemma 5.3). Het Fundamentele Lemma stelt de auteurs in staat om asymptotische formules te transfereren van de verzameling gehele getallen in het interval naar de verzameling Piatetski-Shapiro-getallen, mits de exponentiële sombounds standhouden.
Optimalisatie: De bereiken voor $\theta$ en $\gamma$ worden bepaald door de parameters in de exponentiële somschattingen en de zeefgewichten te optimaliseren. De auteurs maken gebruik van numerieke integratie (via MATLAB) om de bijdragen van de weggeachte termen in het zeefproces te berekenen, specifiek met betrekking tot de Buchstab-functie $w(u)$ .

Belangrijkste Bijdragen en Resultaten

Het artikel presenteert twee hoofdtheorema's die de existentie van Piatetski-Shapiro-priemgetallen in korte intervallen vaststellen onder specifieke beperkingen op $\theta$ en $\gamma$ :

Theorem 1.1 (Asymptotische Formule): De auteurs bewijzen een asymptotische formule voor $\pi_c(x + x^\theta) - \pi_c(x)$ van de vorm $\gamma x^{\theta+\gamma-1}/\log x$ . Dit geldt voor $\theta \in (2/3, 1)$ en $\gamma$ die een stuksgewijs gedefinieerde ondergrens (Vergelijking 1.2) vervult. Het toelaatbare bereik voor $\gamma$ varieert met $\theta$ , waarbij $\gamma$ over het algemeen dicht bij 1 moet liggen voor kleinere $\theta$ . Opmerkelijk is dat het artikel een ongebruikelijk fenomeen observeert waarbij de toelaatbare $\gamma$ toeneemt met $\theta$ nabij $\theta \approx 0.9$ , wat wordt toegeschreven aan de term $(1+\theta)/2$ in de Type II-somschatting.
Theorem 1.2 (Ondergrens): Door de Harman-zeef te gebruiken, verbeteren de auteurs het toelaatbare bereik voor $\gamma$ vergeleken met Theorem 1.1. Voor vaste waarden van $\theta \in (2/3, 1)$ stellen zij een ondergrens vast: $\pi_c(x + x^\theta) - \pi_c(x) \gg x^{\theta+\gamma-1}/\log x$ . Tabel 1 geeft specifieke waarden van $\gamma_0$ aan waarvoor het resultaat geldt voor alle $\gamma > \gamma_0$ . Bijvoorbeeld, bij $\theta = 0.90$ , geldt het resultaat voor $\gamma > 0.9168$ , terwijl Theorem 1.1 slechts een asymptotische formule garandeert voor $\gamma > 0.9534$ .

Betekenis en Claims
Het artikel claimt de eerste resultaten te bieden over Piatetski-Shapiro-priemgetallen in korte intervallen met zowel asymptotische formules als verbeterde ondergrenzen. De significantie ligt in het uitbreiden van de bekende toelaatbare bereiken voor de exponent $c$ (via $\gamma$ ) in de context van korte intervallen, wat een moeilijkere setting is dan lange intervallen vanwege het gebrek aan annulering in de exponentiële sommen.

De auteurs merken expliciet op dat hun methode voor Type I-sommen is afgestemd op de korte intervalrestrictie, aangezien standaard dubbele grote zeeftechnieken minder effectief zijn wanneer $\theta$ klein is. Ze erkennen ook dat zij potentieel het bereik voor grotere $\gamma$ (specifiek $\gamma > 0.87$ ) zouden kunnen verbeteren met zorgviger berekeningen, maar dat hun primaire focus ligt op het geval waarbij $\theta$ klein is. De resultaten worden gepresenteerd als een directe toepassing van gevestigde zeeftechnieken en exponentiële sombounds op de specifieke structuur van Piatetski-Shapiro-sequenties, zonder te claimen de $n^2+1$ conjectuur op te lossen of nieuwe experimentele toepassingen voor te stellen.