🔢 mathematics

Split primes and the Elekes-Rónyai problem

Diese Arbeit präsentiert ein Gegenbeispiel zum Elekes-Rónyai-Problem, indem sie die Existenz beliebig großer endlicher Mengen $A \subset \mathbb{R}$ nachweist, bei denen das Bild des nicht-additiven, nicht-multiplikativen Polynoms $x+y+(x-y)^2$ signifikant kleiner als quadratisch ist, spezifisch beschränkt durch $|A|^{2-c}$ für eine absolute Konstante $c>0$ .

Ursprüngliche Autoren: Cosmin Pohoata

Veröffentlicht 2026-06-12

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Cosmin Pohoata

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 Frage: Kann man das Chaos verstecken?

Stellen Sie sich vor, Sie haben eine riesige Maschine (eine mathematische Formel), die zwei Zahlen, $x$ und $y$ , nimmt und eine neue Zahl ausspuckt. Nennen wir diese Maschine $f$ .

Stellen Sie sich nun vor, Sie haben einen großen Beutel voller Zahlen, nennen wir ihn Menge A. Sie nehmen jedes mögliche Paar von Zahlen aus diesem Beutel, füttern sie in die Maschine und sammeln alle Ergebnisse. Diese Sammlung von Ergebnissen wird als Bildmenge bezeichnet.

Das Rätsel:
Mathematiker haben sich lange gefragt: Wenn man eine „komplizierte“ Maschine wählt (eine, die nicht einfach nur Zahlen addiert oder multipliziert), kann man seinen Beutel voller Zahlen so anordnen, dass die Maschine sehr wenige einzigartige Ergebnisse liefert?

Die „einfachen“ Maschinen: Wenn Ihre Maschine einfach nur addiert ( $x+y$ ) oder multipliziert ( $x \times y$ ), können Sie sie leicht austricksen. Wenn Sie eine arithmetische Progression (wie 1, 2, 3, 4) verwenden, bleiben die Summen klein und vorhersehbar. Wenn Sie eine geometrische Progression (wie 2, 4, 8, 16) verwenden, bleiben die Produkte klein. In diesen Fällen wächst die Anzahl der einzigartigen Ergebnisse (linear), während man mehr Zahlen in den Beutel gibt.
Die „schwierigen“ Maschinen: Das berühmte Elekes-Rónyai-Problem fragte: Was ist, wenn die Maschine nicht einfach ist? Was ist, wenn sie eine Mischung ist, wie etwa $x + y + (x-y)^2$ ? Die vorherrschende Meinung (eine Vermutung von Elekes) war, dass für diese „schwierigen“ Maschinen die Anzahl der einzigartigen Ergebnisse explodieren wird, egal wie geschickt man seine Zahlen auswählt. Sie sollte fast so schnell wachsen wie das Quadrat der Beutelgröße (wenn man $N$ Zahlen hat, sollte man etwa $N^2$ einzigartige Ergebnisse erhalten).

Der Durchbruch: Das „magische Sieb“

In dieser Arbeit sagt der Autor, Cosmin Pohoata: „Tatsächlich kann man die schwierige Maschine austricksen.“

Er beweist, dass es eine spezifische „schwierige“ Maschine ( $f(x, y) = x + y + (x-y)^2$ ) und eine Möglichkeit gibt, Zahlen auszuwählen, sodass die Anzahl der einzigartigen Ergebnisse viel kleiner ist als erwartet. Es ist nicht nur ein kleines bisschen kleiner; es ist signifikant kleiner und bricht damit die Regel, die alle für unumstößlich hielten.

Wie hat er das gemacht? (Die Analogie)

Um den Trick zu verstehen, stellen Sie sich vor, Sie versuchen, eine bestimmte Menge an Schlüsseln in einem massiven, mehrstöckigen Gebäude zu verstecken.

Das Gebäude (Das Zahlensystem): Anstatt mit normalen Zahlen zu arbeiten, baut der Autor eine spezielle, hochdimensionale „Zahlenwelt“ (eine mathematische Struktur namens Zahlkörper). Stellen Sie sich dies als ein Gebäude mit tausenden von Etagen vor.
Die Schlösser (Die Primzahlen): Er wählt eine spezielle Menge von „Schlössern“ (Primzahlen), die eine ganz bestimmte Eigenschaft haben: Sie spalten sich perfekt in viele unabhängige Zimmer auf jeder Etage des Gebäudes auf.
Die Falle (Die Residuenklassen): Der Autor entwirft seine Maschine so, dass das Ergebnis, egal welche Zahlen man hineingibt, in einer sehr spezifischen, winzigen Ecke des Gebäudes landen muss.
- Stellen Sie sich vor, auf jeder Etage wird die Maschine gezwungen, nur in „gerade nummerierten Zimmern“ oder „Zimmern mit roten Türen“ zu landen.
- Da die Maschine gezwungen ist, diese Regel auf jeder einzelnen Etage gleichzeitig zu erfüllen, wird die Anzahl der möglichen Orte, an denen sie landen kann, unglaublich klein.
Das Ergebnis: Obwohl das Gebäude riesig ist (was eine große Menge von Zahlen repräsentiert), sind die „erlaubten“ Zimmer so wenige, dass die Maschine sehr wenige einzigartige Ergebnisse liefert.

