🔢 mathematics

Both $AA$ and $(A+1)(A+1)$ can be small

Diese Arbeit zeigt die Existenz beliebig großer endlicher Mengen reeller Zahlen auf, bei denen sowohl das Produktmengen-Set $AA$ als auch das verschobene Produktmengen-Set $(A+1)(A+1)$ gleichzeitig signifikant kleiner als die triviale quadratische Schranke sind, wodurch eine starke Form der Summen-Produkt-Vermutung über $\mathbb{R}$ widerlegt wird.

Ursprüngliche Autoren: Oliver Roche-Newton, Audie Warren

Veröffentlicht 2026-06-24

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Oliver Roche-Newton, Audie Warren

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

Stellen Sie sich vor, Sie hätten eine riesige Kiste voller Zahlen. In der Welt der Mathematik gibt es eine berühmte Faustregel namens „Summen-Produkt-Vermutung“. Sie besagt im Grunde: Man kann nicht beides haben.

Wenn man eine Gruppe von Zahlen nimmt und sie miteinander mischt, indem man sie addiert (wie das Erstellen einer Summe), erhält man normalerweise einen riesigen, chaotischen Haufen neuer Zahlen. Wenn man sie mischt, indem man sie multipliziert, erhält man ebenfalls einen riesigen, chaotischen Haufen. Die Vermutung behauptete, dass man niemals eine spezielle Gruppe von Zahlen finden könne, bei der sowohl das additive Mischen als auch das multiplikative Mischen gleichzeitig klein und ordentlich bleiben würden. Es wurde geglaubt, dass, wenn man die Multiplikation klein hielt, die Addition explodieren würde, und umgekehrt.

Dieses Papier, geschrieben von Oliver Roche-Newton und Audie Warren, ist wie ein Magier, der ein Kaninchen aus einem Hut zieht, um zu sagen: „Eigentlich kann man beides haben.“

Hier ist die einfache Aufschlüsselung, wie sie es geschafft haben:

Das Setup: Ein spezieller mathematischer Spielplatz

Um ihren Punkt zu beweisen, haben die Autoren nicht einfach zufällige Zahlen wie 1, 2 oder 3 gewählt. Sie haben einen sehr spezifischen, hochtechnologischen „Spielplatz“ gebaut, der auf einem Konzept aus der fortgeschrittenen Mathematik namens Zahlkörper basiert.

Stellen Sie sich diesen Zahlkörper als ein spezielles Universum mit eigenen Regeln vor. In diesem Universum haben sie zwei verschiedene Arten von „Klumpen“ von Zahlen erschaffen:

Der „additive“ Klumpen: Eine Gruppe von Zahlen, die, wenn man sie zusammenzählt, sehr nah beieinander bleiben (wie eine eng verbundene Familie).
Der „multiplikative“ Klumpen: Eine Gruppe von Zahlen, die, wenn man sie miteinander multipliziert, ebenfalls sehr nah beieinander bleiben (wie ein Satz Zahnräder, die perfekt ineinandergreifen).

Der Trick: Der „Schatten“ und der „Spiegel“

Die Autoren kombinierten diese beiden Klumpen, um ihre endgültige Menge zu erstellen, nennen wir sie Menge A.

Der Multiplikationstest: Als sie jede Zahl aus Menge A mit jeder anderen Zahl aus Menge A multiplizierten, war das Ergebnis überraschend klein. Es war, als würde man eine kleine Handvoll Murmeln zusammenrollen, aber sie landen nur in einer winzigen, spezifischen Ecke des Bodens.
Der Additions-Test (Der Twist): Hier ist der knifflige Teil: Sie haben die Zahlen nicht einfach nur addiert; sie haben zuerst 1 zu jeder Zahl addiert (die gesamte Gruppe verschoben) und sie dann multipliziert.
- Stellen Sie sich eine Reihe von Menschen vor. Sie bitten sie, ihre Namen zu multiplizieren (komisch, oder?). Dann bitten Sie sie, alle einen Schritt nach vorne zu machen, und multiplizieren dann ihre neuen Positionen.
- Normalerweise zerstört dieser Schritt nach vorne (die „Verschiebung“) das Muster. Er streut die Ergebnisse.
- Aber in der Konstruktion dieses Papiers hat die Verschiebung das Muster nicht zerstört. Die Autoren zeigten, dass selbst nach dem Verschieben der Zahlen um 1 die resultierende Multiplikation immer noch klein und ordentlich blieb.

Der Bonus „Viele Translanten“

Das Papier geht noch einen Schritt weiter. Sie zeigten, dass dieser Trick nicht nur für das Verschieben um 1 funktioniert. Man kann die Zahlen durch jede beliebige Menge von ganzen Zahlen (wie 1, 5 oder 100) verschieben, und solange man den „Spielplatz“ groß genug baut, wird die Multiplikation immer noch klein bleiben.

