🔢 mathematics

Multivariable automatic arrays and transcendence

Der Artikel erweitert ein Ergebnis von Adamczewski und Bugeaud auf den mehrdimensionalen Fall, indem er mit Hilfe kombinatorischer Eigenschaften automatischer Folgen und des Subraumtheorems zeigt, dass bestimmte durch multidimensionale automatische Arrays definierte reelle Zahlen entweder rational oder transzendent sind.

Ursprüngliche Autoren: Aadrita Paul, Anwesh Ray

Veröffentlicht 2026-04-15

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Aadrita Paul, Anwesh Ray

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

🧩 Das große Rätsel der Zahlen: Sind sie einfach oder unendlich komplex?

Stellen Sie sich vor, Sie haben eine unendliche Liste von Zahlen, die wie ein riesiges Mosaik angeordnet ist. Die Autoren dieses Papiers fragen sich: Ist das Muster hinter diesen Zahlen so einfach, dass man es mit einem Bruch beschreiben kann (wie 1/3), oder ist es so chaotisch und komplex, dass es eine „transzendente" Zahl ist (wie $\pi$ oder $e$ )?

Die Antwort liegt in der Art und Weise, wie diese Zahlen erzeugt werden.

1. Der Automat im Kopf 🤖

Stellen Sie sich einen kleinen, dummen Roboter vor (einen sogenannten „Automaten"). Dieser Roboter hat nur ein paar Speicherplätze und folgt strengen Regeln. Wenn Sie ihm eine Zahl eingeben (z. B. die Nummer eines Schrittes), spuckt er eine andere Zahl aus.

Wenn Sie diesen Roboter laufen lassen, entsteht eine Zahlenfolge.
Weil der Roboter nur begrenzte Regeln hat, ist die Folge nicht völlig zufällig. Sie hat eine gewisse Struktur, eine Art „Rhythmus".

Die Autoren untersuchen nun nicht nur eine solche Folge, sondern mehrere Folgen gleichzeitig, die sich in einem mehrdimensionalen Raum abspielen (wie ein 3D-Gitter statt einer einfachen Linie).

2. Der Kochtopf mit den Zutaten 🍲

Nehmen wir an, Sie haben $r$ verschiedene Roboter. Jeder Roboter produziert eine eigene Zahlenreihe.

Roboter 1 macht: 1, 0, 1, 1, 0...
Roboter 2 macht: 0, 0, 1, 0, 1...

Jetzt nehmen Sie einen Zauberer (die Funktion $f$ ), der sich diese Zahlen von allen Robotern gleichzeitig ansieht und daraus eine neue Zahl berechnet. Diese neue Zahl wird dann in einen riesigen „Kochtopf" geworfen.

Der Kochtopf ist eine mathematische Summe. Er nimmt die Zahlen der Roboter, teilt sie durch immer größere Potenzen von Zahlen (wie $2^n, 3^n, 5^n$ ) und addiert alles zusammen. Das Ergebnis ist eine einzige, riesige reelle Zahl ( $\alpha$ ).

Die Frage lautet: Ist diese resultierende Zahl $\alpha$ ein „einfacher" Bruch (rational) oder eine „unendliche" Zahl (transzendent)?

3. Die Entdeckung: Es gibt keine Grauzone! 🚫🌫️

Die große Überraschung der Autoren ist: Es gibt keine Mittelklasse.

Wenn die Roboter (die Automaten) ihre Zahlen nach festen Regeln produzieren, dann ist das Ergebnis im Kochtopf entweder:

Völlig vorhersehbar: Es ist ein einfacher Bruch (rational). Das passiert nur, wenn die Roboter in einen endlosen, sich wiederholenden Takt verfallen (wie ein Taktstock, der immer auf „1-2-1-2" klopft).
Völlig unvorhersehbar: Es ist eine transzendente Zahl. Das bedeutet, sie lässt sich nicht als Bruch schreiben und hat eine unendliche, nicht-musterhafte Dezimalstelle.

Es gibt keine Zahlen, die „ein bisschen" Bruch und „ein bisschen" transzendent sind. Entweder ist das Muster so starr, dass es sich wiederholt, oder es ist so komplex, dass es transzendent ist.

4. Wie haben sie das bewiesen? (Die Detektivarbeit) 🕵️‍♂️📐

Um das zu beweisen, nutzen die Autoren zwei mächtige Werkzeuge:

Das Werkzeug der Roboter (Stammeln): Sie zeigen, dass diese Roboter-Folgen ein seltsames Verhalten haben: Sie „stammeln". Das heißt, sie produzieren lange Blöcke von Zahlen, die sich fast exakt wiederholen, aber mit kleinen Verschiebungen. Es ist, als würde jemand einen Text lesen, der immer wieder denselben Satz wiederholt, aber jedes Mal ein paar Buchstaben verschiebt.
Das Werkzeug der Mathematik (Schmidt's Subraum-Theorem): Das ist wie ein extrem scharfes Lineal der Zahlentheorie. Es kann messen, wie gut man eine Zahl durch Brüche annähern kann.
- Die Autoren bauen für jeden Schritt eine „falsche" Annäherung (eine rationale Zahl), die dem echten Ergebnis sehr nahe kommt.
- Dann nutzen sie das Lineal, um zu prüfen: „Könnte diese Zahl eigentlich eine algebraische Zahl sein (wie $\sqrt{2}$ )?"
- Das Ergebnis des Lineals ist: Nein! Die Annäherungen sind zu gut, um von einer algebraischen irrationalen Zahl zu kommen. Sie sind entweder so gut, dass die Zahl rational ist, oder sie passen überhaupt nicht in das Schema algebraischer Zahlen.

5. Warum ist das wichtig? 🌍

Früher wussten wir das nur für einfache, eindimensionale Listen von Zahlen. Diese Arbeit erweitert das auf mehrdimensionale Welten.
Stellen Sie sich vor, Sie haben nicht nur eine Zeile von Zahlen, sondern ein ganzes Blatt Papier oder einen Würfel voller Zahlen, die von Automaten erzeugt werden. Die Autoren sagen uns: Auch in diesen komplexen, mehrdimensionalen Strukturen gilt dieselbe harte Regel: Entweder ist es ein einfacher Bruch, oder es ist eine der mysteriösesten Zahlen des Universums.

Zusammenfassung in einem Satz:

Wenn Sie Zahlen von einfachen Computeralgorithmen in einem mehrdimensionalen Raum mischen, entsteht am Ende entweder eine ganz normale, wiederholende Zahl oder eine absolut unvorhersehbare, transzendente Zahl – etwas dazwischen gibt es nicht.

1. Problemstellung und Motivation

Das Paper adressiert ein fundamentales Problem der transzendenten Zahlentheorie: die Bestimmung der arithmetischen Natur (rational vs. transzendent) von reellen Zahlen, die durch multidimensionale automatische Folgen definiert sind.

Hintergrund: In der eindimensionalen Theorie haben Adamczewski und Bugeaud (2007) bewiesen, dass eine reelle Zahl $\alpha = \sum_{n \ge 0} a_n b^{-n}$ , wobei $(a_n)$ eine beschränkte $k$ -automatische Folge ganzer Zahlen ist, entweder rational oder transzendent ist. Sie ist genau dann rational, wenn die Folge $(a_n)$ schließlich periodisch ist.
Die Herausforderung: Die Autoren erweitern dieses Ergebnis auf einen mehrdimensionalen Kontext. Gegeben sind $r \ge 2$ multiplikativ unabhängige Basen $a_1, \dots, a_r \in \mathbb{Z}_{\ge 2}$ (d.h. $\log a_1, \dots, \log a_r$ sind $\mathbb{Q}$ -linear unabhängig) und $r$ beschränkte automatische Folgen $(p_n^{(i)})_{n \ge 0}$ .
Das Ziel: Die Untersuchung der Konvergenz und des Transzendenzgrades der mehrdimensionalen Reihe:
$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})}{a_1^{n_1} \cdots a_r^{n_r}}$
wobei $f: \mathbb{Z}^r \to \mathbb{Z}$ eine Funktion ist, die die Folgen kombiniert. Die Frage ist, ob $\alpha$ rational oder transzendent ist.

