REFINED RESTRICTED PERMUTATIONS AVOIDING SUBSETS OF PATTERNS OF LENGTH THREE

Size: px
Start display at page:

Download "REFINED RESTRICTED PERMUTATIONS AVOIDING SUBSETS OF PATTERNS OF LENGTH THREE"

Transcription

1 REFINED RESTRICTED PERMUTATIONS AVOIDING SUBSETS OF PATTERNS OF LENGTH THREE Toufik Mansour LaBRI, Université Bordeaux 1, 51 cours de la Libération 405 Talence Cedex, France Aaron Robertson 1 Department of Mathematics, Colgate University, Hamilton, NY 14 aaron@math.colgate.edu Abstract Define Sn(T k ) to be the set of permutations of {1,,...,n} with exactly k fixed points which avoid all patterns in T S m. We enumerate Sn(T k ), T S, for all T and 0 k n. 1 Introduction Let π S n be a permutation of {1,,...,n} written in one-line notation. Let α S m. We say that π contains the pattern α if there exist indices i 1 <i < <i m such that π i1 π i...π im is equivalent to α, where we define equivalence as follows. Define π ij = {x : π ix π ij, 1 x m}. If α = π i1 π i...π im then we say that α and π i1 π i...π im are equivalent. Define S k n(t ), T S m, to be the set of permutations with k fixed points which avoid all patterns in T and let s k n(t )= S k n(t ). In recent paper [RSZ], the authors began the study of S k n(t ) for T S, T = 1. In this paper we enumerate S k n(t ) for all T S with T. Thus, all that remains to enumerate are S k n(1) and S k n(1) for all 0 k n. We start by giving two bijections which preserve the parameter number of fixed points. Let I : S n S n be the group theoretical inverse. Let R : S n S n be the reversal bijection, i.e. R(π 1 π...π n )=π n π n 1...π 1, and let C : S n S n be the complement bijection, i.e. C(π 1 π...π n )=(n +1 π 1 )(n +1 π )...(n +1 π n ). 1 Homepage: aaron/ 000 Mathematics Subject Classification: 05A15, 8R15 1

2 It is easy to see that the bijections I and RC preserve the number of fixed points in a permutation. This reduces the number of cases that we have to consider. In the sequel, we will be using the following notation. Let I S be the characteristic function, i.e. I S =1ifS is true and I S =0ifS is false. We also define s j n(t )=0forj<0orj>n for any T S. The Case T = Using I and RC we see that we have the following cases. (1) {1, 1} = {{1, 1}} () {1, 1} = {{1, 1}, {1, 1}} () {1, 1} = {{1, 1}, {1, 1}} (4) {1, 1} = {{1, 1}} (5) {1, 1} = {{1, 1}, {1, 1}, {1, 1}, {1, 1}} () {1, 1} = {{1, 1}, {1, 1}} (7) {1, 1} = {{1, 1}} (8) {1, 1} = {{1, 1}, {1, 1}} Theorem.1 {s 0 n(1, 1)} n 0 =1, 0, 1,, 4, 0, 0,..., {s 1 n(1, 1)} n 0 =0, 1, 0,, 0, 0,..., {s n(1, 1)} n 0 =0, 0, 1, 0, 0..., and s k n(1, 1) = 0 for all k n. Proof. Obvious. Theorem. For n 1, s k n(1, 1) = 0 for k n, 4 n 1 + if i =0 s n+i(1, 1) =, s 1 n+i(1, 1) = 0 if i =1 4 n 1 if i =0 s 0 n+i(1, 1) =. (4 n 1) if i =1 (4 n 1 1) if i =0 4 n + if i =1, and

3 Proof. Let π S n (1, 1). It is easy to prove by induction that we must have π = (π(1),π(),...,π(m)) where π(j) =(t j 1 1,t j 1,...,t j +1,t j 1 ) for some n = t 0 > t 1 >t > >t m = 0. We call π(j) aj-block of π. (See [Man] for more details.) Clearly s k n(1, 1) = 0 for k n since three fixed points yield a 1 pattern. Hence, we need only consider k = 0, 1,. However, using a result in [SiSc] and the fact that s k n(1, 1) = 0 for k n, we immediately obtain obtain for s k n(1, 1) for one of k =0, 1,, provided we know it for the other two values of k. Hence, we may prove the stated formulas by providing formulas for the following: 1. s n(1, 1). s 1 n+1(1, 1). s 0 n(1, 1). We start with s n(1, 1). Consider the graph of π, which consists of the points (i, π i ) Z. By the symmetries of the graph of π, we see that the number of intersections with the line y = x (i.e. the number of fixed points of π) is two if and only if m is odd for π =(π(1),π(),...,π(m)) and the intersections are in the m+1 -block of π. So, the number of elements in the m+1 -block must be even, as well as the total number of elements of π. Hence, we have s n(1, 1) = 0 for n odd. For the case n, let d be the number of elements in the m+1 -block. Since the other blocks cannot contain a fixed point, we have (s n d(1, 1)) permutations for d =1,,...,n. Using a result in [SiSc], this gives 1 + n 1 d=1 (n d 1 ) permutations. Hence, s n(1, 1) = 4n 1 +. Next, we look at s 1 n+1(1, 1) and again consider the graph of π; we have a situation similar to the case above. We must have the middle block containing an odd number of elements. Let this middle block have d + 1 elements. Using a result in [SiSc], this gives 1+ n 1 d=0 (n d 1 ) permutations. Hence, s 1 n+1(1, 1) = 4n +. Lastly, we consider s 0 n(1, 1). From the block decomposition given at the beginning of this proof and the fact that we do not have a fixed point, for π Sn(1, 0 1) we have π = π(1)π() where π() S n (1, 1) and π(1) is a permutation of n+1,n+,...,n which avoids both given patterns. Thus, using a result in [SiSc], s 0 n(1, 1) = (s n (1, 1)) = 4 n 1.

4 Theorem. For n, s k n(1, 1) = 0 for k n, n(n+) if n 0(mod ) 4 s n(1, 1) = n 1 4 if n 1, 5(mod ) (n+)(n+4) 4 if n, 4(mod ) n 9 4 if n (mod ) n if n 0(mod ), s 1 n(1, 1) = 7n 1n+9 4 if n 1, 5(mod ) n 4 if n, 4(mod ) 7n 1n+45 4 if n (mod ), and s 0 n(1, 1) = ( n ) +1 s 1 n (1, 1) s n(1, 1). Proof. Clearly s k n(1, 1) = 0 for k n since three fixed points yield a 1 pattern. Hence, we need only consider k =0, 1,. However, using a result in [SiSc] and the fact that s k n(1, 1) = 0 for k n, we immediately obtain the stated equation for s 0 n(1, 1) upon proving the formulas for k =1,. Hence, we need only consider k =1,. Let π S n (1, 1) with π i = n. Ifi 1 then we must have π =(i 1)(i ) 1n(n 1)(n ) i for any i n. This case contributes n 1 permutations to S 1 n(1, 1) for n odd and n to S n(1, 1) for n even. For i = 1, we have π = n(n 1) (n x + 1)y(y 1) 1(n x)(n x 1) (y + 1) for some 1 x n and 1 y n x 1, or we have π = n(n 1) 1. We now consider the cases k =1, for i =1. We have three potential intervals in which fixed points may reside: (A) n(n 1) (n x +1), (B) y(y 1) 1, or (C) (n x)(n x 1) (y +1) Hence, we have the following situations in which a fixed point appears. 4

5 A. For n odd we get one fixed point for any n+1 x n and 1 y n x 1, or if π = n(n 1) 1. The fixed point occurs at position n+1 B. For x + y odd we get one fixed point for any 1 x n and x +1 y n x 1. The fixed point occurs at position x+y+1. C. For n + y odd we get one fixed point for any 1 x n and 1 y n x 1. The fixed point occurs at position n+y+1. We now consider the case k =(i = 1). To have two distinct fixed points we must have both B and C both occurring. Hence, we get n(n ) if n 0(mod ) 4. n x=1 n x 1 y=x+1 n+y odd x+y odd 1= (n 1)(n+1) 4 if n 1, 5(mod ) (n 4)(n ) 4 if n, 4(mod ) (n )(n+) 4 if n (mod ) permutations with two fixed points in this case. We now consider the case k =1(i = 1). We may have only A occur, only B occur, or only C occur: Only A occurs: In this case we require n to be odd and we get 1+ n x= n+1 n x 1 y=1 1= (n )(n 1) 8 +1 permutations with one fixed point. 5

6 Only B occurs: In this case we get + ( ) n+ 4 n(n ) if n 0(mod ) n 1 x=1 1+ n x 1 y=n x x+y odd n 1+ n x 1 x= n 1 +1 y=x x+y odd n x=1 n x 1 y=x+1 x+y odd n+y even 1= + ( ) n+5 4 if n 1(mod ) (n 15)(n 1) + ( ) n+4 4 n(n ) (n 9)(n ) + ( ) n+ 4 (n 1)(n+) if n (mod ) if n (mod ) + ( ) n+8 4 if n 4(mod ) (n 5)(n ) + ( ) n+1 4 if n 5(mod ) permutations with one fixed point. Only C occurs: In this case we get + ( ) n+ 4 n(n ) if n 0(mod ) n 1 x=1 x y=1 n+y odd 1+ n n x 1 x= n 1 +1 y=1 n+y odd 1+ n x=1 n x 1 y=x+1 x+y even n+y odd 1= + ( ) n+5 4 if n 1(mod ) (n 15)(n 1) + ( ) n+4 4 n(n ) (n 9)(n ) + ( ) n+ 4 (n 1)(n+) if n (mod ) if n (mod ) + ( ) n+8 4 if n 4(mod ) (n 5)(n ) + ( ) n+1 4 if n 5(mod ) permutations with one fixed point. Summing over all cases yields the stated formula. Theorem.4 For n 1, s n 1 n (1, 1) = 0, s n n(1, 1) = 1, 5 4 n 1 if i =0 s 0 n+i(1, 1) = (4 n 1) if i =1,

7 s k n+i(1, 1) = s k+1 n+i (1, 1) = 4 n k 1 if i =0 0 if i =1 0 if i =0 4 n k 1 if i =1 for 1 k n 1, and for 0 k n 1. Proof. The proof is very similar to the proof of Theorem. and we provide a sketch of this proof. It is easy to prove by induction that π =(π(1),π(),...,π(m)) where π(j) =(t j +1,t j +,...,t j 1 1,t j 1 ) for some 0 = t 0 <t 1 <t < <t m = n. We call π(j) aj-block of π. (See [Man] for more details.) Recall that the graph of π consists of the points (i, π i ) Z. For k fixed points, we see that the middle block of π =(π(1),...,π(m)) must be of length k and must contain all k fixed points and that n must be even. Hence, we have s k n = (s n k (1, 1)) =4 n k 1 and s k n+1 = 0 for 1 k n 1. Similarly, for k + 1 fixed points, we have s k+1 n+1 =(s n k (1, 1)) =4 n k 1 and s k+1 n =0 for 0 k n 1. Using a result in [SiSc] gives the stated formula for s 0 n(1, 1). Theorem.5 For n, s 0 n(1, 1) = 1 (n 1 +( 1) n ), s k n(1, 1) = (n k 1 + ( 1) n k ) for 1 k n, s n 1 n (1, 1) = 0, and s n n(1, 1) = 1. Proof. Let π S n (1, 1). Clearly, we must have either π 1 = n or π n = n. For the case π n = n we have s k 1 n 1(1, 1) permutations. Hence, we need only consider π 1 = n. Write π =(n, π(1), 1,π()). We must have π(1) be a decreasing sequence and π() be an increasing sequence. Hence, we cannot have a fixed point in π() and we can have at most one fixed point in π(1). Thus, for k the case π 1 = n is empty giving s k n(1, 1) = s k 1 n 1(1, 1) for k. It remains to consider k =0, 1 for π =(n, π(1), 1,π()). We consider k = 0 first (the case k = 1 will follow immediately). We may place the elements,,...,n 1in n ways such that π(1) is decreasing and π() is increasing. To see this, insert the elements,,...,n 1 in reverse order at 1 s position and slide the element all the way to the left or all the way to right. However, we must subtract those permutations which contain a fixed point, which may only occur in π(1). 7

