arxiv:math/ v2 [math.co] 2 Feb 1999

Transcription

1 arxv:ath/990200v2 [ath.co] 2 Feb 999 LONGEST INCREASING SUBSEQUENCES OF RANDOM COLORED PERMUTATIONS Alexe Borod Abstract. We copute the lt dstrbuto for cetered ad scaled) legth of the logest creasg subsequece of rado colored perutatos. The lt dstrbuto fucto s a power of that for usual rado perutatos coputed recetly by Bak, Deft, ad Johasso ath.co/98005). I two colored case our ethod provdes a dfferet proof of a slar result by Tracy ad Wdo about logest creasg subsequeces of sged perutatos ath.co/9854). Our a dea s to reduce the colored proble to the case of usual rado perutatos usg certa cobatoral results ad eleetary probablstc arguets.. Itroducto Bak, Deft, ad Johasso recetly solved a proble about the asyptotc behavor of the legth l of the logest creasg subsequece for the rado perutatos of order as wth the ufor dstrbuto o the syetrc group S ). They proved, see [BDJ], that the sequece l 2 } / coverges dstrbuto, as, to a certa rado varable whose dstrbuto fucto we shall deote by Fx). Ths dstrbuto fucto ca be expressed va a soluto of the Palevé II equato, see [BDJ] for detals. It was frst obtaed by Tracy ad Wdo [TW] the fraework of Rado Matrx Theory where t gves the lt dstrbuto for the cetered ad scaled) largest egevalue the Gaussa Utary Eseble of Herta atrces. The proble of the asyptotcs of l was frst rased by Ula [U]. Substatal cotrbutos to the soluto of the proble have bee ade by Haersley [H], Loga ad Shepp [LS], Vershk ad Kerov [VK, VK2]. A survey of the terestg hstory of ths proble, further refereces, ad a dscusso of ts trgug coecto wth Rado Matrx Theory ca be foud [BDJ]. Soo after the appearace of [BDJ] Tracy ad Wdo coputed the asyptotc behavor of the legth l of the logest creasg for the rado sged perutatos, see deftos the ext secto. I [TW2] they showed that l 2 } 2 2 2/ 2) /

2 coverges dstrbuto, as, to a rado varable wth the dstrbuto fucto F 2 x). The preset paper provdes aother proof of the result by Tracy ad Wdo. I our approach the dstrbuto fucto F 2 x) arses as the dstrbuto fucto of the axu of two asyptotcally depedet varables each of whch behaves as l 2 )/ / hece, by [BDJ], coverges to the dstrbuto gve by Fx)). The cobatoral techques we use reles o recet works by Ras [R] ad Fo & Stato [FS]. It also allows to hadle a ore geeral case of colored perutatos the proble for two colored case, essetally, cocdes wth that for sged perutatos). We show that for the legth l of the logest creasg subsequece of the rado colored perutatos of order the sequece l 2 } 2/ ) / coverges dstrbuto, as, to a rado varable wth dstrbuto fucto F x). The fucto F x) aturally appears as the dstrbuto fucto of the axu of asyptotcally depedet varables, each havg Fx) as the lt dstrbuto fucto. Cobatoral quattes whch we cosder ca be also terpreted as expectatos of certa cetral fuctos o utary groups, see Secto 4. I a very grateful to G. I. Olshask for a uber of valuable dscussos. 2. Colored perutatos ad sged perutatos A colored perutato s a ap fro,..., } to,..., },..., } such that ts coposto wth the projecto o the frst copoet of the target set s a perutato of order ). Oe ca vew such a ap as a perutato wth oe of colors attrbuted to each of pots whch ths perutato perutes. The set of all colored perutatos of order wth colors wll be deoted by S ). A creasg subsequece of π S ) s a sequece < 2 < < k such that the frst coordates of π j ) crease j ad the secod coordates of π j ) are equal. Thus, eleets of a creasg subsequece are of the sae color, say, p. The legth of such creasg subsequece s defed to be k ) + p. These deftos are due to Ras [R]. A slghtly ore geeral oto of hook perutato was troduced ad tesvely used earler by Stato ad Whte [SW]. We shall cosder S ) as a probablty space wth ufor dstrbuto: probablty of each colored perutato s S ) =!. The the legth of the logest creasg subsequece becoes a rado varable o ths space, t wll be deoted as L col). Let H be the hyperoctahedral group of order defed as the wreath product Z 2 S S s the syetrc group of order ). The eleets of H are called sged perutatos. Ths group ca be aturally ebedded S 2 as the group of perutatos σ of, +,...,,,...,, } subject to the codto σ x) = σx). Ideed, each such perutato s paraetrzed by the perutato σ S ad the set of sgs of σ),..., σ). Usg the atural orderg o the set, +,...,,,...,, } we ca defe the legth of the logest creasg subsequece for each sged perutato. Assug that every sged 2

