arXiv++ Combinatorics

We give an effective characterization of the lexicographically least word in the orbit closure of the Rudin-Shapiro word w having a specified prefix. In particular, the lexicographically least word in the orbit closure of the Rudin-Shapiro word is 0w. This answers a question Allouche et al.

Richomme asked the following question: what is the infimum of the real numbers $α$ > 2 such that there exists an infinite word that avoids $α$-powers but contains arbitrarily large squares beginning at every position? We resolve this question in the case of a binary alphabet by showing that the answer is $α$ = 7/3.

For each $α> 2$ there is a binary word with critical exponent $α$.