🔢 mathematics

Integer parts of real powers in two Erd\H{o}s problems of Romanoff type

Diese Arbeit löst zwei Erdős-artige additive Probleme, indem sie eine quantitative metrische untere Schranke für die Dichte von ganzen Zahlen beweist, die als eine Primzahl plus ein ganzzahliger Teil einer reellen Potenz darstellbar sind, und ein Analogon mit Dichte eins für quadratfreie ganze Zahlen plus eine reelle Potenz etabliert, während sie gleichzeitig zeigt, dass eine positive untere Dichte an Ausnahmen für spezifische Basen wie den Goldenen Schnitt bestehen bleibt.

Ursprüngliche Autoren: Yuchen Ding

Veröffentlicht 2026-07-21

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Yuchen Ding

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 sind ein Detektiv, der versucht, ein riesiges Rätsel aus Zahlen zu lösen. In der Welt der Mathematik gibt es ein berühmtes Spiel namens „additive Zahlentheorie“, bei dem es darum geht, zu sehen, ob man jede Zahl bauen kann, indem man zwei spezifische Arten von Zutaten zusammenfügt. Eine Zutat ist meist eine „Primzahl“ (Zahlen wie 2, 3, 5, 7, die nur durch 1 und sich selbst teilbar sind) oder eine „quadratfreie Zahl“ (Zahlen, die nicht durch eine perfekte Quadratzahl wie 4, 9 oder 16 teilbar sind). Die andere Zutat ist eine „dünne Sequenz“, also eine Liste von Zahlen, die sehr schnell sehr dünn wird, wie etwa die Zweierpotenzen (2, 4, 8, 16...).

Jahrzehntelang haben Mathematiker sich gefragt: Wenn man eine Primzahl nimmt und eine Zahl aus dieser dünnen Liste addiert, kann man dann jede große Zahl erzeugen? Oder kann man zumindest fast jede Zahl erzeugen? Das ist vergleichbar mit der Frage, ob man ein Haus bauen kann, indem man eine bestimmte Art von Ziegeln und eine bestimmte Art von Holz verwendet. Manchmal lautet die Antwort „Ja, man kann fast jedes Haus bauen“, und manchmal lautet sie „Nein, es gibt bestimmte Hausformen, die man einfach nicht bauen kann“. Das Papier, das Sie gleich lesen werden, taucht in diese Frage ein, aber mit einer Wendung: Anstatt ganze Zahlen für die dünne Liste zu verwenden, nutzt der Autor die „Ganzteils“ von Potenzen reeller Zahlen (wie 1,5, 2,7 oder des Goldenen Schnitts). Es ist, als würde man fragen, ob man Häuser bauen kann, indem man Ziegel verwendet, die aus einem kontinuierlichen Holzstrom geschnitten wurden, anstatt aus vorgefertigten Brettern.

Die Geschichte zweier Rätsel

Dieses Papier, geschrieben von Yuchen Ding, widmet sich zwei verschiedenen Versionen dieses „Bausteine“-Rätsels. Der Autor versucht herauszufinden, ob wir die gesamte Zahlengerade (oder zumindest den Großteil davon) abdecken können, indem wir Primzahlen oder quadratfreie Zahlen zu diesen speziellen „reellen Potenz“-Sequenzen addieren.

Rätsel 1: Die Primzahlen und die „Fast immer“-Regel

Das erste Problem fragt: Wenn man eine zufällige Zahl größer als 1 wählt (nennen wir sie $y$ ) und eine Liste von Zahlen erstellt, indem man den ganzzahligen Teil von $y^1, y^2, y^3$ und so weiter bildet, kann man durch Addition dieser Zahlen zu Primzahlen fast jede andere Zahl erhalten?

Der Autor beweist hier ein sehr starkes Ergebnis: Für fast jede Zahl, die man wählt, lautet die Antwort ein entschiedenes „Ja“. Wenn man eine Zahl $y$ zufällig wählt, ist es mathematisch garantiert, dass die Menge der Zahlen, die man bauen kann (Primzahl + Ganzteil von $y^k$ ), eine positive untere asymptotische Dichte aufweist. In einfachem Deutsch ausgedrückt bedeutet dies, dass man nicht nur ein paar Häuser bauen kann; man wird ein massives, unendliches Viertel von ihnen bauen können, was sicherstellt, dass man, egal wie weit man blickt, immer einen signifikanten Anteil an konstruierbaren Zahlen findet. Das Papier liefert sogar eine präzise Formel für die Mindestgröße dieses Anteils und zeigt, dass je stärker die Potenzen „gestreut“ sind (je größer $y$ ist), desto weniger Zahlen man bauen kann, aber man wird immer einen signifikanten Teil bauen.

