A1 Refereed original research article in a scientific journal
A square root map on Sturmian words
Authors: Jarkko Peltomäki,Markus A. Whiteland
Conference name: International Conference on Combinatorics on Words
Publisher: Electronic Journal of Combinatorics
Publication year: 2017
Journal: The Electronic Journal of Combinatorics
Article number: #P1.54
Volume: 24
Issue: 1
Number of pages: 50
ISSN: 1077-8926
eISSN: 1077-8926
Web address : http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p54
Self-archived copy’s web address: https://arxiv.org/abs/1509.06349
We introduce a square root map on Sturmian words and study its
properties. Given a Sturmian word of slope $alpha$, there exists
exactly six minimal squares in its language (a minimal square does not
have a square as a proper prefix). A Sturmian word $s$ of slope $alpha$
can be written as a product of these six minimal squares: $s = X_1^2
X_2^2 X_3^2 cdots$. The square root of $s$ is defined to be the word
$sqrt{s} = X_1 X_2 X_3 cdots$. The main result of this paper is that
$sqrt{s}$ is also a Sturmian word of slope $alpha$. Further,
we characterize the Sturmian fixed points of the square root map, and we
describe how to find the intercept of $sqrt{s}$ and an occurrence of
any prefix of $sqrt{s}$ in $s$. Related to the square root map, we characterize the solutions of the word equation $X_1^2 X_2^2 cdots
X_n^2 = (X_1 X_2 cdots X_n)^2$ in the language of Sturmian words of
slope $alpha$ where the words $X_i^2$ are minimal squares of slope
$alpha$.
We also study the square root map in a more general
setting. We explicitly construct an infinite set of non-Sturmian fixed
points of the square root map. We show that the subshifts $Omega$
generated by these words have a curious property: for all $w in Omega$
either $sqrt{w} in Omega$ or $sqrt{w}$ is periodic. In
particular, the square root map can map an aperiodic word to a periodic
word.