rich sturmian trapezoidal words
play

Rich, Sturmian & trapezoidal words Amy Glen School of Chemical - PowerPoint PPT Presentation

Rich, Sturmian & trapezoidal words Amy Glen School of Chemical & Mathematical Sciences Murdoch University, Perth, Australia amy.glen@gmail.com http://wwwstaff.murdoch.edu.au/~aglen 54th AustMS Annual Meeting @ The University of


  1. Finite and Infinite Words Words . . . Depending on the problem to be solved, it may be fruitful to study combinatorial and structural properties of the words representing the elements of a particular set or to impose certain combinatorial conditions on such words. Most commonly studied words are those which satisfy one or more strong regularity properties; for instance, words containing many repetitions or palindromes. The extent to which a word exhibits strong regularity properties is generally inversely proportional to its “complexity”. Basic measure: number of distinct blocks (factors) of each length occurring in the word. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 4 / 40

  2. Finite and Infinite Words Factor Complexity Given a finite or infinite word w , let F n ( w ) denote the set of distinct factors of w of length n ∈ N + . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 5 / 40

  3. Finite and Infinite Words Factor Complexity Given a finite or infinite word w , let F n ( w ) denote the set of distinct factors of w of length n ∈ N + . The function C w ( n ) : N → N defined by C w ( n ) = Card ( F n ( w )) is called the factor complexity function of w . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 5 / 40

  4. Finite and Infinite Words Factor Complexity Given a finite or infinite word w , let F n ( w ) denote the set of distinct factors of w of length n ∈ N + . The function C w ( n ) : N → N defined by C w ( n ) = Card ( F n ( w )) is called the factor complexity function of w . Example √ x = ( 2 ) 2 = 1 . 0110101000001001111 . . . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 5 / 40

  5. Finite and Infinite Words Factor Complexity Given a finite or infinite word w , let F n ( w ) denote the set of distinct factors of w of length n ∈ N + . The function C w ( n ) : N → N defined by C w ( n ) = Card ( F n ( w )) is called the factor complexity function of w . Example √ x = ( 2 ) 2 = 1 . 0110101000001001111 . . . F 1 ( x ) = { 0 , 1 } , C x ( 1 ) = 2 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 5 / 40

  6. Finite and Infinite Words Factor Complexity Given a finite or infinite word w , let F n ( w ) denote the set of distinct factors of w of length n ∈ N + . The function C w ( n ) : N → N defined by C w ( n ) = Card ( F n ( w )) is called the factor complexity function of w . Example √ x = ( 2 ) 2 = 1 . 0110101000001001111 . . . F 1 ( x ) = { 0 , 1 } , C x ( 1 ) = 2 F 2 ( x ) = { 00 , 01 , 10 , 11 } , C x ( 2 ) = 4 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 5 / 40

  7. Finite and Infinite Words Factor Complexity Given a finite or infinite word w , let F n ( w ) denote the set of distinct factors of w of length n ∈ N + . The function C w ( n ) : N → N defined by C w ( n ) = Card ( F n ( w )) is called the factor complexity function of w . Example √ x = ( 2 ) 2 = 1 . 0110101000001001111 . . . F 1 ( x ) = { 0 , 1 } , C x ( 1 ) = 2 F 2 ( x ) = { 00 , 01 , 10 , 11 } , C x ( 2 ) = 4 F 3 ( x ) = { 000 , 001 , 010 , 100 , 101 , 110 , 111 } , C x ( 3 ) = 8 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 5 / 40

  8. Finite and Infinite Words Factor Complexity Given a finite or infinite word w , let F n ( w ) denote the set of distinct factors of w of length n ∈ N + . The function C w ( n ) : N → N defined by C w ( n ) = Card ( F n ( w )) is called the factor complexity function of w . Example √ x = ( 2 ) 2 = 1 . 0110101000001001111 . . . F 1 ( x ) = { 0 , 1 } , C x ( 1 ) = 2 F 2 ( x ) = { 00 , 01 , 10 , 11 } , C x ( 2 ) = 4 F 3 ( x ) = { 000 , 001 , 010 , 100 , 101 , 110 , 111 } , C x ( 3 ) = 8 √ Conjecture: C x ( n ) = 2 n for all n as it is believed 2 is normal in base 2. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 5 / 40

  9. Complexity & Sturmian words Complexity & Periodicity Theorem (Morse-Hedlund 1940) An infinite word w is eventually periodic if and only if C w ( n ) ≤ n for some n ∈ N + . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 6 / 40

  10. Complexity & Sturmian words Complexity & Periodicity Theorem (Morse-Hedlund 1940) An infinite word w is eventually periodic if and only if C w ( n ) ≤ n for some n ∈ N + . That is: w is aperiodic ⇔ C w ( n ) ≥ n + 1 for all n ∈ N . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 6 / 40

  11. Complexity & Sturmian words Complexity & Periodicity Theorem (Morse-Hedlund 1940) An infinite word w is eventually periodic if and only if C w ( n ) ≤ n for some n ∈ N + . That is: w is aperiodic ⇔ C w ( n ) ≥ n + 1 for all n ∈ N . Sturmian words are the aperiodic infinite words of minimal complexity, i.e., an infinite word w is Sturmian if and only if C w ( n ) = n + 1 for each n . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 6 / 40

  12. Complexity & Sturmian words Complexity & Periodicity Theorem (Morse-Hedlund 1940) An infinite word w is eventually periodic if and only if C w ( n ) ≤ n for some n ∈ N + . That is: w is aperiodic ⇔ C w ( n ) ≥ n + 1 for all n ∈ N . Sturmian words are the aperiodic infinite words of minimal complexity, i.e., an infinite word w is Sturmian if and only if C w ( n ) = n + 1 for each n . Low complexity accounts for many interesting features, as it induces certain regularities in such words without, however, making them periodic. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 6 / 40

  13. Complexity & Sturmian words Complexity & Periodicity Theorem (Morse-Hedlund 1940) An infinite word w is eventually periodic if and only if C w ( n ) ≤ n for some n ∈ N + . That is: w is aperiodic ⇔ C w ( n ) ≥ n + 1 for all n ∈ N . Sturmian words are the aperiodic infinite words of minimal complexity, i.e., an infinite word w is Sturmian if and only if C w ( n ) = n + 1 for each n . Low complexity accounts for many interesting features, as it induces certain regularities in such words without, however, making them periodic. References in: Combinatorics, Symbolic Dynamics, Number Theory, Discrete Geometry, Theoretical Physics, Theoretical Computer Science. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 6 / 40

  14. Complexity & Sturmian words Complexity & Periodicity Theorem (Morse-Hedlund 1940) An infinite word w is eventually periodic if and only if C w ( n ) ≤ n for some n ∈ N + . That is: w is aperiodic ⇔ C w ( n ) ≥ n + 1 for all n ∈ N . Sturmian words are the aperiodic infinite words of minimal complexity, i.e., an infinite word w is Sturmian if and only if C w ( n ) = n + 1 for each n . Low complexity accounts for many interesting features, as it induces certain regularities in such words without, however, making them periodic. References in: Combinatorics, Symbolic Dynamics, Number Theory, Discrete Geometry, Theoretical Physics, Theoretical Computer Science. Numerous equivalent definitions & characterisations . . . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 6 / 40

  15. Complexity & Sturmian words Palindrome Complexity Given a finite or infinite word w , let P w ( n ) denote the palindromic complexity function of w , which counts the number of palindromic factors of w of each length n ≥ 0. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 7 / 40

  16. Complexity & Sturmian words Palindrome Complexity Given a finite or infinite word w , let P w ( n ) denote the palindromic complexity function of w , which counts the number of palindromic factors of w of each length n ≥ 0. Theorem (Droubay-Pirillo 1999) An infinite word w is Sturmian if and only if � 1 if n is even P w ( n ) = 2 if n is odd Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 7 / 40

  17. Complexity & Sturmian words Palindrome Complexity Given a finite or infinite word w , let P w ( n ) denote the palindromic complexity function of w , which counts the number of palindromic factors of w of each length n ≥ 0. Theorem (Droubay-Pirillo 1999) An infinite word w is Sturmian if and only if � 1 if n is even P w ( n ) = 2 if n is odd Note: Any Sturmian word is over a 2-letter alphabet since it has two distinct factors of length 1. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 7 / 40

  18. Complexity & Sturmian words Palindrome Complexity Given a finite or infinite word w , let P w ( n ) denote the palindromic complexity function of w , which counts the number of palindromic factors of w of each length n ≥ 0. Theorem (Droubay-Pirillo 1999) An infinite word w is Sturmian if and only if � 1 if n is even P w ( n ) = 2 if n is odd Note: Any Sturmian word is over a 2-letter alphabet since it has two distinct factors of length 1. A Sturmian word over the alphabet { a , b } contains either aa or bb , but not both. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 7 / 40

  19. Complexity & Sturmian words Constructing Sturmian words Let’s consider a nice geometric realisation, starting with a special class of finite words . . . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 8 / 40

  20. Complexity & Sturmian words Constructing Sturmian words Let’s consider a nice geometric realisation, starting with a special class of finite words . . . Words over a 2-letter alphabet { a , b } that are factors of (infinite) Sturmian words are called finite Sturmian words – they are the cyclic shifts of Christoffel words obtained via the following construction. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 8 / 40

  21. Complexity & Sturmian words Constructing Sturmian words Let’s consider a nice geometric realisation, starting with a special class of finite words . . . Words over a 2-letter alphabet { a , b } that are factors of (infinite) Sturmian words are called finite Sturmian words – they are the cyclic shifts of Christoffel words obtained via the following construction. Using a similar construction we obtain infinite Sturmian words. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 8 / 40

  22. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 9 / 40

  23. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 10 / 40

  24. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 11 / 40

  25. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 12 / 40

  26. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 13 / 40

  27. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 14 / 40

  28. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 15 / 40

  29. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 16 / 40

  30. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 17 / 40

  31. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 a L(3,5) = a Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 18 / 40

  32. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 a a L(3,5) = aa Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 19 / 40

  33. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 b a a L(3,5) = aab Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 20 / 40

  34. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 a b a a L(3,5) = aaba Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 21 / 40

  35. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 a a b a a L(3,5) = aabaa Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 22 / 40

  36. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 b a a b a a L(3,5) = aabaab Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 23 / 40

  37. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 a b a a b a a L(3,5) = aabaaba Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 24 / 40

  38. Complexity & Sturmian words Christoffel words: Construction by example Lower Christoffel word of slope 3 5 b a b a a b a a L(3,5) = aabaabab Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 25 / 40

  39. Complexity & Sturmian words Christoffel words: Construction by example Lower & Upper Christoffel words of slope 3 5 a a b b a a a b b a a a b b a a L(3,5) = aabaabab U(3,5) = babaabaa Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 26 / 40

  40. Complexity & Sturmian words From Christoffel words to Sturmian words Sturmian words: Obtained *similarly* by replacing the line segment by a half-line: y = α x + ρ with irrational α ∈ ( 0 , 1 ) , ρ ∈ R . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 27 / 40

  41. Complexity & Sturmian words From Christoffel words to Sturmian words Sturmian words: Obtained *similarly* by replacing the line segment by a half-line: y = α x + ρ with irrational α ∈ ( 0 , 1 ) , ρ ∈ R . √ 5 − 1 Example: y = x − → Fibonacci word 2 b a a b a b a a b a a Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 27 / 40

  42. Complexity & Sturmian words From Christoffel words to Sturmian words Sturmian words: Obtained *similarly* by replacing the line segment by a half-line: y = α x + ρ with irrational α ∈ ( 0 , 1 ) , ρ ∈ R . √ 5 − 1 Example: y = x − → Fibonacci word 2 b a a b a b a a b a a f = abaababaabaababaaba · · · (note: disregard 1st a in construction) Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 27 / 40

  43. Complexity & Sturmian words From Christoffel words to Sturmian words Sturmian words: Obtained *similarly* by replacing the line segment by a half-line: y = α x + ρ with irrational α ∈ ( 0 , 1 ) , ρ ∈ R . √ 5 − 1 Example: y = x − → Fibonacci word 2 b a a b a b a a b a a f = abaababaabaababaaba · · · (note: disregard 1st a in construction) √ 5 − 1 Standard Sturmian word of slope , golden ratio conjugate 2 Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 27 / 40

  44. Trapezoidal words Factor complexity of finite Sturmian words In 1999, A. de Luca studied the behaviour of the factor complexity of finite words. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 28 / 40

  45. Trapezoidal words Factor complexity of finite Sturmian words In 1999, A. de Luca studied the behaviour of the factor complexity of finite words. He showed: Theorem (de Luca 1999) If w is a finite Sturmian word of length | w | (i.e., a cyclic shift of a Christoffel word), then the graph of C w ( n ) as a function of n (for 0 ≤ n ≤ | w | ) is that of a regular trapezoid (possibly degenerated to a triangle). Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 28 / 40

  46. Trapezoidal words Factor complexity of finite Sturmian words In 1999, A. de Luca studied the behaviour of the factor complexity of finite words. He showed: Theorem (de Luca 1999) If w is a finite Sturmian word of length | w | (i.e., a cyclic shift of a Christoffel word), then the graph of C w ( n ) as a function of n (for 0 ≤ n ≤ | w | ) is that of a regular trapezoid (possibly degenerated to a triangle). That is: C w ( n ) increases by 1 with each n on some interval of length r . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 28 / 40

  47. Trapezoidal words Factor complexity of finite Sturmian words In 1999, A. de Luca studied the behaviour of the factor complexity of finite words. He showed: Theorem (de Luca 1999) If w is a finite Sturmian word of length | w | (i.e., a cyclic shift of a Christoffel word), then the graph of C w ( n ) as a function of n (for 0 ≤ n ≤ | w | ) is that of a regular trapezoid (possibly degenerated to a triangle). That is: C w ( n ) increases by 1 with each n on some interval of length r . Then C w ( n ) is constant on some interval of length s . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 28 / 40

  48. Trapezoidal words Factor complexity of finite Sturmian words In 1999, A. de Luca studied the behaviour of the factor complexity of finite words. He showed: Theorem (de Luca 1999) If w is a finite Sturmian word of length | w | (i.e., a cyclic shift of a Christoffel word), then the graph of C w ( n ) as a function of n (for 0 ≤ n ≤ | w | ) is that of a regular trapezoid (possibly degenerated to a triangle). That is: C w ( n ) increases by 1 with each n on some interval of length r . Then C w ( n ) is constant on some interval of length s . Finally C w ( n ) decreases by 1 with each n on an interval of length r . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 28 / 40

  49. Trapezoidal words Factor complexity of finite Sturmian words In 1999, A. de Luca studied the behaviour of the factor complexity of finite words. He showed: Theorem (de Luca 1999) If w is a finite Sturmian word of length | w | (i.e., a cyclic shift of a Christoffel word), then the graph of C w ( n ) as a function of n (for 0 ≤ n ≤ | w | ) is that of a regular trapezoid (possibly degenerated to a triangle). That is: C w ( n ) increases by 1 with each n on some interval of length r . Then C w ( n ) is constant on some interval of length s . Finally C w ( n ) decreases by 1 with each n on an interval of length r . So if we set D w ( n ) = C w ( n + 1 ) − C w ( n ) for each n with 0 ≤ n ≤ | w | − 1, then the word D w ( 0 ) D w ( 1 ) · · · D w ( | w | − 1 ) takes the form 1 r 0 s ( − 1 ) r . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 28 / 40

  50. Trapezoidal words Example Graph of the factor complexity of the Christoffel word L ( 3 , 5 ) = aabaabab Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 29 / 40

  51. Trapezoidal words Trapezoidal words This “trapezoidal property” does not characterise Sturmian words. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 30 / 40

  52. Trapezoidal words Trapezoidal words This “trapezoidal property” does not characterise Sturmian words. For example, aabb is trapezoidal, but not Sturmian. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 30 / 40

  53. Trapezoidal words Trapezoidal words This “trapezoidal property” does not characterise Sturmian words. For example, aabb is trapezoidal, but not Sturmian. Note: If w is a trapezoidal word (i.e., its ‘complexity’ graph has the same behaviour as that of Sturmian words), then necessarily C w ( 1 ) = 2. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 30 / 40

  54. Trapezoidal words Trapezoidal words This “trapezoidal property” does not characterise Sturmian words. For example, aabb is trapezoidal, but not Sturmian. Note: If w is a trapezoidal word (i.e., its ‘complexity’ graph has the same behaviour as that of Sturmian words), then necessarily C w ( 1 ) = 2. This is because there is 1 factor of length 0, namely the empty word ε . Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 30 / 40

  55. Trapezoidal words Trapezoidal words This “trapezoidal property” does not characterise Sturmian words. For example, aabb is trapezoidal, but not Sturmian. Note: If w is a trapezoidal word (i.e., its ‘complexity’ graph has the same behaviour as that of Sturmian words), then necessarily C w ( 1 ) = 2. This is because there is 1 factor of length 0, namely the empty word ε . So any trapezoidal word is on a binary alphabet and the family of trapezoidal words properly contains all finite Sturmian words. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 30 / 40

  56. Trapezoidal words Trapezoidal words This “trapezoidal property” does not characterise Sturmian words. For example, aabb is trapezoidal, but not Sturmian. Note: If w is a trapezoidal word (i.e., its ‘complexity’ graph has the same behaviour as that of Sturmian words), then necessarily C w ( 1 ) = 2. This is because there is 1 factor of length 0, namely the empty word ε . So any trapezoidal word is on a binary alphabet and the family of trapezoidal words properly contains all finite Sturmian words. F. D’Alessandro (2002): classified all non-Sturmian trapezoidal words. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 30 / 40

  57. Trapezoidal words Characterisation of Sturmian palindromes We have shown: Theorem (de Luca-G.-Zamboni) Let w be a palindrome. Then w is Sturmian if and only if w is trapezoidal. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 31 / 40

  58. Trapezoidal words Characterisation of Sturmian palindromes We have shown: Theorem (de Luca-G.-Zamboni) Let w be a palindrome. Then w is Sturmian if and only if w is trapezoidal. Theorem (de Luca-G.-Zamboni) Let w be a trapezoidal word. Then w contains | w | + 1 distinct palindromes (including ε ). Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 31 / 40

  59. Trapezoidal words Characterisation of Sturmian palindromes We have shown: Theorem (de Luca-G.-Zamboni) Let w be a palindrome. Then w is Sturmian if and only if w is trapezoidal. Theorem (de Luca-G.-Zamboni) Let w be a trapezoidal word. Then w contains | w | + 1 distinct palindromes (including ε ). That is, trapezoidal words (and hence finite Sturmian words) are “rich” in palindromes in the sense that they contain the maximum number of distinct palindromic factors since: Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 31 / 40

  60. Trapezoidal words Characterisation of Sturmian palindromes We have shown: Theorem (de Luca-G.-Zamboni) Let w be a palindrome. Then w is Sturmian if and only if w is trapezoidal. Theorem (de Luca-G.-Zamboni) Let w be a trapezoidal word. Then w contains | w | + 1 distinct palindromes (including ε ). That is, trapezoidal words (and hence finite Sturmian words) are “rich” in palindromes in the sense that they contain the maximum number of distinct palindromic factors since: Theorem (Droubay-Justin-Pirillo 2001) A finite word w contains at most | w | + 1 distinct palindromes (including ε ). Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 31 / 40

  61. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  62. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  63. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  64. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Any trapezoidal word is rich, but not conversely. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  65. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Any trapezoidal word is rich, but not conversely. E.g., aabbaa is rich, but not trapezoidal Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  66. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Any trapezoidal word is rich, but not conversely. E.g., aabbaa is rich, but not trapezoidal ( C ( 1 ) = 2, C ( 2 ) = 4) Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  67. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Any trapezoidal word is rich, but not conversely. E.g., aabbaa is rich, but not trapezoidal ( C ( 1 ) = 2, C ( 2 ) = 4) Definition (G.-Justin 2007) An infinite word is rich iff all of its factors are rich. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  68. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Any trapezoidal word is rich, but not conversely. E.g., aabbaa is rich, but not trapezoidal ( C ( 1 ) = 2, C ( 2 ) = 4) Definition (G.-Justin 2007) An infinite word is rich iff all of its factors are rich. Examples a ω = aaaaaa · · · and ab ω = abbb · · · are rich. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  69. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Any trapezoidal word is rich, but not conversely. E.g., aabbaa is rich, but not trapezoidal ( C ( 1 ) = 2, C ( 2 ) = 4) Definition (G.-Justin 2007) An infinite word is rich iff all of its factors are rich. Examples a ω = aaaaaa · · · and ab ω = abbb · · · are rich. ( ab ) ω = abababab · · · and ( aba ) ω = abaabaaba · · · are rich. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  70. Rich words Rich words Definition (G.-Justin 2007) A finite word w is rich iff w contains exactly | w | + 1 distinct palindromes. Examples abac is rich, whereas abca is not rich. The word rich is rich . . . and poor is rich too! Any trapezoidal word is rich, but not conversely. E.g., aabbaa is rich, but not trapezoidal ( C ( 1 ) = 2, C ( 2 ) = 4) Definition (G.-Justin 2007) An infinite word is rich iff all of its factors are rich. Examples a ω = aaaaaa · · · and ab ω = abbb · · · are rich. ( ab ) ω = abababab · · · and ( aba ) ω = abaabaaba · · · are rich. abc is rich, but ( abc ) ω = abcabcabc · · · is not rich. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 32 / 40

  71. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  72. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  73. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  74. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  75. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  76. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  77. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  78. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  79. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

  80. Rich words Rich words . . . Roughly speaking, a finite or infinite word is rich if and only if a new palindrome is introduced at each new position. Example: abaabaaabaaaabaaaaab · · · Amy Glen (Murdoch University) Rich, Sturmian & trapezoidal words September 2010 33 / 40

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend