arxiv: v2 [math.qa] 24 Jul 2014

Transcription

1 INTRINSIC ENERGY IS A LOOP SCHUR FUNCTION THOMAS LAM AND PAVLO PYLYAVSKYY arxiv:100.98v [ath.qa] Jul 01 Abstract. We give an explicit subtraction-free forula for the energy function in tensor products of Kirillov-Reshetihin crystals for syetric powers of the standard representation of U q ( sl ˆ n ). The energy function is shown to be the tropicalization of a stretched staircase shape loop Schur function. The latter were introduced by the authors in the study of total positivity in loop groups. 1. Introduction The intrinsic energy function plays an iportant role in the path odel for affine highest weight crystals [7]. The energy function is also related to charge statistic of Lascoux- Schützenberger on seistandard tableaux (see [1]), which establishes a relation between one diensional configuration sus arising in solvable lattice odels and Kosta-Foules polynoials, cf. [, 7, 8]. Let B = B 1 B be a tensor product of U q ( sl ˆ n ) Kirillov-Reshetihin crystals, where each B i is the crystal for a syetric power of the standard representation. We identify B i with theseistandard Youngtableaux withrowshape, filledwith thenubers 1,,...,n. Let b = b 1 b B, and write x (r+i 1) i for the nuber of r s in b i. The upper index (r+i 1) is to be considered as an eleent of Z/nZ. Our ain result is the following forula for the intrinsic energy function D B of B. Let δ t = (t,t 1,...,1) denote the staircase shape of side-length t. Theore 1.1. We have D B (b) = in T x (i j) T(i,j) (i,j) where the iniu is over all seistandard tableaux T of shape, and entries in 1,,...,. In the physical interpretation, each b i represents a particle, and the intrinsic energy function D B (b) is defined as the su of ( ) local energies of interactions of particles. Theore 1.1 thus has the following interpretation: each tableau T encodes a way for particles to interact siultaneously, and intrinsic energy is equal to the iniu of these. In [10], otivated by the study of total positivity for loop groups, we introduced a generalization of the ring of syetric functions, called loop syetric functions and denoted LSy. In particular, we defined distinguished eleents of LSy called loop Schur functions (see Section ). It is shown in [10] that the algebra hooorphiss fro, Date: Noveber 7, 018. T.L. was supported by NSF grant DMS and DMS , and by a Sloan Fellowship. P.P. was supported by NSF grant DMS

2 THOMAS LAM AND PAVLO PYLYAVSKYY LSy to R taing nonnegative values on (sew) loop Schur functions are in bijection with totally nonnegative eleents of the foral loop group. Recall that the tropicalization of a subtraction-free polynoial f, is obtained by replacing ultiplication by addition, and replacing addition by taing inius. Theore 1.1 is equivalent to Theore 1.. The function D B is the tropicalizationof the loop Schur function s (0) in the variables {x (s) i }. Theore 1. is an iediate consequence of Theores.5 and. below. Theores 1.1 and 1. are canonical in the sense that they correspond to the onoial expansion of a polynoial. That a piecewise-linear expression for D B (b) exists is already clear fro the literature. However, the fact a subtraction-free forula exists (or equivalently the rational version D B (b) of energy is a polynoial with positive coefficients) is not apparent fro the definition of D B (b), even though the latter taes nonnegative values. (See also Rear.) Exaple 1. Let n = and =. Then D B (b) = in(x (1) 1 +x (),x (1) +x (),x (1) +x (),x (1) 1 +x (), x (1) +x (),x (1) +x (),x (1) +x () +x (1),x (1) +x () +x (1) ) corresponding to the following tableaux of shape δ = (,1): We use in our calculations a birational analogue of the cobinatorial R-atrix. It was previously studied by Kirillov [6] in the context of the Robinson-Schensted algorith, by Noui-Yaada [1, 17] in the context of discrete Painléve systes, by Etingof [] in the context Yang-Baxter equations, by Berenstein-Kazhdan [1] in the context of geoetric crystals, and by the authors [10] in the context of total positivity of loop groups. Fix an integer n > 1 throughout. (.1. Loop Schur functions. Let 1 1. Loop syetric functions x (r) i ) 1 i, r Z/nZ be a rectangular array of variables. We recall fro [10] the definition of the ring of loop syetric functions 1 in the variables x (r) i, denoted LSy. A detailed study of loop syetric functions will appear in [11]. For 1 and r Z/nZ, define the loop eleentary syetric functions and loop coplete hoogenous syetric functions by (x 1,x,...,x ) = x (r) i 1 x (r+1) i x (r+ 1) i h (r) (x 1,x,...,x ) = 1 i 1 <i < <i x (r) i 1 i 1 i 1 i i x (r +1) i 1 In [10], there are two such rings: the ring of whirl loop syetric functions, and the ring of curl loop syetric functions. We use the forer here. Furtherore, we only use finitely any variables here.

