On the regularity of $\{\lfloor\log_b(\alpha n+\beta)\rfloor\}_{n\geq0}$
Jiemeng Zhang, Ying-Jun Guo, Zhi‐Xiong Wen · arXiv (Cornell University) · 2015
Let $\alpha,\beta$ be real numbers and $b\geq2$ be an integer. Allouche and Shallit showed that the sequence $\{\lfloor\alpha n+\beta\rfloor\}_{n\geq0}$ is $b$-regular if and only if $\alpha$ is rational. In this paper, using a base-independent regular language, we prove a similar result that the sequence $\{\lfloor\log_b(\alpha n+\beta)\rfloor\}_{n\geq0}$ is $b$-regular if and only if $\alpha$ is rational. In particular, when $\alpha=\sqrt{2},\beta=0$ and $b=2$, we answer the question of Allouche and Shallit that the sequence $\{\lfloor\frac{1}{2}+\log_2n\rfloor\}_{n\geq0}$ is not $2$-regular, which has been proved by Bell, Moshe and Rowland respectively.