Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

Sintesi Tecnica: Dualità nelle Parole di Fibonacci Biperiodiche

Enunciato del Problema
Il saggio investiga la famiglia di parole di Fibonacci biperiodiche, denotate con $F(a,b)$, generate dalla sequenza direttiva $(a, b, a, b, \dots)$ con parametri interi $a, b \ge 1$. Mentre le frequenze asintotiche delle lettere di queste parole dipendono da una quantità algebrica simmetrica $A_a(a,b)$, altri invarianti, nello specifico l'esponente critico $CE(F(a,b))$, mostrano un'apparente asimmetria sotto lo scambio dei parametri ($a \leftrightarrow b$). Il problema centrale è spiegare questa asimmetria: si tratta di un artefatto delle espressioni in forma chiusa o riflette una relazione strutturale più profonda tra $F(a,b)$ e $F(b,a)$? Il saggio mira a determinare se esiste un morfismo esplicito che mappa $F(b,a)$ in $F(a,b)$ e ad analizzare come tale mappatura influenzi gli invarianti combinatori quali le frequenze delle lettere, le parole di ritorno e le strutture palindromiche.

Metodologia
Gli autori impiegano il framework dei sistemi S-adici e della teoria delle parole sturmiane.

1. Rappresentazione S-adica: Il saggio stabilisce che $F(a,b)$ coincide con la sequenza sturmiana standard generata dalla sequenza direttiva periodica $(a, b, a, b, \dots)$. Ciò permette l'uso di identità di desubstituzione.
2. Costruzione del Morfismo: Lo strumento metodologico principale è il morfismo esplicito $\sigma_a: 0 \mapsto 0^a1, 1 \mapsto 0$. Gli autori utilizzano l'induzione sulle approssimazioni finite $F(a,b)_n$ per dimostrare che $\sigma_a(F(b,a)) = F(a,b)$ esattamente, senza necessità di ridenominazione delle lettere o correzioni del prefisso limitate.
3. Analisi Combinatoria: Utilizzando la dualità combinatoria $\sigma_a$ stabilita, il saggio deriva formule esatte per:
   • Le frequenze delle lettere tramite l'analisi del limite dell'azione del morfismo sulle lunghezze dei blocchi.
   • Le parole di ritorno tramite l'analisi della decomposizione a blocchi della parola infinita.
   • I prefissi palindromici sfruttando i risultati classici sulle sequenze sturmiane standard e sulle parole centrali.
4. Frazioni Continue: La pendenza $\theta(a,b)$ della parola viene analizzata tramite la sua espansione in frazioni continue, collegando le proprietà combinatorie alla quantità quadratica irrazionale $A(a,b)$.

Contributi Chiave e Risultati

• Teorema di Dualità del Cambio di Parità: Il saggio dimostra che $F(a,b) = \sigma_a(F(b,a))$ per tutti $a, b \ge 1$. Ciò stabilisce una precisa corrispondenza strutturale in cui la parola $F(a,b)$ è l'immagine di $F(b,a)$ sotto il morfismo $\sigma_a$. Questo spiega l'asimmetria degli invarianti come conseguenza del "meccanismo di ridistribuzione della lunghezza" indotto da $\sigma_a$.
• Frequenze delle Lettere: Gli autori derivano espressioni esatte in forma chiusa per le frequenze delle lettere 0 e 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}$$
  dove $\alpha = A(a,b)$. Questo corregge le assunzioni precedenti secondo cui le frequenze potrebbero essere simmetriche sotto $a \leftrightarrow b$; esse non lo sono, a meno che $a=b$.
• Parole di Ritorno: Il saggio fornisce una descrizione completa delle parole di ritorno per ogni lettera:
  • Le parole di ritorno per 0 sono $\{0, 01\}$, che sono indipendenti da $a$ e $b$.
  • Le parole di ritorno per 1 sono $\{10^a, 10^{a+1}\}$.
  • La dualità agisce sull'insieme delle parole di ritorno per 1 sostituendo l'esponente $a$ con $b$, mentre l'insieme per 0 rimane invariante.
• Proprietà Sturmiane: Si dimostra che $F(a,b)$ è una parola sturmiana standard per tutti $a, b \ge 1$. Di conseguenza, la funzione di bilanciamento è $B(n) \equiv 1$ e la complessità abeliana è $AC(n) \equiv 2$ per tutti $n$. Questi invarianti sono trivialmente simmetrici sotto $a \leftrightarrow b$.
• Struttura Palindromica: Il saggio dimostra che per ogni $n \ge 2$, la parola ottenuta eliminando le ultime due lettere dell'approssimazione finita $F(a,b)_n$ è un palindromo. Ciò conferma l'esistenza di prefissi palindromici arbitrariamente lunghi.
• Pendenza e Frazione Continua: La pendenza $\theta(a,b)$ ha l'espansione in frazioni continue $[0; ab+1, 1, ab]$. Il saggio dimostra che la pendenza e l'esponente critico dipendono dalla coppia $(a,b)$ solo attraverso il prodotto $ab$ e il massimo $\max(a,b)$.
• Minimizzazione dell'Esponente Critico: Il saggio definisce un indice $Ind(F(a,b))$ correlato all'esponente critico e dimostra che esso raggiunge il suo minimo globale unicamente in $(a,b) = (1,1)$, recuperando il valore classico della parola di Fibonacci $2 + \phi$.

Significato e Rivendicazioni
Il saggio afferma che l'apparente asimmetria nell'esponente critico e nelle frequenze delle lettere delle parole di Fibonacci biperiodiche non è un fenomeno isolato, ma una conseguenza uniforme della dualità strutturale tra $F(a,b)$ e $F(b,a)$. Identificando il morfismo esplicito $\sigma_a$, gli autori forniscono una spiegazione unificata del perché gli invarianti dipendenti dall'interazione tra l'identità della lettera e la lunghezza del blocco falliscano nell'essere simmetrici sotto lo scambio dei parametri.

Il lavoro risolve l'enigma del perché quantità algebriche come $A(a,b)$ siano simmetriche mentre gli invarianti combinatori non lo siano, attribuendo la differenza all'azione specifica del morfismo. Il saggio dichiara esplicitamente che questa relazione di dualità non era stata precedentemente osservata. Identifica inoltre problemi aperti, inclusa il calcolo della funzione completa di complessità palindromica $P_{F(a,b)}(n)$ per tutti $n$ e l'identificazione delle ripetizioni estreme esatte per l'esponente critico, notando che gli attuali limiti inferiori non sono stretti. Gli autori suggeriscono che il framework potrebbe essere esteso a sequenze direttive $k$-periodiche, implicando una più ampia dualità ciclica.