Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

Résumé Technique : Dualité dans les mots de Fibonacci bipériodiques

Énoncé du Problème
L'article étudie la famille des mots de Fibonacci bipériodiques, notés $F(a,b)$, générés par la séquence directive $(a, b, a, b, \dots)$ avec des paramètres entiers $a, b \ge 1$. Bien que les fréquences asymptotiques des lettres de ces mots dépendent d'une quantité algébrique symétrique $A_a(a,b)$, d'autres invariants, spécifiquement l'exposant critique $CE(F(a,b))$, présentent une asymétrie apparente lors de l'échange de paramètres ($a \leftrightarrow b$). Le problème central est d'expliquer cette asymétrie : s'agit-il d'un artefact des expressions en forme close ou cela reflète-t-il une relation structurelle plus profonde entre $F(a,b)$ et $F(b,a)$ ? L'article cherche à déterminer s'il existe un morphisme explicite qui envoie $F(b,a)$ vers $F(a,b)$ et à analyser comment ce mappage affecte les invariants combinatoires tels que les fréquences de lettres, les mots de retour et les structures palindromiques.

Méthodologie
Les auteurs emploient le cadre des systèmes S-adiques et de la théorie des mots sturmiens.

1. Représentation S-adique : L'article établit que $F(a,b)$ coïncide avec la séquence sturmienne standard générée par la séquence directive périodique $(a, b, a, b, \dots)$. Cela permet d'utiliser des identités de désubstitution.
2. Construction de Morphisme : L'outil méthodologique central est le morphisme explicite $\sigma_a: 0 \mapsto 0^a1, 1 \mapsto 0$. Les auteurs utilisent l'induction sur les approximations finies $F(a,b)_n$ pour prouver que $\sigma_a(F(b,a)) = F(a,b)$ exactement, sans nécessiter de re-étiquetage de lettres ou de corrections de préfixes bornées.
3. Analyse Combinatoire : En utilisant la dualité établie $\sigma_a$, l'article dérive des formules exactes pour :
   • Les fréquences de lettres via l'analyse limite de l'action du morphisme sur les longueurs de blocs.
   • Les mots de retour en analysant la décomposition en blocs du mot infini.
   • Les préfixes palindromiques en exploitant les résultats classiques sur les séquences sturmiennes standards et les mots centraux.
4. Fractions Continues : La pente $\theta(a,b)$ du mot est analysée via son développement en fraction continue, reliant les propriétés combinatoires à l'irrationnel quadratique $A(a,b)$.

Contributions Clés et Résultats

• Théorème de Dualité de Décalage de Parité : L'article prouve que $F(a,b) = \sigma_a(F(b,a))$ pour tous $a, b \ge 1$. Cela établit une correspondance structurelle précise où le mot $F(a,b)$ est l'image de $F(b,a)$ sous le morphisme $\sigma_a$. Cela explique l'asymétrie des invariants comme une conséquence du « mécanisme de redistribution de longueur » induit par $\sigma_a$.
• Fréquences de Lettres : Les auteurs dérivent des expressions exactes en forme close pour les fréquences des lettres 0 et 1 dans $F(a,b)$ :
  $$\text{freq}_1(F(a,b)) = \frac{b}{\alpha + b}, \quad \text{freq}_0(F(a,b)) = \frac{\alpha}{\alpha + b}$$
  où $\alpha = A(a,b)$. Ceci corrige les hypothèses précédentes selon lesquelles les fréquences pourraient être symétriques sous $a \leftrightarrow b$ ; elles ne le sont pas, sauf si $a=b$.
• Mots de Retour : L'article fournit une description complète des mots de retour pour chaque lettre :
  • Les mots de retour pour 0 sont $\{0, 01\}$, qui sont indépendants de $a$ et $b$.
  • Les mots de retour pour 1 sont $\{10^a, 10^{a+1}\}$.
  • La dualité agit sur l'ensemble des mots de retour pour 1 en substituant l'exposant $a$ par $b$, tandis que l'ensemble pour 0 reste invariant.
• Propriétés Sturmiennes : Il est prouvé que $F(a,b)$ est un mot sturmien standard pour tous $a, b \ge 1$. Par conséquent, la fonction de balance est $B(n) \equiv 1$ et la complexité abélienne est $AC(n) \equiv 2$ pour tout $n$. Ces invariants sont trivialement symétriques sous $a \leftrightarrow b$.
• Structure Palindromique : L'article prouve que pour tout $n \ge 2$, le mot obtenu en supprimant les deux dernières lettres de l'approximation finie $F(a,b)_n$ est un palindrome. Cela confirme l'existence de préfixes palindromiques arbitrairement longs.
• Pente et Fraction Continue : La pente $\theta(a,b)$ est déterminée comme ayant le développement en fraction continue $[0; ab+1, 1, ab]$. L'article démontre que la pente et l'exposant critique dépendent du couple $(a,b)$ uniquement à travers le produit $ab$ et le maximum $\max(a,b)$.
• Minimisation de l'Exposant Critique : L'article définit un indice $Ind(F(a,b))$ lié à l'exposant critique et prouve qu'il atteint son minimum global de manière unique à $(a,b) = (1,1)$, retrouvant la valeur classique du mot de Fibonacci $2 + \phi$.

Signification et Revendications
L'article affirme que l'asymétrie apparente de l'exposant critique et des fréquences de lettres des mots de Fibonacci bipériodiques n'est pas un phénomène isolé mais une conséquence uniforme de la dualité structurelle entre $F(a,b)$ et $F(b,a)$. En identifiant le morphisme explicite $\sigma_a$, les auteurs fournissent une explication unifiée sur la raison pour laquelle les invariants dépendant de l'interaction entre l'identité des lettres et la longueur des blocs échouent à être symétriques sous l'échange de paramètres.

Ce travail résout le « puzzle » de savoir pourquoi des quantités algébriques comme $A(a,b)$ sont symétriques alors que les invariants combinatoires ne le sont pas, en attribuant la différence à l'action spécifique du morphisme. L'article stipule explicitement que cette relation de dualité n'avait pas été observée auparavant. Il identifie également des problèmes ouverts, incluant le calcul de la fonction de complexité palindromique complète $P_{F(a,b)}(n)$ pour tout $n$ et l'identification des répétitions extrémales exactes pour l'exposant critique, notant que les bornes inférieures actuelles ne sont pas serrées. Les auteurs suggèrent que le cadre pourrait être étendu à des séquences directives $k$-périodiques, impliquant une dualité cyclique plus large.