Das Geheimnis der „Split Primes“

Die geheime Zutat ist etwas, das man Split Primes (gespaltene Primzahlen) nennt.

In der normalen Mathematik kann eine Primzahl wie eine einzelne, solide Wand wirken.
In dieser speziellen Zahlenwelt des Autors „spalten“ sich diese Primzahlen auf, wie ein Baum, der sich verzweigt. Eine Primzahl wird zu vielen unabhängigen „Residuenkörpern“ (wie vielen kleinen, separaten Zimmern).
Der Autor nutzt einen Turm dieser Zahlenwelten, der immer höher wird (höhere Dimensionen).
In jedem kleinen Zimmer wird die Maschine gezwungen, eine „Quadratzahl“ zu produzieren (wie 0, 1, 4, 9). Da Quadrate im Vergleich zu allen anderen Zahlen selten sind, schränkt dies die Ausgabe ein.
Da die Primzahlen in viele Zimmer aufspalten, geschieht diese Einschränkung immer und immer wieder. Die Einschränkungen multiplizieren sich und erzeugen einen „Flaschenhals“, der die Anzahl der einzigartigen Ergebnisse drastisch nach unten drückt.

Der Bonus der „kleinen Verdopplung“

Die Arbeit zeigt auch etwas noch Cooleres. Nicht nur produziert die Maschine wenige Ergebnisse, sondern die Zahlen im Beutel haben auch eine besondere Eigenschaft: Wenn man zwei Zahlen aus dem Beutel zusammenfügt, erhält man nicht zu viele neue Zahlen.

Analogie: Stellen Sie sich eine Gruppe von Menschen vor, bei denen, wenn man sie zu neuen Teams zusammenschließt, die Anzahl der neu gebildeten Teams immer noch relativ gering ist. Dies macht den „Beutel voller Zahlen“ sehr strukturiert und effizient, was hilft, den Trick noch besser zu machen.

Das Fazular

Der Autor hat erfolgreich ein Gegenbeispiel konstruiert. Er hat gezeigt, dass man für die spezifische Formel $x + y + (x-y)^2$ riesige Mengen von Zahlen finden kann, bei denen die Anzahl der einzigartigen Ausgaben etwa $N^{2-c}$ beträgt (wobei $c$ eine kleine positive Zahl ist).

Dies bedeutet, dass die Ausgabe sub-quadratisch ist. Sie wächst langsamer als das Quadrat der Eingangsgröße. Dies widerlegt die langjährige Vermutung, dass „schwierige“ Formeln fast immer $N^2$ einzigartige Ergebnisse liefern müssen.

Kurz gesagt: Der Autor hat ein mathematisches „Schlupfloch“ gefunden, indem er ein komplexes, hochdimensionales Zahlensystem und spezielle Primzahlen nutzte, um eine komplizierte Formel dazu zu zwingen, sich wie eine einfache zu verhalten, wodurch die Anzahl der einzigartigen Ergebnisse überraschend niedrig bleibt.

Technische Zusammenfassung: Split-Primzahlen und das Elekes-Rónyai-Problem

Problemstellung
Die Arbeit befasst sich mit dem Elekes–Rónyai-Problem, einer zentralen Frage der arithmetischen Kombinatorik und der Inzidenzgeometrie. Das Problem untersucht die Expansions-Eigenschaften bipartiter Polynome $f \in \mathbb{R}[x, y]$ über endlichen Mengen $A, B \subset \mathbb{R}$ . Konkret wird nach der minimal möglichen Größe der Bildmenge $f(A, B) = \{f(a, b) : a \in A, b \in B\}$ gefragt, wenn $|A| = |B| = n$ .

Es ist etabliert, dass, falls $f$ „speziell“ ist – was bedeutet, dass es entweder additiv ( $f(x, y) = g(u(x) + v(y))$ ) oder multiplikativ ( $f(x, y) = g(u(x)v(y))$ ) ist – die Größe des Bildes linear in $n$ sein kann (beispielsweise durch die Wahl von $A$ und $B$ als arithmetische oder geometrische Progressionen). Für „nicht-spezielle“ Polynome bewiesen Elekes und Rónyai (2000) qualitativ, dass die Größe des Bildes superlinear sein muss ( $|f(A, B)|/n \to \infty$ ). Eine prominente Vermutung von Elekes postuliert eine quantitative Schranke: Für jedes nicht-spezielle Polynom und jedes $\epsilon > 0$ existiert eine Konstante $C_{f, \epsilon}$ , sodass $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$ gilt.

Methodik und Konstruktion
Die Arbeit konstruiert ein Gegenbeispiel zur Elekes-Vermutung unter Verwendung einer Kombination aus algebraischer Zahlentheorie, Gittergeometrie und einer neuartigen Anwendung eines „Lokal-zu-Global“-Siebprinzips.

