New Upper Bounds for the Classical Ramsey Numbers $R(4,4,4)$, $R(3,4,5)$ and $R(3,3,6)$

Die Arbeit präsentiert neue, verbesserte Obergrenzen für die klassischen Ramsey-Zahlen $R(4,4,4)$, $R(3,4,5)$ und $R(3,3,6)$, die die bisher besten bekannten Schranken übertreffen.

Das Wesentliche

Stellen Sie sich vor, Sie sind der Organisator einer riesigen, chaotischen Party. Auf dieser Party gibt es viele Gäste, und jeder Gast ist mit jedem anderen verbunden – sie kennen sich alle. Das Problem ist: Jeder Gast möchte eine bestimmte Farbe an seinem T-Shirt tragen, aber es gibt nur begrenzte Farben zur Auswahl (sagen wir, Rot, Blau und Grün).

Das Grundproblem: Der "Ramsey-Zwang"
Die Mathematik hinter diesem Papier fragt eine ganz einfache Frage: Wie viele Gäste müssen mindestens auf der Party sein, damit es unvermeidbar ist, dass sich eine bestimmte Gruppe von Leuten findet, die alle die gleiche Farbe tragen und sich alle gegenseitig kennen?

In der Mathematik nennt man das "Ramsey-Zahlen".

• Wenn Sie sagen: "Ich brauche 4 Leute in Rot, die sich alle kennen", ist das eine bestimmte Zahl.
• Wenn Sie sagen: "Ich brauche 4 in Rot, 4 in Blau und 4 in Grün", ist das eine viel größere, schwierigere Zahl.

Bisher kannten die Mathematiker eine alte, bewährte Regel (eine Art "Faustformel"), um zu sagen: "Okay, bei dieser Anzahl von Gästen ist es garantiert, dass so eine Gruppe entsteht." Diese Regel war gut, aber sie war nicht perfekt. Sie sagte oft: "Es könnte bei 230 Leuten passieren." Aber vielleicht passiert es schon bei 229? Die alte Regel konnte das nicht beweisen.

Die neue Entdeckung: Ein cleverer Trick mit Dreiergruppen
Der Autor dieses Papiers, Luis Boza, hat einen neuen Trick gefunden, um diese alten Regeln zu verbessern. Er hat eine Art "Schnüffel-Test" entwickelt, der auf einer einfachen Beobachtung basiert: Teilebar durch 3.

Stellen Sie sich vor, Sie versuchen, die Party so zu organisieren, dass keine dieser gleichfarbigen Gruppen entsteht.

1. Die alte Regel sagt: "Bei 230 Leuten ist es unmöglich, das zu vermeiden."
2. Boza sagt: "Moment mal! Wenn wir genau 230 Leute haben und versuchen, das zu vermeiden, dann müssten die Gäste in einer sehr spezifischen, symmetrischen Weise angeordnet sein. Aber wenn man die Mathematik genau anschaut, ergibt sich dabei ein Widerspruch, wenn man die Zahlen durch 3 teilt."

Es ist, als würde man versuchen, einen Kuchen in 3 gleich große Stücke zu schneiden, aber der Teig hat eine Eigenschaft, die es physikalisch unmöglich macht, dass die Krümel genau so verteilt sind, wie man es für die perfekte Anordnung bräuchte.

Was hat er konkret herausgefunden?
Boza hat diesen Trick auf drei schwierige Fälle angewendet und die Zahlen verbessert:

1. Der Fall "4, 4, 4" (Drei Farben, je 4 Leute):

   • Alt: Man dachte, man brauche bis zu 230 Gäste, um sicherzugehen.
   • Neu: Boza zeigt, dass es schon bei 229 Gästen garantiert passiert. Das ist eine kleine, aber wichtige Verbesserung.

2. Der Fall "3, 4, 5" (Drei Farben, unterschiedliche Gruppen):

   • Alt: Die Grenze lag bei 157.
   • Neu: Er bestätigt, dass 157 die richtige Obergrenze ist (und zeigt, dass man nicht höher gehen muss).

3. Der Fall "3, 3, 6" (Drei Farben, eine große Gruppe):

   • Alt: Man dachte, man brauche bis zu 92 Gäste.
   • Neu: Boza beweist, dass es schon bei 91 Gästen passiert.

