🔢 mathematics

Prescribed realisation of longest runs in continued fractions

Diese Arbeit zeigt, dass für einen beliebigen vorgegebenen Teilbruchquotienten und eine zulässige Wachstumsrate eine Menge irrationaler Zahlen mit voller Hausdorff-Dimension existiert, bei der die längste Folge dieses spezifischen Symbols die gesamte maximale Folgenlänge eindeutig bestimmt, wodurch bewiesen wird, dass das Symbol, welches für die längste Folge verantwortlich ist, im Voraus festgelegt werden kann, ohne die Dimension der Ausnahmemenge zu verringern.

Ursprüngliche Autoren: Ying Wai Lee

Veröffentlicht 2026-06-02

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ying Wai Lee

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 blicken auf eine sehr lange, niemals endende Kette von Zahlen. Dies sind nicht einfach nur zufällige Zahlen; sie sind die „Partialquotienten“, die aus dem Kettenbruch einer spezifischen irrationalen Zahl (wie $\pi$ oder $\sqrt{2}$ ) bestehen. Sie können sich diese Kette wie eine lange Reihe farbiger Perlen vorstellen, bei denen jede Perle eine Zahl trägt.

Das Spiel: Die Suche nach der längsten Serie

Stellen Sie sich vor, Sie scannen die Perlenkette auf der Suche nach der längsten aufeinanderfolgenden Serie der gleichen Zahl.

Wenn Sie eine Sequenz wie ... 5, 5, 5, 2, 2, 2, 2, 7 ... haben, ist die längste Serie der Zahl 5 genau 3. Die längste Serie der Zahl 2 ist 4.
Die „Gesamte Längste Serie“ ist einfach der größte Wert der Serie irgendeiner Zahl in diesem Abschnitt. Im obigen Beispiel ist der Gesamtsieger die 2 mit einer Serie von 4.

Normalerweise haben Mathematiker zwei separate Dinge untersucht:

Das Spiel mit festem Symbol: „Wie lang ist die längste Serie der Zahl 5?“
Das Gesamtspiel: „Was ist die längste Serie irgendeiner Zahl?“

Das Problem: Der „unbeabsichtigte“ Gewinner

In der Vergangenheit wussten Forscher, dass diese Serien für fast alle Zahlen auf eine vorhersehbare Weise wachsen. Es gab jedoch eine Lücke in unserem Verständnis.

Wenn man die Zahl 5 dazu gezwungen hätte, eine ganz bestimmte, wachsende Serienlänge zu haben, garantierte dies dann auch, dass die 5 immer der Gewinner des „Gesamten Längsten Serien“-Spiels sein würde?
Oder könnte eine andere Zahl (wie die 7) versehentlich dazwischenrutschen und einen noch längeren Lauf haben, um der 5 den Titel zu stehlen?

Vor dieser Arbeit wussten wir nicht, ob wir eine bestimmte Zahl zum „Champion“ der längsten Serien machen konnten, während wir gleichzeitig exakt kontrollierten, wie lang diese Serien sind.

Die Lösung: Der „Champion-Kontrolleur“

Ying Wai Lee sagt in seinem Paper: Ja, das geht.

Der Autor beweist, dass man eine massive, komplexe Menge von Zahlen konstruieren kann (eine so große, dass sie eine „volle Dimension“ besitzt, was bedeutet, dass sie keine winzige, seltene Ausnahme ist), bei der man Folgendes festlegen darf:

Welche Zahl der Champion ist (z. B. „Ich möchte, dass die 7 immer gewinnt“).
Wie schnell das Wachstum der Serien des Champions erfolgt (z. B. „Ich möchte, dass die Serien exakt so schnell wachsen wie die Quadratwurzel der Gesamtlänge der Zeichenkette“).

Das Paper zeigt, dass man diese Zahlen so konstruieren kann, dass die Zahl 7 nicht nur mit der von Ihnen vorgegebenen Geschwindigkeit wächst, sondern dass die 7 immer jede andere Zahl schlägt. Keine andere Zahl darf jemals eine so lange Serie haben wie die der 7.

Die Analogie: Die Rennstrecke

Stellen Sie sich den Kettenbruch wie eine Rennstrecke mit vielen Läufern (den Zahlen 1, 2, 3 usw.) vor.

Alte Sicht: Wir wussten, dass die Läufer, wenn man das Rennen lange genug beobachtet, im Allgemeinen mit einer gewissen Durchschnittsgeschwindigkeit laufen. Wir wussten auch, dass wir eine Strecke finden konnten, auf der ein spezifischer Läufer (sagen wir, Läufer 7) mit einer bestimmten Geschwindigkeit läuft. Aber wir wussten nicht, ob Läufer 7 dabei immer an der Spitze bleiben würde.
Neue Sicht (Dieses Paper): Lee zeigt, dass man eine Strecke entwerfen kann, auf der Läufer 7 nicht nur mit einer von Ihnen diktierten Geschwindigkeit läuft, sondern auch garantiert zu jedem beliebigen Zeitpunkt der schnellste Läufer auf der Strecke ist. Kein anderer Läufer kann jemals zu den Sprints von Läufer 7 aufschließen.

