arxiv: v1 [math.co] 30 Dec 2011

Transcription

1 A reciprocity method for computing generating functions over the set of permutations with no consecutive occurrence of τ arxiv:20.042v [math.co] 30 Dec 20 Miles Eli Jones Department of Mathematics University of California, San Diego La Jolla, CA USA Jeffrey B. Remmel Department of Mathematics University of California, San Diego La Jolla, CA USA Submitted: Date ; Accepted: Date 2; Published: Date 3. MR Subject Classifications: 05A5, 05E05 keywords: permutation, pattern match, descent, left to right minimum, symmetric polynomial, exponential generating function Abstract In this paper, we introduce a new method for computing generating functions with respect to the number of descents and left-to-right minima over the set of permutations which have no consecutive occurrence of τ where τ starts with. In particular, we study the generating function n 0 tn σ NM n(324...p) xlrmin(σ) y +des(σ) where p 4, NM n (324...p) is the set of permutations σ in the symmetric group S n which has no consecutive occurrences of p, des(σ) is the number of descents of σ and LRmin(σ) is the number of left-to-right ( minima of σ. We show that for any p 4, this generating function is of the form U(t,y) where U(t,y) = n 0 U n(y) tn and the coefficients U n (y) satisfy some simple recursions depending on p. As an application of our results, we compute explicit generating functions for the number of permutations of S n that have no consecutive occurrences of the pattern p and have exactly k descents for k =,2. Introduction Given a sequence σ = σ...σ n of distinct integers, let red(σ) be the permutation found by replacing the i th largest integer that appears in σ by i. For example, if σ = , then red(σ) = Given a permutation τ = τ...τ j in the symmetric group S j, we say a permutationσ = σ...σ n S n hasa τ-match starting at position iprovidedred(σ i...σ i+j ) = τ. Let τ-mch(σ) be the number of τ-matches in the permutation σ. Given a permutation σ = σ...σ n S n, we let des(σ) = {i : σ i > σ i+ }. We say that σ j is a left-to-right minimum of σ if σ j < σ i for all i < j. We let LRmin(σ) denote the number of left-to-right minima of σ. Let NM n (τ) denote the set of permutations in S n with no τ-matches and let NM τ,n (x,y) = x LRmin(σ) y +des(σ). () σ NM n(τ) ) x The main goal of this paper is to give a new method to compute generating functions of the

2 form NM τ (t,x,y) = n 0 t n NM τ,n(x,y) (2) where where τ is a permutation in S j which starts with. This method was first outlined in the [8] where the authors considered the generating function NM 423 (t,x,y). In this paper, we shall develop a more general approach that applies to any τ that starts with and has one descent. Our method does not compute NM τ (t,x,y) directly. Instead, we assume that ( ) x NM τ (t,x,y) = where U τ (t,y) = + U τ,n (y) tn U τ (t,y). (3) Thus U τ (t,y) = + n NM τ,n(,y) tn Our method gives a combinatorial interpretation the right-hand side of (4) and then uses that combinatorial interpretation to develop simple recursions on the coefficients U τ,n (y). The first question to ask is why can we assume that NM τ (t,x,y) can be expressed in the form ( ) x NM τ (t,x,y) = U τ (t,y) when τ starts with. The fact that this is assumption is justified follows from previous work of the authors [7] where they introduced the general study of patterns in the cycle structure of permutations. That is, suppose that τ = τ...τ j is a permutation in S j and σ is a permutation in S n with k cycles C...C k. We shall always write cycles in the form C i = (c 0,i,...,c pi,i) where c 0,i is the smallest element in C i and p i is the length of C i. Then we arrange the cycles by decreasing smallest elements. That is, we arrange the cycles of σ so that c 0, > > c 0,k. Then we say that σ has a cycle-τ-match (c-τ-mch) if there is an i such that C i = (c 0,i,...,c pi,i) where p i j and an r such that red(c r,i c r+,i...c r+j,i ) = τ where we take indices of the form r +s modulo p i. Let c-τ-mch(σ) be the number of cycle-τ-matches in the permutation σ. For example, if τ = 2 3 and σ = (4,7,5,8,6)(2,3)(,0,9), then 9 0 is a cycle-τ-match in the third cycle and and are cycle-τ-matches in the first cycle so that c-τ-mch(σ) = 3. Given a cycle C = (c 0,...,c p ) where c 0 is the smallest element in the cycle, we let cdes(c) = + des(c 0...c p ). Thus cdes(c) counts the number of descent pairs as we traverse once around the cycle because the extra counts the descent pair c p > c 0. For example if C = (,5,3,7,2), then cdes(c) = 3 which counts the descent pairs 53, 72, and 2 as we traverse once around C. By convention, if C = (c 0 ) is a one-cycle, we let cdes(c) =. If σ is a permutation in S n with k cycles C...C k, then we define cdes(σ) = k i= cdes(c i). We let cyc(σ) denote the number of cycles of σ. In [7], Jones and Remmel studied generating functions of the form NCM τ (t,x,y) = + n t n σ NCM n(τ) n x cyc(σ) y cdes(σ) where NCM n (τ) is the set of permutations σ S n which have no cycle-τ-matches. The basic approach used in that paper was to use theory of exponential structures to reduce the problem of computing NCM τ (t,x,y) to the problem of computing similar generating functions for n-cycles. (4) 2

3 That is, let NCM n,k (τ) be the set of permutations σ of S n with k cycles such that σ has no cycle-τ-matches and L ncm m (τ) denote the set of m-cycles γ in S m such γ has no cycle-τ-matches. The following theorem follows easily from the theory of exponential structures as is described in [5], for example. Theorem. NCM τ (t,x,y) = + n t n n k= x k σ NCM n,k (τ) y cdes(σ) = e x m tm m! C L ncm m (τ)ycdes(c). (5) It turns out that if τ S j is a permutation that starts with, then we can reduce the problem of finding NCM τ (t,x,y) to the usual problem of finding the generating function of permutations that have no τ-matches. Let σ be the permutation that arises from C C k by erasingall theparentheses andcommas. For example, ifσ = (7,0,9,) (4,8,6) (,5,3,2), then σ = It is easy to see that the minimal elements of the cycles correspond to left-to-right minima in σ. It is also easy to see that under our bijection σ σ, cdes(σ) = des( σ)+ since every left-to-right minima other than the first element of σ is part of a descent pair in σ. For example, if σ = (7,0,9,) (4,8,6) (,5,3,2) so that σ = , cdes((7,0,9,)) = 2, cdes((4,8,6)) = 2, andcdes((,5,3,2)) = 3sothatcdes(σ) = = 7 while des( σ) = 6. This given, Jones and Remmel [7] proved that if τ S j and τ starts with, then for any σ S n, () σ has k cycles if and only if σ has k left-to-right minima, (2) cdes(σ) = +des( σ), and (3) σ has no cycle-τ-matches if and only if σ has no τ-matches. Thus they proved the following theorem. Theorem 2. Suppose that τ = τ...τ j S j and τ =. Then NCM τ (t,x,y) = NM τ (t,x,y). (6) It follows from Theorems and 2 that if τ S j and τ starts with, then NM τ (t,x,y) = F(t,y) x (7) for some function F(t,y). Thus our assumption that ( ) x NM τ (t,x,y) = (8) U τ (t,y) is fully justified in the case when τ starts with. We should note that if a permutation τ does not start with, then it may be that case that NM n (τ) NCM n (τ). For example, Jones and Remmel [7] computed that NCM 7 (342) = 4236 and NM 7 (342) = Jones and Remmel [7] were able compute functions of the form NCM τ (t,x,y) when τ starts with by combinatorially proving certain recursions for C L ncm m (τ) ycdes(c) which led to certain sets of differential equations satisfied by NCM τ (t,x,y). For example, using such methods, they were able to prove the following two theorems. Theorem 3. Let τ = τ...τ j S j where j 3 and τ = and τ j = 2. Then NCM τ (t,x,y) = NM τ (t,x,y) = ( t e(y )s ydes(τ)sj (j )! 0 ) x (9) ds 3

