Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

Resumo Técnico: Dualidade em Palavras de Fibonacci Biperiódicas

Enunciado do Problema
O artigo investiga a família de palavras de Fibonacci biperiódicas, denotadas por $F(a,b)$, geradas pela sequência diretiva $(a, b, a, b, \dots)$ com parâmetros inteiros $a, b \ge 1$. Embora as frequências assintóticas de letras dessas palavras dependam de uma quantidade algébrica simétrica $A_a(a,b)$, outros invariantes, especificamente o expoente crítico $CE(F(a,b))$, exibem uma aparente assimetria sob a troca de parâmetros ($a \leftrightarrow b$). O problema central é explicar essa assimetria: se ela é um artefato de expressões em forma fechada ou se reflete uma relação estrutural mais profunda entre $F(a,b)$ e $F(b,a)$. O artigo busca determinar se existe um morfismo explícito que mapeia $F(b,a)$ para $F(a,b)$ e analisar como esse mapeamento afeta invariantes combinatórios como frequências de letras, palavras de retorno e estruturas palindrômicas.

Metodologia
Os autores empregam o arcabouço de sistemas S-ádicos e da teoria de palavras esturmianas.

1. Representação S-ádica: O artigo estabelece que $F(a,b)$ coincide com a sequência esturmiana padrão gerada pela sequência diretiva periódica $(a, b, a, b, \dots)$. Isso permite o uso de identidades de dessubstituição.
2. Construção de Morfismo: A ferramenta metodológica central é o morfismo explícito $\sigma_a: 0 \mapsto 0^a1, 1 \mapsto 0$. Os autores utilizam a indução sobre as aproximações finitas $F(a,b)_n$ para provar que $\sigma_a(F(b,a)) = F(a,b)$ exatamente, sem a necessidade de renomeação de letras ou correções de prefixo limitadas.
3. Análise Combinatória: Utilizando a dualidade estabelecida $\sigma_a$, os autores derivam fórmulas exatas para:
   • Frequências de letras via análise de limite da ação do morfismo sobre comprimentos de blocos.
   • Palavras de retorno através da análise da decomposição de blocos da palavra infinita.
   • Prefixos palíndromos aproveitando resultados clássicos sobre sequências esturmianas padrão e palavras centrais.
4. Frações Contínuas: A inclinação $\theta(a,b)$ da palavra é analisada via sua expansão em fração contínua, ligando as propriedades combinatórias ao irracional quadrático $A(a,b)$.

Principais Contribuições e Resultados

• Teorema da Dualidade de Mudança de Paridade: O artigo prova que $F(a,b) = \sigma_a(F(b,a))$ para todos $a, b \ge 1$. Isso estabelece uma correspondência estrutural precisa onde a palavra $F(a,b)$ é a imagem de $F(b,a)$ sob o morfismo $\sigma_a$. Isso explica a assimetria nos invariantes como uma consequência do "mecanismo de redistribuição de comprimento" induzido por $\sigma_a$.
• Frequências de Letras: Os autores derivam expressões exatas em forma fechada para as frequências das letras 0 e 1 em $F(a,b)$:
  $$\text{freq}_1(F(a,b)) = \frac{b}{\alpha + b}, \quad \text{freq}_0(F(a,b)) = \frac{\alpha}{\alpha + b}$$
  onde $\alpha = A(a,b)$. Isso corrige suposições anteriores de que as frequências poderiam ser simétricas sob $a \leftrightarrow b$; elas não são, a menos que $a=b$.
• Palavras de Retorno: O artigo fornece uma descrição completa das palavras de retorno para cada letra:
  • As palavras de retorno para 0 são $\{0, 01\}$, que são independentes de $a$ e $b$.
  • As palavras de retorno para 1 são $\{10^a, 10^{a+1}\}$.
  • A dualidade atua no conjunto de palavras de retorno para 1 substituindo o expoente $a$ por $b$, enquanto o conjunto para 0 permanece invariante.
• Propriedades Esturmianas: É provado que $F(a,b)$ é uma palavra esturmiana padrão para todos $a, b \ge 1$. Consequentemente, a função de balanço é $B(n) \equiv 1$ e a complexidade abeliana é $AC(n) \equiv 2$ para todos os $n$. Esses invariantes são trivialmente simétricos sob $a \leftrightarrow b$.
• Estrutura Palindrômica: O artigo prova que, para cada $n \ge 2$, a palavra obtida pela exclusão das duas últimas letras da aproximação finita $F(a,b)_n$ é um palíndromo. Isso confirma a existência de prefixos palíndromos arbitrariamente longos.
• Inclinação e Fração Contínua: Determina-se que a inclinação $\theta(a,b)$ possui a expansão em fração contínua $[0; ab+1, 1, ab]$. O artigo demonstra que a inclinação e o expoente crítico dependem do par $(a,b)$ apenas através do produto $ab$ e do máximo $\max(a,b)$.
• Minimização do Expoente Crítico: O artigo define um índice $Ind(F(a,b))$ relacionado ao expoente crítico e prova que ele atinge seu mínimo global unicamente em $(a,b) = (1,1)$, recuperando o valor clássico da palavra de Fibonacci $2 + \phi$.

Significância e Alegações
O artigo alega que a aparente assimetria no expoente crítico e nas frequências de letras das palavras de Fibonacci biperiódicas não é um fenômeno isolado, mas uma consequência uniforme da dualidade estrutural entre $F(a,b)$ e $F(b,a)$. Ao identificar o morfismo explícito $\sigma_a$, os autores fornecem uma explicação unificada para o motivo pelo qual invariantes dependentes da interação entre a identidade da letra e o comprimento do bloco falham em ser simétricos sob a troca de parâmetros.

O trabalho resolve o "enigma" de por que quantidades algébricas como $A(a,b)$ são simétricas enquanto invariantes combinatórios não são, atribuindo a diferença à ação específica do morfismo. O artigo afirma explicitamente que essa relação de dualidade não havia sido observada anteriormente. Ele também identifica problemas em aberto, incluindo o cálculo da função de complexidade palíndroma completa $P_{F(a,b)}(n)$ para todo $n$ e a identificação de repetições extremais exatas para o expoente crítico, observando que os limites inferiores atuais não são apertados. Os autores sugerem que o arcabouço poderia ser estendido para sequências diretivas $k$-periódicas, implicando uma dualidade cíclica mais ampla.