Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 1 / 36

Size: px
Start display at page:

Download "Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 1 / 36"

Transcription

1 Consecutive Patterns: From Permutations to Column-Convex Polyominoes and Back Don Rawlings Mark Tiefenbruck California Polytechnic State University University of California San Luis Obispo, Ca San Diego, Ca Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 1 / 36

2 Problem Sets: Let PS = set of consecutive pattern problems on permutations. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 2 / 36

3 Problem Sets: Let PS = set of consecutive pattern problems on permutations. Let PC = set of consecutive pattern problems on compositions. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 2 / 36

4 Problem Sets: Let PS = set of consecutive pattern problems on permutations. Let PC = set of consecutive pattern problems on compositions. Let PCCP = set of consecutive pattern problems on column-convex polyominoes. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 2 / 36

5 Problem Sets: Let PS = set of consecutive pattern problems on permutations. Let PC = set of consecutive pattern problems on compositions. Let PCCP = set of consecutive pattern problems on column-convex polyominoes. Let PW = set of consecutive pattern problems on words. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 2 / 36

6 Problem Sets: Let PS = set of consecutive pattern problems on permutations. Let PC = set of consecutive pattern problems on compositions. Let PCCP = set of consecutive pattern problems on column-convex polyominoes. Let PW = set of consecutive pattern problems on words. Main Result PS PC PCCP PW. Remark: Our perspective allows powerful methods from the contexts of compositions, column-convex polyominoes, and of words to be applied directly to the enumeration of permutations by consecutive patterns. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 2 / 36

7 Consecutive Patterns in Permutations 6 5 σ = = 2 Examples: σ 1 4 σ 5 = 1 4 is a 12-pattern (ascent) 4 3 Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 3 / 36

8 Consecutive Patterns in Permutations σ = = Examples: σ 4 σ 5 = 1 4 is a 12-pattern (ascent) σ 2 σ 3 σ 4 = is a 231-pattern Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 3 / 36

9 Consecutive Patterns in Permutations 5 6 σ = = Examples: σ 1 4 σ 5 = 1 4 is a 12-pattern (ascent) σ 2 σ 3 σ 4 = is a 231-pattern σ 2 σ 3 σ 4 = and σ 4 σ 5 σ 6 = are peaks (231 or 132-patterns) Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 3 / 36

10 Consecutive Patterns in Permutations 5 6 σ = = Examples: σ 1 4 σ 5 = 1 4 is a 12-pattern (ascent) σ 2 σ 3 σ 4 = is a 231-pattern σ 2 σ 3 σ 4 = and σ 4 σ 5 σ 6 = are peaks (231 or 132-patterns) Definition: For a pattern set P m 1 S m, P(σ) = the total number of times elements of P occur in σ and P no (σ) = the maximum number of non-overlapping times elements of P occur in σ. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 3 / 36

11 Consecutive Patterns in Compositions Notation: K n = {w = w 1 w 2... w n : w 1, w 2,..., w n are positive integers} Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 4 / 36

12 Consecutive Patterns in Compositions Notation: K n = {w = w 1 w 2... w n : w 1, w 2,..., w n are positive integers} Definition: Let sum w = w 1 + w w n. When sum w = m, w is said to be a composition of m into n parts. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 4 / 36

13 Consecutive Patterns in Compositions Notation: K n = {w = w 1 w 2... w n : w 1, w 2,..., w n are positive integers} Definition: Let sum w = w 1 + w w n. When sum w = m, w is said to be a composition of m into n parts. w = = Examples: w 2 w 3 = 7 7 is a level w 2 w 3 w 4 = is a peak (w 2 w 3 > w 4 ) Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 4 / 36

14 Inverse of Fedou s Insertion-Shift Bijection Definitions: For σ S n, set inv i σ = {k : i < k n, σ i > σ k }. Put Λ n = {w K n : w 1 w 2... w n }. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 5 / 36

15 Inverse of Fedou s Insertion-Shift Bijection Definitions: For σ S n, set inv i σ = {k : i < k n, σ i > σ k }. Put Λ n = {w K n : w 1 w 2... w n }. The inverse of Fedou s insertion-shift bijection n : S n Λ n K n is given by the rule n (σ, λ) = w where w i = inv i σ + λ σi. 6 ( , ) = Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 5 / 36

16 σ = = w = = Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 6 /

17 Inverse of Fedou s Insertion-Shift Bijection Definitions: For σ S n, set inv i σ = {k : i < k n, σ i > σ k }. Put Λ n = {w K n : w 1 w 2... w n }. The inverse of Fedou s insertion-shift bijection n : S n Λ n K n is given by the rule n (σ, λ) = w where w i = inv i σ + λ σi. 6 ( , ) = Key Properties: If n (σ, λ) = w, then (1) inv σ + sum λ = sum w and, for i < m, (2) σ i < σ m if and only if w i w m + {j : i < j < m, σ i > σ j }. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 7 / 36

18 Inverse of Fedou s Insertion-Shift Bijection Definitions: For σ S n, set inv i σ = {k : i < k n, σ i > σ k }. Put Λ n = {w K n : w 1 w 2... w n }. The inverse of Fedou s insertion-shift bijection n : S n Λ n K n is given by the rule n (σ, λ) = w where w i = inv i σ + λ σi. 6 ( , ) = Key Properties: If n (σ, λ) = w, then (1) inv σ + sum λ = sum w and, for i < m, (2) σ i < σ m if and only if w i w m + {j : i < j < m, σ i > σ j }. Remark: n preserves general shape. As illustrations, (1) peaks are preserved as σ k < σ k+1 > σ k+2 if and only if w k w k+1 > w k+2 and (2) up-down permutations coincide with up-down compositions. Definition: For P m 1 S m and w K n, set P(w) = P(σ) where σ is the unique permutation satisfying w = n (σ, λ). Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 7 / 36

19 Theorem PS PC If P m 1 S m and if B n S n, then n 0 σ B n q inv σ = n 0 ( p P ) yp p(σ) z n (q; q) n w φ n(b n,λ n) q sum w( p P ) yp p(w) (z/q) n. Moreover, the above equality remains true if y p(σ) p respectively replaced by y pno(σ) p and yp p(w) are and yp pno(w) for some or all p P. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 8 / 36

20 Theorem PS PC If P m 1 S m and if B n S n, then n 0 σ B n q inv σ = n 0 ( p P ) yp p(σ) z n (q; q) n w φ n(b n,λ n) q sum w( p P ) yp p(w) (z/q) n. Moreover, the above equality remains true if y p(σ) p respectively replaced by y pno(σ) p and yp p(w) are and yp pno(w) for some or all p P. Gessel : Carlitz : n 0 n 0 σ UDS n qinv σ zn (q; q) n = sec q z + tan q z w UDK n q sum w (z/q) n = sec q z + tan q z. Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 8 / 36

21 Theorem PS PC If P m 1 S m and if B n S n, then n 0 σ B n q inv σ = n 0 ( p P ) yp p(σ) z n (q; q) n w φ n(b n,λ n) q sum w( p P ) yp p(w) (z/q) n. Moreover, the above equality remains true if y p(σ) p respectively replaced by y pno(σ) p and yp p(w) are and yp pno(w) for some or all p P. Mendes, Remmel : n 0 y pic (σ) qinv σzn σ S n (q; q) n = y 1 y 1 tanq (z y 1) Heubach, Mansour : y 1 y pic (w) q sum w (z/q) n = n 0 y 1 tanq (z y 1) w K n Consecutive Patterns: From Permutations to Column-ConvexAugust Polyominoes 10, 2010 and Back 9 / 36