3 perutato has probablty H = 2!, we get a rado varable o H whch wll be deoted as L eve. The group H ca also be ebedded to the syetrc group of order 2 + : we add 0 to the set, +,...,,,...,, } ad assue that the eleets σ H satsfy the sae codto σ x) = σx). Clearly, ths ples σ0) = 0. The rado varable o H equal to the legth of the logest creasg subsequece wth respect to ths realzato wll be deoted by L odd. Note that for ay eleet σ H, L odd σ L eve σ) = 0 or. 2.). R hook tableaux We refer to the work [SW] for the deftos cocerg r hook tableaux. The ext cla s a drect cosequece of the Schested algorth, see [S]. Proposto.. Perutatos of order wth the legth of logest creasg subsequece equal to l are oe to oe correspodece wth pars of stadard Youg tableaux of the sae shape wth boxes ad wdth l. Here s a geeralzato of ths cla for colored perutatos. Proposto.2 [R], [SW]. Colored perutatos wth colors of order wth the legth of logest creasg subsequece equal to l are oe to oe correspodece wth pars of r hook tableaux of the sae shape wth boxes ad wdth l. I [SW] t was proved that l = w where w s the wdth of the r hook tableau correspodg to a perutato wth the legth of logest creasg subsequece equal to l a stads for the sallest teger a). The refeet of ths stateet gve above was publshed [R]. Proposto. [R]. Sged perutatos of order ebedded S 2 wth the legth of logest creasg subsequece equal to l are oe to oe correspodece wth pars of 2 r hook tableaux of the sae shape wth 2 boxes ad wdth l. The legth of the logest creasg subsequece for sged perutatos ebedded to the syetrc group of odd order ca also be terpreted ters of r hook tableaux, see [R, proof of Theore 2.]. Note that Propostos.2 ad. ply that the dstrbutos of rado varables L col2) ad L eve cocde. 4. Expectatos over utary groups Everywhere below the sybol E U Uk) fu) stads for the tegral of f over U Uk) wth respect to the Haar easure o the utary group Uk) oralzed so that E U Uk) =.e., E deotes the expectato of f wth respect to the ufor dstrbuto o the utary group). Proposto 4. [R]. ProbL col) k} =! E U Uk) TrU ) 2). 4.)

