79 research outputs found
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
On 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(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
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
Palindromic complexity of trees
We consider finite trees with edges labeled by letters on a finite alphabet
. Each pair of nodes defines a unique labeled path whose trace is a
word of the free monoid . The set of all such words defines the
language of the tree. In this paper, we investigate the palindromic complexity
of trees and provide hints for an upper bound on the number of distinct
palindromes in the language of a tree.Comment: Submitted to the conference DLT201
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
Two infinite families of polyominoes that tile the plane by translation in two distinct ways
It has been proved that, among the polyominoes that tile the plane by translation, the so-called squares tile the plane in at most two distinct ways. In this paper, we focus on double squares, that is, the polyominoes that tile the plane in exactly two distinct ways. Our approach is based on solving equations on words, which allows us to exhibit properties about their shape. Moreover, we describe two infinite families of double squares. The first one is directly linked to Christoffel words and may be interpreted as segments of thick straight lines. The second one stems from the Fibonacci sequence and reveals some fractal features
An Optimal Algorithm for Tiling the Plane with a Translated Polyomino
We give a -time algorithm for determining whether translations of a
polyomino with edges can tile the plane. The algorithm is also a
-time algorithm for enumerating all such tilings that are also regular,
and we prove that at most such tilings exist.Comment: In proceedings of ISAAC 201
Combinatorial aspects of Escher tilings
International audienceIn the late 30's, Maurits Cornelis Escher astonished the artistic world by producing some puzzling drawings. In particular, the tesselations of the plane obtained by using a single tile appear to be a major concern in his work, drawing attention from the mathematical community. Since a tile in the continuous world can be approximated by a path on a sufficiently small square grid - a widely used method in applications using computer displays - the natural combinatorial object that models the tiles is the polyomino. As polyominoes are encoded by paths on a four letter alphabet coding their contours, the use of combinatorics on words for the study of tiling properties becomes relevant. In this paper we present several results, ranging from recognition of these tiles to their generation, leading also to some surprising links with the well-known sequences of Fibonacci and Pell.Lorsque Maurits Cornelis Escher commença à la fin des années 30 à produire des pavages du plan avec des tuiles, il étonna le monde artistique par la singularité de ses dessins. En particulier, les pavages du plan obtenus avec des copies d'une seule tuile apparaissent souvent dans son œuvre et ont attiré peu à peu l'attention de la communauté mathématique. Puisqu'une tuile dans le monde continu peut être approximée par un chemin sur un réseau carré suffisamment fin - une méthode universellement utilisée dans les applications utilisant des écrans graphiques - l'objet combinatoire qui modèle adéquatement la tuile est le polyomino. Comme ceux-ci sont naturellement codés par des chemins sur un alphabet de quatre lettres, l'utilisation de la combinatoire des mots devient pertinente pour l'étude des propriétés des tuiles pavantes. Nous présentons dans ce papier plusieurs résultats, allant de la reconnaissance de ces tuiles à leur génération, conduisant à des liens surprenants avec les célèbres suites de Fibonacci et de Pell
Extensions of rich words
In [X. Droubay et al, Episturmian words and some constructions of de Luca and
Rauzy, Theoret. Comput. Sci. 255 (2001)], it was proved that every word w has
at most |w|+1 many distinct palindromic factors, including the empty word. The
unified study of words which achieve this limit was initiated in [A. Glen et
al, Palindromic richness, Eur. Jour. of Comb. 30 (2009)]. They called these
words rich (in palindromes).
This article contains several results about rich words and especially
extending them. We say that a rich word w can be extended richly with a word u
if wu is rich. Some notions are also made about the infinite defect of a word,
the number of rich words of length n and two-dimensional rich words.Comment: 19 pages, 3 figure
- …