arXiv++ Combinatorics

Brlek and Reutenauer conjectured that any infinite word u with language closed under reversal satisfies the equality 2D(u)=\sum_{n=0}^{\infty} T(n) in which D(u) denotes the defect of u and T(n) denotes C(n+1)-C(n)+2-P(n+1)-P(n), where C and P are the factor and palindromic complexity of u, respectively. Brlek and Reutenauer verified their conjecture for periodic infinite words. We prove the conjecture for uniformly recurrent words. Moreover, we summarize results and some open problems related to defect, which may be useful for the proof of Brlek-Reutenauer Conjecture in full generality.

In this paper, we provide a new characterization of uniformly recurrent words with finite defect based on a relation between the palindromic and factor complexity. Furthermore, we introduce a class of morphisms P_ret closed under composition and we show that a uniformly recurrent word with finite defect is an image of a rich (also called full) word under a morphism of class P_ret. This class is closely related to the well-known class P defined by Hof, Knill, and Simon; every morphism from P_ret is conjugate to a morphism of class P.

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.

The properties characterizing Sturmian words are considered for words on multiliteral alphabets. We summarize various generalizations of Sturmian words to multiliteral alphabets and enlarge the list of known relationships among these generalizations. We also collect many examples of infinite words to illustrate differences in the generalized definitions of Sturmian words.

We study infinite words u over an alphabet A satisfying the property P : P(n)+ P(n+1) = 1+ #A for any n in N, where P(n) denotes the number of palindromic factors of length n occurring in the language of u. We study also infinite words satisfying a stronger property PE: every palindrome of u has exactly one palindromic extension in u. For binary words, the properties P and PE coincide and these properties characterize Sturmian words, i.e., words with the complexity C(n)=n+1 for any n in N. In this paper, we focus on ternary infinite words with the language closed under reversal. For such words u, we prove that if C(n)=2n+1 for any n in N, then u satisfies the property P and moreover u is rich in palindromes. Also a sufficient condition for the property PE is given. We construct a word demonstrating that P on a ternary alphabet does not imply PE.