MONOCHROMATIC FACTORIZATIONS OF WORDS AND PERIODICITY

Abstract

In 2006 Brown asked the following question in the spirit of Ramsey theory: given a non-periodic infinite word $x=x_{1}x_{2}x_{3}\ldots$ with values in a set $\mathbb{A}$, does there exist a finite colouring $\unicode[STIX]{x1D711}:\mathbb{A}^{+}\rightarrow C$ relative to which $x$ does not admit a $\unicode[STIX]{x1D711}$-monochromatic factorization, i.e. a factorization of the form $x=u_{1}u_{2}u_{3}\ldots$ with $\unicode[STIX]{x1D711}(u_{i})=\unicode[STIX]{x1D711}(u_{\!j})$ for all $i,j\geqslant 1$? Various partial results in support of an affirmative answer to this question have appeared in the literature in recent years. In particular it is known that the question admits an affirmative answer for all non-uniformly recurrent words and for various classes of uniformly recurrent words including Sturmian words and fixed points of strongly recognizable primitive substitutions. In this paper we give a complete and optimal affirmative answer to this question by showing that if $x=x_{1}x_{2}x_{3}\ldots$ is an infinite non-periodic word with values in a set $\mathbb{A}$, then there exists a $2$-colouring $\unicode[STIX]{x1D711}:\mathbb{A}^{+}\rightarrow \{0,1\}$ such that for any factorization $x=u_{1}u_{2}u_{3}\ldots$ we have $\unicode[STIX]{x1D711}(u_{i})\neq \unicode[STIX]{x1D711}(u_{\!j})$ for some $i\neq j$.