Transcendence criterion with \((\beta,\mathcal{A})\)-representations in some quadratic integer bases (Q6142771)

Let \(\mathbf{ a}=\{ a_k\}_{k\geq 1}\) be a sequence of elements from the finite set \(A\) that we identify with the infinite word \(a_1a_2\dots\). Let \(\omega\) be a real number. Assume that \(\mathbf{a}\) is not eventually periodic. Suppose that there are two sequences of finite words \(\{ U_k\}_{k\geq 1}\) and \(\{ V_k\}_{k\geq 1}\) such that for any \(n\geq 1\) the word \(U_nV_n^\omega\) is a prefix of the word \(\mathbf{ a}\), the sequence \(\{\mid U_n\mid /\mid V_n\mid\}_{n\geq 1}\) tends to zero and the sequence \(\{\mid V_n\mid\}_{n\geq 1}\) is increasing. Let \(\beta\) be a complex number. Set \(x=\sum_{k=1}^\infty \frac{a_k}{\beta^k}\). The authors prove the following result. 1. If \(\beta >1\) is a Pisot number, \(x\in (0,1)\) and \(\omega >1\) then \(x\) is transcendental. 2. If \(\beta\) is a quadratic integer with its conjugate \(\beta ^*\) such that \(1<\mid \beta^*\mid \leq \beta \), \(x\in (0,1)\), \(A\) is a non-empty subset of \(\mathbb Z\) and \(\omega >2\) then \(x\) either belongs to \(\mathbb Q(\beta)\) or is transcendental.