Warum ist das wichtig?
In der Mathematik sind diese Zahlen wie die "Schwierigkeitsgrade" von Rätseln. Je genauer wir die Grenzen kennen, desto besser verstehen wir die Struktur von Netzwerken, Computernetzwerken oder sogar sozialen Beziehungen.

Boza hat nicht das ganze Rätsel gelöst (wir wissen immer noch nicht die exakte Zahl, nur dass sie unter dieser neuen Grenze liegt), aber er hat die Schranke enger gezogen. Er hat gezeigt, dass die alten Faustformeln manchmal zu vorsichtig waren und dass man durch einen cleveren Blick auf die Zahlen (insbesondere das "Modulo 3"-Verhalten) die Grenzen verschärfen kann.

Zusammenfassung in einem Satz:
Luis Boza hat einen neuen mathematischen Trick gefunden, der beweist, dass man auf einer Party mit bestimmten Regeln für farbige T-Shirts weniger Gäste braucht, um eine garantierte "Freundesgruppe" in einer Farbe zu finden, als man bisher dachte – und er hat das für drei besonders knifflige Fälle bewiesen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers auf Deutsch:

Titel: Neue obere Schranken für die klassischen Ramsey-Zahlen $R(4, 4, 4)$, $R(3, 4, 5)$ und $R(3, 3, 6)$

Autor: Luis Boza

---

1. Problemstellung

Das Papier befasst sich mit der Bestimmung klassischer multicolor Ramsey-Zahlen $R(k_1, \dots, k_r)$. Diese Zahl ist definiert als die kleinste ganze Zahl $N$, sodass jede Färbung der Kanten des vollständigen Graphen $K_N$ mit $r$ Farben mindestens eine monochromatische Clique der Größe $k_i$ in Farbe $i$ enthält.

Bisherige obere Schranken für Ramsey-Zahlen mit $r \ge 3$ Farben wurden fast ausschließlich durch wiederholte Anwendung der bekannten rekursiven Ungleichung (Theorem 1.1) gewonnen:
$$R(k_1, \dots, k_r) \le 2 - r + \sum_{i=1}^r R(k_1, \dots, k_i-1, \dots, k_r)$$
Diese Ungleichung ist strikt, wenn die rechte Seite und mindestens ein Summand gerade sind. Für den Fall $r \ge 3$ gab es vor diesem Werk nur zwei bekannte Ausnahmen, bei denen diese Standard-Schranke verbessert werden konnte ($R_4(3) \le 62$ und $R(3, 3, 4) = 30$). Das Ziel des Autors ist es, neue, strengere obere Schranken für spezifische Kombinationen von $k_i$ zu finden, die nicht direkt aus Theorem 1.1 folgen.

2. Methodik

Der Autor entwickelt ein neues Kriterium, das auf modularer Arithmetik (insbesondere modulo 3) und der Struktur von Ramsey-Grafen basiert.

• Grundlegende Beobachtung: Wenn ein Graph $G$ in der Klasse $R(k_1, \dots, k_r; n)$ liegt (d.h. er hat $n$ Knoten und keine monochromatischen $K_{k_i}$), dann induziert die Nachbarschaft eines Knotens $v$ in Farbe $i$, bezeichnet als $N_i(v)$, einen Graphen, der in $R(k_1, \dots, k_i-1, \dots, k_r)$ liegt.

• Lemma 1.2: Zeigt, dass bei einer maximalen Knotenzahl $n = P(k_1, \dots, k_r) - 1$ (wobei $P$ die rechte Seite der Standard-Ungleichung ist) der Graph $G$ regulär bezüglich der Farben sein muss. Dies führt zu einer exakten Formel für die Anzahl der Kanten einer bestimmten Farbe.

• Theorem 2.1 (Das Hauptkriterium): Der Autor leitet eine Bedingung her, unter der die obere Schranke um 1 verbessert werden kann ($R \le P - 1$). Die Bedingungen sind:

  1. $P(k_1, \dots, k_r) \not\equiv 1 \pmod 3$.
  2. Es existiert ein $i_0$ mit $k_{i_0} \ge 4$, sodass die reduzierte Ramsey-Zahl $R(\dots, k_{i_0}-1, \dots)$ gleich ihrem Standard-Wert $P(\dots)$ ist und ebenfalls $\not\equiv 1 \pmod 3$.
  3. Eine weiter reduzierte Ramsey-Zahl (mit $k_{i_0}-2$) ist ebenfalls $\not\equiv 1 \pmod 3$.

  Beweisidee: Unter der Annahme, dass $R = P$ gilt, muss die Anzahl der monochromatischen Dreiecke in Farbe $i_0$ durch 3 teilbar sein. Durch die Kombination der Modularitätsbedingungen (keiner der Faktoren ist durch 3 teilbar) entsteht ein Widerspruch, was beweist, dass $R$ strikt kleiner als $P$ sein muss.

3. Wichtige Beiträge

• Entwicklung eines neuen Theorems (Theorem 2.1): Dies ist der theoretische Kern des Papers. Es bietet einen systematischen Weg, die Standard-Schranken zu verbessern, indem es die Parität und Modularität der beteiligten Zahlen ausnutzt.
• Anwendung auf spezifische Fälle: Der Autor wendet dieses Theorem auf mehrere klassische offene Probleme an, um die besten bekannten Schranken zu verschärfen.
• Kombinatorische Analyse: Die Arbeit verbindet die lokale Struktur von Ramsey-Grafen (Nachbarschaften) mit globalen Zählargumenten (Anzahl der Dreiecke), um Existenzaussagen zu widerlegen.

4. Ergebnisse

Das Papier liefert die folgenden neuen oberen Schranken:

1. $R(4, 4, 4) \le 229$

   • Vergleich: Die Standard-Schranke (Theorem 1.1) liefert $P_3(4) = 230$.
   • Begründung: Es wird gezeigt, dass $P_3(4) \equiv 2 \pmod 3$ und die notwendigen Bedingungen für Theorem 2.1 erfüllt sind.

2. $R(3, 4, 5) \le 157$

   • Vergleich: Die Standard-Schranke liefert $P(3, 4, 5) = 158$.
   • Begründung: Durch Analyse der reduzierten Zahlen $R(3, 3, 5)$ und $R(3, 4, 4)$ wird gezeigt, dass die Modularitätsbedingungen erfüllt sind.

3. $R(3, 3, 6) \le 91$

   • Vergleich: Die Standard-Schranke liefert $P(3, 3, 6) = 92$.
   • Begründung: Ähnlich wie oben wird die Modularität modulo 3 genutzt, um die Schranke zu senken.

4. $R(\underbrace{3, \dots, 3}_{10}, 4) \le 608.152.553$

   • Dies ist eine Verbesserung der Schranke für den Fall mit 11 Farben (zehn 3er und ein 4er), die durch rekursive Anwendung von Theorem 2.1 auf größere $r$-Werte erreicht wird.

5. Bedeutung und Ausblick

• Durchbruch bei Standard-Schranken: Da die meisten bekannten Schranken für $r \ge 3$ seit Jahrzehnten unverändert waren und nur auf Theorem 1.1 basierten, stellt diese Arbeit einen signifikanten Fortschritt dar. Sie zeigt, dass die Standard-Rekursion nicht immer scharf ist, selbst wenn keine expliziten Konstruktionen von Gegenbeispielen bekannt sind.
• Einschränkung der Verbesserungen: Der Autor weist darauf hin, dass weitere Verbesserungen durch Theorem 2.1 im Wesentlichen auf den hier bewiesenen Sätzen (2.2–2.5) basieren. Für bestimmte Familien von Zahlen (z.B. $R(3, \dots, 3, 5)$ für $r \le 10$) wurden keine weiteren Verbesserungen gefunden, was darauf hindeutet, dass die Modularitätsbedingungen dort nicht erfüllt sind oder andere Methoden benötigt werden.
• Methodischer Einfluss: Die Technik, die Anzahl der monochromatischen Dreiecke mit Modularitätsbedingungen zu verknüpfen, könnte ein nützliches Werkzeug für zukünftige Forschung in der Ramsey-Theorie sein, um Schranken für andere Parameterkombinationen zu verfeinern.

Zusammenfassend liefert Luis Boza in diesem Paper einen eleganten, auf Zahlentheorie basierenden Beweis, der die bekannten oberen Grenzen für einige der schwierigsten offenen Ramsey-Zahlen mit drei oder mehr Farben senkt.