arxiv:math/ v2 [math.qa] 18 Mar 2007

Transcription

1 arxiv:math/036v [math.qa] 8 Mar 007 Box Ball System Associated with Antisymmetric Tensor Crystals Daisue Yamada Abstract A new box ball system associated with an antisymmetric tensor crystal of the quantum affine algebra of type A is considered. This includes the socalled colored box ball system with capacity as the simplest case. Infinite number of conserved quantities are constructed and the scattering rule of two solitons are given explicitly. Introduction The box ball system (BBS) [TS, T] is an important example of ultra-discrete integrable systems. It can be obtained from a discrete soliton equation through limiting procedure [TTMS, TNS]. It is also nown [HHIKTT, FOY, HKT, HKOTY] that the BBS has an equivalent formulation in terms of affine crystal theory [K, KMN]. Following [FOY] we briefly review the BBS in this formulation. For l Z set B l = {[i i i l ] i Z, i i l n}. Here n is a fixed integer greater than. B l is identified with the crystal of the symmetric tensor representation of degree l of the quantum affine algebra U q(ŝl n). By definition, the combinatorial R for the tensor product crystal B l B l is a bijection R : B l B l B l B l which commutes with the crystal operators [KMN]. Use the symbol b b b b Department of Mathematical Science, Graduate School of Engineering Science, Osaa University, Toyonaa, Osaa 60-83, Japan

2 if R(b b ) = b b. Applying the combinatorial R : B 3 B B B 3 successively, we have the following diagram Here we omitted the symbol [ ]. For instance, 3 (resp. ) means [3] (resp. []). Neglecting the horizontal line, we see the upper state is mapped to the lower one as the time is evolved. Each [ ] corresponds to a box. We consider [] as a vacant box, and [],[3], as boxes with a ball. The above example shows that the array[3][3][] behaves as a soliton just lie in the classical soliton theory. One can also chec that the longer soliton moves faster. Therefore, if there are two solitons of different lengths, we can expect a scattering of solitons. The following results are shown in [FOY]. (See also [TNS, HHIKTT].) () For an element [i i i l ] of B l such that i, one can associate a soliton state [i l ] [i ][i ]. () The scattering of two solitons of lengths l and l (l > l ) is described by the combinatorial R : B l B l B l B l. (3) The phase shift caused by the scattering is described by the energy function, an integer valued function canonically defined on the tensor product crystal B l B l. We want to extend these results to more general cases. It is nown that the set of semi-standard tableaux B,l of shape (l ) with letters in {,,,n} also admits the affine crystal structure. Considering the combinatorial R : B,3 B, B, B,3, we obtain the following As seen in this example, the situation for general is similar to the previous case corresponding to =. In this paper, we are to show the following results. () OnecanassociateasolitonstateforanelementofB,l (lettersin{,,,}) B,l (letters in { +, +,,n}).

3 () The scattering of two solitons of lengths l and l (l > l ) is described by the product of combinatorial R s R R : (B,l B,l ) (B,l B,l ) (B,l B,l ) (B,l B,l ). (3) The phase shift is described by the sum of the energy functions corresponding to the tensor product crystals B,l B,l and B,l B,l. Box Ball System In this section we review the minimum contents concerned with the U q (ŝl n)- crystal B,l and define the box ball system we shall investigate.. The crystal B,l Fix an integer n Z. For arbitrary integers,l such that n,l, let B,l be the set of semi-standard tableaux of shape (l ) with letters in {,,...,n}. A tableau is described by using [] and t[] signifies its transpose. For instance, 3 B 3,, [ 3 3 ] B,3 and t [ 3 3 ] = 3 3 B 3,. It is nown [KMN, S] that B,l admits the structure of U q (ŝl n)-crystals, i.e., one has the action of operators e i,f i, called Kashiwara operators, e i,f i : B,l B,l {0} for i = 0,,...,n. We are to explain the actions of e i,f i on B,l for i 0 in detail. To do this we first give the actions on (B, ) L, L-th tensor power of B,. The rule is given as follows. () We identify b = L j= b j (B, ) L with b (B, ) L in such a way that b = L j=( m=[x j m]) if b j = t [x j,xj,...,xj ]. Here and in what follows L j= b j means b b b L. () Reading the letters x j m in b from left to right, we construct a sequence of ± or 0 by associating + if x j m = i, if xj m = i+, and 0 otherwise. (3) Neglecting all 0, replace adjacent + pairs with 00 successively until we get the following sequence