4 Theorem 4. Suppose that τ = 2...(j )(γ)j where γ is a permutation of j +,...,j + p and j 3. Then NCM τ (t,x,y) = NM τ (t,x,y) = (U τ (t,y)) x where U τ (t,y) = + n U τ,n (y) tn, U (y) = y, and for all n 2, ( ) n j U τ,n (y) = ( y)u τ,n y) y des(τ) U τ,n p j+y). (0) p The next step in our approach is to use the homomorphism method to give a combinatorial interpretation to U τ (t,y) = NM τ (t,,y). () That is, Remmel and various coauthors [, 9, 0,, 2, 3, 4] developed a method called the homomorphism method to show that many generating functions involving permutation statistics can be derived by applying a homomorphism defined on the ring of symmetric functions Λ in infinitely many variables x,x 2,... to simple symmetric function identities such as where H(t) = /E( t) (2) H(t) = h n t n = x n 0 i i t and E(t) = e n t n = i t (3) n 0 i +x are the generating functions of the homogeneous symmetric functions h n and the elementary symmetric functions e n in infinitely many variables x,x 2,... Now suppose that we define a homomorphism θ on Λ by setting Then θ(e n ) = ( )n NM τ,n (,y). θ(e( t)) = n 0 NM τ,n (,y) tn = U τ (t,y). Thus θ(h(t)) should equal U τ (t,y). We shall then show how to use the combinatorial methods associated with the homomorphism method to develop recursions for the coefficient of U τ (t,y) similar to those in Theorem 4. For example, in this paper, we shall study the generating functions for permutations τ of the form τ = p where p 4. That is, τ arises from the identity by interchanging 2 and 3. We shall show that U 324,y) = y and for n 2, n/2 U 324,n (y) = ( y)u 324,n y)+ ( y) k C k U 324,n 2k+y) (4) where C k is the k-th Catalan number. For any p 5, we shall show that U p,n (y) = y and for n 2, U p,n (y) = ( y)u p,n y)+ 4 k=2 n 2 p 2 ( y) k U p,n (k(p 2)+) (y). (5) k=

5 The outline of this paper is as follows. In Section 2, we shall briefly recall the background in the theory of symmetric functions that we will need for our proofs. Then in Section 3, we shall illustrate our method by proving (4) and (5). Then in Section 4, we shall show how the results of Section 3 allow us to compute explicit generating functions for the number of permutations of S n that have no consecutive occurrences of the pattern p and exactly k descents for p 4 and k =,2. Finally, in Section 5, we shall discuss our conclusions as well as some other results that follow by using the same method. 2 Symmetric functions. In this section, we give the necessary background on symmetric functions that will be needed for our proofs. Given a partition λ = (λ,...λ l ) where 0 < λ λ l, we let l(λ) be the number of nonzero integers in λ. If the sum of these integers is equal to n, then we say λ is a partition of n and write λ n. Let Λ denote the ring of symmetric functions in infinitely many variables x,x 2,... The n th elementary symmetric function e n = e n (x,x 2,...) and n th homogeneous symmetric function h n = h n (x,x 2,...) are defined by the generating functions given in (3). For any partition λ = (λ,...,λ l ), let e λ = e λ e λl and h λ = h λ h λl. It is well known that {e λ : λ is a partition} is a basis for Λ. In particular, e 0,e,... is an algebraically independent set of generators for Λ and, hence, a ring homomorphism θ on Λ can be defined by simply specifying θ(e n ) for all n. A key element of our proofs is the combinatorial description of the coefficients of the expansion of h n in terms of the elementary symmetric functions e λ given by Eğecioğlu and Remmel in [6]. They defined a λ-brick tabloid of shape (n) to be a rectangle of height and length n which is covered by bricks of lengths found in the partition λ in such a way that no two bricks overlap. For example, Figure shows one brick (2, 3, 7)-tabloid of shape (2). Figure : A (2,3,7)-brick tabloid of shape (2). Let B λ,n denote the set of λ-brick tabloids of shape (n) and let B λ,n be the number of λ-brick tabloids of shape (n). If B B λ,n we will write B = (b,...,b l(λ) ) if the lengths of the bricks in B, reading from left to right, are b,...,b l(λ). Through simple recursions, Eğecioğlu and Remmel [6] proved that h n = λ n( ) n l(λ) B λ,n e λ. (6) 3 Computing U p,n (y). The main goal of this section is to prove (4) and (5). We shall start by proving (5). Suppose that τ S j which starts with and des(τ) =. Our first step is to give a 5

6 combinatorial interpretation to U τ (t,y) = NM τ (t,,y) = + n tn NM τ,n(,y) where NM τ,n (,y) = σ NM n(τ) y+des(σ). To this end, we define a ring homomorphism θ τ on the ring of symmetric functions Λ by setting θ τ (e 0 ) = and θ τ (e n ) = ( )n NM τ,n (,y) for n. (8) It follows that θ τ (H(t)) = n 0θ τ (h n )t n = θ τ (E( t)) = + n t)n θ τ (e n ) = which is what we want to compute. By (6), we have that + n tn NM τ,n(,y) θ τ (h n ) = µ n( ) n l(µ) B µ,n θ τ (e µ ) (7) = µ n = µ n ( ) n l(µ) ( ) l(µ) l(µ) (b,...,b l(µ) ) B µ,n i= (b,...,b l(µ) ) B µ,n ( n b,...,b l(µ) ( ) b i NM τ,bi (,y) b i! )l(µ) NM τ,bi (,y). (9) Our next goal is to give a combinatorial interpretation to the right-hand side of (9). If we are ( given a brick tabloid B = (b,...,b l(µ) ), then we can interpret the multinomial coefficient n ) b,...,b µ as all ways to assign sets S,...,S l(µ) to the bricks of B in such a way that S i = b i for i =,...,l(µ) and the sets S,...,S l(µ) form a set partition of {,...,n}. Next for each brick b i, we use the factor NM τ,bi (,y) = y des(σ)+ σ S bi,τ-mch(σ)=0 to pick a rearrangement σ (i) of S i which has no τ-matches to put in cells of b i and then we place a label of y on each cell that starts a descent in σ (i) plus a label of y on the last cell of b i. Finally, we use the term ( ) l(µ) to turn each label y at the end of brick to a y. We let O τ,n denote the set of all objects created in this way. For each element O O τ,n, we define the weight of O, W(O), to be the product of y labels and the sign of O, sgn(o), to be ( ) l(µ). For example, if τ = 3245, then such an object O constructed from the brick tabloid B = (2,8,3) is pictured in Figure 2 where W(O) = y 7 and sgn(o) = ( ) 3. It follows that θ τ (h n ) = O O τ,n sgn(o)w(o). (20) Next we define a weight-preserving sign-reversing involution I τ on O τ,n. Given an element O O τ,n, scan the cells of O from left to right looking for the first cell c such that either 6 i=

