English

On a faithful representation of Sturmian morphisms

Combinatorics 2023-03-21 v2 Formal Languages and Automata Theory

Abstract

The set of morphisms mapping any Sturmian sequence to a Sturmian sequence forms together with composition the so-called monoid of Sturm. For this monoid, we defne a faithful representation by (3×3)(3\times 3)-matrices with integer entries. We find three convex cones in R3\mathbb{R}^3 and show that a matrix RSl(Z,3)R \in Sl(\mathbb{Z},3) is a matrix representing a Sturmian morphism if the three cones are invariant under multiplication by RR or R1R^{-1}. This property offers a new tool to study Sturmian sequences. We provide alternative proofs of four known results on Sturmian sequences fixed by a primitive morphism and a new result concerning the square root of a Sturmian sequence.

Keywords

Cite

@article{arxiv.2203.00373,
  title  = {On a faithful representation of Sturmian morphisms},
  author = {Jana Lepšová and Edita Pelantová and Štěpán Starosta},
  journal= {arXiv preprint arXiv:2203.00373},
  year   = {2023}
}

Comments

26 pages