🔢 mathematics

A Normality Conjecture on Rational Base Number Systems

Die Autoren stellen die Vermutung auf, dass alle minimalen und maximalen Wörter in rationalen Basissystemen über einem geeigneten Teilalphabet normal sind, und stützen diese durch numerische Experimente sowie die Diskussion ihrer Implikationen für mehrere offene Probleme wie die Existenz von Z- und Zp/q-Zahlen.

Ursprüngliche Autoren: Mélodie Andrieu, Shalom Eliahou, Léo Vivion

Veröffentlicht 2026-04-08

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Mélodie Andrieu, Shalom Eliahou, Léo Vivion

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, Zahlen sind nicht nur abstrakte Symbole, sondern haben eine eigene Sprache. Normalerweise schreiben wir Zahlen in unserem vertrauten Dezimalsystem (Basis 10) oder im Binärsystem (Basis 2). Aber was wäre, wenn wir Zahlen in einem System schreiben würden, das auf Brüchen basiert? Zum Beispiel in Basis 7/3?

Das ist genau das, worüber diese wissenschaftliche Arbeit spricht. Die Autoren haben eine faszinierende Vermutung aufgestellt, die wie ein Rätsel aus der Welt der Mathematik klingt, aber tiefgreifende Konsequenzen hat. Hier ist die Erklärung in einfachen Worten:

1. Das seltsame Zahlensystem: Ein unendlicher Baum

Stellen Sie sich einen riesigen, unendlichen Baum vor. Jeder Ast dieses Baumes ist eine Zahl.

In unserem normalen Leben (Basis 10) ist dieser Baum sehr ordentlich: Die Zahlen folgen einer klaren Reihenfolge.
In diesem neuen "Bruch-Basis-System" (z. B. Basis 7/3) wird der Baum wild und chaotisch. Die Zahlen, die dort entstehen, sehen aus wie zufällige Buchstabensalat.

Aus diesem Baum wachsen zwei besondere Arten von unendlichen Bäumen (Wörter):

Die "Minimal-Wörter": Man wählt an jeder Verzweigung immer den kleinstmöglichen Buchstaben.
Die "Maximal-Wörter": Man wählt an jeder Verzweigung immer den größtmöglichen Buchstaben.

2. Die große Vermutung: Der perfekte Zufall

Die Autoren fragen sich: Wie "zufällig" sind diese Wörter?

In der Mathematik gibt es ein Konzept namens Normalität. Ein Wort ist "normal", wenn es sich wie ein perfekter Zufallsgenerator verhält.

Stellen Sie sich vor, Sie werfen einen fairen Würfel unendlich oft. Irgendwann kommt jede Zahl (1 bis 6) genau gleich oft vor. Jede Kombination von zwei Zahlen (z. B. "3-5") kommt genauso oft vor wie jede andere.
Die Autoren vermuten: Diese seltsamen Minimal- und Maximal-Wörter sind genau so perfekt zufällig wie ein fairer Würfel. Sie enthalten keine versteckten Muster, keine Vorlieben für bestimmte Buchstabenkombinationen. Sie sind "normal".

3. Der Beweis durch den Computer

Da man diese Wörter nicht einfach "anschauen" kann (sie sind unendlich lang), haben die Autoren einen riesigen Computer-Test durchgeführt.

Sie haben Millionen von Buchstaben dieser Wörter generiert.
Sie haben geprüft: Kommen alle möglichen Kombinationen von Buchstaben gleich oft vor?
Das Ergebnis: Ja! Die Verteilung sieht exakt so aus wie bei echten Zufallszahlen. Es gibt keine Anomalien. Das gibt der Vermutung sehr viel Gewicht.

4. Warum ist das wichtig? (Die Schmetterlingseffekte)

Warum sollten wir uns für diese seltsamen Buchstabensalate interessieren? Weil diese Vermutung wie ein Schlüssel ist, der mehrere verschlossene Türen in der Mathematik öffnet. Wenn die Vermutung wahr ist, dann sind auch andere berühmte, seit Jahrzehnten ungelöste Rätsel gelöst:

Das Mahler-Rätsel (Zahlen, die sich verstecken): Es gibt eine alte Frage, ob es Zahlen gibt, die sich so verhalten, dass ihre Potenzen immer in einem sehr kleinen Bereich "stecken bleiben". Die Autoren sagen: Nein, solche Zahlen existieren nicht. Ihre Vermutung beweist das.
Das Collatz-Problem (Das 3n+1-Rätsel): Das ist eines der berühmtesten ungelösten Probleme der Welt. Man nimmt eine Zahl, ist sie ungerade, multipliziert mit 3 und addiert 1; ist sie gerade, teilt man durch 2. Wiederholt man das, landet man immer bei 1? Die Autoren zeigen, dass ihre Vermutung starke Ähnlichkeiten mit diesem Problem hat und neue Wege zur Lösung eröffnet.
Doppelte Darstellungen: In diesen Bruch-Systemen kann es theoretisch vorkommen, dass eine Zahl auf drei verschiedene Arten geschrieben werden kann. Die Autoren vermuten: Das ist unmöglich. Jede Zahl hat höchstens zwei Darstellungen.

