🔢 mathematics

Primes of the form $p^2 + nq^2$

Dit artikel bewijst dat er oneindig veel priemgetallen zijn van de vorm $p^2 + nq^2$ waarbij zowel $p$ als $q$ priem zijn voor $n \equiv 0, 4 \pmod 6$ , waarbij een asymptotische telling wordt vastgesteld en de Friedlander–Iwaniec "Gaussische priemgetalconjectuur" voor $n=4$ wordt geverifieerd door Type I/II som-methoden toe te passen in $\mathbf{Q}(\sqrt{-n})$ , versterkt met recente vooruitgang in Gowers-normen en concatenatietheorema's.

Oorspronkelijke auteurs: Ben Green, Mehtaab Sawhney

Gepubliceerd 2026-06-09

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ben Green, Mehtaab Sawhney

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 voor dat je een meesterkok bent die een heel specifiek soort taart probeet te bakken. Het recept is simpel: neem twee ingrediënten, laten we ze Prime A en Prime B noemen. Meng ze samen in een speciale wiskundige kom met de formule $A^2 + n \times B^2$ . Je doel is om uit te zoeken of het resulterende mengsel ook een Priemgetal is.

Voor de meeste getallen $n$ is dit een gokspel. Maar dit artikel, geschreven door Ben Green en Mehtaab Sawhney, bewijst dat als je $n$ kiest als een getal dat een restwaarde van 0 of 4 laat bij deling door 6 (zoals 0, 4, 6, 10, enz.), je nooit zult uitraken met deze speciale taarten. Sterker nog, je kunt een oneindig aantal van deze taarten bakken.

Hier is hoe ze het puzzel oplosten, uitgelegd aan de hand van alledaagse analogieën:

1. Het Probleem: Het vinden van de "Gouden Tripletten"

In de wereld van getallen zijn Priemgetallen de bouwstenen (zoals 2, 3, 5, 7, 11). Ze zijn speciaal omdat ze alleen deelbaar zijn door 1 en zichzelf.

De auteurs zoeken naar een "Gouden Triplet":

Een priemgetal ( $p$ ).
Nog een priemgetal ( $q$ ).
Een derde getal gevormd door $p^2 + nq^2$ , dat ook een priemgetal moet zijn.

Denk hierbij aan een slot met drie trommels. Je moet een combinatie vinden waarbij alle drie de trommels tegelijkertijd op hun plek klikken. Lange tijd wisten wiskundigen dat je paren kon vinden, maar het bewijzen dat je er drie in deze specifieke opstelling kon vinden, was een enorme uitdaging.

2. De Strategie: De "Zeef" en de "Kaart"

Om deze getallen te vinden, hebben de auteurs niet simpelweg de getallen één voor één gecontroleerd (dat zou eeuwig duren). In plaats daarvan gebruikten ze een tweestapsstrategie:

Stap A: De Zeef (De Colander)
Stel je voor dat je een enorme zeef hebt vol met getallen. Je wilt alles eruit filteren dat geen priemgetal is.

Type I Sommen: Dit is als het controleren van de zeef op grote klonten vuil. De auteurs bewezen dat ze de overduidelijke niet-priemgetallen efficiënt konden wegfilteren.
Type II Sommen: Dit is het lastige gedeelte. Het is als het zoeken naar piepkleine, verborgen zandkorrels die op vuil lijken maar dat niet zijn. Dit is waar de wiskunde erg moeilijk wordt. De auteurs moesten bewijzen dat zelfs deze kleine, verborgen patronen hun telling niet verstoren.

Stap B: De Kaart (Het Getalveld)
Om de wiskunde makkelijker te maken, keken de auteurs niet alleen naar gewone getallen op een rechte lijn. Ze stelden zich een kaart voor van een andere wereld, een Getalveld (specifiek, een wereld die betrekking heeft op $\sqrt{-n}$ ).

Denk hierbij aan het overstappen van een platte 2D-kaart naar een 3D-wereldbol. Soms wordt een probleem dat op een platte kaart onmogelijk lijkt, makkelijker wanneer je het vanuit een andere hoek bekijkt. Door hun probleem naar deze "imaginaire" wereld te verplaatsen, konden ze krachtige hulpmiddelen gebruiken om de priemgetallen nauwkeuriger te tellen.

3. Het Geheimwapen: "Gowers Normen"

De echte magie in dit artikel ligt in de manier waarop ze de "Type II" sommen (de verborgen zandkorrels) aanpakten. Ze gebruikten een instrument uit een andere tak van de wiskunde genaamd Additieve Combinatoriek.

Stel je voor dat je probeert te detecteren of er een liedje wordt afgespeeld in een lawaaierige kamer.

Als het liedje gewoon willekeurige ruis is, is het moeilijk te horen.
Als het liedje een sterk, herhalend ritme heeft (een patroon), kun je het zelfs door de ruis heen horen.

De auteurs gebruikten Gowers Normen om het "ritme" van de getallen te meten.