2. Methodik

Die Beweismethode kombiniert Techniken aus der Kombinatorik auf Wörtern (Automatentheorie) mit der diophantischen Approximation, speziell dem Subspace-Theorem von Schmidt.

A. Kombinatorische Eigenschaften: „Stammering"-Sequenzen

Ein zentrales Konzept ist die Eigenschaft von automatischen Folgen, sogenannte „stammering" (stotternde) Sequenzen zu sein.

Definition: Eine Folge erfüllt eine Bedingung $(\ast)_w$ mit $w > 1$ , wenn sie lange Präfixe enthält, die aus einem Block $U_n$ gefolgt von einer hohen Potenz eines Blocks $V_n$ bestehen ( $U_n V_n^w$ ), wobei das Verhältnis der Längen $|U_n|/|V_n|$ beschränkt ist und $|V_n|$ streng monoton wächst.
Ergebnis: Jede $k$ -automatische Folge ist eine stammering Sequenz (Proposition 2.9). Dies bedeutet, dass die Folgen eine starke Selbstähnlichkeit und Wiederholungsstruktur aufweisen, die für die Approximation genutzt wird.

B. Konstruktion rationaler Approximationen

Um $\alpha$ zu approximieren, konstruieren die Autoren eine Folge rationaler Zahlen $(\alpha_n)_{n \ge 1}$ :