Zusammenfassung in einer Metapher

Stellen Sie sich vor, Sie haben einen riesigen, chaotischen Wald (das Bruch-System).

Die Minimal-Wörter sind wie ein Pfad, der immer den kleinsten, niedrigsten Weg nimmt.
Die Maximal-Wörter nehmen immer den höchsten Weg.

Die Autoren behaupten: Wenn man diesen Pfad unendlich weit verfolgt, sieht er aus wie ein Spaziergang durch einen echten, wilden Wald, in dem jeder Schritt völlig zufällig ist. Es gibt keine versteckten Geheimnisse oder wiederkehrenden Muster.

Wenn diese Behauptung stimmt, dann lösen wir damit nicht nur das Rätsel des Waldes, sondern verstehen plötzlich auch, warum bestimmte andere mathische Phänomene (wie das Collatz-Problem) funktionieren, so wie sie funktionieren. Es ist ein Beweis dafür, dass in scheinbarem Chaos oft eine perfekte, faire Ordnung herrscht.

1. Problemstellung und Hintergrund

Das Paper untersucht das Verhalten von rationalen Basissystemen (Rational Base Number Systems), die 2008 von Akiyama, Frougny und Sakarovitch eingeführt wurden. In einem solchen System wird eine nicht-negative ganze Zahl $n$ in einer Basis $p/q$ (mit teilerfremden $p > q \ge 1$ ) als endliches Wort $a_k \dots a_0$ dargestellt, wobei die Ziffern aus dem Alphabet $\{0, \dots, p-1\}$ stammen und die Gleichung $n = \frac{1}{q} \sum a_i (p/q)^i$ erfüllen.

Im Gegensatz zu klassischen Ganzzahlsystemen ( $q=1$ ) zeigen rationale Basissysteme ( $q > 1$ ) ein hochkomplexes, nicht-reguläres Verhalten. Aus diesen Systemen ergeben sich zwei spezielle Klassen unendlicher Wörter:

Minimale Wörter ( $w_{min}$ ): Unendliche Wörter, deren Präfixe lexikografisch minimal sind, solange sie sich zu einer gültigen Ganzzahldarstellung erweitern lassen.
Maximale Wörter ( $w_{max}$ ): Analog dazu, aber mit lexikografisch maximalen Präfixen.

Das zentrale Problem: Es ist bekannt, dass diese Wörter nicht periodisch sind und eine lineare untere Schranke für ihre Komplexität (Anzahl der verschiedenen Subwörter der Länge $l$ ) erfüllen. Die Autoren stellen jedoch die Vermutung auf, dass diese Wörter eine noch stärkere Eigenschaft besitzen: Sie sind normal über einem bestimmten Teilalphabet. Das bedeutet, dass jedes mögliche Subwort einer festen Länge $l$ mit der gleichen asymptotischen Häufigkeit $1/d^l$ (wobei $d$ die Größe des Teilalphabets ist) auftritt.

2. Methodik

Die Autoren verfolgen einen dreifachen Ansatz, um ihre Vermutung zu untermauern:

Theoretische Äquivalenzbeweise:
- Sie zeigen, dass die Normalität aller minimalen Wörter äquivalent ist zur Gleichverteilung (Equidistribution) einer bestimmten Folge ganzer Zahlen modulo $q^k$ . Diese Folge entsteht durch die Iteration des Operators $T_{p/q}(x) = \lceil \frac{p}{q} x \rceil$ .
- Sie beweisen, dass die Gültigkeit ihrer Normalitätsvermutung die Wahrheit mehrerer langjähriger offener Probleme impliziert (siehe unten).
Numerische Experimente:
- Um die Vermutung zu testen, führten sie umfangreiche Berechnungen durch. Insgesamt wurden 139 minimale Wörter bis zu einer Länge von $10^6$ und 40.000 minimale Wörter bis zu einer Länge von $10^5$ untersucht.
- Die untersuchten Basen lagen im Bereich $2 \le q < p \le 26$ .
- Zwei Hauptmetriken wurden analysiert:
  - Reichtumsschwelle (Richness Threshold): Der Punkt, an dem alle möglichen Subwörter einer bestimmten Länge erstmals im Wort auftreten. Ein Wort ist „reich", wenn diese Schwelle für alle Längen endlich ist (eine notwendige Bedingung für Normalität).
  - Abweichung von der Gleichverteilung (Deviation from Uniformity): Messung, wie stark die empirische Häufigkeit von Subwörtern in endlichen Präfixen von der theoretischen Gleichverteilung abweicht (Diskrepanz).