8 Let f be a fixed point and write π(1) = (σ(1),f,σ()). We have ( ) n f 1 f choices for the elements in σ(1). Once these are chosen, there are then f ways to place the elements,,...,f 1intoσ() and π() such that σ() is decreasing and π() is increasing. Thus, we have n+1 ( ) n f 1 s 0 n(1, 1) = n f. f From here, it is easy to check that s 0 n(1, 1) = s 0 n 1(1, 1) + s 0 n (1, 1), which gives s 0 n(1, 1) = 1 (n 1 +( 1) n ) for s 0 1(1, 1) = 0 and s 0 (1, 1) = 1. f= For the case k = 1, the above argument shows that s 1 n(1, 1) = s 0 n 1(1, 1) + n+1 f= ( n f 1 f ) f. From here, it is easy to check that s 1 n(1, 1) = s 1 n 1(1, 1) + s 1 n (1, 1), which gives s 1 n(1, 1) = (n +( 1) n 1 ) for s 1 1(1, 1) = 1 and s 1 (1, 1) = 0. Remark. s 0 n(1, 1) = J n where J n is the n th Jacobsthal number. Theorem. For n 1, s k n(1, 1) = n k 1 for 0 k n 1 and s n n(1, 1) = 1. Proof. Let π S n (1, 1). It is easy to see that in order to avoid both 1 and 1 we have either π =(π,n) where π S n 1 (1, 1) or π =(j + 1)(j +) (n 1)n1...j for some 1 j n 1. Adjusting for the number of fixed points we see that n 1 s k n(1, 1) = s k 1 n 1(1, 1) + I k=0. j=1 A straightforward induction on k for 0 k<nfinishes the proof. As a corollary of Theorem. we rederive a result given in [SiSc]. Corollary.7 s n (1, 1) = ( n ) +1 Proof. Summing over 0 k n we obtain the result immediately. 8

9 Theorem.8 For n 1, ( ( n k n+k ) ( n+k ) ) s k n k + n k for n + k even n(1, 1) = 0 otherwise Proof. For π S n (1, 1) it is easy to see that we must have π = π(1)n(n 1) j with π(1) Sj 1(1, k 1) S k 1 j 1 (1, 1) (depending on the parity of n+j) for some 1 j n. Hence, we have s k n(1, 1) = n 1 j=1 n j odd s k j 1(1, 1) + n j=1 n j even s k 1 j 1 (1, 1). From here we see that s k n(1, 1) = s k n (1, 1) + s k 1 n 1(1, 1). Hence, using initial conditions it is easy to check that the formula given is correct. Theorem.9 Let G k (x) be the generating function for {s k n(1, 1)} n 0. Then G k (x) = x k (1 x) k+1 (1 x x ) k+1. In particular, s 0 n(1, 1) = F n, for n, where {F n } n 0 is the Fibonacci sequence initialized by F 0 = F 1 =1. Proof. Let π S n (1, 1). It is easy to see that we must have π = (π,σ) where π S k I j=1 n j (1, 1) and σ = n(n j + 1)(n j +) (n 1) for some 1 j n. Hence, we have s k n(1, 1) = s k 1 n 1(1, 1) + n j= sk n j(1, 1) for 0 k n. This implies that s k n(1, 1) = s k 1 n 1(1, 1) + s k n (1, 1) + s k n 1(1, 1) s k 1 n (1, 1). For k =0wehaves 0 n(1, 1) = s 0 n 1(1, 1) + s 0 n (1, 1), from which it follows that G 0 (x) = 1 x. For k>0wehaveg 1 x x k (x) = x(1 x) G 1 x x k 1 (x). From here all of the results follow. The following corollary rederives a result in [SiSc]. Corollary.10 n 0 s n(1, 1)x n = 1 x 1 x, i.e. s n(1, 1) = n 1 for n 1. Proof. Summing k 0 G k(x) gives the desired result. We now make the following definition. 9

10 Definition.1 Let S 1,S S m. If s k n(s 1 )=s k n(s ) for all 0 k n for all n m we say that S 1 and S are Super-Wilf equivalent. Furthermore, we say that S 1 and S are in the same Super-Wilf class. Remark. Using the above definition and results from [RSZ] we see that 1, 1, and 1 are Super-Wilf equivalent, 1 and 1 are Super-Wilf equivalent, and the eight cases given at the beginning of Section provide eight Super-Wilf classes. The Case T = Using I and RC we see that we have the following cases, except that case (1) is grouped together because both 1 and 1 are to be avoided, which is not possible for n 5. (1) {1, 1, 1} = {{1, 1, 1}, {1, 1, 1}, {1, 1, 1}, {1, 1, 1}} () {1, 1, 1} = {{1, 1, 1}} () {1, 1, 1} = {{1, 1, 1}, {1, 1, 1}, {1, 1, 1}, {1, 1, 1}} (4) {1, 1, 1} = {{1, 1, 1}} (5) {1, 1, 1} = {{1, 1, 1}, {1, 1, 1}} () {1, 1, 1} = {{1, 1, 1}} (7) {1, 1, 1} = {{1, 1, 1}, {1, 1, 1}} (8) {1, 1, 1} = {{1, 1, 1}, {1, 1, 1}, {1, 1, 1}, {1, 1, 1}} (9) {1, 1, 1} = {{1, 1, 1}} Theorem.1 Let α {1, 1, 1, 1}. Then {s 0 n(1, 1)} n 0 =1, 0, 1,, 1, 0, 0,... for α 1, 1 {s 0 n(1, 1)} n 0 =1, 0, 1, 1, 1, 0, 0,... for α = 1 or α = 1 {s 1 n(1,α,1)} n 0 =0, 1, 0,, 0, 0,... for α 1, 1 {s 1 n(1,α,1)} n 0 =0, 1, 0, 1, 0, 0,... for α = 1 or α = 1 {s n(1,α,1)} n 0 =0, 0, 1, 0, 0..., for any α, and s k n(1,α,1) = 0 for any α, for all k n. Proof. Obvious. 10