Das große Ganze

Vor diesem Papier glaubten Mathematiker, dass, wenn man eine Menge von Zahlen hat, bei der die Multiplikation „klein“ ist, das Addieren einer Verschiebung (wie +1) die Multiplikation „riesig“ werden ließe.

Dieses Papier widerlegt diesen Glauben. Sie konstruierten eine Menge, bei der:

Die Zahlen zu einem kleinen Ergebnis multiplizieren.
Die um 1 verschobenen Zahlen ebenfalls zu einem kleinen Ergebnis multiplizieren.

Die Analogie:
Stellen Sie sich eine Tanzfläche vor.

Der alte Glaube: Wenn Sie allen sagen, sie sollen in einem engen Kreis tanzen (Multiplikation), und dann allen sagen, sie sollen einen Schritt nach rechts machen (die Verschiebung), wird der Kreis brechen und sie werden über den Raum verstreut.
Die Entdeckung dieses Papiers: Sie haben einen Weg gefunden, den Tanz so zu choreografieren, dass selbst nachdem alle einen Schritt nach rechts gemacht haben, sie immer noch in einem engen Kreis landen.

Fazit

Die Autoren haben gezeigt, dass es eine „Schlupfloch“ in den alten Regeln gibt. Sie haben eine spezifische, endliche Menge reeller Zahlen konstruiert, bei der die maximale Größe der Produktermenge und der verschobenen Produktermenge signifikant kleiner ist, als es jeder für möglich gehalten hätte.

Wichtiger Hinweis: Die Autoren haben eine generative KI verwendet, um Ideen für diese Notiz zu sammeln, aber sie betonen ausdrücklich, dass jedes Wort geschrieben und jeder mathematische Schritt von Menschen verifiziert wurde. Sie behaupten nicht, dass dies bereits für medizinische Behandlungen oder reale Ingenieurtechnik funktioniert; es ist eine rein mathematische Entdeckung darüber, wie Zahlen sich auf unerwartete Weise verhalten können.

Technische Zusammenfassung: „Sowohl $AA$ als auch $(A + 1)(A + 1)$ können klein sein“

Problemstellung
Die Arbeit befasst sich mit einer zentralen Frage der additiven Kombinatorik bezüglich des Zusammenspiels von additiven und multiplikativen Strukturen innerhalb von Teilmengen der reellen Zahlen ( $\mathbb{R}$ ). Ein grundlegendes Prinzip der Summen-Produkt-Theorie besagt, dass additive Verschiebungen die multiplikative Struktur stören. Konkret wird allgemein erwartet, dass für eine endliche Menge $A \subset \mathbb{R}$ mindestens eine der Mengen, nämlich die Produktmenge $AA$ oder die verschobene Produktmenge $(A+1)(A+1)$ , groß sein muss.

Die beste bekannte untere Schranke für dieses Maximum, etabliert durch Stevens und Warren, besagt, dass $\max\{|AA|, |(A+1)(A+1)|\} \geq |A|^{1 + \frac{11}{38} - o(1)}$ . Eine verbreitete Vermutung (Folklore-Conjecture) legte nahe, dass der Exponent in dieser Ungleichung beliebig nah an 2 herangeführt werden könne, was impliziert, dass es unmöglich ist, dass beide Mengen gleichzeitig klein sind (d. h. der Größe $O(|A|^{2-\epsilon})$ entsprechen). Jüngste Arbeiten von Bloom, Sawin, Schildkraut und Zhelezov (BSZ) haben jedoch die Standard-Summen-Produkt-Vermutung über $\mathbb{R}$ widerlegt, was darauf hindeutet, dass der Exponent 2 möglicherweise nicht die korrekte Barriere darstellt. Diese Arbeit untersucht, ob die spezifische Vermutung bezüglich der gleichzeitigen Kleinheit von $AA$ und $(A+1)(A+1)$ Bestand hat.

Methodik
Die Autoren adaptieren die Konstruktion, die von BSZ zur Widerlegung der allgemeinen Summen-Produkt-Vermutung verwendet wurde. Die Methodik stützt sich auf zahlentheoretische Objekte innerhalb eines vollkommen reellen Zahlkörpers $K$ des Grades $d$ über $\mathbb{Q}$ . Die Konstruktion verläuft wie folgt:

