Beatty solutions of almost Golomb equations

Der Artikel beweist die Existenz einer einzigartigen, inhomogenen Beatty-Lösung mit der Steigung $1/\!\sqrt{2}$ für die fast-Golomb-Gleichung zweiter Ordnung, die sich von der bekannten 2-regulären Lösung unterscheidet und in einem kontinuierlichen Parameterbereich für eine abgeschwächte Variante der Gleichung gilt, wobei die Identität für bestimmte Fenstergrößen verifiziert und für gerade Quadratzahlen widerlegt wird.

Das Wesentliche

Stellen Sie sich vor, Sie haben eine sehr spezielle Art von Zahlenreihe, die wie ein Schloss mit einem sich selbst verändernden Schlüssel funktioniert. Das ist im Kern die Idee hinter diesem wissenschaftlichen Papier von Benoît Cloitre.

Hier ist eine einfache Erklärung der wichtigsten Punkte, ohne komplizierte Formeln:

1. Das Problem: Der "Fast-Golomb"-Code

Stellen Sie sich eine Liste von Zahlen vor (1, 2, 3, ...). Die Regel für diese Liste ist seltsam:
Wenn Sie zwei aufeinanderfolgende Zahlen aus Ihrer Liste nehmen und diese addieren, dann zeigt das Ergebnis an, welche Zahl an dieser Position in der Liste stehen muss.

• Beispiel: Wenn an Position 5 und 6 die Zahlen 2 und 3 stehen, dann ist $2+3=5$. Das bedeutet, an der Position 5 in Ihrer Liste muss die Zahl 5 stehen.
• Das ist ein "Rückkopplungs-Loop": Um die Liste zu schreiben, müssen Sie schon wissen, was später kommt.

2. Die zwei verschiedenen Lösungen

Normalerweise denkt man bei solchen Regeln an eine einzige, logische Antwort. Aber hier gibt es zwei völlig unterschiedliche Wege, diese Liste zu füllen:

A. Der "Geizhals" (Die gierige Lösung)

Stellen Sie sich vor, Sie sind ein Geizhals, der immer die kleinste mögliche Zahl nimmt, die gerade noch erlaubt ist.

• Sie schauen auf die Regel, fragen sich: "Was ist das Minimum, das ich hier eintragen darf, ohne die Regel zu brechen?"
• Das Ergebnis ist eine Liste, die sich sehr "lokal" verhält. Sie hat ein gewisses Muster, das sich immer wiederholt (wie ein digitales Muster), aber sie wächst nicht ganz glatt. Sie hüpft ein bisschen hin und her.
• Metapher: Wie ein Wanderer, der immer den nächsten, kleinsten Schritt macht, ohne auf die ferne Landschaft zu schauen.

B. Der "Traumtänzer" (Die Beatty-Lösung)

Hier ist das Überraschende: Es gibt eine zweite, völlig andere Art, die Liste zu füllen, die nicht auf dem "Geizhals"-Prinzip basiert.

• Diese Lösung folgt einer glatten, irrationalen Kurve. Die Zahlen wachsen fast linear, aber mit einem sehr speziellen, "schiefen" Winkel (genau $1/\sqrt{2}$).
• Metapher: Stellen Sie sich einen Tänzer vor, der sich nicht nach dem nächsten Schritt richtet, sondern nach einer unsichtbaren, perfekten Melodie (einem mathematischen Rhythmus), die aus dem Goldenen Schnitt oder ähnlichen Konstanten stammt.
• Beide Lösungen sehen am Anfang fast identisch aus, aber irgendwann (bei der Zahl 12) entscheiden sie sich für einen anderen Weg. Der Geizhals wiederholt eine Zahl, der Traumtänzer geht direkt zur nächsten.

3. Der "Zwischenraum" (Die Familie der Lösungen)

Das Papier zeigt noch etwas Magisches:
Wenn man die Regel ein bisschen lockert (statt "die Zahl muss genau $n$ sein", sagt man "die Zahl muss so sein, dass, wenn man sie dreimal anwendet, alles passt"), dann gibt es nicht nur zwei Lösungen, sondern eine ganze Familie von Lösungen.

• Stellen Sie sich einen Regler vor (einen Schieberegler). Wenn Sie ihn genau auf eine bestimmte Einstellung stellen, bekommen Sie die perfekte "Traumtänzer"-Lösung.
• Wenn Sie den Regler ein kleines Stückchen bewegen (innerhalb eines kleinen Intervalls), funktioniert die lockere Regel immer noch!
• Metapher: Es ist wie ein Musikinstrument. Wenn Sie die Saite exakt stimmen, klingt der Ton perfekt. Aber wenn Sie die Saite ein winziges bisschen lockern, klingt sie immer noch gut genug, um ein bestimmtes, komplexeres Lied zu spielen (die "drei-fach verschachtelte" Gleichung).

