A proof of the twin prime conjecture

Dit paper claimt een bewijs van de tweelingpriemconjecture door een methode te ontwikkelen voor het schatten van correlaties die aantoont dat er oneindig veel paren priemgetallen $(p, p+2)$ bestaan.

De kern

Hier is een uitleg van het paper "A PROOF OF THE TWIN PRIME CONJECTURE" van T. Agama, vertaald naar begrijpelijk Nederlands met behulp van creatieve analogieën.

De Kernboodschap: Een Nieuwe Manier om naar Primen te Kijken

Stel je voor dat getallen een oneindige rij zijn, en ** priemgetallen** zijn de "sterren" in deze rij. Ze zijn onregelmatig verspreid, maar ze volgen bepaalde patronen. De Tweelingprijsvermoeden (Twin Prime Conjecture) is een van de oudste en beroemdste raadsels in de wiskunde. Het stelt simpelweg: Zijn er oneindig veel paren priemgetallen die precies 2 van elkaar verwijderd zijn? (Bijvoorbeeld: 3 en 5, 11 en 13, 17 en 19).

Tot nu toe hebben wiskundigen bewezen dat er veel van deze paren zijn, maar niemand heeft ooit kunnen bewijzen dat ze nooit ophouden. Dit paper claimt dat dit nu wel gelukt is met een nieuwe, verrassend simpele methode.

De "Gebiedsmethode" (The Area Method)

De auteur, T. Agama, introduceert een nieuwe aanpak die hij de "Gebiedsmethode" noemt. In plaats van ingewikkelde formules te gebruiken die lijken op het oplossen van een complexe puzzel met duizenden losse stukjes, kijkt hij naar de wiskunde alsof het een tekening is.

De Analogie: Het Legpuzzel van de Driehoek
Stel je een grote driehoek voor die je hebt getekend op papier.

1. De oude manier: Wiskundigen probeerden vaak te tellen hoeveel "sterren" (priemgetallen) er in een specifiek klein stukje van de driehoek zaten. Dit was erg moeilijk omdat de sterren zo willekeurig verspreid zijn.
2. De nieuwe manier (Gebiedsmethode): De auteur zegt: "Laten we de hele driehoek niet als één groot blok zien, maar als een stapel van kleinere blokken (rechthoeken en vierkanten) die we eruit kunnen snijden."

Hij gebruikt een wiskundige identiteit (een soort regel) die zegt: "De totale oppervlakte van deze grote driehoek is precies gelijk aan de som van de oppervlaktes van de kleinere stukjes die erin passen."

Door deze geometrische regel toe te passen op getallen, kan hij een ingewikkelde som (die moeilijk te berekenen is) herschrijven als een dubbele som (een soort teltabel). Deze nieuwe vorm is veel makkelijker te schatten met bestaande rekenregels.

Hoe werkt het in de praktijk?

Stel je voor dat je twee mensen zoekt die op een feestje precies naast elkaar staan (met één persoon ertussen, dus een afstand van 2).

• De moeilijke vraag: "Hoe vaak gebeurt dit precies?"
• De oplossing van Agama: In plaats van elke persoon één voor één te tellen, kijkt hij naar de "drukte" in de hele zaal. Hij gebruikt een formule die zegt: "Als je weet hoe druk het over het algemeen is, en je weet hoe de mensen zich groeperen, dan kun je berekenen dat er minimaal zoveel paren naast elkaar moeten staan."

In het paper gebruikt hij een speciaal getal (de Chebyshev-functie $\vartheta$) dat als een "gewicht" werkt. Priemgetallen krijgen een zwaar gewicht, andere getallen krijgen 0 gewicht.

1. Hij berekent eerst de totale "drukte" (de som van de gewichten).
2. Hij gebruikt zijn Gebiedsmethode om te bewijzen dat de interactie tussen getallen die 2 van elkaar verwijderd zijn, een bepaalde ondergrens heeft.
3. De uitkomst is een formule die zegt: "Het aantal tweelingpriemgetallen tot getal $x$ is minstens even groot als een bepaalde breuk van $x$ gedeeld door de logaritme van $x$."

Waarom is dit belangrijk?

De formule die hij vindt, groeit naarmate $x$ groter wordt.

• Als je de formule invult met een heel groot getal, krijg je een heel groot antwoord.
• Als je $x$ naar oneindig laat gaan, gaat het antwoord ook naar oneindig.