Ze bewezen dat als de getallen geen sterk, voorspelbaar ritme hebben (wat priemgetallen over het algemeen niet hebben), dan de "ruis" zichzelf opheft.
Hierdoor konden ze de rommelige delen van de vergelijking negeren en zich alleen concentreren op de zuivere, priemgedeeltes. Ze gebruikten zeer recente, baanbrekende ontdekkingen over deze "ritmes" (genaamd concatenatie-stellingen) om hun bewijs te laten werken.

4. Het Resultaat: Een Tellersmachine

Zodra ze de ruis hadden weggefilterd en hun probleem correct hadden in kaart gebracht, konden ze eindelijk de taarten tellen.

Ze zeiden niet alleen "er zijn er oneindig veel". Ze gaven een precieze asymptotische formule.

Analogie: Als je vraat: "Hoeveel sterren staan er aan de hemel?", is een simpel antwoord "veel". Een precies antwoord is: "Als je naar een stuk hemel van deze grootte kijkt, zul je er ongeveer $X$ zien, met een kleine foutmarge."
De auteurs leverden de exacte formule voor $X$ . Ze berekenden exact hoeveel van deze "Gouden Tripletten" er bestaan tot een bepaalde grootte, met een zeer kleine foutmarge.

5. Het Speciale Geval: De "Gaussische Priemen"

Het artikel belicht een specifiek geval waarbij $n = 4$ .

In dit geval wordt de formule $p^2 + 4q^2$ .
Dit lost een beroemde vermoeden op (de "Gaussische Priemen Vermoeden") die al decennia lang op de plank lag. Het bevestigt dat je oneindig veel priemgetallen van deze vorm kunt vinden waarbij zowel $p$ als $q$ priemgetallen zijn.

Samenvatting

Kortom, Green en Sawhney bouwden een wiskundige machine die:

Een moeilijk getalprobleem vertaalde naar een andere "wereld" (Getalvelden).
Een hoogtechnologische zeef gebruikte om niet-priemgetallen weg te filteren.
Geavanceerde "ritmedetectoren" (Gowers Normen) gebruikte om te garanderen dat geen verborgen patronen de telling verstoorden.
Bewees dat je voor specifieke soorten getallen een oneindig aantal van deze speciale priemcombinaties kunt vinden, en ze gaven ons zelfs het recept om er precies te tellen hoeveel het er zijn.

Ze vonden er niet slechts één; ze bewezen dat de voorraad eindeloos is en gaven ons de instrumenten om ze allemaal te tellen.

Technische Samenvatting: Priemen van de vorm $p^2 + nq^2$

Probleemstelling
Het artikel behandelt het probleem van het vaststellen van een asymptotische telling voor paren priemgetallen $(p, q)$ waarvoor $p^2 + nq^2$ eveneens een priemgetal is. In het bijzonder bewijzen de auteurs dat voor elke positieve integer $n$ die voldoet aan $n \equiv 0$ of $n \equiv 4 \pmod 6$ , er oneindig veel dergelijke priemgetallen zijn. Dit lost een specifiek geval op van de "Gaussische priemgetalconjectuur" voorgesteld door Friedlander en Iwaniec (voor $n=4$ ) en breidt de studie uit naar priemgetallen gerepresenteerd door binaire kwadratische vormen waarbij de variabelen zelf beperkt zijn tot priemgetallen.

Het hoofdbestanddeel, Stelling 1.1, biedt een asymptotische formule voor de gewogen som:
$\sum_{x,y \in \mathbb{Z}} \Lambda(x)\Lambda(y)\Lambda(x^2 + ny^2) W\left(\frac{x}{N}, \frac{y}{N}\right) = \kappa_n N^2 \left( \int_{\mathbb{R}^2} W \right) + O\left( \frac{N^2 (\log \log N)^2}{\log N} \right)$
waarbij $\Lambda$ de von Mangoldt-functie is, $W$ een gladde gewichtsfunctie is, en $\kappa_n$ een constante is van de singuliere reeks afgeleid van lokale dichtheden.

Methodologie
Het bewijs maakt gebruik van een zeeftheoretisch kader dat is aangepast aan het getalveld $K = \mathbb{Q}(\sqrt{-n})$ . Het argument verloopt via verschillende afzonderlijke fasen:

Zeefreductie: Het probleem wordt gereduceerd tot het schatten van sommen over priemidealen in $K$ met behulp van de Duke–Friedlander–Iwaniec-zeef. Dit vereist het vaststellen van "Type I"- en "Type II"-schattingen voor gewichtsfuncties $w$ gedefinieerd op idealen.
- Type I-sommen omvatten sommen over delers van een vast niveau $L$ .
- Type II-sommen zijn bilineaire vormen met coëfficiënten die niet noodzakelijkerwijs gestructureerd zijn.
  De auteurs maken gebruik van een dimensie-3 bovenrand-zeef om de specifieke beperkingen van het probleem aan te pakken, met name bij het werken met de von Mangoldt-functie die niet 1-gebonden is.
