1,051 research outputs found
On Theta-palindromic Richness
In this paper we study generalization of the reversal mapping realized by an
arbitrary involutory antimorphism . It generalizes the notion of a
palindrome into a -palindrome -- a word invariant under . For
languages closed under we give the relation between
-palindromic complexity and factor complexity. We generalize the notion
of richness to -richness and we prove analogous characterizations of
words that are -rich, especially in the case of set of factors
invariant under . A criterion for -richness of
-episturmian words is given together with other examples of
-rich words.Comment: 14 page
On Words with the Zero Palindromic Defect
We study the set of finite words with zero palindromic defect, i.e., words
rich in palindromes. This set is factorial, but not recurrent. We focus on
description of pairs of rich words which cannot occur simultaneously as factors
of a longer rich word
Rich, Sturmian, and trapezoidal words
In this paper we explore various interconnections between rich words,
Sturmian words, and trapezoidal words. Rich words, first introduced in
arXiv:0801.1656 by the second and third authors together with J. Justin and S.
Widmer, constitute a new class of finite and infinite words characterized by
having the maximal number of palindromic factors. Every finite Sturmian word is
rich, but not conversely. Trapezoidal words were first introduced by the first
author in studying the behavior of the subword complexity of finite Sturmian
words. Unfortunately this property does not characterize finite Sturmian words.
In this note we show that the only trapezoidal palindromes are Sturmian. More
generally we show that Sturmian palindromes can be characterized either in
terms of their subword complexity (the trapezoidal property) or in terms of
their palindromic complexity. We also obtain a similar characterization of rich
palindromes in terms of a relation between palindromic complexity and subword
complexity.Comment: 7 page
Languages invariant under more symmetries: overlapping factors versus palindromic richness
Factor complexity and palindromic complexity of
infinite words with language closed under reversal are known to be related by
the inequality for any \,. Word for which
the equality is attained for any is usually called rich in palindromes. In
this article we study words whose languages are invariant under a finite group
of symmetries. For such words we prove a stronger version of the above
inequality. We introduce notion of -palindromic richness and give several
examples of -rich words, including the Thue-Morse sequence as well.Comment: 22 pages, 1 figur
Generalized Thue-Morse words and palindromic richness
We prove that the generalized Thue-Morse word defined for
and as , where denotes the sum of digits in the base-
representation of the integer , has its language closed under all elements
of a group isomorphic to the dihedral group of order consisting of
morphisms and antimorphisms. Considering simultaneously antimorphisms , we show that is saturated by -palindromes
up to the highest possible level. Using the terminology generalizing the notion
of palindromic richness for more antimorphisms recently introduced by the
author and E. Pelantov\'a, we show that is -rich. We
also calculate the factor complexity of .Comment: 11 page
Proof of Brlek-Reutenauer conjecture
Brlek and Reutenauer conjectured that any infinite word u with language
closed under reversal satisfies the equality 2D(u) = \sum_{n=0}^{\infty}T_u(n)
in which D(u) denotes the defect of u and T_u(n) denotes C_u(n+1)-C_u(n) +2 -
P_U(n+1) - P_u(n), where C_u and P_u are the factor and palindromic complexity
of u, respectively. This conjecture was verified for periodic words by Brlek
and Reutenauer themselves. Using their results for periodic words, we have
recently proved the conjecture for uniformly recurrent words. In the present
article we prove the conjecture in its general version by a new method without
exploiting the result for periodic words.Comment: 9 page
- …