Warum das wichtig ist (in mathematischen Begriffen)

Das Paper erreicht dies durch die Konstruktion einer „Cantor-Typ-Menge“ (eine fraktalähnliche Struktur). Die Autoren nutzen eine Konstruktionsmethode, bei der sie:

Lange, perfekte Blöcke der „Champion“-Zahl einfügen (z. B. 7, 7, 7...).
Die Lücken sorgfältig mit anderen Zahlen füllen, aber diese anderen Zahlen so kurz halten, dass sie die Champion-Zahl niemals bedrohen.
„Separatoren“ (wie 8 und 9) verwenden, um versehentliche lange Serien anderer Zahlen zu unterbrechen.

Das Ergebnis ist ein mathematischer Beweis, dass der „Champion“ der längsten Serien im Voraus festgelegt werden kann. Man muss nicht darauf hoffen, dass eine bestimmte Zahl gewinnt; man kann sie mathematisch dazu zwingen, zu gewinnen, während man gleichzeitig die volle Komplexität und Größe der untersuchten Zahlenmenge beibehält.

Zusammenfassung

Das Thema: Kettenbrüche (eine Art, Zahlen darzustellen).
Das Rätsel: Können wir eine bestimmte Zahl dazu bringen, die längsten Serien mit einer bestimmten Wachstumsrate zu haben, während wir gleichzeitig sicherstellen, dass keine andere Zahl sie jemals schlägt?
Die Antwort: Ja. Das Paper konstruiert eine riesige Sammlung von Zahlen, bei denen eine gewählte Zahl der unangefochtene, einzigartige Gewinner des „Längste-Serie“-Spiels ist und exakt so schnell wächst, wie wir es ihr vorschreiben.
Die Auswirkung: Es vereint zwei separate mathematische Probleme (Wachstum eines festen Symbols und Gesamtwachstum) zu einem leistungsstarken Ergebnis und zeigt, dass der „Gewinner“ des Spiels vollständig kontrollierbar ist.

Technisches Resümee: Vorgeschriebene Realisierung längster Folgen in Kettenbrüchen

Problemstellung
Die vorliegende Arbeit untersucht das asymptotische Verhalten der längsten Folgen in den Kettenbruchentwicklungen irrationaler Zahlen im Einheitsintervall $[0, 1)$ . Es werden zwei unterschiedliche Perspektiven auf die längsten Folgen traditionell untersucht:

Längste Folgen eines festen Symbols ( $L_n(x, \lambda)$ ): Die maximale Länge einer aufeinanderfolgenden Folge eines spezifischen Wertes des Teilbruchs $\lambda$ innerhalb der ersten $n$ Terme.
Gesamte längste Folgen ( $R_n(x)$ ): Die maximale Länge einer aufeinanderfolgenden Folge irgendeines Teilbruchwertes innerhalb der ersten $n$ Terme.

Die bisherige Literatur (z. B. Song–Zhou, Wang–Wu) hat etabliert, dass diese Größen für fast jedes $x$ spezifischen logarithmischen Wachstumsgesetzen folgen. Darüber hinaus existieren Ausnahmemengen mit vollem Hausdorff-Dimension, bei denen diese Wachstumsraten von dem typischen Gesetz abweichen oder vorgegebene Wachstumsmaßstäbe befolgen. Es blieb jedoch eine Lücke im Verständnis der Interaktion zwischen diesen beiden Vorschriften:

Das Vorschreiben des Wachstums einer Folge eines festen Symbols garantiert nicht, dass dieses spezifische Symbol $\lambda$ dasjenige ist, das für die Gesamtlänge der längsten Folge verantwortlich ist.
Umgekehrt spezifiziert das Vorschreiben des Wachstums der gesamten maximalen Folge nicht, welches Symbol dies erreicht.

Das zentrale Problem, das hier behandelt wird, ist die Frage, ob man eine Menge mit vollem Hausdorff-Dimension konstruieren kann, in der ein vorgeschriebenes Symbol $\lambda$ nicht nur eine vorgeschriebene Wachstumsrate für seine längsten Folgen aufweist, sondern auch in jeder Phase das andere Symbole hinsichtlich der Folgenlänge eindeutig dominiert.

Methodik
Der Autor verwendet einen konstruktiven Ansatz durch die Erstellung einer Cantor-artigen Menge mit spezifischen kombinatorischen und dynamischen Eigenschaften.