Das Polynom: Der Autor konzentriert sich auf das spezifische nicht-spezielle Polynom $f(x, y) = x + y + (x - y)^2$ .
Input aus der algebraischen Zahlentheorie: Die Konstruktion stützt sich auf einen Turm von voll-realen Zahlkörpern $K_i$ mit Graden $d_i \to \infty$ und beschränkten Wurzeldiskriminanten (basierend auf Ergebnissen von Hajir, Maire und Ramakrishna). Entscheidend ist, dass es eine unendliche Menge von rationalen Primzahlen $P$ gibt, die in jedem Körper dieses Turms vollständig zerfallen (split completely).
Lokale Residuenbeschränkung: Der Autor definiert ein Hilfspolynom $f_Q(x, y) = Q(x + y) + (x - y)^2$ , wobei $Q$ ein Produkt distinkter Primzahlen aus $P$ ist. Modulo eines beliebigen Primideals $\mathfrak{p}$ , das $Q$ teilt, verschwindet der Term $Q(x+y)$ , wodurch $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$ erzwingt wird. Folglich ist das Bild von $f_Q$ im Residuenkörper $\mathbb{F}_p$ auf die Menge der quadratischen Residuen (Quadrate) beschränkt, welche eine Dichte von etwa $1/2$ aufweist.
Globale Konstruktion mittels Gitter:
- Der Autor wählt einen Körper $K$ vom Grad $d$ aus dem Turm und betrachtet eine symmetrische Minkowski-Box $B_K(X)$ im Ring der ganzen Zahlen $\mathcal{O}_K$ .
- Durch den Chinesischen Restsatz führt die Beschränkung auf quadratische Residuen modulo jedes Primfaktors von $Q$ über die $d$ unabhängigen Residuenkörper, die durch die zerfallenden Primzahlen erzeugt werden, fort. Dies erzwingt, dass das Bild von $f_Q$ in einer Menge von Residuenklassen liegt, deren Dichte $\rho^d$ beträgt, wobei $\rho < 1$ .
- Unter Verwendung von Geometrie-der-Zahlen-Abschätzungen (Blichthoffs Lemma und Packungsargumente) zeigt der Autor, dass die Anzahl der ganzzahligen Punkte in der Minkowski-Box exponentiell mit $d$ wächst (speziell $\sim X^d$ ), während die Anzahl der erlaubten Residuenklassen als $(\rho Q)^d$ wächst.
- Da $\rho < 1$ , dominiert der „Kongruenz-Einsparungsfaktor“ $\rho^d$ das Wachstum der Menge, was zu einer polynomischen Bildgröße führt, die eine feste Potenz kleiner als 2 ist.

Schlüsselergebnisse
Die Arbeit etabliert das folgende Haupttheorem:

Theorem 1.1: Es existieren beliebig große endliche Mengen $A \subset \mathbb{R}$ und eine absolute Konstante $c > 0$ so, dass für $f(x, y) = x + y + (x - y)^2$ gilt:
$|f(A, A)| \le |A|^{2-c}$
Des Weiteren können die Mengen so gewählt werden, dass für jedes feste $\epsilon > 0$ die additive Verdopplung klein ist ( $|A+A| \le |A|^{1+\epsilon}$ ), während gleichzeitig die Bildschranke $|f(A, A)| \le |A|^{2-c_\epsilon}$ aufrechterhalten wird.
Verifizierung der Nicht-Spezialität: Die Arbeit beweist rigoros, dass $f(x, y) = x + y + (x - y)^2$ weder additiv noch multiplikativ über $\mathbb{C}$ ist, was bestätigt, dass es ein gültiges Kandidat für das Elekes–Rónyai-Problem ist.

Bedeutung und Behauptungen
Die Arbeit behauptet, die Elekes-Vermutung bezüglich der nahezu quadratischen unteren Schranke für nicht-spezielle Polynome zu widerlegen. Indem sie zeigt, dass ein spezifisches nicht-spezielles Polynom eine Bildgröße von $O(n^{2-c})$ (mit $c > 0$ ) haben kann, zeigt der Autor, dass die vermutete Schranke von $n^{2-\epsilon}$ falsch ist.

Die Konstruktion wird als Inversion einer „kombinatorischen Großen Sieb-Methode“ beschrieben. Während typische Siebmethoden lokales Verzweigen nutzen, um zu beweisen, dass Mengen mit beschränkter Multiplizität klein sein müssen, nutzt diese Arbeit lokales Verzweigen (Split-Primzahlen), um Werte in eine kleine Sammlung lokaler Residuenklassen zu zwingen, wodurch eine große Menge mit einem kleinen Bild konstruiert wird.

Die Arbeit merkt an, dass die Konstruktion zuerst im Juni 2026 in einem Blogpost angekündigt wurde und auf jüngsten Durchbrüchen beim Erdős-Einheitsabstandsproblem und der Summen-Produkt-Vermutung basiert, wobei speziell hochdimensionale symmetrische Minkowski-Boxen und Turm von Körpern mit beschränkten Wurzeldiskriminanten verwendet werden. Die Arbeit liefert einen formalen Beweis und den detaillierten Kontext für diese Gegenbeispiele.