Vergleichsgruppen:
- Die Ergebnisse der minimalen Wörter wurden mit zufälligen $q$ -ären Wörtern (die fast sicher normal sind), den Ziffernentwicklungen von $\pi$ und $\sqrt{2}$ sowie mit bekannten normalen Wörtern wie dem Champernowne-Wort und de Bruijn-Wörtern verglichen.

3. Wichtige Beiträge und Theoreme

Das Paper liefert mehrere theoretische und empirische Beiträge:

Vermutung 1.2 (Normalitätsvermutung): Für jede rationale Basis $p/q$ sind alle minimalen Wörter (mit Ausnahme des mit dem leeren Wort gekeimten Falls) normal über dem Alphabet $\{0, \dots, q-1\}$ , und alle maximalen Wörter sind normal über $\{p-q, \dots, p-1\}$ .
Theorem 1.7 (Äquivalenz): Die Normalität aller minimalen Wörter ist äquivalent zur Gleichverteilung der Iterierten des Operators $T_{p/q}$ in den Restklassen modulo $q^k$ .
Theorem 1.5 (Implikation für Z-Zahlen): Die Gültigkeit der Normalitätsvermutung impliziert die Nichtexistenz von $Z_{p/q}$ -Zahlen (eine Verallgemeinerung der von Mahler 1968 aufgestellten Z-Zahlen) für den Fall $p < q^2$ .
Implikationen für andere Vermutungen:
- Akiyamas Vermutung (2008): Dass keine reelle Zahl eine dreifache Expansion in rationaler Basis besitzt. Die Normalität garantiert dies, da ein Wort nicht gleichzeitig minimal (nur Ziffern $< q$ ) und maximal (nur Ziffern $\ge p-q$ ) sein kann, wenn beide Alphabete disjunkt sind oder die Normalität das Auftreten spezifischer Ziffern (wie der 0) erzwingt.
- Dubickas-Mossinghoff-Vermutung (2009): Die Termination bestimmter iterierter Abbildungen auf ganzen Zahlen (verwandt mit dem „4/3-Problem").

4. Ergebnisse der numerischen Experimente

Die numerischen Daten unterstützen die Vermutung stark:

Reichtumsschwelle: Die berechneten minimalen Wörter zeigen eine endliche Reichtumsschwelle für alle getesteten Längen. Die Verteilung dieser Schwellenwerte entspricht statistisch der von zufälligen Wörtern. Im Gegensatz dazu zeigen deterministische Konstruktionen wie das Champernowne-Wort oder de Bruijn-Wörter ein deutlich anderes, oft „schlechteres" Verhalten bezüglich der Reichtumsschwelle.
Diskrepanz: Die Abweichung von der Gleichverteilung in den minimalen Wörtern nimmt mit wachsender Wortlänge ab und verhält sich asymptotisch ähnlich wie bei zufälligen Folgen (in der Größenordnung $O(\sqrt{\log \log n / n})$ ).
Statistische Ähnlichkeit: Die Verteilungen der Diskrepanzen und der Reichtumsschwellen für die 40.000 getesteten minimalen Wörter sind kaum von denen zufälliger $q$ -ärer Wörter zu unterscheiden. Dies deutet darauf hin, dass minimale Wörter in rationalen Basen „zufälliger" wirken als andere bekannte normale Konstruktionen.

5. Bedeutung und Fazit

Die Arbeit stellt einen bedeutenden Schritt im Verständnis der Struktur rationaler Basissysteme dar.

Verbindung offener Probleme: Sie verknüpft die scheinbar isolierte Frage der Normalität von Wörtern in rationalen Basen mit tiefgreifenden Problemen der Zahlentheorie (Mahlers Z-Zahlen, Triple-Expansionen, Collatz-ähnliche Probleme).
Stärke der Vermutung: Die Autoren betonen, dass ihre Normalitätsvermutung eine sehr starke Aussage ist, die schwächere Vermutungen (wie die Nichtexistenz von Z-Zahlen) automatisch beweisen würde.
Neue Perspektive: Die Ergebnisse deuten darauf hin, dass die durch den Algorithmus zur Erzeugung minimaler Wörter erzeugten Folgen eine inhärente Zufälligkeit besitzen, die sie von anderen deterministisch konstruierten normalen Folgen unterscheidet.

Zusammenfassend liefert das Paper starke empirische Evidenz für die Normalität minimaler und maximaler Wörter in rationalen Basen und zeigt auf, dass die Bestätigung dieser Vermutung eine Reihe von jahrzehntealten mathematischen Rätseln lösen würde.