pattern avoidance in motzkin paths
play

Pattern Avoidance in Motzkin Paths Dan Daly Mary Ramey Southeast - PowerPoint PPT Presentation

Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Pattern Avoidance in Motzkin Paths Dan Daly Mary Ramey Southeast Missouri State University July 12, 2018 Permutation Patterns 2018


  1. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Pattern Avoidance in Motzkin Paths Dan Daly Mary Ramey Southeast Missouri State University July 12, 2018 Permutation Patterns 2018 Daly / Ramey Pattern Avoidance in Motzkin Paths

  2. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Outline Definitions and Previous Work 1 Patterns of Lengths 1 and 2 2 Patterns of Length 3 3 Other Patterns 4 Future Work 5 Daly / Ramey Pattern Avoidance in Motzkin Paths

  3. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Dyck Paths Definition A Dyck Path of semilength n is a lattice path from (0 , 0) to (2 n , 0) allowing (1 , 1) and (1 , − 1) steps never going below the x -axis. UUDUUDDDUDUD Daly / Ramey Pattern Avoidance in Motzkin Paths

  4. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns in Dyck Paths Bernini, Ferrari, Pinzani, West. (2013) Daly / Ramey Pattern Avoidance in Motzkin Paths

  5. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns in Dyck Paths Bernini, Ferrari, Pinzani, West. (2013) Definition A Dyck path π contains a pattern σ if π contains σ as a subword. Otherwise π avoids σ . UUDUUD contains UDUD , but avoids UUUDDD . Notation: If σ is a pattern, will use σ k to denote σσ . . . σ . � �� � k times Daly / Ramey Pattern Avoidance in Motzkin Paths

  6. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns in Dyck Paths Let P be a set of patterns. D n ( P ) is the set of all Dyck paths of semilength n avoiding all elements of P and d n ( P ) = # D n ( P ). Daly / Ramey Pattern Avoidance in Motzkin Paths

  7. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns in Dyck Paths Let P be a set of patterns. D n ( P ) is the set of all Dyck paths of semilength n avoiding all elements of P and d n ( P ) = # D n ( P ). Theorem (Bernini et al, 2013) d n ( UD ) = 0 d n (( UD ) 2 ) = 1 � n � d n (( UD ) 3 ) = 1 + 2 d n (( UD ) k ) = � k − 1 i =0 N n , i (N n , i = n , i th Narayana number) Daly / Ramey Pattern Avoidance in Motzkin Paths

  8. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Motzkin Paths Definition A Motzkin path of length n is a lattice path from (0 , 0) to ( n , 0) allowing (1 , 1), (1 , − 1) and (1 , 0) steps never going below the x -axis. UHDUUHHHDUDD Daly / Ramey Pattern Avoidance in Motzkin Paths

  9. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Motzkin Paths and Motzkin Numbers Motzkin paths are counted by Motzkin numbers (OEIS A001006), M n . n 1 2 3 4 5 6 7 8 9 10 m n 1 2 4 9 21 51 127 323 835 2188 Daly / Ramey Pattern Avoidance in Motzkin Paths

  10. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Motzkin Paths and Motzkin Numbers Motzkin paths are counted by Motzkin numbers (OEIS A001006), M n . n 1 2 3 4 5 6 7 8 9 10 m n 1 2 4 9 21 51 127 323 835 2188 n − 1 � m n +1 = m n + m i · m n − 1 − i . i =0 Daly / Ramey Pattern Avoidance in Motzkin Paths

  11. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Motzkin Paths and Motzkin Numbers Motzkin paths are counted by Motzkin numbers (OEIS A001006), M n . n 1 2 3 4 5 6 7 8 9 10 m n 1 2 4 9 21 51 127 323 835 2188 n − 1 � m n +1 = m n + m i · m n − 1 − i . i =0 Define avoidance, M n ( P ) and m n ( P ) analogously with that of Dyck paths. Daly / Ramey Pattern Avoidance in Motzkin Paths

  12. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Pattern of Length 1 Pattern of Length 1: H Daly / Ramey Pattern Avoidance in Motzkin Paths

  13. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Pattern of Length 1 Pattern of Length 1: H Theorem m 2 n ( H ) = C n m 2 n +1 ( H ) = 0 Daly / Ramey Pattern Avoidance in Motzkin Paths

  14. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns of Length 2 Patterns of Length 2: UD , H 2 Daly / Ramey Pattern Avoidance in Motzkin Paths

  15. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns of Length 2 Patterns of Length 2: UD , H 2 Theorem m n ( UD ) = 1 Daly / Ramey Pattern Avoidance in Motzkin Paths

  16. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns of Length 2 Patterns of Length 2: UD , H 2 Theorem m n ( UD ) = 1 m 2 n ( H 2 ) = C n m 2 n +1 ( H 2 ) = (2 n + 1) C n Daly / Ramey Pattern Avoidance in Motzkin Paths

  17. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns of Length 2 Patterns of Length 2: UD , H 2 Theorem m n ( UD ) = 1 m 2 n ( H 2 ) = C n m 2 n +1 ( H 2 ) = (2 n + 1) C n OEIS(A057977) - Alois P. Heinz n 1 2 3 4 5 6 7 8 9 10 11 12 m n ( H 2 ) 1 1 3 2 10 5 35 14 126 42 462 132 Daly / Ramey Pattern Avoidance in Motzkin Paths

  18. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Patterns of Length 3 There are four patterns of length 3: UDH , HUD , UHD , H 3 . There are three Wilf-equivalence classes: { UDH , HUD } , { UHD } , { H 3 } . Daly / Ramey Pattern Avoidance in Motzkin Paths

  19. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work UDH and HUD Theorem (D., Ramey) m n ( UDH ) = m n ( HUD ) Proof. Given any π ∈ M n ( UDH ), reverse π and switch all U ’s and D ’s. Daly / Ramey Pattern Avoidance in Motzkin Paths

  20. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Construction of UDH recurrence Consider a path π ∈ M n ( UDH ). This path can either begin with an H or a U . Daly / Ramey Pattern Avoidance in Motzkin Paths

  21. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Construction of UDH recurrence Consider a path π ∈ M n ( UDH ). This path can either begin with an H or a U . If it begins with H , attach any UDH -avoider of length n − 1 which contributes m n − 1 ( UDH ) paths. Daly / Ramey Pattern Avoidance in Motzkin Paths

  22. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Construction of UDH recurrence Consider a path π ∈ M n ( UDH ). This path can either begin with an H or a U . If it begins with H , attach any UDH -avoider of length n − 1 which contributes m n − 1 ( UDH ) paths. If it begins with U , then consider the first D where the path returns to the x -axis. U D Daly / Ramey Pattern Avoidance in Motzkin Paths

  23. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work Construction of UDH recurrence Consider a path π ∈ M n ( UDH ). This path can either begin with an H or a U . If it begins with H , attach any UDH -avoider of length n − 1 which contributes m n − 1 ( UDH ) paths. If it begins with U , then consider the first D where the path returns to the x -axis. U D Assuming D is in position i , there are m i − 2 ( UDH ) paths between the U and D and to the right of the D must be a Dyck path. Daly / Ramey Pattern Avoidance in Motzkin Paths

  24. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work UDH and HUD Theorem (D., Ramey) n � m n ( UDH ) = m n − 1 ( UDH ) + m i − 2 ( UDH ) C ( n − i ) / 2 i =2 where C n − i is Catalan if n − i is even and 0 otherwise. 2 Daly / Ramey Pattern Avoidance in Motzkin Paths

  25. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work UDH and HUD Theorem (D., Ramey) � � n m n ( UDH ) = m n ( HUD ) = ( A 001405) ⌊ n / 2 ⌋ n 1 2 3 4 5 6 7 8 9 10 11 12 m n ( UDH ) 1 2 3 6 10 20 35 70 126 252 462 924 Daly / Ramey Pattern Avoidance in Motzkin Paths

  26. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work A corollary Corollary � � � � n � � n n − 1 i − 2 � = + C ( n − i ) / 2 ⌊ n / 2 ⌋ ⌊ ( n − 1) / 2 ⌋ ⌊ ( i − 2) / 2 ⌋ i =2 Daly / Ramey Pattern Avoidance in Motzkin Paths

  27. Definitions and Previous Work Patterns of Lengths 1 and 2 Patterns of Length 3 Other Patterns Future Work UHD Build a similar recurrence. If π ∈ M n ( UHD ) starts with H , then attach any such path of length n − 1. There are m n − 1 ( UHD ) such paths. Daly / Ramey Pattern Avoidance in Motzkin Paths

Recommend


More recommend