arXiv++ Combinatorics

Prefix normal words are binary words that have no factor with more $1$s than the prefix of the same length. Finite prefix normal words were introduced in [Fici and Lipták, DLT 2011]. In this paper, we study infinite prefix normal words and explore their relationship to some known classes of infinite binary words. In particular, we establish a connection between prefix normal words and Sturmian words, between prefix normal words and abelian complexity, and between prefix normality and lexicographic order.

We study the problem of identifying an initially unknown $m$-bit number by using yes-no questions when up to a fixed number $e$ of the answers can be erroneous. In the variant we consider here questions are restricted to be the union of up to a fixed number of intervals. For any $e \geq 1$ let $k_e$ be the minimum $k$ such that for all sufficiently large $m$, there exists a strategy matching the information theoretic lower bound and only using $k$-interval questions. It is known that $k_e = O(e^2)$. However, it has been conjectured that the $k_e = Θ(e).$ This linearity conjecture is supported by the known results for small values of $e$. For $e\leq2$ we have $k_e = e.$ We extend these results to the case $e=3$. We show $k_3 \leq 4$ improving upon the previously known bound $k_3 \leq 10.$