11 Theorem. For n, s k n(1, 1, 1) = 0 for k n, s n(1, 1, 1) = F n I neven, s 1 n(1, 1, 1) = F n 1 I n odd, and s 0 n(1, 1, 1) = F n F n F n F n 1 if n is even if n is odd where {F n } n 0 is the Fibonacci sequence initialized by F 0 = F 1 =1., Proof. Clearly, s k n(1, 1, 1) = 0 for k since three fixed points are a 1 pattern. We may then use a result from from [SiSc] to get s 0 n(1, 1, 1) = s n (1, 1, 1) s 1 n(1, 1, 1) s n(1, 1, 1) = F n s 1 n(1, 1, 1) s n(1, 1, 1). Hence, we only need consider k =1,. We start with k =. The fixed points must be adjacent in order to avoid all of 1, 1, 1. Let the fixed points be j and j + 1. Write π =(π(1),j,j +1,π()). Then π(1) is on the elements {n j +,...,n}. To avoid the 1 pattern, we require n j + j + and n j +1 j + 1. Hence, j = n (so that n must be even). Thus, since it is not possible to have fixed points in π(1) or π() we have s n(1, 1, 1) = (s n (1, 1, 1)) I neven, which, using a result from [SiSc], gives the stated formula. Now consider k = 1. Let j be the fixed point. Note that j 1,n in order to avoid all of 1, 1, 1. Write π =(π(1),j,π()). In order to avoid 1 and 1, there exists at most one x π(1) with x<j. Assume, for a contradiction, that such an x exists. Then we must have x = π j 1 in order to avoid the 1 pattern. Next, for z π() we must have z<jelse xjz is a 1 pattern. This forces x = j 1 to be a fixed point, a contradiction. Hence, no such x exists so that for all i π(1) we have i>j. In order to avoid 1 and 1, there exists at most one y π() with y>j. Assume, for a contradiction, that such a y exists. Then we must have y = π j+1 in order to avoid the 1 pattern. Furthermore, for all i π(1) we must have i>jso as not to have a 1 pattern with ijy. This forces y = j +1tobe a fixed point, a contradiction. Hence, no such y exists. Since we have i π(1), i>jand k π(), k<j, and for j to be a fixed point we require n to be odd so that j = n+1, we get s 1 n(1, 1, 1) = (s n 1 (1, 1, 1)) I n odd, which, using a result from [SiSc], gives the stated formula. Theorem. For n, s 0 n(1, 1, 1) = n, s1 n(1, 1, 1) = n +( 1)n+1, s n(1, 1, 1) = 1 (1 + ( 1)n ), and s k n(1, 1, 1) = 0 for k n. Proof. Let π S n (1, 1, 1). It is easy to see that we must have π = n(n 1) (n j +1)(n j 1)(n j ) 1(n j) for some 0 j n 1. From here the results follow easily. 11