3 INTRINSIC ENERGY IS A LOOP SCHUR FUNCTION By convention, = h (r) = 0 for < 0, and 0 = h (r) 0 = 1. Note that = 0 for >. We call the upper index the color. When all n colors are identified, that is x (s) i = x (s ) i for all i and s,s Z/nZ, these functions specialise to the usual eleentary and coplete hoogenous syetric functions [16]. We define LSy to be the ring generated by the. Although it is not iidiately obvious, the h(r) lie in LSy. In fact, both the and the h (r) are instances of distinguished eleents of LSy called loop Schur functions. A square s = (i,j) in the i-th row and j-th colun has content c(s) = i j. We caution that our notion of content is the negative of the usual one. Let ρ/ν be a sew shape. Recall that a seistandard Young tableaux T with shape ρ/ν is a filling of each square s ρ/ν with an integer T(s) Z >0 so that the rows are wealy-increasing, and coluns are increasing. For r Z/nZ, the r-weight x T of a tableaux T is given by x T = s ρ/ν x(c(s)+r) T(s). We shall draw our shapes and tableaux in English notation: For n = the 0-weight of the above tableau is (x (1) 1 ) (x (1) ) x () 1 x () x () x () 1 x () (x () ). We define the loop (sew) Schur function by s (r) ρ/ν (x) = T where the suation is over all seistandard Young tableaux of (sew) shape ρ/ν. We have the following analog of the Jacobi-Trudi forula. Theore.1. [10, Theore 7.6] We have s (r) λ /µ = det(e (r j+1+µ j) λ i µ j i+j ). Proposition.. For any > 0 we have 0 h (r 1) e (r 1) 1 h (r ) 1 +e (r ) h (r ) x T...±e (r ) h (r 1) 0 = 0. Proof. Let ρ i denote the hoo shape ( i,1,...,1) of size. Then e (r i) i h (r i 1) + s ρ (r i) i+1 is the su of two loop Schur functions (one of which is zero if i = 0 s (r i 1) ρ i i = or i = ). This holds since any two ters in e (r i) i and h (r i 1) i, viewed as tableaux of colun and row shapes, fit together to give a seistandard tableau of one of the two hoo shapes, depending on the entry in their sallest boxes. It is clear that as we su over all i, all the hoo shape loop Schur functions cancel out... Staircases. For 1 and r Z/nZ, define τ (r) (x 1,x,...,x ) = I={i 1 i i } x (r) i 1 i x (r +1) i where the suation is over ultisets I {1,,,...,} such that no nuber occurs ore than n 1 ties. Note that if > (n 1) we have τ (r) = 0. It can be shown that lies in LSy, but we shall not need it for what follows. τ (r)

