Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

Technisches Resümee: Dualität in biperiodischen Fibonacci-Wörtern

Problemstellung
Die vorliegende Arbeit untersucht die Familie der biperiodischen Fibonacci-Wörter, bezeichnet als $F(a,b)$, die durch die Richtsequenz $(a, b, a, b, \dots)$ mit ganzzahligen Parametern $a, b \ge 1$ generiert werden. Während die asymptotischen Buchstabenfrequenzen dieser Wörter von einer symmetrischen algebraischen Größe $A_a(a,b)$ abhängen, weisen andere Invarianten, insbesondere der kritische Exponent $CE(F(a,b))$, eine scheinbare Asymmetrie beim Austausch der Parameter ($a \leftrightarrow b$) auf. Das zentrale Problem besteht darin, diese Asymmetrie zu erklären: Handelt es sich um ein Artefakt geschlossener Formeln oder spiegelt sie eine tiefere strukturelle Beziehung zwischen $F(a,b)$ und $F(b,a)$ wider? Die Arbeit zielt darauf ab, zu bestimmen, ob ein expliziter Morphismus existiert, der $F(b,a)$ auf $F(a,b)$ abbildet, und wie diese Abbildung die kombinatorischen Invarianten wie Buchstabenfrequenzen, Rückkehrwörter und palindromische Strukturen beeinflusst.

Methodik
Die Autoren verwenden das Framework von S-adischen Systemen und der Sturmschen Worttheorie.

1. S-adische Repräsentation: Die Arbeit stellt fest, dass $F(a,b)$ mit dem Standard-Sturmschen Wort übereinstimmt, das durch die periodische Richtsequenz $(a, b, a, b, \dots)$ generiert wird. Dies ermöglicht die Verwendung von Desubstitutionsidentitäten.
2. Konstruktion des Morphismus: Das zentrale methodische Werkzeug ist der explizite Morphismus $\sigma_a: 0 \mapsto 0^a1, 1 \mapsto 0$. Die Autoren nutzen die Induktion auf die endlichen Approximationen $F(a,b)_n$, um zu beweisen, dass $\sigma_a(F(b,a)) = F(a,b)$ exakt gilt, ohne dass eine Umbenennung der Buchstaben oder beschränkte Präfixkorrekturen erforderlich sind.
3. Kombinatorische Analyse: Unter Verwendung der etablierten Dualität $\sigma_a$ leiten die Autoren exakte Formeln für folgende Größen ab:
   • Buchstabenfrequenzen durch Grenzwertanalyse der Wirkung des Morphismus auf Blocklängen.
   • Rückkehrwörter durch Analyse der Blockzerlegung des unendlichen Wortes.
   • Palindromische Präfixe unter Nutzung klassischer Ergebnisse über Sturmsche Standardwörter und zentrale Wörter.
4. Gebrochene Brüche: Die Steigung $\theta(a,b)$ des Wortes wird über ihre Kettenbruchdarstellung analysiert, wodurch die kombinatorischen Eigenschaften mit der quadratischen Irrationalität $A(a,b)$ verknüpft werden.

Wesentliche Beiträge und Ergebnisse

• Paritäts-Shift-Dualitätstheorem: Die Arbeit beweist, dass $F(a,b) = \sigma_a(F(b,a))$ für alle $a, b \ge 1$ gilt. Dies etabliert eine präzise strukturelle Korrespondenz, bei der das Wort $F(a,b)$ das Bild von $F(b,a)$ unter dem Morphismus $\sigma_a$ ist. Dies erklärt die Asymmetrie der Invarianten als Konsequenz des durch $\sigma_a$ induzierten „Längen-Umverteilungsmechanismus“.
• Buchstabenfrequenzen: Die Autoren leiten exakte geschlossene Formeln für die Frequenzen der Buchstaben 0 und 1 in $F(a,b)$ her:
  $$\text{freq}_1(F(a,b)) = \frac{b}{\alpha + b}, \quad \text{freq}_0(F(a,b)) = \frac{\alpha}{\alpha + b}$$
  wobei $\alpha = A(a,b)$. Dies korrigiert die bisherige Annahme, dass Frequenzen unter $a \leftrightarrow b$ symmetrisch sein könnten; dies ist nicht der Fall, es sei denn, $a=b$.
