English

Linear independence of series related to the Thue--Morse sequence along powers

Number Theory 2023-12-13 v1 Formal Languages and Automata Theory Combinatorics

Abstract

The Thue--Morse sequence {t(n)}n1\{t(n)\}_{n\geqslant 1} is the indicator function of the parity of the number of ones in the binary expansion of positive integers nn, where t(n)=1t(n)=1 (resp. =0=0) if the binary expansion of nn has an odd (resp. even) number of ones. In this paper, we generalize a recent result of E.~Miyanohara by showing that, for a fixed Pisot or Salem number β>φ=1.272019649\beta>\sqrt{\varphi}=1.272019649\ldots, the set of the numbers 1,n1t(n)βn,n1t(n2)βn,,n1t(nk)βn, 1,\quad \sum_{n\geqslant 1}\frac{t(n)}{\beta^{n}},\quad \sum_{n\geqslant 1}\frac{t(n^2)}{\beta^{n}},\quad \dots, \quad \sum_{n\geqslant 1}\frac{t(n^k)}{\beta^{n}},\quad \dots is linearly independent over the field Q(β)\mathbb{Q}(\beta), where φ:=(1+5)/2\varphi:=(1+\sqrt{5})/2 is the golden ratio. Our result implies that for any k1k\geqslant 1 and for any a1,a2,,akQ(β)a_1,a_2,\ldots,a_k\in\mathbb{Q}(\beta), not all zero, the sequence \{a1t(n)+a2t(n2)++akt(nk)}n1a_1t(n)+a_2t(n^2)+\cdots+a_kt(n^k)\}_{n\geqslant 1} cannot be eventually periodic.

Keywords

Cite

@article{arxiv.2312.06981,
  title  = {Linear independence of series related to the Thue--Morse sequence along powers},
  author = {Michael Coons and Yohei Tachiya},
  journal= {arXiv preprint arXiv:2312.06981},
  year   = {2023}
}

Comments

9 pages