REFINED RESTRICTED PERMUTATIONS AVOIDING SUBSETS OF PATTERNS OF LENGTH THREE
|
|
- Estella Baker
- 5 years ago
- Views:
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 Emeric Deutsch Department of Mathematics, Polytechnic University, Brooklyn, NY 1101 deutsch@duke.poly.edu Aaron Robertson 1 Department of Mathematics, Colgate University,
More informationWords 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 information1. 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 informationSome 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 informationarxiv: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 informationToufik 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 informationIsomorphisms 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 informationColoring 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 informationON 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 informationGenerating 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 informationON 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 informationSome 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 informationarxiv: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 informationCopyright 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 informationENUMERATING 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 informationPUTNAM 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 informationOn 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 informationPattern 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 informationTWO 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 informationPermutations 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 informationPractice 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 informationOn 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 informationPermutation 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 informationMATH 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 informationON 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 informationThe 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 informationarxiv: 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 informationOVERPARTITIONS 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 informationSolutions 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 informationColoring 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 informationPermutation 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 informationAny 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 informationarxiv: 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 informationMath 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 informationarxiv: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 informationCongruence 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 informationMaximizing 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 informationPattern 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 informationMath 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 informationEVALUATION 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 informationWeek 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 informationF 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 informationExistence 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 informationThe 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 informationarxiv: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 informationarxiv: 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 informationSpanning 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 informationOn 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 informationCIRCULAR 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 informationThe 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 informationEnumerating 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 informationA 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 informationPerfect 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 informationVAROL'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 informationFoundations 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 informationQUARTIC 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 informationLINEAR 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 informationSolutions 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 informationCSCE 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 informationarxiv: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 informationDefinitions. 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 informationOn 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 informationA 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 informationProof 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 informationAcyclic 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 informationStrong 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 informationA 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 informationarxiv: 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 informationA 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 informationAUTOMORPHISM 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 informationarxiv: 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 informationLaplacian 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 informationNordhaus-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 informationRestricted 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 informationON 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 informationSome 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 informationLARGE 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 informationEnumerating 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 informationOn 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 informationThus, 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 informationClaw-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 informationPartitions 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 informationSmall 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 informationMcGill 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 informationThe 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 informationEnumeration 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 informationThe 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 informationThe 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 informationStirling 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 informationAutomorphism 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 informationGraphs 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 informationMathematics 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 information6 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 informationMATH 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 informationAlgorithms: 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 informationMATH 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 informationCounting 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 informationPrincipal 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 informationDiscrete 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 informationChapter 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