Lattiz-Konstruktion: Unter Verwendung eines Theorems von Martinet wählen die Autoren einen vollkommen reellen Zahlkörper $K$ mit einem Diskriminantenwert $\Delta_K$ , der durch $C^d$ beschränkt ist. Sie betrachten den Ring der algebraischen Ganzzahlen $\mathcal{O}_K$ und dessen Gruppe der Einheiten $\mathcal{O}_K^*$ .
Geometrische Einbettungen:
- Additive Struktur: Die Minkowski-Einbettung $\phi: \mathcal{O}_K \to \mathbb{R}^d$ bildet algebraische Ganzzahlen auf ein Gitter $\Lambda$ ab. Die Autoren definieren eine Menge $B^+(R)$ von algebraischen Ganzzahlen, deren Einbettungen innerhalb eines Würfels der Seitenlänge $2R$ liegen. Die Summenmenge dieser Menge ist klein, da sie innerhalb eines etwas größeren Würfels bleibt.
- Multiplikative Struktur: Die logarithmische Einbettung $\psi: \mathcal{O}_K^* \to \mathbb{R}^d$ bildet Einheiten auf ein Gitter der Rangzahl $d-1$ ab, das in einer Hyperebene liegt. Die Autoren definieren eine Menge $B^*(Y)$ von Einheiten, deren logarithmische Einbettungen innerhalb eines Würfels der Seitenlänge $2Y$ liegen. Die Produktmenge dieser Menge ist klein, da die Multiplikation von Einheiten der Addition im logarithmischen Gitter entspricht.
Mengen-Definition: Die Zielmenge $A$ wird als Produktmenge $A = GP$ konstruiert, wobei $G = B^*(Y)$ (Einheiten) und $P = R + B^+(\epsilon R)$ (verschobene algebraische Ganzzahlen) sind. Die Parameter $R$ und $Y$ werden so gewählt, dass $R$ ausreichend groß im Verhältnis zu $Y$ ist (speziell $e^Y \leq \epsilon R$ ), um die Trennung des Einheitsgitters und der additiven Struktur zu gewährleisten.
Größenanalyse:
- Die Größe von $A$ ist näherungsweise $|G||P|$ .
- Die Produktmenge $AA$ wird durch die Analyse von $GG$ und $PP$ begrenzt. Die Kleinheit von $GG$ leitet sich aus den Gittereigenschaften der Einheiten ab.
- Die verschobene Produktmenge $(A+1)(A+1)$ wird analysiert, indem die Elemente als $g(p+1) = g(p + g^{-1})$ umgeschrieben werden. Dies ermöglicht es den Autoren, die Menge unter Verwendung der Summenmenge $P + G$ zu beschränken. Durch die Wahl eines ausreichend großen $R$ wird gezeigt, dass $P+G$ in einer Menge $P'$ enthalten ist, deren Größe mit $P$ vergleichbar ist.

Zentrale Beiträge und Ergebnisse
Das primäre Ergebnis ist Theorem 1, welches die Existenz einer absoluten Konstante $c > 0$ und beliebig großer endlicher Mengen $A \subseteq \mathbb{R}$ feststellt, sodass:
$\max\{|AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$
Dieses Resultat zeigt, dass der Exponent in der Ungleichung für das Maximum dieser beiden Mengen nicht beliebig nah an 2 herangeführt werden kann, wodurch die genannte Folklore-Vermutung widerlegt wird.

Die Arbeit erweitert dieses Ergebnis in Theorem 3 auf „Viele Translaten“. Es wird gezeigt, dass für jede endliche Menge von ganzen Zahlen $S \subseteq \mathbb{Z}$ eine Konstante $c > 0$ (abhängig von $S$ ) und beliebig große Mengen $A$ existieren, sodass:
$\max_{\lambda \in S} \{|(A+\lambda)(A+\lambda)|\} \ll |A|^{2-c}$
Zusätzlich merken die Autoren an, dass ihre Konstruktion impliziert, dass die Menge $A$ auch die Bedingung $\max\{|A+A|, |AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$ und $|A(A+1)| \ll |A|^{2-c}$ erfüllt.

Bedeutung
Die Arbeit beansprucht ihre Bedeutung dadurch, dass sie ein Gegenbeispiel zu einer weit verbreiteten Annahme in der additiven Kombinatorik liefert: dass additive Verschiebungen notwendigerweise eine signifikante Expansion in der multiplikativen Struktur erzwingen. Durch die Adaption der BSZ-Konstruktion zeigen die Autoren, dass es möglich ist, Mengen zu konstruieren, bei denen sowohl die Produktmenge als auch die verschobene Produktmenge signifikant kleiner als die triviale Schranke von $|A|^2$ sind. Diese Arbeit stellt die Intuition infrage, dass der Exponent 2 die natürliche Grenze für solche Summen-Produkt-Typ-Ungleichheiten über den reellen Zahlen ist.

Die Autoren geben explizit an, dass die Konstruktion dieselbe zugrunde liegende Menge wie die BSZ-Arbeit verwendet, aber die spezifische Anwendung auf die verschobene Produktmenge $(A+1)(A+1)$ den neuartigen Beitrag dieser Notiz darstellt. Die Arbeit dient als Modifikation bestehender Argumente, um eine spezifische Vermutung bezüglich des Maximums von Produkt- und verschobener Produktmenge zu widerlegen.