7 4 y y y y y y y Figure 2: An element of O 3245,3. (i) c is labeled with a y or (ii) c is a cell at the end of a brick b i, the number in cell c is greater than the number in the first cell of the next brick b i+, and there is no τ-match in the cells of bricks b i and b i+. In case (i), if c is a cell in brick b j, then we split b j in to two bricks b j and b j where b j contains all the cells of b j up to an including cell c and b j consists of the remaining cells of b j and we change the label on cell c from y to y. In case (ii), we combine the two bricks b i and b i+ into a single brick b and change the label on cell c from y to y. For example, consider the element O O 3245,3 pictured in Figure 2. Note that even though the number in the last cell of the first brick is greater than the the number in the first cell of the second brick, we cannot combine these two bricks because the numbers would be a 3245-match. Thus the first place that we can apply the involution is on cell 5 which is labeled with a y so that I τ (O) is the object pictured in Figure 3. 4 y y y y y y y Figure 3: I τ (O) for O in Figure 2. We claim that I τ is an involution so that Iτ 2 is the identity. To see this, consider case (i) where we split a brick b j at cell c which is labeled with a y. In that case, we let a be the number in cell c and a be the number in cell c+ which must also be in brick b j. It must be the case that there is no cell labeled y before cell c since otherwise we would not use cell c to define the involution. However, we have to consider the possibility that when we spilt b j into b j and b j that we might then be able to combine the brick b j with b j because the number in that last cell of b j is greater than the number in the first cell of b j and there is no τ-match in the cells of b j and b j. Since we always take an action on the left most cell possible when defining I τ(o), we know that we cannot combine b j and b j so that there must be a τ-match in the cells of b j and b j. Clearly, that match must have involved the number a and the number in cell d which is the last cell in brick b j. But that is impossible because then there would be two descents among the numbers between cell d and cell c+ which would violate our assumption that τ has only one descent. Thus whenever we apply case (i) to define I τ (O), the first action that we can take is to combine bricks b j and b j so that I2 τ(o) = O. If we are in case (ii), then again we can assume that there are no cells labeled y that occur before cell c. When we combine brick b i and b i+, then we will label cell c with a y. It is clear that combining the cells of b i and b i+ cannot help us combine the resulting brick b with an earlier brick since it will be harder to have no τ-matches with the larger brick b. Thus the first place cell c where we can apply the involution will again be cell c which is now labeled with a y so that Iτ(O) 2 = O if we are in case (ii). 7

8 ItisclearfromourdefinitionsthatifI τ (O) O,thensgn(O)W(O) = sgn(i τ (O))W(I τ (O)). Hence it follows from (20) that θ τ (h n ) = sgn(o)w(o) = sgn(o)w(o). (2) O O τ,n O O τ,n,i τ(o)=o Thus we must examine the fixed points of I τ. So assume that O is a fixed point of I τ. First it is easy to see that there can be no cells which are labeled with y so that numbers in each brick of O must be increasing. Second we cannot combine two consecutive bricks b i and b i+ in O which means either that there is an increase between the bricks b i and b i+ or there is a decrease between the bricks b i and b i+, but there is a τ-match in the cells of the bricks b i and b i+. We claim that, in addition, the numbers in the first cells of the bricks must form an increasing sequence, reading from left to right. That is, suppose that b i and b i+ are two consecutive bricks in a fixed point O of I τ and that a > a where a is the number in the first cell of b i and a is the number in the first cell of b i+. Then clearly the number in the last cell of b i must be greater than a so that it must be the case that there is a τ-match in the cells of b i and b i+. However a is the least number that resides in the cells of b i and b i+ which means that the only way that a could be part of a τ-match that occurs in the cells of b i and b i+ is to have a play the role of. But since we are assuming that τ starts with, this would mean that if a is part of a τ-match, then that τ-match must be entirely contained in b i+ which is impossible. Thus a cannot be part of any τ-match that occurs in the cells of b i and b i+. However, this would mean that the τ-match that occurs in the cells of b i and b i+ must either be contained entirely in the cells of b i or entirely in the cells of b i+ which again is impossible. Hence it must be the case that a < a. Thus we have proved the following. Lemma 5. Suppose that τ S j, τ starts with, and des(τ) =. Let θ τ : Λ Q(y) be the ring homomorphism defined on Λ where Q(y) is the set of rational functions in the variable y over the rationals Q, θ τ (e 0 ) = and θ τ (e n ) = ( )n NM τ,n (,y) for n. Then θ τ (h n ) = sgn(o)w(o) (22) O O τ,n,i τ(o)=o where O τ,n is the set of objects and I τ is the involution defined above. Moreover, every fixed point O of I τ has the following three properties.. There are no cells labeled with y in O so that the numbers in each brick of O are increasing, 2. the first numbers in each brick of O form an increasing sequence, reading from left to right, and 3. if b i and b i+ are two consecutive bricks in O, then either (a) there is increase between b i and b i+ or (b) there is a decrease between b i and b i+, but there is τ-match in the cells of b i and b i+. Now we specialize to the case of τ = p where p 5. In this case, we can make a finer analysis of the fixed points of I τ. Let O be a fixed point of I τ. By Lemma 5, we know that is in the first cell of O. We claim that 2 must be in the second or third cell of O. That is, suppose that 2 is in cell c where c > 3. Then since there are no descents within any brick, 2 must be the first cell of a brick. Moreover, since the minimal numbers in the bricks of O form 8

