Subexpansions, superexpansions and uniqueness properties in non-integer bases
The β-expansions, i.e., greedy expansions with respect to non-integer bases q>1, were introduced by Réenyi and then investigated by many authors. Some years ago, Erdős, Horváth and Joó found the surprising fact that there exist infinitely many numbers 1<q<2 for which the β-expansion of 1 is the unique possible expansion with coefficients 0 or 1. Subsequently, the unique expansions were characterized in [9] and this characterization led to the determination (in [17]) of the smallest number q having this curious property. It is intimately related to the classical Thue-Morse sequence. Allouche and Cosnard recently proved that this q is transcendental. The purpose of this paper is to extend the previous results for expansions in arbitrary non-integer bases q>1. We also determine the smallest q having the corresponding uniqueness property in each case, and we prove that all of them are transcendental. We will also obtain some probably new properties of the Thue-Morse sequence. In the last section we answer a question concerning the existence of universal expansions, a notion introduced in [12].