4. Warum ist das wichtig?

• Mathematische Entdeckung: Es ist selten, dass man bei einer so strengen Regel nicht nur eine, sondern eine ganze Familie von Lösungen findet.
• Verbindung zur Natur: Die Zahlen, die hier auftauchen (wie $\sqrt{2}$), tauchen oft in der Natur auf (z.B. in der Anordnung von Blättern an einem Stängel oder in Spielen wie dem Wythoff-Spiel).
• Die Grenzen: Das Papier zeigt auch, wo diese Magie aufhört. Bei bestimmten Zahlen (genauen Quadratzahlen wie 4, 16, 36) funktioniert diese spezielle "Traumtänzer"-Lösung nicht mehr. Es ist, als ob das Schloss bei diesen Zahlen einen anderen Schlüsselmechanismus hätte.

Zusammenfassung in einem Satz

Dieses Papier beweist, dass es für ein bestimmtes mathematisches Rätsel nicht nur die offensichtliche, sparsame Lösung gibt, sondern auch eine elegante, wellenförmige Lösung, die wie ein perfekter Tanz funktioniert – und dass es sogar einen ganzen Spielraum gibt, in dem diese Tänzer leicht variieren können, ohne den Takt zu verlieren.

Es ist eine Reise von der strengen Logik des "Geizhals" hin zur fließenden Schönheit der "Irrationalität".

Technische Zusammenfassung

Titel: Beatty-Lösungen fast-golombscher Gleichungen

Autor: Benoît Cloitre
Datum: April 2026

---

1. Problemstellung

Das Papier untersucht die sogenannten fast-golombschen Gleichungen (almost Golomb equations) der Ordnung $r$. Diese verallgemeinern die klassische Golomb-Folge, bei der die Zahl $n$ genau $a(n)$-mal vorkommt.

Die Gleichung der Ordnung $r$ fordert eine nichtfallende Folge von positiven ganzen Zahlen $a(n)$, die die folgende implizite Bedingung erfüllt:
$$a\left( \sum_{j=0}^{r-1} a(n-j) \right) = n \quad \text{für } n \ge 1$$
wobei $a(k) = 0$ für $k < 1$.

Das zentrale Problem besteht darin, dass diese Gleichung implizit ist: Der Index, an dem die Folge $a$ eingeschränkt wird, hängt von den Werten der Folge selbst ab ($f(n) = \sum a(n-j)$). Dies eröffnet die Möglichkeit für mehrere selbstkonsistente Lösungen.

• Die greedy-Lösung (die kleinstmögliche nichtfallende Folge) ist bekannt, $r$-regulär und zeigt ein oszillierendes Wachstumsverhalten.
• Die Fragestellung dieses Papiers ist, ob es neben der greedy-Lösung weitere monotone Lösungen gibt, die qualitativ andersartig sind.

2. Methodik

Der Autor kombiniert mehrere mathematische Disziplinen, um die Existenz und Eigenschaften neuer Lösungen zu beweisen:

• Beatty-Folgen und Sturmische Wörter: Die Suche nach Lösungen der Form $a(n) = \lfloor cn + d \rfloor$ (inhomogene Beatty-Folgen).
• Diophantische Approximation: Nutzung der Konvergenten der Kettenbruchentwicklung von $c$ (insbesondere für $c = 1/\sqrt{2}$) zur Analyse der Fehlerterme.
• Ostrowski-Zahlenystem: Darstellung von Indizes basierend auf den Nennern der Konvergenten von $c$, um die Struktur der Folge zu analysieren.
• Formale Beweissysteme: Einsatz des Theorembeweisers Walnut (basierend auf dem Ostrowski-System), um die Identität für spezifische Fenstergrößen $r$ zu verifizieren.
• Diskrepanztheorie: Analyse der Verteilung von Punkten auf einem Kreis (Rotationen), um die Summe der Bruchteile zu kontrollieren.

3. Hauptergebnisse und Beiträge

A. Existenz einer zweiten monotonen Lösung (Ordnung $r=2$)

Der wichtigste Beitrag ist der Nachweis, dass die Gleichung für $r=2$ neben der bekannten greedy-Lösung eine zweite, völlig andere monotone Lösung besitzt:

• Satz 1: Die inhomogene Beatty-Folge mit der Steigung $c = 1/\sqrt{2}$ und dem Versatz $d = \sqrt{2}/2$ erfüllt die Gleichung exakt:
  $$a(n) = \left\lfloor \frac{n+1}{\sqrt{2}} \right\rfloor$$
  Diese Lösung ist ein Sturmisches Wort (im Gegensatz zur 2-regulären Struktur der greedy-Lösung).
