🔢 mathematics

Balanced rectangles over Sturmian words and minimal discrepancy intervals

Diese Arbeit charakterisiert die Balance-Eigenschaften von $m \times n$ -Matrizen, die aus Sturmischen Wörtern mit beliebiger Steigung $\alpha$ gebildet werden, vollständig mittels Ostrowski-Darstellungen und verallgemeinert damit frühere Ergebnisse, die sich auf quadratisch irrationale Steigungen beschränkten.

Ursprüngliche Autoren: Ingrid Vukusic

Veröffentlicht 2026-04-20

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ingrid Vukusic

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 Puzzle der perfekten Rechtecke: Eine Reise durch die Welt der Sturmian-Wörter

Stell dir vor, du hast einen unendlichen Streifen Papier, auf dem nur Nullen und Einsen stehen. Diese Zahlenfolge ist kein Zufall, sondern folgt einer ganz strengen, aber geheimnisvollen Regel. In der Mathematik nennt man solche Folgen Sturmian-Wörter. Ein berühmtes Beispiel ist die „Fibonacci-Wort"-Folge, die aus der berühmten Zahlenreihe abgeleitet ist.

Die zentrale Frage dieses Papers lautet: Wie „fair" sind diese Zahlenfolgen, wenn wir sie in Rechtecke schneiden?

1. Der Grundbegriff: Das „Ausgewogenheits"-Recht

Stell dir vor, du schneidest aus diesem unendlichen Band immer wieder Rechtecke aus. Ein Rechteck hat eine bestimmte Breite ( $m$ ) und eine bestimmte Höhe ( $n$ ). Jedes Rechteck besteht aus einer Ansammlung von Nullen und Einsen.

Die Regel: Ein Rechteck ist „ausgewogen" (balanced), wenn die Anzahl der Einsen in jedem dieser Rechtecke fast gleich ist.
Die Toleranz: Es darf höchstens eine Eins Unterschied geben. Wenn in einem 2x3-Rechteck drei Einsen sind, darf in einem anderen 2x3-Rechteck nur zwei oder drei sein. Aber niemals vier oder eins.

Wenn du ein Rechteck schneidest und plötzlich hast du 10 Einsen, während ein anderes Rechteck derselben Größe nur 2 hat, dann ist das System „unausgewogen" – es ist unfair.

2. Das Problem: Warum ist das so schwierig?

Früher wussten Mathematiker nur, wie man das für ganz spezielle, einfache Fälle berechnet (z. B. wenn die Zahlenfolge aus einer quadratischen Wurzel wie $\sqrt{5}$ kommt). Aber was ist mit allen möglichen, chaotischen Zahlenfolgen?

Die Autorin Ingrid Vukusic hat jetzt eine Art Universal-Schlüssel gefunden, der für jede irrationale Zahl funktioniert.

3. Die Metapher: Der Tanz auf dem Kreis

Um das Problem zu lösen, benutzt die Autorin eine geniale Umdeutung. Stell dir vor, die Zahlenfolge ist kein Band, sondern ein Tanz auf einem Kreisel.

