🔢 mathematics

No exact on average additive complements of squares

Die Arbeit beweist, dass für jede natürliche Zahl $r \ge 2$ die Summe der Darstellungen einer Zahl als Summe aus einem Element einer additiven Komplementärmenge und einer $r$ -ten Potenz von $N$ um mindestens eine Größe von $N^{1-1/r}$ vom Erwartungswert $N$ abweicht, wobei für den Fall $r=2$ eine explizite untere Schranke mit einem zusätzlichen Logarithmusfaktor angegeben wird, die ein bestehendes Ergebnis verbessert.

Ursprüngliche Autoren: Yuchen Ding, Csaba Sándor, Zihan Zhang

Veröffentlicht 2026-03-31

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Yuchen Ding, Csaba Sándor, Zihan Zhang

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

Das große Puzzle: Zahlen, die sich ergänzen

Stellen Sie sich vor, Sie haben einen riesigen Kasten voller Ziegelsteine (das sind die natürlichen Zahlen: 1, 2, 3, 4...). Ihr Ziel ist es, jeden großen Stein in diesem Kasten zu bauen, indem Sie zwei andere Steine zusammenfügen.

In diesem Papier geht es um eine spezielle Art von Ziegelsteinen: die Quadratzahlen (1, 4, 9, 16, 25... – also $1^2, 2^2, 3^2$ usw.) und allgemein die Potenz-Zahlen ( $r$ -te Potenzen wie Kubikzahlen $1^3, 2^3$ usw.).

Die Mathematiker fragen sich: Wenn wir eine Hilfs-Liste (eine sogenannte "additive Ergänzung") erstellen, um mit diesen Quadratzahlen alle großen Zahlen zu bilden, wie "dicht" muss diese Liste sein?

Die zwei Helden der Geschichte

Die Quadratzahlen ( $S$ ): Das sind unsere festen Bausteine. Sie werden immer seltener, je größer sie werden (zwischen 1 und 100 gibt es 10 Quadrate, zwischen 1 und 10.000 nur 100).
Die Hilfsliste ( $W$ ): Das ist die Liste, die wir selbst erfinden müssen. Sie soll so beschaffen sein, dass jede große Zahl $n$ als Summe aus einem Element aus $W$ und einem Element aus $S$ geschrieben werden kann ( $n = w + s$ ).

Die große Frage: Wie viele Elemente muss unsere Hilfsliste $W$ haben, damit das funktioniert?

Wenn die Liste zu dünn ist (zu wenige Elemente), bleiben Lücken im Puzzle.
Wenn die Liste zu dick ist (zu viele Elemente), verschwenden wir Platz.

Die Mathematiker wollen wissen: Wie "dicht" muss die Liste $W$ mindestens sein, damit sie genau richtig ist?

Das alte Rätsel und die neue Entdeckung

Bis vor kurzem wussten die Forscher nur sehr wenig über diese Dichte für die Quadratzahlen ( $r=2$ ). Sie hatten eine grobe Schätzung, aber sie konnten nicht beweisen, dass die Liste immer eine gewisse Mindestgröße haben muss, die über dem absoluten Minimum liegt.

Die neue Entdeckung (Der "Durchbruch"):
Die Autoren dieses Papiers haben einen neuen Beweis gefunden. Sie zeigen, dass die Hilfsliste $W$ nicht nur "genug" Elemente haben muss, sondern dass sie deutlich mehr Elemente enthalten muss, als man vielleicht dachte.

Stellen Sie sich vor, Sie versuchen, eine Mauer zu bauen.

Die alte Annahme: "Wenn du mindestens 100 Steine hast, reicht das vielleicht."
Die neue Erkenntnis: "Nein! Wenn du eine Mauer bauen willst, die wirklich keine Löcher hat, brauchst du mindestens $N^{0,5}$ (die Wurzel aus der Gesamtgröße) Steine, und zwar mit einem kleinen, aber wichtigen Extra-Faktor."

