Morphic words and equidistributed sequences

From MaRDI portal
Publication:2283040



Abstract: The problem we consider is the following: Given an infinite word w on an ordered alphabet, construct the sequence uw=(u[n])n, equidistributed on [0,1] and such that u[m]<u[n] if and only if sigmam(w)<sigman(w), where sigma is the shift operation, erasing the first symbol of w. The sequence uw exists and is unique for every word with well-defined positive uniform frequencies of every factor, or, in dynamical terms, for every element of a uniquely ergodic subshift. In this paper we describe the construction of uw for the case when the subshift of w is generated by a morphism of a special kind; then we overcome some technical difficulties to extend the result to all binary morphisms. The sequence uw in this case is also constructed with a morphism. At last, we introduce a software tool which, given a binary morphism varphi, computes the morphism on extended intervals and first elements of the equidistributed sequences associated with fixed points of varphi.


For an aperiodic (uniquely ergodic) one-sided shift \((X,\sigma)\) defined by a primitive substitution (or morphism) \(\varphi\) on an ordered alphabet \(A\), the authors consider the map \(\nu\) assigning to each \(w \in X\) the measure of all lexicographically smaller words. The sequence \(N(w) = (\nu(\sigma^n w))_{n\in\mathbb{N}}\) is then uniformly distributed on \([0,1]\) for all \(w \in X\). When \(\varphi\) is order-preserving and \(\{\sigma^n \varphi([a]): a\in A,0\le n|\varphi(a)|\}\) forms a partition of \(X\) into intervals, the authors give a morphism \(f\) on an extension of \([0,1]\) such that \(f \circ N = N \circ \varphi\). Then, for the fixed point \(w\) of \(\varphi\) starting with the smallest letter in \(A\), the sequence \(N(w)\) is the fixed point of \(f\) starting with \(0\). A construction for arbitrary binary substitutions is also given, together with a computer program.











This page was built for publication: Morphic words and equidistributed sequences

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