22 3 rd Ex of Theorem PS PC: For P S m with m > 1, n 0 qinv σ y Pno(σ) zn σ S n (q; q) n = K q (z) 1 y + y (1 z(1 q) 1 ) K q (z) ( σ S n q inv σ 0 P(σ)) z n /(q; q) n is the q-exponential where K q (z) = n 0 generating function for permutations that avoid P. Note: The above is Mendes and Remmel s extension of Kitaev s result. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 10 / 36

23 3 rd Ex of Theorem PS PC: For P S m with m > 1, n 0 qinv σ y Pno(σ) zn σ S n (q; q) n = K q (z) 1 y + y (1 z(1 q) 1 ) K q (z) ( σ S n q inv σ 0 P(σ)) z n /(q; q) n is the q-exponential where K q (z) = n 0 generating function for permutations that avoid P. Note: The above is Mendes and Remmel s extension of Kitaev s result. Application of Theorem PS PC gives y Pno(w) q sum w z n L q (z) = 1 y + y (1 zq(1 q) 1 ) L q (z) n 0 w K n where L q (z) = ( n 0 w K n q sum w 0 P(w)) z n is the generating function for compositions that avoid P. Remark: The latter is more and less general than a result due to Heubach, Kitaev, and Mansour; for a pattern set of cardinality 1, their result holds for an arbitrary alphabet of positive integers. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 10 / 36

24 Consecutive Patterns in Column-Convex Polyominoes Remark 1: The enumeration of CCPs and of subclasses of CCPs by various statistics (area, perimeter, column number,...etc) has been widely studied. However, very little attention has been paid to ridge patterns in CCPs. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 11 / 36

25 Consecutive Patterns in Column-Convex Polyominoes Remark 1: The enumeration of CCPs and of subclasses of CCPs by various statistics (area, perimeter, column number,...etc) has been widely studied. However, very little attention has been paid to ridge patterns in CCPs. Remark 2: The simplest ridge patterns are formed between two adjacent columns. The two-column ridge patterns may be used to characterize many of the common classes of CCPs. For instance, a CCP with no lower descents is known as a directed column-convex polyomino (DCCP). Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 11 / 36

26 Common Classes of CCPs. Directed Column Convex Polyomino (DCCP): No lower descents Parallelogram Polyomino: No lower or upper descents Stack Polyomino: No upper ascents and no lower descents Wall Polyomino: No lower ascents and no lower descents Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 12 / 36

27 Compositions and Wall Polyominoes Notation: Let WP n = the set of wall polyominoes with n columns. Bijection: Let γ n denote the natural bijection from K n to WP n. Example: γ 7 maps the composition w = to Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 13 / 36

28 Compositions and Wall Polyominoes Notation: Let WP n = the set of wall polyominoes with n columns. Bijection: Let γ n denote the natural bijection from K n to WP n. Example: γ 7 maps the composition w = to Properties: If γ n (w) = Q, then area Q = sum w and per Q 2col Q = var w where variation of w is var w = n k=0 w k+1 w k with the convention that w 0 = 0 = w n+1. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 13 / 36

29 Fact PC PCCP If P is a pattern set defined for compositions and if B n K n, then c var w q sum w z n n 0 w B n p P y p(w) p = n 0 c per Q q area Q (z/c 2 ) n p P Q γ n(b n) y p(q) p. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 14 / 36

30 Example of Fact PC PCCP = Raw, Tief : c 2 h n 0 1 a u n 1 au uasc Q Q DCCP a lasc Q l (c 2 qz) n+1 n 1 c 2 hq n+1 k=1 (c 2 qz) n 1 q n n k=1 b ulev Q u b llev Q l c per Q d udes Q h relh Q q area Q z col Q ( )( b l + a l c 2 hq k b 1 c 2 hq k u + c2 dq k ( ) b l + a l c 2 hq k n 1 1 c 2 hq k k=1 ) au 1 c 2 q k 1 q k ( b u + c2 dq k 1 c 2 q k au 1 q k ). Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 15 / 36

31 Example of Fact PC PCCP = Raw, Tief : c 2 h n 0 1 a u n 1 au uasc Q Q DCCP a lasc Q l (c 2 qz) n+1 n 1 c 2 hq n+1 k=1 (c 2 qz) n 1 q n n k=1 b ulev Q u b llev Q l c per Q d udes Q h relh Q q area Q z col Q ( )( b l + a l c 2 hq k b 1 c 2 hq k u + c2 dq k ( ) b l + a l c 2 hq k n 1 1 c 2 hq k k=1 ) au 1 c 2 q k 1 q k ( b u + c2 dq k 1 c 2 q k au 1 q k ). Setting a l = 0, a u = a, b u = b, b l = h = 1, and replacing z by z/c 2 gives the gen func for compositions by ascents, levels, descents, and variation. (c = 1 is a classic result due to Carlitz) a asc w b lev w d des w c var w q sum w z n n 0 w K n c 2 ( ) (qz) n+1 n n 0 1 c 2 q n+1 k=1 b + c2 dq k a 1 c 2 q k 1 q k = a ( ). (qz) n n 1 n 1 1 q n k=1 b + c2 dq k a 1 c 2 q k 1 q k Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 15 / 36

32 The Inclusion PCCP PW { ( Let X = j ) } m : j, m are positive integers and let Y = {( ) } j1 j 2... j n X n : m n = 1 and j k +j k+1 > m k for 1 k < n. m 1 m 2... m n n 0 For a CCP Q with n columns, define δ(q) = ( j 1 j 2... j n ) m 1 m 2... m n where jk is the number cells in Q k, m n = 1, and, for 1 k < n, m k is the change in the y-ordinate from the bottom edge of (k + 1) st column of Q to the top edge of the k th column of Q. δ = ( ) Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 16 / 36

33 Factors and Consecutive Patterns in Words Let X denote the free moniod generated by the alphabet X. Definition: For F X +, a factor f of a word w is a said to be a consecutive F-pattern in w if f F. The number of consecutive F-patterns in w is denoted by F(w). Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 17 / 36

34 Factors and Consecutive Patterns in Words Let X denote the free moniod generated by the alphabet X. Definition: For F X +, a factor f of a word w is a said to be a consecutive F-pattern in w if f F. The number of consecutive F-patterns in w is denoted by F(w). Definition: For F X +, an F-cluster is a triple (w, ν, β) in which w = w 1 w 2... w len w X +, ν = (f (1), f (2),..., f (k) ) for some k 1 with each f (i) F, and β = (b 1, b 2,..., b k ) with each b i being a positive integer where f (i) =w bi w bi w bi +len f (i) 1, each w i w i+1 is a factor of some f (j), b 1 b 2 b k, and if b i = b i+1, then len f (i) <len f (i+1). Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 17 / 36

35 Factors and Consecutive Patterns in Words Let X denote the free moniod generated by the alphabet X. Definition: For F X +, a factor f of a word w is a said to be a consecutive F-pattern in w if f F. The number of consecutive F-patterns in w is denoted by F(w). Definition: For F X +, an F-cluster is a triple (w, ν, β) in which w = w 1 w 2... w len w X +, ν = (f (1), f (2),..., f (k) ) for some k 1 with each f (i) F, and β = (b 1, b 2,..., b k ) with each b i being a positive integer where f (i) =w bi w bi w bi +len f (i) 1, each w i w i+1 is a factor of some f (j), b 1 b 2 b k, and if b i = b i+1, then len f (i) <len f (i+1). Definition: The cluster generating function over a subset W X is the formal series ( ) C F (y, W ) = y f (ν) f w (w, ν, β) C F, w W f F where f (ν) is the number of times f appears as a component in ν. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 17 / 36

