Solution of Erd\H{o}s problem $\# 443$

Stellen Sie sich eine Welt vor, in der Zahlen nicht bloß kalte, harte Ziffern sind, sondern Akteure in einem riesigen, unsichtbaren Versteckspiel. Dies ist das Reich der Zahlentheorie, ein Zweig der Mathematik, der ganze Zahlen wie einzigartige Charaktere mit geheimen Identitäten behandelt. In diesem Spiel betrachten wir oft „Mengen“ – was nur schicke Wörter für Sammlungen von Zahlen sind – die durch das Befolgen einer bestimmten Regel entstehen. Wenn man zum Beispiel eine Zahl nimmt, sie mit ihrem Partner multipliziert (der Zahl, die zu einer bestimmten Summe aufaddiert) und alle Ergebnisse auflistet, erhält man ein einzigartiges Muster. Mathematiker lieben es zu fragen: „Wenn ich zwei verschiedene Muster mit unterschiedlichen Regeln erstelle, wie viele Zahlen haben sie gemeinsam?“ Es ist, als würde man fragen, wie viele Wörter sowohl in einem Wörterbuch alter Poesie als auch in einem Wörterbuch moderner Umgangssprache vorkommen. Die Frage mag wie ein Rätsel für einen Matheclub erscheinen, aber sie hilft uns, die verborgene Architektur der Zahlen zu verstehen und zu enthüllen, ob Muster selten, häufig oder völlig unvorhersehbar sind.

Das Papier, von dem Sie gleich hören werden, widmet sich einem speziellen Rätsel, das der legendäre Mathematiker Paul Erdős aufgeworfen hat. Er grübelte über zwei besondere Sammlungen von Zahlen nach. Die erste Sammlung entsteht, indem man eine Zahl $m$ nimmt, eine kleinere Zahl $k$ (von 1 bis zur Hälfte von $m$) auswählt und das Produkt $k(m-k)$ berechnet. Die zweite Sammlung macht genau dasselbe, jedoch mit einer anderen Zahl $n$. Die große Frage war: Wenn diese Zahlen riesig werden, wie viele „gemeinsame Freunde“ (Zahlen, die in beiden Listen erscheinen) können sie teilen? Erdős vermutete, dass die Anzahl der gemeinsamen Freunde zwar wachsen mag, dies aber sehr langsam geschieht – so langsam, dass die Anzahl für jede noch so kleine Fehlermarge, die man wählt, letztlich kleiner wäre als eine spezifische mathematische Formel, die die Größe der Zahlen beinhaltet. Er fragte auch, ob diese Anzahl an gemeinsamen Freunden jemals unbegrenzt wachsen kann oder ob sie eine Obergrenze erreicht.

Der Autor dieses Papiers, Stijn Cambie, agiert wie ein Detektiv, der diesen jahrzehntealten Fall löst. Er bestätigt, dass die Anzahl der gemeinsamen Freunde in der Tat unbeschränkt ist, was bedeutet, dass sie so groß werden kann, wie man es möchte, wenn man die richtigen Zahlen $m$ und $n$ wählt. Um dies zu beweisen, nutzt er einen klugen Trick: Er zeigt, dass das Finden einer gemeinsamen Zahl dasselbe ist wie das Finden eines Weges, eine bestimmte Differenz von Quadraten in zwei kleinere Teile zu zerlegen. Dies verwandelt das Problem in das Zählen der „Teiler“ (der Bausteine) einer Zahl. Da wir wissen, dass einige Zahlen eine enorme Anzahl von Teilern besitzen, beweist Cambie, dass wir immer Paare von $m$ und $n$ finden können, die eine massive Anzahl an gemeinsamen Freunden erzeugen.

Das Papier legt jedoch auch ein striktes Tempolimit für dieses Wachstum fest. Cambie demonstriert, dass die Anzahl der gemeinsamen Freunde zwar riesig werden kann, sie aber unglaublich langsam wächst – so langsam, dass sie in die „winzige Marge“ passt, die Erdős vermutete. Er zeigt, dass die Anzahl durch eine Funktion begrenzt ist, die im Vergleich zur Größe der beteiligten Zahlen im Grunde „fast konstant“ ist. In einfachen Worten: Selbst wenn Sie die bestmöglichen Zahlen wählen, um die Überschneidung zu maximieren, wird die Anzahl der gemeinsamen Freunde niemals explodieren; sie wird immer ein winziger Bruchteil der Gesamtzahl der beteiligten Zahlen bleiben.

Interessanterweise offenbart das Papier eine Wendung in der Geschichte: Dieses Problem war eigentlich keine Neuentdeckung. Der Autor stellt fest, dass ein Mathematiker namens Norbert Hegyvári genau dieses Problem bereits 40 Jahre zuvor gelöst hat, sein Beweis jedoch erst kürzlich veröffentlicht wurde. Während dieses Papier also eine frische, klare Erklärung liefert und die Antwort bestätigt, gehört der „gelöste“ Status des Problems tatsächlich dieser früheren, lange verborgenen Arbeit. Das Papier rät nicht nur, sondern liefert einen mathematischen Beweis, der genau zeigt, wie sich die Anzahl der gemeinsamen Freunde verhält, und bestätigt, dass sie sowohl unbeschränkt als auch überraschend klein im Verhältnis zur Größe der verwendeten Zahlen ist.