4 THOMAS LAM AND PAVLO PYLYAVSKYY Lea.. We have τ (r) (x 1,...,x ) = i=0 ( 1) i h (r) in e i s Z/nZ x (s) 1,..., s Z/nZ where the e i in the above forula denotes the usual eleentary syetric function. Proof. Let x (r) i 1 i x (r +1) i be a ter in h (r). Let J I be the set of indexes which occur in I = {i 1 i i } ore than n 1 ties. Then the coefficient of this ter on the right is equal to K J ( 1) K. This is equal to 1 if J = 0 and to 0 otherwise. Lea.. For each, we have ( 1) i e (r i) i (x 1,...,x )τ (r i 1) i (x 1,...,x ) = 0. i=0 Proof. Follows iidiately fro Proposition. and Lea.. Define σ (r) (x 1,x,...,x ) = i=0 x(r) 1 1 x (r i+1) 1 τ (r i) i (x,...,x ). Theore.5. For and r Z/nZ, we have s (r) (x 1,x,...,x ) = σ (r) (n 1)( 1) (x 1,...,x )σ (r+1) (n 1)( ) (x,...,x ) σ (r+ ) (n 1) (x 1,x ). Rear 1. When all the colors are identified, that is, x (s) i = x (s ) i for all i and s,s Z/nZ, Theore.5 is a coarsening of a result of Jucis [5], see also [16, Ex. 7.0]. It is clear that Theore.5 holds for =, for then it states that s (r) n 1(x 1,x ) = σ (r) n 1 (x 1,x ). We shall prove Theore.5 in Section.. Affine crystals.1. R-atrix. We shall use [15] as our ain reference for affine crystals. Recall that a Kirillov-Reshetihin crystal of U q( sl ˆ n ) is the crystal graph corresponding to the highest weight odule with highest weight proportional to one of the fundaental weights. An affine crystal is the tensor product of several Kirillov-Reshetihin crystals. We shall restrict our attention to the set C of affine crystals that are tensor products of syetric powers of the standard representation. Each eleent b B of such a syetric power can be identified with a single row seistandard tableau in the alphabet 1,...,n. If B 1,B are Kirillov-Reshetihin crystals, the cobinatorial R-atrix is the unique isoorphis R B1,B : B 1 B B B 1 of affine crystals. It is nown that the cobinatorial R-atrices generate an action of S on B 1 B. The cobinatorial R-atrix has a convenient interpretation [15] in ters of seistandard tableaux and the jeu de taquin algorith [16]. Let b 1 b be an eleent of B 1 B. Then R B1,B (b 1 b ) = c 1 c B B 1 where c 1,c are the unique pair of row shaped tableaux which jeu de taquin to the sae tableau that b 1 and b jeu de taquin to, as follows: 1 R B1,B since both jeu de taquin to x (s),

