🔢 mathematics

Lower bounds for the Hausdorff dimension of expressible sets

Diese Arbeit stellt positive untere Schranken für die Hausdorff-Dimension von Mengen reeller Zahlen, die durch spezifische Reihenentwicklungen definiert sind, auf, ein Ergebnis, das impliziert, dass bestimmte irrationale Zahlen aus Erdős' Konstruktion von 1976 keine Liouville-Zahlen sind.

Ursprüngliche Autoren: Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

Veröffentlicht 2026-05-27

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Maiken Gravgaard, Simon Kristensen, Jaroslav Hančl

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 bauen eine sehr seltsame, sehr spezifische Zahl. Dies tun Sie, indem Sie eine unendliche Liste winziger Brüche addieren.

Die Formel sieht so aus:
$\text{Zahl} = \frac{1}{d_1 a_1} + \frac{1}{d_2 a_2} + \frac{1}{d_3 a_3} + \dots$

In diesem Papier spielen die Autoren mit zwei Hauptzutaten:

Die „Basis" ( $a_n$ ): Dies sind Zahlen, die sehr schnell riesig werden. Denken Sie an sie als die Nenner Ihrer Brüche. Sie wachsen so schnell, dass die Brüche fast augenblicklich mikroskopisch klein werden.
Die „Ziffern" ( $d_n$ ): Dies sind die Zahlen, die Sie wählen, um die Basis damit zu multiplizieren. In der einfachsten Version können Sie jede natürliche Zahl wählen (1, 2, 3...). Aber in diesem Papier schränken die Autoren Sie ein. Vielleicht dürfen Sie nur Zahlen zwischen 1 und 10 wählen, oder vielleicht nur gerade Zahlen.

Die große Frage: Welche Art von Zahl erhalten Sie?

Wenn Sie diese unendlichen Brüche addieren, erhalten Sie eine reelle Zahl. Die Autoren wollen zwei Dinge über die Sammlung aller möglichen Zahlen wissen, die Sie mit diesen Regeln erzeugen können:

Ist sie „irrational"? (Kann sie als einfacher Bruch wie 1/2 geschrieben werden?)
Ist sie eine „Liouville-Zahl"? Dies ist eine spezielle, seltsame Art irrationaler Zahl. Liouville-Zahlen sind „zu leicht" durch einfache Brüche zu approximieren. Sie sind so nah an rationalen Zahlen, dass sie als „transzendent" gelten (nicht die Wurzel einer Polynomgleichung).

Lange Zeit wussten Mathematiker, dass, wenn Ihre „Basis"-Zahlen ( $a_n$ ) schnell genug wachsen, die resultierende Zahl irrational sein würde. Aber es gab einen Haken: Wenn sie zu schnell wuchsen, würde die Zahl zu einer Liouville-Zahl werden.

Die Entdeckung der Autoren: Die „Lücken"-Strategie

Die Autoren wollten einen „Sweet Spot" finden. Sie wollten beweisen, dass Sie, wenn Sie Ihre Wahl der „Ziffern" ( $d_n$ ) genau richtig einschränken, eine Menge von Zahlen erzeugen können, die:

Irrational sind (keine einfachen Brüche).
Keine Liouville-Zahlen sind (sie sind nicht „zu leicht" zu approximieren).
Transzendent sind (mathematisch komplex).

Um dies zu tun, verwendeten sie einen cleveren visuellen Trick mit Cantor-Mengen.

Die Analogie: Der Quetschschwamm
Stellen Sie sich vor, Sie haben einen langen Stock (der alle möglichen Zahlen repräsentiert).

Stufe 0: Sie haben den ganzen Stock.
Stufe 1: Sie schneiden die mittleren Teile heraus und lassen nur ein paar kleinere Stöcke übrig.
Stufe 2: Sie nehmen diese kleineren Stöcke und schneiden weitere mittlere Teile heraus, sodass noch winzigere Stöcke übrig bleiben.
Wiederholen Sie dies für immer.

Die „Darstellbare Menge" ist der Staub, der übrig bleibt, nachdem Sie dies für immer tun.

Die Hauptaufgabe der Autoren war es zu beweisen, dass, wenn sie die mittleren Teile (die „Lücken") herausschneiden, die verbleibenden Stöcke dick genug sind, um eine von Null verschiedene „Hausdorff-Dimension" zu haben.

Die Hausdorff-Dimension ist eine Methode, um die „Größe" oder „Rauheit" einer Form zu messen. Eine Linie hat die Dimension 1. Ein Punkt hat die Dimension 0. Ein Fraktal (wie der Staub in unserem Schwamm) könnte eine Dimension von 0,5 haben.
Wenn die Dimension größer als 0 ist, bedeutet dies, dass die Menge im mathematischen Sinne „groß" ist.
Wenn die Dimension 0 ist, ist die Menge „winzig" (wie die Menge aller Liouville-Zahlen, die so klein ist, dass sie die Dimension 0 hat).

Die drei Hauptergebnisse

Das Papier präsentiert drei Szenarien basierend darauf, wie schnell die „Basis"-Zahlen ( $a_n$ ) wachsen:

1. Das geometrische Wachstum (Der „schnelle, aber stetige" Fall)
Wenn die Basis-Zahlen wie Potenzen einer Zahl wachsen (z. B. $2^n, 3^n, 4^n$ ) und Sie Ihre „Ziffern" auf eine kleine, feste Menge einschränken (z. B. nur 1, 2 oder 3 wählen), bewiesen die Autoren, dass die resultierende Menge von Zahlen eine positive Dimension hat.

Der Haken: Die Basis muss schnell genug wachsen im Vergleich dazu, wie viele Ziffern Sie wählen dürfen. Wenn Sie zu viele Ziffern wählen, verschwinden die „Lücken", und die Menge wird zu einem soliden Block (einem Intervall) statt zu einem fraktalen Staub.

2. Das doppelt exponentielle Wachstum (Der „explosive" Fall)
Wenn die Basis-Zahlen unglaublich schnell wachsen (wie $2^{2^n}$ ), zeigten die Autoren, dass selbst bei sehr spezifischen Einschränkungen der Ziffern die resultierende Menge von Zahlen immer noch eine positive Dimension hat.

Warum dies wichtig ist: Dies beweist, dass die Zahlen nicht unendlich schnell wachsen müssen, um komplexe Zahlen zu erhalten. Sie können ein „mäßiges" explosives Wachstum haben und dennoch eine reiche Menge von Zahlen erhalten, die keine Liouville-Zahlen sind.

3. Die „langsamere" doppelt exponentielle Variante
Sie untersuchten auch eine etwas langsamere Version des explosiven Wachstums und fanden ähnliche Ergebnisse, wodurch bewiesen wurde, dass die Menge der „guten" Zahlen immer noch beträchtlich ist.

Das „Was bedeutet das?" (Ohne Fachjargon)

Der aufregendste Teil des Papiers ist Korollar 5.

Seit Jahrzehnten wussten Mathematiker, dass, wenn Ihre Basis-Zahlen ( $a_n$ ) schnell genug wachsen, die resultierenden Zahlen irrational sind. Aber sie wussten nicht, ob diese Zahlen „zu leicht" zu approximieren waren (Liouville) oder „genau richtig".

Die Autoren bewiesen, dass Erdős' berühmte Regel von 1976 scharf ist.

Wenn die Basis-Zahlen zu schnell wachsen, erhalten Sie Liouville-Zahlen (Dimension 0).
Aber wenn sie nur ein wenig langsamer wachsen (speziell, wenn die Wachstumsrate nicht zu schnell ins Unendliche explodiert), erhalten Sie eine Menge von Zahlen, die keine Liouville-Zahlen sind.

Das Fazit:
Die Autoren bauten ein mathematisches „Sieb". Durch die sorgfältige Wahl, wie schnell die Nenner wachsen, und die Begrenzung der Wahl der Zähler, bewiesen sie, dass Sie eine „dicke" Sammlung von Zahlen erzeugen können, die irrational und transzendent sind, aber nicht die seltsamen, leicht zu approximierenden Liouville-Zahlen. Sie zeigten, dass die Grenze zwischen „normalen" irrationalen Zahlen und „seltsamen" Liouville-Zahlen viel präziser ist als bisher angenommen.

Sie wandten dies nicht auf Medizin, Ingenieurwesen oder Finanzen an. Sie lösten einfach ein Rätsel über die fundamentale Natur von Zahlen und darüber, wie „groß" die Menge dieser speziellen Zahlen ist.

Technische Zusammenfassung: Untere Schranken für die Hausdorff-Dimension ausdrückbarer Mengen

Problemstellung
Die Arbeit untersucht die Hausdorff-Dimension von „ausdrückbaren Mengen", definiert als Mengen reeller Zahlen, die durch Reihen der Form gebildet werden:
$x = \sum_{n=1}^{\infty} \frac{1}{d_n a_n}$
wobei $(a_n)_{n=1}^{\infty}$ eine Folge reeller Zahlen (die „Basis") und $(d_n)_{n=1}^{\infty}$ eine Folge natürlicher Zahlen (die „Ziffern") ist, die aus spezifischen Mengen $D_n$ gewählt werden.

Das zentrale Problem adressiert die Lücke zwischen bestehenden Ergebnissen zur Irrationalität und Transzendenz solcher Summen und den metrischen Eigenschaften der von ihnen erzeugten Mengen. Vorangegangene Arbeiten von Erdős (1975) und Hančl etablierten Bedingungen, unter denen diese Summen irrational oder Liouville-Zahlen sind. Spezifisch: Wenn die Folge $a_n$ hinreichend schnell wächst (z. B. $\limsup a_n^{1/2^n} = \infty$ ), sind die resultierenden Zahlen irrational; wenn das Wachstum noch schneller ist, handelt es sich um Liouville-Zahlen (eine Menge mit Hausdorff-Dimension null). Es war jedoch unklar, was passiert, wenn die Wachstumsbedingungen intermediär sind oder wenn Einschränkungen an die Ziffern $d_n$ gestellt werden. Die Autoren zielen darauf ab, positive untere Schranken für die Hausdorff-Dimension dieser Mengen zu etablieren und damit nachzuweisen, dass unter bestimmten Wachstumsbedingungen die Mengen nicht-Liouville-Zahlen (und potenziell nicht-transzendente Zahlen) enthalten.

Methodik
Die Autoren wenden einen geometrischen Konstruktionsansatz an, bei dem die ausdrückbaren Mengen als verallgemeinerte Cantor-Mengen modelliert werden. Die Strategie umfasst:

Cantor-Mengen-Konstruktion: Betrachtung der Reihe als Zahlensystem, wobei $a_n$ als Basis und $d_n$ als Ziffern fungieren. Die Menge $K(A, (D_n))$ wird durch iteratives Aufspalten von Intervallen konstruiert.
Lückenanalyse: Um einen bekannten unteren Schranken-Satz für die Hausdorff-Dimension verallgemeinerter Cantor-Mengen anzuwenden (Satz 1, basierend auf Falconer), müssen die Autoren sicherstellen, dass zwischen den Teilintervallen auf jedem Niveau $n$ „Lücken" existieren. Dies erfordert den Nachweis, dass die Differenz zwischen benachbarten Partialsummen strikt größer ist als die maximal mögliche Restsumme der Reihe.
Quantitative Abschätzungen: Die Autoren leiten explizite untere Schranken für die Lückengrößen ( $\varepsilon_n$ ) und obere Schranken für die Anzahl der Teilintervalle ( $m_n$ ) auf jedem Niveau ab. Sie setzen diese Abschätzungen in die Dimensionsformel ein:
$\dim_H(C) \ge \limsup_{n \to \infty} \frac{\log(m_1 \cdots m_n)}{-\log(m_{n+1} \varepsilon_{n+1})}$
Wachstumsklassifizierungen: Die Analyse ist in drei Fälle unterteilt, basierend auf der Wachstumsrate der Folge $a_n$ $a_{n}$ :
- Geometrisches Wachstum ( $a_n = b^n$ ).
- Doppelt exponentielles Wachstum ( $a_n \approx 2^{N^n}$ ).
- Langsameres doppelt exponentielles Wachstum ( $a_n \approx N^{2^n}$ ).

Hauptbeiträge und Ergebnisse

Satz 2 (Geometrisches Wachstum): Für Folgen, bei denen $a_n = b^n$ mit $b > 4$ gilt und die Ziffern auf eine endliche Menge $D_n = \{1, \dots, K\}$ beschränkt sind, sodass $K^2 < b$ , beweisen die Autoren:
$\dim_H(K) \ge \frac{\log(K)}{\log(b)}$
Dieses Ergebnis zeigt, dass die Einschränkung der Ziffern die Dimension von vollständig (Intervall) auf einen positiven Wert reduzieren kann, sofern die Basis $b$ groß genug im Verhältnis zur Größe der Ziffernmengen ist.
Satz 3 (Doppelt exponentielles Wachstum): Für Folgen, die als $a_n = 2^{N^n f(n)}$ wachsen, mit spezifischen Einschränkungen an die Ziffernmengen $D_n$ , etablieren die Autoren eine untere Schranke:
$\dim_H(K) \ge \frac{s}{(N-1)(N-s)}$
wobei $s$ und $N$ Parameter sind, die mit den Wachstumsraten der Basis und der Ziffernmengen zusammenhängen.
Satz 4 (Langsameres doppelt exponentielles Wachstum): Für Folgen, die als $a_n = N^{2^n f(n)}$ wachsen, wird eine untere Schranke hergeleitet:
$\dim_H(K) \ge \frac{s}{2-s}$
Bemerkenswerterweise ist diese Schranke unabhängig vom Basisparameter $N$ , im Gegensatz zu Satz 3, wo die Schranke mit zunehmendem $N$ abnimmt.
Korollar 5 (Schärfe des Erdős-Kriteriums): Die Autoren wenden ihre Ergebnisse auf ganzzahlige Folgen an. Sie zeigen, dass wenn $\limsup_{n \to \infty} a_n^{1/t^n} < \infty$ für ein gewisses $t \in \mathbb{N}$ gilt, die ausdrückbare Menge $K(A)$ Zahlen enthält, die keine $U^*$ -Zahlen sind (eine Klasse, die Liouville-Zahlen enthält). Da die Menge der $U^*$ -Zahlen eine Hausdorff-Dimension von null hat, impliziert dies, dass die Menge $K(A)$ Zahlen enthält, die keine Liouville-Zahlen sind. Dies bestätigt, dass die Bedingung von Erdős für die Erzeugung von Liouville-Zahlen scharf ist; eine Lockerung der Wachstumsbedingung führt zu Mengen mit positiver Dimension, die nicht-Liouville-Zahlen enthalten.

Bedeutung und Behauptungen
Die Arbeit behauptet, die ersten positiven unteren Schranken für die Hausdorff-Dimension ausdrückbarer Mengen mit eingeschränkten Ziffern zu liefern. Die primäre Bedeutung liegt darin, zu demonstrieren, dass die „Liouville"-Eigenschaft nicht universell für schnell wachsende Folgen ist; vielmehr hängt sie kritisch von der spezifischen Wachstumsrate und der Größe der Ziffernmengen ab.

Die Autoren stellen explizit fest, dass ihre Ergebnisse zeigen, dass die Konstruktion von Erdős aus dem Jahr 1976 unter schwächeren Wachstumsbedingungen als bisher angenommen nicht-Liouville-Zahlen liefert. Sie bemerken, dass ihre Schranken zwar positiv sind, sie jedoch vermuten, dass sie nicht optimal sind, da obere Schranken für diese spezifischen Mengen noch nicht berechnet wurden. Die Arbeit schließt mit der Identifizierung der Aufhebung der Einschränkung $K^2 < b$ in Satz 2 und der Berechnung oberer Schranken für diese Mengen als offene Probleme. Die Arbeit schlägt keine neuen Anwendungen vor, sondern verfeinert das theoretische Verständnis der metrischen Eigenschaften von Zahlen, die durch spezifische Reihenentwicklungen definiert sind.

Die große Frage: Welche Art von Zahl erhalten Sie?

Die Entdeckung der Autoren: Die „Lücken"-Strategie

Die drei Hauptergebnisse

Das „Was bedeutet das?" (Ohne Fachjargon)

Mehr davon