Controle van Gowers-normen: De kerninnovatie ligt in het aantonen dat de vereiste Type I- en Type II-schattingen volgen uit de kleinheidsvoorwaarden van de Gowers-normen van de onderliggende functies. De auteurs decomponeren de von Mangoldt-functie $\Lambda$ in een "hoofdterm" (het Cramér-model $\Lambda_{\text{Cramér}}$ ) en een foutterm. Zij vertrouwen op recente kwantitatieve resultaten die aantonen dat de foutterm kleine Gowers-normen heeft.
Concatenatietheorema's: Om de Type II-sommen te behandelen, maken de auteurs gebruik van geavanceerde instrumenten uit de additieve combinatoriek, specifweg concatenatietheorema's voor Gowers-normen.
- Zij maken gebruik van recente kwantitatieve versies van deze theorema's door Kuca en door Kuca–Kravitz–Leng.
- Deze theorema's maken de conversie mogelijk van controle over "Gowers–Peluse-normen" (gegeneraliseerde normen die waarschijnlijkheidsmaten omvatten) naar controle over standaard Gowers $U^k$ -normen.
- Deze machinerie is essentieel voor het ontkoppelen van de bilineaire sommen en het bewijzen dat als de Gowers-normen van de invoerfuncties klein zijn, de Type II-sommen ook klein zijn.
Analytische Getaltheorie: De hoofdterm wordt geëvalueerd met behulp van de Priemideaalstelling voor Hecke-Größencharaktere (Propositie 8.3). De auteurs behandelen de singuliere reeks $\kappa_n$ zorgvuldig door het Cramér-model uit te breiden via inclusie-exclusie en de bijdrage van hoofd- en niet-hoofdkarakters te analyseren, waarbij zij de convergentie van de oneindige productdefinitie van $\kappa_n$ waarborgen.

Belangrijkste Bijdragen

Resolutie van de Gaussische Priemgetalconjectuur ( $n=4$ ): Het artikel verifieert de conjectuur dat er oneindig veel priemgetallen van de vorm $p^2 + 4q^2$ zijn met $p, q$ als priemgetal, en levert daarmee de eerste asymptotische formule voor dit specifieke geval.
Generalisatie naar $n \equiv 0, 4 \pmod 6$ : Het resultaat wordt uitgebreid naar een bredere klasse van gehele getallen $n$ , waarbij de pariteitbeperkingen worden gedekt die nodig zijn voor $p^2 + nq^2$ om een priemgetal te zijn wanneer $p, q$ priemgetallen zijn.
Toepassing van Kwantitatieve Concatenatie: Het artikel vertegenwoordigt een significante toepassing van zeer recente ontwikkelingen in de additieve combinatoriek (specifiek het quasi-polynomiale inverse theorem en kwantitatieve concatenatietheorema's) op een klassiek probleem in de analytische getaltheorie. Het overbrugt de kloof tussen het kwalitatieve begrip van Gowers-normen en de kwantitatieve grenzen die vereist zijn voor zeefmethoden.
Behandeling van Niet-Hoofdidealen: Het argument is geformuleerd in de taal van idealen in $\mathbb{Q}(\sqrt{-n})$ , waarbij succesvol wordt omgegaan met het gebrek aan unieke factorisatie in algemene imaginaire kwadratische velden door te werken met ideaalklassen en breukideaalrepresentanten.

Resultaten
Het primaire resultaat is de asymptotische telling gegeven in Stelling 1.1. De foutterm is van de orde $O(N^2 (\log \log N)^2 / \log N)$ , wat een besparing van een macht van $\log N$ betekent ten opzichte van de triviale bovengrens. De constante $\kappa_n$ is expliciet gedefinieerd als een product over priemgetallen die Legendre-symbolen bevat, wat de lokale obstructies reflecteert voor de vorm $p^2 + nq^2$ om een priemgetal te zijn.

Betekenis en Claims
De auteurs positioneren dit werk als een verificatie van een langdurige conjectuur van Friedlander en Iwaniec en als een natuurlijke uitbreiding van hun eerdere werk over priemgetallen van de vorm $x^2 + y^2$ . Het artikel beweert dat de belangrijkste technische nieuwheid de behandeling van Type II-sommen via de eerder genoemde concatenatietheorema's is, wat de noodzakelijke besparingen in de zeef mogelijk maakt.

De auteurs merken op dat hoewel het argument theoretisch gemodificeerd kan worden voor willekeurige positief-definiete binaire kwadratische vormen, zij de reikwijdte beperken tot $x^2 + ny^2$ om excessieve notatie te vermijden. Zij benadrukken ook dat het verkrijgen van Type I-informatie op het volledige niveau $X^{1/2}$ zonder absolute waarden een open vraag blijft, hoewel hun huidige bereik voldoende is voor de Duke–Friedlander–Iwaniec-zeef. Het werk claimt niet het algemene probleem van priemgetallen in polynoomsequenties op te lossen, maar richt zich specifiek op de "dunne verzameling" van priemgetallen waarbij beide coördinaten priemgetallen zijn.