A4 Vertaisarvioitu artikkeli konferenssijulkaisussa

A square root map on Sturmian words (Extended abstract)




Alaotsikko(Extended abstract)

TekijätPeltomäki Jarkko,Whiteland Markus

ToimittajaManea Florin,Nowotka Dirk

Konferenssin vakiintunut nimiInternational conference on combinatorics on words

Julkaisuvuosi2015

JournalLecture Notes in Computer Science

Kokoomateoksen nimiCombinatorics on Words : 10th International Conference, WORDS 2015 : Kiel, Germany, September 14-17, 2015 : Proceedings

Sarjan nimiLecture Notes in Computer Science

Vuosikerta9304

Aloitussivu197

Lopetussivu209

Sivujen määrä13

ISBN978-3-319-23659-9

eISBN978-3-319-23660-5

DOIhttps://doi.org/10.1007/978-3-319-23660-5


Tiivistelmä

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 that $sqrt{s}$ is also a Sturmian word of slope $alpha$. Moreover, 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 16:07