Joint distribution of leftmost digits in positional notation and Schanuels's conjecture

Die Arbeit zeigt, dass die Surjektivität der Abbildung der führenden Ziffern ganzer Zahlen in verschiedenen Basen die rationale Unabhängigkeit der Logarithmen dieser Basen impliziert, und beweist die Umkehrung für zwei Basen sowie für drei oder mehr Basen unter der Annahme von Schanuels Vermutung.

Das Wesentliche

Hier ist eine einfache Erklärung der wissenschaftlichen Arbeit von Wayne M. Lawton, übersetzt in eine verständliche Sprache mit anschaulichen Bildern.

Das große Rätsel: Die ersten Ziffern in verschiedenen Zahlensystemen

Stellen Sie sich vor, Sie haben eine Zahl, sagen wir 100.

• Wenn Sie sie im Dezimalsystem (Basis 10) schreiben, ist die erste Ziffer eine 1.
• Wenn Sie sie im Binärsystem (Basis 2) schreiben (1100100), ist die erste Ziffer eine 1.
• Wenn Sie sie im Dreiersystem (Basis 3) schreiben (10201), ist die erste Ziffer wieder eine 1.

Die Frage, die sich dieser Paper stellt, ist fast wie ein Zaubertrick: Können wir eine Zahl finden, deren erste Ziffer in jedem gewählten Zahlensystem genau das ist, was wir wollen?

Zum Beispiel: Gibt es eine Zahl, die im 3er-System mit einer 2 beginnt, im 5er-System mit einer 4 und im 7er-System mit einer 6?

Der Autor untersucht, ob wir für beliebige Kombinationen von Startziffern in verschiedenen Zahlensystemen (Basis $b_1, b_2, \dots, b_n$) immer eine passende Zahl $x$ finden können. Wenn das für alle Kombinationen möglich ist, nennt man die Funktion surjektiv (oder im Deutschen: "überall hinreichend").

---

Die zwei Welten: Verbundene und unabhängige Basen

Um das zu verstehen, müssen wir uns ansehen, wie die Zahlensysteme (die "Basis") miteinander verwandt sind.

1. Die "Verwandten" (Rational abhängig)

Stellen Sie sich vor, Sie haben zwei Zahlensysteme: Basis 4 und Basis 8.

• 4 ist $2^2$.
• 8 ist $2^3$.
  Beide basieren auf der gleichen Wurzel: der Zahl 2. Sie sind wie Geschwister, die aus demselben Baumstamm wachsen.

Das Problem: Wenn die Basen so verwandt sind, gibt es eine "Regel", die besagt, dass bestimmte Kombinationen von Startziffern unmöglich sind.

• Analogie: Stellen Sie sich vor, Sie versuchen, einen Schlüssel zu finden, der gleichzeitig ein Schloss mit 4 Zähnen und ein Schloss mit 8 Zähnen öffnet. Wenn die Zähne nicht perfekt aufeinander abgestimmt sind, passen manche Schlüssel einfach nicht in beide Löcher gleichzeitig.
• In der Mathematik bedeutet das: Wenn die Logarithmen der Basen (z. B. $\ln 4$ und $\ln 8$) in einem einfachen ganzzahligen Verhältnis zueinander stehen, dann können wir nicht jede beliebige Kombination von Startziffern erzeugen. Es gibt "Löcher" im Muster.

2. Die "Fremden" (Rational unabhängig)

Nehmen wir nun Basis 3 und Basis 5.

• 3 ist eine Primzahl.
• 5 ist eine andere Primzahl.
  Sie haben keine gemeinsame Wurzel. Sie sind wie zwei völlig fremde Kulturen, die keine gemeinsame Sprache sprechen.

Die Hoffnung: Wenn die Basen so "fremd" sind, dass ihre Logarithmen ($\ln 3$ und $\ln 5$) kein einfaches ganzzahliges Verhältnis zueinander haben, dann ist das System chaotisch genug, um jede Kombination zu erzeugen.

• Analogie: Stellen Sie sich zwei Uhren vor. Die eine zeigt Sekunden an, die andere Minuten. Wenn ihre Takte nicht synchronisiert sind (sie sind "inkommensurabel"), werden sie irgendwann jeden möglichen Zeitpunkt gleichzeitig anzeigen.
• Der Autor beweist: Wenn die Basen "fremd" genug sind, dann ist die Funktion surjektiv. Wir können jede gewünschte Kombination von Startziffern finden.

---

Der große Wurf: Schanuels Vermutung

Hier wird es philosophisch und tiefgründig. Der Autor möchte das Ergebnis für beliebig viele Zahlensysteme (nicht nur zwei) beweisen.

Dafür braucht er eine riesige Annahme aus der Welt der Transzendentalen Zahlen, die Vermutung von Schanuel.