5 INTRINSIC ENERGY IS A LOOP SCHUR FUNCTION 5 The action of the cobinatorial R-atrix can be explicitly described as follows (see []). Let R B1,B (b 1 b ) = c 1 c and let x (r) 1, x (r), s 1 ( x (r) 1 ), s 1 ( x (r) ) be the nuber of boxes filled with r-s in b 1,b,c 1,c respectively, r = 1,...,n. Then s 1 ( x (r) 1 ) = x (r) +κ r+1 (b 1,b ) κ r (b 1,b ) and s 1 ( x (r) ) = x (r) 1 +κ r (b 1,b ) κ r+1 (b 1,b ), where s κ r (b 1,b ) = in ( 0 s n 1 and the indexes are taen in Z/nZ. t=1 x (r+t 1) + n 1 t=s+1 x (r+t) 1 ) Exaple. In the exaple above ( x (1) 1, x () 1, x () 1, x () 1 ) = (1,0,1,0), ( x (1), x (), x (), x () ) = (1,,0,1), κ 1 (b 1,b ) = in(1,,,) = 1, κ (b 1,b ) = in(,,,) = and s 1 ( x (1) 1 ) = 1+ 1 =... Intrinsic energy function. In [7] an iportant function H B,B : B B Z called local coenergy is defined for a tensor product of two affine crystals. If B and B are Kirillov-Reshetihin crystals, local coenergy has the following siple description in ters of tableaux [15, 9]. Given an eleent b b in B B C, for a two-row seistandard tableaux fro b and b as above. After that easure the axial nuber of cells one can slide the top row to the left so that we still have a valid seistandard tableau. This axial nuber of cells is the value of H B,B (b,b ). Exaple. For the local coenergy is, because 1 1 is seistandard while 1 is not. It is easy to see that H B,B (b,b ) = κ 1 (b,b ), since each ter s t=1 x(t) + n 1 t=s+1 x(1+t) 1 is exactly the nuber of cells for which the boxes with (s + 1)-s in the would allow to slide. The local coenergy is nown to reain the sae under the action of R-atrix: H B,B = H B,B R B,B. Wenowdefine theintrinsic energy functiond B : B Z([7])ofanaffinecrystal B C, following [1]. For Kirillov-Reshetihin crystals energy is zero. Let b = b 1 b... b be an eleent of an -fold tensor product B = B 1 B... B C. We define the intrinsic energy D B (b) to be (1) D B (b) = H Bi,B j (s i s i+1 s j (b j 1 ) b j ). 1 i<j Although not obvious fro this definition, intrinsic energy is preserved by the R-action. Exaple. Let us copute the intrinsic energy of the following eleent b = b 1 b b

6 6 THOMAS LAM AND PAVLO PYLYAVSKYY We easure H(b 1,b ) = 1, H(b,b ) =. We also have seen above the result of applying R B1,B to the first two tensor factors, which allows us to easure H(s 1 (b ),b ) =. Therefore D B (b) = 1++ = Product (suation) forula for intrinsic energy. In this section, we switch fro piecewise linear functions to rational functions. The two worlds are connected via tropicalization: if f is a subtraction-free polynoial, we let trop(f) denote the tropicalization of f, obtained by replacing addition by iniu, and ultiplication by addition. Wearegivenarectangular arrayofvariables x (r) i, i = 1,...,, r Z/nZ, with coluns b i = ( x (1) i, x () i,..., x (n) i ). It is very convenient to ae the following change of variables: x (r) i = x (r+1 i) i. Define n 1 s κ r (b j,b j+1 ) = ( s=0 t=1 x (r+t) j+1 n 1 t=s+1 x (r+t) j ), so that trop(κ r (b j,b j+1 )) = κ r j+1 (b j,b j+1 ). In the variablesx (r) i, the birational R-atrix acts (see [17, Proposition.1] ) via algebra isoorphiss s 1,s,...,s 1 of the field of rational functions in {x (r) i }, given by s j (x (r) j ) = x(r+1) j+1 κ r+1(b j,b j+1 ) κ r (b j,b j+1 ) and s j (x (r) j+1 ) = x(r 1) j κ r 1 (b j,b j+1 ) κ r (b j,b j+1 ) and s j (x (r) ) = x(r) for j,j +1. We also have H(b j b j+1 ) = κ j (b j,b j+1 ), the rational analogue of the local coenergy. We let D B denote the rational analogue of the intrinsic energy function, so that trop(d B ) = D B. The ain result of this section is a product forula for D B. We rear that Kirillov [6] has also studied the rational functions H and D B. Lea.1. Suppose 1 i < j. Then and κ r (s i s i+1 s j (b j 1 ),b j ) = σ(r j+i) (n 1)(j i) (x i,x i+1,...,x j ) (n 1)(j i 1) (x i,x i+1,...,x j 1 ) σ (r j+i 1) s i s i+1 s j 1 (x (r) j ) = x(r j+i) i (n 1)(j i) (x i,x i+1,...,x j ) (n 1)(j i) (x i,x i+1,...,x j ) = σ(r j+i) (n 1)(j i)+1 (x i,x i+1,...,x j ) (n 1)(j i) (x i,x i+1,...,x j ). Proof. We prove the two stateents in parallel by induction on j i. For j i = 1 they coincide with the forulae for the κ r and the R-action of s i. By the induction assuption s i s i+1 s j (x (r) j 1 ) = x(r j+i+1) i (n 1)(j i 1) (x i,x i+1,...,x j 1 ) σ (r j+i+1) (n 1)(j 1 i) (x. i,x i+1,...,x j 1 ) Our variables x (r) i the circle. are nearly the sae as Yaada s x i r, differing by a reversal of the orientation of