Der Tänzer: Stell dir einen Tänzer vor, der auf einem Kreis (von 0 bis 1) läuft.
Der Schritt: Jeder Schritt ist genau so groß wie eine Zahl $\alpha$ (die „Steigung" des Wortes).
Die Position: Nach jedem Schritt landet der Tänzer an einer neuen Stelle auf dem Kreis.
Das Rechteck: Wenn wir ein Rechteck schneiden, fragen wir im Grunde: „Wie viele Tänzer landen in einem bestimmten Bereich des Kreises, wenn wir $m$ Schritte machen?"

Das Papier zeigt nun: Ein Rechteck ist genau dann „ausgewogen", wenn die Tänzer in diesem Bereich des Kreises perfekt verteilt sind. Es gibt keine Lücken und keine Überlappungen, die zu viel Ungleichgewicht verursachen.

4. Der Schlüssel: Die „Ostrowski-Rechnung"

Wie findet man heraus, ob die Verteilung perfekt ist? Hier kommt der eigentliche „Trick" des Papers ins Spiel.

Stell dir vor, jede Zahl (die Breite $m$ und die Höhe $n$ des Rechtecks) muss in einer ganz speziellen Sprache geschrieben werden. Diese Sprache nennt man Ostrowski-Darstellung.

Die Analogie: Stell dir vor, du hast eine Menge von Bausteinen unterschiedlicher Größe (die „Konvergenten" $q_k$ ). Um eine Zahl zu bauen, darfst du nur bestimmte Bausteine verwenden und nur eine begrenzte Anzahl davon.
Die Entdeckung: Vukusic hat herausgefunden, dass ein Rechteck genau dann perfekt ausgewogen ist, wenn die Bausteine für $m$ und $n$ in einer ganz bestimmten Weise „getrennt" oder „angepasst" sind.

Es gibt im Wesentlichen nur vier Szenarien, in denen das perfekt funktioniert:

Die Trennung: Die Bausteine für $m$ sind alle klein, die für $n$ sind alle groß. Sie berühren sich nicht.
Die Lücke: $m$ nutzt kleine Bausteine, $n$ nutzt große, aber es gibt eine kleine Lücke dazwischen, die genau richtig ist.
Der perfekte Pass: $m$ ist genau die Größe eines bestimmten Bausteins (ein „Konvergent"), und $n$ passt sich perfekt daran an.
Der Halb-Pass: $m$ ist eine Mischung aus zwei Bausteinen, und $n$ passt sich wieder perfekt an.

Wenn die Zahlen $m$ und $n$ nicht in diese vier Muster passen, dann ist das Rechteck nicht ausgewogen. Es wird immer einen Ort geben, an dem du das Rechteck hinlegst und plötzlich viel zu viele (oder zu wenige) Einsen hast.

5. Warum ist das wichtig?

Früher mussten Mathematiker für jede neue Art von Zahlenfolge (z. B. für $\pi$ oder $\sqrt{2}$ ) einen neuen, mühsamen Beweis erfinden. Oft brauchten sie dafür spezielle Computer-Programme, die nur für einfache Fälle funktionierten.

Mit diesem Papier hat Vukusic gesagt: „Stopp! Wir brauchen keine neuen Programme mehr."

Sie hat eine einzige, universelle Regel gefunden, die für alle irrationale Zahlen gilt. Man muss nur die Zahlen $m$ und $n$ in die „Ostrowski-Sprache" übersetzen und prüfen, ob sie zu einem der vier Muster passen.

Zusammenfassung in einem Satz

Das Papier ist wie ein Universal-Decoder: Es sagt uns genau, welche Rechtecke aus einem unendlichen Zahlenband fair verteilt sind, indem es die Größe der Rechtecke in eine spezielle mathematische Sprache übersetzt und prüft, ob sie zu einem von vier perfekten Mustern passen.

Es ist ein Sieg der Ordnung über das Chaos – und zeigt uns, dass selbst in scheinbar zufälligen Zahlenfolgen eine tiefe, verborgene Symmetrie steckt.

1. Problemstellung

Die Arbeit untersucht die Balance-Eigenschaft von rechteckigen Submatrizen, die aus unendlichen Sturmischen Wörtern gebildet werden.

Sturmische Wörter: Diese sind binäre Folgen $a = a_1 a_2 \dots$ mit einem irrationalen Steigungswinkel $\alpha \in (0,1)$ und einem Startwert $\theta \in [0,1)$ , definiert durch $a_n = \lfloor (n+1)\alpha + \theta \rfloor - \lfloor n\alpha + \theta \rfloor$ . Ein bekanntes Beispiel ist das unendliche Fibonacci-Wort.
Hankel-Matrizen: Aus einem Wort $a$ wird eine unendliche Hankel-Matrix $A$ gebildet, wobei $A_{k,\ell} = a_{k+\ell}$ .
Balancierte Rechtecke: Ein $m \times n$ -Rechteck (eine Teilmatrix) heißt balanciert, wenn die Summe aller Einträge (das Gewicht) für alle möglichen Startpositionen $i$ nur zwei aufeinanderfolgende ganzzahlige Werte annimmt (d.h. $T(i, m, n) \in \{c, c+1\}$ ).
Ziel: Bisherige Ergebnisse (z.B. von Anselmo et al. oder Shallit und der Autorin) beschränkten sich auf den Fall, dass $\alpha$ eine quadratische Irrationalzahl ist (z.B. der goldene Schnitt), da hier Methoden wie das Walnut-Software-Tool und Zeckendorf-Darstellungen anwendbar waren.
Die offene Frage: Eine vollständige Charakterisierung für alle irrationalen Steigungswinkel $\alpha$ fehlte. Die vorliegende Arbeit schließt diese Lücke.

2. Methodik

Der Ansatz der Arbeit basiert auf einer tiefgreifenden Verbindung zwischen der Kombinatorik der Wörter und der Diophantischen Approximation sowie der Diskrepanztheorie.

Reduktion auf Intervall-Balance:
Der zentrale Schritt (Satz 3.1) ist die Äquivalenz zwischen der Balance von $m \times n$ -Rechtecken und der Balance von Intervallen der Länge $\{n\alpha\}$ bezüglich der Menge der Punkte $\{0, \alpha, \dots, (m-1)\alpha\}$ modulo 1.
Ein Intervall der Länge $\delta$ ist balanciert, wenn es für jede Verschiebung $\xi$ entweder $c$ oder $c+1$ Punkte der Menge enthält.
Bijectivitäts-Kriterium:
Um die Balance zu prüfen, wird ein Lemma von Berthé und Tijdeman adaptiert. Die Balance ist äquivalent dazu, dass bestimmte Abbildungen ( $f_{left}$ und $f_{right}$ ), die den nächsten Punkt links bzw. rechts eines Intervallendes finden, bijektiv sind. Dies wird auf die Untersuchung von Minimierungsproblemen für die Funktion $\langle x\alpha \rangle_*$ (Abstand zu einer ganzen Zahl in eine bestimmte Richtung) zurückgeführt.
Ostrowski-Darstellungen:
Da $\alpha$ beliebig irrational sein kann, werden Ostrowski-Darstellungen anstelle von Zeckendorf-Darstellungen verwendet. Jede positive ganze Zahl $n$ lässt sich eindeutig als $n = \sum b_k q_k$ darstellen, wobei $q_k$ die Nenner der Konvergenten der Kettenbruchentwicklung von $\alpha$ sind.
Die Analyse nutzt die Eigenschaften dieser Darstellungen (z.B. die Verteilung der Ziffern $b_k$ und die Parität des ersten nicht-null Ziffern-Index), um zu bestimmen, welche Zahlen $x$ den Wert $\langle x\alpha \rangle_*$ in einem bestimmten Intervall minimieren.
Symmetrie und Transformation:
Die Arbeit nutzt die Symmetrie des Problems ( $m \leftrightarrow n$ ) und die Beziehung zwischen $\alpha$ und $1-\alpha$ . Zudem wird die Technik der Transformation $n \to q_T - n$ (für große $T$ ) verwendet, um Fälle zu vereinfachen, in denen $n$ nicht das Minimum der Diskrepanzfunktion ist.

3. Hauptergebnisse

Das Kernstück der Arbeit ist Satz 2.1, der eine vollständige Charakterisierung der balancierten $m \times n$ -Rechtecke für jeden irrationalen $\alpha$ liefert. Die Balance hängt ausschließlich von den Ostrowski-Darstellungen von $m$ und $n$ bezüglich $\alpha$ ab.

Sei $m \le n$ und $q_k$ die Nenner der Konvergenten von $\alpha$ . Die Rechtecke sind genau dann balanciert, wenn die Darstellungen von $m$ und $n$ mindestens eine der folgenden vier Formen aufweisen:

Getrennte Darstellungen (Split):
- $m$ besteht nur aus Ziffern bis Index $M$ , und $n$ beginnt erst ab Index $M+1$ .
- Oder $m$ endet bei $M$ und $n$ beginnt bei $M$ (mit speziellen Bedingungen für die Ziffern).
- Intuition: Hier ist das Intervall $\{n\alpha\}$ extrem kurz (oder lang), sodass es höchstens einen Punkt der Menge enthält.
Nenner von Konvergenten oder Semi-Konvergenten:
- $m$ ist ein Nenner einer Konvergenten ( $m = q_M$ ) oder einer Semi-Konvergenten ( $m = q_{M-1} + a q_M$ ).
- $n$ hat eine spezifische Struktur bezüglich der Ziffern ab Index $M$ (Paritätsbedingungen an den Ziffern von $n$ ).
- Intuition: Hier sind die Punkte $\{k\alpha\}$ sehr gleichmäßig verteilt, und die Intervalllänge passt genau zu den Abständen zwischen diesen Punkten.

Beispiel: Für das Fibonacci-Wort ( $\alpha = (\sqrt{5}-1)/2$ ) stimmen diese Bedingungen mit den bekannten Ergebnissen über Zeckendorf-Darstellungen überein, werden aber nun auf alle irrationalen $\alpha$ verallgemeinert.

4. Signifikanz und Beitrag

Verallgemeinerung: Die Arbeit löst das Problem der balancierten Rechtecke für die gesamte Klasse der irrationalen Steigungswinkel, nicht nur für quadratische Irrationalzahlen. Dies ist ein wesentlicher Fortschritt, da die vorherigen Methoden (wie Walnut) auf periodische Kettenbrüche angewiesen waren.
Neuer Beweisansatz: Im Gegensatz zu früheren Arbeiten, die auf Automaten oder spezifischen Eigenschaften quadratischer Zahlen basierten, nutzt diese Arbeit die Verteilung von $n\alpha \mod 1$ und die Eigenschaften der Ostrowski-Darstellungen. Dies bietet einen tieferen Einblick in die dynamischen Systeme hinter Sturmischen Wörtern.
Verbindung zur Diskrepanztheorie: Die Arbeit stellt eine präzise Verbindung her zwischen der kombinatorischen Balance von Wörtern und dem Konzept der minimalen Diskrepanz (minimal discrepancy) von Intervallen. Sie zeigt, dass balancierte Rechtecke genau dann existieren, wenn die Intervalllänge $\{n\alpha\}$ eine "minimale Diskrepanz" bezüglich der Menge $\{0, \dots, (m-1)\alpha\}$ aufweist.
Technische Tiefe: Die Einführung und Analyse der Funktionen $f_{left}$ und $f_{right}$ sowie die detaillierte Untersuchung der Minimierung von $\langle x\alpha \rangle_*$ in Intervallen mittels Ostrowski-Darstellungen stellen einen neuen methodischen Standard für solche Probleme dar.

Zusammenfassend liefert Vukusic eine elegante und vollständige Lösung für ein langjähriges Problem in der kombinatorischen Zahlentheorie und der Theorie der Sturmischen Wörter, indem sie die Brücke zwischen diskreter Geometrie, Kettenbrüchen und der Gleichverteilung modulo 1 schlägt.