Das Papier beweist, dass die Anzahl der "Überlappungen" (also wie oft man dieselbe Zahl auf verschiedene Arten als Summe bilden kann) viel größer ist als gedacht.

Die Metapher: Der überfüllte Tanzsaal

Stellen Sie sich einen riesigen Tanzsaal vor, der bis zum Rand mit Paaren gefüllt ist.

Jeder Tänzer hat eine Nummer.
Die Regel ist: Ein Paar darf tanzen, wenn die Summe ihrer Nummern eine bestimmte Zahl ergibt.
Die "Quadratzahlen" sind eine Gruppe von Tänzern mit festen Nummern (1, 4, 9, 16...).
Die "Hilfsliste" ist die andere Gruppe, die wir auswählen.

Die Forscher fragen: Wenn wir sicherstellen wollen, dass jeder mögliche Summenwert im Saal vertreten ist, wie viele Tänzer aus der Hilfsliste müssen wir zwingend dabei haben?

Das Papier zeigt: Wenn man versucht, die Hilfsliste so klein wie möglich zu halten, passiert etwas Unerwartetes. Man bekommt zu viele Paare, die denselben Summenwert bilden. Es gibt also eine Art "Stau" oder "Überlappung".

Für Quadratzahlen ( $r=2$ ): Der Stau ist so stark, dass man beweisen kann, dass die Hilfsliste eine bestimmte Mindestgröße hat, die sogar noch etwas größer ist als die einfache Wurzel-Formel. Es ist, als würde der Saal so voll werden, dass die Tänzer anfangen, sich gegenseitig zu stoßen.
Für höhere Potenzen ( $r=3, 4, \dots$ ): Hier ist der Stau noch stärker. Die Mathematiker haben eine Formel gefunden, die für alle diese Fälle gilt und zeigt, dass die Hilfsliste immer eine signifikante Größe haben muss.

Warum ist das wichtig?

Vor diesem Papier gab es eine Vermutung (von Cilleruelo), dass man eine Hilfsliste finden könnte, die "perfekt" ist – also so dünn wie möglich, ohne Lücken zu lassen.

Die Ergebnisse dieses Papiers sagen im Grunde: "Nein, das geht nicht so einfach."
Wenn man versucht, die Liste so dünn wie möglich zu machen, wird die Anzahl der "doppelten Lösungen" (wie oft man eine Zahl bilden kann) so groß, dass die Liste eigentlich gar nicht so dünn sein kann, wie man hoffte.

Ein konkretes Beispiel aus dem Text:
Für die Quadratzahlen ( $r=2$ ) haben die Autoren gezeigt, dass die "Fehler" oder "Überlappungen" nicht nur proportional zur Wurzel der Zahl wachsen, sondern sogar mit einem zusätzlichen kleinen Faktor (einem Logarithmus). Das ist wie wenn man dachte, ein Auto fahre mit 100 km/h, und man dann feststellt: "Aha, es fährt eigentlich mit 100 km/h plus einem kleinen Windstoß, der es noch schneller macht."

Zusammenfassung in einem Satz

Die Autoren haben bewiesen, dass man, um mit Quadratzahlen (oder höheren Potenzen) alle großen Zahlen zu bilden, eine Hilfsliste braucht, die unvermeidbar dichter ist als man dachte, weil es zu viele Möglichkeiten gibt, dieselben Zahlen auf verschiedene Arten zu kombinieren.

Das ist ein wichtiger Schritt, um zu verstehen, wie Zahlenstrukturen im Hintergrund der Mathematik funktionieren – ähnlich wie man versteht, warum ein Gebäude bestimmte Stützen braucht, damit es nicht einstürzt, auch wenn man versucht, es so leicht wie möglich zu bauen.

Titel: Kreuzdarstellungen additiver Komplemente von $r$ -ten Potenzen

