Abelian-normal decimal expansions

Die Arbeit führt den Begriff der abelsch-normalen Zahlen ein, konstruiert eine nicht-normale Variante der Champernowne-Konstante $D_{10}$, die bezüglich einer bestimmten Gewichtsfunktion abelsch-normal ist, und stellt zwei offene Probleme zu dieser Konstante vor.

Das Wesentliche

Hier ist eine einfache, bildhafte Erklärung der wissenschaftlichen Arbeit von John M. Campbell, als würde man sie einem neugierigen Nachbarn beim Kaffee erzählen.

Das große Zahlen-Spiel: Wenn Ordnung und Chaos sich die Hand reichen

Stellen Sie sich vor, Sie haben eine unendliche Kette von Zahlen, die nach dem Komma einfach weiterläuft: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12... und so weiter. Das ist die berühmte Champernowne-Konstante ($C_{10}$).

In der Welt der Mathematik gilt diese Zahlenkette als ein Meisterwerk der Normalität. Was bedeutet das? Stellen Sie sich vor, Sie würfeln mit einem fairen 10-seitigen Würfel. In einer "normalen" Zahlenreihe tauchen jede Ziffer (0-9) gleich oft auf. Aber es geht noch tiefer: Jede mögliche Kombination von zwei Ziffern (wie "12" oder "99") taucht genauso oft auf wie jede andere. Jede Kombination von drei Ziffern ebenfalls. Es ist wie ein perfektes, zufälliges Chaos, in dem keine Zahl bevorzugt wird.

Das neue Spiel: "Abelische Normalität"

Der Autor dieses Papers, John Campbell, stellt sich nun eine spannende Frage: Was passiert, wenn wir die Reihenfolge der Ziffern innerhalb kleiner Blöcke durcheinanderwirbeln?

Stellen Sie sich vor, Sie haben ein Wort wie "123". In der normalen Mathematik ist "123" etwas ganz anderes als "321". Aber in Campbells neuem Spiel, das er "Abelische Normalität" nennt, spielen wir ein bisschen mit dem Alphabet.

• Die Analogie: Stellen Sie sich vor, Sie haben einen Sack voller Buchstaben: A, B und C.
  • In der normalen Welt ist "ABC" anders als "CBA".
  • In der abelschen Welt (benannt nach dem Mathematiker Abel, der wusste, dass die Reihenfolge bei der Addition keine Rolle spielt: $1+2 = 2+1$) sind "ABC", "CBA", "BCA" und alle anderen Mischungen das Gleiche. Sie zählen alle als eine einzige Gruppe.

Campbell fragt sich: Kann man eine Zahlenreihe bauen, die nicht normal ist (also nicht zufällig aussieht), aber trotzdem "abelisch normal" ist? Das bedeutet: Wenn man die Ziffern in kleinen Blöcken durcheinanderwirbelt, sieht es dann zufällig aus, auch wenn es im Detail nicht zufällig ist?

Der Baumeister: Die Konstante $D_{10}$

Um das zu beweisen, baut Campbell eine neue, seltsame Zahlenkonstante namens $D_{10}$.

Wie baut man so etwas?

1. Er nimmt die normale Champernowne-Kette ($C_{10}$).
2. Er sucht sich alle kleinen Abschnitte heraus, die nur aus den Ziffern 0 und 1 bestehen (er nennt sie "binäre Wörter").
3. Er sortiert diese Abschnitte. Wenn er ein Stück wie "10110" findet, macht er daraus "00111" (alle Nullen zuerst, dann alle Einsen).
4. Alles andere (Ziffern von 2 bis 9) bleibt unverändert.

Das Ergebnis ($D_{10}$):
Diese neue Zahl sieht auf den ersten Blick nicht normal aus. Warum? Weil sie keine "10" mehr enthält! Sobald eine 1 kommt, folgen sofort alle anderen 1er, bevor eine 0 kommt. Es ist eine sehr geordnete, fast langweilige Struktur. Ein normaler Zufall würde "10" und "01" gleich oft produzieren. Hier ist "10" verboten.

Der magische Trick: Die Waage (Gewichtungsfunktion)

Jetzt kommt der geniale Teil. Campbell sagt: "Okay, $D_{10}$ ist nicht normal. Aber ist sie abelisch normal?"

Um das zu messen, braucht er eine spezielle Waage (eine mathematische Gewichtungsfunktion).

• In der normalen Welt zählt man, wie oft "12" vorkommt.
• In der abelischen Welt zählt man, wie oft irgendeine Anordnung von einer 1 und einer 2 vorkommt ("12" ODER "21").

Da Campbell die 0er und 1er in $D_{10}$ sortiert hat, tauchen "01" und "10" nicht mehr zufällig auf. Aber! Er hat eine spezielle Formel entwickelt, die diese Sortierung "herunterrechnet". Er sagt im Grunde: "Ich weiß, dass du die 0er und 1er sortiert hast. Also zähle ich die Gruppen anders, um den Effekt der Sortierung auszugleichen."

