Counting degrees of vertices in near Goldbach graphs

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, das größte Rätsel in der Welt der Zahlen zu lösen: die Goldbachsche Vermutung. Dieses berühmte Rätsel stellt eine einfache Frage: Kann jede gerade Zahl größer als 2 durch die Addition zweier Primzahlen gebildet werden? Primzahlen sind die „Atome“ der Arithmetik – Zahlen wie 2, 3, 5, 7 und 11, die nur durch 1 und sich selbst ohne Rest teilbar sind. Seit Jahrhunderten prüfen Mathematiker diese Regel für Billionen von Zahlen, und sie hat sich immer als wahr erwiesen, aber niemand hat jemals einen perfekten Beweis dafür geschrieben, dass sie für jede einzelne existierende gerade Zahl gilt. Um diesen Fall zu lösen, haben einige Detektive begonnen, Karten zu zeichnen. Sie zeichnen „Goldbach-Graphen“, in denen jede gerade Zahl eine Stadt ist und Straßen zwei Städte verbinden, wenn sie kombiniert eine bestimmte Zielzahl ergeben können. Aber wenn die Karte vollständig verbunden ist, ist das Rätsel gelöst. Doch diese Karten sind unordentlich und schwer zu lesen. Deshalb beschlossen Forscher, eine sauberere, leicht modifizierte Version dieser Karten namens „nahe Goldbach-Graphen“ zu erstellen, um das Muster deutlicher erkennen zu können.

In dieser Arbeit tauchen die Mathematiker Shamik Ghosh und Souradeep De tief in diese „nahen Goldbach-Graphen“ ein, um zu zählen, wie viele Straßen (Verbindungen) zu jeder Stadt (geraden Zahl) führen. Stellen Sie sich eine gerade Zahl wie einen riesigen Gastgeber einer Party vor. Der „Grad“ des Gastgebers ist einfach die Anzahl der Gäste, die er einladen kann, sodass der Gast und der Gastgeber zusammen ein spezifisches Paar aus Primzahlen bilden. Die Autoren ermitteln zunächst die genaue Anzahl dieser Gäste für kleinere Partys mithilfe geschickter Zählertricks, fast so, als würde man ein komplexes Sudoku-Rätsel lösen. Sie entdecken, dass wenn ein Gastgeber mehr als einen Gast hat, dieser Gastgeber definitiv durch die Addition zweier ungerader Primzahlen gebildet werden kann.

Das Zählen der Gäste einzeln wird jedoch für massive Partys (riesige Zahlen) unmöglich. Daher wechseln die Autoren zu einer anderen Strategie: Sie nutzen Wahrscheinlichkeit und Statistik, um die Größe der Menge zu schätzen. Sie behandeln die Regeln der Teilbarkeit (wie etwa, ob eine Zahl durch 3, 5 oder 7 teilbar ist) so, als wären sie unabhängige Ereignisse, ähnlich wie das Werfen von Münzen. Indem sie dies tun, erstellen sie eine glatte, kompakte Formel, die die Anzahl der Verbindungen für sehr große gerade Zahlen vorhersagt. Ihre Vorhersage sieht verblüffend ähnlich aus wie eine berühmte Vermutung, die Hardy und Littlewood im Jahr 1923 aufstellten, wobei sie sich nur durch einen winzigen, vorhersehbaren Faktor unterscheiden.

Der aufregendste Teil ihrer Arbeit kommt am Ende. Sie führen ein Konzept namens „nahezu unabhängige Ereignisse“ ein. Stellen Sie sich eine Gruppe von Menschen auf einer Party vor, bei der die Entscheidung jedes Einzelnen, zu erscheinen, weitgehend zufällig ist, aber mit einem winzigen Einfluss durch andere. Die Autoren zeigen, dass wenn die Regeln, die bestimmen, welche Zahlen in unsere gerade Zahl teilen, sich wie diese „nahezu unabhängige“ Gruppe verhalten, wir mathematisch sicher sein können, dass die Party mindestens zwei Gäste haben wird. Mit anderen Worten: Wenn diese Bedingung erfüllt ist, kann die gerade Zahl als Summe zweier ungerader Primzahlen geschrieben werden. Obwohl sie nicht bewiesen haben, dass diese Bedingung immer für jede einzelne Zahl im Universum gilt, haben sie durch massive Computersimulationen gezeigt, dass es für Zahlen bis 20 Millionen und darüber hinaus funktioniert. Ihre Arbeit löst die Goldbachsche Vermutung noch nicht, aber sie baut eine sehr starke Brücke und legt nahe, dass das Rätsel endlich gelöst sein wird, wenn wir nur beweisen können, dass diese Teilbarkeitsregeln „nahezu unabhängig“ sind.