7 Therefore INTRINSIC ENERGY IS A LOOP SCHUR FUNCTION 7 κ r (s i s i+1 s j (b j 1 ),b j ) n 1 s n 1 = ( = x (r+t) j s=0 t=1 n 1 n j+i s=0 t=s+1 t=s j+i+ x(r+t) i s i s i+1 s j (x (r+t) j 1 )) = σ(r j+i) (n 1)(j i) (x i,x i+1,...,x j ) (n 1)(j i 1) (x i,x i+1,...,x j 1 ). σ (r+s j+i+1) (n 1)(j i 1) (x i,x i+1,...,x j 1 ) s t=1 x(r+t) j (n 1)(j i 1) (x i,x i+1,...,x j 1 ) The last equality holds because in a ter of (n 1)(j i) (x i,x i+1,...,x j ) the nuber of the x (t) j -s is at ost n 1, while the nuber of the x(t) i -s and the x (t) j -s together should be at least n 1. Now we can also prove the second clai, since s i s i+1 s j 1 (x (r) j ) = s is i+1 s j ( j 1 )κ r 1(s i s i+1 s j (b j 1 ),b j ) = κ r (s i s i+1 s j (b j 1 ),b j ) x (r j+i) i σ (r j+i 1) (n 1)(j i 1) (x i,...,x j 1 ) (n 1)(j 1 i) (x i,...,x j 1 ) Theore.. We have σ (r j+i 1) (n 1)(j i) (x i,...,x j ) σ (r j+i 1) (n 1)(j i 1) (x i,...,x j 1 ) = x(r j+i) i σ (r j+i 1) (n 1)(j i) (x i,...,x j ) (n 1)(j i) (x. i,...,x j ) (n 1)(j i 1) (x i,...,x j 1 ) (n 1)(j i) (x i,...,x j ) D B (b) = σ (n) (n 1)( 1) (x 1,...,x )σ (1) (n 1)( ) (x,...,x ) σ ( ) (n 1) (x 1,x ). Proof. The result follows fro Lea.1 and (1). Rear. Coparing [1, Theore.] with Lea.1 and Theore. one can see thatthetropicalizationoftheσ (i) (n 1)( 1 i) (x i+1,...,x )isessentially theindexind( i) in the index decoposition of charge in [1]. Rear. Theore. gives the irreducible factorization of D B (b) (whereas Theore 1. gives the onoial expansion). To see this, one first notes that σ (r) (n 1) (x 1,x ) has a unique onoial which involves x (r), fro which one deduces the irreducibility. Now suppose that σ (r) (n 1)( 1) (x 1,x,...,x ) factorizes non-trivially as the product fg. We ay write f = ax (r (n 1)( )) a,b,c do not involve x (r (n 1)( )) + b and g = c as polynoials in x (r (n 1)( )). One verifies that none of the variables x (s), where di- is di- vide σ (r) (n 1)( 1) (x 1,x,...,x ) and every onoial which contains x (r (n 1)( )) visible by the product x (r (n 1)( )) x (r (n 1)( ) 1) x (r (n 1)( 1)+1). Thus we have

