Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

Technische Samenvatting: Dualiteit in Biperiodieke Fibonacci-woorden

Probleemstelling
Het artikel onderzoekt de familie van biperiodieke Fibonacci-woorden, aangeduid als $F(a,b)$, gegenereerd door de directieve sequentie $(a, b, a, b, \dots)$ met gehele parameters $a, b \ge 1$. Hoewel de asymptotische letterfrequenties van deze woorden afhangen van een symmetrische algebraïsche grootheid $A_a(a,b)$, vertonen andere invarianten, specifiek de kritische exponent $CE(F(a,b))$, een schijnbare asymmetrie onder de uitwisseling van parameters ($a \leftrightarrow b$). Het centrale probleem is het verklaren van deze asymmetrie: is het een artefact van gesloten vorm-expressies, of weerspiegelt het een diepere structurele relatie tussen $F(a,b)$ en $F(b,a)$? Het artikel streeft ernaar te bepalen of er een expliciete morfe wordt die $F(b,a)$ naar $F(a,b)$ mapt en om te analyseren hoe deze mapping combinatorische invarianten zoals letterfrequenties, retourwoorden en palindromische structuren beïnvloedt.

Methodologie
De auteurs maken gebruik van het kader van S-adische systemen en Sturmiaanse woordtheorie.

1. S-adische representatie: Het artikel stelt vast dat $F(a,b)$ samenvalt met de standaard Sturmiaanse sequentie gegenereerd door de periodieke directieve sequentie $(a, b, a, b, \dots)$. Dit maakt het gebruik van desubstitutie-identiteiten mogelijk.
2. Constructie van de morfe: Het kerninstrument van de methodologie is de expliciete morfe $\sigma_a: 0 \mapsto 0^a1, 1 \mapsto 0$. De auteurs gebruiken inductie op de eindige benaderingen $F(a,b)_n$ om te bewijzen dat $\sigma_a(F(b,a)) = F(a,b)$ exact is, zonder de noodzaak van letter-relabeling of begrensde prefix-correcties.
3. Combinatorische analyse: Gebruikmakend van de gevestigde dualiteit $\sigma_a$, leidt het artikel exacte formules af voor:
   • Letterfrequenties via limietanalyse van de werking van de morfe op bloklengtes.
   • Retourwoorden door de blokdecompositie van het oneindige woord te analyseren.
   • Palindromische prefixes door gebruik te maken van klassieke resultaten over standaard Sturmiaanse sequenties en centrale woorden.
4. Voortgekomen breuken: De helling $\theta(a,b)$ van het woord wordt geanalyseerd via de voortgekomen breukexpansie, waarbij de combinatorische eigenschappen worden gekoppeld aan de kwadratische irrationale $A(a,b)$.

Belangrijkste Bijdragen en Resultaten

• Pariteit-verschuivings-dualiteitstheorema: Het artikel bewijst dat $F(a,b) = \sigma_a(F(b,a))$ voor alle $a, b \ge 1$. Dit vestigt een precieze structurele correspondentie waarbij het woord $F(a,b)$ het beeld is van $F(b,a)$ onder de morfe $\sigma_a$. Dit verklaart de asymmetrie in invarianten als een gevolg van het "lengte-herverdelingsmechanisme" geïnduceerd door $\sigma_a$.
• Letterfrequenties: De auteurs leiden exacte gesloten vorm-expressies af voor de frequenties van letters 0 en 1 in $F(a,b)$:
  $$\text{freq}_1(F(a,b)) = \frac{b}{\alpha + b}, \quad \text{freq}_0(F(a,b)) = \frac{\alpha}{\alpha + b}$$
  waarbij $\alpha = A(a,b)$. Dit corrigeert eerdere aannames dat frequenties symmetrisch zouden zijn onder $a \leftrightarrow b$; ze zijn dat niet, tenzij $a=b$.
• Retourwoorden: Het artikel biedt een volledige beschrijving van de retourwoorden voor elke letter:
  • De retourwoorden voor 0 zijn $\{0, 01\}$, welke onafhankelijk zijn van $a$ en $b$.
  • De retourwoorden voor 1 zijn $\{10^a, 10^{a+1}\}$.
  • De dualiteit werkt op de verzameling retourwoorden voor 1 door de exponent $a$ te vervangen door $b$, terwijl de verzameling voor 0 invariant blijft.
• Sturmiaanse Eigenschappen: Er wordt bewezen dat $F(a,b)$ een standaard Sturmiaans woord is voor alle $a, b \ge 1$. Bijgevolg is de balansfunctie $B(n) \equiv 1$ en de abelse complexiteit $AC(n) \equiv 2$ voor alle $n$. Deze invarianten zijn triviaal symmetrisch onder $a \leftrightarrow b$.
• Palindromische Structuur: Het artikel bewijst dat voor elke $n \ge 2$, het woord verkregen door de laatste twee letters van de eindige benadering $F(a,b)_n$ te verwijderen, een palindroom is. Dit bevestigt het bestaan van willekeurig lange palindromische prefixes.
• Helling en Voortgekomen Breuk: De helling $\theta(a,b)$ wordt bepaald met de voortgekomen breukexpansie $[0; ab+1, 1, ab]$. Het artikel demonstreert dat de helling en de kritische exponent afhangen van het paar $(a,b)$ enkel via het product $ab$ en de maximumwaarde $\max(a,b)$.
• Minimalisatie van de Kritische Exponent: Het artikel definieert een index $Ind(F(a,b))$ gerelateerd aan de kritische exponent en bewijst dat deze zijn globale minimum uniek bereikt bij $(a,b) = (1,1)$, waarmee de klassieke Fibonacci-woordwaarde $2 + \phi$ wordt teruggevonden.

Betekenis en Claims
Het artikel claimt dat de schijnbare asymmetrie in de kritische exponent en de letterfrequenties van biperiodieke Fibonacci-woorden geen geïsoleerd fenomeen is, maar een uniforme consequentie van de structurele dualiteit tussen $F(a,b)$ en $F(b,a)$. Door de expliciete morfe $\sigma_a$ te identificeren, bieden de auteurs een verenigde verklaring voor waarom invarianten die afhangen van de interactie tussen letteridentiteit en bloklengte niet symmetrisch zijn onder parameterexchange.

Het werk lost het "raadsel" op waarom algebraïsche grootheden zoals $A(a,b)$ symmetrisch zijn terwijl combinatorische invarianten dat niet zijn, door het verschil toe te schrijven aan de specifieke werking van de morfe. Het artikel stelt expliciet dat deze dualiteitsrelatie voorheen niet was waargenomen. Het identificeert ook open problemen, waaronder de berekening van de volledige palindromische complexiteitsfunctie $P_{F(a,b)}(n)$ voor alle $n$ en de identificatie van exacte extreme repetities voor de kritische exponent, waarbij wordt opgemerkt dat de huidige ondergrenzen niet nauw zijn. De auteurs suggereren dat het kader kan worden uitgebreid naar $k$-periodieke directieve sequenties, wat wijst op een bredere cyclische dualiteit.