9 an increasing sequence, reading from left to right, 2 must be in the first cell of the second brick. Thus if b and b 2 are the first two bricks in O, then is in the first cell of b and 2 is in the first cell of b 2. But then we claim that there is no τ-match in the cells of b and b 2. That is, since c > 3, b has at least three cells so that O starts with an increasing sequence of length 3. But this means that cannot be part of a τ-match. Similarly, no other cell of b can be part of τ-match because the 2 in cell c is less than any of the remaining numbers of b. Thus if there is a τ-match among the cells of b and b 2, it would have to be entirely contained in b 2 which is impossible. But this would mean that we could apply case (ii) of the definition of I τ to b andb 2 which wouldviolate ourassumptionthat O is afixedpoint of I τ. Thus, wehave two cases. Case. 2 is in cell 2 of O. In this case there are two possibilities, namely, either (i) and 2 are both in the first brick b of O or (ii) brick b is a single cell filled with and 2 is in the first cell of the second brick b 2 of O. In either case, it is easy to see that is not part of a τ-match in O and if we remove cell from O and subtract from the numbers in the remaining cells, we would end up with a fixed point O of I τ in O τ,n. Now in case (i), it is easy to see that sgn(o)w(o) = sgn(o )W(O ) and in case (ii) since b will have a label y on the firstcell, sgn(o)w(o) = ( y)sgn(o )W(O ). It follows that fixed points in Case will contribute ( y)u τ,n y) to U τ,n (y). Case 2. 2 is in cell 3 of O. Let O(i) denote the number in cell i of O and b,b 2,... be the bricks of O, reading from left to right. Since there are no descents within bricks in O and the first numbers of each brick are increasing, reading from left to right, it must be the case that 2 is in the first cell of b 2. Thus b has two cells. Note that b 2 must have at least p 2 cells since otherwise, there could be no τ-match contained in the cells of b and b 2 and we could combine bricks b and b 2 which would mean that O is not a fixed point of I τ. But then the only reason that we cannot combine bricks b and b 2 is that there is a τ-match in the cells of b and b 2 which could only start at position. Next we claim that O(p ) = p. That is, since there is a τ-match starting at position and p 5, we know that all the numbers in the first p 2 cells of O are strictly less than O(p ). Thus O(p ) p. Now if O(p ) > p, then let i be least number in the set {,...,p } that is not contained in bricks b and b 2. Since the numbers in each brick are increasing and the minimal numbers of the bricks are increasing, the only possible position for i is the first cell of brick b 3. But then it follows that there is a decrease between bricks b 2 and b 3. Since O is a fixed point of I τ, this must mean that there is a τ-match in the cells of b 2 and b 3. But since τ has only one descent, this τ-match can only start at the cell c which is the second to the last cell of b 2. Thus c could be p if b 2 has p 2 cells or c > p if b 2 has more than p 2 cells. In either case, p < O(p ) O(c) < O(c + ) > O(c + 2) = i. But this is impossible since to have a τ-match starting at cell c, we must have O(c) < O(c +2). Thus it must be the case that O(p ) = p and {O(),...,O(p )} = {,...,p }. We now have two subcases. Case 2.a. There is no τ-match in O starting at cell p. Then we claim that O(p) = p. That is, if O(p) p, then p cannot be in b 2 so that p must 9

10 be in the first cell of the brick b 3. But then we claim that we could combine bricks b 2 and b 3. That is, there will be a decrease between bricks b 2 and b 3 since p < O(p) and O(p) is in b 2. Since there is no τ-match in O starting at cell p, the only possible τ-match among the cells of b 2 and b 3 would have to start at a cell c p. But it can t be that c < p since then it would be the case that O(c) < O(c+) < O(c+2). Similarly, it cannot be that c > p since then O(c) > p and p has to be part of the τ-match which is impossible since O(c) must play the role of in the τ-match. Thus it must be the case that O(p) = p. It then follows that if we let O be the result of removing the first p cells from O and subtracting p from the remaining numbers, then O will be a fixed point of I τ in O τ,n (p ). Note that if b 2 has p 2 cells, then O will start with a brick with one cell and if b 2 has more than p 2 cells, then O will start with a brick with at least two cells. Since there is y coming from the brick b, it is easy to see that the fixed points in Case 2.a will contribute yu τ,n (p ) (y) to U τ,n (y). Case 2.b. There is a τ-match starting cell p in O. In this case, it must be that O(p ) < O(p) > O(p + ) so that b 2 must have p 2 cells and brick b 3 starts at cell p+. We claim that b 3 must have at least p 2 cells. That is, if b 3 has less than p 2 cells, then there could be no τ-match among the cells of b 2 and b 3 so then we could combine b 2 and b 3 violating the fact that O is a fixed point of I τ. In the general case, assume that in O, the bricks b 2,...,b k all have (p 2) cells. Then let r = and for j = 2,...,k, let r j = +(j )(p 2). Thus r j is the position of the second to last cell of brick b j for j k. Furthermore, assume that there is a τ-match starting at cell r j for j k. It follows that O(r k ) < O(r k +) > O(r k +2) so that brick b k must start at cell r k +2 and there is a decrease between bricks b k and b k. But then it must be the case that b k has at least p 2 cells since if b k has less than p 2 cells, we could combine bricks b k and b k violating the fact that O is a fixed point of I τ. Let r k = +(k )(p 2) and assume that O does not have a τ-match starting at position r k. Thus we have the situation pictured below. O() O(2) } {{ } b r 2 O(3) O(r 2 ) O(r 2 +) } {{ } b 2... r k O(r k ) O(r k +) } {{ } b k r k O(r k ) O(r k +) } {{ } b k First we claim O(r j ) = r j and {,...,r j } = {O(),...,O(r j )} for j =,...,k. We have shownthato() = andthato(r 2 ) = O(p ) = p and{o(),...,o(p )} = {,...,p }. Thusassumeby induction, O(r j ) = r j and {,...,r j } = {O(),...,O(r j )}. Since there is a τ-match that starts at cell r j and p 5, we know that all the numbers O(r j ),O(r j +),...,O(r j +p 3) are less than O(r j ) = O(r j +p 2). Since {,...,r j } = {O(),...,O(r j )}, it follows that O(r j ) r j. Next suppose that O(r j ) > r j. Then let i be the least number that does not lie in the bricks b,...,b j. Because the numbers in each brick increase and the minimal numbers in the bricks are increasing, it must be the case that i is in the first cell of the next brick b j+. Now it cannot be that j < k because then we have that i = O(r j +2) r j < O(r j ) < O(r j+ ) which would violate the fact that there is a τ-match in O starting at cell r j. If j = k, then it 0

11 follows that there is a decrease between bricks b k and b k+ since b k+ starts with i r k < O(r k ). Since O is a fixed point of I τ, this must mean that there is a τ-match in the cells of b k and b k+. But since τ has only one descent, this τ-match can only start at the cell c which is the second to the last cell of b k. Thus c must be greater than r k because by hypothesis there cannot be a τ-match starting at cell r k. So b k+ must have more than p 2 cells. In this case, we have that i r k < O(r k ) O(c) < O(c+) > O(c+2) = i. But this cannot be since to have a τ-match starting at cell c, we must have O(c) < O(c+2). Thus it must be the case that O(r j ) = r j. But then it must be the case that r j = O(r j ) < O(d) < O(r j ) = r j for r j < d < r j so that {O(),...,O(r j )} = {,...,r j } as desired. Thus we have proved by induction that O(r j ) = r j and {,...,r j } = {O(),...,O(r j )} for j =,...,k. This means that the sequence O(),...,O(r k ) is completely determined. Next we claim that since there is no τ-match starting at position r k, it must be the case that O(r k +) = r k +. That is, if O(r k +) r k +, then r k + cannot be in brick b k so then r k + must be in the first cell of the brick b k+. But then we claim that we could combine bricks b k and b k+. That is, there will be a decrease between bricks b k and b k+ since r k + < O(r k +) and O(r k +) is in b k. Since there is no τ-match starting in O at cell r k, the only possible τ-match among the cells of b k and b k+ would have to start at a cell c r k. Now it cannot be that c < r k since then O(c) < O(c+) < O(c+2). But it cannot be that c > r k since then O(c) > r k + and r k + would have to be part of the τ-match which means that O(c) could not play the role of in the τ-match. Thus it must be the case that O(r k + ) = r k +. It then follows that if we let O be the result of removing the first r k cells from O and subtracting r k from each number in the remaining cells, then O will be a fixed point I τ in O τ,n rk. Note that if b k has p 2 cells, then the first brick of O will have one cell and if b k has more than p 2 cells, then the first brick of O will have at least two cells. Since there is a factor y coming from each of the bricks b,...,b k, it is easy to see that the fixed points in Case 2.b will contribute k 3 ( y)k U τ,n ((k )(p 2)+) (y) to U τ,n (y). Thus we have proved the following theorem. Theorem 6. Let τ = p where p 5. Then NM τ (t,x,y) = U τ (t,y) = + n U τ,n (y) tn, U τ,(y) = y, and for n 2, ( U τ (t,y) ) x where U τ,n (y) = ( y)u τ,n y)+ For example, we have computed the following. n 2 p 2 ( y)u τ,n (k(p 2)+) (y). k=