Das Ergebnis:
Wenn man diese spezielle Waage benutzt, stellt sich heraus: Ja! $D_{10}$ ist abelisch normal.
Das ist wie ein Zaubertrick: Die Zahl sieht auf den ersten Blick sehr geordnet und "unzufällig" aus (weil sie keine "10" hat), aber wenn man sie durch die Linse der abelischen Normalität betrachtet (wo die Reihenfolge egal ist), verhält sie sich perfekt zufällig.

Warum ist das wichtig?

1. Neue Perspektiven: Es zeigt uns, dass "Zufall" von der Perspektive abhängt. Was für uns chaotisch aussieht, kann für einen anderen Blickwinkel (die abelische Sicht) perfekt geordnet sein und umgekehrt.
2. Die Brücke: Die Arbeit verbindet zwei Welten: die Zahlentheorie (wie Zahlen verteilt sind) und die Wortkombinatorik (wie man Buchstaben und Wörter anordnet).
3. Offene Fragen: Am Ende stellt Campbell zwei Fragen, die noch niemand beantworten kann:
   • Ist diese neue Zahl $D_{10}$ auch eine "transzendente" Zahl (eine Zahl, die man nicht als Lösung einer einfachen Gleichung schreiben kann, wie $\pi$)?
   • Gibt es eine Zahl, die nur abelisch normal ist, aber auf gar keine Weise normal?

Zusammenfassung in einem Satz

John Campbell hat eine neue Art von Zahlenkette gebaut, die auf den ersten Blick nicht zufällig aussieht, aber wenn man die Reihenfolge der Ziffern in kleinen Gruppen ignoriert, sich perfekt zufällig verhält – ein Beweis dafür, dass Mathematik oft davon abhängt, wie man die Dinge betrachtet.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Forschungsartikels von John M. Campbell auf Deutsch:

Titel: Abelian-normale Dezimalentwicklungen (Abelian-normal decimal expansions)

Autor: John M. Campbell (Dalhousie University, Kanada)
Felder: Zahlentheorie (11K16), Kombinatorik auf Wörtern (05A05), Informatik (68R15).

---

1. Problemstellung und Motivation

Die Arbeit untersucht die Eigenschaften normaler Zahlen, insbesondere im Kontext der Kombinatorik auf Wörtern. Eine Zahl $\alpha$ heißt normal zur Basis $B$, wenn jede endliche Folge von Ziffern (Block) $E$ in ihrer Dezimalentwicklung mit der erwarteten asymptotischen Häufigkeit $1/B^{\ell(E)}$auftritt, wobei$\ell(E)$ die Länge des Blocks ist.

Bisherige Forschung konzentrierte sich stark auf Auswahlregeln und Operationen, die die Normalität erhalten oder verletzen (z. B. das Entfernen bestimmter Ziffern oder das Extrahieren von Teilfolgen nach arithmetischen Progressionen). Campbell stellt die Frage, ob Konzepte aus der Kombinatorik auf Wörtern, speziell die abelsche Komplexität, zur Verallgemeinerung des Normalitätsbegriffs genutzt werden können.

Die abelsche Komplexität zählt nicht die exakten Vorkommen von Blöcken, sondern die Anzahl der Äquivalenzklassen von Blöcken gleicher Länge, wobei Blöcke als äquivalent gelten, wenn sie durch Permutation ihrer Ziffern ineinander überführt werden können (d. h. sie haben dieselbe Ziffernhäufigkeit, aber unterschiedliche Anordnung).

Das Kernproblem: Kann man eine Zahl konstruieren, die nicht normal ist (d. h. bestimmte spezifische Blöcke fehlen oder sind ungleich verteilt), aber dennoch eine Art von "abelscher Normalität" erfüllt?

---

2. Methodik und Definitionen

Der Autor führt folgende zentrale Konzepte ein:

• Abelsche Normalität: Eine Zahl $\alpha$ heißt abelsch-normal zur Basis $B$ bezüglich einer Gewichtungsfunktion $W$, wenn für jeden Block $E$ gilt:
  $$\lim_{n \to \infty} \frac{1}{W(E)} \frac{B_E(\alpha, n)}{n} = \frac{1}{B^{\ell(E)}}$$
  Hierbei ist $B_E(\alpha, n)$ die Anzahl der Vorkommen von $E$ und aller seiner Permutationen in den ersten $n$ Ziffern. Die Funktion $W(E)$ normalisiert diesen Wert basierend auf der Größe der Permutationsklasse von $E$.

• Gewichtungsfunktion $W$:

  • Für Blöcke ohne Binärziffern (0 und 1) entspricht $W(E)$ der Anzahl der Permutationen von $E$ (Multinomialkoeffizient).
  • Für Blöcke, die Binärziffern enthalten, muss $W(E)$ komplexer definiert werden, um die spezifischen Verzerrungen auszugleichen, die durch die Konstruktion der neuen Zahl entstehen.

