Simple Algorithm for Factorized Dynamics of g_n-Automaton

We present an elementary algorithm for the dynamics of recently introduced soliton cellular automata associated with quantum affine algebra U_q(g_n) at q=0. For g_n = A^{(1)}_n, the rule reproduces the ball-moving algorithm in Takahashi-Satsuma's box-ball system. For non-exceptional g_n other than A^{(1)}_n, it is described as a motion of particles and anti-particles which undergo pair-annihilation and creation through a neutral bound state. The algorithm is formulated without using representation theory nor crystal basis theory.Comment: LaTex2e 9 pages, no figure. For proceedings of SIDE IV conferenc

Scattering Rule in Soliton Cellular Automaton associated with Crystal Base of Uq(D4(3))U_q(D_4^{(3)})

In terms of the crystal base of a quantum affine algebra $U_q(\mathfrak{g})$, we study a soliton cellular automaton (SCA) associated with the exceptional affine Lie algebra $\mathfrak{g}=D_4^{(3)}$. The solitons therein are labeled by the crystals of quantum affine algebra $U_q(A_1^{(1)})$. The scatteing rule is identified with the combinatorial $R$ matrix for $U_q(A_1^{(1)})$-crystals. Remarkably, the phase shifts in our SCA are given by {\em 3-times} of those in the well-known box-ball system.Comment: 25 page

Crystal Interpretation of Kerov-Kirillov-Reshetikhin Bijection II. Proof for sl_n Case

In proving the Fermionic formulae, combinatorial bijection called the Kerov--Kirillov--Reshetikhin (KKR) bijection plays the central role. It is a bijection between the set of highest paths and the set of rigged configurations. In this paper, we give a proof of crystal theoretic reformulation of the KKR bijection. It is the main claim of Part I (math.QA/0601630) written by A. Kuniba, M. Okado, T. Takagi, Y. Yamada, and the author. The proof is given by introducing a structure of affine combinatorial $R$ matrices on rigged configurations.Comment: 45 pages, version for publication. Introduction revised, more explanations added to the main tex

Factorization, reduction and embedding in integrable cellular automata

Factorized dynamics in soliton cellular automata with quantum group symmetry is identified with a motion of particles and anti-particles exhibiting pair creation and annihilation. An embedding scheme is presented showing that the D^{(1)}_n-automaton contains, as certain subsectors, the box-ball systems and all the other automata associated with the crystal bases of non-exceptional affine Lie algebras. The results extend the earlier ones to higher representations by a certain reduction and to a wider class of boundary conditions.Comment: LaTeX2e, 20 page

The A^{(1)}_M automata related to crystals of symmetric tensors

A soliton cellular automaton associated with crystals of symmetric tensor representations of the quantum affine algebra U'_q(A^{(1)}_M) is introduced. It is a crystal theoretic formulation of the generalized box-ball system in which capacities of boxes and carriers are arbitrary and inhomogeneous. Scattering matrices of two solitons coincide with the combinatorial R matrices of U'_q(A^{(1)}_{M-1}). A piecewise linear evolution equation of the automaton is identified with an ultradiscrete limit of the nonautonomous discrete KP equation. A class of N soliton solutions is obtained through the ultradiscretization of soliton solutions of the latter.Comment: 45 pages, latex2e, 2 figure

Combinatorial Bethe ansatz and ultradiscrete Riemann theta function with rational characteristics

The U_q(\hat{sl}_2) vertex model at q=0 with periodic boundary condition is an integrable cellular automaton in one-dimension. By the combinatorial Bethe ansatz, the initial value problem is solved for arbitrary states in terms of an ultradiscrete analogue of the Riemann theta function with rational characteristics.Comment: 9 page

Box ball system associated with antisymmetric tensor crystals

A new box ball system associated with an antisymmetric tensor crystal of the quantum affine algebra of type A is considered. This includes the so-called colored box ball system with capacity 1 as the simplest case. Infinite number of conserved quantities are constructed and the scattering rule of two olitons are given explicitly.Comment: 15 page

On multigraded generalizations of Kirillov-Reshetikhin modules

We study the category of Z^l-graded modules with finite-dimensional graded pieces for certain Z+^l-graded Lie algebras. We also consider certain Serre subcategories with finitely many isomorphism classes of simple objects. We construct projective resolutions for the simple modules in these categories and compute the Ext groups between simple modules. We show that the projective covers of the simple modules in these Serre subcategories can be regarded as multigraded generalizations of Kirillov-Reshetikhin modules and give a recursive formula for computing their graded characters