12 U 3245,y) = y, U 3245,2 (y) = y +y 2, U 3245,3 (y) = y +2y 2 y 3, U 3245,4 (y) = y +3y 2 3y 3 +y 4, U 3245,5 (y) = y +5y 2 6y 3 +4y 4 y 5, U 3245,6 (y) = y +7y 2 2y 3 +0y 4 5y 5 +y 6, U 3245,7 (y) = y +9y 2 2y 3 +23y 4 5y 5 +6y 6 y 7, U 3245,8 (y) = y +y 2 34y 3 +47y 4 39y 5 +2y 6 7y 7 +y 8, U 3245,9 (y) = y +3y 2 5y 3 +88y 4 90y 5 +6y 6 28y 7 +8y 8 y 9, U 3245,0 (y) = y+5y 2 72y 3 +53y 4 89y 5 +56y 6 90y 7 +36y 8 9y 9 +y 0, U 3245,y) = y+7y 2 97y y 4 368y 5 +36y 6 252y 7 +27y 8 45y 9 +0y 0 y. U 32456,y) = y, U 32456,2 (y) = y+y 2, U 32456,3 (y) = y+2y 2 y 3, U 32456,4 (y) = y+3y 2 3y 3 +y 4, U 32456,5 (y) = y+4y 2 6y 3 +4y 4 y 5, U 32456,6 (y) = y+6y 2 0y 3 +0y 4 5y 5 +y 6, U 32456,7 (y) = y+8y 2 7y 3 +20y 4 5y 5 +6y 6 y 7, U 32456,8 (y) = y+0y 2 27y 3 +38y 4 35y 5 +2y 6 7y 7 +y 8, U 32456,9 (y) = y+2y 2 40y 3 +68y 4 74y 5 +56y 6 28y 7 +8y 8 y 9, U 32456,0 (y) = y +4y 2 57y 3 +4y 4 46y 5 +3y 6 84y 7 +36y 8 9y 9 +y 0, U 32456,y) = y+6y 2 78y 3 +82y 4 270y y 6 26y 7 +20y 8 45y 9 +0y 0 y. U ,y) = y, U ,2 (y) = y +y 2, U ,3 (y) = y +2y 2 y 3, U ,4 (y) = y +3y 2 3y 3 +y 4, U ,5 (y) = y +4y 2 6y 3 +4y 4 y 5, U ,6 (y) = y +5y 2 0y 3 +0y 4 5y 5 +y 6, U ,7 (y) = y +7y 2 5y 3 +20y 4 5y 5 +6y 6 y 7, U ,8 (y) = y +9y 2 23y 3 +35y 4 35y 5 +2y 6 7y 7 +y 8, U ,9 (y) = y +y 2 34y 3 +59y 4 70y 5 +56y 6 28y 7 +8y 8 y 9, U ,0 (y) = y +3y 2 48y 3 +96y 4 30y 5 +26y 6 84y 7 +36y 8 9y 9 +y 0, U ,y) = y+5y 2 65y 3 +50y 4 230y y 6 20y 7 +20y 8 45y 9 +0y 0 y. Of course, one can use these initial values of the U p,n (y) to compute the initial values of NM p (t,x,y). For example, we have used Mathematica to compute the following initial terms of NM 3245 (t,x,y), NM (t,x,y), and NM (t,x,y). 2

13 NM 3245 (t,x,y) = +xyt+ xy +x 2 y 2) t 2 + xy +xy 2 +3x 2 y 2 +x 3 y 3) t xy +4xy 2 +7x 2 y 2 +xy 3 +4x 2 y 3 +6x 3 y 3 +x 4 y 4) t xy +0xy 2 +5x 2 y 2 +xy 3 +30x 2 y 3 +25x 3 y xy 4 +5x 2 y 4 +0x 3 y 4 +0x 4 y 4 +x 5 y 5) t 5 + xy +24xy 2 +3x 2 y 2 +62xy 3 +40x 2 y 3 +90x 3 y 3 +26xy 4 +9x 2 y x 3 y 4 +65x 4 y 4 +xy 5 +6x 2 y 5 +5x 3 y 5 +20x 4 y 5 +5x 5 y 5 +x 6 y 6) t 6 + xy +54xy 2 +63x 2 y xy x 2 y 3 +30x 3 y xy x 2 y x 3 y x 4 y 4 +57xy x 2 y x 3 y x 4 y x 5 y 5 +xy 6 +7x 2 y 6 +2x 3 y 6 +35x 4 y 6 +35x 5 y 6 +2x 6 y 6 +x 7 y 7) t 7 + xy +6xy 2 +27x 2 y xy x 2 y x 3 y xy x 2 y x 3 y 4 +70x 4 y 4 +7xy x 2 y x 3 y x 4 y x 5 y 5 +20xy x 2 y 6 +76x 3 y 6 +36x 4 y x 5 y x 6 y 6 + xy 7 +8x 2 y 7 +28x 3 y 7 +56x 4 y 7 +70x 5 y 7 +56x 6 y 7 +28x 7 y 7 +x 8 y 8) t 8 + NM (t,x,y) = +xyt+ xy +x 2 y 2) t 2 + xy +xy 2 +3x 2 y 2 +x 3 y 3) t xy +4xy 2 +7x 2 y 2 +xy 3 +4x 2 y 3 +6x 3 y 3 +x 4 y 4) t xy +xy 2 +5x 2 y 2 +xy 3 +30x 2 y 3 +25x 3 y xy 4 +5x 2 y 4 +0x 3 y 4 +0x 4 y 4 +x 5 y 5) t 5 + xy +25xy 2 +3x 2 y 2 +66xy 3 +46x 2 y 3 +90x 3 y 3 +26xy 4 +9x 2 y x 3 y 4 +65x 4 y 4 +xy 5 +6x 2 y 5 +5x 3 y 5 +20x 4 y 5 +5x 5 y 5 +x 6 y 6) t 6 + xy +55xy 2 +63x 2 y xy 3 +58x 2 y 3 +30x 3 y xy x 2 y x 3 y x 4 y 4 +57xy x 2 y x 3 y x 4 y x 5 y 5 +xy 6 +7x 2 y 6 +2x 3 y 6 +35x 4 y 6 +35x 5 y 6 +2x 6 y 6 +x 7 y 7) t 7 + xy +7xy 2 +27x 2 y 2 +53xy x 2 y x 3 y xy x 2 y x 3 y 4 +70x 4 y 4 +9xy x 2 y x 3 y x 4 y x 5 y 5 +20xy x 2 y 6 +76x 3 y 6 +36x 4 y x 5 y x 6 y 6 + xy 7 +8x 2 y 7 +28x 3 y 7 +56x 4 y 7 +70x 5 y 7 +56x 6 y 7 +28x 7 y 7 +x 8 y 8) t 8 + 3