• Unterscheidung: Beide Lösungen stimmen für $n \le 11$ überein, divergieren jedoch bei $n=12$. Während die greedy-Lösung dort den Wert 8 wiederholt, springt die Beatty-Lösung auf 9. Beide sind selbstkonsistent, da sie die Gleichung an unterschiedlichen Positionen erfüllen.

B. Der kontinuierliche Familienparameter (Dreifach-Eingeschachtelte Gleichung)

Während die exakte Gleichung $a(f(n)) = n$ nur für einen spezifischen Versatz $d = \sqrt{2}/2$ gilt, zeigt das Papier, dass eine schwächere, dreifach verschachtelte Gleichung
$$a(a(a(n) + a(n-1))) = a(n)$$
für einen kontinuierlichen Intervallbereich von Versatzparametern $d$ gilt.

• Satz 2 & 3: Die Menge der zulässigen Versätze $d$ ist das Intervall $I = [\sqrt{2}/2, 2(\sqrt{2}-1)]$ mit einer Länge von $\approx 0.121$.
• Außerhalb dieses Intervalls bricht die Gleichung für unendlich viele $n$ zusammen. Innerhalb des Intervalls wird der "Defekt" (die Abweichung von $n$) durch die äußere Anwendung von $a$ absorbiert, da die Folge nichtfallend ist und die Differenzen nur 0 oder 1 betragen.

C. Verallgemeinerung auf andere Fenstergrößen $r$

Das Papier untersucht die Existenz von Beatty-Lösungen für allgemeine $r$:

• Allgemeine Form: $a_r(n) = \lfloor n/\sqrt{r} + \sqrt{r}/2 \rfloor$.
• Ergebnisse für $r=3$ und $r=5$: Die Identität $a_r(S_r(n)) = n$ wird explizit bewiesen.
• Quadratische Fälle:
  • Für ungerade Quadrate ($r = s^2$, $s$ ungerade) gilt die Identität exakt.
  • Für gerade Quadrate ($r = (2m)^2$) scheitert die Identität systematisch (die Folge ergibt $n+1$ statt $n$).
• Konjektur 22: Für alle nicht-quadratischen $r$ gilt die Identität. Dies wurde für alle $r \le 30$ (außer Quadraten) durch formale Verifikation mit Walnut bewiesen.

D. Struktur und Komplexität

• Die Beatty-Lösungen sind durch Sturmische Wörter charakterisiert, die durch Rotationen um $1/\sqrt{r}$ entstehen.
• Die "Defekt-Wörter" (Fehlermuster) an den Rändern des Intervalls $I$ zeigen eine komplexe, aber morphische Struktur, die durch Substitutionen (z.B. mit der Silbernen Zahl $1+\sqrt{2}$ als dominantem Eigenwert) beschrieben werden kann.
• Es wird gezeigt, dass die greedy- und die Beatty-Lösung die einzigen bekannten monotonen Lösungen sind, die sich ins Unendliche erstrecken; andere "Phantom"-Lösungen brechen bei endlichen $N$ zusammen.

4. Signifikanz und Bedeutung

1. Durchbrechen der Einzigartigkeit: Das Papier widerlegt implizit die Annahme, dass die greedy-Lösung die einzige monotone Lösung für solche impliziten Gleichungen sei. Es zeigt, dass implizite Gleichungen "Raum" für multiple, strukturell unterschiedliche Lösungen bieten können.
2. Verbindung von Gebieten: Es verbindet die Theorie der regulären Folgen (Automaten) mit der Theorie der Sturmischen Wörter, irrationaler Rotationen und der Diskrepanztheorie.
3. Verbindung zu Wythoff-Spielen: Die Beatty-Lösung für $r=2$ steht in direktem Zusammenhang mit den P-Positionen eines verallgemeinerten Wythoff-Spiels mit dem Parameter $\sqrt{2}$.
4. Methodischer Fortschritt: Die Nutzung von Walnut zur Verifikation von Identitäten in Ostrowski-Systemen für eine ganze Klasse von Parametern ($r \le 30$) demonstriert die Kraft computergestützter Beweise in der Zahlentheorie.
5. Offene Probleme: Das Papier definiert klare offene Fragen, insbesondere den Beweis der Konjektur für alle nicht-quadratischen $r$ (ein einheitlicher Beweis statt einzelner Verifikationen) und die vollständige Klassifikation aller monotonen Lösungen.

Zusammenfassend liefert das Papier eine tiefgehende Analyse der fast-golombschen Gleichungen, identifiziert eine neue Klasse von Lösungen (Beatty-Folgen mit irrationaler Steigung), charakterisiert den Parameterraum, in dem diese Lösungen existieren, und stellt Verbindungen zu fundamentalen Konzepten der kombinatorischen Zahlentheorie her.