arxiv: v1 [math.co] 4 May 2012

Transcription

1 DESCENT POLYNOMIALS FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B arxv: v1 [math.co] 4 May 2012 MATTHEW HYATT Abstract. Motvated by the work of Chung, Claesson, Dukes, and Graham n [5], we defne a natural type B analog of the classc bubble sort, and use t to defne a type B analog of the maxmum drop statstc. We enumerate (by explct, recursve, and generatng functon formulas sgned permutatons wth r type B descents and type B maxmum drop at most k. We also fnd a connecton between these sgned permutatons and certan 2-colored jugglng sequences. Contents 1. Introducton 1 2. The type B maxdrop statstc 7 3. Type B maxdrop-restrcted descent polynomals 9 4. Jugglng sequences Acknowledgments 19 References Introducton Let S n denote the group of permutatons on the set [n] := {1,2,...,n}. An adjacent transposton τ S n, s the permutaton (, + 1 wrtten n cycle notaton. Gven any permutaton π S n wrtten n one-lne notaton,.e. π = π(1,π(2,...,π(n, multplyng π by τ on the rght has the effect of swtchng π( and π(+1. For example f π = 3,4,1,5,2, then πτ 2 = 3,1,4,5,2. Any permutaton can be expressed as a product of adjacent transpostons, so the set {τ 1,τ 2,...,τ n 1 } generates S n. Moreover, S n s a Coxeter group and s also called the type A Coxeter group (see also [2]. Gven π S n, f π = τ 1 τ 2 τ k and k s mnmal among all such expressons, then k s called the Coxeter length of π and we wrte l(π = k. Date: May 3, Key words and phrases. Type B Coxeter group, Sgned permutatons, Bubble sort, Permutaton statstcs, Descent number, Maxmum drop, Euleran polynomals, Jugglng sequences. 1

2 2 M. HYATT The (rght descent set of π S n, denoted DES A (π, s defned by DES A (π := { [n 1] : l(πτ < l(π}. It s well known that the descent set s also gven by DES A (π = { [n 1] : π( > π(+1}. The type A descent number of a permutaton π S n, denoted des A (π, s the cardnalty of the descent set of π,.e. (1 des A (π := { [n 1] : π( > π(+1}. For example f π = 4,1,3,5,2, then DES A (π = {1,4}, and des A (π = 2. Theclassc bubblesort, whchwewlldenoteby bubble A, can bedescrbed completely n terms of generators (adjacent transpostons and descents. Bascally, one reads a permutaton from left to rght, and apples an adjacent transposton at each step where there s a descent. More precsely, for [n 1] defne a map s : S n S n by s (π = πτ f DES A (π, and s (π = π otherwse. Then (2 bubble A (π = s n 1 s n 2 s 1 (π For example f π = 3,1,4,5,2 then we can fnd bubble A (π n 4 steps Step 1 3,1,4,5,2 1,3,4,5,2 Step 2 1,3,4,5,2 1,3,4,5,2 Step 3 1,3,4,5,2 1,3,4,5,2 Step 4 1,3,4,5,2 1,3,4,2,5 thus bubble A (π = 1,3,4,2,5. There s a natural way to extend ths sortng algorthm to other Coxeter groups, n partcular the type B Coxeter group (see also [1], [8], [10]. We use the conventon that the type B Coxeter group B n conssts of sgned permutatons (see also [2]. A sgned permutaton π s a bjecton on the ntegers [ n,n], wth the condton that π( = π(. Ths forces π(0 = 0, so π s determned by ts mage on [n], and we wrte sgned permutatons n one-lne notaton as π = π(1,π(2,...,π(n. Gven π B n, we use π to denote the permutaton π := π(1, π(2,..., π(n. Note that π S n, and S n s a subgroup of B n. To realze B n as a Coxeter group, we need a generatng set. Let τ 0 denote the sgned permutaton τ 0 := 1,2,3,...,n. Gven any π B n, πτ 0 s obtaned from π by smply changng the sgn of π(1. Then B n s generated by the set {τ 0,τ 1,...,τ n 1 }, where each τ for [n 1] s the adjacent transposton as defned above n the type A case. Defne the Coxeter length n the same way as above, whch one uses to defne the (rght descent set of π B n, denoted DES B (π, by DES B (π := { [0,n 1] : l(πτ < l(π}.

3 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 3 And t turns out that DES B (π = { [0,n 1] : π( > π(+1}, recallng that π(0 = 0. The type B descent number of π B n, denoted des B (π, s the cardnalty of the descent set of π,.e. (3 des B (π := { [0,n 1] : π( > π(+1}. For example f π = 3,4, 1, 5,2, then DES B (π = {0,2,3}, and des B (π = 3. Snce the defnton of the classc bubble sort, bubble A, was gven n terms of generators and descents, one can extend the defnton n a very natural way to other Coxeter groups. Ths paper treats the case of extendng the defnton to the type B Coxeter group. Defnton 1.1. For [0,n 1] defne a map s : B n B n by s (π = πτ f DES B (π, and s (π = π otherwse. We defne the type B bubble sort, denoted bubble B, by (4 bubble B (π = s n 1 s n 2 s 0 (π. As before, one can thnk of ths as readng a sgned permutaton from left to rght, and applyng a generator at each step where there s a descent. For example f π = 3,1,4, 5,2, then we fnd bubble B (π n 5 steps thus bubble B (π = 1,3, 5,2,4. Step 0 3,1,4, 5,2 3,1,4, 5,2 Step 1 3,1,4, 5,2 1,3,4, 5,2 Step 2 1,3,4, 5,2 1,3,4, 5,2 Step 3 1,3,4, 5,2 1,3, 5,4,2 Step 4 1,3, 5,4,2 1,3, 5,2,4 Remark 1.2. Note that we can extend ths defnton n the obvous way to words π over Z, provded that π s a permutaton on some subset of postve ntegers. By successvely applyng bubble A to a permutaton, or bubble B to a sgned permutaton, one eventually obtans the dentty permutaton d. Defne the type A bubble sort complexty of π S n by (5 bsc A (π := mn{k : bubble A k (π = d}. Defne the type B bubble sort complexty of π B n by (6 bsc B (π := mn{k : bubble B k (π = d}. Gven π S n, one can quckly computetype A bubblesort complexty usng a statstc called the maxmum drop, whch we denote by maxdrop A (π.

4 4 M. HYATT In [5], Chung, Claesson, Dukes, and Graham gve the dstrbuton of descents n S n wth respect to maxmum drop. Much of the work n ths paper s nspred by, and reles on, results from ther work. Defne (7 maxdrop A (π := max{ π( : 1 n}. By nducton, one can prove that for all π S n we have (8 bsc A (π = maxdrop A (π. Our motvaton s to fnd a type B analog of the maxmum drop statstc. Defnton 1.3. For π B n, we say π has a drop at poston f π( <. If π has a drop at poston, then we say the drop sze at poston s mn{ π(,}. The type B maxmum drop of π, denoted maxdrop B (π, s the maxmum of all drop szes occurng n π. In other words { } maxdrop B (π := max max{ π( : π( > 0},max{ : π( < 0}. For example maxdrop B ( 3,4, 1, 5,2 = 4 snce there s a drop of sze 4 at poston 4. Note there are drops of sze 3 at postons 3 and 5, and a drop of sze 1 at poston 1. In Proposton 2.3, weshow that typebmaxmum drophas theanalogous property to (8, that s for all π B n we have (9 bsc B (π = maxdrop B (π. Snce our work s motvated by the results appearng n [5], we state some of ther results below. Frst defne and A n,k := {π S n : maxdrop A (π k}, a n,k (r := {π A n,k : des(π = r}, then defne a k-maxdrop A -restrcted descent polynomal A n,k (x := x desa(π = a n,k (rx r. π A n,k r 0 Note that for k n 1, A n,k = S n and A n,k (x becomes the type A Euleran polynomal, denoted A n (x, defned by A n (x = n 1 x desa(π n = x k k. π S n k=0 n The coeffcent s called an Euleran number. It s the number of k permutaton n S n wth exactly k descents, and s gven explctly by n k ( n+1 = ( 1 k (k+1 n. =0

5 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 5 The k-maxdrop A -restrcted descent polynomals A n,k satsfy the followng recurrence, whch s equvalent to a generatng functon formula. Theorem 1.4 ([5, Theorem 1]. For n 0, k+1 ( k+1 A n+k+1,k (x = (x 1 1 A n+k+1,k (x, n 0 =1 wth ntal condtons A,k (x = A (x for 0 k. Consequently, 1+ ( k A n,k (xz n t=1 A t (x t ( k+1 =1 (x 1 1 A t (x z t = 1 k+1. =1 z (x 1 1 ( k+1 The followng theorem gves an explct formula for a n,k (r. Theorem 1.5 ([5, Theorem 2]. We have A n,k (x = d β k((k + 1dx d, where ( 1 u β k (ju j k+1 n k = P k (u, 1 u wth j P k (u = k k ( A k j (u k+1 (u k+1 1 j u. j j=0 In other words, the coeffcents a n,k (r of the polynomal A n,k (x, have the remarkable property that they are gven by every (k+1 st coeffcent n the polynomal P k (u(1+u+u 2 + +u k n k. For example settng n = 4 and k = 2 we have P 2 (u(1+u+u = (1+u+2u 2 +u 3 +u 4 (1+u+u 2 2 = 1+3u+7u 2 +10u 3 +12u 4 +10u 5 +7u 6 +3u 7 +u 8. So the coeffcents of A 4,2 (x are gven by every thrd coeffcent n the above polynomal, that s A 4,2 (x = 1+10x+7x 2. We provde analogous enumeratons for sgned permutatons n B n wth r descents and maxmum drop sze less than or equal to k. Frst we defne and =j B n,k := {π B n : maxdrop B (π k}, b n,k (r := {π B n,k : des B (π = r}, then defne a k-maxdrop B -restrcted descent polynomal B n,k (x := x desb(π = b n,k (rx r. π B n,k r 0

6 6 M. HYATT Note that for k n, B n,k = B n and B n,k (x becomes the type B Euleran polynomal, denoted B n (x, defned by B n (x = n 1 x desb(π n = x k k. π B n k=0 B n The coeffcent s called a type B Euleran number. It s the number k B of sgned permutatons n B n wth exactly k type B descents, and s gven explctly by n k ( n+1 = ( 1 k (2k +1 2 n. B =0 It turns out that the k-maxdrop B -restrcted descent polynomals B n,k (x, satsfy the same recurrence as ther type A counterparts (compare wth Theorem 1.4. Theorem 1.6. For n 0, k+1 ( k+1 B n+k+1,k (x = (x 1 1 B n+k+1,k (x, n 0 =1 wth ntal condtons B,k (x = B (x for 0 k. Consequently, 1+ ( k B n,k (xz n t=1 B t (x t ( k+1 =1 (x 1 1 B t (x z t = 1 k+1. =1 z (x 1 1 ( k+1 Smlar to the polynomal P k (u defned above (see Theorem 1.5, we defne k k ( Q k (u = B k j (u k+1 (u k+1 1 j u. j j=0 It also turns out that the coeffcents b n,k (r of the polynomal B n,k (x, have the analogous remarkable property that they are gven by every (k + 1 st coeffcent n the expresson =j Q k (u(1+u+u 2 + +u k n k. For example settng n = 4 and k = 2 we have Q 2 (u(1+u+u = (1+4u+6u 2 +6u 3 +4u 4 +2u 5 +u 6 (1+u+u 2 2 = 1+6u+17u 2 +32u 3 +43u 4 +44u 5 +35u 6 +22u 7 +11u 8 +4u 9 +u 10. The coeffcents of B 4,2 (x are n fact gven by every thrd coeffcent above, that s B 4,2 (x = 1+32x+35x 2 +4x 3. We state ths precsely ths n the followng theorem.

7 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 7 Theorem 1.7. We have B n,k (x = d γ k((k +1dx d, where ( 1 u γ k (ju j k+1 n k = Q k (u, 1 u wth j Q k (u = k k ( B k j (u k+1 (u k+1 1 j u. j j=0 Whle our work here s motvated by the work of Chung, Claesson, Dukes, and Graham n [5], that paper was motvated by ts connecton to a paper of Chung and Graham [6] that deals wth jugglng sequences. We explan ths connecton n secton 4, and show how our work can also be nterpreted n terms of certan jugglng sequences. =j 2. The type B maxdrop statstc We ntroduced the type B maxdrop statstc n Defnton 1.3, and clamed that t s equal toourtypebbubblesort complexty (see (9. Hereweprove ths clam. The frst step s to derve an alternate descrpton of the type B bubble sort. Defnton 2.1. Gven any sgned permutaton π = π(1,π(2,...,π(n, let σ := π(1,π(2,π(3,...,π(n B n. There exsts a unque ndex j such that σ(j σ( for [n]. Splt π nto blocks L and R to the left and rght of π(j,.e. π = Lπ(jR. Defne an operator O whch acts recursvely by where O( =. O(Lπ(jR = O(LR π(j, Proposton 2.2. For any sgned permutaton π, we have O(π = bubble B (π. Consequently, f π = Lπ(jR as n Defnton 2.1, then (10 bubble B (Lπ(jR = bubble B (LR π(j. Proof. Let π B n, and nduct on n. The base case s obvous. Now let n 2 and assume O(α = bubble B (α whenever α s a word over Z wth length less than n (assume α s a permutaton on some subset of postve ntegers, see also Remark 1.2. Let π B n and let π = Lπ(jR as n Defnton 2.1. Then If j = 1, then L = and O(π = O(LR π(j = bubble B (LR π(j. bubble B (π = bubble B (π(1r = R π(1 = O(π. Ths s because bubble B wll make π(1 postve (f ts not already n the 0 th step. Then π(1 > π( for 2 n and each successve step n bubble B wll apply an adjacent transposton, movng π(1 to the last poston.

8 8 M. HYATT If j > 1, then π(j must be postve, and t s also the largest letter n π. Also, L wll be a word of length less than n. It s clear then that bubble B (π = bubble B (Lπ(jR = bubble B (LR π(j = O(LR π(j = O(π. Next we use ths alternate descrpton of bubble B to show that maxdrop B has the desred property of beng equal to bsc B. Proposton 2.3. For all sgned permutatons π other than d we have (11 maxdrop B (bubble B (π = maxdrop B (π 1. For all sgned permutatons π we have (12 maxdrop B (π = bsc B (π. Proof. Frstnotethat(12follows easly from(11, sncedstheonlysgned permutaton whose type B maxmum drop s equal to zero. To prove (11, nduct on the length of π. The base case n = 1 s trval. Now assume π B n and (13 maxdrop B (bubble B (σ = maxdrop B (σ 1 for all sgned permutatons σ of length less than n. As n Proposton 2.2, let bubble B (π = bubble B (Lπ(jR = bubble B (LR π(j. Frst we show that maxdrop B (bubble B (π maxdrop B (π 1. Usng (13 on bubble B (L and the fact that R has been shfted to the left, we see that the largest drop sze of bubble B (π among letters from L or R, s exactly one less than the largest drop sze of π among letters from L or R. It remans to check that the drop sze at poston n n bubble B (π s no bgger than maxdrop B (π 1. Indeed, the descrpton of bubble B gven n Proposton 2.2 mples that the n π(j letters n π whch have absolute value larger that π(j, must be negatve and cannot appear n poston 1. We obtan a lower bound on maxdrop B (π by assumng these negatve letters must occur as far to the left as possble n π, so (14 maxdrop B (π n π(j +1. But the drop sze at poston n n bubble B (π s precsely n π(j, whch s less than or equal to maxdrop B (π 1 as desred. Next we show that maxdrop B (bubble B (π maxdrop B (π 1. If the maxmum drop sze of π does not occur at poston j, then the maxmum drop sze s contrbuted by a letter from L or R. Agan usng (13 on bubble B (L and the fact that R has been shfted to the left, ths mples maxdrop B (bubble B (π = maxdrop B (π 1. If π does have a maxmum drop sze at poston j, then we clam that maxdrop B (π = 1, n whch case we are done. Indeed suppose π has a drop of maxmum sze at poston j and 2 j n. Then π(j = π(j and maxdrop B (π = j π(j.

9 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 9 But then we have a contradcton snce maxdrop B (π = j π j n π(j < maxdrop B (π, where the last nequalty follows from (14. On the other hand, f j = 1 and π has a maxmum drop at poston j, then maxdrop B (π = Type B maxdrop-restrcted descent polynomals In ths secton we provde the proofs of Theorem 1.6 and Theorem 1.7. In partcular, we prove Theorem 1.6 by modfyng the proof of Theorem 1.4 found n [5]. We then explan how Theorem 1.7 s a consequence of Theorem 1.6 and Theorem 1.5 from [5]. Suppose we have a fnte set C = {c 1,c 2,...,c n } N wth c 1 < c 2 < < c n, and a permutaton π on C. The standardzaton of π, denoted st(π, s the permutaton n S n obtaned from π by replacng c wth. For example st(4,5,2,9,7 = 2,3,1,5,4. We wll call π a sgned permutaton on the set C, f π s a word over Z and π s permutaton on C. We defne the sgned standardzaton of a sgned permutaton, denoted sst(π, by { st( π ( f π( > 0 sst(π( = st( π ( f π( < 0 Inotherwords,sst(πsthestandardzatonof π = π(1, π(2,..., π(n, but then put the mnus sgns back n the same postons. For example sst( 5,4, 2,9,7 = 3,2, 1,5,4. If the set C s fxed, then the nverse, s well-defned. For example f C = {2,4,5,7,9} and π = 3,2, 1,5,4, then sst 1 C (π = 5,4, 2,9,7. If we use (3 to defne the type B descent set for any word over Z, then t s clear that sst and sst 1 C preservetype Bdescent set. For example DES B ( 5,4, 2,9,7 = {0,2,4} = DES B ( 3,2, 1,5,4. For any S [0,n 1], defne of sst, denoted sst 1 C B n,k (S := {π B n,k : DES B (π S}, t n (S := max{ N : [n,n 1] S}, wth t n (S = 0 f n 1 / S. Gven any π B n,k (S where k < n, defne a map f by (15 f(π = (α,x, where α = sst(π(1,π(2,...,π(n 1, X = {π(n,π(n +1,...,π(n} wth = t n (S. Note that snce k < n, π(n must be postve. Moreover, snce [n,n 1] S DES B (π, we know that X s a set of postve ntegers. For example, let S = {0,2,6,7} and choose π = 6,2, 1, 3,8,7,5,4 B 8,5 (S. Note that DES B (π = {0,2,3,5,6,7} S, and maxdrop B (π = 4 k = 5. Snce = t 8 (S = 2, we have f(π = (α,x where α = sst( 6,2, 1, 3,8 = 4,2, 1, 3,5 and X = {4,5,7}.

10 10 M. HYATT Lemma 3.1. For 0 k n 1 we have ( [n k,n] f : B n,k (S B n 1,k (S [0,n 2]. +1 where = t n (S, and ( X m denotes the set of m-element subsets of X. Proof. Let π B n,k (S, and let f(π = (α,x. Let = t n (S, thus [n,n 1] DES B (π, and π(n > π(n +1 > > π(n. Snce maxdrop B (π k < n, we must have that π(n s a postve nteger, and π(n n k. Therefore X s an (+1-element subset of [n k,n]. Clearly α B n 1, and we also need to show that maxdrop B (α k. Let j be an ndex such that 1 j n 1. If π(j s negatve, then π has a drop of sze j at poston j. After applyng sgned standardzaton to π, we see that α(j s also negatve, so α has a drop of sze j at poston j. Snce the drop sze s unchanged, t must be less than or equal to k. If0 < π(j < π(n, thenα(j = π(j andaganthedropszesunchanged. If π(j > π(n, then α(j wll be a smaller than π(j, but no smaller than π(n. Snce π B n,k, we have α(j π(n n k. The correspondng drop sze n α must satsfy j α(j n (n k = k. In all three cases, we have maxdrop B (α k. Snce sgned standardzaton preserves type B descent sets, the type B descent set of α stll contans the part of S that s between 0 and n 2,.e. α B n 1,k (S [0,n 2]. Our goal s to show that f s a bjecton. To accomplsh ths, we descrbe the nverse map of f. Let π B n 1,k (T where T [0,n 2]. Let X = {x 1,...,x +1 } be an ( + 1-element subset of [n k,n], where x 1 x 2 x +1. Defne a map g (whch we wll show s the nverse of f by g(π,x = sst 1 C (π (x +1,x,...,x 1 where C = [n]\x, and denotes concatenaton. For example, let T = {2} and let π = 3,1, 4,2,5 B 5,4 (T. Note that maxdrop B (π = 3 k = 4 and DES B (π = {0,2} T. Chose = 2, then 5 = n 1 mples that n = 8, and let X = {4,5,7} [n k,n] = [4,8]. Then C = [n]\x = {1,2,3,6,8}, and g(π,x = sst 1 C ( 3,1, 4,2,5 (7,5,4 = 3,1, 6,2,8,7,5,4 B 8,4 (T [6,7]. Lemma 3.2. For 0 k n 1 we have ( [n k,n] g : B n 1,k (T B n,k (T [n,n 1]. +1

11 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 11 Proof. Let α = g(π,x. Clearly α B n, so next we wll show that maxdrop B (α k. Let j be an ndex such that 1 j n 1. If α(j s negatve, then t must be that π(j s also negatve. Thus the drop sze at poston j of α, s the same as the drop sze at poston j of π, hence less than or equal to k. If α(j > 0, then α(j π(j. If there s a drop at poston j of alpha, then the drop sze satsfes j α(j j π(j k. Now let j be an ndex such that n j n. Snce α(n > α(n + 1 > > α(n, the largest drop occurs at poston n. But α(n [n k,n], so n α(n n (n k = k, and α B n,k. Snce sst 1 C preserves type B descent sets, and snce α(n > α(n + 1 > > α(n, t follows that des B (α (T [n,n 1], hence α B n,k (T [n,n 1] as desred. Lemma 3.3. The map f s a bjecton, and ts nverse s the map g. Proof. Let ( [n k,n] (π,x B n 1,k (T +1 where T [n 2] and X = {x 1 x +1 }. Let α = g(π,x B n,k (T [n,n 1], so α = sst 1 C (π (x +1,x,...,x 1 where C = [n]\x. To fnd f(α, we frst compute t n (T [n,n 1] = max{j N : [n j,n 1] (T [n,n 1]} =. So f(g(π,x = f(α = (sst(sst 1 C (π,{x +1,x,...,x 1 } = (π,x. Now gven π B n,k (S, let f(π = (α,x where (α,x = (sst(π(1,π(2,...,π(n 1,{π(n,π(n +1,...,π(n}, where = t n (S. Snce ths means that [n,n 1] S DES B (π, we know that π(n < π(n 1 < < π(n +1. Thus g(f(π = g(α,x = sst 1 [n]\x (sst(π(1,π(2,...,π(n 1 π(n,π(n +1,...,π(n = (π(1,π(2,...,π(n 1 π(n,π(n +1,...,π(n = π.

12 12 M. HYATT Corollary 3.4. Let b n,k (S := B n,k (S. For 0 k n 1 we have ( k +1 b n,k (S = b n 1,k (S [0,n 2], +1 where = t n (S. Theorem 3.5. For n 0, k+1 ( k +1 B n,k (x = (x 1 j 1 B n j,k (x, j j=1 wth ntal condtons B j,k (x = B j (x (the type B Euleran polynomal for 0 j k. By replacng n by n + k + 1, one obtans the recurrence n Theorem 1.6. Proof. Frst we express B n,k (x+1 n terms of b n,k as follows: B n,k (x+1 = π B n,k (x+1 desb(π = π B n,k = des B (π j=0 π B n,k S DES B (π = S [0,n 1] = S [0,n 1] x S ( desb (π j x S π B n,k (S b n,k (Sx S 1 x j Now take Corollary 3.4, multply both sdes by x S and sum over all S [0,n 1]: B n,k (x+1 = ( k +1 x S b n tn(s 1,k(S [0,n t n (S 2] t n (S+1 S [0,n 1] = ( k+1 x S b n 1,k (S [0,n 2] +1 0 = 0 S [0,n 1] t n(s= ( k+1 +1 x S [0,n 1] t n(s= x S b n 1,k (S [0,n 2] Recall that f t n (S =, then S [n,n 1] and n 1 / S. Therefore eachsuchs canbeexpressedass = T [n,n 1]forsomeT [0,n 2].

13 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 13 Thus B n,k (x+1 = ( k = ( k = ( k+1 1 x T [0,n 2] x B n 1,k (x+1 x 1 B n,k (x+1 x T b n 1,k (T Now we smply replace x by x 1, and note that ( k+1 = 0 for > k+1. The followng corollary also appears n Theorem 1.6. Corollary 3.6. We have B n,k (xz n = n 0 1+ k t=1 ( B t (x t 1 k+1 =1 ( k+1 =1 ( k+1 (x 1 1 B t (x z t z (x 1 1. Proof. Let I = n 0B n,k (xz n, then I = = = = k B n (xz n + n=0 n k+1 k B n (xz n + n=0 n=0 n k+1 =1 B n,k (xz n k+1 ( k+1 (x 1 1 B n,k (xz n k k+1 ( k +1 B n (xz n + (x 1 1 z B n,k (xz n =1 n k+1 k k+1 ( k +1 k B n (xz n + (x 1 1 z I B j (xz j. n=0 =1 j=0 Next we brng the term contanng I over to the left. If we set k+1 ( k+1 D = 1 (x 1 1 z, =1

14 14 M. HYATT then ID = k k+1 ( k +1 k B n (xz n (x 1 1 z B j (xz j n=0 = 1+ = 1+ = 1+ = 1+ =1 j=0 k k+1 k ( k +1 B n (xz n (x 1 1 B j (xz +j n=1 =1 j=0 k k+1 B n (xz n n=1 k B n (xz n n=1 ( k B t (x t=1 =1 t= k t=1 =1 k ( k +1 t ( k +1 t ( k +1 =1 (x 1 1 B t (xz t (x 1 1 B t (xz t (x 1 1 B t (x z t. And now dvde by D. In comparng the recurrence found n our Theorem 1.6 wth the recurrence from Theorem 1.4 from [5], we see that B n,k (x satsfes the same recurrence as A n,k (x, but wth dfferent ntal condtons. In [5], the authors use Theorem 1.4 to obtan an explct formula for A n,k (x (see Theorem 1.5, but after what they descrbe as a ferce battle wth these polynomals. Fortunately for us, a careful check of ther proof of Theorem 1.5 shows that t depends only on the recurrence and the ntal condtons. To be more specfc, we re-state Theorem 1.5 n generalty as the followng Lemma. Lemma 3.7 ([5, Theorem 2]. Fx k N. For 0 k, let {C,k (x} be any collecton of polynomals. For n 0, defne C n+k+1,k (x recursvely by k+1 ( k +1 (16 C n+k+1,k (x := (x 1 1 C n+k+1,k (x. Then =1 C n,k (x = d 0β k ((k +1dx d, where wth ( 1 u β k (ju j k+1 n k = O k (u, 1 u j 0 O k (u = k k ( C k j,k (u k+1 (u k+1 1 j u. j j=0 =j

15 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 15 Proof of Theorem 1.7. From Theorem 1.6, B n,k (x satsfes the recurrence (16 n Lemma 3.7, wth ntal condtons B,k (x = B (x for 0 k. The result follows mmedately from ths. The polynomal P k (u appearng n Theorem 1.5, defned by P k (u = k k ( A k j (u k+1 (u k+1 1 j u, j j=0 has symmetrc and unmodal coeffcents ([5, Theorem 4]. Recall that any sequence a 0,a 1,...,a n s called symmetrc f a = a n for 0 n. A sequence s called unmodal f there exsts an ndex 0 j n such that a 0 a 1 a j and a j a j+1 a n. We also say that a polynomal has a certan property, such as symmetrc or unmodal, f ts sequence of coeffcents has that property. The proof that P k (u s symmetrc and unmodal uses the well known generatng functon for the type A Euleran polynomals A n (u zn n! = 1 u e (u 1z u, n 0 whch goes back to Euler (see [9]. We remark here that the expresson Q k (u appearng n Theorem 1.7, defned by Q k (u = j=0 =j k k ( B k j (u k+1 (u k+1 1 j u, j does not have symmetrc coeffcents. However, usng MAPLE we have checkedthatfork 7, Q k (usaunmodalpolynomal. Welstthesequence of coeffcents, startng wth the constant term, for the frst few Q k (u here: k coeffcents of Q k (u ,2,1 2 1,4,6,6,4,2,1 3 1,8,12,18,23,32,32,28,23,8,4,2,1 4 1,16,24,36,54,76,176,200,220,230,230,176,152,124,98,76,16,8,4,2,1 Conjecture 3.8. For k 0, Q k (u s a unmodal polynomal. A sequence a 0,a 1,...,a n s called log-concave f a 2 a 1 a +1 for all 1 n 1. For a sequence wth postve coeffcents, log-concavty mples unmodalty. It s natural to ask f Q k (u has ths stronger property of log-concavty. However, we have checked that for 3 k 7, Q k (u s not log-concave. For example n Q 3 (u we have 23 2 < 18 32, and 8 2 < =j

16 16 M. HYATT 4. Jugglng sequences Snce maxdrop A (π = bsc A (π for all permutatons π S n, we see that A n,k sthesetofallk-bubblesortablepermutatonsns n (.e. bubble k A (π = d for all π A n,k. In [5], the authors also show that there s a bjectve correspondence between A n,k, and certan jugglng sequences of perod n. In ths secton, we show that there s bjecton between B n,k and a natural 2-colored analog of the aforementoned jugglng sequences. Formally, an n-perodc jugglng sequence, T = (t 1,t 2,...,t n, s a sequence of n nonnegatve ntegers such that the values t + mod n are all dstnct. One can nterpret each t as correspondng to a ball beng thrown at tme whch remans n the ar for t tme unts. If t = 0, then no ball s thrown at tme. We also thnk of the pattern defned by T as beng repeated ndefntely, so that the jugglng sequence s an nfnte sequence of perod n. The condton that the values t + mod n are dstnct guarantees that no two balls wll land at the same tme. Furthermore, the average of the t s, whch s an nteger, s the number of balls beng juggled (see also [3], [4], [5], [6], [7]. Next we defne the state of a jugglng sequence (see also [4], [6]. Suppose the juggler, who has been repeatng the n-perodc jugglng pattern T nfntely many tmes n the past, stops jugglng after the ball correspondng to t n s thrown. The balls that are n the ar wll land at varous tmes, and we record the landng schedule as a bnary sequence σ = (σ 1,σ 2,...,σ h. If σ = 1, then a ball landed tme unts after the last ball was thrown. If σ = 0, then no ball landed at that tme. So σ = 1 f and only f there s some j {1,2,...,n} and some d > 0 such that t j + j = + dn. Snce the tal of the sequence σ must be all zeros, we let σ be a fnte sequence where the last entry s the last 1 appearng n σ. The state of a jugglng sequence s the sequence σ determned by the landng schedule. There s a partcular state whch s called the ground state. If T s an n-perodc jugglng sequence wth k balls beng juggled, we say that T has the ground k tmes {}}{ state f ts state s σ = ( 1,1,...,1. Theorem 4.1 ([5]. There s a bjecton, φ, between permutatons n A n,k and jugglng sequences whch are n-perodc, juggle k balls, and have the ground state. Gven π A n,k, ths map s defned by φ(π = (t 1,t 2,...,t n, where t = k +π(. Defnton 4.2. We now defne 2-colored (or sgned jugglng sequences. Suppose the juggler may ntally select k balls to juggle, and there are two colors to choose from for each ball. We encode ths as a sgned jugglng sequence T = (t 1,t 2,...,t n where each t s now an nteger. The sgn of t s the color of the ball beng thrown at t, and t remans n the ar for t tmeunts. Westll donotallow morethanoneballtolandatthesametme, so we requre that the values t + mod n are all dstnct. Furthermore,

17 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 17 we do not allow the juggler to change colors once the jugglng has started. Therefore, f T has perod n, we also requre that (17 sgn(t = sgn(t j, where 1 n and j = + t mod n. We wll also defne T = ( t 1, t 2,..., t n. Thus T s a (1-colored jugglng sequence as descrbed above. We defne the state of a 2-colored jugglng sequence T to be the state of T, and we say T juggles k balls f T juggles k balls. Now consder the specal case when T = (t 1,t 2,...,t n s a 2-colored (or 1-colored jugglng sequence, where T has the ground state, juggles k balls, and k n. The fact that T has the ground state mples that t 1,t 2,...,t k are all nonzero. Informally, we defne the landng permutaton of T, whch we wll denote by τ, to be the order n whch the frst k balls thrown wll land f we stop jugglng at tme n. More precsely, for t 0 we defne the landng tme of, denoted ltme(, recursvely by { + t f + t > n ltme( := ltme(+ t f + t n. Then τ := ltme(1,ltme(2,...,ltme(k. Forexample, consderthe1-coloredjugglngsequencet = (4,6,3,0,2,3,3, whch juggles 3 balls, has perod 7, and has the ground state. We can vsualze T wth the followng dagram: The landng permutaton assocated to T s τ = 3,1,2. Ths s because for each = 1,2,3, f we follow the path of the ball thrown at tme, t (eventually lands at tme n+τ(. Theorem 4.3. For k n, let J n,k be the set of 2-colored jugglng sequences, where T J n,k f T s n(k!-perodc, juggles k balls, has the ground state, and T s n-perodc. There s a bjecton ψ : B n,k J n,k.

18 18 M. HYATT Proof. Frstwedescrbeψ,soletπ B n,k. Recallthat π = π(1,..., π(n S n. Moreover, we have π A n,k snce all drop szes decrease or stay the same f we remove the sgns. Defne a 1-colored jugglng sequence S = (s 1,...,s n(k! usng the map φ from Theorem 4.1: S = k! tmes {}}{ φ( π φ( π, where denotes concatenaton. Note that theorem 4.1 guarantees that S s a jugglng sequence whch juggles k balls and has the ground state. We construct ψ(π = T = (t 1,...,t n(k! by assgnng sgns to each s for 1 n(k!, so T = S. Frst we set (18 sgn(t = sgn(π( for 1 k. We then assgn sgns recursvely by (19 sgn(t + t = sgn(t for k+1 +t n(k!. Snce T = S, t s clear (usng Theorem 4.1 that T J n,k f we can show that T satsfes (17. Snce T has the ground state, a ball thrown at tme where 1 k, lands no sooner than tme k +1, thus (18 s well defned. Snce no two balls land at the same, the assgnments from (19 are also well defned. Also, the fact that T has the ground state guarantees that each nonzero s s assgned a sgn. It remans to show that (20 sgn(t = sgn(t j, where 1 n and j = + t > n. Agan, the fact that T has the ground state ensures that j n+k, therefore (20 wll be satsfed f we can show that the landng permutaton assocated to T s the dentty permutaton. Indeed, let τ S k be the landng permutaton assocated to φ( π, and let τ be the landng permutaton assocated to T. Snce T s just k! copes of φ( π, t follows that τ ( = τ (k! ( =. Thus τ = d as desred, and ψ s well defned. For example, consder π = 4, 2,1,3 B 4,2. Then φ( π = (5,2,0,1, and S = (5,2,0,1,5,2,0,1. Snce only the frst k letters of π may be negatve, we essentally use the frst k letters of π to determne the colors of the balls beng juggled. Thus ψ(π = (+5, 2,0, 1, 5,+2,0,+1. We can vsualze ths jugglng sequence wth the followng dagram:

19 DES. POLY. FOR k BUBBLE-SORTABLE PERMUTATIONS OF TYPE B 19 The nverse map ψ 1 s straghtforward. Gven T J n,k, let Then σ = φ 1 ( t 1,..., t n A n,k. ψ 1 (T = sgn(t 1 σ(1,...,sgn(t k σ(k,σ(k +1,...,σ(n. Snce only the frst k letters of ψ 1 (T may be negatve, t follows that ψ 1 (T B n,k. Moreover, t s clear that ψ 1 s n fact the nverse of ψ. 5. Acknowledgments Thanks to Jeff Remmel for useful dscussons and comments. References [1] D. Armstrong, The sortng order on a Coxeter group, J. Combn. Theory Ser. A 116 (2009, no. 8, [2] A. Björner, F. Brent, Combnatorcs of Coxeter groups, Graduate Texts n Mathematcs, 231. Sprnger, New York, [3] J. Buhler, D. Esendbud, R. Graham, C. Wrght, Jugglng drops and descents, Amer. Math. Monthly 101 (1994, no. 6, [4] S. Butler, R. Graham, Enumeratng (multplex jugglng sequences, Ann. Comb. 13 (2010, no. 4, [5] F. Chung, A. Claesson, M. Dukes, R. Graham, Descent polynomals for permutaton wth bounded drop sze, European J. Combn. 31 (2010, no. 7, [6] F. Chung, R. Graham, Prmtve jugglng sequences, Amer. Math. Monthly 115 (2008, no.3, [7] R. Ehrenborg, M. Readdy, Jugglng and applcatons to q-analogues, Dscrete Math. 157 (1996, no. 1-3, [8] F. Hvert, N. M. Théry, The Hecke group algebra of a Coxeter group and ts representaton theory, J. Algebra 321 (2009, no. 8, [9] D. Knuth, The Art of Computer Programmng, Vol. 3 Sortng and Searchng, second edton, Readng, Massachusetts: Addson-Wesley, 1998.

20 20 M. HYATT [10] N. Readng Clusters, Coxeter-sortable elements and noncrossng parttons, Trans. Amer. Math. Soc. 359 (2007, no. 12, Department of Mathematcs, Unversty of Calforna, San Dego, La Jolla, CA E-mal address: