Proof of 100 Euro Conjecture

In diesem Papier wird die seit fast 30 Jahren offene 100-Euro-Vermutung über Matrizen durch eine endliche Umformulierung des Ball'schen Planken-Theorems bestätigt und dabei eine vereinheitlichte $\ell_p$-Aussage hergeleitet, die auch eine schwächere Form der 200-Euro-Vermutung liefert.

Das Wesentliche

Hier ist eine einfache, bildhafte Erklärung der wissenschaftlichen Arbeit von Teng Zhang, die das sogenannte „100-Euro-Rätsel" löst.

Das große Rätsel: Der „100-Euro-Vertrag"

Stell dir vor, du hast ein riesiges, komplexes Netzwerk aus Zahlen, das wir eine Matrix nennen. Diese Matrix ist wie ein riesiges Filter-System oder ein Zaubertrick, das jede Zahl, die du hineingibst, verändert.

Seit fast 30 Jahren (seit 1997) hatten Mathematiker ein seltsames Problem:
Sie wussten, dass in diesem Filter-System jede Zeile (jeder „Filter") genau die richtige Menge an „Energie" hat. Wenn man alle Zahlen in einer Zeile addiert, kommt genau eine bestimmte Summe heraus (genau $n$, wobei $n$ die Größe des Systems ist).

Die Frage war: Gibt es immer mindestens eine Zahl (oder eine Gruppe von Zahlen), die durch diesen Filter so stark verändert wird, dass sie am Ende größer ist als vorher?

Das war das „100-Euro-Rätsel". Warum „100 Euro"? Weil der berühmte Mathematiker S. M. Rump 1997 einen Preis von 100 Euro für die Lösung versprochen hatte. Niemand konnte es beweisen.

Die Lösung: Der „Plank-Theorem"-Trick

Teng Zhang hat nun den Beweis gefunden. Er nutzt dabei eine Idee, die man sich wie ein Holzbrett-Problem vorstellen kann.

Stell dir vor, du hast einen Raum voller Holzbretter (die „Planken" aus dem Satz von Ball). Jedes Brett hat eine bestimmte Dicke. Die Mathematiker wussten schon lange: Wenn du genug Bretter hast, deren Gesamtdicke eine bestimmte Grenze überschreitet, dann musst du zwangsläufig durch mindestens eines dieser Bretter hindurchstoßen. Du kannst nicht alle Bretter umgehen.

Zhang hat dieses Brett-Prinzip auf das Zahlen-Filter-System übertragen:

1. Die Bretter sind die Zeilen der Matrix.
2. Das „Durchstoßen" bedeutet, dass das Ergebnis größer wird.

Zhangs genialer Trick war, das Problem nicht als starre Zahlenrechnung zu sehen, sondern als geometrisches Problem. Er hat gezeigt: Wenn die „Energie" in den Zeilen (die Bretter) stark genug ist, dann muss es einen Weg geben, bei dem die Zahlen anwachsen. Es ist physikalisch unmöglich, dass das System alle Zahlen klein hält.

Die Analogie: Der Drucker und das Papier

Stell dir die Matrix als einen Drucker vor, der ein Blatt Papier (deine Zahlen) bearbeitet.

• Die alte Vermutung: Wenn der Drucker so eingestellt ist, dass er auf jeder Seite genau die gleiche Menge Tinte verbraucht (die Bedingung $|A|e = ne$), dann gibt es immer mindestens ein Blatt Papier, das nach dem Drucken dicker oder schwerer ist als vorher.
• Zhangs Beweis: Er hat gezeigt, dass man nicht raten muss. Es gibt eine mathematische Garantie. Wenn die Tintenverteilung stimmt, kann der Drucker nicht alle Blätter „dünn" lassen. Mindestens eines wird „dicker" (größer).

Was bedeutet das für die „200-Euro-Vermutung"?

In der Arbeit wird auch ein noch stärkeres Rätsel erwähnt, das „200-Euro-Rätsel". Das ist wie eine härtere Version des ersten Spiels.
Zhang hat nicht nur das 100-Euro-Rätsel gelöst, sondern auch gezeigt, dass seine Methode eine ganze Familie von Lösungen liefert.

• Er hat eine Art „Universal-Schlüssel" gefunden, der nicht nur für das 100-Euro-Problem funktioniert, sondern auch für viele andere Varianten (sogar für runde Formen statt eckiger).
• Er hat damit auch eine schwächere Version des 200-Euro-Rätsels gelöst. Er sagt im Grunde: „Ich habe den Schlüssel gefunden, der fast alles öffnet, auch wenn wir noch nicht wissen, ob er jedes Schloss dieser Art perfekt öffnet."

Warum ist das wichtig?

In der Mathematik und Informatik geht es oft darum zu wissen, ob ein System stabil ist oder ob es „explodieren" kann (also ob Zahlen unkontrolliert groß werden).

• Früher: Man wusste nur, dass das System vielleicht explodiert, aber man konnte es nicht garantieren.
• Jetzt (durch Zhang): Wir wissen es zu 100 %. Wenn die Bedingungen erfüllt sind, muss das System wachsen. Das gibt Ingenieuren und Wissenschaftlern Sicherheit bei der Berechnung von komplexen Netzwerken, von Stromnetzen bis hin zu KI-Algorithmen.

Zusammenfassung in einem Satz

Teng Zhang hat bewiesen, dass in einem bestimmten mathematischen System, bei dem die „Energie" in jeder Zeile genau richtig verteilt ist, es immer eine Zahl gibt, die durch das System so stark vergrößert wird, dass sie größer ist als vorher – und er hat das mit einem cleveren Trick aus der Geometrie (dem Brett-Prinzip) bewiesen, der jetzt als Schlüssel für viele andere mathematische Probleme dient.

Das 100-Euro-Rätsel ist gelöst, und die Mathematikwelt kann aufatmen!

Technische Zusammenfassung

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

Titel: Beweis der 100-Euro-Vermutung (Proof of 100 Euro Conjecture)

Autor: Teng Zhang
Datum: 8. März 2026 (auf arXiv veröffentlicht)

---

1. Das Problem: Die 100-Euro-Vermutung

Das Paper adressiert die seit fast 30 Jahren offene 100-Euro-Vermutung (ursprünglich von S. M. Rump 1997 formuliert).

• Aussage: Sei $A \in \mathbb{R}^{n \times n}$ eine reelle Matrix, deren Einträge absoluten Betrag so erfüllen, dass $|A|e = ne$, wobei $|A|$ die Matrix der betragsweisen Einträge ist und $e = (1, \dots, 1)^T$ der Vektor aus Einsen ist.
• Behauptung: Unter dieser Bedingung existiert ein Vektor $x \in \mathbb{R}^n \setminus \{0\}$, sodass die Ungleichung $|Ax| \ge |x|$ komponentenweise gilt.
• Geometrische Interpretation: Die Bedingung $|A|e = ne$ bedeutet, dass jede Zeile von $A$ auf dem Rand der $\ell_1$-Kugel mit Radius $n$ (bzw. des Kreuzpolytops) liegt.
• Bisheriger Stand: Vor diesem Beweis war die beste bekannte Schätzung von Rump (1997), dass ein solcher Vektor existiert mit $|Ax| \ge \frac{1}{3+2\sqrt{2}}|x|$.

Zusätzlich wird die stärkere 200-Euro-Vermutung (Bünger–Seeger, 2024) erwähnt, die fordert, dass wenn die Zeilen von $A$ eine euklidische Norm von mindestens $\sqrt{n-1}$ haben, ebenfalls $|Ax| \ge |x|$ gilt.

---

2. Methodik

Die Beweisführung stützt sich auf eine elegante Verbindung von funktionalanalytischen Sätzen und Matrixtheorie:

1. Finite-dimensionale Reformulierung des Plank-Theorems von Ball:
   Der Autor nutzt ein Theorem von K. Ball (1991), das besagt, dass in einem endlichdimensionalen Banachraum $X$ bei einer Summe von "Breiten" von Planken (Hyperebenen-Bereichen), die 1 übersteigt, ein Punkt existiert, der in allen Planken liegt.

   • Korollar 2.2: Eine renormierte affine Konsequenz wird hergeleitet: Für Funktionale $f_i$ und Skalare $\lambda_i$, wenn $\sum \frac{\lambda_i}{\|f_i\|} \le 1$, existiert ein $x$ im Einheitsball $B_X$ mit $|f_i(x) - c_i| \ge \lambda_i$.

2. Spezialisierung auf $\ell_p$-Räume:
   Die Methode wird auf den Raum $X = (\mathbb{R}^n, \|\cdot\|_p)$ angewendet.

   • Für den Fall $p=\infty$ (der Würfel $[-1, 1]^n$) entspricht dies der ursprünglichen Vermutung.
   • Die duale Norm der Zeilenfunktionale wird identifiziert: Für $X = \ell_p^n$ ist die duale Norm $\|f_i\| = \|r_i\|_q$, wobei $1/p + 1/q = 1$.

3. Diagonale Reskalierung und Reduktion:
   Um von zeilenweisen Kriterien auf spektrale Eigenschaften zu schließen, nutzt der Autor:

   • Invarianz des sign-reellen Spektralradius: $\xi(D^{-1}AD) = \xi(A)$ für invertierbare Diagonalmatrizen $D$.
   • Reduktion auf irreduzible Hauptminoren: Durch den Satz von Perron-Frobenius wird auf eine irreduzible Hauptuntermatrix reduziert, um eine untere Schranke für $\xi(A)$ zu finden.

---

3. Schlüsselbeiträge und Ergebnisse

A. Beweis der 100-Euro-Vermutung (Hauptsatz 1.4 & Korollar 1.5)

Der Autor beweist einen "Würfel-Fluchtsatz" (Cube-escape principle):

• Satz: Wenn für jede Zeile $r_i$ von $A$ gilt $\|r_i\|_1 \ge nt$ (für ein $t > 0$), dann existiert ein $x \in [-1, 1]^n$ mit $|Ax| \ge t e \ge t|x|$.
• Folgerung: Setzt man $t=1$ (was der Bedingung $|A|e = ne$ entspricht), folgt sofort die Existenz eines $x \neq 0$ mit $|Ax| \ge |x|$. Damit ist die 100-Euro-Vermutung bewiesen.

B. Vergleich mit dem Spektralradius (Satz 1.6)

Es wird eine globale Beziehung zwischen dem sign-reellen Spektralradius $\xi(A)$ und dem Spektralradius $\rho(|A|)$ der Betragsmatrix hergestellt:
$$\rho(|A|) \le n \cdot \xi(A)$$
Dies bestätigt eine Vermutung von Bünger und Seeger (Conjecture 21 in [3]) und verbessert frühere Schätzungen.

C. Verallgemeinerung auf $\ell_p$-Fluchtsätze (Satz 1.8)

Der Beweis wird auf einen ganzen Familien von $\ell_p$-Räumen erweitert.

• Allgemeine Aussage: Wenn $\|r_i\|_q \ge nt$ (mit $1/p + 1/q = 1$), existiert ein$y$mit$|y|_p \le 1$, sodass$|Ay| \ge t e \ge t|y|$.
• Spezialfall $p=2$ (Euklidisch): Wenn $\|r_i\|_2 \ge \sqrt{n}$, existiert ein $y$ mit $\|y\|_2 \le 1$ und $|Ay| \ge \frac{1}{\sqrt{n}}e$.
• Schwache Form der 200-Euro-Vermutung (Korollar 1.10): Für den Fall der 200-Euro-Vermutung ($\|r_i\|_2 \ge \sqrt{n-1}$) wird gezeigt, dass ein Vektor existiert mit $|Ax| \ge \frac{\sqrt{n-1}}{n} e$. Dies ist eine quantitative, wenn auch schwächere Version der vollen 200-Euro-Vermutung.

---

4. Bedeutung und Implikationen

1. Lösung eines offenen Problems: Das Paper schließt eine fast 30-jährige Lücke in der Matrixtheorie und der Theorie der linearen Ungleichungen.
2. Einheitlicher Rahmen: Die Arbeit zeigt, dass die 100-Euro-Vermutung und verwandte euklidische Probleme Spezialfälle eines allgemeinen Prinzips sind, das auf dem Plank-Theorem von Ball basiert.
3. Verbesserung bestehender Schranken: Die Ergebnisse verbessern die bekannten unteren Schranken für den sign-reellen Spektralradius und bestätigen Vermutungen aus der aktuellen Literatur (insbesondere von Bünger und Seeger).
4. Methodischer Fortschritt: Die Kombination von geometrischen Plank-Theoremen mit der Theorie der nicht-negativen Matrizen (Perron-Frobenius) und Diagonalskalierung bietet einen neuen, leistungsfähigen Ansatz für Probleme der komponentenweisen Matrixungleichungen.

Zusammenfassend liefert Teng Zhang einen vollständigen Beweis für die 100-Euro-Vermutung und etabliert gleichzeitig einen mächtigen allgemeinen Rahmen für verwandte "Flucht"-Probleme in verschiedenen Normräumen.