Counting degrees of vertices in near Goldbach graphs

Stel je voor dat je een detective bent die probeert het grootste mysterie in de wereld van getallen op te lossen: de Goldbach-vermoeden. Dit beroemde raadsel stelt een eenvoudige vraag: kan elk even getal groter dan 2 worden opgebouwd door twee priemgetallen bij elkaar op te tellen? Priemgetallen zijn de "atomen" van de rekenkunde—getallen zoals 2, 3, 5, 7 en 11 die alleen deelbaar zijn door 1 en zichzelf. Eeuwenlang hebben wiskundigen deze regel gecontroleerd voor biljarden getallen, en het heeft altijd waar gebleken, maar niemand heeft ooit een perfect bewijs geschreven dat het voor elk even getal in het bestaan werkt. Om deze zaak te kraken, zijn sommige detectives begonnen met het maken van kaarten. Ze tekenen "Goldbach-grafieken", waarbij elk even getal een stad is, en wegen de steden verbinden als ze samen een specifiek doelgetal kunnen vormen. Als de kaart volledig verbonden is, is het mysterie opgelost. Maar deze kaarten zijn rommelig en moeilijk te lezen. Daarom besloot een team van onderzoekers een schonere, licht aangepaste versie van deze kaarten te maken, genaamd "bijna Goldbach-grafieken", om te zien of ze het patroon duidelijker konden ontwaren.

In dit artikel duiken de wiskundigen Shamik Ghosh en Souradeep De diep in deze "bijna Goldbach-grafieken" om te tellen hoeveel wegen (verbindingen) naar elke stad (even getal) leiden. Denk aan een even getal als een enorme feestheer. De "graad" van de gastheer is simpelweg het aantal gasten dat hij kan uitnodigen, zodanig dat de gast en de gastheer samen een specifiek paar priemgetallen vormen. De auteurs ontdekken eerst het exacte aantal van deze gasten voor kleinere feestjes met behulp van slimme teltrucs, bijna alsof ze een complexe Sudoku oplossen. Ze ontdekken dat als een gastheer meer dan één gast heeft, die gastheer zeker gevormd kan worden door twee oneven priemgetallen bij elkaar op te tellen.

Het tellen van gasten één voor één wordt echter onmogelijk voor enorme feestjes (enorme getallen). Dus wisselen de auteurs van strategie: ze gebruiken waarschijnlijkheid en statistiek om de grootte van de menigte te schatten. Ze behandelen de regels van deelbaarheid (zoals of een getal deelbaar is door 3, 5 of 7) alsof het onafhankelijke gebeurtenissen zijn, vergelijkbaar met het opgooien van munten. Door dit te doen, creëren ze een vloeiende, compacte formule die het aantal verbindingen voor zeer grote even getallen voorspelt. Hun voorspelling ziet er opvallend vergelijkbaar uit met een beroemde gok die Hardy en Littlewood in 1923 maakten, waarbij het alleen verschilt door een piepkleine, voorspelbare factor.

Het meest opwindende deel van hun werk komt aan het einde. Ze introduceren een concept genaamd "bijna onafhankelijke gebeurtenissen". Stel je een groep mensen voor op een feest waar de beslissing van iedereen om te komen grotendeels willekeurig is, maar met een klein beetje invloed van anderen. De auteurs laten zien dat als de regels die bepalen welke getallen ons even getal delen zich gedragen als deze "bijna onafhankelijke" groep, we er wiskundig zeker van kunnen zijn dat het feest minstens twee gasten zal hebben. Met andere woorden, als deze voorwaarde waar is, kan het evene getal worden geschreven als de som van twee oneven priemgetallen. Hoewel ze niet hebben bewezen dat deze voorwaarde altijd geldt voor elk getal in het universum, hebben ze via massale computersimulaties aangetoond dat het werkt voor getallen tot 20 miljoen en verder. Hun werk lost het Goldbach-vermoeden nog niet op, maar bouwt een zeer sterke brug, die suggereert dat als we maar kunnen bewijzen dat deze deelbaarheidsregels "bijna onafhankelijk" zijn, het mysterie eindelijk opgelost zal zijn.