8 8 THOMAS LAM AND PAVLO PYLYAVSKYY f = a x (r (n 1)( )) x (r (n 1)( ) 1) x (r (n 1)( 1)+1) +b, where a is a polynoial not involving anyx (s). Itis easyto seethat a cannot beaunit. Butwe thenhave a non-trivial factorization a c = σ (r) (n 1)( ) (x 1,...,x 1 ), and we ay proceed by induction.. Proof of Theore.5 We let A denote the Jacobi-Trudi atrix for the dilated staircase Schur funtion s (r). By adding extra coluns of size 0 to we ay assue that A is a na na atrix. (Specifically, a = (n 1)( 1)/n.) Exaple 5. For n = we have A = e (r 1) e (r 1) e (r ) 0 e (r 1) 1 e (r ) e (r 1) e (r 1) 0 e (r ) 1 e (r 1) e (r ) 0 e (r 1) 1 e (r ) e (r 1) 0 e (r ) 1 Lea.1. Suppose n < i na. Then colun i of A is obtained fro colun i n by shifting the non-zero entries down by n 1. Let B denote the n(a+1) 1 n(a+1) atrix obtained by adding n extra coluns to A, so that Lea.1 is still true. Exaple 6. For n = we have e (r 1) B = e (r 1) e (r ) 0 e (r 1) 1 e (r ) e (r 1) e (r 1) 0 e (r ) 1 e (r 1) e (r ) 0 e (r 1) 1 e (r ) e (r 1) e (r 1) 0 e (r ) 1 e (r 1) e (r ) 0 e (r 1) 1 e (r ) Let T = (τ (r 1) (n 1), τ(r ) (n 1) 1,...,±τ(r n(a+1)+1) (n 1) n(a+1)+1 ) be a colun vector with coponents in LSy. Proposition.. The vector B T is the zero vector. e (r 1) 0 e (r ) 1 Proof. It follows iediately fro Lea., and the fact that τ (s) > (n 1). = 0 as long as Let B i, be the square atrix obtained fro B by reoving the i-th colun. It is easy to see that det(b i, ) = s (r 1) (n 1)δ /(i 1) is a loop sew Schur function. Proposition.. We have det(b i, ) = τ (r i) (n 1) i+1 det(a ).

9 INTRINSIC ENERGY IS A LOOP SCHUR FUNCTION 9 Proof. Since det(b i, ) = s (r 1) (n 1)δ /(i 1) is never the zero polynoial in the e(s) i, we deduce that considered as a atrix with ceofficients in the field Frac(x (s) i ), the atrix B has axial ran. There is thus, up to scaling, a unique solution to the equation B v = 0. By expanding the deterinant of the atrix obtained fro B by repeating a row, it is easy to see that v = (det(b 1, ), det(b, ),...,±det(b na+n, )) is a solution. But by Proposition. so is T. Thus the two vectors are proportional, and it reains to chec that the scaling coefficient is det(a ). We have det(b 1, ) = e (r 1)...e (r n+1) det(a ), while at the sae tie τ (r 1)...e (r n+1), and the stateent follows. (n 1) = e(r 1) Proof of Theore.5. We have already verified the case =, so we suppose that >, and by induction on that s (s+1) (x,x,...,x +1 ) = σ (s+1) (n 1)( 1) (x,...,x +1 )σ (s+) (n 1)( ) (x,...,x +1 ) σ (s+ 1) (n 1) (x,x +1 ) for every s Z/nZ. We calculate that s (r 1) (n 1)δ (x 1,x,...,x +1 ) = = (n 1) i=0 (n 1) i=0 = (n 1) i=0 1 x (r ) 1 x (r i) 1 s (r 1) (n 1)δ /(i) (x,x,...,x +1 ) 1 x (r ) 1 x (r i) 1 det(b i, )(x,x,...,x +1 ) 1 x (r ) 1 x (r i) 1 τ (r i 1) (n 1) i+1 (x,x,...,x +1 ) = σ (r 1) (n 1) (x 1,x,...,x +1 )s (r) (x,x,...,x +1 ) s (r) (x,x,...,x +1 ) whereinthefirstequalityweusedthetableaudefinitionofs (r) (n 1)δ, andinthepenultiate equality we used Proposition.. Rear. It is clear fro the theory developed in [10] that loop Schur functions are invariants of the action of the syetric group S via the birational R-action. Thus we have deonstrated directly that the energy function is an invariant of this action. This property is not obvious fro the definition we use. References [1] A. Berenstein and D. Kazhdan: Geoetric and unipotent crystals. II. Fro unipotent bicrystals to crystal bases. Quantu groups, 1 88, Contep. Math.,, Aer. Math. Soc., Providence, RI, 007. [] E. Date, M. Jibo, A. Kuniba, T. Miwa, and M. Oado: One diensional configuration sus in vertex odels and affine Lie algebra characters. LMP, 17, 69 77, [] P. Etingof: Geoetric crystals and set-theoretical solutions to the quantu Yang-Baxter equation. Co. Algebra 1 (00), no.,

