A square root map on Sturmian words




Jarkko Peltomäki,Markus A. Whiteland

International Conference on Combinatorics on Words

PublisherElectronic Journal of Combinatorics

2017

The Electronic Journal of Combinatorics

#P1.54

24

1

50

1077-8926

1077-8926

http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i1p54

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.



Last updated on 2024-26-11 at 22:05