Das Papier enthüllt jedoch auch eine faszinierende „Ausnahme“. Nur weil es für fast jede Zahl funktioniert, bedeutet das nicht, dass es für jede Zahl funktioniert. Der Autor konstruiert ein spezifisches, kniffliges Beispiel unter Verwendung des Goldenen Schnitts (dieser berühmten Zahl $\phi \approx 1,618$ , die oft in der Natur und Kunst vorkommt). Wenn man die Potenzen des Goldenen Schnitts verwendet, verhalten sich die „Ganzteile“ dieser Potenzen auf eine sehr spezielle, rhythmische Weise (sie stehen in engem Zusammenhang mit den Lucas-Zahlen). Der Autor beweist, dass es bei Verwendung dieser spezifischen Zahl einen positiven Anteil an ganzen Zahlen gibt, die schlichtweg nicht gebaut werden können. Es ist, als fände man eine bestimmte Art von Holz, die, egal wie man es auch versucht, eine Lücke in der Wand hinterlässt, die man niemals füllen kann. Dies ist ein konkreter Beweis dafür, dass der „Goldene Schnitt“ ein „schlechter Akteur“ in diesem Spiel ist und eine permanente Lücke in der Abdeckung hinterlässt.

Rätsel 2: Die quadratfreien Zahlen und die „magische Zahl“

Das zweite Problem tauscht Primzahlen gegen „quadratfreie Zahlen“ (Zahlen, die nicht durch 4, 9, 16 usw. teilbar sind). Ein berühmter Mathematiker namens Erdős vermutete einmal, dass man, wenn man Zweierpotenzen zu quadratfreien Zahlen addiert, jede große ungerade Zahl bauen kann. Diese spezifische Version des Rätsels ist nach wie vor ungelöst und gilt als sehr schwierig.

Anstatt die schwierige Version mit Zweierpotenzen zu lösen, stellt der Autor eine etwas andere Frage: Können wir eine reelle Zahl $a$ (zwischen 2 und 3) finden, sodass wir, wenn wir deren Potenzen verwenden, fast jede positive ganze Zahl bauen können?

Die Antwort lautet Ja. Der Autor beweist, dass es mindestens eine „magische Zahl“ $a$ in diesem Bereich gibt. Durch die sorgfältige Wahl dieser Zahl zeigt der Autor, dass die „Ganzteile“ ihrer Potenzen dazu gezwungen werden können, genau an den richtigen Stellen zu landen, um die Lücken zu füllen, die die quadratfreien Zahlen hinterlassen. Es ist, als fände man einen geheimen Schlüssel, der, wenn man ihn dreht, die Fähigkeit freischaltet, fast jedes Haus in der Stadt zu bauen. Das Papier nennt uns diese Zahl nicht exakt, aber es beweist, dass eine solche Zahl existiert und darauf wartet, gefunden zu werden.

Das große Ganze

Zusammenfassend lässt sich sagen, dass dieses Papier ein Meisterwerk detektivischer mathematischer Arbeit ist. Es zeigt:

Im Allgemeinen funktioniert es: Wenn man eine Basis für seine Potenzen zufällig wählt, kann man fast immer eine riesige Sammlung von Zahlen bauen, indem man sie zu Primzahlen addiert, was eine positive untere Dichte garantiert.
Aber Vorsicht beim Goldenen Schnitt: Es gibt eine spezifische, berühmte Zahl, bei der das Muster bricht und eine permanente Lücke hinterlässt.
Eine magische Lösung existiert: Für das Problem der quadratfreien Zahlen wissen wir zwar noch nicht die Lösung der ursprünglichen „Zweierpotenzen“-Version, aber wir wissen, dass es eine „magische“ reelle Zahl gibt, die eine sehr ähnliche, Dichte-Eins-Version des Problems löst.

Der Autor verwendet eine Mischung aus „metrischen“ Argumenten (was im Durchschnitt für Zufallszahlen passiert) und „konstruktiven“ Argumenten (spezifische Beispiele bauen, um Lücken oder Lösungen zu beweisen). Die Ergebnisse sind keine bloßen Vermutungen oder Computersimulationen, sondern rigorose mathematische Beweise. Das Papier bestätigt, dass das Universum der Zahlen zwar riesig und manchmal tückisch ist, es aber tiefe, zugrunde liegende Regeln gibt, die es uns ermöglichen, fast alles abzudecken – vorausgesetzt, wir wählen unsere Zutaten genau richtig.