4 Proposto 4.2 [R]. ProbL eve k} = 2! E U Uk) TrU 2 ) 2 ). 4.2) ProbL odd k} = 2! E U Uk) TrU 2 ) TrU) 2 ). 4.) [DS] gves 4.) for k, 4.2) for k 2, ad 4.) for k 2 +. For such values of k the left had sdes of 4.), 4,2), 4.) are all equal to. 5. R hook lattces Our a referece for ths secto s the work [FS] by Fo ad Stato. For ths secto we fx a teger uber, all our r hooks here wll cota exactly boxes. Let µ ad λ be shapes Youg dagras) such that µ λ ad λ µ s a )r hook. The we shall wrte µ ր λ. We troduce a partal order o the set of Youg dagras as follows: λ µ f ad oly f there exsts a sequece ν, ν 2,..., ν k of Youg dagras such that µ ր ν ր ν 2 ր ր ν k ր λ. The epty Youg dagra s deoted by. We shall say that a Youg dagra λ s decoposable f λ. The poset of all decoposable shapes wth as the order s called r hook lattce ad s deoted by RH. It ca be show that ths poset s deed a lattce). For = we get the Youg lattce: the poset of all Youg dagras ordered by cluso. The Youg lattce wll be deoted by Y. Proposto 5. [FS]. The r hook lattce RH s soorphc to the Cartesa product of copes of the Youg lattce: RH = Y. I other words, RH s soorphc to the poset of tuples of Youg dagras wth the followg coordate wse orderg: oe tuple s greater tha or equal to aother tuple f the kth coordate of the frst tuple cludes.e., greater tha or equal to) the kth coordate of the secod tuple for all k =,...,. Clearly, the uber of r hook tableaux of a gve shape λ s equal to the uber of paths ր ν ր ν 2 ր ր ν k ր λ, k = λ /, fro to λ ad s equal to 0 f λ s ot decoposable), λ stads for the uber of boxes λ. We shall deote ths uber by d λ ad call t the deso of the shape λ. Take ay λ RH ad the correspodg tuple λ,..., λ ) Y. Note that λ = λ + + λ ). We have d λ = λ + + λ )! λ! λ! d λ d λ. 5.) Ideed, to specfy the path fro to λ,..., λ ) we eed to specfy paths fro to λ k the kth copy of Y for k =,..., together wth the order whch we ake steps alog those paths. The uber of dfferet orders s the cobatoral coeffcet the rght had sde of 5.) whle the uber of dfferet possbltes for the paths Y s the product of desos d λ d λ. Note that the uber of pars of r hook tableaux of the sae shape λ s exactly ) 2 d 2 λ = λ + + λ )! d 2 λ! λ! λ d 2 λ. 5.2) 4

5 Let us deote by wλ) the wdth of a Youg dagra λ. We shall eed the followg Observato 5.2. For ay λ RH ad correspodg tuple λ,..., λ ) Y we have axwλ ),..., wλ )} wλ) 0,,..., }. 5.) Ths follows edately fro the explct costructo of the soorphs fro Proposto 5., see [FS, 2]. Observato 5.2 wll be crucal for our further cosderatos.. Placherel dstrbutos Usg the correspodece fro Proposto.2 whch s exactly the r hook geeralzato of the Schested algorth, see [SW]), we ca assocate to each colored perutato of order a Youg dagra wth boxes the coo shape of the correspodg par of r hook tableaux. The age of the ufor dstrbuto o S ) uder ths ap gves a probablty dstrbuto o decoposable Youg dagras wth boxes; the weght of a Youg dagra λ s, clearly, equal to! d 2 λ. As a cosequece, we get cf. [FS, Corollary.]) d 2 λ =!..) λ = Usg the soorphs of Proposto 5. we trasfer our probablty dstrbuto to the set of tuples of Youg dsgras wth total uber of boxes equal to. The by 5.2) we see that the probablty of a tuple λ,..., λ ) Y wth λ + + λ = equals Probλ,..., λ )} =!! λ! λ! Ths dstrbuto wll be called the Placherel dstrbuto. Proposto.. For ay =, 2,... ) 2 d 2 λ d 2 λ..2) Prob λ =,... λ = ; + + = } =!!!..) Proof. Drect coputato. Usg.) for = ad.2) we get Prob λ =,... λ = ; + + = } = ) 2! d 2 λ d 2 λ! λ! λ! =! λ k = k k=,...,!!! ) 2!! =!!!. 5