• Was ist Schanuels Vermutung?
  Kurz gesagt: Sie besagt, dass bestimmte mathematische Konstanten (wie $\ln 2, \ln 3, \ln 5$) so "wild" und unabhängig voneinander sind, dass sie sich nicht durch einfache algebraische Gleichungen (wie $x^2 + y = 0$) miteinander verknüpfen lassen. Sie sind wie eine Gruppe von Menschen, von denen keiner jemals denselben Satz in derselben Sprache sagt.

• Die Verbindung zum Paper:
  Der Autor zeigt:

  1. Wenn wir annehmen, dass Schanuels Vermutung wahr ist, dann sind die Logarithmen von Primzahlen ($\ln 2, \ln 3, \ln 5, \dots$) algebraisch unabhängig.
  2. Wenn das so ist, dann sind auch die Logarithmen von beliebigen Basen (die aus Primzahlen zusammengesetzt sind) "fremd" genug.
  3. Das Ergebnis: Wenn Schanuels Vermutung stimmt, dann gilt: Solange keine zwei Basen "Verwandte" sind (also keine Basis eine Potenz der anderen ist), können wir jede beliebige Kombination von Startziffern in allen Zahlensystemen gleichzeitig finden.

Zusammenfassung in einem Satz

Das Paper sagt uns: Wenn Ihre Zahlensysteme keine gemeinsamen "Familiennamen" (Potenzen) haben, dann können Sie jede gewünschte Kombination von Startziffern in allen Systemen gleichzeitig finden – vorausgesetzt, eine große, noch unbewiesene mathematische Vermutung (Schanuel) ist wahr.

Es ist wie ein mathematisches Universum, in dem Chaos (Unabhängigkeit) die Regel ist und uns erlaubt, jedes Muster zu erschaffen, das wir uns vorstellen können.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers von Wayne M. Lawton auf Deutsch.

Titel

Gemeinsame Verteilung der linken Ziffern in Positionssystemen und die Schanuel-Vermutung

1. Problemstellung

Das Papier untersucht die gemeinsame Verteilung der führenden Ziffern (leftmost digits) positiver reeller Zahlen $x$ in verschiedenen Basen $b_1, \dots, b_n$.
Gegeben sei eine Basis $b \ge 3$. Die Funktion $d_b(x)$ gibt die führende Ziffer von $x$ in der $b$-adischen Darstellung an (d.h. $d_b(x) \in \{1, \dots, b-1\}$).
Für ein Tupel von Basen $B = (b_1, \dots, b_n)$ wird die Vektorfunktion definiert als:
$$d_B(x) := (d_{b_1}(x), \dots, d_{b_n}(x))$$
Das zentrale Problem ist die Bestimmung der Bedingungen, unter denen diese Abbildung surjektiv ist. Das heißt: Kann man für jedes mögliche Tupel von Ziffern $(j_1, \dots, j_n)$ mit $j_i \in \{1, \dots, b_i-1\}$ eine reelle Zahl $x > 0$ finden, sodass ihre führenden Ziffern in den jeweiligen Basen genau diesem Tupel entsprechen?

2. Methodik

Die Beweismethodik kombiniert Elemente der Zahlentheorie, der Theorie der dynamischen Systeme (insbesondere Torus-Flüsse) und der transzendenten Zahlentheorie.

• Logarithmische Transformation: Die Bedingung für die führende Ziffer $d_b(x) = j$ wird in einen logarithmischen Bereich transformiert:
  $$d_b(x) = j \iff \log_b(x) \in [\log_b(j), \log_b(j+1)) + \mathbb{Z}$$
• Torus-Abbildungen: Es wird der $n$-dimensionale Torus $\mathbb{T}^n = \mathbb{R}^n / \mathbb{Z}^n$ betrachtet. Durch die Definition $\omega_i := 1 / \ln b_i$ wird eine Homomorphismus-Abbildung $\phi_\omega: \mathbb{R} \to \mathbb{T}^n$ definiert durch $\phi_\omega(t) = t\omega + \mathbb{Z}^n$.
• Kroneckers Dichtesatz: Ein zentrales Werkzeug ist ein klassisches Ergebnis von Leopold Kronecker (1884), das besagt, dass das Bild von $\phi_\omega$ genau dann dicht in $\mathbb{T}^n$ liegt, wenn die Komponenten $\omega_1, \dots, \omega_n$ rationale Unabhängigkeit aufweisen (d.h. keine nicht-triviale ganzzahlige Linearkombination gleich Null ist).
• Schanuel-Vermutung: Für den Fall $n \ge 3$ wird auf die Schanuel-Vermutung zurückgegriffen. Diese besagt, dass für linear unabhängige komplexe Zahlen $c_1, \dots, c_m$ über $\mathbb{Q}$ der Körper $\mathbb{Q}(c_1, \dots, c_m, e^{c_1}, \dots, e^{c_m})$ einen Transzendenzgrad von mindestens $m$ über $\mathbb{Q}$ hat.
• Algebraische Unabhängigkeit: Es wird die Vermutung aufgestellt, dass die Logarithmen verschiedener Primzahlen algebraisch unabhängig sind, was eine Folge der Schanuel-Vermutung ist.

