这只不过是一个长篇评论。似乎更简单的情况是,当$a{n+1}-a_n>1$(至少最终是这样),这意味着$b_{n+1}-b_n\in\{1,2\}$(最终是这样的),并且$a{n+1}-a-n$取$r$整数的有限集$\mathcal{a}$中大于或等于$2$的值。然后序列$a_{n+1}-a_n$由替换映射生成(如所述在这里或在这里,因此整个序列$a{n+1}-a_n$被视为一个无限字符串,其形式为$p\cdot\tau(p)\cdot\t au。对于这样的替换映射$\tau$,可以编写一个关联的$r次r$转换矩阵$a:=(a_{ij})$,表示转换后单词中每个符号的出现次数:让$a_{ij}$表示单词$\tau(s_j)$中字母$s_i$的出现次数。然后,如果在向量$X$中,$X_i$是给定单词$w$中$s_i$的出现次数,则$AX$的坐标给出单词$\tau(w)$中每个$s_i$的出现次数,因此,对于$w=p$,向量$a^kX$给出$\tau(p^k)$中字母的分布;$\tau(p^k)$的长度是$A^{k-1}X$的坐标之和。这样,$a_n$的各种渐近性可以很容易地与$a$的谱相关;事实上,人们使用了有限马尔可夫链的标准技术,引入了从映射$\tau$推导出的合适的马尔可夫链条。例如,引用的两个案例都可以这样处理。
当$a_{n+1}-a_n$可以频繁地取值$1$时,$b_{n+1}-b_n$假定了更多的值,我对此似乎不太清楚,但它可能是在同一行中研究的。