12 Theorem.4 For n, s 0 n(1, 1, 1) = s n(1, 1, 1) = n (1 I n odd), s 1 n(1, 1, 1) = n(1 I neven ), and s k n(1, 1, 1) = 0 for k n. Proof. Let π S n (1, 1, 1). It is easy to see that we must have π = j(j 1) 1n(n 1) (j + 1). From here the results follow easily. Theorem.5 For n, s 0 n(1, 1, 1) = n I n odd +( n +1)I neven, s 1 n(1, 1, 1) = n I n odd, and s k n(1, 1, 1) = I n=k for k n. Proof. Let π S n (1, 1, 1). It is easy to see that we must have π = n(n 1) (n j +1)1 (n j) for some 1 j n. From here the results follow easily. Theorem. For n, s 0 n(1, 1, 1) = n 1 and s k n(1, 1, 1) = I n=k for 1 k n. Proof. Let π S n (1, 1, 1). Then we must have π = j(j +1) n1 (j 1) for some 1 j n. From here the results follow easily. Theorem.7 For n, s 0 n(1, 1, 1) = 1 (1+( 1)n ), and for k 1, { 1+( 1) s k n if n>k n (1, 1, 1) = 1 if n =k, and { 1+( 1) s k 1 n+1 if n>k 1 n (1, 1, 1) = 1 if n =k 1. Proof. Let π S n (1, 1, 1). It is easy to see that we must have π = j(j 1) 1(j + 1)(j +) n for some 1 j n. From here the results follow easily. Theorem.8 For n, 1 if 0 k n s k n(1, 1, 1) = 0 if k = n 1 1 if k = n. Proof. Let π S n (1, 1, 1). It is easy to see that we must have π = j1 (j 1)(j + 1) n for some 1 j n. From here the results follow easily. 1

13 Theorem.9 For n and 0 k n, s k n(1, 1, 1) = ( ) n+k In+k even. k Proof. Let π Sn(1, k 1, 1). Then π must be of the form (1,π )or(, 1,π ) where π Sn 1(1, k 1 1, 1) and π Sn 1(1, k 1, 1). This gives us s k n(1, 1, 1) = s k 1 n 1(1, 1, 1) + s k n (1, 1, 1). A straightforward induction on n + k finishes the proof. 4 The Cases T 4 The cases T 4 are easy and in fact s k n(t ) {0, 1, } for all T S, T 4, for all n 1 and 0 k n. Acknowledgment We thank an anonymous referee for a careful reading and helpful corrections. References [Man] T. Mansour, Permutations Avoiding a Pattern from S k and at Least Two Patterns from S, Ars Combinatoria (001), [RSZ] A. Robertson, D. Saracino, and D. Zeilberger, Refined Restricted Permutations, arxiv: math.co/000 [SiSc] R. Simion and F. Schmidt, Restricted Permutations, European Journal of Combinatorics (1985),

REFINED RESTRICTED INVOLUTIONS

REFINED RESTRICTED INVOLUTIONS REFINED RESTRICTED INVOLUTIONS Emeric Deutsch Department of Mathematics, Polytechnic University, Brooklyn, NY 1101 deutsch@duke.poly.edu Aaron Robertson 1 Department of Mathematics, Colgate University,

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

1. Introduction

1. Introduction Séminaire Lotharingien de Combinatoire 49 (2002), Article B49a AVOIDING 2-LETTER SIGNED PATTERNS T. MANSOUR A AND J. WEST B A LaBRI (UMR 5800), Université Bordeaux, 35 cours de la Libération, 33405 Talence

More information

Some statistics on permutations avoiding generalized patterns

Some statistics on permutations avoiding generalized patterns PUMA Vol 8 (007), No 4, pp 7 Some statistics on permutations avoiding generalized patterns Antonio Bernini Università di Firenze, Dipartimento di Sistemi e Informatica, viale Morgagni 65, 504 Firenze,

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

Toufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden

Toufik Mansour 1. Department of Mathematics, Chalmers University of Technology, S Göteborg, Sweden COUNTING OCCURRENCES OF 32 IN AN EVEN PERMUTATION Toufik Mansour Department of Mathematics, Chalmers University of Technology, S-4296 Göteborg, Sweden toufik@mathchalmersse Abstract We study the generating

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

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp April 28, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct nonempty

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

Generating Permutations and Combinations

Generating Permutations and Combinations Generating Permutations and Combinations March 0, 005 Generating Permutations We have learned that there are n! permutations of {,,, n} It is important in many instances to generate a list of such permutations

More information

ON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS

ON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS ON THE CONTINUED FRACTION EXPANSION OF THE UNIQUE ROOT IN F(p) OF THE EQUATION x 4 + x 2 T x 1/12 = 0 AND OTHER RELATED HYPERQUADRATIC EXPANSIONS by A. Lasjaunias Abstract.In 1986, Mills and Robbins observed

More information

Some Congruences for the Partial Bell Polynomials

Some Congruences for the Partial Bell Polynomials 3 47 6 3 Journal of Integer Seuences, Vol. 009), Article 09.4. Some Congruences for the Partial Bell Polynomials Miloud Mihoubi University of Science and Technology Houari Boumediene Faculty of Mathematics

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

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall. .1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,

More information

ENUMERATING PERMUTATIONS AVOIDING A PAIR OF BABSON-STEINGRíMSSON PATTERNS

ENUMERATING PERMUTATIONS AVOIDING A PAIR OF BABSON-STEINGRíMSSON PATTERNS ENUMERATING PERMUTATIONS AVOIDING A PAIR OF BABSON-STEINGRíMSSON PATTERNS ANDERS CLAESSON AND TOUFIK MANSOUR Abstract. Babson and Steingrímsson introduced generalized permutation patterns that allow the

More information

PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes

PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES Notes. x n+ = ax n has the general solution x n = x a n. 2. x n+ = x n + b has the general solution x n = x + (n )b. 3. x n+ = ax n + b (with a ) can be

More information

On the adjacency matrix of a block graph

On the adjacency matrix of a block graph On the adjacency matrix of a block graph R. B. Bapat Stat-Math Unit Indian Statistical Institute, Delhi 7-SJSS Marg, New Delhi 110 016, India. email: rbb@isid.ac.in Souvik Roy Economics and Planning Unit

More information

Pattern Avoidance in Reverse Double Lists

Pattern Avoidance in Reverse Double Lists Pattern Avoidance in Reverse Double Lists Marika Diepenbroek, Monica Maus, Alex Stoll University of North Dakota, Minnesota State University Moorhead, Clemson University Advisor: Dr. Lara Pudwell Valparaiso

More information

TWO COLOR OFF-DIAGONAL RADO-TYPE NUMBERS

TWO COLOR OFF-DIAGONAL RADO-TYPE NUMBERS TWO COLOR OFF-DIAGONAL RADO-TYPE NUMBERS Kellen Myers 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 13346 aaron@math.colgate.edu Abstract We show that for any two linear

More information

Permutations Which Avoid 1243 and 2143, Continued Fractions, and Chebyshev Polynomials

Permutations Which Avoid 1243 and 2143, Continued Fractions, and Chebyshev Polynomials Permutations Which Avoid 1243 and 2143, Continued Fractions, and Chebyshev Polynomials arxiv:math/0208046v1 [math.co] 6 Aug 2002 Eric S. Egge Department of Mathematics Gettysburg College Gettysburg, PA

More information

Practice Exam 1 CIS/CSE 607, Spring 2009

Practice Exam 1 CIS/CSE 607, Spring 2009 Practice Exam 1 CIS/CSE 607, Spring 2009 Problem 1) Let R be a reflexive binary relation on a set A. Prove that R is transitive if, and only if, R = R R. Problem 2) Give an example of a transitive binary

More information

On the oriented chromatic index of oriented graphs

On the oriented chromatic index of oriented graphs On the oriented chromatic index of oriented graphs Pascal Ochem, Alexandre Pinlou, Éric Sopena LaBRI, Université Bordeaux 1, 351, cours de la Libération 33405 Talence Cedex, France February 19, 2006 Abstract

More information

Permutation Patterns and Continued Fractions

Permutation Patterns and Continued Fractions Permutation Patterns and Continued Fractions Aaron Robertson Colgate University, Hamilton, NY 3346 Herbert S. Wilf University of Pennsylvania, Philadelphia, PA 904-6395

More information

MATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2

MATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2 MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT KANNAPPAN SAMPATH Facts Recall that, the Stirling number S(, n of the second ind is defined as the number of partitions of a [] into n non-empty blocs. We

More information

ON MONOCHROMATIC ASCENDING WAVES. Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 13346

ON MONOCHROMATIC ASCENDING WAVES. Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 13346 INTEGERS: Electronic Journal of Combinatorial Number Theory 7(), #A3 ON MONOCHROMATIC ASCENDING WAVES Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 1336

More information

The integers. Chapter 3

The integers. Chapter 3 Chapter 3 The integers Recall that an abelian group is a set A with a special element 0, and operation + such that x +0=x x + y = y + x x +y + z) =x + y)+z every element x has an inverse x + y =0 We also

More information

arxiv: v1 [math.co] 3 Nov 2014

arxiv: v1 [math.co] 3 Nov 2014 SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed

More information

OVERPARTITIONS AND GENERATING FUNCTIONS FOR GENERALIZED FROBENIUS PARTITIONS

OVERPARTITIONS AND GENERATING FUNCTIONS FOR GENERALIZED FROBENIUS PARTITIONS OVERPARTITIONS AND GENERATING FUNCTIONS FOR GENERALIZED FROBENIUS PARTITIONS SYLVIE CORTEEL JEREMY LOVEJOY AND AE JA YEE Abstract. Generalized Frobenius partitions or F -partitions have recently played

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp November 8, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct

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

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?

Any Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City? Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of

More information

arxiv: v2 [math.ag] 24 Jun 2015

arxiv: v2 [math.ag] 24 Jun 2015 TRIANGULATIONS OF MONOTONE FAMILIES I: TWO-DIMENSIONAL FAMILIES arxiv:1402.0460v2 [math.ag] 24 Jun 2015 SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. Let K R n be a compact definable set

More information

Math 4320, Spring 2011

