🔢 mathematics

The sum-product conjecture is false for real numbers

Dieser Artikel widerlegt die Summen-Produkt-Vermutung für reelle Zahlen und verwandte Kontexte durch die Konstruktion beliebig großer Mengen mit gleichzeitig kleinen Summen- und Produktmengen, wodurch die Vermutung und die Viele-Summen-und-Produkte-Vermutung widerlegt sowie neue Schranken für Lösungen linearer und Einheitsgleichungen etabliert werden.

Ursprüngliche Autoren: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

Veröffentlicht 2026-05-28

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Die große Idee: Ein 50 Jahre altes Regelwerk wird gebrochen

Stellen Sie sich einen Beutel voller Zahlen vor. Mit diesen können Sie zwei Dinge tun:

Addieren Sie sie (erzeugen Sie eine „Summenmenge").
Multiplizieren Sie sie (erzeugen Sie eine „Produktmenge").

Seit Jahrzehnten glaubten Mathematiker an eine Regel namens Summen-Produkt-Vermutung. Die Regel war einfach: Man kann nicht beides haben.

Die Intuition besagte, dass, wenn Ihre Zahlen so „geklumpt" sind, dass das Addieren nicht viele neue Zahlen erzeugt (wie eine gerade Linie von Zahlen), das Multiplizieren sie dann in eine riesige Vielfalt neuer Zahlen explodieren lassen sollte. Umgekehrt sollte, wenn das Multiplizieren sie klein hält (wie eine geometrische Folge), das Addieren eine massive Explosion neuer Zahlen erzeugen.

Die Vermutung besagte, dass für jede große Menge reeller Zahlen mindestens eine dieser Operationen eine enorme Anzahl von Ergebnissen erzeugen muss. Es galt als unmöglich, eine Menge zu haben, bei der sowohl Addition als auch Multiplikation klein bleiben.

Dieser Artikel sagt: „Nicht so schnell."

Die Autoren haben einen mathematischen „Magietrick" entwickelt, der diese Regel für reelle Zahlen widerlegt. Sie konstruierten spezifische, massive Mengen von Zahlen, bei denen sowohl die Summenmenge als auch die Produktmenge überraschend klein bleiben. Sie haben nicht nur die Regel gebrochen; sie haben sie mit einer massiven, beliebig großen Menge von Zahlen gebrochen.

Der Magietrick: Wie sie es taten

Um ihre Konstruktion zu verstehen, stellen Sie sich vor, Sie bauen eine Stadt.

1. Der alte Weg (Das Balog-Wooley-Beispiel)

Früher versuchten Mathematiker, eine kleine Menge zu erzeugen, indem sie zwei Arten von Vierteln mischten:

Die geometrische Straße: Eine Straße, auf der die Häuser exponentiell verteilt sind (1, 10, 100, 1000...). Wenn Sie diese multiplizieren, bleiben Sie auf der Straße. Aber wenn Sie sie addieren, sind die Lücken so riesig, dass sich die Summen überall ausbreiten.
Die arithmetische Straße: Eine Straße, auf der die Häuser gleichmäßig verteilt sind (1, 2, 3, 4...). Wenn Sie sie addieren, bleiben sie in einem engen Block. Aber wenn Sie sie multiplizieren, explodieren die Zahlen.

Der alte Trick bestand darin, diese Straßen zu mischen. Doch die „geometrische Straße" war zu spärlich besiedelt. Es war, als hätte man ein paar Häuser auf einer riesigen Autobahn. Wenn man sie addierte, war das Ergebnis immer noch zu groß, um die Regel zu brechen.

2. Der neue Weg (Das hochdimensionale Gitter)

Die Autoren erkannten, dass sie eine „geometrische Straße" benötigten, die dicht (vollgepackt mit Häusern) war, sich aber beim Multiplizieren dennoch gut verhielt. Sie fanden dies, indem sie von einer flachen 2D-Karte zu einer hochdimensionalen Hyperstadt wechselten.

Die Stadt (Zahlkörper): Anstatt mit normalen ganzen Zahlen zu arbeiten, bauten sie ihre Zahlen innerhalb eines speziellen „Universums" auf, das als total reeller Zahlkörper bezeichnet wird. Stellen Sie sich dies als eine Stadt mit $d$ verschiedenen Dimensionen vor (wobei $d$ eine sehr große Zahl ist).
Das additive Gitter (Die Box): Sie wählten einen Block von Zahlen aus, der in diesem hochdimensionalen Raum wie ein perfekter, enger Würfel aussieht. Wenn Sie Zahlen aus diesem Würfel addieren, ist das Ergebnis nur ein etwas größerer Würfel. Er bleibt kompakt.
Das multiplikative Gitter (Die Einheiten): Sie wählten auch eine spezielle Gruppe von Zahlen aus, die als „Einheiten" bezeichnet werden. In dieser hochdimensionalen Welt verhalten sich diese Einheiten wie eine dichte geometrische Folge. Wenn Sie sie multiplizieren, bleiben sie innerhalb einer engen, vorhersehbaren Form.

3. Das Geheimnis: Das „Direkte Produkt"

Der geniale Zug bestand darin, diese beiden Gitter zu kombinieren. Sie nahmen jede Zahl aus dem „additiven Würfel" und multiplizierten sie mit jeder Zahl aus dem „multiplikativen Gitter".

Warum es funktioniert: Weil der „additive Würfel" so eng gepackt ist und das „multiplikative Gitter" so dicht ist, ist die resultierende Menge riesig (beliebig groß).
Das Ergebnis:
- Wenn Sie zwei Zahlen aus dieser neuen Menge addieren, hält der Teil des „additiven Würfels" das Ergebnis davon ab, zu explodieren.
- Wenn Sie zwei Zahlen multiplizieren, hält der Teil des „multiplikativen Gitters" das Ergebnis davon ab, zu explodieren.

Es ist, als hätte man eine Stadt, deren Straßen so perfekt gestaltet sind, dass Sie, egal wie Sie gehen (addieren) oder wie Sie fahren (multiplizieren), niemals ein kleines, überschaubares Viertel verlassen.

Warum dies wichtig ist (laut dem Artikel)

Der Artikel sagt nicht nur „wir haben die Regel gebrochen". Er zeigt, wie man sie in verschiedenen mathematischen Welten bricht:

Reelle Zahlen: Sie bewiesen, dass die Regel für Standard-Reelle Zahlen (die Zahlen, die wir im täglichen Leben verwenden) falsch ist.
p-adische Zahlen: Sie zeigten, dass derselbe Trick in einem anderen Zahlensystem funktioniert, das in der fortgeschrittenen Physik und Kryptographie verwendet wird.
Endliche Körper: Sie zeigten, dass man selbst in „Uhr-Arithmetik" (wo Zahlen sich umschlagen) Mengen finden kann, die die Regel brechen.
Funktionenkörper: Sie dehnten dies auf Körper formaler Potenzreihen aus (verwendet in der Kodierungstheorie).

Die „KI"-Anmerkung

Die Autoren erwähnen, dass sie von einem kürzlich von einer KI generierten Gegenbeispiel zu einem anderen mathematischen Problem (der „Einheitsdistanz-Vermutung") inspiriert wurden. Obwohl sie eine KI (GPT-5.5 Pro) als „Sparringspartner" nutzten, um einen spezifischen Lemma-Schritt (einen kleinen Beweisschritt) zu vereinfachen, wurden die Kernideen, die Hauptkonstruktion und der gesamte Beweis von Menschen generiert. Die KI war nur ein hilfreicher Assistent, nicht der Architekt.

Zusammenfassung

Seit 50 Jahren dachten Mathematiker, man könne keine Menge von Zahlen haben, die sowohl unter Addition als auch unter Multiplikation „klein" ist. Dieser Artikel sagt: „Wir haben eine gebaut."

Sie taten dies, indem sie eine massive, hochdimensionale mathematische Struktur konstruierten, bei der die Regeln der Addition und Multiplikation perfekt ausbalanciert sind, um die Ergebnisse klein zu halten. Sie bewiesen, dass die alte Regel falsch war, und zwar nicht nur für eine winzige, seltsame Ausnahme, sondern für Mengen von Zahlen, die so groß sein können, wie man möchte.

Technische Zusammenfassung: Die Sum-Produkt-Vermutung ist für reelle Zahlen falsch

Problemstellung
Der Artikel befasst sich mit der Erdős–Szemerédi-Sum-Produkt-Vermutung, die besagt, dass für jede endliche Menge $A$ in einem Ring (speziell $\mathbb{Z}$ , $\mathbb{R}$ oder $\mathbb{C}$ ) mindestens eine der Mengen $A+A = \{a+b : a,b \in A\}$ oder $AA = \{ab : a,b \in A\}$ nahezu maximal wachsen muss. Formal besagt die Vermutung:
$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$
wobei der Term $o(1)$ gegen Null geht, wenn $|A| \to \infty$ . Während die besten bekannten unteren Schranken für Teilmengen von $\mathbb{R}$ die Form $|A|^{4/3+c}$ haben, bleibt die Vermutung offen. Die Autoren untersuchen, ob diese Vermutung für die reellen Zahlen gilt.

Methodik
Die Autoren konstruieren explizite Gegenbeispiele unter Verwendung der algebraischen Zahlentheorie, speziell durch Ausnutzung total reeller Zahlkörper großen Grades. Die Kernstrategie umfasst eine hochdimensionale Verallgemeinerung des Balog–Wooley-Beispiels, wobei die Standard-geometrische und arithmetische Progression durch strukturierte Teilmengen des Ganzheitsrings $\mathcal{O}_K$ eines Zahlkörpers $K$ ersetzt werden.

Die Konstruktion stützt sich auf zwei verschiedene Gitterstrukturen innerhalb von $\mathcal{O}_K$ :

Das additive Gitter: Eine „Box" $P$ aus algebraischen ganzen Zahlen, bei der alle reellen Einbettungen $\sigma_i(p)$ in einem kurzen Intervall $[X-cX, X+cX]$ liegen. Dies stellt sicher, dass die additive Struktur auf einen kleinen Bereich beschränkt ist.
Das multiplikative Gitter: Eine Menge $G$ von Einheiten $u \in \mathcal{O}_K^\times$ , bei der die Logarithmen ihrer Einbettungen $|\log|\sigma_i(u)||$ durch eine Konstante $Y$ beschränkt sind. Dies erzeugt eine Menge mit geringem Produktwachstum (kleine Verdopplung).

Die Gegenbeispielmenge ist als Produkt $A = GP = \{up : u \in G, p \in P\}$ definiert. Die Autoren stellen sicher, dass dieses Produkt direkt ist (d. h. $|A| = |G||P|$ ), indem sie Parameter so wählen, dass das Verhältnis zweier beliebiger Elemente in $P$ keine nicht-triviale Einheit sein kann, eine Eigenschaft, die durch Schinzel's Ergebnisse zur Trennung von Einheiten garantiert wird.

Die Existenz geeigneter Zahlkörper wird durch Martinet's Konstruktion von Türmen total reeller Körper mit beschränktem Wurzel-Diskriminanten ( $\Delta_K \le C^d$ ) und kontrollierten Regulatoren ( $R_K \le \Delta_K$ ) gewährleistet. Diese Schranken stellen sicher, dass die Gittervolumina (und somit die Größen von $P$ und $G$ ) exponentiell mit dem Grad $d$ wachsen, was die Konstruktion beliebig großer Mengen $A$ ermöglicht.

Hauptbeiträge und Ergebnisse

Widerlegung der Sum-Produkt-Vermutung über $\mathbb{R}$ :
Das Hauptergebnis (Satz 1.1) stellt die Existenz einer absoluten Konstante $c > 0$ fest, sodass es beliebig große endliche Mengen $A \subset \mathbb{R}$ gibt, die folgende Bedingung erfüllen:
$\max(|A+A|, |AA|) \le |A|^{2-c}$
Dies widerspricht der Vermutung direkt. Die Konstruktion liefert Mengen, bei denen die Summenmenge klein ist ( $|A+A| \le |A|^{1+\epsilon}$ ) und die Produktmenge eine Potenz-Einsparung aufweist ( $|AA| \le |A|^{2-c\epsilon}$ ).
Widerlegung der Vermutung „Viele Summen und Produkte":
Die Autoren erweitern ihre Konstruktion, um die stärkere Vermutung von Erdős bezüglich $k$ -facher Summen und Produkte zu widerlegen. Für jedes feste $k \ge 3$ konstruieren sie beliebig große $A \subset \mathbb{R}$ , sodass:
$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$
Diese Abhängigkeit von $k$ wird als wahrscheinlich optimal für festes $k$ bei $|A| \to \infty$ angesehen.
Neue untere Schranken für lineare Gleichungen in multiplikativen Gruppen:
Die Konstruktion liefert neue untere Schranken für die Anzahl der Lösungen linearer Gleichungen $x_1 + \dots + x_k = 1$ mit $x_i$ in einer multiplikativen Gruppe $\Gamma$ .
- Für Untergruppen von $\mathbb{R}^\times$ vom Rang $d$ wird gezeigt, dass die Anzahl der nicht-degenerierten Lösungen mindestens $\exp((C^{-1}k \log k)d)$ beträgt, was demonstriert, dass die lineare Abhängigkeit vom Rang $d$ im Exponenten der oberen Schranke von Evertse–Schlickewei–Schmidt bestmöglich ist.
- Für die Einheitsgleichung in Zahlkörpern zeigen die Autoren, dass für hinreichend große $k$ Körper vom Grad $d$ mit mindestens $C^d$ Lösungen existieren, was Vermutungen über subexponentielles Wachstum für $k \ge 3$ widerlegt.
Varianten in anderen Settings:
Die Methodik wird angepasst, um Gegenbeispiele in folgenden Bereichen zu erzeugen:
- $p$ -adische Zahlen ( $\mathbb{Q}_p$ ): Unter Verwendung von Körpern, in denen $p$ vollständig zerfällt.
- Endliche Körper ( $\mathbb{F}_p$ ): Durch Reduktion der Konstruktion algebraischer ganzer Zahlen modulo $p$ , was Mengen der Größe $p^c < |A| < p^{1/2}$ mit geringem Sum-Produkt-Wachstum liefert.
- Funktionenkörper ( $\mathbb{F}_q((t))$ ): Unter Verwendung von Geradenbündeln auf algebraischen Kurven mit vielen rationalen Punkten (Drinfeld–Vlăduț–Zink-Folgen), um Gegenbeispiele in positiver Charakteristik zu konstruieren.

Bedeutung und Behauptungen
Der Artikel behauptet, die Sum-Produkt-Vermutung für reelle Zahlen endgültig widerlegt zu haben, ein Problem, das seit Jahrzehnten im Zentrum der additiven Kombinatorik steht. Die Autoren betonen, dass die Vermutung möglicherweise für Mengen in Zahlkörpern beschränkten Grades (wie $\mathbb{Z}$ ) noch gilt, sie jedoch im allgemeinen Setting von $\mathbb{R}$ aufgrund der Verfügbarkeit algebraischer Strukturen hohen Grades versagt.

Die Autoren weisen darauf hin, dass ihr Beweis auf der Existenz von Zahlkörpern mit spezifischen arithmetischen Eigenschaften (beschränkter Diskriminant und Regulator) beruht, die zwar nicht-trivial zu konstruieren, aber in der algebraischen Zahlentheorie gut etabliert sind. Sie stellen ausdrücklich fest, dass der endgültige Beweis, einschließlich der Hauptideen, fast vollständig vom Menschen generiert wurde, obwohl sie KI in frühen Phasen und für ein spezifisches elementares Lemma (Lemma 3.4), das ein komplexeres Ergebnis vereinfachte, als „Resonanzboden" nutzten.

Die Arbeit liefert zudem neue quantitative Einblicke in die Grenzen von Sum-Produkt-Phänomenen und zeigt, dass die „Potenz-Einsparung" in Produktmengen gleichzeitig mit kleinen Summenmengen erreicht werden kann, sofern die zugrundeliegende algebraische Struktur hinreichend reichhaltig (hohen Grades) ist. Der Artikel schließt mit der Bereitstellung expliziter, wenn auch kleiner, Werte für die Konstante $c$ (z. B. $c \ge 0,00000087$ ) und demonstriert, dass ähnliche Phänomene in verschiedenen algebraischen Settings auftreten, einschließlich $p$ -adischer Zahlen und Funktionenkörpern.