Periodisierung: Für jede der $r$ automatischen Folgen $(p_n^{(i)})$ wird ein endliches Präfix $U_n^{(i)} V_n^{(i)}$ extrahiert. Die Folge wird dann durch periodische Wiederholung von $V_n^{(i)}$ fortgesetzt.
Rationalität: Da die modifizierten Folgen $(p_n^{(i)})$ schließlich periodisch sind, ist die resultierende mehrdimensionale Reihe $\alpha_n$ eine endliche Summe von geometrischen Reihen und somit eine rationale Zahl.
Darstellung: $\alpha_n$ lässt sich als Bruch $P_n(a_1, \dots, a_r) / D_n$ schreiben, wobei der Nenner $D_n$ explizit aus den Periodenlängen besteht und der Zähler $P_n$ ein Polynom mit beschränkten Koeffizienten ist.

C. Anwendung des Subspace-Theorems

Der Kern des Beweises liegt in der Anwendung des Schmidt Subspace Theorems (in der Verfeinerung von Schlickewei).

Aufbau des Systems: Es wird ein System linearer Formen über einem algebraischen Zahlkörper (hier $\mathbb{Q}$ ) definiert, das die Approximationsgüte von $\alpha$ durch $\alpha_n$ misst.
Abschätzung:
- Die Approximationsgüte $|\alpha - \alpha_n|$ wird durch die kombinatorische Struktur (die „Stammering"-Eigenschaft) kontrolliert und ist extrem klein (exponentiell in den Periodenlängen).
- Die Höhe $H(x_n)$ der Vektoren, die die Approximationen kodieren, wird abgeschätzt.
Widerspruch: Wenn $\alpha$ $α$ irrational und algebraisch wäre, würde das Subspace-Theorem implizieren, dass die Approximationsvektoren $x_n$ $x_{n}$ in endlich vielen echten Unterräumen liegen müssen.
- Durch Analyse der linearen Abhängigkeit dieser Vektoren zeigen die Autoren, dass dies zu einer linearen Relation zwischen den Logarithmen der Basen $a_i$ führen würde.
- Da die Basen $a_i$ multiplikativ unabhängig sind (ihre Logarithmen sind $\mathbb{Q}$ -linear unabhängig), ist eine solche nicht-triviale Relation unmöglich, es sei denn, $\alpha$ ist rational.

3. Hauptergebnisse

Das zentrale Ergebnis ist Theorem A:

Seien $r \ge 2$ , $a_1, \dots, a_r \ge 2$ multiplikativ unabhängige ganze Zahlen. Seien $(p_n^{(i)})_{n \ge 0}$ für $i=1,\dots,r$ beschränkte $k_i$ -automatische Folgen ganzer Zahlen und $f: \mathbb{Z}^r \to \mathbb{Z}$ eine Funktion. Dann ist die durch
$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})}{a_1^{n_1} \cdots a_r^{n_r}}$
definierte reelle Zahl $\alpha$ entweder rational oder transzendent.

Zusätzlich wird gezeigt, dass $\alpha$ genau dann rational ist, wenn die zugrundeliegende Struktur der Folgen eine bestimmte Periodizität aufweist (was im Beweis implizit behandelt wird, indem der Fall der Rationalität als einzige Alternative zur Transzendenz identifiziert wird).

4. Signifikanz und Beitrag

Verallgemeinerung: Das Paper löst ein offenes Problem, indem es den klassischen eindimensionalen Satz von Adamczewski und Bugeaud auf den mehrdimensionalen Fall verallgemeinert. Dies ist ein bedeutender Schritt, da die mehrdimensionale Theorie (multidimensionale automatische Arrays) deutlich komplexer ist als die eindimensionale.
Verknüpfung von Disziplinen: Es demonstriert die Kraft der Kombination von Automatentheorie (insbesondere der „Stammering"-Eigenschaft) mit der modernen diophantischen Approximation (Subspace-Theorem).
Methodische Innovation: Die Konstruktion der rationalen Approximationen $\alpha_n$ durch periodische Fortsetzung in mehreren Dimensionen und die anschließende Anwendung des Subspace-Theorems auf ein System mit $2r+1$ Variablen stellt eine neue technische Hürde dar, die erfolgreich überwunden wurde.
Ausblick: Die Autoren motivieren damit weitere Untersuchungen zu mehrdimensionalen Analogon klassischer Probleme der Transzendenztheorie und werfen die Frage auf, ob das Ergebnis auch für allgemeinere $[k_1, \dots, k_r]$ -automatische Arrays (nicht nur als Produkt von Folgen) gilt.

Zusammenfassend liefert das Paper einen strengen Beweis dafür, dass die kombinatorische Starrheit automatischer Folgen in mehreren Dimensionen ausreicht, um die Existenz irrationaler algebraischer Zahlen in den zugehörigen Reihen auszuschließen.