Dit betekent dat er oneindig veel van deze paren moeten zijn. Als er een eindig aantal zou zijn, zou de formule op een gegeven moment stoppen met groeien. Omdat hij bewijst dat de formule blijft groeien, is het vermoeden bewezen.

De "Grote Wiskundige" Context

In de wereld van de wiskunde is dit als het vinden van een nieuwe sleutel voor een deur die al eeuwig dicht zat.

• Vroeger probeerden wiskundigen de deur open te krijgen met zware hamers (zeef-methoden) of door de deur te bestuderen vanuit een heel ver weg (Gaps between primes).
• T. Agama zegt: "Wacht even, ik heb een nieuwe sleutel gevonden die past in het slot." Hij gebruikt geen zware hamer, maar een slimme geometrische truc die de deur simpelweg open duwt.

Conclusie

Kort samengevat:
Dit paper claimt dat de Tweelingprijsvermoeden is opgelost. De auteur gebruikt een nieuwe, visuele methode (de "Gebiedsmethode") die ingewikkelde getalproblemen omzet in een simpele oppervlakte-berekening. Hiermee kan hij bewijzen dat er oneindig veel paren priemgetallen zijn die 2 van elkaar verwijderd zijn.

Let op: Hoewel de tekst dit als een feit presenteert, is het in de echte wiskundige wereld altijd nodig dat dergelijke beweringen door andere experts grondig wordt gecontroleerd (peer review) voordat ze als 100% waar worden aanvaard. Maar de logica in dit paper is: "We hebben een nieuwe manier gevonden om te tellen, en die teller zegt dat het aantal oneindig is."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A PROOF OF THE TWIN PRIME CONJECTURE" van T. Agama, geschreven in het Nederlands.

1. Het Probleem

Het artikel richt zich op de Tweelingpriemconjectuur, een van de oudste en meest prominente problemen in de multiplicatieve getaltheorie. De conjectuur stelt dat er oneindig veel priemgetallen $p$ bestaan waarvoor $p+2$ ook een priemgetal is.
Hoewel er aanzienlijke vooruitgang is geboekt door wiskundigen zoals Viggo Brun (die aantoonde dat de som van de reciprocen van tweelingprijmen convergeert), Yitang Zhang (die bewees dat er oneindig veel priemparen met een eindige, vaste afstand bestaan) en James Maynard, is een volledige, onvoorwaardelijke bewijsvoering voor de infinitude van tweelingprijmen (en de specifieke asymptotische verdeling ervan) tot nu toe uitblijven. Het artikel beoogt deze conjectuur te bewijzen door een ondergrens te vinden voor het aantal tweelingprijmen tot $x$.

2. Methodologie: De "Area Method" (Gebiedsmethode)

De kern van het artikel is de introductie van een nieuwe, elementaire geometrisch-combinatorische methode die de auteur de "Area Method" noemt. Deze methode verschilt fundamenteel van traditionele benaderingen zoals het zeefmethode (sieve methods) van Brun of Selberg, of de correlatiemethoden van Goldston-Pintz-Yıldırım (GPY).

De methode bestaat uit de volgende stappen:

• Geometrische Identiteit (Stelling 2.1): De auteur leidt een algebraïsche identiteit af die gebaseerd is op het ontleden van de oppervlakte van eenvoudige vlakke figuren (rechthoekige driehoeken, trapezia, rechthoeken en vierkanten). De centrale observatie is dat de som van de oppervlaktes van een reeks kleinere driehoeken die een grotere driehoek vullen, gelijk is aan de oppervlakte van de grote driehoek minus de "overgebleven" rechthoekige gebieden.
• Decompositie van Correlaties: Deze geometrische identiteit wordt vertaald naar een algebraïsche decompositie voor sommen van de vorm $\sum f(n)f(n+j)$. Specifiek toont Corollary 2.2 aan dat een dubbele som over correlaties exact kan worden uitgedrukt als een product van partiële sommen:
  $$\sum_{n \le x-1} \sum_{j \le x-n} f(n)f(n+j) = \sum_{2 \le n \le x} f(n) \sum_{m \le n-1} f(m)$$
• Van Dubbele Som naar Vaste Shift: In Stelling 2.3 wordt deze identiteit gebruikt om een ondergrens te vinden voor een som met een vaste verschuiving $l$ (in dit geval $l=2$ voor tweelingprijmen). De auteur toont aan dat de som met vaste shift $\sum f(n)f(n+l)$ ondergrensd kan worden door een gewogen som van kwadratische partiële sommen, gedeeld door een constante $C(l)$ en $x$.
  $$\sum_{n \le x} f(n)f(n+l) \ge \frac{1}{C(l)x} \sum_{2 \le n \le x} f(n) \sum_{m \le n-1} f(m)$$