14 NM (t,x,y) = +xyt+ xy +x 2 y 2) t 2 + xy +xy 2 +3x 2 y 2 +x 3 y 3) t xy +4xy 2 +7x 2 y 2 +xy 3 +4x 2 y 3 +6x 3 y 3 +x 4 y 4) t xy +xy 2 +5x 2 y 2 +xy 3 +30x 2 y 3 +25x 3 y xy 4 +5x 2 y 4 +0x 3 y 4 +0x 4 y 4 +x 5 y 5) t 5 + xy +26xy 2 +3x 2 y 2 +66xy 3 +46x 2 y 3 +90x 3 y 3 +26xy 4 +9x 2 y x 3 y 4 +65x 4 y 4 +xy 5 +6x 2 y 5 +5x 3 y 5 +20x 4 y 5 +5x 5 y 5 +x 6 y 6) t 6 + xy +56xy 2 +63x 2 y xy x 2 y 3 +30x 3 y xy x 2 y x 3 y x 4 y 4 +57xy x 2 y x 3 y x 4 y x 5 y 5 +xy 6 +7x 2 y 6 +2x 3 y 6 +35x 4 y 6 +35x 5 y 6 +2x 6 y 6 +x 7 y 7) t 7 + xy +8xy 2 +27x 2 y 2 +85xy x 2 y x 3 y xy x 2 y x 3 y 4 +70x 4 y 4 +9xy x 2 y x 3 y x 4 y x 5 y xy x 2 y 6 +76x 3 y 6 +36x 4 y x 5 y x 6 y 6 +xy 7 +8x 2 y x 3 y 7 +56x 4 y 7 +70x 5 y 7 +56x 6 y 7 +28x 7 y 7 +x 8 y 8) t 8 + We note that there are many terms in these expansions which are easily explained. For example, we claim that for any p 4, the coefficient of x k y k in NM p,n (x,y) is always the Stirling number S(n,k) which is the number of set partitions of {,...,n} into k parts. That is, a permutation σ S n that contributes to the coefficient x k y k in NM p,n (x,y) must have k left-to-right minima and k descents. Since each left-to-right minima of σ which is not the first element is always the second element of descent pair, it follows that if = i < i 2 < i 3 < < i k are the positions of the left to right minima, then σ must be increasing in each of the intervals [,i 2 ),[i 2,i 3 ),...,[i k,i k ),[i k,n]. It is then easy to see that {σ,...,σ i2 },{σ i2,...,σ i3 },...,{σ ik,...,σ ik },{σ ik,...,σ n } is just a set partition of {,...,n} ordered by decreasing minimal elements. Moreover, it is easy to see that no such permutation can have a p-match for any p 4. Vice versa, if A,...,A k is a set partition of {,...,n} such that min(a ) > > min(a k ), then the permutation σ = A k A k...a is a permutation with k left-to-right minima and k descents where for any set A {,...,n}, A is the list of the element of A in increasing order. It follows that for any p 4,. NM p,n (x,y) xy = S(n,) =, 2. NM p,n (x,y) x 2 y 2 = S(n,2) = 2n, 3. NM p,n (x,y) x n yn = S(n,n) =, and 4. NM p,n (x,y) x n y n = S(n,n ) = ( n 2). 4

15 We claim that NM p,n (x,y) xy 2 = { 2 n n if n < p and 2 n n (n (p )) = 2 n 2n+p if n p. That is, suppose that σ S n contributes to NM p,n (x,y) xy 2. Then σ must have left-toright minima and one descent. It follows that σ must start with and have one descent. Now if A is any subset of {2,...,n} and B = {2,...,n} A, then we let σ A be the permutation σ A = A B. Theonlychoices ofathatdonotgiverisetoapermutationwithonedescent are and {2,...,i} for i = 2,...,n. Itfollows that there2 n npermutations that start withand have descent. Next consider when such a σ A could have a p-match. If the pmatch starts at positioni, then it must bethecase that red(σ i σ i+ σ i+2 σ i+3 ) = 324. Thismeans that the only descent is at position i+ and all the elements σ j for j i+3 are greater than or equal to σ i+3. But thismeans that all theelements between andσ i+2 must appearinincreasing order in σ 2...σ i. It follows that σ A is of the form...(q 2)q(q+2)(q+)(q+2)...n. There are no such permutations if n p and there are n (p ) such permutations if n p as q can range from to n (p ). We end this section by considering the special case where τ = 324 where the analysis of the fixed points of I 324 is a bit different. Let O be a fixed point of I 324. By Lemma 5, we know that is in the first cell of O. Again, we claim that 2 must be in the second or third cell of O. That is, suppose that 2 is in cell c where c > 3. Then since there are no descents within any brick, 2 must be in the first cell of a brick. Moreover, since the minimal numbers in the bricks of O form an increasing sequence, reading from left to right, 2 must be in the first cell of the second brick. Thus if b and b 2 are the first two bricks in O, then is in the first cell of b and 2 is in the first cell of b 2. But then we claim that there is no 324-match in the elements of b and b 2. That is, since c > 3, b has at least three cells so that O starts with an increasing sequence of length 3. But this means that can not be part of a 324-match. Similarly, no other cell of b can be part of 324-match because the 2 in cell c is smaller than any of the remaining numbers of b. But this would mean that we could apply case (ii) of the definition of I 324 to b and b 2 which would violate our assumption that O is a fixed point of I 324. Thus, we have two cases. Case I. 2 is in cell 2 of O. In this case there are two possibilities, namely, either (i) and 2 lie in the first brick b of O or (ii) brick b has one cell and 2 is the first cell of the second brick b 2 of O. In either case, it is easy to see that is not part of a 324-match and if we remove cell from O and subtract from the elements in the remaining cells, we would end up with a fixed point O of I 324 in O 324,n. Now in case (i), it is easy to see that sgn(o)w(o) = sgn(o )W(O ) and in case (ii) since b will have a label y on the first cell, sgn(o)w(o) = ( y)sgn(o )W(O ). It follows that fixed points in Case will contribute ( y)u 324,n y) to U 324,n (y). Case II. 2 in cell 3 of O. Let O(i) denote the element in i cell of O and b,b 2,... be the bricks of O, reading from left to right. Since there are no descents within bricks in O and the minimal elements in the bricks are increasing, we know that 2 is in the first cell of a brick b 2. Thus b has two cells. But then b 2 must have at least two cells since if b 2 has one cell, there could be no 324-match 5