36 Words by Factors Theorem (Goulden and Jackson) If, for nonempty L, R X and a nonempty F X +, we define L(y)= l + C F (y, LX ), R(y)= r + C F (y, X R), and l L r R X (y)= x + C F (y, X ) x X and if the result of replacing y f in y by y f 1 is denoted by y 1, then ( ) w = (1 X (y 1)) 1, w X w LX w X R f F ( f F ( f F y f (w) f f Don Rawlings and Mark Tiefenbruck () ) y f (w) f w = L(y 1)(1 X (y 1)) 1, ) y f (w) f w = (1 X (y 1)) 1 R(y 1), and ( ) f (w) y w = C F (y 1, LX R) + L(y 1)(1 X (y 1)) 1 R(y Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 18 / 36

37 Application of Words by Factors Theorem to Permutations Consider the alphabet N = {1, 2, 3,...}, let P m 1 S m, and put D P (y; z) = ( ) yp p(ν) q sum w z len w where p(ν) = f (ν). p P f F p (w,ν,β) C FP Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 19 / 36

38 Application of Words by Factors Theorem to Permutations Consider the alphabet N = {1, 2, 3,...}, let P m 1 S m, and put D P (y; z) = ( ) yp p(ν) q sum w z len w where p(ν) = f (ν). p P f F p (w,ν,β) C FP Replacement of w by q sum w z len w in the first identity of the Words by Factors Theorem and application of Fedou s bijection implies Extension of Rawlings Theorem: If P m 1 S m, then ( n 0 σ S n p P ) yp p(σ) q inv σ z n ( 1 = 1 z(1 q) 1 D P (y 1; z/q)). (q; q) n Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 19 / 36

39 Application of Words by Factors Theorem to Permutations Consider the alphabet N = {1, 2, 3,...}, let P m 1 S m, and put D P (y; z) = ( ) yp p(ν) q sum w z len w where p(ν) = f (ν). p P f F p (w,ν,β) C FP Replacement of w by q sum w z len w in the first identity of the Words by Factors Theorem and application of Fedou s bijection implies Extension of Rawlings Theorem: If P m 1 S m, then ( n 0 σ S n p P ) yp p(σ) q inv σ z n ( 1 = 1 z(1 q) 1 D P (y 1; z/q)). (q; q) n Non-overlapping Version: For P S m with m > 1, then y n 0 σ S n ( Pno(σ) qinv σ 1 zn = 1 z(1 q) 1 (1 y)d P ( 1)). (q; q) n Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 19 / 36

40 Extension of Rawlings Theorem If P m 1 S m, then ( n 0 σ S n p P ) yp p(σ) q inv σ z n ( 1 = 1 z(1 q) 1 D P (y 1; z/q)). (q; q) n Ex 1: Permutations by Peaks Let pic = {132, 231}. As the pic -clusters are in 1-to-1 correspondence with the up-down compositions of odd length > 1, z 1 q + D pic (y; z/q)= 1 y Thus, n 0 ( z y q sum w q w UDK 2n+1 ) 2n+1 = tan q (z y) y. Mendes, Remmel : n 0 y pic (σ) qinv σzn σ S n (q; q) n = y 1 y 1 tanq (z y 1) Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 20 / 36

41 Ex 2: Permutations by Peaks and Twin Peaks Let tpic = {p S 5 : p 1 < p 2 > p 3 < p 4 > p 5 }. Result using extension of Rawlings Theorem: qinv σ x pic (σ) y tpic (σ) zn 1 = (q; q) n 1 z n 0 σ S n 1 q n 1 A n(x 1, y 1)B n (q)(z/q) 2n+1 where A n (x, y)= (xz +yz 2 +xyz 2 )(1 xz xyz xyz 2 yz yz 2 ) 1 z n and B n (q) = tan q z z 2n+1. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 21 / 36

42 Ex 2: Permutations by Peaks and Twin Peaks Let tpic = {p S 5 : p 1 < p 2 > p 3 < p 4 > p 5 }. Result using extension of Rawlings Theorem: qinv σ x pic (σ) y tpic (σ) zn 1 = (q; q) n 1 z n 0 σ S n 1 q n 1 A n(x 1, y 1)B n (q)(z/q) 2n+1 where A n (x, y)= (xz +yz 2 +xyz 2 )(1 xz xyz xyz 2 yz yz 2 ) 1 z n and B n (q) = tan q z z 2n+1. Alternative Result using Pattern Algebra of Goulden and Jackson: qinv σ x pic (σ) y tpic (σ) zn (q; q) n n 0 σ S n ( = 1 s + sin q (z r + ) 2 r + cos q (z r + ) s sin q (z r ) 2 r cos q (z r ) where r ± = (xy 1 ± D)/2, s ± = 1 ± (2x xy 1)/ D, and D = (xy +1) 2 4x. ) 1 Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 21 / 36

43 q-olivier functions z jn+k Φ j,k (z) = (q; q) n 0 jn+k Examples: Φ 1,0 (z) = e q (z), Φ 2,0 (iz) = cos q z, and Φ 2,1 (iz) = i sin q z. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 22 / 36

44 Ex 3: Permutations by (i,d)-peaks and Inversions Let P i,d = {p S i+d 1 : p 1 < p 2 < < p i > p i+1 > > p i+d 1 }. Example of a (3,3)-peak: 5 4 p = = Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 23 / 36

45 Ex 3: Permutations by (i,d)-peaks and Inversions If, for i, j, d 2, we set µ = i + d 2 and ξ m = m 1, then ( (σ) qinv σzn = 1 z(1 q) 1 K i,i,d;1( µ ) y 1 z) 1 (q; q) n µ y 1 y Pi,d n 0 σ S n where, for k 1, K i,j,d;k (z) = m 0 w K i,d;(j,d) m ;k q sum w z len w. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 24 / 36

46 Ex 3: Permutations by (i,d)-peaks and Inversions If, for i, j, d 2, we set µ = i + d 2 and ξ m = m 1, then ( (σ) qinv σzn = 1 z(1 q) 1 K i,i,d;1( µ ) y 1 z) 1 (q; q) n µ y 1 y Pi,d n 0 σ S n where, for k 1, K i,j,d;k (z) = m 0 w K i,d;(j,d) m ;k q sum w z len w. Moreover, K i,j,d;k (z) satisfies, for d 3 and ν = j + d 2, the recurrence K i,j,d;k (z) = ξ µ ν K i,j+1,d 1;1 (ξ ν z) ( z k (q; q) 1 k + ξν k K j,j+1,d 1;k+1 (ξ ν z) ) 1 + K j,j+1,d 1;1 (ξ ν z) with the initial condition K i,j,2;k (z) = ξ i k j ξ µ k ν K i,j+1,d 1;k+1 (ξ ν z) [ Φ j,i+k (ξ j z) + Φ j,i (ξ j z)φ j,k (ξ j z)/φ j,0 (ξ j z)]. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 24 / 36

47 Permutations by (3,3)-peaks and Inversions y n 0 σ S n where ( P3,3(σ) qinv σzn = 1 z(1 q) 1 K 3,3,3;1( 4 ) y 1 z) 1 (q; q) n 4 y 1 K 3,3,3;1 (z) = K 3,4,2;1(ξ 4 z) ( z(1 q) 1 + ξ 1 4 K 3,4,2;2(ξ 4 z) ) 1 + K 3,4,2;1 (ξ 4 z) +ξ 1 4 K 3,4,2;2(ξ 4 z) with K 3,4,2;1 (z) = Φ 4,3(ξ 4 z)φ 4,1 (ξ 4 z) + Φ 4,4 (ξ 4 z) and Φ 4,0 (ξ 4 z) [ K 3,4,2;2 (z) = ξ4 1 Φ ] 4,3(ξ 4 z)φ 4,2 (ξ 4 z) + Φ 4,5 (ξ 4 z). Φ 4,0 (ξ 4 z) Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 25 / 36

48 Ex 4: Permutations by m-peak Ranges of (i, d)-peaks Corollary If i, d 2, m 1, and ν = i + d 2, then the generating function for permutations by uniform m-peak ranges and inversions is y n 0 σ S n P (i,d) m (σ) q inv σ z n ( = 1 z (q; q) n 1 q ) 1 A n,m (y 1)B n (q)z nν+1 n m where A n,m (y) = yz m (1 z) 1 z yz(1 z m ) z n and B n (q) = K i,i,d;1 (z) z nν+1 with K i,i,d;1 (z) as determined earlier. Remark: For i = d = 2 with y = 0, the above provides a solution to a problem posed by Kitaev of counting permutations that avoid (2m + 1)-reverse-alternating patterns. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 26 / 36

49 Ex 5: Permutations by (i,m)-maxima and Inversions Let p (m) S i+1 with p (m)1 < p (m)2 < < p (m)i and p (m)i+1 = i + 1 m. Example: The (3,2)-maxima pattern in S 3+1 : p (2) = = Remark: Carlitz and Scoville referred to (2, 1) and (2, 2)-maxima as rising and falling maxima. 2 Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 27 / 36

50 Ex 5: Permutations by (i,m)-maxima and Inversions Corollary (Words by Factors via extension of Rawlings Theorem): If i 2, 1 m i and ξ i = i 1, then ( i n 0 σ S n m=1 Φ i,k (y 1,..., y i ; z)= (q; q) n 0 in+k ) y p (m)(σ) q inv σ z n ( m = 1 Φ ) i,1(y 1; ξ i z) 1 where (q; q) n ξ i Φ i,0 (y 1; ξ i z) z in+k n 1 ( i 1 [ ]) y i + (y i y m )q m ij +k +m 1. m j=0 m=1 For i = 2, y 1 = y, and y 2 = 1, above gives Mendes and Remmel s q-analog of Elizalde and Noy s result for permutations by p = 132: y n 0 σ S n ( 132(σ) qinv σzn = 1 (q; q) n n 0 (y 1) n q n z 2n+1 ) 1 (q 2 ; q 2 ) n (1 q 2n+1 )(1 q) n. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 28 / 36

51 An Aside Proof of the generating function for permutations by (i, m)-maxima of the previous slide reveals the generating function for up-down permutations of type (i, i, 2; 1) by (i, m)-maxima: z 1 q + σ UDS i,i,2;1 ( i m=1 y p (m) m ) q inv σ z len σ (q; q) inv σ = Φ i,1(y 1,..., y i 1, 1; ξ i z) ξ i Φ i,0 (y 1,..., y i 1, 1; ξ i z). Setting y 1 = y 2 =... = y i = 1, replacing z by (1 q)z, and letting q 1 gives a result of Carlitz s. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 29 / 36

52 Ex 5: Perms by (i,m)-maxima using the Temperley Method If i 2 and 1 m i, then the generating function for permutations by (i, m)-maxima and inversions is also given by where ( i n 0 σ S n T (b) = m=1 = 1 i 1 m=1 ) y p (m)(σ) q inv σ z n m (q; q) n n 0 1 y i 1 (q; q) i 1 z in+1 n 1 1 q in+1 T (q ik ) n 1 k=0 z in n 1 1 q in (y m 1)q m (q; q) m (q m+1 b; q) i m k=1 T (q ik 1 ) 1 y i 1 (q; q) i 1 (1 qb). Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 30 / 36

53 Ex 6: Permutations by maximal number of non-overlapping P = {1243, 1342, 1432, 2341, 2431, 3421} Corollary where K = y n 0 σ S n Pno(σ) qinv σ zn (q; q) n = K 1 y + y(1 z 1 q )K e q (z)e q ( z) + cos 2 q z + sin 2 q z + 2e q ( z) cos q z +(e q (z) + e q ( z)) sin q z 4e q ( z) cos q z. Remark: K is a q-analog of Kitaev s generating function that enumerates permutations that avoid P = {4312, 4213, 4123, 3214, 3124, 2134}. Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 31 / 36

54 Ex 7: DCCPs by All Five Two-Column Statistics Raw, Tief : au uasc Q Q DCCP c 2 h n 0 = 1 a u n 1 a lasc Q l b ulev Q u (c 2 qz) n+1 n 1 c 2 hq n+1 k=1 (c 2 qz) n 1 q n n k=1 b llev Q l c per Q d udes Q h relh Q q area Q z col Q ( )( b l + a l c 2 hq k b 1 c 2 hq k u + c2 dq k ( ) b l + a l c 2 hq k n 1 1 c 2 hq k k=1 ) au 1 c 2 q k 1 q k ( b u + c2 dq k 1 c 2 q k au 1 q k ). Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 32 / 36

55 Ex 8: CCPs by All Six Two-Column Statistics (Temperley) If we set F (x) equal to au uasc Q Q CCP b ulev Q u d udes Q u a lasc Q l b llev Q l d ldes Q l c per Q q area Q h relh Q x α(q) z col Q where α(q) denotes the area of the last column in Q, then where F (x) = R(x) S(x) T (x) R(1) S(1) 1 T (1) R( 1 h ) S( 1 h ) T ( 1 h ) 1 S(1) 1 T (1) S( 1 h ) T ( 1 h ) 1 R(x) = n 0 z n+1 y(x)y(qx)... y(q n 1 x)r(q n x),, S(x) = n 0 z n+1 y(x)y(qx)... y(q n 1 x)s(q n x), T (x) = z n+1 y(x)y(qx)... y(q n 1 x)t(q n x), and... Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 33 / 36

56 Ex 8 Continued : The Rest of the Formula r(x) = s(x) = qxc 4 h 1 qxc 2 h, q 2 x 2 c 4 ha u a l (1 qx)(1 qxc 2 h) + qxc2 a l b u 1 qx qxc 2 d u a l (1 h)(1 qx), t(x) = qxc2 hd u b l 1 qxh + q 2 x 2 c 4 hd u d l (1 qxh)(1 qxc 2 ) + qxc2 h 2 d u a l (1 h)(1 qxh), y(x) = qxc4 ha u b l 1 qxc 2 h + q 2 x 2 c 6 ha u d l (1 qxc 2 )(1 qxc 2 h) qxc 4 ha u a l (1 qx)(1 qxc 2 h) +c 2 b u b l + qxc4 b u d l 1 qxc 2 c2 b u a l 1 qx c2 d u b l 1 qxh qxc 4 d u d l (1 qxh)(1 qxc 2 ) + c 2 d u a l (1 qx)(1 qxh). Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 34 / 36

57 Ex 9: DCCPs by Upper Valleys A column-segment Q k Q k+1 Q k+2 in a column-convex polyomino Q is said to be a valley provided that Q k Q k+1 is an upper descent and Q k+1 Q k+2 is an upper ascent or an upper level. Corollary of Words by Factors y val(q) q area Q z col Q Q DCCP = n 0 (1 y) n q (n+1)(2n+1) z 2n+1 (q; q) 2n+1 (q; q) 2n n 0 (1 y) n q n(2n+1) z 2n (q; q) 2 2n n 0 (1 y) n q (n+1)(2n+1) z 2n+1. (q; q) 2 2n+1 Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 35 / 36

58 Ex 10: CCPs by Peaks, Area, and Column Number (Temperley) Q CCP y pic (Q) q area Q z col Q = ( zq 1 q + 2z2 q 3 (1 q) 3 )(1 + (1 zq2 (1 q) 2 )(1 + 2zq (1 q) 2 ) zq. ) 2yz2 q 3 (1 q) 2 (1 q) 4 Consecutive Patterns: From Permutations to Column-Convex August Polyominoes 10, 2010and Back 36 / 36

Consecutive Patterns: From Permutations to Column-Convex Polyominoes and Back

Consecutive Patterns: From Permutations to Column-Convex Polyominoes and Back Consecutive Patterns: From Permutations to Column-Convex Polyominoes and Back Don Rawlings Mark Tiefenbruck Mathematics Department Mathematics Department California Polytechnic State University University

More information

The q-exponential generating function for permutations by consecutive patterns and inversions

The q-exponential generating function for permutations by consecutive patterns and inversions The q-exponential generating function for permutations by consecutive patterns and inversions Don Rawlings Abstract The inverse of Fedou s insertion-shift bijection is used to deduce a general form for

More information

Restricted words by adjacencies

Restricted words by adjacencies Restricted words by adjacencies Don Rawlings Abstract A recurrence, a determinant formula, and generating functions are presented for enumerating words with restricted letters by adjacencies. The main

More information

THE EXPECTED VARIATION OF RANDOM BOUNDED INTEGER SEQUENCES OF FINITE LENGTH

THE EXPECTED VARIATION OF RANDOM BOUNDED INTEGER SEQUENCES OF FINITE LENGTH THE EXPECTED VARIATION OF RANDOM BOUNDED INTEGER SEQUENCES OF FINITE LENGTH RUDOLFO ANGELES, DON RAWLINGS, LAWRENCE SZE, AND MARK TIEFENBRUCK Received 24 November 2004 and in revised form 15 June 2005

More information

Matrix compositions. Emanuele Munarini. Dipartimento di Matematica Politecnico di Milano

Matrix compositions. Emanuele Munarini. Dipartimento di Matematica Politecnico di Milano Matrix compositions Emanuele Munarini Dipartimento di Matematica Politecnico di Milano emanuelemunarini@polimiit Joint work with Maddalena Poneti and Simone Rinaldi FPSAC 26 San Diego Motivation: L-convex

More information

ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS

ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,

More information

Counting permutations by cyclic peaks and valleys

Counting permutations by cyclic peaks and valleys Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

SHI-MEI MA AND YEONG-NAN YEH

SHI-MEI MA AND YEONG-NAN YEH ENUMERATION OF PERMUTATIONS BY NUMBER OF ALTERNATING DESCENTS SHI-MEI MA AND YEONG-NAN YEH Abstract. In this paper we present an explicit formula for the number of permutations with a given number of alternating

More information

The distribution of run lengths in integer compositions

The distribution of run lengths in integer compositions The distribution of run lengths in integer compositions Herbert S Wilf University of Pennsylvania Philadelphia PA 19104-6395, USA wilf@mathupennedu Submitted: Mar 7, 2010; Accepted: Oct 9, 2011; Published:

More information

Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays

Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays Discrete Mathematics and Theoretical Computer Science DMTCS vol. 8:, 06, #6 arxiv:50.0890v4 [math.co] 6 May 06 Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard

More information

Permutations and Polynomials Sarah Kitchen February 7, 2006

Permutations and Polynomials Sarah Kitchen February 7, 2006 Permutations and Polynomials Sarah Kitchen February 7, 2006 Suppose you are given the equations x + y + z = a and 1 x + 1 y + 1 z = 1 a, and are asked to prove that one of x,y, and z is equal to a. We

More information

A conjecture on the alphabet size needed to produce all correlation classes of pairs of words

A conjecture on the alphabet size needed to produce all correlation classes of pairs of words A conjecture on the alphabet size needed to produce all correlation classes of pairs of words Paul Leopardi Thanks: Jörg Arndt, Michael Barnsley, Richard Brent, Sylvain Forêt, Judy-anne Osborn. Mathematical

More information

QUADRANT MARKED MESH PATTERNS IN 132-AVOIDING PERMUTATIONS III

QUADRANT MARKED MESH PATTERNS IN 132-AVOIDING PERMUTATIONS III #A39 INTEGERS 5 (05) QUADRANT MARKED MESH PATTERNS IN 3-AVOIDING PERMUTATIONS III Sergey Kitaev Department of Computer and Information Sciences, University of Strathclyde, Glasgow, United Kingdom sergey.kitaev@cis.strath.ac.uk

More information

ASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS

ASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS ASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS SERGI ELIZALDE Abstract. Motivated by the recent proof of the Stanley-Wilf conjecture, we study the asymptotic behavior of the number

More information

MATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field.

MATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field. MATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field. Vector space A vector space is a set V equipped with two operations, addition V V

More information

COMBINATORICS OF GENERALIZED q-euler NUMBERS. 1. Introduction The Euler numbers E n are the integers defined by E n x n = sec x + tan x. (1.1) n!

COMBINATORICS OF GENERALIZED q-euler NUMBERS. 1. Introduction The Euler numbers E n are the integers defined by E n x n = sec x + tan x. (1.1) n! COMBINATORICS OF GENERALIZED q-euler NUMBERS TIM HUBER AND AE JA YEE Abstract New enumerating functions for the Euler numbers are considered Several of the relevant generating functions appear in connection

More information

Counting Peaks and Valleys in a Partition of a Set

Counting Peaks and Valleys in a Partition of a Set 1 47 6 11 Journal of Integer Sequences Vol. 1 010 Article 10.6.8 Counting Peas and Valleys in a Partition of a Set Toufi Mansour Department of Mathematics University of Haifa 1905 Haifa Israel toufi@math.haifa.ac.il

More information

ON ENUMERATORS OF SMIRNOV WORDS BY DESCENTS AND CYCLIC DESCENTS

ON ENUMERATORS OF SMIRNOV WORDS BY DESCENTS AND CYCLIC DESCENTS ON ENUMERATORS OF SMIRNOV WORDS BY DESCENTS AND CYCLIC DESCENTS BRITTNEY ELLZEY AND MICHELLE L. WACHS 2 Dedicated to the memory of Jeff Remmel Abstract. A Smirnov word is a word over the positive integers

More information

Differentiation. f(x + h) f(x) Lh = L.

Differentiation. f(x + h) f(x) Lh = L. Analysis in R n Math 204, Section 30 Winter Quarter 2008 Paul Sally, e-mail: sally@math.uchicago.edu John Boller, e-mail: boller@math.uchicago.edu website: http://www.math.uchicago.edu/ boller/m203 Differentiation

More information

Words restricted by patterns with at most 2 distinct letters

Words restricted by patterns with at most 2 distinct letters Words restricted by patterns with at most 2 distinct letters Alexander Burstein Department of Mathematics Iowa State University Ames, IA 50011-2064 USA burstein@math.iastate.edu Toufik Mansour LaBRI, Université

More information

PLACE-DIFFERENCE-VALUE PATTERNS: A GENERALIZATION OF GENERALIZED PERMUTATION AND WORD PATTERNS

PLACE-DIFFERENCE-VALUE PATTERNS: A GENERALIZATION OF GENERALIZED PERMUTATION AND WORD PATTERNS #A INTEGERS 0 (200), 29-54 PLACE-DIFFERENCE-VALUE PATTERNS: A GENERALIZATION OF GENERALIZED PERMUTATION AND WORD PATTERNS Sergey Kitaev The Mathematics Institute, School of Computer Science, Reykjavík

More information

Homework 7 Solutions, Math 55

Homework 7 Solutions, Math 55 Homework 7 Solutions, Math 55 5..36. (a) Since a is a positive integer, a = a 1 + b 0 is a positive integer of the form as + bt for some integers s and t, so a S. Thus S is nonempty. (b) Since S is nonempty,

More information

arxiv: v1 [math.co] 8 Feb 2014

arxiv: v1 [math.co] 8 Feb 2014 COMBINATORIAL STUDY OF THE DELLAC CONFIGURATIONS AND THE q-extended NORMALIZED MEDIAN GENOCCHI NUMBERS ANGE BIGENI arxiv:1402.1827v1 [math.co] 8 Feb 2014 Abstract. In two recent papers (Mathematical Research

More information

1. Suppose that a, b, c and d are four different integers. Explain why. (a b)(a c)(a d)(b c)(b d)(c d) a 2 + ab b = 2018.

1. Suppose that a, b, c and d are four different integers. Explain why. (a b)(a c)(a d)(b c)(b d)(c d) a 2 + ab b = 2018. New Zealand Mathematical Olympiad Committee Camp Selection Problems 2018 Solutions Due: 28th September 2018 1. Suppose that a, b, c and d are four different integers. Explain why must be a multiple of

More information

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development

More information

Congruence successions in compositions

Congruence successions in compositions Discrete Mathematics and Theoretical Computer Science DMTCS vol. 16:, 014, 37 338 Congruence successions in compositions Toufik Mansour 1 Mark Shattuck Mark C. Wilson 3 1 Department of Mathematics, University

More information

arxiv:math/ v2 [math.co] 30 Jan 2003

arxiv:math/ v2 [math.co] 30 Jan 2003 COUNTING OCCURRENCES OF SOME SUBWORD PATTERNS arxiv:math/0204320v2 [mathco] 30 Jan 2003 ALEXANDER BURSTEIN AND TOUFIK MANSOUR Abstract We find generating functions for the number of strings (words) containing

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information

Department of mathematics MA201 Mathematics III

Department of mathematics MA201 Mathematics III Department of mathematics MA201 Mathematics III Academic Year 2015-2016 Model Solutions: Quiz-II (Set - B) 1. Obtain the bilinear transformation which maps the points z 0, 1, onto the points w i, 1, i

More information

Combinatorial Enumeration. Jason Z. Gao Carleton University, Ottawa, Canada

Combinatorial Enumeration. Jason Z. Gao Carleton University, Ottawa, Canada Combinatorial Enumeration Jason Z. Gao Carleton University, Ottawa, Canada Counting Combinatorial Structures We are interested in counting combinatorial (discrete) structures of a given size. For example,

More information

Invertible Matrices over Idempotent Semirings

Invertible Matrices over Idempotent Semirings Chamchuri Journal of Mathematics Volume 1(2009) Number 2, 55 61 http://www.math.sc.chula.ac.th/cjm Invertible Matrices over Idempotent Semirings W. Mora, A. Wasanawichit and Y. Kemprasit Received 28 Sep

More information

Math 2 Variable Manipulation Part 2 Powers & Roots PROPERTIES OF EXPONENTS:

Math 2 Variable Manipulation Part 2 Powers & Roots PROPERTIES OF EXPONENTS: Math 2 Variable Manipulation Part 2 Powers & Roots PROPERTIES OF EXPONENTS: 1 EXPONENT REVIEW PROBLEMS: 2 1. 2x + x x + x + 5 =? 2. (x 2 + x) (x + 2) =?. The expression 8x (7x 6 x 5 ) is equivalent to?.

More information

MTHSC 3190 Section 2.9 Sets a first look

MTHSC 3190 Section 2.9 Sets a first look MTHSC 3190 Section 2.9 Sets a first look Definition A set is a repetition free unordered collection of objects called elements. Definition A set is a repetition free unordered collection of objects called

More information

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product.

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product. MATH 311-504 Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product. Determinant is a scalar assigned to each square matrix. Notation. The determinant of a matrix A = (a ij

More information

Week 4-5: Generating Permutations and Combinations

Week 4-5: Generating Permutations and Combinations Week 4-5: Generating Permutations and Combinations February 27, 2017 1 Generating Permutations We have learned that there are n! permutations of {1, 2,...,n}. It is important in many instances to generate

More information

SCTT The pqr-method august 2016

SCTT The pqr-method august 2016 SCTT The pqr-method august 2016 A. Doledenok, M. Fadin, À. Menshchikov, A. Semchankau Almost all inequalities considered in our project are symmetric. Hence if plugging (a 0, b 0, c 0 ) into our inequality

More information

Scientific Computing

Scientific Computing 2301678 Scientific Computing Chapter 2 Interpolation and Approximation Paisan Nakmahachalasint Paisan.N@chula.ac.th Chapter 2 Interpolation and Approximation p. 1/66 Contents 1. Polynomial interpolation

More information

A. H. Hall, 33, 35 &37, Lendoi

A. H. Hall, 33, 35 &37, Lendoi 7 X x > - z Z - ----»»x - % x x» [> Q - ) < % - - 7»- -Q 9 Q # 5 - z -> Q x > z»- ~» - x " < z Q q»» > X»? Q ~ - - % % < - < - - 7 - x -X - -- 6 97 9

More information

The Interlace Polynomial of Graphs at 1

The Interlace Polynomial of Graphs at 1 The Interlace Polynomial of Graphs at 1 PN Balister B Bollobás J Cutler L Pebody July 3, 2002 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract In this paper we

More information

The Hopf monoid of generalized permutahedra. SIAM Discrete Mathematics Meeting Austin, TX, June 2010

The Hopf monoid of generalized permutahedra. SIAM Discrete Mathematics Meeting Austin, TX, June 2010 The Hopf monoid of generalized permutahedra Marcelo Aguiar Texas A+M University Federico Ardila San Francisco State University SIAM Discrete Mathematics Meeting Austin, TX, June 2010 The plan. 1. Species.

More information

1.3 LECTURE 3. Vector Product

1.3 LECTURE 3. Vector Product 12 CHAPTER 1. VECTOR ALGEBRA Example. Let L be a line x x 1 a = y y 1 b = z z 1 c passing through a point P 1 and parallel to the vector N = a i +b j +c k. The equation of the plane passing through the

More information

Week 15-16: Combinatorial Design

Week 15-16: Combinatorial Design Week 15-16: Combinatorial Design May 8, 2017 A combinatorial design, or simply a design, is an arrangement of the objects of a set into subsets satisfying certain prescribed properties. The area of combinatorial

More information

Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints

Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints arxiv:45.346v [math.co] 3 May 24 Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints Thesis of the University of Siena and the University of Nice Sophia Antipolis

More information

Quadrant marked mesh patterns in alternating permutations

Quadrant marked mesh patterns in alternating permutations Quadrant marked mesh patterns in alternating permutations arxiv:1205.0570v1 [math.co] 2 May 2012 Sergey Kitaev School of Computer and Information Sciences University of Strathclyde Glasgow G1 1XH, United

More information

JUST THE MATHS UNIT NUMBER ORDINARY DIFFERENTIAL EQUATIONS 3 (First order equations (C)) A.J.Hobson

JUST THE MATHS UNIT NUMBER ORDINARY DIFFERENTIAL EQUATIONS 3 (First order equations (C)) A.J.Hobson JUST THE MATHS UNIT NUMBER 15.3 ORDINARY DIFFERENTIAL EQUATIONS 3 (First order equations (C)) by A.J.Hobson 15.3.1 Linear equations 15.3.2 Bernouilli s equation 15.3.3 Exercises 15.3.4 Answers to exercises

More information

On the Fully Commutative Elements of Coxeter Groups

On the Fully Commutative Elements of Coxeter Groups Journal of Algebraic Combinatorics 5 (1996), 353-385 1996 Kluwer Academic Publishers. Manufactured in The Netherlands. On the Fully Commutative Elements of Coxeter Groups JOHN R. STEMBRIDGB* Department

More information

Assignment 10. Arfken Show that Stirling s formula is an asymptotic expansion. The remainder term is. B 2n 2n(2n 1) x1 2n.

Assignment 10. Arfken Show that Stirling s formula is an asymptotic expansion. The remainder term is. B 2n 2n(2n 1) x1 2n. Assignment Arfken 5.. Show that Stirling s formula is an asymptotic expansion. The remainder term is R N (x nn+ for some N. The condition for an asymptotic series, lim x xn R N lim x nn+ B n n(n x n B

More information

Self-dual interval orders and row-fishburn matrices

Self-dual interval orders and row-fishburn matrices Self-dual interval orders and row-fishburn matrices Sherry H. F. Yan Department of Mathematics Zhejiang Normal University Jinhua 321004, P.R. China huifangyan@hotmail.com Yuexiao Xu Department of Mathematics

More information

Involutions by Descents/Ascents and Symmetric Integral Matrices. Alan Hoffman Fest - my hero Rutgers University September 2014

Involutions by Descents/Ascents and Symmetric Integral Matrices. Alan Hoffman Fest - my hero Rutgers University September 2014 by Descents/Ascents and Symmetric Integral Matrices Richard A. Brualdi University of Wisconsin-Madison Joint work with Shi-Mei Ma: European J. Combins. (to appear) Alan Hoffman Fest - my hero Rutgers University

More information

Lecture 8 Analyzing the diffusion weighted signal. Room CSB 272 this week! Please install AFNI

Lecture 8 Analyzing the diffusion weighted signal. Room CSB 272 this week! Please install AFNI Lecture 8 Analyzing the diffusion weighted signal Room CSB 272 this week! Please install AFNI http://afni.nimh.nih.gov/afni/ Next lecture, DTI For this lecture, think in terms of a single voxel We re still

More information

Commuting probabilities of quasigroups

Commuting probabilities of quasigroups Commuting probabilities of quasigroups STEPHEN M. BUCKLEY Abstract. We show that there exist quasigroups, and even loops, whose commuting probability equals any specified rational value r (0, 1]. We also

More information

arxiv:math/ v1 [math.ra] 18 Mar 2004

arxiv:math/ v1 [math.ra] 18 Mar 2004 arxiv:math/0403314v1 [math.ra] 18 Mar 2004 WEIGHT AND RANK OF MATRICES OVER FINITE FIELDS THERESA MIGLER, KENT E. MORRISON, AND MITCHELL OGLE Abstract. Define the weight of a matrix to be the number of

More information

1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.

1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. 1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. The set of n-tuples of real numbers is denoted by R n. Suppose that a is a real number

More information

A BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS

A BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS Séminaire Lotharingien de Combinatoire 63 (0), Article B63e A BJECTON BETWEEN WELL-LABELLED POSTVE PATHS AND MATCHNGS OLVER BERNARD, BERTRAND DUPLANTER, AND PHLPPE NADEAU Abstract. A well-labelled positive

More information

USING HOMOLOGICAL DUALITY IN CONSECUTIVE PATTERN AVOIDANCE

USING HOMOLOGICAL DUALITY IN CONSECUTIVE PATTERN AVOIDANCE USING HOMOLOGICAL DUALITY IN CONSECUTIVE PATTERN AVOIDANCE ANTON KHOROSHKIN AND BORIS SHAPIRO Abstract. Using the approach suggested in [2] we present below a sufficient condition guaranteeing that two

More information

arxiv:math/ v1 [math.co] 2 Oct 2002

arxiv:math/ v1 [math.co] 2 Oct 2002 PARTIALLY ORDERED GENERALIZED PATTERNS AND k-ary WORDS SERGEY KITAEV AND TOUFIK MANSOUR arxiv:math/020023v [math.co] 2 Oct 2002 Matematik, Chalmers tekniska högskola och Göteborgs universitet, S-42 96

More information

CHAPTER 4: HIGHER ORDER DERIVATIVES. Likewise, we may define the higher order derivatives. f(x, y, z) = xy 2 + e zx. y = 2xy.

CHAPTER 4: HIGHER ORDER DERIVATIVES. Likewise, we may define the higher order derivatives. f(x, y, z) = xy 2 + e zx. y = 2xy. April 15, 2009 CHAPTER 4: HIGHER ORDER DERIVATIVES In this chapter D denotes an open subset of R n. 1. Introduction Definition 1.1. Given a function f : D R we define the second partial derivatives as

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

Math 370 Homework 2, Fall 2009

Math 370 Homework 2, Fall 2009 Math 370 Homework 2, Fall 2009 (1a) Prove that every natural number N is congurent to the sum of its decimal digits mod 9. PROOF: Let the decimal representation of N be n d n d 1... n 1 n 0 so that N =

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Isomorphisms between pattern classes

Isomorphisms between pattern classes Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.

More information

A DARK GREY P O N T, with a Switch Tail, and a small Star on the Forehead. Any

A DARK GREY P O N T, with a Switch Tail, and a small Star on the Forehead. Any Y Y Y X X «/ YY Y Y ««Y x ) & \ & & } # Y \#$& / Y Y X» \\ / X X X x & Y Y X «q «z \x» = q Y # % \ & [ & Z \ & { + % ) / / «q zy» / & / / / & x x X / % % ) Y x X Y $ Z % Y Y x x } / % «] «] # z» & Y X»

More information

MA102: Multivariable Calculus

MA102: Multivariable Calculus MA102: Multivariable Calculus Rupam Barman and Shreemayee Bora Department of Mathematics IIT Guwahati Differentiability of f : U R n R m Definition: Let U R n be open. Then f : U R n R m is differentiable

More information

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator

More information

GENERATING FUNCTIONS AND CENTRAL LIMIT THEOREMS

GENERATING FUNCTIONS AND CENTRAL LIMIT THEOREMS GENERATING FUNCTIONS AND CENTRAL LIMIT THEOREMS Michael Drmota Institute of Discrete Mathematics and Geometry Vienna University of Technology A 1040 Wien, Austria michael.drmota@tuwien.ac.at http://www.dmg.tuwien.ac.at/drmota/

More information

Convex Geometry. Carsten Schütt

Convex Geometry. Carsten Schütt Convex Geometry Carsten Schütt November 25, 2006 2 Contents 0.1 Convex sets... 4 0.2 Separation.... 9 0.3 Extreme points..... 15 0.4 Blaschke selection principle... 18 0.5 Polytopes and polyhedra.... 23

More information

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation. Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both

More information

Chains of Length 2 in Fillings of Layer Polyominoes

Chains of Length 2 in Fillings of Layer Polyominoes Chains of Length 2 in Fillings of Layer Polyominoes Mitch Phillipson, Catherine H. Yan and Jean Yeh Department of Mathematics Texas A&M University College Station, Texas, U.S.A. {phillipson,cyan,jeanyeh}@math.tamu.edu

More information

Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices

Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices Alberto Facchini Dipartimento di Matematica Università di Padova Padova, Italy facchini@mathunipdit André Leroy Faculté Jean

More information

Major Index for 01-Fillings of Moon Polyominoes

Major Index for 01-Fillings of Moon Polyominoes Major Index for 0-Fillings of Moon Polyominoes William Y.C. Chen a,, Svetlana Poznanović b, Catherine H. Yan a,b,2 and Arthur L.B. Yang a, a Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin

More information

x + x y = 1... (1) and y = 7... (2) x + x 2 49 = 1 x = 1 + x 2 2x 2x = 48 x = 24 z 2 = x 2 + y 2 = 625 Ans.]

x + x y = 1... (1) and y = 7... (2) x + x 2 49 = 1 x = 1 + x 2 2x 2x = 48 x = 24 z 2 = x 2 + y 2 = 625 Ans.] Q. If + 0 then which of the following must be true on the complex plane? (A) Re() < 0 (B*) Re() 0 (C) Im() 0 (D) [Hint: ( + ) 0 0 or i 0 or ± i Re() 0] Q. There is only one way to choose real numbers M

More information

arxiv: v1 [math.co] 29 Apr 2013

arxiv: v1 [math.co] 29 Apr 2013 Cyclic permutations realized by signed shifts Kassie Archer and Sergi Elizalde arxiv:1304.7790v1 [math.co] 9 Apr 013 Abstract The periodic (ordinal) patterns of a map are the permutations realized by the

More information

The Zeta Function of a Cyclic Language with Connections to Elliptic Curves and Chip-Firing Games

The Zeta Function of a Cyclic Language with Connections to Elliptic Curves and Chip-Firing Games The Zeta Function of a Cyclic Language with Connections to Elliptic Curves and Chip-Firing Games University of California, San Diego March 14, 2007 University of California, San Diego Slide 1 OUTLINE I.

More information

Connection Coefficients Between Generalized Rising and Falling Factorial Bases

Connection Coefficients Between Generalized Rising and Falling Factorial Bases Trinity University Digital Commons @ Trinity Mathematics Faculty Research Mathematics Department 6-05 Connection Coefficients Between Generalized Rising and Falling Factorial Bases Jeffrey Liese Brian

More information

Introduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1)

Introduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1) Introduction to Predicate Logic Part 1 Professor Anita Wasilewska Lecture Notes (1) Introduction Lecture Notes (1) and (2) provide an OVERVIEW of a standard intuitive formalization and introduction to

More information

Linear DifferentiaL Equation

Linear DifferentiaL Equation Linear DifferentiaL Equation Massoud Malek The set F of all complex-valued functions is known to be a vector space of infinite dimension. Solutions to any linear differential equations, form a subspace

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

A Questionable Distance-Regular Graph

A Questionable Distance-Regular Graph A Questionable Distance-Regular Graph Rebecca Ross Abstract In this paper, we introduce distance-regular graphs and develop the intersection algebra for these graphs which is based upon its intersection

More information

Chapter 1 Numerical approximation of data : interpolation, least squares method

Chapter 1 Numerical approximation of data : interpolation, least squares method Chapter 1 Numerical approximation of data : interpolation, least squares method I. Motivation 1 Approximation of functions Evaluation of a function Which functions (f : R R) can be effectively evaluated

More information

Pattern Avoidance in the Rook Monoid

Pattern Avoidance in the Rook Monoid Pattern Avoidance in the Rook Monoid Dan Daly Department of Mathematics Southeast Missouri State University Cape Girardeau, MO, 63701 ddaly@semo.edu Lara K. Pudwell Department of Mathematics and Statistics

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

