Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

技術的要約：二周期性フィボナッチ語における双対性

問題提起
本論文は、整数パラメータ $a, b \ge 1$ を持つ指令列 $(a, b, a, b, \dots)$ によって生成される、二周期性フィボナッチ語 $F(a,b)$ の族を調査している。これらの語の漸近的な文字頻度は対称的な代数的量 $A_a(a,b)$ に依存する一方で、臨界指数 $CE(F(a,b))$などの不変量は、パラメータの交換 ($a \leftrightarrow b$) の下で明らかな非対称性を示す。中心となる問題は、この非対称性を説明することである。すなわち、これは閉形式の式の産物なのか、それとも$F(a,b)$と$F(b,a)$の間のより深い構造的関係を反映しているのか。本論文は、$F(b,a)$から$F(a,b)$ への写像となる明示的なモルフィズムが存在するかどうかを判断し、その写像が文字頻度、回帰語、および回文構造といった組合せ論的不変量にどのように影響するかを分析することを目的としている。

手法
著者らは、S-adic系およびシュトゥルミアン語理論の枠組みを用いている。

1. S-adic表現: 本論文は、$F(a,b)$ が周期的な指令列 $(a, b, a, b, \dots)$ によって生成される標準的なシュトゥルミアン列と一致することを確立している。これにより、脱置換（desubstitution）の恒等式を用いることが可能となる。
2. モルフィズムの構成: 中心的な手法となるツールは、明示的なモルフィズム $\sigma_a: 0 \mapsto 0^a1, 1 \mapsto 0$ である。著者らは、有限近似 $F(a,b)_n$ に対する帰納法を用いて、文字のラベル付けの変更や有界な接頭辞の補正を必要とせずに、$\sigma_a(F(b,a)) = F(a,b)$ が正確に成立することを証明している。
3. 組合せ論的分析: 確立された双対性 $\sigma_a$ を用いて、以下の正確な公式を導出している：
   • ブロック長へのモルフィズムの作用の極限分析による文字頻度。
   • 無限語のブロック分解の分析による回帰語。
   • 標準的なシュトゥルミアン列および中心語に関する古典的な結果を活用した回文接頭辞。
4. 連分数: 語の傾き $\theta(a,b)$ は、その連分数展開を通じて分析され、二次無理数 $A(a,b)$ と結び付けられている。

主要な貢献と結果

• パリティ・シフト双対性定理: 本論文は、すべての $a, b \ge 1$ に対して $F(a,b) = \sigma_a(F(b,a))$ であることを証明している。これは、$F(a,b)$ が $F(b,a)$ の像であるという精密な構造的対応関係を確立するものである。これにより、不変量の非対称性は $\sigma_a$ によって誘発される「長さ再分配メカニズム」の結果であることが説明される。
• 文字頻度: 著者らは、$F(a,b)$ における文字 0 と 1 の頻度の正確な閉形式の式を導出した：
  $$\text{freq}_1(F(a,b)) = \frac{b}{\alpha + b}, \quad \text{freq}_0(F(a,b)) = \frac{\alpha}{\alpha + b}$$
  ここで $\alpha = A(a,b)$ である。これは、頻度が $a \leftrightarrow b$ の下で対称である可能性があった従来の仮定を修正するものである（$a=b$ でない限り対称ではない）。
• 回帰語: 論文は、各文字に対する回帰語の完全な記述を提供している：
  • 0 の回帰語は $\{0, 01\}$ であり、これらは $a$ や $b$ に依存しない。
  • 1 の回帰語は $\{10^a, 10^{a+1}\}$ である。
  • 双対性は、指数 $a$ を $b$ に置き換えることによって、1 の回帰語の集合に作用するが、0 の集合は不変である。
• シュトゥルミアン特性: $F(a,b)$ はすべての $a, b \ge 1$ に対して標準的なシュトゥルミアン語であることが証明されている。したがって、バランス関数は $B(n) \equiv 1$ であり、アーベル複雑度はすべての $n$ に対して $AC(n) \equiv 2$ である。これらの不変量は、$a \leftrightarrow b$ の下で自明に対称である。
• 回文構造: 本論文は、有限近似 $F(a,b)_n$ の末尾2文字を削除して得られる語が回文であることを証明している。これは、任意に長い回文接頭辞が存在することを裏付けている。
• 傾きと連分数: 傾き $\theta(a,b)$ は、連分数展開 $[0; ab+1, 1, ab]$を持つことが決定されている。本論文は、傾きと臨界指数が、積$ab$と最大値$\max(a,b)$のみを通じてペア$(a,b)$ に依存することを実証している。
• 臨界指数の最小化: 論文は、臨界指数に関連するインデックス $Ind(F(a,b))$を定義し、それが$(a,b) = (1,1)$において一意にグローバルな最小値をとることを証明し、古典的なフィボナッチ語の値$2 + \phi$ を回収している。

意義と主張
本論文は、二周期性フィボナッチ語における臨界指数と文字頻度の見かけ上の非対称性が、孤立した現象ではなく、$F(a,b)$ と $F(b,a)$ の間の構造的双対性の統一的な帰結であることを主張している。明示的なモルフィズム $\sigma_a$ を特定することで、著者らは、文字の同一性とブロックの長さの相互作用に依存する不変量が、なぜパラメータ交換の下で対称にならないのかについて、統一的な説明を提供している。

この研究は、代数的量 $A(a,b)$ は対称である一方で組合せ論的不変量はそうではないという「パズル」を解決しており、その違いをモルフィズムの具体的な作用に帰している。本論文は、この双対関係がこれまで観察されていなかったことを明記している。また、すべての $n$ に対する完全な回文複雑度関数 $P_{F(a,b)}(n)$ の計算や、臨界指数のための正確な極値反復の特定を含む未解決の問題を挙げており、現在の下限はタイトではないと指摘している。著者らは、この枠組みが $k$-周期的指令列へと拡張可能であることを示唆しており、より広範な循環的双対性を暗示している。