Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

技术摘要：双周期斐波那契词的双重性

问题陈述
本文研究了由整数参数 $a, b \ge 1$ 生成的、记为 $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 系统 和 Sturmian 词理论 的框架。

1. S-adic 表示： 本文确立了 $F(a,b)$ 与由周期性指令序列 $(a, b, a, b, \dots)$ 生成的标准 Sturmian 序列一致。这使得使用脱换（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$，本文推导了以下内容的精确公式：
   • 通过对态射作用于块长度的极限分析得出字母频率；
   • 通过分析无限词的块分解得出回返词；
   • 利用经典 Sturmian 序列和中心词的结果得出回文前缀。
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$ 下的像。这解释了不变量的非对称性是由于 $\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 的回版词集保持不变。
• Sturmian 性质： 本文证明了对于所有 $a, b \ge 1$，$F(a,b)$ 都是标准 Sturmian 词。因此，平衡函数 $B(n) \equiv 1$，且阿贝尔复杂度 $AC(n) \equiv 2$ 对所有 $n$ 均成立。这些不变量在 $a \leftrightarrow b$ 下是平凡对称的。
• 回文结构： 本文证明了对于每个 $n \ge 2$，通过删除有限近似 $F(a,b)_n$ 的最后两个字母后得到的词是一个回文词。这证实了存在任意长的回文前缀。
• 斜率与连分数： 确定了 $\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$-周期指令序列，暗示存在更广泛的循环对偶性。