6 7. Two leas fro Probablty Theory We shall deote by p covergece of rado varables probablty, ad by D covergece dstrbuto. Lea 7. [B, Theore 4.]. Let rado varables ξ, ξ } =, η } = satsfy The ξ η p 0, ξ D ξ. η D ξ. For real rado varables ξ,..., ξ we shall deote by ξ ξ 2 ξ a R valued rado varable wth dstrbuto fucto F ξ ξ x) = F ξ x ) F ξ x ). Lea 7.2. Let ξ k) } =, k =,...,, be > sequeces of real rado varables coverget dstrbuto to rado varables ξ ),..., ξ ), respectvely. Deote by B ) the th order desoal far Beroull dstrbuto: Prob = k,..., k )} = The the sequece ζ = ξ ),! k! k!, k k =, k 0,..., } 0, otherwse ξ 2),2 ξ ), coverges dstrbuto to ξ ) ξ 2) ξ ). I partcular, ξ ), D ξ ). Proof. The codtos ξ k) D ξ k), k =,...,, are equvalet to the potwse covergece of dstrbuto fuctos F k) ξ x) F ξ k)x). We have F ζ x) = k + +k = k =,...,! k! k! F ξ ) x ) F ) k ξ x ). k For coverget uber sequeces a k) } wth lts a k), k =,...,, the sequece c = k + +k = k =,...,! k! k! a) k a ) k coverges to the product a ) a ), so we coclude, that F ζ x)} coverges to F ) ξ x ) F ) ξ x ) potwse. Lea 7.2 ples that rado varables ξ ) are asyptotcally depedet as.,, ξ 2),2,..., ξ ),

7 8. Asyptotcs Bak, Deft, ad Johasso recetly proved, see [BDJ], that the sequece L col) / 2 coverges dstrbuto to a certa rado varable, whose dstrbuto fucto wll be deoted by Fx). Ths fucto ca be expressed through a partcular soluto of the Palevé II equato, see [BDJ] for detals. I ths secto we shall study the asyptotc behavor of L col) for 2 whe. Our a result s the followg stateet. Theore 8.. For ay = 2,,... the sequece L col) 2 ) / coverges dstrbuto, as, to a rado varable wth dstrbuto fucto F 2 x). Ths result for = 2 was proved by Tracy ad Wdo [TW2]. Sce the dstrbutos of L col2) ad L eve cocde see Secto ), we edately get two other asyptotc forulas. Corollary 8.2 [TW2]. The sequece L eve 2 2 2) / coverges dstrbuto, as, to a rado varable wth dstrbuto fucto F x). Corollary 8. [TW2]. The sequece L odd 2 2 2) / coverges dstrbuto, as, to a rado varable wth dstrbuto fucto F x). Proof of Corollary 8.. Relato 2.) ples that wth probablty, L odd L eve ) 2/ 0. Sce the covergece wth probablty ples the covergece probablty, the cla follows fro Lea 7. ad Corollary 8.2. Proof of Theore 8.. The proof wll cosst of 4 steps. Step. Followg Sectos, 5,, we shall terpret L col) as a rado varable o the space of all tuples λ,..., λ ) of Youg dagra wth total uber 7

8 of boxes equal to suppled wth the Placherel dstrbuto. Let us deote by,..., l) the wdths of the Youg dagras λ,..., λ : l ) l ) k = wλ k ), k =,...,. Observato 5.2 ples that wth probablty L col) axl ),..., l) } 0. / Hece, by Lea 7., t s eough to prove that axl ),..., l) } 2 Prob ) / x } F 2 x) Our strategy s to prove that l ),..., l) are asyptotcally depedet, ad that each of the asyptotcally behaves as L col) [/]. The Theore 8. wll follow fro the result of [BDJ] stated the begg of ths secto. Step 2. = Prob = Prob Prob axl ) l ) 2 ) / l ) 2 / /) /,..., l) } 2 ) / x } x;...; l) 2 ) / 2 x;...; l ) 2 / /) / Thus, t suffces to prove that l ) 2 / Prob x /) / ;...; l) 2 / /) / Step. Deote by ) =. We cla that for all =,..., ) l ) Proposto. ples that x } x 2 x } } Fx ) Fx ). 8.) the uber of boxes λ, =,...,. The ) / /) / Prob ) l ) 2 = k} = ) ) / ) ) k p ) ). k Ths eas that ) ca be terpreted as the su ξ + + ξ of depedet detcally dstrbuted Beroull varables wth Probξ j = 0} =, Probξ j = } =. 8.

