327 research outputs found
Extremal properties of (epi)Sturmian sequences and distribution modulo 1
Starting from a study of Y. Bugeaud and A. Dubickas (2005) on a question in
distribution of real numbers modulo 1 via combinatorics on words, we survey
some combinatorial properties of (epi)Sturmian sequences and distribution
modulo 1 in connection to their work. In particular we focus on extremal
properties of (epi)Sturmian sequences, some of which have been rediscovered
several times
Directive words of episturmian words: equivalences and normalization
Episturmian morphisms constitute a powerful tool to study episturmian words.
Indeed, any episturmian word can be infinitely decomposed over the set of pure
episturmian morphisms. Thus, an episturmian word can be defined by one of its
morphic decompositions or, equivalently, by a certain directive word. Here we
characterize pairs of words directing a common episturmian word. We also
propose a way to uniquely define any episturmian word through a normalization
of its directive words. As a consequence of these results, we characterize
episturmian words having a unique directive word.Comment: 15 page
Characterizations of finite and infinite episturmian words via lexicographic orderings
In this paper, we characterize by lexicographic order all finite Sturmian and
episturmian words, i.e., all (finite) factors of such infinite words.
Consequently, we obtain a characterization of infinite episturmian words in a
"wide sense" (episturmian and episkew infinite words). That is, we characterize
the set of all infinite words whose factors are (finite) episturmian.
Similarly, we characterize by lexicographic order all balanced infinite words
over a 2-letter alphabet; in other words, all Sturmian and skew infinite words,
the factors of which are (finite) Sturmian.Comment: 18 pages; to appear in the European Journal of Combinatoric
Matrices of 3iet preserving morphisms
We study matrices of morphisms preserving the family of words coding
3-interval exchange transformations. It is well known that matrices of
morphisms preserving sturmian words (i.e. words coding 2-interval exchange
transformations with the maximal possible factor complexity) form the monoid
, where
.
We prove that in case of exchange of three intervals, the matrices preserving
words coding these transformations and having the maximal possible subword
complexity belong to the monoid $\{\boldsymbol{M}\in\mathbb{N}^{3\times 3} |
\boldsymbol{M}\boldsymbol{E}\boldsymbol{M}^T = \pm\boldsymbol{E},\
\det\boldsymbol{M}=\pm 1\}\boldsymbol{E} =
\Big(\begin{smallmatrix}0&1&1 -1&0&1 -1&-1&0\end{smallmatrix}\Big)$.Comment: 26 pages, 4 figure
Relation between powers of factors and recurrence function characterizing Sturmian words
In this paper we use the relation of the index of an infinite aperiodic word
and its recurrence function to give another characterization of Sturmian words.
As a byproduct, we give a new proof of theorem describing the index of a
Sturmian word in terms of the continued fraction expansion of its slope. This
theorem was independently proved by Carpi and de Luca, and Damanik and Lenz.Comment: 11 page
A characterization of fine words over a finite alphabet
To any infinite word w over a finite alphabet A we can associate two infinite
words min(w) and max(w) such that any prefix of min(w) (resp. max(w)) is the
lexicographically smallest (resp. greatest) amongst the factors of w of the
same length. We say that an infinite word w over A is "fine" if there exists an
infinite word u such that, for any lexicographic order, min(w) = au where a =
min(A). In this paper, we characterize fine words; specifically, we prove that
an infinite word w is fine if and only if w is either a "strict episturmian
word" or a strict "skew episturmian word''. This characterization generalizes a
recent result of G. Pirillo, who proved that a fine word over a 2-letter
alphabet is either an (aperiodic) Sturmian word, or an ultimately periodic (but
not periodic) infinite word, all of whose factors are (finite) Sturmian.Comment: 16 pages; presented at the conference on "Combinatorics, Automata and
Number Theory", Liege, Belgium, May 8-19, 2006 (to appear in a special issue
of Theoretical Computer Science
- …