Borel Complexity of the set of vectors normal for a fixed recurrence sequence

Hajime Kaneko, Bill Mance

In this paper, we consider recurrence sequences $x_n={\xi }_1{\alpha }_1^n+{\xi }_2{\alpha }_2^n$ ($n=0,1,\dots$) with companion polynomial $P(X)$. For example, the sequence $x_n=ξ_1(4+\sqrt{2})^n+ξ_2(4-…