3. Wichtige Beiträge und Ergebnisse

A. Der Fall $n=2$ (Zwei Basen)

Das Papier liefert einen vollständigen Charakterisierung für zwei Basen $b_1, b_2$:

1. Rationale Abhängigkeit: Wenn $\ln b_1$ und $\ln b_2$ rational abhängig sind (d.h. $b_1 = a^{e_1}$ und $b_2 = a^{e_2}$ für ein $a \ge 2$), dann ist $d_B$ nicht surjektiv. Es gibt spezifische Paare von Ziffern, die niemals gemeinsam auftreten können. Der Autor leitet eine explizite Bedingung (Gleichung 5) her, die erfüllt sein muss, damit ein Ziffernpaar im Bild liegt.
2. Rationale Unabhängigkeit: Wenn $\ln b_1$ und $\ln b_2$ rational unabhängig sind, ist $d_B$ surjektiv. Dies folgt direkt aus der Dichte der Torus-Abbildung und der Tatsache, dass die entsprechenden Intervalle offene Mengen im Torus überdecken.

B. Der Fall $n \ge 3$ (Mehrere Basen)

Für $n \ge 3$ ist die Situation komplexer, da rationale Unabhängigkeit von Paaren nicht automatisch die rationale Unabhängigkeit des gesamten Sets impliziert.

• Notwendige Bedingung: Wenn irgendein Paar in $\{\ln b_1, \dots, \ln b_n\}$ rational abhängig ist, ist $d_B$ nicht surjektiv (verallgemeinert aus Theorem 1).
• Hinreichende Bedingung (unter Annahmen): Wenn keine zwei Zahlen in $\{\ln b_1, \dots, \ln b_n\}$ rational abhängig sind, wird die Surjektivität bewiesen, unter der Annahme der Schanuel-Vermutung.
  • Der Autor zeigt, dass die Schanuel-Vermutung impliziert, dass die Logarithmen verschiedener Primzahlen algebraisch unabhängig sind (Konjektur 1).
  • Daraus folgt (Konjektur 2), dass wenn keine zwei $\ln b_i$ rational abhängig sind, dann sind auch die reziproken Werte $1/\ln b_i$ rational unabhängig.
  • Dies garantiert die Dichte der Abbildung auf dem Torus $\mathbb{T}^n$ und somit die Surjektivität von $d_B$.

4. Signifikanz und Bedeutung

• Verbindung von Diskreter und Transzendenter Zahlentheorie: Das Papier stellt eine elegante Verbindung her zwischen der diskreten Struktur von Ziffern in Positionssystemen und tiefen Fragen der Transzendenztheorie (Schanuel-Vermutung).
• Beantwortung einer offenen Frage: Während der Fall $n=2$ vollständig gelöst ist, bleibt der Fall $n \ge 3$ ohne starke Annahmen über die algebraische Unabhängigkeit von Logarithmen offen. Das Papier zeigt, dass die Surjektivität für $n \ge 3$ äquivalent zu einer tiefen Vermutung über transzendente Zahlen ist.
• Verallgemeinerung des Benfordschen Gesetzes: Während das Benfordsche Gesetz die Verteilung einzelner führender Ziffern beschreibt, behandelt dieses Werk die gemeinsame Verteilung über mehrere Basen. Es zeigt, dass die Unabhängigkeit der Basen (im Sinne der Logarithmen) notwendig ist, um eine "zufällige" Verteilung über alle möglichen Ziffernkombinationen zu erreichen.
• Beitrag zur Schanuel-Vermutung: Das Papier nutzt die Schanuel-Vermutung nicht nur als Werkzeug, sondern zeigt, wie sie konkrete Probleme in der numerischen Darstellungstheorie löst. Es unterstreicht die zentrale Rolle dieser Vermutung in der modernen Zahlentheorie.

Zusammenfassung des Beweisschemas

1. Transformation des Problems in den logarithmischen Raum.
2. Reduktion auf die Dichte einer linearen Fluss auf einem Torus.
3. Anwendung von Kroneckers Theorem für $n=2$ (vollständig bewiesen).
4. Für $n \ge 3$: Nachweis, dass rationale Unabhängigkeit der Paare $\ln b_i$ unter der Schanuel-Vermutung die rationale Unabhängigkeit des gesamten Vektors $\omega$ impliziert, was die Surjektivität garantiert.

Das Werk liefert somit einen klaren theoretischen Rahmen, um zu verstehen, wann Ziffern in verschiedenen Basen unabhängig voneinander verteilt sind, und verknüpft dies mit den tiefsten offenen Fragen der Mathematik.