• Konstruktion der Zahl $D_{10}$:
  Der Autor konstruiert eine neue Konstante $D_{10}$, die auf der Champernowne-Konstante $C_{10}$ basiert ($0.123456789101112...$).

  • Verfahren: In der Dezimalentwicklung von $C_{10}$ werden alle maximalen binären Teilwörter (Folgen von nur 0 und 1) identifiziert.
  • Transformation: Jedes dieser maximalen binären Teilwörter wird lexicographisch sortiert (alle 0er vor alle 1er).
  • Ergebnis: Da $C_{10}$ Blöcke wie "10" enthält, die nach der Sortierung zu "01" werden, fehlt in $D_{10}$ das Muster "10" innerhalb dieser binären Segmente. Dies macht $D_{10}$ nicht normal, da die Häufigkeit des Blocks "10" nicht der erwarteten Wahrscheinlichkeit entspricht.

---

3. Schlüsselbeiträge und Ergebnisse

A. Theoretische Definition

Der Artikel definiert formal den Begriff der abelsch-normalen Zahl (Definition 2). Dies erweitert den klassischen Normalitätsbegriff, indem er die Invarianz gegenüber Permutationen von Ziffern innerhalb von Blöcken in die Definition der Gleichverteilung integriert.

B. Konstruktion und Beweis der abelschen Normalität

Der Hauptbeitrag ist der Beweis (Theorem 1), dass die konstruierte Zahl $D_{10}$ abelsch-normal bezüglich einer spezifisch entwickelten Gewichtungsfunktion $W$ ist, obwohl sie nicht normal ist.

• Analyse der Unterschiede: Der Autor führt eine detaillierte Fallanalyse durch, um zu verstehen, wie sich die Sortierung der binären Teilwörter auf die Zählung von Permutationen auswirkt.

  • Fall 1 ($\uparrow C$): Permutationen, die in $C_{10}$ vorkommen, aber in $D_{10}$ an derselben Position nicht vorkommen (weil die Sortierung die Struktur ändert).
  • Fall 2 ($\uparrow D$): Permutationen, die in $D_{10}$ durch die Sortierung entstehen, aber in $C_{10}$ an dieser Position nicht existierten.

• Definition der Gewichtung $W$ (Gleichung 16): Um die abelsche Normalität zu erreichen, wird $W(w)$ für Wörter mit Binärziffern so definiert, dass sie den asymptotischen Unterschied zwischen den Häufigkeiten der "verlorenen" Permutationen in $C_{10}$ und den "gewonnenen" Permutationen in $D_{10}$ kompensiert.
  $$W(w) = \frac{\ell(w)!}{\prod k_w!} + 10^{\ell(w)} \left( \lim_{n \to \infty} \frac{D_w(C_{10}, n)}{n} - \lim_{n \to \infty} \frac{C_w(C_{10}, n)}{n} \right)$$
  Dabei zählen $C_w$ und $D_w$ die spezifischen Abweichungen, die durch die Sortierung verursacht werden.

• Beweisführung: Durch die Normalität von $C_{10}$ und die sorgfältige Konstruktion von $W$ zeigt der Autor, dass der Grenzwert für $D_{10}$ genau $1/10^{\ell(w)}$erreicht, wenn durch$W$ dividiert wird.

C. Offene Probleme

Der Artikel schließt mit zwei offenen Fragen:

1. Transzendenz: Kann ein ähnlicher Ansatz wie bei Mahlers Beweis der Transzendenz von $C_{10}$ genutzt werden, um die Transzendenz von $D_{10}$ zu beweisen?
2. Reine abelsche Normalität: Gibt es eine reelle Zahl, die "rein abelsch-normal" ist (bezogen auf die natürliche Gewichtung durch Permutationsklassen), aber nicht normal?

---

4. Bedeutung und Implikationen

• Interdisziplinäre Verbindung: Die Arbeit verbindet erfolgreich die Zahlentheorie (Theorie der normalen Zahlen) mit der Kombinatorik auf Wörtern (abelsche Komplexität). Sie zeigt, wie Konzepte aus der Worttheorie genutzt werden können, um neue Klassen von Zahlen zu definieren.
• Neuartigkeit: Bislang war unbekannt, ob eine Zahl existieren kann, die nicht normal ist, aber dennoch eine Form der Gleichverteilung bezüglich abelscher Äquivalenzklassen aufweist. Die Konstruktion von $D_{10}$ liefert ein explizites Gegenbeispiel zur Annahme, dass abelsche Normalität implizite Normalität erfordert.
• Randomness-Eigenschaften: Die Konstruktion wirft neue Fragen über die Zufälligkeitseigenschaften der Champernowne-Konstante auf. Obwohl $D_{10}$ durch eine deterministische Sortierung "geordnet" wurde (und somit nicht normal ist), behält sie eine strukturelle Gleichverteilung auf der Ebene der Ziffernhäufigkeiten bei.
• Gewichtungsfunktionen: Die Arbeit demonstriert, wie man durch maßgeschneiderte Gewichtungsfunktionen Normalitätsbegriffe verfeinern kann, um spezifische strukturelle Verzerrungen in Zahlenfolgen zu kompensieren.

Zusammenfassend stellt der Artikel einen wichtigen Schritt dar, um das Verständnis von "Zufälligkeit" in Zahlenentwicklungen zu erweitern, indem er zeigt, dass Normalität nicht die einzige Form der Gleichverteilung ist und dass abelsche Eigenschaften eine robuste Alternative darstellen können.