Autoren: Yuchen Ding, Csaba Sándor und Zihan Zhang

1. Problemstellung und Hintergrund

Das Paper untersucht die Struktur additiver Komplemente von Mengen natürlicher Zahlen, insbesondere von $r$ -ten Potenzen.
Sei $S_r = \{1^r, 2^r, 3^r, \dots\}$ die Menge der $r$ -ten Potenzen ( $r \ge 2$ ). Eine Teilmenge $W \subset \mathbb{N}$ heißt ein additives Komplement von $S_r$ , wenn jede hinreichend große natürliche Zahl $n$ als Summe $n = w + m^r$ mit $w \in W$ und $m^r \in S_r$ dargestellt werden kann.

Ein zentrales Maß für die "Größe" eines solchen Komplements ist die Anzahl der Darstellungen:
$f_r(n) = \#\{(w, m^r) \in W \times S_r : n = w + m^r\}.$

Das Hauptproblem, motiviert durch Vermutungen von Cilleruelo (1993) und Fragen von Ben Green, lautet:
Kann es ein additives Komplement $W$ geben, das so "dünn" ist, dass die durchschnittliche Anzahl der Darstellungen asymptotisch genau 1 ist? Formal: Gilt
$\sum_{n \le N} f_r(n) \sim N \quad \text{für } N \to \infty?$
Ein solches Komplement wird als "exaktes Komplement im Durchschnitt" (exact on average additive complement) bezeichnet.

Bisherige Ergebnisse (z. B. von Chen und Fang, Ding et al.) zeigten für den Fall $r=2$ (Quadratzahlen), dass die Summe der Darstellungen $N$ um einen Term übersteigt, der mindestens von der Ordnung $N^{1/2}$ ist. Für $r \ge 3$ fehlten jedoch starke untere Schranken; die bisherigen Methoden konnten nicht einmal zeigen, dass die Differenz $\sum f_r(n) - N$ gegen Unendlich geht.

2. Methodik

Die Autoren verwenden eine Kombination aus analytischer Zahlentheorie und kombinatorischen Argumenten, die auf der Abelschen Summation und der Analyse von Differenzenmengen basieren.

Hauptstrategie:

Partitionierung: Die Menge $W$ und die Menge der Potenzen $S_r$ werden in Intervalle der Länge $N/(2K)$ unterteilt.
Differenzenanalyse: Man betrachtet die Differenzen $d = w - s$ für $w \in W$ und $s \in S_r$ . Wenn ein $d$ mehrfach als Differenz auftritt (d.h. $\ell_d \ge 2$ ), führt dies zu mehreren Darstellungen derselben Zahl $n = w + s$ .
Abelsche Summation: Durch geschickte Anwendung der Abelschen Summationsformel auf die Anzahlen der Elemente in den Partitionen wird eine untere Schranke für die Summe der Produkte $h(k)g(k)$ (Anzahl der Paare in den Intervallen) hergeleitet.
Kombinatorische Zählung: Die Anzahl der Paare mit $\ell_d \ge 2$ wird genutzt, um eine untere Schranke für $\sum f(n)(f(n)-1)$ zu erhalten, was wiederum eine untere Schranke für $\sum f(n) - N$ liefert.
Spezialfall $r=2$ (Quadratzahlen): Für den Fall $r=2$ wird ein tiefes Ergebnis von Ford über das Multiplikationstabellen-Problem (multiplicative table problem) herangezogen. Dies erlaubt eine präzisere Abschätzung der Anzahl der Darstellungen, die von der arithmetischen Struktur der Quadratzahlen profitiert.

3. Wichtige Ergebnisse und Sätze

Das Paper liefert drei Hauptbeiträge:

Theorem 1: Verallgemeinerung auf beliebige $r \ge 2$