4 () The action of e i (resp. f i ) on b amounts to replacing the rightmost (resp. leftmost +) of the above sequence with + (resp. ), i.e., changing the letter i + (resp. i) to i (resp. i + ) on the corresponding tensor component of b. Example. [ ] [ f ( 3 ] [ ] ) = f 6 (36) = f (0++ 00) = f (0+0000) [ ] [ ] [ ] = = To compute the action on B,l we consider the map sp : B,l (B, ) l b = [x,x,,x l ] x l x x, where x j stands for the j-th column of b. Then the action of e i (resp. f i ) on B,l is given by sp e i sp (resp. sp f i sp). Remar. For the action of e 0,f 0 we refer to [S], since it is unnecessary for our purpose. This rule, called signature rule, can be applicable to any tensor product of the form B,l B d,l d by embedding it into (B, ) l (B d, ) l d using sp d. Although it is inhomogeneous in the sense that j can vary, the signature rule holds as it is.. Combinatorial R and energy function The combinatorial R for the tensor product crystal B B is, by definition, a bijection R : B B B B which commutes with the operators e i and f i for all i. For our case concerning the U q(ŝl n)-crystal B,l, such R is nown to exist uniquely. To describe the combinatorial R explicitly, we explain Schensted s bumping algorithm. See e.g. [F] for the details. For x = x x. x we define a row word row(x) by x x x l = x x x l B,l, x x x l row(x) = x...xl }{{}......x...xl x }{{} }{{} x x x.

5 Now we recall the bumping algorithm (row-bumping, or row-insertion), for constructing a new tableau from a tableau by inserting an integer. For inserting an integer i in a tableau T, the rule of bumping T i is given as follows. () If there are no integers larger than i in the first row, add a new empty box at the right end, and put i in it. () Otherwize, among the integers larger than i, find the leftmost one, say j, and replace j with i. Then inset j into the second row in the same way. (3) Repeat this procedure until the bumped number can be put in a new box at the right end of the row. The following is the explicite algorithm of combinatrial R on B,l B,l. Theorem.3 ([S]) x y is mapped to x ỹ by the combinatorial R if and only if B,l B,l B,l B,l, y row(x) = ỹ row( x). Next we define the energy function H on B,l B,l as follows. Definition. Let x B,l,y B,l. Let d(x,y) be the number of nodes in the shape of y row(x) that are strictly east of the max(l,l )-th column. Then the energy function H : B,l B,l Z is given by H(x y) = d(x,y) min(, )min(l,l ). Remar. Intrinsically, the energy function is uniquely defined by specifying the difference H(e i (x y)) H(x y) up to an additive constant. See section. of [KMN]. The above rule for the energy function is established in [S, SW]. The normalization of H in Definition. is so fixed that the maximum is 0. Here we give an example for combinatrial R on B 3,3 B, and energy function assosiate with this R. Example [ ] [ ] 3 6 We will show the procedure for culculating the right hand side when left hand side is given. We set x = [ ] 3, y =. 6

6 By the rule of bumping we have the following tableau. y row(x) = 63 = 3 6 Note that the rule of bumping is reversible procedure, and we can culculate x B, and ỹ B 3,3 such that x y x ỹ. 3 6 = 6 = 3 6 = 3 6 = 3 6 = ỹ row( x) According to the definition of energy function, we have.3 Box ball system H(x y) = min(3,)min(3,) =. In this subsection we fix ( n ) and set B l = B,l. We employ the following notations. =. B, c l = l = B l. Consider the crystal B L with L sufficiently large. We call an element p of B L a state, if p = ( d j=b j ) (L d) and L is sufficiently large compared with d. Note that we allow to be in d j= b j. Lemma.7 By iterating the combinatorial R : B l B B B l L times, we have the map B l B L B L B l. Suppose c l p is mapped to p c by this map. Then, if L, we have c = c l. 6

7 By this lemma one can define the time evolution operator T l by Then we have T l : B L p p B L. Lemma.8 [T l,e i ] = [T l,f i ] = 0 for i I \{0,}. Proof. By the definition of T l, we have c l e i p T l (e i p) c l, e i (c l p) e i (T l (p) c l ), under the map B l B L B L B l. On the other hand, for i I \{0,} using the signature rule in section. we have e i (c l p) = c l e i p, e i (T l (p) c l ) = e i T l (p) c l. Thus we have T l (e i p) c l = e i T l (p) c l. The case for f i is similar. This property will be used essentially to prove our main theorem. We also define a map E l : B L Z 0 by E l (p) = where b (j) (0 j < L) is defined by L H(b (j ) b j ), (.) j= B l B j c l ( j i= b i) ( j i= b i ) b (j) B j B l and H is the energy function on B l B. Note that for a state p, E l (p) does not depend on L, because of Lemma.7 and the normalization H( l ) = 0. It is nown that the following equation, called the Yang-Baxter equation, holds on B l B l B l. From this fact one can show Theorem.9 ([FOY]) (R )( R)(R ) = ( R)(R )( R) () The commutation relation among the time evolutions: T l T l (p) = T l T l (p). () The energy conservation: E l (T l (p)) = E l (p). Tobeprecise,weneedtheYang-BaxterequationfortheaffinizationofB l,b l,b l to prove (). See section. of [FOY]. Inwhatfollowsinthissection,wepresentotherconservedquantitiesP,P > under time evolutions constructed by Schensted s bumping algorithm. By the isomorphism B l B L B L B l, we have c l ( L j= b j) ( L j= b j ) c l. 7

8 In view of Theorem.3 one notices that the tableau constructed by and the one by (( (row(b L ) row(b L )) ) row(b )) row(c l ) (( (row(c l ) row( b L )) ) row( b )) row( b ) are the same. It means that the corresponding words are Knuth-equivalent [F]. row(b L )row(b L ) row(b )row(c l ) row(c l )row( b L ) row( b )row( b ). (.) Remove the numbers +,+,...,n from both sequences, then they are still Knuth-equivalent. (See e.g. Lemma of [Fu].) Thus the tableaux constructed by both words are the same. It gives a conserved quantity, denoted by P, under time evolutions. Note that taing row(c l ) in the words corresponds to adding c l from the left at the construction of tableaux. Similarly, by removing the numbers,,..., from (.), we obtain another conserved quantity P >. Note that the P-tableau in Theorem 3. of [Fu] corresponds to P >. 3 Solitons In the previous section we introduced a box ball system on the crystal (B, ) L. In this section we define soliton states and investigate the scattering of two solitons. 3. One soliton state Consider the following state p = c ( d j= b j) (L c d) (B, ) L, b j = t [x j,xj,...,xj ] B,. Definition 3. We call suchpaone soliton state, if the integers x j i {,,...,n} ( i, j d) satisfy x j i xj+ i x j i < xj i+ ( i, j d ), ( i, j d), x j < xj ( j d). We call d the length of the soliton. Remar 3. Such state is characterized by the condition E (p) =. 8

9 Example 3.3 In the case of = 3, the following gives a one soliton state of length To simplify the notation, we use 3 [0] = t [,...,,,], [] = t [,...,,,+], 3 [ ± ] = t [,...,, ±, + 3 ], [3] = t [,...,,,+], [] = t [,...,, +,+]. The following lemma shows how one soliton state behaves as the time is evolved. Lemma 3. Let p = c S d (L c d) be a one soliton state of length d. Then, Tl(p) t = (c+min(d,l)t) S d (L c d min(d,l)t). Proof. By Lemma.8, it is sufficient to chec for the elements illed by e i for all i I \{0,}, i.e.. Our R : B l B B B l satisfies p = [0] c [] d [0] (L c d). R(ξ i []) = [0] ξ i+ (0 i < l), R(ξ l []) = [] ξ l, R(ξ i [0]) = [] ξ i (0 < i l), R(ξ 0 [0]) = [0] ξ 0, where ξ i = [0 l i i ] (0 i l). The statement is clear from these formulas. We call the value c the phase of the soliton S d. Note that the phase is related to the position of the soliton before applying time evolutions. Hence it does not depend on time for a one soliton state. 3. The scattering rule of solitons Imitating the definition of one soliton state, we can consider an m soliton state p ms = m j=( (cj cj dj ) S dj ) (L cm dm), (3.) where c 0 = d 0 = 0. S dj signifies a soliton of length d j satisfying the conditions in Definition 3., and we assume c j c j d j ( j m) are relatively large compared with d j (j =,...,m). 9

10 For a single soliton we introduce a new notation. One is related to the internal degree of freedom. For S d = d j= b j we set u = [b d,...,b,b ]. Note that from Definition 3. u can be regarded as a tableau in B,l. Next we split u between the ( )-th and -th row as u = (u <,u ) B,l B,l. (3.) Namely u is the -th row of u and u < is the tableau of rows obtained by removing the -th row of u. Note that u < (resp. u ) is a tableau with letters in {,,...,} (resp. { +, +,...,n}). Thus B,l (resp. B,l ) in (3.) should be considered as a U q (sl )(=< e i,f i,t i (i =,,..., ) >)-crystal (resp. U q (sl n )(=< e i,f i,t i (i = +,+,...,n ) >)-crystal). The other is related to the phase explained in the end of the previous subsection. If the soliton with the internal degree of freedom u has a phase c, we represent it as ζ c u with ζ be an indeterminate. Next we consider a soliton state. Let ζ c u and ζ c v be solitons with notations above. We assume the length d of the soliton ζ c u is bigger than the length d of ζ c v. We also assume that the former is situated far left to the latter at time t = 0. We represent such situation as ζ c u ζ c v. Now apply T l (l > d ) many times. Then one observes that the longer soliton passes the shorter one and the phases change by constant. We call this phenomenon a scattering of solitons and represent as ζ c u ζ c v ζ c δ ṽ ζ c+δ ũ. Then the following gives the scattering rule of such solitons. Theorem 3. The scattering rule of soliton state p s (d > d ) under the time evolution T l (l > d ) is described as follows. The change of the internal degree of freedom is given by the product of combinatorial R s R R: (B,d B,d ) (B,d B,d ) (B,d B,d ) (B,d B,d ) (u < v <,u v ) (ṽ < ũ <,ṽ ũ ) The phase shifts δ,δ are given by the sum of the energy functions H associated with each combinatorial R: δ = δ = d +H(u v )+H(u < v < ) The proof will be given in the next subsection. Remar 3.6 For a soliton state p s we regard c c d as the distance from S d to S d. The above scattering rule of solitons is valid if c c d d holds at the initial stage. 0

11 Remar 3.7 The image (R R)(u < v <,u v ) is different from R(u v) by R : B,d B,d B,d B,d. For instance, we have [ ] [ ] (R R) (, [ ] [ 6 7 ] ) [ ] [ ] = (, [ ] [ 6 7 ] ), whereas R( ) = Recall the scattering rule of solitons is written as [ ] [ ] [ ] [ ] u< v< ζ c ζ u c ζ v c δ ṽ< ζ ṽ c+δ ũ< ũ δ = d +H(u v )+H(u < v < ).@ Denote this map by R. Then it satisfies the Yang-Baxter equation ( R )( R)( R ) = ( R)( R )( R). (3.3) It means that the scattering rule of 3 solitons is independent of the order of body ones. It is so even when 3 solitons collide almost at the same time. We chec this property with the following example. Here we employ the notation Example 3.8 (x,x,...,x n ) = n j=x j. p 3s = T 3 (p 3s) = 3 T 3 (p 3s) = 6 T 3 3 (p 3s) =

12 T 3(p 3s ) = 3 T 3(p 3s ) = 3 3 T 6 3(p 3s ) = With our notation this 3 body scattering is expressed as ζ ζ ζ 9 3 ζ 3 ζ 3 ζ Let us chec that the RHS is obtained by applying either ( R )( R)( R ) or ( R)( R )( R) on the LHS. LHS R ζ 6 3 R ζ 3 R ζ ζ 0+3 ζ 0 ζ ζ ζ ζ LHS R ζ ζ 0 ζ R ζ 3 ζ ζ R ζ 9 3 ζ 6 3 ζ

13 3.3 Proof of the main theorem By Lemma.8 it is sufficient to showthe theorem for the highest weight element p asau q (sl ) U q (sl n )-crystal, i.e., e i p = 0forall i I\{0,}. Thefollowing lemma is clear from the signature rule. Lemma 3.9 The highest weight elements among two soliton states are given by p s = [0] c [] d [0] (c c d) [3] α [ ± ] (d α β) [] β [0] h, where h = L c d and 0 α+β d. By the commutation relation of time evolutions we get T t r = T s d + Tt rt s d + (t s,r > d ). Thus it is sufficient to show the scattering rule by the time evolution T d+. We give the time evolution process for the case α > β and α β separately. Set δ = d α+β. T t d +( p s ) (α > β) = [0] (c+(d+)t) [] d [0] (c c d t) [3] α [ ± ] (d α β) [] β [0] (h dt) (0 t c c d ) = [0] (c+(d+)t) [] (d s) [] s [3] (α s) [ ± ] (d α β) [] β [0] (h dt) (0 s α β,s = t (c c d )) = [0] (c+(d+)t) [] (δ s) [] (α β) [3] β [ ± ] (d α β) [] (β+s) [0] (h δ (d+)t) (0 s d d,s = t (c c +d d δ)) = [0] (c δ+dt) [] (δ+s) [] (α β s) [3] (β+s) [ ± ] (d α β) [] (β+d d) [0] (h δ (d+)t) (0 s α β,s = t (c c δ)) = [0] (c δ+dt) [] d [0] s [3] α [ ± ] (d α β) [] (d d+β) [0] (h δ (d+)t) (0 s,s = t (c c +d δ)) T t d +( p s ) (α β) = [0] (c+(d+)t) [] d [0] (c c d t) [3] α [ ± ] (d α β) [] β [0] (h dt) (0 t c c +d d δ) = [0] (c+(d+)t) [] (d s) [0] (β α) [3] α [ ± ] (d α β) [] (β+s) [0] (h δ (d+)t) (0 s d d,s = t (c c δ)) = [0] (c δ+dt) [] d [0] (β α+s) [3] α [ ± ] (d α β) [] (β+d d) [0] (h δ (d+)t) (0 s,s = t (c c δ)) From these we have ζ c [ d ] ζ c [ β d α β ± 3 α ] ζ c δ [ d ] ζ c+δ [ d d+β d α β ± 3 α ]. 3

14 Recall the notation introduced in (3.). From Theorem.3 and Definition., we get the following. Lemma 3.0 R([ d ] [ β d α β ± 3 α ] ) = [ d ] [ d d+β d α β ± 3 α ], H([ d ] [ β d α β ± 3 α ] ) = ( d β α ) ( d β + α ), R([ d ] < [ β d α β ± 3 α ] < ) = [ d ] < [ d d+β d α β ± 3 α ] <, H([ d ] < [ β d α β ± 3 α ] < ) = ( d β α )±( d β + α ). From this lemma we get the phase shift as follows: d +H([ d ] [ β d α β ± 3 α ] )+H([ d ] < [ β d α β ± 3 α ] < ) = d α+β = δ, and see that have the change of the internal degree of freedom is given by the combinatorial R s. Discussion In this paper we defined one soliton state p B L so that it satisfies E (p) =. See Definition 3. and Remar 3.. But in the E (p) > case also, there exist states in which a soliton-lie particle moves without changing the internal degree of freedom. As such examples we have (a) [ 6 ] (b) [ 3 ] (c) [ 3 3 How do we regard these states? Isn t it a one soliton state? Our answer is no. For a state p define the numbers N d (p) (d =,,...) by solving E l (p) = d min(d,l)n d (p) (l =,,...), ] where E l (p) was defined in (.). Then N d givesthe number of solitonsoflength d for an m soliton state...[d ]...[d ]......[d m ]... if any adjacent solitons are separated enough. For the above examples the numbers N d reads as (a) N = (b) N = (c) N = 3

15 and the others are 0. Thus one may consider them as composite states of several solitons. However, it is in general difficult to identify the internal degree of freedom of each soliton, and leave it as a future problem. Acnowledgments The author would lie to than E. Date, K. Fuuda, M. Noumi, and H. Yamane for helpful discussions. Special thans are due to M. Oado for his ind and warm guidance. References [F] W. Fulton, Young tableaux, London Mathematical Society Student Texts 3, Cambridge University Press (997). [Fu] K. Fuuda, Box-ball systems and Robinson-Shensted-Knuth correspondence, J. Algebraic Combin. 9 (00) [FOY] K. Fuuda, M. Oado and Y. Yamada, Energy functions in box ball systems, Int. J. Mod. Phys. A (000), [HHIKTT] G. Hatayama, K. Hiami, R. Inoue, A. Kuniba, T. Taagi and T. Toihiro, The A () M Automata related to crystals of symmetric tensors, J. Math. Phys. (00) [HKOTY] G. Hatayama, A. Kuniba, M. Oado, T. Taagi and Y. Yamada, Scattering rules in soliton cellular automata associated with crystal bases, Contemp. Math. 97 (00), -8. [HKT] G. Hatayama, A. Kuniba and T. Taagi, Soliton cellular automata associated with crystal bases, Nucl. Phys. B77[PM](000) [K] M. Kashiwara, On crystal bases of the q-analogue of universal enveloping algebras, Due Math. J. 63, 6-6 (99). [KMN] S-J. Kang, M. Kashiwara, K. C. Misra, T. Miwa, T. Naashima and A. Naayashii, Affine crystals and vertex models, Int. J. Mod. Phys. A 7 (suppl. A), 9-8 (99). [KMN] S-J. Kang, M. Kashiwara, K. C. Misra, T. Miwa, T. Naashima and A. Naayashii, Perfect crystals of quantum affine Lie algebras, Due Math. J. 68 (99) [S] M. Shimozono, Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties, J. Algebraic Combin. (00) 87.

16 [SW] A. Schilling and S. O. Warnaar, Inhomogeneous lattice paths, generalized Kosta polynomials and A n supernomials, Commun. Math. Phys. 0 (999) [T] D. Taahashi, On some soliton systems defined by using boxes and balls, Proceedings of the International Symposium on Nonlinear Theory and Its Applications (NOLTA 93), (993) 8. [TNS] T. Toihiro, A. Nagai and J. Satsuma, Proof of solitonical nature of box and ball systems by means of inverse ultra-discretization, inverse Probl. (999) [TS] D. Taahashi and J. Satsuma, A soliton cellular automaton, J. Phys. Soc. Jpn. 9 (990) [TTMS] T. Toihiro, D. Taahashi, J. Matsuidaira and J. Satsuma, From soliton equations to integrable cellular automata through a limiting procedure, Phys. Rev. Lett. 76 (996)