3. Toepassing op Priemgetallen

Om de tweelingpriemconjectuur te bewijzen, past de auteur deze methode toe op de Chebyshev-functie $\vartheta(n)$ (of gerelateerde Von Mangoldt-gewichten):
$$\vartheta(n) = \begin{cases} \log p & \text{als } n = p \in \mathbb{P} \\ 0 & \text{anders} \end{cases}$$

• Asymptotische Evaluatie: De auteur gebruikt de bekende asymptotische schatting uit de priemgetalstelling: $\sum_{n \le x} \vartheta(n) \sim x$.
• Sommatie per delen: Door de methode toe te passen op $\vartheta(n)$ en gebruik te maken van sommatie per delen, wordt de rechterkant van de ongelijkheid geëvalueerd. De berekening toont aan dat:
  $$\sum_{2 \le n \le x} \vartheta(n) \sum_{m \le n-1} \vartheta(m) \sim \frac{x^2}{2}$$
• Afleiding van de Ondergrens: Door deze resultaten te combineren met de ongelijkheid uit Stelling 2.3, leidt de auteur een ondergrens af voor de som van de producten van $\vartheta(n)\vartheta(n+2)$. Omdat $\vartheta(n)\vartheta(n+2)$ alleen niet-nul is wanneer $n$ en $n+2$ beide priem zijn, en de waarde dan ongeveer $(\log n)^2$ is, kan dit worden omgezet naar een telling van het aantal tweelingprijmen.

4. Belangrijkste Resultaten

Het artikel presenteert de volgende hoofdstelling:

• Stelling 3.1: Er bestaat een vaste constante $D(2) > 0$ zodanig dat het aantal tweelingprijmen tot $x$, genoteerd als $\pi_2(x)$, voldoet aan:
  $$\pi_2(x) \ge (1 + o(1)) \frac{1}{2D(2)} \frac{x}{\log^2 x}$$
• Corollarium 3.2: Omdat de rechterkant van de ongelijkheid naar oneindig gaat naarmate $x \to \infty$, volgt hieruit direct dat er oneindig veel tweelingprijmen bestaan.

De auteur stelt dat deze ondergrens de asymptotische vorm van de Hardy-Littlewood-conjectuur benadert (hoewel de constante $D(2)$ niet expliciet wordt geïdentificeerd als de Hardy-Littlewood-constante $2C_2$, maar als een vaste positieve constante).

5. Betekenis en Nieuwheid

• Alternatieve Benadering: De belangrijkste bijdrage is het bieden van een volledig nieuwe, elementaire route naar het probleem die geen gebruik maakt van complexe zeeftechnieken of geavanceerde analytische getaltheorie (zoals de Bombieri-Vinogradov-stelling of geoptimaliseerde testfuncties). In plaats daarvan leunt de methode op een exacte algebraïsche decompositie afgeleid van meetkunde.
• Vereenvoudiging: De auteur beweert dat het probleem van het schatten van correlaties $\sum G(n)G(n+l)$ wordt teruggebracht tot het schatten van kwadratische partiële sommen, wat makkelijker te hanteren is met standaardmethoden zoals sommatie per delen.
• Algemene Toepasbaarheid: De methode wordt gepresenteerd als een raamwerk dat niet alleen voor $l=2$ werkt, maar voor elke vaste verschuiving $l$, en potentieel ook voor andere correlaties zoals in het binary Goldbach-probleem ($\sum G(n)G(x-n)$).

Conclusie

Het artikel claimt een volledig bewijs te leveren voor de tweelingpriemconjectuur door een nieuwe "Area Method" te introduceren. Deze methode transformeert het probleem van het tellen van priemparen in een probleem van het schatten van sommen van partiële sommen van de Chebyshev-functie, wat leidt tot een positieve ondergrens die oneindigheid impliceert.

(Opmerking voor de lezer: Hoewel dit een samenvatting is van het verstrekte document, is het belangrijk op te merken dat in de wiskundige gemeenschap dergelijke claims van een "elementair bewijs" van de tweelingpriemconjectuur doorgaans met grote scepsis worden ontvangen en streng worden gecontroleerd, gezien de historische moeilijkheid van het probleem en de complexiteit van eerdere pogingen.)