Math 4320, Spring 2011 Math 4320, Spring 2011 Prelim 2 with solutions 1. For n =16, 17, 18, 19 or 20, express Z n (A product can have one or more factors.) as a product of cyclic groups. Solution. For n = 16, G = Z n = {[1],

More information

arxiv:math/ v1 [math.co] 8 Aug 2003

arxiv:math/ v1 [math.co] 8 Aug 2003 CANTORIAN TABLEAUX AND PERMANENTS SREČKO BRLEK, MICHEL MENDÈS FRANCE, JOHN MICHAEL ROBSON, AND MARTIN RUBEY arxiv:math/0308081v1 [math.co] 8 Aug 2003 Abstract. This article could be called theme and variations

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

Maximizing the descent statistic

Maximizing the descent statistic Maximizing the descent statistic Richard EHRENBORG and Swapneel MAHAJAN Abstract For a subset S, let the descent statistic β(s) be the number of permutations that have descent set S. We study inequalities

More information

Pattern Avoidance in Ordered Set Partitions

Pattern Avoidance in Ordered Set Partitions Pattern Avoidance in Ordered Set Partitions arxiv:1212.2530v2 [math.co] 24 Mar 2013 Anant Godbole 1 Department of Mathematics and Statistics East Tennessee State University Johnson City, TN 37614, USA

More information

Math Homework # 4

Math Homework # 4 Math 446 - Homework # 4 1. Are the following statements true or false? (a) 3 5(mod 2) Solution: 3 5 = 2 = 2 ( 1) is divisible by 2. Hence 2 5(mod 2). (b) 11 5(mod 5) Solution: 11 ( 5) = 16 is NOT divisible

More information

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS CHARLES HELOU AND JAMES A SELLERS Abstract Motivated by a recent work about finite sequences where the n-th term is bounded by n, we evaluate some classes

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

F 2k 1 = F 2n. for all positive integers n.

F 2k 1 = F 2n. for all positive integers n. Question 1 (Fibonacci Identity, 15 points). Recall that the Fibonacci numbers are defined by F 1 = F 2 = 1 and F n+2 = F n+1 + F n for all n 0. Prove that for all positive integers n. n F 2k 1 = F 2n We

More information

Existence of Some Signed Magic Arrays

Existence of Some Signed Magic Arrays Existence of Some Signed Magic Arrays arxiv:1701.01649v1 [math.co] 6 Jan 017 Abdollah Khodkar Department of Mathematics University of West Georgia Carrollton, GA 30118 akhodkar@westga.edu Christian Schulz

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

arxiv:math/ v1 [math.co] 13 Jul 2005

arxiv:math/ v1 [math.co] 13 Jul 2005 A NEW PROOF OF THE REFINED ALTERNATING SIGN MATRIX THEOREM arxiv:math/0507270v1 [math.co] 13 Jul 2005 Ilse Fischer Fakultät für Mathematik, Universität Wien Nordbergstrasse 15, A-1090 Wien, Austria E-mail:

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

Spanning Trees in Grid Graphs

Spanning Trees in Grid Graphs Spanning Trees in Grid Graphs Paul Raff arxiv:0809.2551v1 [math.co] 15 Sep 2008 July 25, 2008 Abstract A general method is obtained for finding recurrences involving the number of spanning trees of grid

More information

On Certain Sums of Stirling Numbers with Binomial Coefficients

On Certain Sums of Stirling Numbers with Binomial Coefficients 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 (2015, Article 15.9.6 On Certain Sums of Stirling Numbers with Binomial Coefficients H. W. Gould Department of Mathematics West Virginia University

More information

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number

More information

The cycle polynomial of a permutation group

The cycle polynomial of a permutation group The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department

More information

Enumerating split-pair arrangements

Enumerating split-pair arrangements Journal of Combinatorial Theory, Series A 115 (28 293 33 www.elsevier.com/locate/jcta Enumerating split-pair arrangements Ron Graham 1, Nan Zang Department of Computer Science, University of California

More information

A basis for the non-crossing partition lattice top homology

A basis for the non-crossing partition lattice top homology J Algebr Comb (2006) 23: 231 242 DOI 10.1007/s10801-006-7395-5 A basis for the non-crossing partition lattice top homology Eliana Zoque Received: July 31, 2003 / Revised: September 14, 2005 / Accepted:

More information

Perfect divisibility and 2-divisibility

Perfect divisibility and 2-divisibility Perfect divisibility and 2-divisibility Maria Chudnovsky Princeton University, Princeton, NJ 08544, USA Vaidy Sivaraman Binghamton University, Binghamton, NY 13902, USA April 20, 2017 Abstract A graph

More information

VAROL'S PERMUTATION AND ITS GENERALIZATION. Bolian Liu South China Normal University, Guangzhou, P. R. of China {Submitted June 1994)

VAROL'S PERMUTATION AND ITS GENERALIZATION. Bolian Liu South China Normal University, Guangzhou, P. R. of China {Submitted June 1994) VROL'S PERMUTTION ND ITS GENERLIZTION Bolian Liu South China Normal University, Guangzhou, P. R. of China {Submitted June 994) INTRODUCTION Let S be the set of n! permutations II = a^x...a n of Z = (,,...,«}.

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias

QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS Alain Lasjaunias 1991 Mathematics Subject Classification: 11J61, 11J70. 1. Introduction. We are concerned with diophantine approximation

More information

LINEAR RECURRENCES AND CHEBYSHEV POLYNOMIALS

LINEAR RECURRENCES AND CHEBYSHEV POLYNOMIALS LINEAR RECURRENCES AND CHEBYSHEV POLYNOMIALS Sergey Kitaev Matematik Chalmers tekniska högskola och Göteborgs universitet S-412 96 Göteborg Sweden e-mail: kitaev@math.chalmers.se Toufik Mansour Matematik

More information

Solutions to Homework Set 1

Solutions to Homework Set 1 Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement

More information

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Sequences and Summations Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sequences 2 Sequences A sequence is a function from a subset of the set of

More information

arxiv:math/ v1 [math.co] 10 Nov 1998

arxiv:math/ v1 [math.co] 10 Nov 1998 A self-dual poset on objects counted by the Catalan numbers arxiv:math/9811067v1 [math.co] 10 Nov 1998 Miklós Bóna School of Mathematics Institute for Advanced Study Princeton, NJ 08540 April 11, 2017

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

On Boolean functions which are bent and negabent

On Boolean functions which are bent and negabent On Boolean functions which are bent and negabent Matthew G. Parker 1 and Alexander Pott 2 1 The Selmer Center, Department of Informatics, University of Bergen, N-5020 Bergen, Norway 2 Institute for Algebra

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

Proof of a Conjecture on Monomial Graphs

Proof of a Conjecture on Monomial Graphs Proof of a Conjecture on Monomial Graphs Xiang-dong Hou Department of Mathematics and Statistics University of South Florida Joint work with Stephen D. Lappano and Felix Lazebnik New Directions in Combinatorics

More information

Acyclic and k-distance coloring of the grid

Acyclic and k-distance coloring of the grid Information Processing Letters 87 (2003) 51 58 www.elsevier.com/locate/ipl Acyclic and k-distance coloring of the grid Guillaume Fertin a,, Emmanuel Godard b, André Raspaud b a IRIN UPRES-EA 2157, Université

More information

Strong edge coloring sparse graphs

Strong edge coloring sparse graphs Strong edge coloring sparse graphs Julien Bensmail LIP (École Normale Supérieure de Lyon), 46 allée d Italie, 69342 Lyon, France Marthe Bonamy 1 LIRMM (Université Montpellier), 161 rue Ada, 34095 Montpellier,

More information

A New Shuffle Convolution for Multiple Zeta Values

A New Shuffle Convolution for Multiple Zeta Values January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As

More information

arxiv: v1 [math.co] 25 May 2011

arxiv: v1 [math.co] 25 May 2011 arxiv:1105.4986v1 [math.co] 25 May 2011 Gog and Magog triangles, and the Schützenberger involution Hayat Cheballah and Philippe Biane Abstract. We describe an approach to finding a bijection between Alternating

More information

A PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO Introduction

A PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO Introduction A PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO 1 ERNIE CROOT NEIL LYALL ALEX RICE Abstract. Using purely combinatorial means we obtain results on simultaneous Diophantine

More information

AUTOMORPHISM GROUPS OF CIRCULANT DIGRAPHS WITH APPLICATIONS TO SEMIGROUP THEORY

AUTOMORPHISM GROUPS OF CIRCULANT DIGRAPHS WITH APPLICATIONS TO SEMIGROUP THEORY AUTOMORPHISM GROUPS OF CIRCULANT DIGRAPHS WITH APPLICATIONS TO SEMIGROUP THEORY Abstract. We characterize the automorphism groups of circulant digraphs whose connection sets are relatively small, and of

More information

arxiv: v2 [math.co] 7 Jan 2016

arxiv: v2 [math.co] 7 Jan 2016 Global Cycle Properties in Locally Isometric Graphs arxiv:1506.03310v2 [math.co] 7 Jan 2016 Adam Borchert, Skylar Nicol, Ortrud R. Oellermann Department of Mathematics and Statistics University of Winnipeg,

More information

Laplacian Integral Graphs with Maximum Degree 3

Laplacian Integral Graphs with Maximum Degree 3 Laplacian Integral Graphs with Maximum Degree Steve Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada S4S 0A kirkland@math.uregina.ca Submitted: Nov 5,

More information

Nordhaus-Gaddum Theorems for k-decompositions

Nordhaus-Gaddum Theorems for k-decompositions Nordhaus-Gaddum Theorems for k-decompositions Western Michigan University October 12, 2011 A Motivating Problem Consider the following problem. An international round-robin sports tournament is held between

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

ON SYMMETRIC AND ANTISYMMETRIC BALANCED BINARY SEQUENCES

ON SYMMETRIC AND ANTISYMMETRIC BALANCED BINARY SEQUENCES ON SYMMETRIC AND ANTISYMMETRIC BALANCED BINARY SEQUENCES Shalom Eliahou Laboratoire de Mathématiques Pures et Appliquées Joseph Liouville, Université du Littoral Côte d Opale, B.P. 699, 62228 Calais cedex,

More information

Some New Exact van der Waerden numbers

Some New Exact van der Waerden numbers Some New Exact van der Waerden numbers Bruce Landman Department of Mathematics University of West Georgia, Carrollton, GA 30118 landman@westga.edu Aaron Robertson Department of Mathematics Colgate University,

More information

LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS

LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1229 1240 http://dx.doi.org/10.4134/bkms.2014.51.4.1229 LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS Su Hyung An, Sen-Peng Eu, and Sangwook Kim Abstract.

More information

Enumerating rc-invariant Permutations with No Long Decreasing Subsequences

Enumerating rc-invariant Permutations with No Long Decreasing Subsequences Enumerating rc-invariant Permutations with No Long Decreasing Subsequences Eric S. Egge Department of Mathematics Carleton College Northfield, MN 55057 USA eegge@carleton.edu Abstract We use the Robinson-Schensted-Knuth

More information

On the Shadow Geometries of W (23, 16)

On the Shadow Geometries of W (23, 16) On the of W (23, 16) Assaf Goldberger 1 Yossi Strassler 2 Giora Dula 3 1 School of Mathematical Sciences Tel-Aviv University 2 Dan Yishay 3 Department of Computer Science and Mathematics Netanya College

More information

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

More information

Claw-free Graphs. III. Sparse decomposition

Claw-free Graphs. III. Sparse decomposition Claw-free Graphs. III. Sparse decomposition Maria Chudnovsky 1 and Paul Seymour Princeton University, Princeton NJ 08544 October 14, 003; revised May 8, 004 1 This research was conducted while the author

More information

Partitions versus sets : a case of duality

Partitions versus sets : a case of duality Partitions versus sets : a case of duality Laurent Lyaudet Université d Orléans - LIFO, Rue Léonard de Vinci, B.P. 6759, F-45067 Orléans Cedex 2, France Frédéric Mazoit 1 Université Bordeaux - LaBRI, 351,

More information

Small Label Classes in 2-Distinguishing Labelings

Small Label Classes in 2-Distinguishing Labelings Also available at http://amc.imfm.si ISSN 1855-3966 (printed ed.), ISSN 1855-3974 (electronic ed.) ARS MATHEMATICA CONTEMPORANEA 1 (2008) 154 164 Small Label Classes in 2-Distinguishing Labelings Debra

More information

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60 McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction

More information

The cocycle lattice of binary matroids

The cocycle lattice of binary matroids Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*

More information

Enumeration Schemes for Words Avoiding Permutations

Enumeration Schemes for Words Avoiding Permutations Enumeration Schemes for Words Avoiding Permutations Lara Pudwell November 27, 2007 Abstract The enumeration of permutation classes has been accomplished with a variety of techniques. One wide-reaching

More information

The Algorithmic Aspects of the Regularity Lemma

The Algorithmic Aspects of the Regularity Lemma The Algorithmic Aspects of the Regularity Lemma N. Alon R. A. Duke H. Lefmann V. Rödl R. Yuster Abstract The Regularity Lemma of Szemerédi is a result that asserts that every graph can be partitioned in

More information

The 4-periodic spiral determinant

The 4-periodic spiral determinant The 4-periodic spiral determinant Darij Grinberg rough draft, October 3, 2018 Contents 001 Acknowledgments 1 1 The determinant 1 2 The proof 4 *** The purpose of this note is to generalize the determinant

More information

Stirling Numbers of the 1st Kind

Stirling Numbers of the 1st Kind Daniel Reiss, Colebrook Jackson, Brad Dallas Western Washington University November 28, 2012 Introduction The set of all permutations of a set N is denoted S(N), while the set of all permutations of {1,

More information

Automorphism groups of wreath product digraphs

Automorphism groups of wreath product digraphs Automorphism groups of wreath product digraphs Edward Dobson Department of Mathematics and Statistics Mississippi State University PO Drawer MA Mississippi State, MS 39762 USA dobson@math.msstate.edu Joy

More information

Graphs with few total dominating sets

Graphs with few total dominating sets Graphs with few total dominating sets Marcin Krzywkowski marcin.krzywkowski@gmail.com Stephan Wagner swagner@sun.ac.za Abstract We give a lower bound for the number of total dominating sets of a graph

More information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

6 Permutations Very little of this section comes from PJE.

6 Permutations Very little of this section comes from PJE. 6 Permutations Very little of this section comes from PJE Definition A permutation (p147 of a set A is a bijection ρ : A A Notation If A = {a b c } and ρ is a permutation on A we can express the action

More information

MATH CSE20 Homework 5 Due Monday November 4

MATH CSE20 Homework 5 Due Monday November 4 MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of

More information

Algorithms: Background

Algorithms: Background Algorithms: Background Amotz Bar-Noy CUNY Amotz Bar-Noy (CUNY) Algorithms: Background 1 / 66 What is a Proof? Definition I: The cogency of evidence that compels acceptance by the mind of a truth or a fact.

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

More information

Counting independent sets of a fixed size in graphs with a given minimum degree

Counting independent sets of a fixed size in graphs with a given minimum degree Counting independent sets of a fixed size in graphs with a given minimum degree John Engbers David Galvin April 4, 01 Abstract Galvin showed that for all fixed δ and sufficiently large n, the n-vertex

More information

Principal pivot transforms of range symmetric matrices in indefinite inner product space

Principal pivot transforms of range symmetric matrices in indefinite inner product space Functional Analysis, Approximation and Computation 8 (2) (2016), 37 43 Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/faac Principal pivot

More information

Discrete Applied Mathematics

Discrete Applied Mathematics Discrete Applied Mathematics 194 (015) 37 59 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: wwwelseviercom/locate/dam Loopy, Hankel, and combinatorially skew-hankel

More information

Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula

Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula Prof. Tesler Math 184A Fall 2019 Prof. Tesler Ch. 7. Inclusion-Exclusion Math 184A / Fall 2019 1 / 25 Venn diagram and set sizes A = {1, 2, 3, 4,

More information