• Rückkehrwörter: Die Arbeit liefert eine vollständige Beschreibung der Rückkehrwörter für jeden Buchstaben:
  • Die Rückkehrwörter für 0 sind $\{0, 01\}$, welche unabhängig von $a$ und $b$ sind.
  • Die Rückkehrwörter für 1 sind $\{10^a, 10^{a+1}\}$.
  • Die Dualität wirkt auf die Menge der Rückkehrwörter für 1, indem sie den Exponenten $a$ durch $b$ ersetzt, während die Menge für 0 invariant bleibt.
• Sturmsche Eigenschaften: Es wird bewiesen, dass $F(a,b)$ für alle $a, b \ge 1$ ein Standard-Sturmschen Wort ist. Folglich ist die Balancefunktion $B(n) \equiv 1$ und die abelsche Komplexität $AC(n) \equiv 2$ für alle $n$. Diese Invarianten sind unter $a \leftrightarrow b$ trivialerweise symmetrisch.
• Palindromische Struktur: Die Arbeit beweist, dass für jedes $n \ge 2$ das Wort, das durch das Löschen der letzten zwei Buchstaben der endlichen Approximation $F(a,b)_n$ entsteht, ein Palindrom ist. Dies bestätigt die Existenz beliebig langer palindromischer Präfixe.
• Steigung und Kettenbruch: Die Steigung $\theta(a,b)$ hat die Kettenbruchdarstellung $[0; ab+1, 1, ab]$. Die Arbeit zeigt, dass die Steigung und der kritische Exponent das Paar $(a,b)$ nur durch das Produkt $ab$ und das Maximum $\max(a,b)$ bestimmen.
• Minimierung des kritischen Exponenten: Die Arbeit definiert einen Index $Ind(F(a,b))$, der mit dem kritischen Exponenten zusammenhängt, und beweist, dass dieser sein globales Minimum eindeutig bei $(a,b) = (1,1)$ erreicht, wodurch der klassische Wert des Fibonacci-Wortes $2 + \phi$ wiederhergestellt wird.

Bedeutung und Ansprüche
Die Arbeit behauptet, dass die scheinbare Asymmetrie im kritischen Exponenten und in den Buchstabenfrequenzen biperiodischer Fibonacci-Wörter kein isoliertes Phänomen ist, sondern eine einheitliche Folge der strukturellen Dualität zwischen $F(a,b)$ und $F(b,a)$. Durch die Identifizierung des expliziten Morphismus $\sigma_a$ liefern die Autoren eine einheitliche Erklärung dafür, warum Invarianten, die von der Interaktion zwischen Buchstabenidentität und Blocklänge abhängen, nicht symmetrisch unter dem Parameterwechsel sind.

Die Arbeit löst das „Rätsel“, warum algebraische Größen wie $A(a,b)$ symmetrisch sind, kombinatorische Invarianten jedoch nicht, indem sie den Unterschied auf die spezifische Wirkung des Morphismus zurückführt. Die Arbeit stellt explizit fest, dass diese Dualitätsbeziehung bisher nicht beobachtet wurde. Sie identifiziert zudem offene Probleme, einschließlich der Berechnung der vollständigen palindromischen Komplexitätsfunktion $P_{F(a,b)}(n)$ für alle $n$ sowie der Identifizierung exakter extremer Wiederholungen für den kritischen Exponenten, wobei angemerkt wird, dass die aktuellen unteren Schranken nicht eng sind. Die Autoren schlagen vor, dass das Framework auf $k$-periodische Richtsequenzen erweitert werden könnte, was eine breitere zyklische Dualität impliziert.