Technische Zusammenfassung: Ganzzahlige Teile reeller Potenzen in zwei Erdős-Problemen vom Typ Romanoff

Überblick und Problemstellung
Diese Arbeit untersucht zwei additive Probleme im Rahmen der Erdős–Romanoff-Untersuchungsreihe. Das zentrale Thema ist der Ersatz starrer Folgen ganzzahliger Potenzen ( $a^k$ ) durch die ganzzahligen Teile von Potenzen einer reellen Basis ( $\lfloor y^k \rfloor$ ). Diese Modifikation bewahrt die logarithmische Dünne der Summanden, führt jedoch einen reellen Parameter ein, der sowohl metrische (probabilistische) als auch konstruktive Ansätze ermöglicht. Die Arbeit adresst zwei spezifische Fragen:

Das Primzahlproblem (Erdős–Kalmár): Besitzt die Menge $S_y = \{p + \lfloor y^k \rfloor : p \in \mathbb{P}, k \ge 1\}$ für jedes reelle $y > 1$ eine positive untere asymptotische Dichte?
Das quadratfrei-Problem: Kann jede hinreichend große ganze Zahl als Summe einer quadratfreien Zahl und einer Zweierpotenz dargestellt werden ( $n = q + 2^k$ )? Während die Version mit fester Basis offen bleibt, sucht diese Arbeit nach einem Analogon mit variabler Basis, bei dem $2^k$ durch $\lfloor a^m \rfloor$ ersetzt wird.

Methodik
Die Arbeit verwendet drei unterschiedliche methodische Ansätze, die ihren drei Haupttheoremen entsprechen:

Metrische Zahlentheorie und Zweitmoment-Analyse (Theorem 1.1):
Um eine positive Dichte für fast alle reellen Basen zu etablieren, kombiniert der Autor ein deterministisches Romanoff-Zweitmoment-Kriterium mit metrischen Abschätzungen.

Zweitmoment-Kriterium: Ein quantitatives Lemma (Lemma 3.1) wird abgeleitet, das die untere Dichte von $P+A$ mit der Zählfunktion von $A$ und den gewichteten Paar-Korrelationen der Differenzen in $A$ verknüpft. Das Gewicht $W(h) = \prod_{p|h}(1+1/p)$ berücksichtigt die Verteilung von Primzahlen in arithmetischen Progressionen mittels der Selberg-Sieb-Methode.
Metrische Kontrolle: Der zentrale technische Beitrag besteht darin, zu zeigen, dass die Folge $\lfloor y^k \rfloor$ für fast alle $y$ die notwendigen Paar-Korrelations-Abschätzungen erfüllt. Dies erfordert die Analyse der Verteilung von $\lfloor y^k \rfloor \pmod d$ . Der Beweis nutzt die Erdős–Turán-Ungleichung und Abschätzungen für exponentielle Summen $\sum e(h y^k / d)$ . Durch die Trennung der Divisoren in „kleine“ (die durch Äquidistributions-Argumente behandelt werden) und „große“ (die durch Ableitungsabschätzungen von $y^\ell - y^k$ behandelt werden) zeigt der Autor, dass die gewichteten Paar-Korrelationen der Erwartung des Zufallsmodells $\zeta(2)/2\zeta(4)$ für fast alle $y$ entsprechen.

Überdeckung durch Kongruenzen und Lucas-Zahlen (Theorem 1.2):
Um zu demonstrieren, dass eine Dichte-eins-Überdeckung selbst im Fall reeller Basen nicht garantiert ist, konstruiert die Arbeit eine „außergewöhnliche Basis“.

Verbindung zum Goldenen Schnitt: Der Autor nutzt die Identität zwischen $\lfloor \phi^k \rfloor$ (wobei $\phi$ der Goldene Schnitt ist) und den Lucas-Zahlen ( $L_k$ ). Konkret entspricht $\lfloor \phi^k \rfloor$ entweder $L_k$ oder $L_k - 1$ , abhängig von der Parität von $k$ .
Endliche Überdeckung: Eine endliche Menge von Kongruenzen wird konstruiert, um alle Exponenten $k$ abzudecken. Durch die Wahl einer spezifischen arithmetischen Progression für die Zielganzen $n$ stellt der Autor sicher, dass für jede Darstellung $n = p + \lfloor \phi^k \rfloor$ die Primzahl $p$ durch eine der endlichen kleinen Primzahlen teilbar sein muss. Dies begrenzt die Anzahl der darstellbaren ganzen Zahlen in der Progression auf $O(\log x)$ , wodurch bewiesen wird, dass ein positiver Anteil an ganzen Zahlen nicht erreicht wird.