Admissiblere Funktionen: Die Wachstumsraten werden durch „admissiblere“ Funktionen $f: \mathbb{N} \to \mathbb{N}$ gesteuert, die als nicht-abnehmende, unbeschränkte Funktionen definiert sind, welche $\lim_{n \to \infty} \frac{f(n+f(n))}{f(n)} = 1$ erfüllen. Diese Klasse generalisiert vorangegangene Ergebnisse, die oft auf logarithmische Skalen beschränkt waren.
Konstruktion der Cantor-Menge: Eine Menge $\mathcal{K}_{\lambda, f, M, B}$ $K_{λ, f, M, B}$ wird konstruiert, indem Blöcke von Teilbrüchen iterativ definiert werden.
- Die Konstruktion unterteilt die Entwicklung in Stadien $k$ .
- In diesen Stadien werden „freie“ Ziffern beibehalten und unterteilt.
- Entscheidend ist, dass spezifische „vorgeschriebene“ Blöcke des Zielsymbols $\lambda$ (der Länge $s_k \approx f(t_k)$ ) eingefügt werden.
- „Separator“-Ziffern ( $\sigma_1 = \lambda+1, \sigma_2 = \lambda+2$ ) werden zwischen die freien Segmente und die vorgeschriebenen Blöcke eingefügt, um zu verhindern, dass über die Grenzen hinweg versehentlich lange Folgen von $\lambda$ oder anderen Symbolen entstehen.
Schätzung der Dimension:
- Die Hausdorff-Dimension wird mittels eines Massenverteilungsprinzips geschätzt, das an Kettenbrüche angepasst ist.
- Ein entscheidender technischer Schritt ist die Analyse der Kontinuantenfunktion $K(\omega)$ , welche den Nenner des Konvergenten und die Größe der Zylinder-Mengen bestimmt.
- Der Autor etabliert Distorsions-Lemmata (Lemmata 7 und 8), die zeigen, dass das Einfügen von Separatoren und vorgeschriebenen Blöcken die Kontinuante in kontrollierter Weise verzerrt. Speziell ist das Verhältnis der Kontinuante des erweiterten Wortes zur zugrunde liegenden Wortes beschränkt, was erlaubt, die Dimension der konstruierten Menge mit der Dimension einer einfacheren Menge $\mathcal{F}_B$ (Zahlen mit beschränkten Teilbrüchen) in Beziehung zu setzen.
- Durch das Bilden der Grenzwerte für $B \to \infty$ und $\alpha \to 1$ wird gezeigt, dass die Dimension gegen 1 strebt.

Wesentliche Beiträge und Ergebnisse

Theorem 1 (Hauptresultat):
Für jedes vorgeschriebene Symbol $\lambda \in \mathbb{N}$ und jede admissible Wachstumsfunktion $f$ ist die Menge
$E_{\lambda, f} = \left\{ x \in [0, 1) \setminus \mathbb{Q} : \lim_{n \to \infty} \frac{L_n(x, \lambda)}{f(n)} = 1 \text{ und } \forall n, \forall \mu \neq \lambda, L_n(x, \lambda) > L_n(x, \mu) \right\}$
deren Hausdorff-Dimension gleich 1 ist.

Dieses Resultat schreibt gleichzeitig das Wachstumsverhalten der längsten Folge eines spezifischen Symbols vor und stellt sicher, dass dieses Symbol der eindeutige Maximierer der gesamten längsten Folge ist.

Korollare:

Verfeinertes Resultat für feste Symbole: Die Menge der Zahlen, deren längste Folge eines festen Symbols $\lambda$ exakt wie $f(n)$ wächst, hat die Dimension 1. Dies generalisiert das Ergebnis von Song–Zhou, indem es jede admissible Funktion $f$ zulässt und nicht nur auf logarithmische Skalen beschränkt ist.
Verfeinertes Gesamtergebnis: Die Menge der Zahlen, deren gesamte längste Folge exakt wie $f(n)$ wächst, hat die Dimension 1. Dies stellt das Ergebnis von Wang–Wu wieder her, fügt jedoch die Bedingung hinzu, dass das maximierende Symbol vorab spezifiziert werden kann.
Vorgeschriebene Dominanz: Die Menge der Zahlen, in der ein spezifisches Symbol $\lambda$ alle anderen Symbole in der Folgenlänge strikt dominiert (letztlich, und in der Tat für alle $n$ in der konstruierten Menge), hat die Dimension 1. Dies ist ein neues Phänomen, das zuvor nicht in der Literatur etabliert wurde.

Bedeutung
Das Paper beansprucht, eine „echte simultane Verfeinerung“ bestehender Exzeptionelle-Mengen-Theoreme zu liefern. Durch den Nachweis, dass das Symbol, welches für die gesamte längste Folge verantwortlich ist, im Voraus festgelegt werden kann, ohne dass dadurch ein Verlust an Hausdorff-Dimension entsteht, schließt die Arbeit die Lücke zwischen der Theorie der festen Symbole und der Theorie der gesamten längsten Folgen. Sie zeigt, dass das „maximierende Symbol“ im allgemeinen Problem vollständig präskriptiv ist. Die Ergebnisse stärken das Verständnis atypischen Verhaltens in Kettenbrüchen, indem sie beweisen, dass extreme Folgenlängen-Verhaltensweisen so konstruiert werden können, dass sie sowohl spezifisch für ein Symbol als auch dominant gegenüber allen anderen sind, selbst wenn die Wachstumsrate (innerhalb der Klasse der admissible Funktionen) beliebig vorgegeben ist.