arxiv:math/ v1 [math.co] 21 Feb 2002
|
|
|
- Linda Arnold
- 9 years ago
- Views:
Transcription
1 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) arxiv:math/ v1 [math.co] 21 Feb 2002 TOUFIK MANSOUR LaBRI (UMR 5800), Université Bordeaux 1, 351 cours de la Libération, Talence Cedex, France Abstract Recently, Babson and Steingrimsson (see [BS]) introduced generalized permutations patterns that allow the requirement that two adacent letters in a pattern must be adacent in the permutation. In this paper we study the generating functions for the number of permutations on n letters avoiding a generalized pattern ab-c where (a, b, c) S 3, and containing a prescribed number of occurrences of generalized pattern cd-e where (c, d, e) S 3. As a consequence, we derive all the previously known results for this kind of problems, as well as many new results. 1. Introduction Classical patterns. Let α S n and τ S k be two permutations. We say that α contains τ if there exists a subsequence 1 i 1 < i 2 < < i k n such that (α i1,..., α ik ) is order-isomorphic to τ; in such a context τ is usually called a pattern. We say α avoids τ, or is τ-avoiding, if such a subsequence does not exist. The set of all τ-avoiding permutations in S n is denoted S n (τ). For an arbitrary finite collection of patterns T, we say that α avoids T if α avoids any τ T; the corresponding subset of S n is denoted S n (T). While the case of permutations avoiding a single pattern has attracted much attention, the case of multiple pattern avoidance remains less investigated. In particular, it is natural, as the next step, to consider permutations avoiding pairs of patterns τ 1, τ 2. This problem was solved completely for τ 1, τ 2 S 3 (see [SS]), for τ 1 S 3 and τ 2 S 4 (see [W]), and for τ 1, τ 2 S 4 (see [B, K] and references therein). Several recent papers deal with the case τ 1 S 3, τ 2 S k for various pairs τ 1, τ 2 (see [CW, Kr, MV2] and references therein). Another natural question is to study permutations avoiding τ 1 and containing τ 2 exactly t times. Such a problem for certain τ 1, τ 2 S 3 and t = 1 was investigated in [R], and for certain τ 1 S 3, τ 2 S k in [RWZ, MV1, Kr, MV2, MV3, MV4]. The tools involved in these papers include continued fractions, Chebyshev polynomials, and Dyck paths. Generalized patterns. In [BS] Babson and Steingrimsson introduced generalized permutation patterns that allow the requirement that two adacent letters in a pattern must be adacent in the permutation. The idea for Babson and Steingrimsson in introducing these patterns was study of Mahonian statistics. 1
2 2 TOUFIK MANSOUR Following [C], we define our generalized patterns as words on the letters 1, 2, 3,... where two adacent letters may or may not be separated by a dash. The absence of a dash between two adacent letters in a pattern indicates that the corresponding letters in the permutation must be adacent, and in the order (orderisomorphic) given by the pattern. For example, the subword 23-1 of a permutation π = (π 1, π 2,, π n ) is a subword (π i, π i+1, π ) where i + 1 < such that π < π i < π i+1. We say τ a generalized pattern of type (2, 1) if it has the form ab-c where (a, b, c) S 3. Remark 1.1. There exist six generalized patterns of type (2, 1) which are 12-3, 13-2, 21-3, 23-1, 31-2, and By the complement symmetric operation we get three different classes: {12-3, 32-1}, {13-2, 31-2}, and {21-3, 23-1}. While the case of permutations avoiding a single pattern has attracted much attention, the case of multiple pattern avoidance remains less investigated. In particular, it is natural, as the next step, to consider permutations avoiding pairs of generalized patterns τ 1, τ 2. This problem was solved completely for τ 1, τ 2 two generalized patterns of length three with exactly one adacent pair of letters (see [CM1]). Claesson and Mansour [CM2] showed (by Clarke, Steingrímsson and Zeng [CSZ, Corollary 11] result) the distribution of the patterns 2-31 and 31-2 is given by Stieltes continued fraction as following: Theorem 1.2. The following Stieltes continued fraction expansion holds n 0 π S n x 1+(12)π y (21)π p (2-31)π q (31-2)π t π = x[ 1 ] p,q t y[ 1 ] p,q t 1 x[ 2 ] p,qt 1 y[ 2 ] p,qt... where [ n ] p,q = q n 1 +pq n 2 + +p n 2 q+p n 1, (τ)π is the number of occurrences of τ in π. In the present paper, as consequence to [CM1] (see also [C, CM2]), we exhibit a general approach to study the number of permutations avoiding a generalized pattern of type (2, 1) and containing a prescribed number of occurrences of τ a generalized pattern of type (2, 1). As a consequence, we derive all the previously known results for this kind of problems, as well as many new results. 2. Avoiding 12-3 Let f τ;r (n) be the number of all permutations in S n (12-3) containing τ exactly r times. The corresponding exponential and ordinary generating function we denote by F τ;r (x) and F τ;r (x) respectively; that is, F τ;r (x) = f τ;r(n) n! x n and F τ;r (x) = n 0 f τ;r (n)x n. The above definitions we extend to r < 0 as f τ;r (n) = 0 for any τ. n 0 Our present aim is to count the number of permutations avoiding 12-3 and avoiding (or containing exactly r times) an arbitrary generalized pattern τ, since that we introduce another notation. Let f τ;r (n; i 1, i 2,..., i ) be the number of
3 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) 3 permutations π S n (12-3) containing τ exactly r times such that π 1 π 2... π = i 1 i 2... i. The main body of this section is divided into 6 subsections corresponding to the cases: τ is a general generalized pattern, 13-2, 21-3, 23-1, 31-2, and τ a generalized pattern of length k. Here we study certain cases of τ, where τ is a generalized pattern of length k without dashes, or with exactly one dash. Theorem 2.1. Let k 2, P k (x) = k 2 G s (x) = G 0 (x) x 0 G s 1(t)dt. Then F (k 1)...21k;r (x) = e P k (t)dt G k (t)dt. x!, G 0(x) = e x P k (x), and for s 1 let Proof. Let α S n (12-3) such that α = n; so α 1 > α 2 > > α 1. Therefore, α contains τ = (k 1)...21k exactly r times if and only if (α +1,...,α n ) contains τ exactly r times if k 1, and contains τ exactly r 1 times if k. Thus k 1 f τ;r (n) = ( n 1 1 ) f τ;r (n ) + n =k ( n 1 1 ) f τ;r 1 (n ). If multiplying by x n /(n 1)! and summing over all n 1 we get F (k 1)...21k;r (x) = k 2 The rest is easy to check. x! (F (k 1)...21k;r(x) F (k 1)...21k;r 1 )+e x F (k 1)...21k;r 1 (x). Example 2.2. (see Claesson [C]) Theorem 2.1 yields for r = 0 that F (k 1)...21k;0 (x) = e x1 1! + x2 xk 1 2! + + (k 1)!. If k, then we get the exponential generating function for the number of avoiding permutations in S n is given by e ex 1. Besides, Theorem 2.1 yields for given k 2 and r that G s (x) e ex P k (x), so F (k 1)...21k;r (x) e ex 1. Claesson [C] (see also [CM1, Pro. 28]) proved the number of permutations in S n (12-3, 21-3) is the same number of involutions in S n. The case of varying k is more interesting. As an extension of this result. Theorem 2.3. For k 2, F (k 1)...21-k;0(x) = e x1 xk 1 1! + + (k 1)!. Proof. Let τ = (k 1)...21-k, by definitions we get n f τ;0 (n) = f τ;0 (n; ), f τ;0 (n; n) = f τ;0 (n 1), (1) and f τ;0 (n; i 1,...,i ) = i 1 i +1=1 f τ;0 (n; i 1,...,i, i +1 ) + f τ;0 (n; i 1,..., i, n) (2)
4 4 TOUFIK MANSOUR for all n 1 i 1 > i 2 > > i 1. Therefore, since f τ;0 (n; i 1,..., i ) = 0 for all n 1 > i 1 > > i 1 where k 1 and since f τ;0 (n; i 1,..., i, n) = f τ;0 (n 1 ) for all n 1 > i 1 > > i 1 where 0 k 2 we have for all n 1 k 2 ( ) n 1 f τ;0 (n) = f τ;0 (n 1 ). The rest is easy to see as proof of Theorem 2.1. In view of Example 2.2 and Theorem 2.3 we get the number of permutations in S n (12-3, (k 1)...21-k) is the same number of permutations in S n (12-3, (k 1)...21k). In addition, S n (12-3, (k 1)...21-k) = S n (12-3, (k 1)...21k), (3) which can prove as follows. Let α = (α, n, α ); since α avoids 12-3 we get α decreasing, so by the principle of induction on length of α it is easy to see that α avoids (k 1)...21k if and only if avoids (k 1)...21-k. In [CM1] showed the number of permutations in S n (12-3, 13-2) is given by 2 n 1. The case of varying k is more interesting. As an extension of this result. Theorem 2.4. Let k 3, then for all n 1 f (k 2)...21k-(k 1);0(n) = k 3 ( n 1 ) f(k 2)...21k-(k 1);0(n 1 )+ + n 1 =k 2 ( n +k 4 ) k 3 f(k 2)...21k-(k 1);0(n 1 ). Proof. Let τ = (k 2)...21k-(k 1) and let n 1 i 1 > > i 1, so for k 3 and for k 2 f τ;0 (n; i 1,...,i, n) = f τ;0 (n 1 ) f τ;0 (n; i 1,..., i, n) = f τ;0 (n; n 1, n 2,...,n ( k + 3), i k+4,..., i, n) = = f τ;0 (n ). Therefore, Equation (1) and Equation (2) yield the desired result. Example 2.5. (see Claesson and Mansour [CM2]) Theorem 2.4 yields for k = 3 the number of permutations in S n (12-3, 13-2) is given by 2 n 1. Another example, for k = 4 we get F 214-3;0(x) = 1 + x 0 e 2x+x2 /2 dx. As a remark, similarly as proof of Equation (3), we have for all k 3 F (k 2)...21k-(k 1);0(x) = F (k 2)...21-k-(k 1);0(x).
5 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) τ = Theorem 2.6. Let r be a nonnegative integer. Then F 13-2;r(x) = 1 x 1 2x δ r,0 + x2 1 2x r d=1 F 13-2;r d(x) d 1 f 13-2;r d()x (1 x) d. Proof. Let r 0, b r (n) = f 13-2;r(n), and let 1 i n. If i <, then since the permutations avoiding 12-3 we have b r (n; i, ) = 0 for n 1 and b r (n; i, n) = b r (n 1 i) (n 2), hence n =i+1 b r (n; i, ) = b r (n 1 i) (n 1; n 1) = b r (n 1 i) (n 2). If i > then by definitions we have b r (n; i, ) = b r (n 1; ). Owing to Equation (2) we have showed that, for all 1 i n 2, Moreover, it is plain that i 1 b r (n; i) = b r (n 1 i) (n 2) + b r (n 1; ). (4) b r (n; n) = b r (n; n 1) = b r (n 1), (5) and by means of induction we shall show that Equation (4) implies: If 2 m n 1 then b r (n; n m) = [ (m 1 ) ( ( 1) + m 2 ) ] 1 b r (n 1 )+ +b r (m 1) (n 2) ( 1) ( ) m 2 d (6) br d (n 3 ). d 1 First we verify the statement for m = 2; in this case Equation (6) becomes Indeed, b r (n; n 2) = b r (n 1) 2b r (n 2) + b r 1 (n 2). b r (n; n m) = b r (n; n m, ) + = n m 1 = n m 1 m =n m+1 b r (n; n m, ) b r (n 1; ) + b r (m 1) (n 1; n 1) = b r (n 1) 2b r (n 2) + b r (m 1) (n 2) m 1 b r (n 1; n 1 k), (7) where the three equalities follow from Equation (2), and Equation (1) together with (4) and (5), respectively. Now simply put m = 2 to obtain Equation (6). Assume that Equation (7) holds for all k such that 2 k m 1. Then, employing the familiar identity ( ( 1 k) + 2 ( k) + + n ) ( k = n+1 k+1), the trailing sum in k=2
6 6 TOUFIK MANSOUR Equation (7) expands as follows. Since m 1 k=2 = ( 1) [ (k 1 ) ( 1)] + k 2 b r (n 2 ) = [ (m 1 ) ( ( 1) +1 + k 2 ) ] b r (n 2 ) b r (n 2) = = [ (k 1 ) ( 1)] ( 1) + k 2 b r (n 1 ) + b r (n 1) 2b r (n 2), and m 1 k=2 d 1 m 1 k=2 ( 1) ( k 2 d = d 1 b r (k 1) (n 3) = d 1 b r d (n 3), ) br d (n 4 ) = ) br d (n 3 ) + b r d (n 3) d 1 ( 1) ( m 2 d with using Equation (7) we get that Equation (6) holds for k = m, by the principle of induction the universal validity of Equation (6) follows. Now, if summing b r (n; n m) over all 0 m n 1, then by using Equation (1), (5), and (6) we get [ (n 1 ) ( ( 1) + n 2 1) ] b r (n ) = = ( 1) ( ) n 2 d br d (n 2 ). d 1 Using [CM2, Lem. 7] to transfer the above equation in terms of ordinary generating functions ( ) u (1 u)f 13-2;r 1+u = δ r,0 + ] +u 2 r ( ) (1 + u) [F d ;r d d 1 ( ) f 13-2;r d(). d=1 u 1+u Putting x = u/(1 + u) (u = x/(1 x)) we get the desired result. u 1+u An application for Theorem 2.6 we get the exact formula for f 13-2;r(n) for r = 0, 1, 2, 3, 4. Corollary 2.7. For all n 1, f 13-2;0(n) = 2 n 1 ; f 13-2;1(n) = (n 3)2 n 2 + 1; f 13-2;2(n) = (n 2 3n 6)2 n 4 + n; f 13-2;3(n) = 1/3(n 3 31n 18)2 n 5 + n 2 n + 1; f 13-2;4(n) = 1/3(n 1)(n 3 + 7n 2 546n 312)2 n 8 + 2/3(n 1)(n 2 2n + 3). (8)
7 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) τ = By definitions it is easy to obtain the following: Lemma 2.8. Let n 1; then f 21-3;r(n) = f 21-3;r + n 1 i=1 f 21-3;r(n; i), f 21-3;r(n; i) = f 21-3;r(n 2) + i 1 f 21-3;r (n i)(n 2; ), for 1 i n 1. Using the above lemma for given r we obtain the exact formula for f 21-3;r. Here we present the first three cases r = 0, 1, 2. Theorem 2.9. For all n 1 f 21-3;0(n) = f 21-3;0(n 1) + (n 1)f 21-3;0(n 2); f 21-3;1(n) = f 21-3;1(n 1) + (n 1)f 21-3;1(n 2) + f 21-3;0(n 1) f 21-3;0(n 2); f 21-3;2(n) = f 21-3;2(n 1) + (n 1)f 21-3;2(n 2) + f 21-3;1(n 1) f 21-3;1(n 2)+ +f 21-3;0(n 1) 2f 21-3;0(n 2). Proof. Case r = 0: Lemma 2.8 yields f 21-3;0(n; i) = f 21-3;0(n 1) for all 1 i n 1, so for all n 1 f 21-3;0(n) = f 21-3;0(n 1) + (n 1)f 21-3;0(n 2). Case r = 1: Lemma 2.8 yields f 21-3;1(n; i) = f 21-3;1(n 2) for all 1 i n 2, and n 2 f 21-3;1(n; n 1) = f 21-3;0(n 1; ) + f 21-3;1(n 2) which equivalent to (by use the case r = 0) f 21-3;1(n; n 1) = f 21-3;1(n 2) + f 21-3;0(n 1) f 21-3;0(n 2). Therefore, for all n 1 f 21-3;1(n) = f 21-3;1(n 1) + (n 1)f 21-3;1(n 2) + f 21-3;0(n 1) f 21-3;0(n 2). Case r = 2: Similarly as the cases r = 0, τ = Theorem For any r nonnegative integer, F 23-1;r(x) = δr,0 1 x + +x 2 r ( (1 x) [F ;r d d=0 x 1 x ) d 1 f 23-1;r d() Proof. By definition it is easy to state the following statement: Lemma Let n 1; then f 23-1;r(n) = f 23-1;r(n 1) + n 1 i=1 f 23-1;r(n; i), ( x 1 x f 23-1;r(n; i) = f 23-1;r (i 1)(n 2) + i 1 f 23-1;r(n 1; ), for 1 i n 1. ) ].
8 8 TOUFIK MANSOUR By consider the same argument proof of Equation (6) with use Lemma 2.11 we have for all 1 m n 1, f 23-1;r(n; m) = f 23-1;r+1 m(n 2) + ( ) m 1 d f 23-1;r+1 d(n 3 ). d 1 Therefore, by summing f 23-1;r(n; m) over all 1 m n we shall show that Lemma 2.11 implies for all n 1, r n 2 d ( ) n 2 d f 23-1;r(n) = f 23-1;r(n 1) + f 23-1;r d(n 2 ). d=0 Hence, using [CM2, Lem. 7] we get the desired result. Example (see Claesson and Mansour [CM1, Pro. 7]) Theorem 2.10 for r = 0 yields F 23-1;0(x) = 1 1 x + x 2 ( ) x (1 x) 2 F 23-1;0. 1 x An infinite number of application of this identity we have F 23-1;0(x) = k 0 x 2k p k 1 (x)p k+1 (x), where p m (x) = m (1 x). An another example, Theorem 2.10 for r = 1 yields (similarly) F 23-1;1(x) = d 0 x2d+2 p d+1 (x) x 2k p k+d 1 (x)p k+d+1 (x) 1. k τ = By definitions it is easy to state the following: Lemma Let n 1; then f 31-2;r(n; n) = n 1 f 31-2;r+1 (n 1; n ), f 31-2;r(n; i) = f 31-2;r(n 1; n 1) + i 1 f 31-2;r (i 1 )(n 1; ), for 1 i n 1. Theorem Let r be a nonnegative integer, then f 31-2;r(n) is a polynomial of degree at most 2r + 2 with coefficient in Q, where n 0. Proof. Using Lemma 2.13 for r = 0 we obtain that, first f 31-2;0(n; n) = 1 and f 31-2;0(n; 1) = 1, second f 31-2;0(n; ) = for all 1 n 1. Hence, for all n 0, ( ) n f 31-2;0(n) = Now, assume that f 31-2;d(n; ) is a polynomial of degree at most 2d + 1 with coefficient in Q for all 1 n where d = 0, 1, 2,..., r 1. Therefore, Lemma 2.13 with induction hypothesis imply, first f 31-2;r(n; n) and f 31-2;r(n; 1) are polynomials of degree at most 2r, and then f 31-2;r(n; ) is a polynomial of degree at most 2r + 1. So, by use the principle of induction on r we get that f 31-2;r(n; ) is a polynomial of degree at most 2r+1 with coefficient in Q for all r 0. Hence, since f 31-2;r(n) = n f 31-2;r(n; ) we get the desired result.
9 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) 9 An application for Theorem 2.14 with the initial values of the sequence f 31-2;r(n) we have the exact formula for f 31-2;r(n) where r = 0, 1, 2, 3. Corollary For all n 0, f 31-2;0(n) = 1 + n(n 1)/2; f 31-2;1(n) = n(n 1)(n 2)(3n 5)/24; f 31-2;2(n) = n(n 1)(n 2)(n 3)(5n 2 3n 38)/720; f 31-2;3(n) = n(n 1)(n 2)(n 3)(n 4)(7n n n 1142)/ τ = By definitions it is easy to state the following: Lemma Let n 1; then f 32-1;r(n; n) = n 1 f 31-2;r+1 (n 1; ), f 32-1;r(n; i) = f 32-1;r(n 1; n 1) + i 1 f 31-2;r+1 )(n 1; ), for 1 i n 1. Theorem Let r be a nonnegative integer, then f 32-1;r(n) is a polynomial of degree at most r + 1 with coefficient in Q, where n r + 2. Proof. Using Lemma 2.16 for r = 0 we obtain that, first f 32-1;0(n; n) = 1 and f 32-1;0(n; 1) = 1, second f 31-2;0(n; ) = 2 for all 2 n 1. Hence, for all n 2, f 31-2;0(n) = 2n 2. Let n r+2 and let us assume that f 32-1;d(n; ) is a polynomial of degree at most d with coefficient in Q for all 1 n where d = 0, 1, 2,..., r 1. Lemma 2.16 with induction hypothesis imply, first f 32-1;r(n; n) and f 32-1;r(n; 1) are polynomials of degree at most r with coefficient in Q, and then f 31-2;r(n; ) where 2 n 1 is a polynomial of degree at most r with coefficient in Q. So, by use the principle of induction on r we get that f 32-1;r(n; ) is a polynomial of degree at most r with coefficient in Q for all r 0. Hence, since f 32-1;r(n) = n f 32-1;r(n; ) we get the desired result. An application for Theorem 2.17 with the initial values of the sequence f 32-1;r(n) we get the exact formula for f 32-1;r(n) for r = 0, 1, 2, 3. Corollary For all n 2, f 32-1;0(n) = 2n 2; For all n 3, f 32-1;1(n) = (n 3)(2n 1); For all n 4, f 32-1;2(n) = (n 4)(n 2 3n + 1); For all n 5, f 32-1;3(n) = (n 5)(2n 3 13n n 6)/6. 3. Avoiding 13-2 Let g τ;r (n) be the number of all permutations in S n (13-2) containing τ exactly r times. The corresponding ordinary generating function we denote by G τ;r (x); that is, G τ;r (x) = n 0 g τ;r (n)x n. The above definitions we extend to r < 0 as g τ;r (n) = 0 for any τ. In the current section, our present aim is to count the number of permutations avoiding 13-2 and containing τ exactly r times where τ a generalized pattern of
10 10 TOUFIK MANSOUR type (2, 1), and since that we introduce another notation. Let g τ;r (n; i 1, i 2,..., i ) be the number of permutations π S n (13-2) containing τ exactly r times such that π 1 π 2...π = i 1 i 2... i. The main body of this section is divided to three subsections corresponding to the cases τ is 12-3; 21-3; and 23-1, or 31-2, or τ = Theorem 3.1. Let r be any nonnegative integer number; then there exists a polynomials p r (n) and q r 1 (n) of degree at most r and r 1 respectively, with coefficient in Q such that for all n 1, g 12-3;r(n) = p r (n) 2 n + q r 1 (n). Proof. Let r 0, and let 1 i n. If i <, then since the permutations avoiding 13-2 we have g 12-3;r(n; i, ) = 0 for i + 2 n and g 12-3;r(n; i, i + 1) = g 12-3;r (n 1 i)(n 1; i), hence n g 12-3;r(n; i, ) = g 12-3;r (n 1 i)(n 1; i). =i+1 If i > then by definitions we have g 12-3;r(n; i, ) = g 12-3;r(n 1; ). Owing to the definitions we have showed that, for all 1 i n 2, i 1 g 12-3;r(n; i) = g 12-3;r (n 1 i)(n 1; i) + g 12-3;r(n 1; ). (1 ) Moreover, it is plain that and for all 1 n r 2 g 12-3;r(n; n) = g 12-3;r(n; n 1) = g 12-3;r(n 1), (2 ) g 12-3;r(n; ) = 0. (3 ) Now we ready to prove the theorem. Let r = 0; by Equation (3 ) we get g 12-3;0(n; ) = 0 for all n 2 and by Equation (2 ) we have g 12-3;0(n; n 1) = g 12-3;0(n; n) = d 0 (n 1), so d r (n) = 2 n 1. Therefore, the theorem holds for r = 0. Let r 1, and let us assume that for all 0 m s 1 and all 0 s r 1 there exists a polynomials p m (n) and q m 1 (n) of degree at most m and m 1 respectively with coefficient in Q such that g 12-3;s(n; n s 1 + m) = p m (n)2 n + q m 1 (n), and there exists a polynomials v s (n) and u s 1 (n) of degree at most s and s 1 respectively with coefficient in Q such that g 12-3;s(n m) = v s (n)2 n + u s 1 (n) where m = 0, 1. So, using Equation (1 ) for m = 0, 1,..., r 1 and the induction hypothesis imply that there exists a polynomials a m (n) and b m 1 (n) of degree at most m and m 1 respectively with coefficient in Q such that g 12-3;r(n; n r 1 + m) = a m (n)2 n + b m 1 (n). Besides, Owing to Equations (1 ), (2 ), and (3 ) we have showed that r+1 g 12-3;r(n) = 2g 12-3;r(n 1) + g 12-3;r(n; n ), =2
11 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) 11 which means that g 12-3;r(n) is given by v r (n)2 n + u r 1 (n) and g 12-3;r(n; n) = g 12-3;r(n; n 1) = g 12-3;r(n 1). Therefore, the statement holds for s = r. Hence, by the principle of induction on r the theorem holds. An application for Theorem 3.1 with the initial values of the sequence g 12-3;r(n) we obtain the exact formula for g 12-3;r(n) for r = 0, 1, 2, 3. Corollary 3.2. For all n 1; 3.2. τ = g 12-3;0(n) = 2 n 1 ; g 12-3;2(n) = (n 3)2 n 2 + 1; g 12-3;2(n) = (n 2 11n + 34)2 n 4 n 2; g 12-3;3(n) = 1/3(n 3 24n n 954)2 n 5 + n 2 + 4n Theorem 3.3. Let r be any nonnegative integer number. Then there exist a polynomial p r (n) of degree at most r with coefficient in Q, such that for all n r Proof. By definitions it is easy to state Lemma 3.4. Let n 1; then g 21-3;r(n) = g 21-3;r(n 1) + n 1 g 21-3;r(n) = p r (n) 2 n. i=1 g 23-1;r(n; i), g 21-3;r(n; i) = g 21-3;r(n 1; i) + i 1 g 21-3;r (n i)(n 1; ), for 1 i n 1. Lemma 3.4 implies for r = 0 as follows. First g 21-3;0(n; m) = 2 m 2 for all m 2, and second g 21-3;0(n; 1) = 1. Hence g 21-3;0(n) = 2 n 1, so the theorem holds for r = 0. Let r 1 and assume that for 2 m n 1 the expression m g 21-3;d(n; ) is given by qd m(n)2m where qd m (n) is a polynomial of degree at most d with coefficient in Q for all 0 d r 1. Lemma 3.4 yields g 21-3;r(n; 1) = g 21-3;r(n 1; 1), g 21-3;r(n; 2) = g 21-3;r(n 1; 2),. g 21-3;r(n; n r 1) = g 21-3;r(n 1; n r 1), g 21-3;r(n; n r + 1) = g 21-3;r(n 1; n r + 1) + n r g 21-3;1(n 1; ), g 21-3;r(n; n 1). = g 21-3;r(n 1; n 1) + n 2 g 21-3;r(n; n) = g 21-3;r(n 1), g 21-3;r 1(n 1; ), with induction hypothesis imply for 2 m n 1 m m g 21-3;r(n; ) = g 21-3;r(n 1; ) + qr 1 m (n)2m,
12 12 TOUFIK MANSOUR where qr 1 m (n) is a polynomial of degree at most r 1 with coefficient in Q. Therefore, for 2 m n 1 m g 12-3;r(n; ) can be expressed by qr m(n)2m where qr m (n) is a polynomial of degree at most r with coefficient in Q. Hence, with using Lemma 3.4 we get there exist a polynomial a r (n) of degree at most r with coefficient in Q such that so the theorem holds. g 12-3;r(n) = g 12-3;r(n 1) + a r (n)2 n, Using Theorem 3.3 with the initial values of the sequence g 21-3;r(n) for r = 0, 1, 2, 3 we get Corollary 3.5. (i) For all n 1, g 21-3;0(n) = 2 n 1 ; (ii) For all n 2, g 21-3;1(n) = (n 2)2 n 3 ; (iii) For all n 3, g 21-3;2(n) = (n 2 + n 12)2 n 6 ; (iv) For all n 4, g 21-3;3(n) = 1/3(n 4)(n n + 6)2 n τ = 23-1, τ = 31-2, or τ = Similarly, using the argument proof of Theorem 3.3 with the principle of induction yield Theorem 3.6. Let r be any nonnegative integer number. Then (i) there exists a polynomial p r 1 (n) of degree at most r 1 with coefficient in Q and a constant c, such that for all n r g 23-1;r(n) = c 2 n + p r 1 (n). (ii) there exists a polynomials p r (n) and q 2r 2 (n) of degree at most r and 2r 2 respectively; with coefficient in Q such that for all n 1 g 31-2;r(n) = p r (n)2 n + q 2r 2 (n). (iii) there exist a polynomial p r+2 (n) of degree at most r + 2 with coefficient in Q such that for all n r g 32-1;r(n) = p r+2 (n). Using Theorem 3.6 with the initial values of the sequences g 23-1;r(n), g 31-2;r(n) and g 32-1;r(n) for r = 0, 1, 2, 3, 4 we get the following: Corollary 3.7. (i) For all n 1, g 23-1;0(n) = 2 n 1 ; (ii) For all n 2, g 23-1;1(n) = 2 n 2 1; (iii) For all n 3, g 23-1;2(n) = 2 n 1 n 1; (iv) For all n 4, g 23-1;3(n) = 5 2 n 3 1/2(n 2 n + 8); (v) For all n 5, g 23-1;4(n) = 2 n 1/6(n + 1)(n 2 4n + 24). Corollary 3.8. For all n 1; (i) g 31-2;0(n) = 2 n 1 ; (ii) g 31-2;1(n) = (n 3)2 n 2 + 1; (iii) g 31-2;2(n) = (n 2 3n 14)2 n 4 + 1/2(n 2 + n + 12); (iv) g 31-2;3(n) = 1/3(n 3 55n 90)2 n 5 + 1/12(n n n + 12).
13 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) 13 Corollary 3.9. For all n 1; (i) g 32-1;0(n) = 1/2n(n 1) + 1; (ii) g 32-1;1(n) = 1/6(n 1)(n 2)(2n 3); (iii) g 32-1;2(n) = 1/6(n 2)(n 3))2n 5); (iv) g 32-1;3(n) = 1/8(n 3)(n 3 3n 2 10n + 32); (v) g 32-1;4(n) = 1/24(n 4)(3n 3 10n 2 55n + 198). 4. Avoiding 21-3 Let h τ;r (n) be the number of all permutations in S n (21-3) containing τ exactly r times. The corresponding exponential and ordinary generating function are denoted by H τ;r (x) and H τ;r (x) respectively; that is, H τ;r (x) = h τ;r(n) n! x n and H τ;r (x) = n 0 h τ;r (n)x n. The above definitions are extended to r < 0 as h τ;r (n) = 0 for any n 0 τ. In the current section, our present aim is to count the number of permutations avoiding 21-3 and containing τ exactly r times where τ a generalized pattern of type (2, 1), and since that we introduce another notation. Let h τ;r (n; i 1, i 2,..., i ) be the number of permutations π S n (21-3) containing τ exactly r times such that π 1 π 2...π = i 1 i 2... i. The main body of the current section is divided to five subsections corresponding to the cases τ is a general generalized pattern; 12-3; 13-2, 31-2; 23-1; and τ is a general generalized pattern. Here we study certain cases of τ, where τ is a generalized pattern of length k without dashes, or with exactly one dash. First of all let us define a biection Φ between the set S n (12-3) and the set S n (21-3) as follows. Let π = (π, n, π ), where n the maximal element of π, be any 12-3-avoiding permutation of s elements; we define by induction Φ(π) = (R(π ), n, Φ(π )), where R(π ) is the reversal of π. Since π is 12-3-avoiding permutation we have π 1 > > π 1 so by using the principle of induction on length π we get Φ(π) is 21-3-avoiding permutation. Also, it is easy to see by using the principle of induction that Φ 1 = Φ, hence Φ is a biection. Theorem 4.1. For all k 1; H 12...(k 1)k;0 (x) = F (k 1)...21k;0 (x), H 12...(k 1)k;1 (x) = F (k 1)...21k;1 (x). Proof. Using the biection Φ : S n (12-3) S n (21-3) we get the desired result: the permutation π S n (12-3) contains (k 1)...1k exactly r (r = 0, 1) times if and only if the permutations Φ(π) contains 12...(k 1)k exactly r. Example 4.2. (see Claesson [C]) Theorem 2.1 and Theorem 4.1 yield for r = 0 that H 12...k;0 (x) = e x1 1! + x2 xk 1 2! + + (k 1)!. If k, then we get the exponential generating function for the number of avoiding permutations in S n is given by e ex 1.
14 14 TOUFIK MANSOUR In [C, CM1] proved the number of permutations in S n (21-3) avoiding 12-3 is the same number of involutions in S n. The case of varying k is more interesting. As an extension of these results (the proofs are immediately holds by using the biection Φ). Theorem 4.3. For k 1, H 12...(k 1)-k;0(x) = e x1 xk 1 1! + + (k 1)! ; H 12...(k 2)k-(k 1);0(x) = H 12...(k 2)-k-(k 1);0(x) = F (k 2)...21k-(k 1);0(x). Using the biection Φ we get easily other results as follows. Theorem 4.4. (i) The number of permutations in S n containing 12-3 exactly once is the same number of permutations containing 21-3 exactly once; (ii) The number of permutations in S n containing 12-3 once and containing (k 1)...21-k (resp. (k 1)...21k) exactly r = 0, 1 times, is the same number of permutations in S n containing 21-3 once and containing 12...(k 1)-k (resp. (12...(k 1)k) exactly r = 0, 1 times τ = Theorem 4.5. For all n 1, h 12-3;0(n) = h 12-3;0(n 1) + (n 1)h 12-3;0(n 2); h 12-3;1(n) = h 12-3;1(n 1) + (n 1)h 12-3;1(n 2) + (n 2)h 12-3;0(n 3); h 12-3;2(n) = h 12-3;2(n 1) + (n 1)h 12-3;2(n 2) + (n 2)h 12-3;1(n 3)+ +(n 3)h 12-3;0(n 3). Proof. Immediately, definitions yield the following statement: Lemma 4.6. Let n 1; then h 12-3;r(n) = h 12-3;r(n 1) + n 1 h 12-3;r(n; ), h 12-3;r(n; ) = h 12-3;r(n 2) + n 1 h 12-3;r (n i 1)(n 1; i), for 1 n 1. i= Case r = 0: Lemma 4.6 yields h 12-3;0(n; ) = h 12-3;0(n 2) for all 1 n 1, hence h 12-3;0(n) = h 12-3;0(n 1) + (n 1)h 12-3;0(n 2). Case r = 1: Lemma 4.6 yields h 12-3;1(n; ) = h 12-3;1(n 2) + h 12-3;0(n 1; n 2) for all 1 n 2, and h 12-3;1(n; n 1) = h 12-3;1(n 2), which means that h 12-3;1(n) = h 12-3;1(n 1) + (n 1)h 12-3;1(n 2) + (n 2)h 12-3;0(n 3). Case r = 2: similarly as the above cases.
15 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) τ = Theorem 4.7. Let r be a nonnegative integer. Then H 13-2;r(x) = 1 x 1 2x δ r,0 + x2 1 2x r d=1 H 13-2;r d(x) d 1 h 13-2;r d()x (1 x) d. Proof. Definitions imply h 13-2;r(n; n) = h 13-2;r(n 1), and for 1 n 1, n 1 h 13-2;r(n; ) = h 13-2;r+i (n 1; ). By means of induction it is easy to obtain for 1 m n 1 m 1 ( ) m 1 h 13-2;r(n; n m) = h 13-2;r (n 1 m + ). Now, if summing h 13-2;r(n; n m) over all 0 m n 1, then we get h 13-2;r(n) = h 13-2;r(n 1) + i= r d=0 n 2 d ( n 2 d ) h 13-2;r d( + d). To find the desired result, we transfer the last equation to terms of ordinary generating functions by use [CM2, Lem. 7]. In view of Theorem 2.3 and Theorem 4.7 we have: the number of permutations in S n (12-3) containing 13-2 exactly r times is the same number of permutations in S n (21-3) containing 13-2 exactly r times. To verify that by combinatorial biective proof let π be any 12-3-avoiding permutation; it is easy to see π = (π 1,..., π 1, n, π ) where π 1 > > π 1, so the number of occurrences of 13-2 in π is given by N := n 1 π 1 ( 2)+N where N the number occurrences of 13-2 in π. On the other hand, let β = Φ(π), so by definitions of Φ with induction hypothesis (induction on length of π) we get that β contains the same number N of occurrences of Hence, by means of induction we shall showed that Φ is a biection, and H 13-2;r(x) = F 13-2;r(x) for all r τ = Theorem 4.8. Let r be any nonnegative integer number. Then there exist a polynomial p r (n) of degree at most r with coefficient in Q such that for all n r h 23-1;r(n) = p r (n)2 n. Proof. Immediately, by definitions we have Lemma 4.9. Let n 1; then h 23-1;r(n) = h 23-1;r(n 1) + n 1 h 23-1;r(n; ), h 23-1;r(n; ) = n 1 h 23-1;r ( 1)(n 1; i), for 1 n 1. i=
16 16 TOUFIK MANSOUR Hence, h 23-1;r(n; n) = h 23-1;r(n; 1) = h 23-1;r(n 1), h 23-1;r(n; ) = 0 for all r + 2 n 1, and h 23-1;r(n; ) = h 23-1;r(n; 1) h 23-1;r+1 (n 1; 1) for all 2 r + 1. Assume that h 23-1;d(n) can be expressed as p d (n)2 n and h 23-1;d(n; ) can be expressed as p d 1 (n)2 n where 2 r + 1 for all 0 d r 1. The statement is trivial for r = 0, and by using the principle of induction with the above explanation we get, immediately, the desired result. Theorem 4.8 with the initial values of the sequences h 23-1;r(n) for r = 0, 1, 2, 3 yield Corollary τ = (i) For all n 1, h 23-1;0(n) = 2 n 1 ; (ii) For all n 2, h 23-1;1(n) = (n 2)2 n 3 ; (iii) For all n 3, h 23-1;2(n) = (n 3)(n + 8)2 n 6 ; (iv) For all n 4, h 23-1;3(n) = 1/3(n 4)(n n + 42). Theorem Let r be a nonnegative integer. Then H 31-2;r(x) = 1 x 1 2x δ r,0 + x2 1 2x r d=1 H 31-2;r d(x) d 1 h 31-2;r d()x (1 x) d. Proof. Definitions imply h 31-2;r(n; 1) = h 13-2;r(n 1), and for 2 n 1, n 1 1 h 31-2;r(n; ) = h 31-2;r(n 1; i) = h 31-2;r(n 1) h 31-2;r(n 1; i). i= By means of induction it is easy to obtain for 1 m n 1 i=1 m 1 ( ) m 1 h 31-2;r(n; m) = ( 1) h 31-2;r(n 1 ). Similarly as Theorem 2.3 (or Theorem 4.7), by using the above equation with (it is easy to check by definitions) we get the desired result. h 31-2;r(n; n) = r h 31-2;r (n 1; n 1 ), Again, we have H 31-2;r(x) = F 13-2;r(x) for all r 0. But here we failed to find a combinatorial explanation that the number of permutations in S n (12-3) containing 13-2 exactly r times is the same number of permutations in S n (21-3) containing 31-2 exactly r times.
17 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) τ = Theorem For all n 1, h 32-1;0(n) = n 2 ( 1) ( n 1 +1) h32-1;r(n 1 )+ + r+1 Proof. Immediately, definitions yield Lemma Let n 1; then and 1 i=0 ( 1) i( 1 i h 32-1;r(n) = h 32-1;r(n 1) + n h 32-1;r(n; ), =2 ) h32-1;r+1 (n 2 i). h 32-1;r(n; ) = h 32-1;r(n 1) 1 h 32-1;r(n 1; i), for 1 n 1, i=1 h 32-1;r(n; n) = h 32-1;r(n 1; 1) + h 32-1;r 1(n 1; 2) + + h 32-1;0(n 1; r + 1). By means of induction with use Lemma 4.13 we imply that for all 1 m n 1 m 1 ( ) m 1 h 32-1;r(n; m) = ( 1) i h 32-1;r(n 1 i). i i=0 On the other hand, using Lemma 4.13 the third equality and then using Lemma 4.13 the first equality we get the desired result. For example, Theorem 4.12 with [CM2, Lem. 7] (as Example 2.12) yield the exact formula for H 32-1;r(x) where r = 0, 1 (see Claesson and Mansour [CM1] for the case r = 0). Corollary H 32-1;0(x) = k 0 [ H 32-1;1(x) = n 0 where p d (x) = d (1 dx). x 2k p k 1 (x)p k+1 (x) ; x 2 (1 (n+2)x) 1 (n+1)x k 0 5. Further results u 2(k+n) p n+k (x)p n+k+2 (x) The first possibility to extend the above result is to fix two numbers of occurrences for two generalized patterns of type (2, 1). For example, the number of permutations in S n containing 12-3 exactly once and containing 13-2 exactly once is given by (n 2 7n + 14)2 n 3 2 for all n 1. Another example, the number of permutations in S n containing 12-3 exactly twice and containing 13-2 twice is given by (n 4 18n n 2 826n )2 n 7 4n 14 for all n 1. These results can be extended as follows. ].
18 18 TOUFIK MANSOUR Theorem 5.1. Let us denote the number of permutations in S n containing 12-3 exactly r times and containing 13-2 exactly s times by a r,s n ; then there exists a polynomials p(n) and q(n) of degree at most r+s+1 δ r,0 δ s,0 and r+s δ r,0 δ s,0, respectively, such that for all n 1 a r,s n = p(n)2n + q(n). Another direction to extend the results in above sections is to restricted more than two patterns. For example, the number of permutations in S n (12-3, 13-2, 21-3) is given by the (n + 1)th Fibonacci number (see [CM1]). Again, this result can be extended as follows. Theorem 5.2. (i) The ordinary generating function for the number of permutations in S n (12-3, 21-3) such containing 13-2 exactly r 1 times is given by and for r = 0 is given by 1 1 x x 2. x 2 (1 x) r 1 (1 x x 2 ) r+1 (ii) The ordinary generating function for the number of permutations in S n (12-3, 21-3) such containing 23-1 exactly r 1 times is given by and for r = 0 is given by 1 1 x x 2. x 2 (1 x) r 1 (1 x x 2 ) r+1 In view of Theorem 5.2 suggests that there should exist a biection between the sets {12-3, 21-3}-avoiding permutations such containing 13-2 exactly r times and {12-3, 21-3}-avoiding permutations such containing 23-1 exactly r times for any r 0. However, we failed to produce such a biection, and finding it remains a challenging open question. References [B] M. Böna, The permutation classes equinumerous to the smooth class, Electron. J. Combin. 5 (1998), #R31 [BS] E. Babson and E. Steingrimsson, Generalized permutation patterns and a classification of the Mahonian statistics, Séminaire Lotharingien de Combinatoire, B44b:18pp, (2000). [C] A. Claesson, Generalised pattern avoidance, European Journal of Combinatorics, 22 (2001) [CM1] A. Claesson and T. Mansour, Permutations avoiding a pair of generalized patterns of length three with exactly one dash, preprint CO/ [CM2] A. Claesson and T. Mansour, Counting occurrences of a pattern of type (1, 2) or (2, 1) in permutations, Adv. in Appl. Math., to appear (2002), preprint CO/ [CSZ] R.J. Clarke, E. Steingrímsson, and J. Zeng, New Euler-Mahonian statistics on permutations and words, Adv. in Appl. Math., 18(3): , [CW] T. Chow and J. West Forbidden subsequences and Chebyshev polynomials Discr. Math. 204 (1999) [Kr] C. Krattenthaler, Permutations with restricted patterns and Dyck paths,adv. in Applied Math. 27 (2001), [K] D. Kremer, Permutations with forbidden subsequnces and a generalized Schröder number, Disc. Math. 218 (2000), [MV1] T. Mansour and A. Vainshtein, Restricted permutations, continued fractions, and Chebyshev polynomials, The Electronic Journal of Combinatorics 7 (2000), #R17.
19 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) 19 [MV2] T. Mansour and A. Vainshtein, Restricted 132-avoiding permutations, Adv. Appl. Math. 126 (2001), [MV3] T. Mansour and A. Vainshtein, Layered restrictions and Chebychev polynomials (2000), Annals of Combinatorics, to appear (2001), preprint CO/ [MV4] T. Mansour and A. Vainshtein, Restricted permutations and Chebychev polynomials, Séminaire Lotharingien de Combinatoire 47 (2002), Article B47c. [SS] R. Simion and F.W. Schmidt, Restricted permutations, European Journal of Combinatorics 6 (1985) [R] A. Robertson, Permutations containing and avoiding 123 and 132 patterns, Disc. Math. and Theo. Comp. Sci. 3 (1999), [RWZ] A. Robertson, H. Wilf, and D. Zeilberger, Permutation patterns and continuous fractions, Electron. J. Combin. 6 (1999), #R38. [W] J. West, Generating trees and forbidden subsequences, Disc. Math. 157 (1996),
Sample Induction Proofs
Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given
1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: [email protected] Proof: For any element x of the empty set, x is also an element of every set since
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
I. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
MATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
Math 55: Discrete Mathematics
Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What
Cyclotomic Extensions
Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate
ON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS
ON FIBONACCI NUMBERS WITH FEW PRIME DIVISORS YANN BUGEAUD, FLORIAN LUCA, MAURICE MIGNOTTE, SAMIR SIKSEK Abstract If n is a positive integer, write F n for the nth Fibonacci number, and ω(n) for the number
CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
Section 4.2: The Division Algorithm and Greatest Common Divisors
Section 4.2: The Division Algorithm and Greatest Common Divisors The Division Algorithm The Division Algorithm is merely long division restated as an equation. For example, the division 29 r. 20 32 948
MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
RESULTANT AND DISCRIMINANT OF POLYNOMIALS
RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results
k, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
Quotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +
Continued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
SCORE SETS IN ORIENTED GRAPHS
Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in
COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS
COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS Alexander Burstein Department of Mathematics Howard University Washington, DC 259, USA [email protected] Sergey Kitaev Mathematics
Taylor and Maclaurin Series
Taylor and Maclaurin Series In the preceding section we were able to find power series representations for a certain restricted class of functions. Here we investigate more general problems: Which functions
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
A simple criterion on degree sequences of graphs
Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree
SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
On continued fractions of the square root of prime numbers
On continued fractions of the square root of prime numbers Alexandra Ioana Gliga March 17, 2006 Nota Bene: Conjecture 5.2 of the numerical results at the end of this paper was not correctly derived from
Degree Hypergroupoids Associated with Hypergraphs
Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated
Solutions for Practice problems on proofs
Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 6 Permutation Groups Let S be a nonempty set and M(S be the collection of all mappings from S into S. In this section,
We can express this in decimal notation (in contrast to the underline notation we have been using) as follows: 9081 + 900b + 90c = 9001 + 100c + 10b
In this session, we ll learn how to solve problems related to place value. This is one of the fundamental concepts in arithmetic, something every elementary and middle school mathematics teacher should
Jacobi s four squares identity Martin Klazar
Jacobi s four squares identity Martin Klazar (lecture on the 7-th PhD conference) Ostrava, September 10, 013 C. Jacobi [] in 189 proved that for any integer n 1, r (n) = #{(x 1, x, x 3, x ) Z ( i=1 x i
Math 115 Spring 2011 Written Homework 5 Solutions
. Evaluate each series. a) 4 7 0... 55 Math 5 Spring 0 Written Homework 5 Solutions Solution: We note that the associated sequence, 4, 7, 0,..., 55 appears to be an arithmetic sequence. If the sequence
THE DYING FIBONACCI TREE. 1. Introduction. Consider a tree with two types of nodes, say A and B, and the following properties:
THE DYING FIBONACCI TREE BERNHARD GITTENBERGER 1. Introduction Consider a tree with two types of nodes, say A and B, and the following properties: 1. Let the root be of type A.. Each node of type A produces
SECTION 10-2 Mathematical Induction
73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms
Inner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
Lecture 13 - Basic Number Theory.
Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted
RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES
RECURSIVE ENUMERATION OF PYTHAGOREAN TRIPLES DARRYL MCCULLOUGH AND ELIZABETH WADE In [9], P. W. Wade and W. R. Wade (no relation to the second author gave a recursion formula that produces Pythagorean
The sum of digits of polynomial values in arithmetic progressions
The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France E-mail: [email protected]
PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.
PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
VERTICES OF GIVEN DEGREE IN SERIES-PARALLEL GRAPHS
VERTICES OF GIVEN DEGREE IN SERIES-PARALLEL GRAPHS MICHAEL DRMOTA, OMER GIMENEZ, AND MARC NOY Abstract. We show that the number of vertices of a given degree k in several kinds of series-parallel labelled
Mathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
MATH 289 PROBLEM SET 4: NUMBER THEORY
MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides
ON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER
Séminaire Lotharingien de Combinatoire 53 (2006), Article B53g ON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER RON M. ADIN AND YUVAL ROICHMAN Abstract. For a permutation π in the symmetric group
A characterization of trace zero symmetric nonnegative 5x5 matrices
A characterization of trace zero symmetric nonnegative 5x5 matrices Oren Spector June 1, 009 Abstract The problem of determining necessary and sufficient conditions for a set of real numbers to be the
3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS
ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with so-called Birkhoff-Witt algebras of Lie
Basics of Counting. The product rule. Product rule example. 22C:19, Chapter 6 Hantao Zhang. Sample question. Total is 18 * 325 = 5850
Basics of Counting 22C:19, Chapter 6 Hantao Zhang 1 The product rule Also called the multiplication rule If there are n 1 ways to do task 1, and n 2 ways to do task 2 Then there are n 1 n 2 ways to do
Chapter 3. Distribution Problems. 3.1 The idea of a distribution. 3.1.1 The twenty-fold way
Chapter 3 Distribution Problems 3.1 The idea of a distribution Many of the problems we solved in Chapter 1 may be thought of as problems of distributing objects (such as pieces of fruit or ping-pong balls)
Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
Connectivity and cuts
Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every
The cyclotomic polynomials
The cyclotomic polynomials Notes by G.J.O. Jameson 1. The definition and general results We use the notation e(t) = e 2πit. Note that e(n) = 1 for integers n, e(s + t) = e(s)e(t) for all s, t. e( 1 ) =
MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform
MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish
On Integer Additive Set-Indexers of Graphs
On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that
n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
1 A duality between descents and connectivity.
The Descent Set and Connectivity Set of a Permutation 1 Richard P. Stanley 2 Department of Mathematics, Massachusetts Institute of Technology Cambridge, MA 02139, USA [email protected] version of 16 August
9.2 Summation Notation
9. Summation Notation 66 9. Summation Notation In the previous section, we introduced sequences and now we shall present notation and theorems concerning the sum of terms of a sequence. We begin with a
CS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering
Homework until Test #2
MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such
No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
a 1 x + a 0 =0. (3) ax 2 + bx + c =0. (4)
ROOTS OF POLYNOMIAL EQUATIONS In this unit we discuss polynomial equations. A polynomial in x of degree n, where n 0 is an integer, is an expression of the form P n (x) =a n x n + a n 1 x n 1 + + a 1 x
SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL
ADSS, Volume 3, Number 3, 2013, Pages 45-56 2013 Aditi International ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL KOKO KALAMBAY KAYIBI Abstract Let i j T( M; = tijx y be the Tutte polynomial of the matroid
The positive minimum degree game on sparse graphs
The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA [email protected] András Pluhár Department of Computer Science University
ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction
ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove
A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
On strong fairness in UNITY
On strong fairness in UNITY H.P.Gumm, D.Zhukov Fachbereich Mathematik und Informatik Philipps Universität Marburg {gumm,shukov}@mathematik.uni-marburg.de Abstract. In [6] Tsay and Bagrodia present a correct
CHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
The Determinant: a Means to Calculate Volume
The Determinant: a Means to Calculate Volume Bo Peng August 20, 2007 Abstract This paper gives a definition of the determinant and lists many of its well-known properties Volumes of parallelepipeds are
Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm
MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following
Section 4.4 Inner Product Spaces
Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer
Mathematical Induction. Lecture 10-11
Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach
Introduction to Finite Fields (cont.)
Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number
5.1 Radical Notation and Rational Exponents
Section 5.1 Radical Notation and Rational Exponents 1 5.1 Radical Notation and Rational Exponents We now review how exponents can be used to describe not only powers (such as 5 2 and 2 3 ), but also roots
Algebraic and Transcendental Numbers
Pondicherry University July 2000 Algebraic and Transcendental Numbers Stéphane Fischler This text is meant to be an introduction to algebraic and transcendental numbers. For a detailed (though elementary)
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism
Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup
456 BRUCE K. DRIVER 24. Hölder Spaces Notation 24.1. Let Ω be an open subset of R d,bc(ω) and BC( Ω) be the bounded continuous functions on Ω and Ω respectively. By identifying f BC( Ω) with f Ω BC(Ω),
Student Outcomes. Lesson Notes. Classwork. Discussion (10 minutes)
NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 5 8 Student Outcomes Students know the definition of a number raised to a negative exponent. Students simplify and write equivalent expressions that contain
MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
Prime power degree representations of the symmetric and alternating groups
Prime power degree representations of the symmetric and alternating groups Antal Balog, Christine Bessenrodt, Jørn B. Olsson, Ken Ono Appearing in the Journal of the London Mathematical Society 1 Introduction
COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B
Let H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p.
Page 331, 38.2 Assignment #11 Solutions Factor the following positive integers into primes. a. 25 = 5 2. b. 4200 = 2 3 3 5 2 7. c. 10 10 = 2 10 5 10. d. 19 = 19. e. 1 = 1. Page 331, 38.4 Suppose a is a
Lecture 1: Course overview, circuits, and formulas
Lecture 1: Course overview, circuits, and formulas Topics in Complexity Theory and Pseudorandomness (Spring 2013) Rutgers University Swastik Kopparty Scribes: John Kim, Ben Lund 1 Course Information Swastik
STUDENT S SOLUTIONS MANUAL ELEMENTARY NUMBER THEORY. Bart Goddard. Kenneth H. Rosen AND ITS APPLICATIONS FIFTH EDITION. to accompany.
STUDENT S SOLUTIONS MANUAL to accompany ELEMENTARY NUMBER THEORY AND ITS APPLICATIONS FIFTH EDITION Bart Goddard Kenneth H. Rosen AT&T Labs Reproduced by Pearson Addison-Wesley from electronic files supplied
Finite dimensional C -algebras
Finite dimensional C -algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for self-adjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n
THE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
Math 319 Problem Set #3 Solution 21 February 2002
Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod
PROBLEM SET 6: POLYNOMIALS
PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other
Every Positive Integer is the Sum of Four Squares! (and other exciting problems)
Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer
CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
minimal polyonomial Example
Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We
