🔢 mathematics

Unbounded logarithmic limsup in Erd\H{o}s problem 684

In dieser Arbeit wird gezeigt, dass das in Erdős-Problem 684 behandelte Funktionsverhältnis $f(n)$ im Grenzwert des Limes superior unbeschränkt ist, indem für jedes $C > 1$ unendlich viele $n$ konstruiert werden, für die $f(n) > (C - o(1)) \log n$ gilt.

Ursprüngliche Autoren: Ji Ho Bae

Veröffentlicht 2026-04-28

📖 3 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ji Ho Bae

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 Rätsel der „glatten“ Zahlen: Warum die Mathematik manchmal unvorhersehbar ist

Stellen Sie sich vor, Sie sind ein Schatzsucher in einer riesigen Wüste aus Zahlen. Ihr Ziel ist es, eine ganz bestimmte Art von Schatz zu finden: Zahlen, die „glatt“ sind.

1. Das Problem: Die „glatten“ Schätze

In der Mathematik nennen wir eine Zahl „glatt“, wenn sie nur aus kleinen Bausteinen (kleinen Primzahlen) besteht. Wenn Sie eine riesige Zahl haben, ist es wie ein riesiger Turm aus Legosteinen. Wenn alle Steine klein sind, ist der Turm „glatt“. Wenn aber plötzlich ein paar riesige, unhandliche Betonblöcke (große Primzahlen) dabei sind, ist der Turm „rau“.

Ein berühmter Mathematiker namens Erdős hat vor langer Zeit eine Frage gestellt: „Wie groß müssen die kleinen Bausteine mindestens sein, damit der Rest des Turms nicht mehr zu schwer wird?“

Die meisten Mathematiker dachten: „Ach, das ist ganz logisch. Wenn der Turm wächst, brauchen wir nur ein bisschen mehr Platz für die kleinen Steine – etwa so viel, wie der Logarithmus der Zahl angibt.“ Man dachte, es gäbe eine feste Grenze, eine Art „Sicherheitsnetz“, das verhindert, dass die Zahlen zu „rau“ werden.

2. Die Entdeckung: Der „unendliche“ Sturm

Der Autor dieses Papers, Ji Ho Bae, hat nun bewiesen: Dieses Sicherheitsnetz existiert nicht.

Er hat gezeigt, dass es Zahlen gibt, die so extrem „rau“ sind, dass man immer größere und größere Bausteine braucht, um sie zu beschreiben. Es gibt keine Obergrenze. Wenn die Zahlen unendlich groß werden, explodiert der Bedarf an Bausteinen förmlich. Er hat bewiesen, dass das System „aus dem Ruder läuft“.

3. Die Methode: Wie hat er das gemacht? (Die Analogie der „Schlüssel-Fabrik“)

Um das zu beweisen, konnte er nicht einfach nach Zahlen suchen – die Wüste ist zu groß. Er musste eine Maschine bauen, die diese extremen Zahlen „erzeugt“. Das hat er mit drei genialen Tricks gemacht:

Der „Kurz-Multiplikator“ (Die präzise Passform):
Stellen Sie sich vor, Sie wollen ein Schloss bauen, das so kompliziert ist, dass kein normaler Schlüssel passt. Bae hat eine Methode entwickelt, um eine Zahl (einen „Multiplikator“) zu finden, der wie ein perfekt geschliffener Schlüssel in ein extrem komplexes System von mathematischen Rastern passt. Dieser Schlüssel sorgt dafür, dass die Zahl genau die „falschen“ Eigenschaften bekommt, die er braucht.
Die „QM-Box“ (Das Sortiersystem):
Um die Kontrolle zu behalten, hat er die Zahlen in „Boxen“ sortiert. Er hat mathematische Filter benutzt (ähnlich wie ein Sieb in der Küche, nur viel feiner), um sicherzustellen, dass die Zahlen, die er baut, genau in den Bereich fallen, in dem sie „rau“ genug sind. Er hat die Zahlen quasi in eine mathematische Zange genommen.
Das „Timofeev-Werkzeug“ (Der statistische Wind):
Das ist der schwierigste Teil. Er musste beweisen, dass es überhaupt genug dieser „perfekten Schlüssel“ gibt. Er hat eine Methode eines anderen Mathematikers (Timofeev) benutzt. Stellen Sie sich das wie eine Wettervorhersage vor: Er hat bewiesen, dass in der riesigen Wüste der Zahlen garantiert ein „Sturm“ (eine Häufung von Zahlen mit bestimmten Eigenschaften) auftritt, den er für seinen Beweis nutzen kann.

4. Das Fazit: Die Grenzen der Vorhersagbarkeit

Was bedeutet das für uns?

Bae hat gezeigt, dass die Struktur der Zahlen viel wilder und unberechenbarer ist, als wir dachten. Wir dachten, wir hätten eine Formel, die uns sagt, wie „glatt“ Zahlen sein müssen. Aber Bae hat bewiesen: Die Natur der Zahlen lässt sich nicht in so ein enges Korsett zwängen. Es gibt immer wieder Ausreißer, die alles sprengen.

Kurz gesagt: Er hat bewiesen, dass die mathematische Unordnung (die „Rauheit“) kein Zufall ist, der irgendwann aufhört, sondern ein unendliches Phänomen, das immer wieder immer größer wird.

Zusammenfassung: Unbeschränkter logarithmischer Limsup im Erdős-Problem 684

1. Das Problem (Erdős-Problem 684)

Das Problem befasst sich mit der glatten Teil eines Binomialkoeffizienten. Für $0 \le k \le n$ wird der Binomialkoeffizient $\binom{n}{k}$ in zwei Faktoren zerlegt:
$\binom{n}{k} = u_k(n) \cdot v_k(n)$
wobei $u_k(n)$ den $k$ -glatten Teil darstellt (alle Primfaktoren sind $\le k$ ) und $v_k(n)$ den Rest bildet (alle Primfaktoren sind $> k$ ).

Erdős fragte nach der kleinsten Zahl $k = f(n)$ , für die gilt: $u_k(n) > n^2$ . Es wurde weithin vermutet, dass $f(n) \ll \log n$ gilt. Die vorliegende Arbeit widerlegt diese Vermutung und zeigt, dass $f(n)$ im logarithmischen Maßstab unbeschränkt ist.

2. Methodik und Konstruktion

Der Autor nutzt eine komplexe Konstruktion, um Zahlen $n$ zu finden, bei denen $f(n)$ über jede beliebige Konstante $C$ hinaus wächst. Die Methodik lässt sich in drei Hauptphasen unterteilen:

A. Die Multiplikator-Konstruktion (Kummer-Theorie):
Die Konstruktion basiert auf der Wahl von $n = t \cdot L_M - 1$ , wobei $L_M = \text{lcm}(1, \dots, M)$ . Durch die Wahl von $t$ (einem "Short Multiplier") wird sichergestellt, dass bei der Anwendung des Kummer-Theorems (welches die Primfaktoren von Binomialkoeffizienten über Überträge in der $p$ -adischen Addition bestimmt) die Überträge in bestimmten "mittleren" Primzahlbereichen minimiert werden. Ziel ist es, die glatte Teil $u_k(n)$ klein zu halten, indem man die Überträge (Carries) kontrolliert.

B. Fourier-Reduktion und QM-Box-Parametrisierung:
Um die Existenz eines geeigneten Multiplikators $t$ zu beweisen, wird das Problem in die Fourier-Analyse überführt.

Exact Denominator Lemma: Es wird gezeigt, dass die Fourier-Koeffizienten eine präzise Struktur in ihren Nennern haben.
QM-Box-Formulierung: Das Problem wird auf eine Menge von "Petal-Primzahlen" (Primzahlen im Bereich $M < p \le CM$ ) reduziert. Hierbei wird eine Parametrisierung genutzt, die die lokalen Bedingungen in eine Struktur bringt, die als "QM-Box" bezeichnet wird.
Dyadische Lokalisierung: Durch eine exakte dyadische Produkt-Schalen-Lokalisierung wird das Problem auf eine sehr dünne Menge von Zahlen reduziert (quadratfreie Produkte mit einer festen Anzahl von Primfaktoren).

C. Analytischer Input (Timofeev-Methode):
Der entscheidende analytische Schritt ist die Anwendung der Methode von Timofeev über Mittelwerte in arithmetischen Progressionen für Zahlen mit vielen Primfaktoren ( $\Omega$ -Funktion). Der Autor muss diese Methode "lokalisieren", um sie auf die dünne Schale der Konstruktion anzuwenden. Dies geschieht durch:

Buchstab-Lokalisierung: Um die Primzahlen auf das Intervall $(M, CM]$ einzugrenzen.
Cauchy-Extraktion: Um die exakte Anzahl der Primfaktoren $a$ zu fixieren.

3. Zentrale Beiträge (Key Contributions)

Widerlegung der universellen Schranke: Der Beweis, dass $f(n) \ll \log n$ nicht halten kann, indem gezeigt wird, dass $\limsup_{n \to \infty} \frac{f(n)}{\log n} = \infty$ .
Neue Sieve-Technik: Die Einführung des "Short Multiplier Sieve", der lokale Bedingungen über Primzahlpotenzen hinweg kombiniert.
Lokalisierte Timofeev-Schätzung: Die Entwicklung einer spezialisierten Form der Timofeev-Methode, die auf dyadische Intervalle und feste $\Omega$ -Werte (Anzahl der Primfaktoren) zugeschnitten ist.
Harmonische Höhen-Kappe (Local Harmonic-Height Cap): Ein technisches Werkzeug, um die Beiträge der Fourier-Modi in der QM-Box-Konstruktion zu kontrollieren.

4. Ergebnisse

Das Hauptresultat ist der Beweis, dass für jedes feste $C > 1$ Zahlen $n$ existieren, für die:
$f(n) > (C - o(1)) \log n$
Daraus folgt unmittelbar:
$\limsup_{n \to \infty} \frac{f(n)}{\log n} = \infty$

5. Bedeutung

Diese Arbeit ist von hoher Bedeutung für die additive und multiplikative Zahlentheorie. Sie zeigt, dass die Verteilung von Überträgen in der $p$ -adischen Addition (Kummer-Theorie) weitaus komplexer ist, als es die einfache logarithmische Schranke vermuten ließ. Zudem demonstriert sie eine hochgradig raffinierte Verbindung zwischen der Kombinatorik von Binomialkoeffizienten, der Fourier-Analyse auf endlichen Gruppen und der analytischen Zahlentheorie (Verteilung von Primfaktoren).