Part IA. Numbers and Sets. Year

Part IA. Numbers and Sets. Year Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or

More information

Week 9-10: Recurrence Relations and Generating Functions

Week 9-10: Recurrence Relations and Generating Functions Week 9-10: Recurrence Relations and Generating Functions April 3, 2017 1 Some number sequences An infinite sequence (or just a sequence for short is an ordered array a 0, a 1, a 2,..., a n,... of countably

More information

VECTORS IN COMPONENT FORM

VECTORS IN COMPONENT FORM VECTORS IN COMPONENT FORM In Cartesian coordinates any D vector a can be written as a = a x i + a y j + a z k a x a y a x a y a z a z where i, j and k are unit vectors in x, y and z directions. i = j =

More information

Section 4.1 Switching Algebra Symmetric Functions

Section 4.1 Switching Algebra Symmetric Functions Section 4.1 Switching Algebra Symmetric Functions Alfredo Benso Politecnico di Torino, Italy Alfredo.benso@polito.it Symmetric Functions A function in which each input variable plays the same role in determining

More information

June 21, Peking University. Dual Connections. Zhengchao Wan. Overview. Duality of connections. Divergence: general contrast functions

June 21, Peking University. Dual Connections. Zhengchao Wan. Overview. Duality of connections. Divergence: general contrast functions Dual Peking University June 21, 2016 Divergences: Riemannian connection Let M be a manifold on which there is given a Riemannian metric g =,. A connection satisfying Z X, Y = Z X, Y + X, Z Y (1) for all

More information

Combinatorial Analysis of the Geometric Series

Combinatorial Analysis of the Geometric Series Combinatorial Analysis of the Geometric Series David P. Little April 7, 205 www.math.psu.edu/dlittle Analytic Convergence of a Series The series converges analytically if and only if the sequence of partial

More information

Permutation Statistics and q-fibonacci Numbers

Permutation Statistics and q-fibonacci Numbers Permutation Statistics and q-fibonacci Numbers Adam M Goyt and David Mathisen Mathematics Department Minnesota State University Moorhead Moorhead, MN 56562 Submitted: April 2, 2009; Accepted: August 2,

More information

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall c Dr Oksana Shatalov, Fall 2014 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set

More information

Discrete Mathematics -- Chapter 10: Recurrence Relations

Discrete Mathematics -- Chapter 10: Recurrence Relations Discrete Mathematics -- Chapter 10: Recurrence Relations Hung-Yu Kao ( 高宏宇 ) Department of Computer Science and Information Engineering, National Cheng Kung University First glance at recurrence F n+2

More information

p-rook Numbers and Cycle Counting in C p S n

p-rook Numbers and Cycle Counting in C p S n p-rook Numbers and Cycle Counting in C p S n James Haglund Department of Mathematics University of Pennsylvania, Philadelphia, PA 19104. USA jhaglund@math.upenn.edu Jeffrey Remmel Department of Mathematics

More information

Static Problem Set 2 Solutions

Static Problem Set 2 Solutions Static Problem Set Solutions Jonathan Kreamer July, 0 Question (i) Let g, h be two concave functions. Is f = g + h a concave function? Prove it. Yes. Proof: Consider any two points x, x and α [0, ]. Let

More information

Binomial Coefficient Identities/Complements

Binomial Coefficient Identities/Complements Binomial Coefficient Identities/Complements CSE21 Fall 2017, Day 4 Oct 6, 2017 https://sites.google.com/a/eng.ucsd.edu/cse21-fall-2017-miles-jones/ permutation P(n,r) = n(n-1) (n-2) (n-r+1) = Terminology

More information

Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials

Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials Discrete Mathematics 305 (2005) 70 89 wwwelseviercom/locate/disc Restricted Motzkin permutations, Motzkin paths, continued fractions, and Chebyshev polynomials Sergi Elizalde a, Toufik Mansour b a Department

More information

EQUIDISTRIBUTIONS OF MAHONIAN STATISTICS OVER PATTERN AVOIDING PERMUTATIONS (EXTENDED ABSTRACT)

EQUIDISTRIBUTIONS OF MAHONIAN STATISTICS OVER PATTERN AVOIDING PERMUTATIONS (EXTENDED ABSTRACT) EQUIDISTRIBUTIONS OF MAHONIAN STATISTICS OVER PATTERN AVOIDING PERMUTATIONS (EXTENDED ABSTRACT) NIMA AMINI 1. Introduction A Mahonian d-function is a Mahonian statistic that can be expressed as a linear

More information

1.7 Proof Methods and Strategy

1.7 Proof Methods and Strategy 1.7 Proof Methods and Strategy Proof Strategies Finding proofs can be difficult. Usual process of proving: Replace terms by their definitions Analyze what the hypothesis and the conclusion mean Try to

More information

3. Which of these numbers does not belong to the set of solutions of the inequality 4

3. Which of these numbers does not belong to the set of solutions of the inequality 4 Math Field Day Exam 08 Page. The number is equal to b) c) d) e). Consider the equation 0. The slope of this line is / b) / c) / d) / e) None listed.. Which of these numbers does not belong to the set of

More information

Linear Vector Spaces

Linear Vector Spaces CHAPTER 1 Linear Vector Spaces Definition 1.0.1. A linear vector space over a field F is a triple (V, +, ), where V is a set, + : V V V and : F V V are maps with the properties : (i) ( x, y V ), x + y

More information

Pure Further Mathematics 1. Revision Notes

Pure Further Mathematics 1. Revision Notes Pure Further Mathematics Revision Notes June 20 2 FP JUNE 20 SDB Further Pure Complex Numbers... 3 Definitions an arithmetical operations... 3 Complex conjugate... 3 Properties... 3 Complex number plane,

More information