English

On the transcendence of a series related to Sturmian words

Number Theory 2022-06-13 v2

Abstract

Let bb be an algebraic number with b>1|b|>1 and H\mathcal{H} a finite set of algebraic numbers. We study the transcendence of numbers of the form n=0anbn\sum_{n=0}^\infty \frac{a_n}{b^n} where anHa_n \in \mathcal{H} for all nNn\in\mathbb{N}. We assume that the sequence (an)n=0(a_n)_{n=0}^\infty is generated by coding the orbit of a point under an irrational rotation of the unit circle. In particular, this assumption holds whenever the sequence is Sturmian. Our main result shows that all numbers of the above form are transcendental. We moreover give sufficient conditions for a finite set of such numbers to be linearly independent over~Qˉ\bar{\mathbb{Q}}.

Keywords

Cite

@article{arxiv.2204.08268,
  title  = {On the transcendence of a series related to Sturmian words},
  author = {Florian Luca and Joël Ouaknine and James Worrell},
  journal= {arXiv preprint arXiv:2204.08268},
  year   = {2022}
}