9 The cetral lt theore ples that wth probablty covergg to, ) 2 +ε < ) < ) + 2 +ε for ay ε > 0. Hece, = ) ) for suffcetly large. Slarly, we have = ) ) < ± ) ) ± ) ) 2 +ε) < < cost 2 +ε ) ± < cost +ε) 2 ) ± ) +ε 8.) 2 +ε 2 +ε 2 < cost ε f we choose ε < /2. The result of [BDJ] ples that L col) 2 δ D 0 for ay δ > 0. Fro Proposto.2 t follows that the otato of Lea 7.2 } } l ) = L col). =, ) Applyg Lea 7.2 we see that whch eas that l ) < ) l ) ) ) 2 +δ D 0, = ) 2 +δ wth probablty covergg to. Sce ) < / + /) +ε 2 wth probablty covergg to, we get that ) 2 ) +ε 2 +δ l ) < + 2 < ) +δ + cost ) )+ε 2 +δ 2 2 = ) +δ + ) δ+ ε 2 < cost 8.4) ) 2 +δ 8.5) wth probablty covergg to. Makg use of the relatos 8.), 8.4), 8.5), we ow see that l ) 2 / l ) 2 ) /) / ) ) / l) ) +2 ) ) ) ) < cost 2 +δ 2 ε + cost ) +ε 9

10 wth probablty covergg to. Sce the last expresso coverges to zero as f δ < ε < /, the proof of 8.2) s coplete. The relato 8.2) ples that we have asyptotc equvalece of two desoal vectors l ) 2 / l 2 ) / ;...; /) / /) / l) 2 ) ) )/ ;...; l ) 2 ) ) / ) p 0. 8.) Step 4. The rado desoal vector ζ = l) 2 ) ) )/ ;...; l 2 ) ) / ) 8.7) s obtaed fro detcal desoal rado varables ξ ) = Lcol) by the procedure descrbed Lea 7.2: ζ = ξ ), 2, =,..., / ξ 2),2 ξ ), ths follows fro Proposto.). Sce sequeces ξ ) } coverge dstrbuto, as, to a rado varable wth dstrbuto fucto Fx) ths s the result of [BDJ]), the sequece 8.7) also coverges dstrbuto to a rado varable wth the dstrbuto fucto Fx ) Fx ). The Lea 7. ad 8.) coclude the proof of 8.). Refereces [BDJ] J. Bak, P. Deft, ad K. Johasso, O the dstrbuto of the legth of the logest creasg subsequece of rado perutatos, Preprt, ath.co/ [B] P. Bllgsley, Covergece of Probablty Measures, Joh Wley & Sos, 98. [DS] P. Dacos, M. Shahshaha, O the egevalues of rado atrces, J. Appl. Prob. 994), 49. [FS] S. Fo, D. Stato, R hook lattces, St. Petersburg Math. J ), o. 5, [H] J. M. Haersley, A few seedlgs of research, Proc. Sxth Berkeley Syp. Math. Statst. ad Probablty, Vol. 972), [LS] B. F. Loga ad L. A. Shepp, A varatoal proble for rado Youg tableaux, Advaces Math ), [R] E. M. Ras, Icreasg subsequeces ad the classcal groups, Elect. J. of Cobatorcs 5 #R2 998). [S] C. Schested, Logest creasg ad decreasg subsequeces, Caad. J. Math. 9), [SW] D. W. Stato, D. E. Whte, A Schested Algorth for r hook tableaux, Joural of Cobatoral Theory, Seres A ),

11 [TW] C. A. Tracy ad H. Wdo, Level spacg dstrbutos ad the Ary kerel, Co. Math. Phys ), [TW2], Rado Utary Matrces, Perutatos, ad Palevé, Preprt, ath.co/ [U] S. M. Ula, Mote Carlo calculatos probles of atheatcal physcs, Moder Matheatcs for the Egeers, E. F. Beckebach, ed., McGraw Hll 9), [VK] A. M. Vershk ad S. V. Kerov, Asyptotc behavor of the Placherel easure of the syetrc group ad the lt for of Youg tableaux, Sovet Math. Dokl ), [VK2] A. M. Vershk ad S. V. Kerov, Asyptotc behavor of the axu ad geerc desos of rreducble represetatos of the syetrc group, Fuctoal Aal. Appl ), o., 2. Departet of Matheatcs, The Uversty of Pesylvaa, Phladelpha, PA , U.S.A. E-al address: borode@ath.upe.edu