Verschachtelte Intervall-Konstruktion und Residuen-Überdeckung (Theorem 1.3):
Für das quadratfrei-Problem beweist die Arbeit die Existenz einer reellen Basis $a \in (2,3)$ , sodass $\lfloor a^m \rfloor$ als additives Komplement zu den quadratfreien Zahlen mit der Dichte eins fungiert.

Residuen-Überdeckung: Der Beweis konstruiert eine endliche Menge von Verschiebungen modulo $Q_z = \prod_{p \le z} p^2$ , die die Menge der quadratfreien Residuen $R_z$ mit hoher Multiplizität schneiden.
Verschachtelte Intervalle: Ein konstruktiver Argument (Lemma 5.2) wird verwendet, um eine abzählbare Folge vorgegebener Kongruenzklassen als Werte von $\lfloor a^m \rfloor$ für eine einzige reelle Zahl $a$ zu realisieren. Dies geschieht durch die Definition einer verschachtelten Folge abgeschlossener Intervalle $I_0 \supset I_1 \supset \dots$ , wobei in jedem Schritt ein spezifischer Exponent $m$ und ein Wert $t = \lfloor a^m \rfloor$ festgelegt wird, um eine erforderliche Kongruenz zu erfüllen.
Dichte-Argument: Die Konstruktion stellt sicher, dass für große $x$ die „außergewöhnlichen“ ganzen Zahlen (die nicht darstellbar sind) von jenen dominiert werden, die modulo großer Primzahlen nicht quadratfrei sind – eine Menge mit der Dichte Null.

Wichtigste Ergebnisse

Theorem 1.1 (Metrisches Primzahltheorem): Für Lebesgue-fast alle $y > 1$ besitzt die Menge $S_y = \{p + \lfloor y^k \rfloor\}$ eine untere asymptotische Dichte $\delta_y$ , die gilt:
$\delta_y \ge \frac{1}{\log y + C_{sv} \zeta(2)/\zeta(4)}$
wobei $C_{sv}$ die absolute Selberg-Sieb-Konstante ist. Die Ordnung $1/\log y$ wird als optimal für $y \to \infty$ gezeigt.
Theorem 1.2 (Außergewöhnliche Basis für Primzahlen): Für die spezifische Basis $y = \phi = (1+\sqrt{5})/2$ hat die Menge der ganzen Zahlen, die nicht als $p + \lfloor \phi^k \rfloor$ darstellbar sind, eine positive untere Dichte. Speziell gilt:
$\#\{n \le x : n \notin P + \{\lfloor \phi^k \rfloor\}\} \ge \frac{x}{7845692610} - O(\log x)$
Theorem 1.3 (Quadratfrei-Dichte-Eins-Komplement): Es existiert eine reelle Zahl $a \in (2, 3)$ , so dass die Menge der ganzen Zahlen, die nicht als $q + \lfloor a^m \rfloor$ (wobei $q$ quadratfrei ist) darstellbar sind, die Dichte Null hat:
$\#\{n \le x : n \notin Q + \{\lfloor a^m \rfloor\}\} = o(x)$
Dieses Ergebnis wird in Korollar 5.3 auf $r$ -freie ganze Zahlen für jedes $r \ge 2$ ausgeweitet.

Bedeutung und Ansprüche
Die Arbeit beansprucht, die Erdős–Kalmár-Vermutung für fast alle reellen Basen zu lösen, indem sie eine präzise quantitative untere Schranke liefert, die von der Basis $y$ abhängt. Sie klärt die Grenze des Romanoff-Phänomens, indem sie zeigt, dass positive Dichte zwar generisch ist, eine vollständige Abdeckung (Dichte eins) jedoch nicht für alle reellen Basen garantiert werden kann, wie das Gegenbeispiel des Goldenen Schnitts verdeutlicht.

Hinsichtlich des quadratfrei-Problems löst die Arbeit nicht die Vermutung mit fester Basis ( $2^k + q$ ), sondern liefert ein „Dichte-eins-Analogon“ im Kontext der variablen Basis. Die Bedeutung liegt darin, dass die Flexibilität eines reellen Parameters es ermöglicht, Kongruenzbedingungen aufzuerlegen, die für feste Basen nicht verfügbar sind, wodurch die Hindernisse überwunden werden, die das Problem mit fester Basis schwierig machen. Die Arbeit vereint metrische Zahlentheorie, Siebmethoden und konstruktive Überdeckungsargumente, um langjährige additive Probleme im Zusammenhang mit dünnen Folgen zu adressieren.

Mehr davon