16 contained in the cells of b and b 2 and we could combine bricks b and b 2 which would mean that O is not a fixed point of I 324. Thus b has two cells and b 2 has at least two cells. But then the only reason that we could not combine bricks b and b 2 is that there is a 324-match in the cells of b and b 2 which could only start at the first cell. We now have two subcases. Case II.a. There is no 324-match in O starting at cell 3. Thenweclaimthat{O(),O(2),O(3),O(4)} = {,2,3,4}. Thatis, if{o(),o(2),o(3),o(4)} {,2,3,4}, then let i = min({,2,3,4} {O(),O(2),O(3),O(4)}). Since there is a 324-match starting at position, it follows that O(4) > 4 since O(4) is the fourth largest element in {O(),O(2),O(3),O(4)}. Since the minimal elements of the bricks of O are increasing, it must be that i is the first element in brick b 3. But then we claim that we could combine bricks b 2 and b 3. That is, there will be a decrease between bricks b 2 and b 3 since i < O(4) and O(4) is in b 2. Since there is no 324-match in O starting at cell 3, the only possible 324-match among the elements in b 2 and b 3 would have start at a cell c > 3. But then O(c) > i, which is impossible since it would have to play the role of in the 324-match and i would have to play the role of 2 in the 324-match since i occupies the first cell of b 3. Thus it must be the case that O() =, O(2) = 3, O(3) = 2, and O(4) = 4. It then follows that if we let O be the result of removing the first 3 cells from O and subtracting 3 from the remaining elements, then O will be a fixed point I 324 in O 324,n 3. Since there is y coming from the brick b, it is easy to see that the fixed points in Case II.a will contribute yu 324,n 3 (y) to U 324,n (y). Case II.b. There is a 324-match starting a 3 in O. In this case, it must be that O(3) < O(4) > O(5) so that b 2 must have two cells and brick b 3 starts at cell 5. We claim that b 3 must have at least two cells. That is, if b 3 has one cell, then there could be no 324-match among the cells of b 2 and b 3 so that we could combine b 2 and b 3 violating the fact that O is a fixed point of I 324. In the general case, assume that in O, the bricks b 2,...,b k all have two cells and there are 324-matches starting at cells,3,...,2k 3 but there is no 324-match starting at cell 2k in O. Then we know that b k has least two cells. Let c i < d i be the numbers in the first two cells of brick b i for i =,...,k. Then we have that red(c i d i c i+ d i+ ) = 324 for i k. This means that c i < c i+ < d i < d i+. First we claim that it must be the case that {O(),...,O(2k)} = {,...,2k}. If not there is a number greater than 2k that occupies one of the first 2k cells. Let M be the greatest such number. If M occupies one of the first 2k cells then there must be a number less than 2k that occupies one of the last n 2k cells. Let m be the least such number. Since numbers in bricks are increasing, M must occupy the last cell in one of the first k bricks or occupy cell 2k. If M occupies the last cell in one of the first k bricks, then M is part of a τ-match... c i M c i+ d i+... But then red(c i M c i+ d i+ ) = implies that M < d i+ which contradicts our choice of M as the greatest number in the first 2k cells. Thus M cannot occupy the last cell in one of the first k bricks. This means that M must occupy cell 2k in O. 6

17 Since numbers in bricks are increasing, m must occupy the first cell of b k+. But then there is a descent between bricks b k and b k+ so that m must be part of a 324-match. But the only way this can happen is if in the 324-match involving m, m plays the role of 2 and the numbers in the last two cells of brick b k play the role of 3. Since, we are assuming that a 324-match does not start at cell 2k which is the cell that the number c k occupies, the numbers in the last two cells of brick b k must be greater than or equal to d k = M which is impossible since m < M. Thus it must be the case that {O(),...,O(2k)} = {,...,2k} and that d k = 2k. It now follows that if we remove the first 2k cells from O and replace each remaining number i in O by i (2k ), then we will end up with a fixed point in O of I 324 in O n (2k ). Thus each such fixed point O will contribute ( y) k U n 2k+y) to U n (y). The only thing left to do is to count the number of such fixed points O. That is, we must count the number of sequences c d c 2 d 2...c k d k such that (i) c =, (ii) c 2 = 2, (iii) d k = 2k, (iv) {c,d,...,c k,d k } = {,2,...,2k}, and (v) red(c i d i c i+ d i+ ) = 324 for each i k. We claim that there are C k such sequences where C n = n+( 2n n) is the n-th Catlan number. It is well known that C k counts the number of Dyck paths of length 2k 2. A Dyck path of length 2k 2 is a path that starts at (0,0) and ends at (2k 2,0) and consists of either up-steps (,) or down-steps (,-) in such a way that the path never goes below the x-axis. Thus we will give a bijection φ between the set of Dyck paths of length 2k 2 and the set of sequences c,d,...,c k,d k satisfying conditions (i)-(v). The map φ is quite simple. That is, suppose that we start with a Dyck path P = (p,p 2,...,p 2k 2 ) of length 2k 2. First, label the segments p,...,p 2k 2 with 2,...,2k, respectively. Then φ(p) is the sequence c d...c k d k where c = and c 2...c k are the labels of the up-steps of P, reading from left to right, d...d k are the labels of the down steps, reading from left to right, and d 2k = 2k. We have pictured an example in Figure 4 of the bijection φ in the case where k = 6. y x φ Figure 4: The bijection φ. 7

18 It is easy to see by construction that if P is a Dyck path of length 2k 2 and φ(p) = c d...c k d k, then c < c 2 < < c k and d < d 2 < < d k. Moreover, since each Dyck path must start with an up-step, we have that c 2 = 2. Clearly c =, d k = 2k, and {c,d,...,c k,d k } = {,...,2k} by construction. Thus c d...c k d k satisfies conditions (i)-(iv). For condition (v), note that c = < d > 2 = c 2 < d 2 so that red(c d c 2 d 2 ) = If 2 i k, then note that c i equals the label of the (i )st up-step, c i+ equals the label of the i-th up-step, and d i is the label of i-th down-step. Since in a Dyck path, the i-th down-step must occur after the i-th up-step, it follows that c i < c i+ < d i < d i+ so that red(c i d i c i+ d i+ ) = Vice versa, if we start with a sequence c d...c k d k satisfying conditions (i)-(v) and create a path P = (p,...,p 2k 2 ) with labels 2,...,2k such that p j is an up-step if j + {c 2,...,c k } and p j is an down-step if j + {d,...,d k }, then condition (iii) ensures P starts with an up-step and condition (v) ensures that the i-th up-step occurs before the i-th down step so that P will be a Dyck path. Thus φ is a bijection between the set of Dyck paths of length 2k 2 and the set of sequence c,d,...,c k,d k satisfying conditions (i)-(v). It follows that fixed points O of I 324 where the bricks b,b 2,...,b k are of size 2 and there are 324-matches starting at positions,3,...,2k 3 in O, but there is no 324-match starting at position 2k in O contribute C k y) k U n 2k+y) to U n (y). Thus we have proved the following theorem. Theorem 7. NCM 324 (t,x,y) = U 324,y) = y, and for n 2, ( U 324 (t,y) ) x where U 324(t,y) = + U 324,n (y) = ( y)u 234,n y)+ ( y) k C k U 324,n 2k+y) where C k is the k th Catalan number. In this case, one can easily compute that n 2 k=2 n U 324,n (y) tn, U 324,y) = y, U 324,2 (y) = y +y 2, U 324,3 (y) = y +2y 2 y 3, U 324,4 (y) = y +4y 2 3y 3 +y 4, U 324,5 (y) = y +6y 2 8y 3 +4y 4 y 5, U 324,6 (y) = y +8y 2 8y 3 +3y 4 5y 5 +y 6, U 324,7 (y) = y +0y 2 32y 3 +36y 4 9y 5 +6y 6 y 7, U 324,8 (y) = y +2y 2 50y 3 +85y 4 6y 5 +26y 6 7y 7 +y 8, U 324,9 (y) = y +4y 2 72y 3 +66y 4 70y 5 +94y 6 34y 7 +8y 8 y 9, U 324,0 (y) = y +6y 2 98y y 4 42y y 6 36y 7 +43y 8 9y 9 +y 0, U 324,y) = y+8y 2 28y y 4 854y y 6 473y 7 +88y 8 53y 9 +0y 0 y. This,inturn,allowsustocomputethefirstfewtermsofthegeneratingfunctionNM 324 (t,x,y). 8

19 That is, one can use Mathematica to compute that NM 324 (t,x,y) = +txy + 2 t2( xy +x 2 y 2) + 6 t3( xy +xy 2 +3x 2 y 2 +x 3 y 3) + 24 t4( xy +3xy 2 +7x 2 y 2 +xy 3 +4x 2 y 3 +6x 3 y 3 +x 4 y 4) + 20 t5( xy +9xy 2 +5x 2 y 2 +8xy 3 +25x 2 y 3 +25x 3 y 3 +xy 4 + 5x 2 y 4 +0x 3 y 4 +0x 4 y 4 +x 5 y 5) t6( xy +23xy 2 +3x 2 y 2 +47xy 3 +9x 2 y 3 +90x 3 y 3 +20xy 4 +73x 2 y x 3 y 4 +65x 4 y 4 +xy 5 +6x 2 y 5 +5x 3 y 5 +20x 4 y 5 +5x 5 y 5 +x 6 y 6) t7( xy +53xy 2 +63x 2 y 2 +22xy x 2 y 3 +30x 3 y xy x 2 y x 3 y x 4 y 4 +47xy 5 +96x 2 y x 3 y 5 +35x 4 y x 5 y 5 +xy 6 +7x 2 y 6 +2x 3 y 6 +35x 4 y 6 +35x 5 y 6 +2x 6 y 6 +x 7 y 7) + xy +5xy 2 +27x 2 y xy x 2 y x 3 y 3 +57xy x 2 y x 3 y 4 +70x 4 y xy x 2 y x 3 y x 4 y x 5 y 5 +05xy x 2 y x 3 y 6 +48x 4 y x 5 y x 6 y 6 +xy 7 + 8x 2 y 7 +28x 3 y 7 +56x 4 y 7 +70x 5 y 7 +56x 6 y 7 +28x 7 y 7 +x 8 y 8) t 8 + We note that there are other methods to compute NM 324 (t,,). That is, Elizalde [4] developed recursive techniques to find the coefficients of the series NM 324 (t,,). 4 Permutations with no p-matches and one or two descents In this section, we will show how we can use Theorem 6 and Theorem 7 to find the generating function for the number of permutations σ S n which have no p-matches and have exactly k descents for k =,2 and p 4. That is, fix p 4 and let d n,p (i) denote the number of σ S n such that p-mch(σ) = 0 and des(σ) = i. Our goal is to compute t n D p (i) (t) = d (i) n,p = NM p(t,,y) y i+ n 0 for i = and i = 2. To this end, we first want to compute U p,n (y) y, U p,n (y) y 2, and U p,n (y) y 3. That is, we want to compute the number of fixed points of I p that have either, 2, or 3 bricks. Clearly there is only one fixed point of I p of length n which has just one brick since in that case, the underlying permutation must be the identity. In such a situation, the last cell of the brick is labeled with y so that for all n and all p 4, U p,n (y) y =. Hence U p (t,y) y = e t. (23) 9

20 Next we consider the fixed points of I p which are of length n and consists of two bricks, a brick B of length b followed by a brick B 2 of length b 2. Note that in this case, the last cells of B and B 2 are labeled with y so that the weight of all such fixed points is y 2. Suppose the underlying permutation is σ = σ...σ n. Then there are two cases. Case. There is an increase between the two bricks, i.e. σ b < σ b +. In this case, it easy to see that σ must be the identity permutation and, hence, there are n fixed points in case since b can range from to n. Case 2. There is an decrease between the two bricks, i.e. σ b > σ b +. In this case, there must be a p-match in the elements in the bricks of B and B 2 which means that it must be the case that red(σ b σ b σ b +...σ b +p 2) = p. Now suppose that σ b = x. Since σ b + is the smallest element in brick B 2 and the elements in brick B 2 increase and σ b > σ b +, it must be the case that,...,x must lie in brick B. It cannot be that σ b = x+ since σ b > σ b +. Thus it must be the case that σ b + = x+ and σ b = x+2 since σ b < σ b +2. Thus brick B consists of the elements,...,x,x+2. Hence there are n p+ possibilities in case 2 if n p and no possibilities in case 2 if n < p. It follows that Note that Thus 0 if n = 0, U p,n y 2 = n if 2 n p and 2n p if n p. (2n p) tn n p U p (t,y) y 2 = 2t t n (n )! p t n n p n p = 2t(e t p 2 t n p t n ) p(et ) p = (2t p)e t +p+ (p 2n) tn. n= p = (2t p)e t +p+ (p 2n) tn p + (n ) tn n= p n=2 (24) = (2t p)e t +p+ (p n ) tn. (25) Next we consider a fixed point of I p which has 3 bricks, B of size b followed by B 2 of size b 2 followed by B 3 of size b 3. Let σ = σ...σ n be the underlying permutation. The weight of all such fixed points is y 3. We then have 4 cases. n= 20