Monochromatic factorizations of words and periodicity

From MaRDI portal
Publication:4604492

DOI10.1112/S0025579317000377zbMATH Open1386.68123arXiv1608.03519OpenAlexW2963816020WikidataQ114077767 ScholiaQ114077767MaRDI QIDQ4604492FDOQ4604492


Authors: Caïus Wojcik, Luca Q. Zamboni Edit this on Wikidata


Publication date: 26 February 2018

Published in: Mathematika (Search for Journal in Brave)

Abstract: In 2006 T. Brown asked the following question: Given a non-periodic infinite word x=x1x2x3cdots with values in a non-empty set mathbbA, does there exist a finite coloring varphi:mathbbA+ightarrowC relative to which x does not admit a varphi-monochromatic factorisation, i.e., a factorisation of the form x=u1u2u3cdots with varphi(ui)=varphi(uj) for all i,jgeq1? 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 various classes of uniformly recurrent words including Sturmian words. In this note we answer this question in general by showing that if x=x1x2x3cdots is an infinite word with values in a non-empty set mathbbA, then x is periodic if and only if for every 2-coloring varphi:mathbbA+ightarrow0,1 there exists a varphi-monochromatic factorisation of x. This characterization of periodicity of infinite words may be reformulated in the language of ultrafilters. Let denote the Stone-Cech compactification of the discrete semigroup mathbbA+ which we regard as the set of all ultrafilters on mathbbA+. Then x is periodic if and only if there exists such that for each Ainp there exists a factorisation x=u1u2u3cdots with each uiinA.


Full work available at URL: https://arxiv.org/abs/1608.03519




Recommendations



Cites Work


Cited In (10)





This page was built for publication: Monochromatic factorizations of words and periodicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4604492)