10 10 THOMAS LAM AND PAVLO PYLYAVSKYY [] G. Hatayaa, K. Hiai, R. Inoue, A. Kuniba, T. Taagi, and T. Toihiro: The A (1) M autoata related to crystals of syetric tensors. (English suary) J. Math. Phys. (001), no. 1, [5] A.-A.A. Jucis: Tournaents and generalized Young tableaux. (Russian) Mat. Zaeti 7 (1980), no., 5 59, 9. [6] A. Kirillov: Introduction to tropical cobinatorics.(english suary) Physics and cobinatorics, 000 (Nagoya), 8 150, World Sci. Publ., River Edge, NJ, 001. [7] S.-J. Kang, M. Kashiwara, K.C. Misra, T. Miwa, T. Naashia, and A. Naayashi: Affine crystals and vertex odels, in Infinite analysis Part A (Kyoto 1991), 9 8, Adv. Ser. Math. Phys., 16, World Sci. Publishing, River Edge, NJ, 199. [8] S.-J. Kang, M. Kashiwara, K.C. Misra, T. Miwa, T. Naashia, and A. Naayashi: Perfect crystals of quantu affine Lie algebras. Due Math. J., 68, no., , 199. [9] A. Kirillov, A. Kuniba, and T. Naanishi: Sew Young diagra ethod in spectral decoposition of integrable lattice odels. II. Higher levels. Nuclear Phys. B 59 (1998), no., [10] T. La and P.Pylyavsyy: Total positivity in loop groups I: whirls and curls, Adv. in Math., to appear. [11] T. La and P.Pylyavsyy: Loop syetric functions, in preparation. [1] A. Naayashii and Y. Yaada: Kosta polynoials and energy functions in solvable lattice odels. Selecta Matheatica (1997), [1] M. Noui and Y. Yaada: Affine Weyl group syetry in Painlev hierarchies. Painlev systes, hypergeoetric systes and asyptotic analysis (Kyoto, 1999). [1] M. Oado, A. Schilling, and M. Shiozono: Virtual crystals and ferionic forulas of type, and C(1) n. Represent. Theory 7 (00), [15] M. Shiozono: Crystals for duies, available at [16] R. Stanley: Enuerative Cobinatorics, Volue, Cabridge Studies in Advanced Matheatics 6, Cabridge University Press, 001. [17] Y. Yaada: A birational representation of Weyl group, cobinatorial R-atrix and discrete Toda equation. Physics and cobinatorics, 000 (Nagoya), 05 19, World Sci. Publ., River Edge, NJ, 001. D () n+1,a() n Departent of Matheatics, University of Michigan, Ann Arbor, MI 8109 USA. E-ail address: tfyla@uich.edu URL: Departent of Matheatics, University of Michigan, Ann Arbor, MI 8109 USA. E-ail address: pavlo@uich.edu URL: