arxiv:math/ v2 [math.co] 30 May 2007

Transcription

1 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS arxv:math/070032v2 [mathco] 30 May 2007 Sergey Ktaev Insttute of Mathematcs, Reykjavk Unversty, IS-03 Reykjavk, Iceland Toufk Mansour Department of Mathematcs, Hafa Unversty, 3905 Hafa, Israel Jeffrey B Remmel Department of Mathematcs, Unversty of Calforna, San Dego, La Jolla, CA 92093, USA jremmel@ucsdedu Abstract Recently, Ktaev and Remmel [8] refned the well-known permutaton statstc descent by fxng party of one of the descent s numbers Results n [8] were extended and generalzed n several ways n [7, 9, 0, ] In ths paper, we shall fx a set partton of the natural numbers N, (N,,N t, and we study the dstrbuton of descents, levels, and rses accordng to whether the frst letter of the descent, rse, or level les n N over the set of words over the alphabet [k] {,,k} In partcular, we refne and generalze some of the results n [4] Introducton The descent set of a permutaton π π π n S n s the set of ndces for whch π > π + Ths statstc was frst studed by MacMahon [2] almost a hundred years ago and t stll plays an mportant role n the feld of permutaton statstcs The number of permutatons of length n wth exactly m descents s counted by the Euleran number A m (n The Euleran numbers are the coeffcents of the Euleran polynomals A n (t π S n t +des(π It s well-known that the Euleran polynomals satsfy the dentty m 0 mn t m An(t ( t n+ For more propertes of the Euleran polynomals see [5] Recently, Ktaev and Remmel [8] studed the dstrbuton of a refned descent statstc on the set of permutatons by fxng party of (exactly one of the descent s numbers For example, they showed that the number of permutatons n S 2n (resp S 2n+ wth exactly k descents such that the frst entry of the descent s an even number s gven by ( n 2n! k 2 (resp n 2(n k+( k +! 2 In [9], the authors generalzed results of [8] by studyng descents accordng to whether the frst or the second element n a descent par s equvalent to 0 mod k 2 Consequently, Hall and Remmel [7] generalzed results of [9] by consderng X, Y -descents, whch are descents whose top (frst element s n X and whose bottom (second element s n Y where X and Y are

2 2 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS any sets of the natural number N In partcular, Hall and Remmel [7] showed that one can reduce the problem of countng the number of permutatons σ wth k X, Y -descents to the problem of computng the k-th ht number of a Ferrers board n many cases Lese [0] also consdered the stuaton of fxng equvalence classes of both descent numbers smultaneously Also, papers [6] and [] dscuss q-analogues of some of the results n [7, 8, 9, 0] Hall and Remmel [7] extended ther results on countng permutatons wth a gven number of X, Y -descents to words That s, let R(ρ be the rearrangement class of the word ρ 2 ρ2 m ρm (e, ρ copes of, ρ 2 copes of 2, etc where ρ + + ρ m n For any set X N and any set [m] {, 2,, m}, we let X m X [m] and X c m [m] X Then gven X, Y N and a word w w w n R(ρ, defne Des X,Y (w { : w > w + & w X & w + Y }, des X,Y (w P X,Y ρ,s Des X,Y (w, and {w R(ρ : des X,Y (w s} Hall and Remmel [7] proved the followng theorem by purely combnatoral means Theorem ( P X,Y ρ,s ( s ( ( a a + r n + ( ( s r ρx + r + α X,ρ,x + β Y,ρ,x ρ v, ρ v2,, ρ vb r s r r0 where Xm c {v, v 2,,v b }, a b ρ v, and for any x X m, α X,ρ,x β Y,ρ,x z / X x < z m z / Y z < x x X ρ z, and In ths paper, we shall study smlar statstcs over the set [k] n of n-letter words over fxed fnte alphabet [k] {, 2,, k} In what follows, E {2, 4, 6, } and O {, 3, 5, } are the sets of even and odd numbers respectvely Also, we let x[t] (x,, x t Then gven a word π π π 2 π n [k] n and a set X N, we defne the followng statstcs: Des X (π { : π > π + and π X} and des X (π Des X (π, Rs X (π { : π < π + and π X} and rs X (π Rs X (π, Lev X (π { : π π + and π X} and lev X (π Lev X (π Let (N,,N t be a set partton of the natural numbers N, e N N N 2 N t and N N j for j Then the man goal of ths paper s to study the followng multvarate generatng functon (MGF (2 A k A k (x[t];y[t];z[t];q[t] π t ρ z des N (π x rs N (π y z lev N (π ρ x q (π where (π s the number of letters from N n π and the sum s over all words over [k],

3 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 3 The outlne of ths paper s as follows In secton 2, we shall develop some general methods to compute (2 In secton 3, we shall concentrate on the computng generatng functons for the dstrbuton of the number of levels That s, we shall study A k where set x y for all In secton 4, we shall fnd formulas for the number of words n [k] n that have s descents that start wth an element less than or equal to t (greater than t for any t k Note that f we replace a word w w w n [k] n by ts complement w c (k + w (k + w n, then t s easy to see that des [t] (w rs {k+ t,,k} (w and des {t+,,k} (w rs [k t] (w Thus we wll also obtan formulas for the the number of words n [k] n that have s rses that start wth an element less than or equal to t (greater than t for any t k We wll also show that n the cases where t 2 or t k, there are alternatve ways to compute our formulas whch lead to non-trval bnomal denttes In secton 5, we shall apply our results to study the problem of countng the number of words n [k] n wth p descents (rses that start wth an element whch s equvalent to mod s for any s 2 and,, s In partcular, f s 2 and (N,,N s s the set partton of N where N {x N : x mod s} for,,s, then we shall study the generatng functons (3 A (s k (x[s];y[s];z[s];q[s] π and (4 A (s k (x[s];y[s];z[s]; q π s q π des x N (π s rs N (π y des x N (π y z lev N (π q (π rs N (π z lev N (π Our general results n secton 2 allow us to derve an explct formula for A (s k (x[s];y[s];z[s];q[s] dependng on the equvalence class of k mod s For example, n the case where s 2, our general result mples that (5 A (2 2k (q, q 2 A k (x, x 2, y, y 2, z, z 2, q, q 2 π x des O(π des x E(π rs 2 y O(π rs y E(π 2 z levo(π z leve(π 2 q odd(π + (λ µ 2 + λ 2 µ k µk 2 µ µ 2 (ν µ 2 + ν 2 µk µk 2 µ µ 2 q even(π 2 where the sum s over all words over [2k], even(π (resp odd(π s the number of even (resp odd numbers n π, λ j qj( yj q, µ j(z j y j q(z x q, and ν q (z y j jy j q j(z j y j for j, 2 Then by specalzng the varables approprately, we wll fnd explct formulas for the number of words w [2k] n such that des E (π p, des O (π p, rs E (π p, rs O (π p, etc For example, we prove that the number of n-letter words π on [2k] havng des O (π p (resp rs E (π p s gven by n j0 0 j ( j ( n+p+ 2 j ( n ( n j In fact, we shall show that smlar formulas hold for the number of words π [k] n wth p descents (rses, levels whose frst element s equvalent to t mod s for any s 2 and 0 t s Our results refne and generalze the results n [4] related to the dstrbuton of descents, levels, and rses n words Fnally, n secton 6, we shall dscuss some open questons and further research p

4 4 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS We need the followng notaton: 2 The general case A k (,, m A k (x[t];y[t];z[t];q[t];[m] π t des x N (π rs N (π y z lev N (π where the sum s taken over all words π π π 2 over [k] such that π π m m From our defntons, we have that (2 A k + k A k ( Thus, to fnd a formula for A k, t s suffcent to fnd a formula for A k ( for each, 2,, k Frst let us fnd a recurrence relaton for the generatng functon A k ( Lemma 2 For each s N, s k and t, we have (22 A k (s Proof From the defntons we have that q y q (z y A k + q ( y q (z y + q (x y s A k (j q (z y A k (s q + k j A k(s, j j q + s j A k(s, j + A k (s, s + k js+ A k(s, j Let π be any n-letter word over [k] where n 2 and π s > π 2 j If we let π π 2 π 3 π n, then t s easy to see that des N (π + des N (π, (π + (π q (π It s also easy to see that remanng 4t 2 statstcs of nterest take the same value on π and π Ths mples that A k (s, j q x A k (j for each j < s Smlarly, A k (s, s q z A k (s and A k (s, j q y A k (j for s < j k Therefore, s k A k (s q + q x A k (j + q z A k (s + q y A k (j j js+ Usng (2, we have k js+ A k(j A k s j A k(j A k (s, and thus as desred A k (s Lemma 22 For each k and s [k], s (23 A k (j where, for N m and, γ q y q (z y A k + q ( y q (z y + q (x y s A k (j, q (z y j s j γ j s j+ ( α j q my m q A m(z m y m k + qm( ym q and α m(z m y m qm(ym xm q m(z m y m

5 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 5 Proof We proceed by nducton on s Note, that gven our defntons of γ and α, we can rewrte (22 as s (24 A k (s γ s α s A k (j It follows that j A k ( γ so that (23 holds for s Thus the base case of our nducton holds Now assume that (23 holds for s where s < k Then usng our nducton hypothess and (24, t follows that A k ( + + A k (s + A k (s + s s s ( α + γ s+ α s+ j γ j γ s+ j j+ s j s+ s+ γ j j+ s+ γ j j+ ( α ( α j γ j s j+ ( α Thus the nducton step also holds so that (23 must hold n general Lemma 2 gves that A k (, for k, are the soluton to the followng matrx equaton α A k ( γ α 3 α A k (2 (25 α 4 α 4 α γ 2 A k (k γ k α k α k α k α k α k where, for N m and, γ q my m q m(z m y m A k + qm( ym q m(z m y m, and, for N m and 2, α q m(y m x m q m(z m y m Notce that α α j and γ γ j whenever and j are from the same set N m for some m In fact, t s easy to see that (22 and (23 mply that (26 A k ( γ α j γ j j+ ( α holds for,,k so that (25 has an explct soluton By combnng (2 and (26, we can obtan the followng result Theorem 23 For α and γ as above (defned rght below (25, we have A k + k j γ j k j+ ( α

6 6 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS solvng whch for A k gves (27 A k + k j k j q j( y j k q (z x q j(z j y j j+ q (z y q jy j k q (z x q j(z j y j j+ q (z y where for each varable a {x, y, z, q} we have a a m f N m Even though we state Theorem 23 as the man theorem n ths paper, ts statement can be (easly generalzed f one consders compostons nstead of words Indeed, let B k B k (x[t];y[t];z[t];q[t]; v t v π des x N (π rs y N (π z lev N (π q (π π where the sum s taken over all compostons π π π 2 wth parts n [k] and π π + π 2 + s the weght of the composton π Also, we let B k (,, m B k (x[t];y[t];z[t];q[t];[m]; v t v π des x N (π rs y N (π z lev N (π q (π π where agan the sum s taken over all compostons π π π 2 wth parts n [k] Next, one can copy the arguments of Lemma 2 substtutng q by v s q to obtan the followng generalzaton of Lemma 2: B k (s v s q y q (z y B k + vs q ( y q (z y + vs q (x y s B k (j q (z y One can then prove the obvous analogue of Lemma 2 by nducton and apply t to prove the followng theorem Theorem 24 We have where γ B k + k j γ j k j+ ( α v q my m q B m(z m y m k + v q m( y m q, and α m(z m y m v q m(y m x m q f belongs to N m(z m y m m Thus, B k + k j k j j v j q j( y j k q (z y +v (y x q j(z j y j j+ q (z y v j q jy j k q (z y +v (y x q j(z j y j j+ q (z y where for each varable a {x, y, z, q} we have a a m f N m Theorem 24 can be vewed as a q-analogue to Theorem 23 (Set v n Theorem 24 to get Theorem 23 3 Countng words by the types of levels Suppose we are gven a set partton N N N 2 N s Frst observe that for any fxed, f we want the dstrbuton of words n [k] n accordng to the number of levels whch nvolve elements n N, then t s easy to see by symmetry that the dstrbuton wll depend only on the cardnalty of N [k] Thus we only need to consder the case where s 2 and N {,,t} for some t k

7 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 7 Let (3 (32 (33 λ j ν j q j ( y j q j (z j y j, q j y j q j (z j y j, and µ q (z x q (z y Then we can rewrte (27 for any arbtrary set partton N N N 2 N s as (34 A k + k j λ j k j+ µ k j ν j k j+ µ where for each varable a {x, y, z, q}, we have a a m f N m Suppose we set x x 2 y y 2 z 2 and q q 2 q n (34 n the specal case where s 2 and q N [t] for some t k Then λ λ 2 0, ν q(z, ν 2 q, and µ µ 2 It follows that n ths case, Snce (35 t follows that (36 A k n 0 A k ( tq q(z + q(k t ( q m t q(z m 0 m ( ( m q (k m t m t m 0 0 m + (k t q(z ( ( a q(z a! qa (z a a 0 ( + a q a (z a, a a 0 q n n m m0 0 ( + n m n m (k t m t (z n m Thus takng the coeffcent of z s on both sdes of (36, we obtan the followng result Theorem 3 Let N N N 2 where N [t] and N 2 N N Then f t k, the number of words n [k] n wth s levels that start wth elements n N s n m ( ( ( m + n m n m (37 ( n m s (k t m t n m s m0 0 Gong back to the general set partton N N N 2 N s, we can obtan a general formula for the number of words n [k] n for whch there are t levels whch start wth an element of N for,,s as

8 8 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS follows Let n N [k] for,, n Then f set x j y j and q j q for all j, then t wll be the case that λ j 0 and µ j and ν j for all j It easy follows that n ths case, A k Then usng (35, we see that (38 A k m 0 n 0 q m q n q q(z j ( s n q q(z ( s q m q(z m 0 ( s ( q m m a,, a m m 0 a + +asm a,,a s 0 n m0 a + +asm a,,a s 0 a + asm a,,a s 0 n m ( m s n a a,,a nas s m b + +bsn m b,,b s 0 b 0 n q(z a (a b q b (z b b! ( m s ( n a a,, a a + b nas s m b Takng the coeffcent of z t zts s on both sdes of (38, we obtan the followng result (z b Theorem 32 Let N N N s be a set partton of N Let n N [k] for,,s Then the number of words n [k] n wth t levels that start wth elements n N for,,s s n ( m s ( ( (39 n a a,,a a + b b nas s m b t m0 a + +asm a,,a s 0 b + +bsn m b,,b s 0 4 Classfyng words by the number of descents that start wth elements t ( t + In ths secton, we shall consder the set partton N N N 2 where N [t] Now f t k, then t s easy to see that we can rewrte (27 as (4 A k + k j λ j k j+ µ k j ν j k j+ µ where and λ j q ( y q (z y, ν q y j q (z y, and µ j q (z x q (z y f j t λ j q 2( y 2 q 2 (z 2 y 2, ν j q 2 y 2 q 2 (z 2 y 2, and µ j q 2(z 2 x 2 q 2 (z 2 y 2 f j > t Now f we want to fnd formulas for the number of words n [k] n wth s descents that start wth an element less than or equal to t, then we need to set x 2 y y 2 z z 2 and q q 2 q n (4 In that

9 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 9 case, we wll have λ j 0 and ν j q for all j, µ j + q(x for j t, and µ j for j > t It follows that A k ( k jt+ q + t j q t j+ ( + q(x ( (k tq + q (+q(x t (+q(x (x ((k tq(x + ( + q(x t ( (k tq(x (x m + ( + q(x t m m 0 m 0 m 0 (x m (x m m a0 m ( m ((k tq(x m a ( + q(x ta a m a ta a0 b0 c0 a a b ( ta c ( m a b q b (k t b (x b q c (x c If we want to take the coeffcent of q n, then we must have b + c n or c n b Thus (42 A k q m m a ( ( ( m m a ta n ( m a b (k t b (x n m a b n b n 0 m 0 a0 b0 Takng the coeffcent of q n of both sdes of (42, we see that des (43 [t] (π m m a ( ( ( m m a ta ( m a b (k t b (x n m a b n b m 0 a0 π [k] n x b0 for all n However, f we replace x by z + n (43, we see that the polynomal (z + des [t] (π π [k] n has the Laurent expanson m m a m 0 a0 b0 a a It follows that t must be the case that m m a ( m a a b so that (44 A k n 0 m n+ a0 b0 q n n m0 a0 b0 b ( ta ( m a b (k t b (z n m n b ( ta n b m m a ( m a ( m a b a b ( m a b (k t b (z n m 0, ( ta n b (k t b (x n m Thus f we take the coeffcent of x s on both sdes of (44 and we use the remark n the ntroducton that des [t] (w rs {k+ t,,k} (w for all w [k] n, then we have the followng result

10 0 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS Theorem 4 If t k, then the number of words w [k] n such that des [t] (w s ( rs {k+ t,,k} (w s s equal to n m m a ( ( ( ( m m a ta n m (45 ( n a b s (k t b a b n b s m0 a0 b0 If we want to fnd formulas for the number of words n [k] n wth s descents that start wth an element greater to t, then we need to set x y y 2 z z 2 and q q 2 q n (4 In that case, we wll have λ j 0 and ν j q for all j, µ j + q(x 2 for j > t, and µ j for j t It follows that A k ( t j0 q( + q(x 2 k t + k jt+ q k j+ ( + q(x 2 ( qt( + q(x 2 k t + q (+q(x2 k t (+q(x 2 (x (qt(x 2 2 ( + q(x 2 k t + ( + q(x k t (x ((qt(x ( + q(x 2 k t ( (qt(x2 (x 2 m + ( + q(x 2 k t m m 0 m 0 m 0 (x 2 m (x 2 m m a0 m a0 b0 ( m ( m a (qt(x 2 + a ( + q(x 2 (k ta a a (k ta c0 ( m a a ( a b ( (k ta c q b t b (x 2 b q c (x 2 c Agan, f we want to take the coeffcent of q n, then we must have b + c n or c n b Thus (46 A k q m a ( ( ( m a (k ta n ( m a t b (x 2 n a b n b n 0 m 0 a0 b0 Takng the coeffcent of q n of both sdes of (46, we see that des (47 {t+,k} (π 2 m a ( m a a m 0 a0 b0 π [k] n x ( a b ( (k ta n b for all n However, f we replace x 2 by z + n (43, we see that the polynomal (z + des {t+,,k} (π π [k] n has the Laurent expanson m m 0 a0 b0 a ( m a a ( a b ( (k ta n b t b (z n m t b (x 2 n m

11 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS It follows that t must be the case that m a ( m a a so that (48 A k n 0 m n+ a0 b0 q n n m m0 a0 b0 ( a b a ( m a a ( (k ta n b ( a b ( (k ta n b t b (z n m 0, t b (x n m Thus f we take the coeffcent of x s 2 on both sdes of (48 and we use the remark n the ntroducton that des {t+,,k} (w rs [k t] (w for all w [k] n, then we have the followng result Theorem 42 If t k, then the number of words w [k] n such that des {t+,,k} (w s ( rs [k t] (w s s equal to n m a ( ( ( ( m a (k ta n m (49 ( n a s t b a b n b s m0 a0 b0 We end ths secton by showng that we can derve some non-trval bnomal denttes from Theorem 4 and 42 For example, n the specal case of Theorem 42 where t k, we can count the number of words w [k] n such that des {k} (w s drectly We can classfy the words n [k] n by how many k s occur n the word That s, for those words w [k] n whch have n r occurrences of k, we can form a word such that des {k} (w s by frst pckng a word u [k ] r Next we nsert a k drectly n front of s dfferent letters n u n ( r s ways Fnally we can place the remanng n r s k s ether n a block wth one of the k s that start a descent or at the end of u The number ways to place the remanng k s s the number non-negatve nteger valued solutons to x + + x s+ n r s or, equvalently, the number of postve nteger valued solutons to y + + y s+ n r + whch s clearly ( n r s Note that to have s such descents, we must have r s and n r s or, equvalently, s r n s It follows that the number of words w [k] n such that des {k} (w s equals (40 n s ( ( r n r (k r s s Usng (49 wth t k, we see that (40 equals n m a ( ( ( a a n m ( n a s a b n b s m0 a0 b0 n n m ( ( ( a a n m (4 (k b ( n a s a b n b s b0 rs m0 ab (k b However, n (4, we must have n m s or, equvalently, n s m Snce m a b, we must have b s snce otherwse the bnomal coeffcent ( a n b wll equal 0 Thus (40 equals (42 n s n s m (k b ( n a s a bs mb ab ( a b ( a n b ( n m s

12 2 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS Snce (40 and (42 hold for all k, t follows that (43 n s ( ( n s r n r x r s s rs bs x b n m0 ab Thus we have proved that the followng dentty holds (44 ( ( r n r s s n s mr ar m ( n a s a m ( n a s a ( ( a a b n b ( ( a a r n r ( n m ( n m Next consder the specal case of Theorem 4 where t 2 Suppose we want to count the number of π [k] n where des [2] (w s We can classfy such words accordng to number a of s and the number b of 2 s that appear n the word Clearly snce the only descents that we can count are cases where there s a 2 followed by a, we must have a, b s We clam that we can count such words as follows Frst we pck word w of length n a b made up of letters from {3,,k} n (k 2 n a b ways Then to create the s 2 descents, we magne nsertng letters of the form 2 nto w to get a word u of length n a b + s over the alphabet {2, 3,,k} Ths can be done n ( n a b+s s ways For each such u, we frst nsert the remanng a s s to get word v of length n a b+s+a s n b over the alphabet {, 2, 3,,k} Snce we can nsert the s n front of any of the letters of u over the the alphabet {2, 3,,k} or at the end, the number of ways to nsert the remanng s s the number of nonnegatve nteger solutons to x + + x n a b+s+ a s whch s ( n b a s Fnally, we have to nsert the remanng b s 2 s In ths case, snce we can nsert the 2 s nto v n front of any letter whch s not a or at the end, the number of ways to nsert the remanng 2 s s the number of nonnegatve nteger solutons to x + +x n a b+s+ b s whch s ( n a b s Thus t follows that the number of words π [k] n such that des [2] (w s s (45 a,b s a+b n (k 2 n a b ( n a b + s s ( ( n b n a a s b s On the other hand, from Theorem 4, we see that the number of words π [k] n such that des [2] (w s s (46 n m m a ( m a ( n a b s a b m0 a0 b0 ( 2a n b Snce (45 and (46 hold for all k, t must be the case that ( ( ( n a b + s n b n a x n a b s a s b s (47 a,b s a+b n n m m a ( m a ( n a b s a b m0 a0 b0 Takng the coeffcent of x r on both sdes yelds the followng dentty (48 n s ( ( r + s a + r s a s as ( n a n a r s ( n m s ( 2a n b s s (k 2 b ( n m n m r ( m a ( n a r s a r m0 a0 s x b ( 2a n r ( n m s

13 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 3 5 Classfyng descents and rses by ther equvalence classes mod s for s 2 In ths secton we study the set partton N N N 2 N s where s > 2 and N {j j mod s} for,,s In ths case, we shall denote N sn + for,,s and N s sn Recall that we can rewrte (27 as (5 A k + k j λ j k j+ µ k j ν j k j+ µ where λ j qj( yj q j(z j y j, µ q(z x q (z y, and ν j q jy j q j(z j y j We let A (s k denote A k under the substtuton that λ s+j λ j, µ s+j µ j, and ν s+j ν j for all and j,,s Then t s easy to see that for k, ( s + A (s j λ ( j j+ µ k r0 (µ µ 2 µ s r sk ( s j ν ( j j+ µ k r0 (µ µ 2 µ s r ( s + j λ ( j j+ µ (µµ 2 µ s k (µ µ 2 µ s ( s j ν ( j j+ µ (µµ 2 µ s k More generally, we can express A (s k n the form (µ µ 2 µ s A (s k Θ(λ,,λ k, µ,,µ k Θ( ν,, ν k, µ,,µ k where (52 k Θ(λ,, λ k, µ,, µ k + Then for t < s, we have that j λ j k j+ (53 Θ(λ,, λ k, µ,,µ k t t k t+ + ( µ ( (µ µ 2 µ s r + (µ µ 2 µ t ( + ( j t j λ j λ j Hence, for t s, A (s sk+t (54 + ( t j+ t j+ µ r0 j λ j t j+ µ ( t j ν j t j+ µ ( (µ µ 2 µ s k+ (µ µ 2 µ s ( (µµ 2 µ s k+ (µ µ 2 µ s ( (µµ 2 µ s k+ (µ µ 2 µ s µ j λ j ( k (µ µ 2 µ s r r0 s j+ t+ + (µ µ 2 µ t ( j λ j k µ ( (µ µ 2 µ s r s j+ r0 µ + (µ µ 2 µ t ( t+ j λ s j j+ µ (µ µ 2 µ t ( t+ j ν s j j+ µ ( (µ µ 2 µ s k (µ µ 2 µ s ( (µµ 2 µ s k (µ µ 2 µ s ( (µµ 2 µ s k (µ µ 2 µ s

14 4 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 5 The case where k s equal to 0 mod s Frst we shall consder formulas for the number of words n [sk] n wth p descents whose frst element s equvalent to r mod s where r s Note that f we consder the complement map comp sk : [sk] n [sk] n gven by comp(π π n (sk + π (sk + π n, then t s easy to see that des sn+r (π rs sn+s+ r (comp sk (π for r,,s Thus the problem of countng the number of words n [sk] n wth p descents whose frst element s equvalent to r mod s s the same as countng the number of words n [sk] n wth p rses whose frst element s equvalent to s + r mod s Now consder the case where z y and q q for,,s and x for r In ths case, A (s sk q n des sn+r (π r n 0 π [sk] n x Substtutng nto our formulas for A (s sk, we see that n ths case λ 0 and ν q for,,s and µ for r and µ r + q(x r Thus under ths substtuton, (52 becomes (55 A (s sk ((r qµ r + (s r + q µk r q(x r (x (s + (s q(x r r (µ k r j0 j0 j0 (x r j (s + (r q(x r j µ k r j (x r j (x r j j, 20 j, 20 ( ( j s j (r q (x r j2 ( j 2 µ k2 r ( ( ( j k2 ( k2 s j (r q (x r ( q j2 j 2 t (x r t t Takng the coeffcent of q n n (55, we see that n t + so that (56 A (s sk j ( ( ( j j q n k2 ( j 2 s j (r (x r n j n 0 j0 2 n, 20 Thus we must have (57 x des sn+r (π r π [sk] n j j0, 20 t0 ( ( ( j j k2 ( j 2 s j (r (x r n j 2 n for all n However, f we replace x r by z + n (57, we see that the polynomal (z + des sn+r(π π [sk] n has the Laurent expanson j j0, 20 ( ( ( j j k2 ( j 2 s j (r (z n j 2 n

15 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 5 It follows that t must be the case that so that j jn+, 20 (58 A (s sk n q n n 0 j0 ( ( ( j j k2 ( j 2 s j (s (z n j 0 2 n j, 20 ( ( ( j j k2 ( j 2 s j (s (x r n j 2 n Thus we have the followng theorem by takng the coeffcent of x p r on both sdes of (58 Theorem 5 The number of words π [sk] n wth des sn+r (π p ( rs sn+s+ r (π p s (59 n j j0, 20 ( ( ( ( j j k2 n j ( n+p+2 s j (s 2 n p In the case s 2, our formulas smplfy somewhat For example, puttng s 2 and r 2 n Theorem 5, we obtan the followng Corollary 52 The number of n-letter words π on [2k] havng des E (π p (resp rs O (π p s gven by n j j0, 20 ( ( ( ( j j k2 n j ( n+p+2 2 j 2 n p Smlarly, puttng s 2 and r n Theorem 5, we obtan the followng Corollary 53 The number of n-letter words π on [2k] havng des O (π p (resp rs E (π p s gven by n j0 0 j ( j ( n+p+ 2 j ( n ( n j p 52 The cases where k s equal to t mod s for t,,s Fx t where t s Frst we shall consder formulas for the number of words n [sk +t] n wth p descents whose frst element s equvalent to r mod s where r s We shall see that we have to dvde ths problem nto two cases dependng on whether r t or r > t Note that f we consder the complement map comp sk+t : [sk + t] n [sk + t] n gven by comp(π π n (sk + t + π (sk + t + π n, then t s easy to see that des sn+r (π rs sn+t+ r (comp sk (π for r,,t and des sn+r (π rs sn+s+r t (comp sk (π for r t +,,s Frst consder the case where y z for,,s and x for r where r > t In ths case, A (s sk+t n 0 q n x des sn+r (π r π [sk+t] n

16 6 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS Substtutng nto our formulas for A (s sk+t, we see that n ths case λ 0 and ν q for,,s and µ for r and µ r + q(x r Thus under ths substtuton, (52 becomes (50 A (s sk+t qt µk+ r q(x ((r tqµ r r + (s r + q µk r q(x r (x [tµ r r k+ + (s t + (r tq(x r (µ k r ] (x r [µk r[s + (r q(x r ] [s + (r tq(x r ]] (x r m [µk r [s + (r q(x r ] [s + (r tq(x r ]] m m0 Usng the expansons m m0 j0 ( (x r m (s + (r tq(x r (s + (r q(x r j ( m (s + (r tq(x r (s + (r q(x r j µ kj r j µ kj r 0 j s (r t q (x r, j ( j s j 2 (r 2 q 2 (x r 2, and 20 kj 30 2 ( kj and settng n, we see that (50 becomes (5 A (s sk+t n 0 q n m Thus we must have des sn+r (π (52 r π [sk t] n x m q 3 (x r 3, j ( ( ( ( m m j j ( kj s m 2 (r t (r 2 (x r n m j 2 n 2 j ( ( ( ( m m j j ( kj s m 2 (r t (r 2 (x r n m j 2 n 2 for all n However, f we replace x r by z + n (52, we that the polynomal π [sk+t] n (z + des sn+r (π

17 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 7 has the Laurent expanson m j ( ( ( ( m m j j ( kj s m 2 (r t (r 2 (z n m j 2 n 2 It follows that t must be the case that mn so that j ( ( ( ( m m j j ( m kj js m 2 (r t (r 2 (x r n m 0 j 2 n 2 (53 A (s sk+t n m j ( ( ( ( m m j j ( kj s m 2 (r t (r 2 (x r n m j 2 n 2 Thus we have the followng theorem by takng the coeffcent of x p r on both sdes of (53 Theorem 54 If t,,s and t < r s, then the number of words π [sk+t] n wth des sn+r (π p ( rs sn+s+r t (π p s (54 n m j ( ( ( ( ( m m j j ( n+p+j kj n m s m 2 (r t (r 2 j 2 n 2 p In the case s 2, our formulas smplfy somewhat For example, puttng s 2, r 2 and t n Theorem 54, we obtan the followng Corollary 55 The number of n-letter words π over [2k + ] havng des E (π p (resp gven by rs E (π p s n m m0 j0 0 j ( n+p+j 2 m j ( ( j kj n ( n m p Next consder the case where y z for,,s and x for r where r t In ths case, A (s sk+t n 0 q n x des sn+r (π r π [sk+t] n

18 8 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS Substtutng nto our formulas for A (s sk+t, we see that n ths case λ 0 and ν q for,,s and µ for r and µ r + q(x r Thus under ths substtuton, (52 becomes (55 A (s sk+t ((r qµ r + q(t r + µk+ r q(x (s tqµ r r µk r q(x r (x [(t + (r q(x r r (µ k+ r + (s tµ r (µ k r ] (x r [µk+ r [s + (r q(x r ] [s + (s t + r q(x r ]] (x r m [µk+ r [s + (r q(x r ] [s + (s t + r q(x r ]] m m0 m m0 j0 Usng the expansons ( (x r m (s + (s t + r q(x r ( m (s + (s t + r q(x r (s + (r q(x r j µ kj+j r j (s + (r µ j r µ kj+j r 0 j s (s t + r q (x r, j ( j s j 2 (r 2 q 2 (x r 2, and 20 kj+j 30 and settng n, we see that (55 becomes (56 A (s sk+t q n n 0 m Thus we must have (57 x des sn+r (π r π [sk t] n m ( kj + j 3 q 3 (x r 3, j ( ( ( ( m m j j kj + j ( s m 2 (s t + r (r 2 (x r n m j 2 n 2 j ( ( ( ( m m j j kj + j ( s m 2 (s t + r (r 2 (x r n m j 2 n 2 for all n However, f we replace x r by z + n (57, we that the polynomal π [sk+t] n (z + des sn+r (π

19 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS 9 has the Laurent expanson j ( ( ( ( m m j j kj + j ( m js m 2 (s t + r (r 2 (z n m j 2 n 2 m It follows that t must be the case that j ( ( ( ( m m j j kj + j ( s m 2 (s t + r (r 2 (x r n m 0 j 2 n 2 mn so that (58 A (s sk+t m j ( ( ( ( m m j j kj + j ( s m 2 (s t + r (r 2 (x r n m j 2 n 2 Thus we have the followng theorem by takng the coeffcent of x p r on both sdes of (53 Theorem 56 If k 0, s 2, t,,s, and t < r s, then the number of words π [sk + t] n wth des sn+r (π p ( rs sn+s+r t (π p s j ( ( ( ( ( m m j j kj + j n m (59 ( n+p+j s m 2 (s t + r (r 2 j 2 n 2 p m In the case s 2, our formulas smplfy somewhat For example, puttng s 2, r and t n Theorem 54, we obtan the followng Corollary 57 The number of n-letter words π over [2k + ] havng des O (π p (resp rs O (π p s gven by n m kj+j ( ( ( ( m m j jk + j n m ( n+p+j 2 m n+ j n p m0 j0 0 6 Concludng remarks A partcular case of the results obtaned by Bursten and Mansour n [4] s the dstrbuton of descents (resp levels, rses, whch can be vewed as occurrences of so called generalzed patterns 2 (resp, 2 n words To get these dstrbutons from our results, we proceed as follows (we explan only the case of descents; rses and levels can be consdered smlarly Set x x 2 x, y y 2 z z 2, and q q 2 q n A (2 2k and A (2 2k+ to get the dstrbuton n [4, Theorem 22] for l 2 (the case of descents/rses Thus, our results refne and generalze the known dstrbutons of descents, levels, and rses n words It s nterestng to compare our formulas wth formulas of Hall and Remmel [7] For example, suppose that X E and Y N and ρ (ρ,, ρ 2k s a composton of n Then Theorem tells that the number of words π of [2k] n such that des E (π p s ( p ( ( a a + r n + k ( (6 ( p r ρ2 + r + (ρ 2+ + ρ ρ 2k, ρ 2, ρ 4,,ρ 2k r p r r0 ρ 2

20 20 COUNTING DESCENTS, RISES, AND LEVELS, WITH PRESCRIBED FIRST ELEMENT, IN WORDS where a ρ 2 + ρ ρ 2k Ths shows that once we are gven the dstrbuton of the letters for words n [2k] n, we can fnd an expresson for the number of words π such that des E (π p wth a sngle alternatng sum of products of bnomal coeffcents Ths contrasts wth Corollary 52 where we requre a trple alternatng sum of products of bnomal coeffcents to get an expresson for the number of words of [2k] n such that des E (π p Of course, we can get a smlar expressons for the number of words of [2k] n such that des E (π p by summng the formula n (6 over all ( n+k k compostons of n nto k parts but that has the dsadvantage of havng the outsde sum have a large range as n and k get large Nevertheless, we note that for (6 there can be gven a drect combnatoral proof va a sgn-reversng nvoluton so that t does not requre any use of recursons It s therefore natural to ask whether one can fnd smlar proofs for our formulas n sectons 3 and 4 There are several ways n whch one could extend our research For example, one can study our refned statstcs ( Des X (π, Rs X (π, Lev X (π on the set of all words avodng a fxed pattern or a set of patterns (see [, 2, 3, 4] for defntons of patterns n words and results on them More generally, nstead of consderng the set of all words, one can consder a subset of t defned n some way, and then to study the refned statstcs on the subset Also, nstead of consderng refned descents, levels, and rses (patterns of length 2, one can consder patterns of length 3 and more n whch the equvalence class of the frst letter s fxed, or, more generally, n whch the equvalence classes of more than one letter (possbly all letters are fxed Once such a pattern (or set of patterns s gven, the questons on avodance (or the dstrbuton of occurrences of the pattern n words over [k] can be rased References [] A Bursten: Enumeraton of words wth forbdden patterns, PhD thess, Unversty of Pennsylvana, 998 [2] A Bursten and T Mansour: Words restrcted by patterns wth at most 2 dstnct letters, Electron J Combn 9, no 2, #R3 (2002 [3] A Bursten and T Mansour: Words restrcted by 3-letter generalzed multpermutaton patterns, Ann Combn 7 (2003, 4 [4] A Bursten and T Mansour, Countng occurrences of some subword patterns, Dscr Math Theor Comp Sc 6 (2003, [5] L Comtet, Advanced Combnatorcs, D Redel Publshng Co, Dordrecht, 974 [6] J Hall, J Lese, and J Remmel, q-analogues of formulas countng descent pars wth prescrbed tops and bottoms, n preparaton [7] J Hall and J Remmel, Countng descent pars woth prescrbed tops and bottoms, preprnt CO/ [8] S Ktaev and J Remmel, Classfyng descents accordng to party, Ann Combn, to appear 2007 [9] S Ktaev and J Remmel, Classfyng Descents Accordng to Equvalence mod k, Elect J Combn 3( (2006, #R64 [0] J Lese, Classfyng ascents and descents wth specfed equvalences mod k, Proceedngs of 8-th Internatonal Conference on Formal Power Seres and Algebra Combnatorcs, San Dego, CA (2006 [] J Lese and J Remmel, q-analogues of formulas f or the number of ascents and descents wth specfed equvalences mod K, Permutaton Patterns Conference, 2006 [2] P A MacMahon, Combnatory Analyss, Vol and 2, Cambrdge Unv Press, Cambrdge, 95 (reprnted by Chelsea, New York, 955