Sei $S \subset \mathbb{N}$ eine Teilmenge mit $S(x) \sim c_r x^{1/r}$ und $W$ ein additives Komplement von $S$ . Dann gilt für die Summe der Darstellungen:
$\sum_{n \le N} f_{S,W}(n) - N \gg_{r, c_r} N^{1 - 1/r}.$

Bedeutung: Dies ist der erste Beweis, der zeigt, dass für alle $r \ge 2$ die Summe der Darstellungen $N$ um einen Term der Ordnung $N^{1-1/r}$ übersteigt. Dies widerlegt implizit die Existenz eines "exakten Komplements im Durchschnitt" für $r \ge 3$ und erweitert frühere Ergebnisse, die nur für $r=2$ galten.

Theorem 2: Verbesserte Schranke für Quadratzahlen ( $r=2$ )

Für den Fall der Quadratzahlen ( $r=2$ ) wird eine schärfere untere Schranke bewiesen, die einen logarithmischen Faktor enthält:
$\sum_{n \le N} f(n) - N \gg N^{1/2} (\log N)^{\delta} (\log \log N)^{3/2},$
wobei $\delta = 1 - \frac{1 + \log \log 2}{\log 2} \approx 0.086$ .

Bedeutung: Dies verbessert das kürzlich von Ding, Sun, Wang und Xia erzielte Ergebnis um einen logarithmischen Faktor. Die Verbesserung nutzt spezifische arithmetische Eigenschaften der Quadratzahlen (via Fords Theorem).

Theorem 3: Äquivalenz der Probleme

Das Paper zeigt, dass Problem 1 (Existenz eines Komplements mit Wachstum $w_n \sim \frac{\pi^2}{16}n^2$ ) und Problem 2 (Existenz eines exakten Komplements im Durchschnitt) äquivalent sind.

Es wird bewiesen: Wenn ein exaktes Komplement im Durchschnitt existiert, dann muss es asymptotisch genau das Wachstum $W(N) \sim \frac{4}{\pi}\sqrt{N}$ haben.
Da Theorem 1 und 2 zeigen, dass die Summe der Darstellungen strikt größer als $N$ ist (mit einem messbaren Fehlerterm), folgt daraus, dass ein solches exaktes Komplement nicht existiert. Damit werden beide Probleme negativ beantwortet.

4. Signifikanz und Schlussfolgerungen

Lösung offener Vermutungen: Die Arbeit liefert eine negative Antwort auf die Vermutung von Cilleruelo (dass $\sum f_r(n) - N \ge rN + o(N)$ gelten könnte) in dem Sinne, dass sie zeigt, dass die Differenz mindestens von der Ordnung $N^{1-1/r}$ ist, was für $r \ge 2$ eine signifikante Abweichung von $N$ darstellt.
Überwindung methodischer Grenzen: Während frühere Methoden für $r \ge 3$ versagten, die Divergenz der Differenz zu zeigen, gelingt es den Autoren durch eine neue Kombination aus Intervall-Partitionierung und Abelscher Summation, eine universelle untere Schranke für alle $r \ge 2$ zu etablieren.
Verfeinerung für $r=2$ : Die Anwendung von Fords Ergebnissen zum Multiplikationstabellen-Problem demonstriert, wie tiefgehende zahlentheoretische Strukturen genutzt werden können, um Schranken für additive Probleme zu verschärfen.
Beitrag zur Erdős-Problematik: Die Ergebnisse klären die Beziehung zwischen der Dichte eines additiven Komplements und der Anzahl seiner Darstellungen, was direkte Implikationen für klassische Probleme von Erdős und Ruzsa hat.

Zusammenfassend etabliert das Paper, dass additive Komplemente von $r$ -ten Potenzen zwangsläufig "ineffizient" sind, d.h., sie erzeugen eine signifikante Anzahl von Mehrfachdarstellungen, und widerlegt damit die Möglichkeit, ein Komplement zu konstruieren, das im Durchschnitt exakt 1 Darstellung pro Zahl liefert.