Showing 1–50 of 76 results for author: Okado, M

A strange five vertex model and multispecies ASEP on a ring

Authors: Atsuo Kuniba, Masato Okado, Travis Scrimshaw

Abstract: We revisit the problem of constructing the stationary states of the multispecies asymmetric simple exclusion process on a one-dimensional periodic lattice. Central to our approach is a quantum oscillator weighted five vertex model which features a strange weight conservation distinct from the conventional one. Our results clarify the interrelations among several known results and refine their deri… ▽ More We revisit the problem of constructing the stationary states of the multispecies asymmetric simple exclusion process on a one-dimensional periodic lattice. Central to our approach is a quantum oscillator weighted five vertex model which features a strange weight conservation distinct from the conventional one. Our results clarify the interrelations among several known results and refine their derivations. For instance, the stationary probability derived from the multiline queue construction by Martin (2020) and Corteel--Mandelshtam--Williams (2022) is identified with the partition function of a three-dimensional system. The matrix product operators by Prolhac--Evans--Mallick (2009) acquire a natural diagrammatic interpretation as corner transfer matrices (CTM). The origin of their recursive tensor structure, as questioned by Aggarwal--Nicoletti--Petrov (2023), is revealed through the CTM diagrams. Finally, the derivation of the Zamolodchikov--Faddeev algebra by Cantini--de Gier--Wheeler (2015) is made intrinsic by elucidating its precise connection to a solution to the Yang--Baxter equation originating from quantum group representations. △ Less

Submitted 28 August, 2024; v1 submitted 21 August, 2024; originally announced August 2024.

Comments: 25 pages. Mainly section 3.2, 3.3 and proof of Th.13 are revised

MSC Class: 81R50; 60C99

Oscillator representations of quantum affine orthosymplectic superalgebras

Authors: Jae-Hoon Kwon, Sin-Myung Lee, Masato Okado

Abstract: We introduce a category of $q$-oscillator representations over the quantum affine superalgebras of type $D$ and construct a new family of its irreducible representations. Motivated by the theory of super duality, we show that these irreducible representations naturally interpolate the irreducible $q$-oscillator representations of type $X_n^{(1)}$ and the finite-dimensional irreducible representati… ▽ More We introduce a category of $q$-oscillator representations over the quantum affine superalgebras of type $D$ and construct a new family of its irreducible representations. Motivated by the theory of super duality, we show that these irreducible representations naturally interpolate the irreducible $q$-oscillator representations of type $X_n^{(1)}$ and the finite-dimensional irreducible representations of type $Y_n^{(1)}$ for $(X,Y)=(C,D),(D,C)$ under exact monoidal functors. This can be viewed as a quantum (untwisted) affine analogue of the correspondence between irreducible oscillator and irreducible finite-dimensional representations of classical Lie algebras arising from Howe's reductive dual pairs $(\mathfrak{g},G)$, where $\mathfrak{g}=\mathfrak{sp}_{2n}, \mathfrak{so}_{2n}$ and $G=O_\ell, Sp_{2\ell}$. △ Less

Submitted 3 January, 2024; v1 submitted 12 April, 2023; originally announced April 2023.

Comments: 52 pages, v2: Appendix A added to give details of proof of Proposition 3.1, together with minor revisions

Kirillov-Reshetikhin modules and quantum $K$-matrices

Authors: Hiroto Kusano, Masato Okado, Hideya Watanabe

Abstract: From a quantum $K$-matrix of the fundamental representation, we construct one for the Kirillov-Reshetikhin module by fusion construction. Using the $\imath$crystal theory by the last author, we also obtain combinatorial $K$-matrices corresponding to the symmetric tensor representations of affine type $A$ for all quasi-split Satake diagrams. From a quantum $K$-matrix of the fundamental representation, we construct one for the Kirillov-Reshetikhin module by fusion construction. Using the $\imath$crystal theory by the last author, we also obtain combinatorial $K$-matrices corresponding to the symmetric tensor representations of affine type $A$ for all quasi-split Satake diagrams. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: 19 pages

MSC Class: 17B80; 17B37

Parafermionic bases of standard modules for twisted affine Lie algebras of type $A_{2l-1}^{(2)}$, $D_{l+1}^{(2)}$, $E_6^{(2)}$ and $D_4^{(3)}$

Authors: Masato Okado, Ryo Takenaka

Abstract: Using the bases of principal subspaces for twisted affine Lie algebras except $A_{2l}^{(2)}$ by Butorac and Sadowski, we construct bases of the highest weight modules of highest weight $kΛ_0$ and parafermionic spases for the same affine Lie algebras. As a result, we obtain their character formulas conjectured in arXiv:math/0102113. Using the bases of principal subspaces for twisted affine Lie algebras except $A_{2l}^{(2)}$ by Butorac and Sadowski, we construct bases of the highest weight modules of highest weight $kΛ_0$ and parafermionic spases for the same affine Lie algebras. As a result, we obtain their character formulas conjectured in arXiv:math/0102113. △ Less

Submitted 18 September, 2021; originally announced September 2021.

Comments: 16 pages, 2 figures

Solution to the reflection equation related to the $ι$quantum group of type AII

Authors: Hiroto Kusano, Masato Okado

Abstract: A solution to the reflection equation associated to a coideal subalgebra of $U_q(A_{2n-1}^{(1)})$ of type AII in the symmetric tensor representations is presented. If parameters of the coideal subalgebra are suitably chosen, the $K$ matrix does not depend on the quantum parameter $q$ and still agrees with a solution in arXiv:nlin/0411044 at $q=0$. A solution to the reflection equation associated to a coideal subalgebra of $U_q(A_{2n-1}^{(1)})$ of type AII in the symmetric tensor representations is presented. If parameters of the coideal subalgebra are suitably chosen, the $K$ matrix does not depend on the quantum parameter $q$ and still agrees with a solution in arXiv:nlin/0411044 at $q=0$. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: 8 pages, 1 figure

Higher level $q$-oscillator representations for $U_q(C_n^{(1)}),U_q(C^{(2)}(n+1))$ and $U_q(B^{(1)}(0,n))$

Authors: Jae-Hoon Kwon, Masato Okado

Abstract: We introduce higher level $q$-oscillator representations for the quantum affine (super)algebras of type $C_n^{(1)},C^{(2)}(n+1)$ and $B^{(1)}(0,n)$. These representations are constructed by applying the fusion procedure to the level one $q$-oscillator representations which were obtained through the studies of the tetrahedron equation. We prove that these higher level $q$-oscillator representations… ▽ More We introduce higher level $q$-oscillator representations for the quantum affine (super)algebras of type $C_n^{(1)},C^{(2)}(n+1)$ and $B^{(1)}(0,n)$. These representations are constructed by applying the fusion procedure to the level one $q$-oscillator representations which were obtained through the studies of the tetrahedron equation. We prove that these higher level $q$-oscillator representations are irreducible. For type $C_n^{(1)}$ and $C^{(2)}(n+1)$, we compute their characters explicitly in terms of Schur polynomials. △ Less

Submitted 22 December, 2020; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 41 pages; Theorem 4.1 has been added, where we prove the irreducibility of the higher level $q$-oscillator representation in a uniform way. The proof is given in Appendix D

MSC Class: 17B37; 17B67

Set-theoretical solutions to the reflection equation associated to the quantum affine algebra of type $A^{(1)}_{n-1}$

Authors: Atsuo Kuniba, Masato Okado

Abstract: A trick to obtain a systematic solution to the set-theoretical reflection equation is presented from a known one to the Yang-Baxter equation. Examples are given from crystals and geometric crystals associated to the quantum affine algebra of type $A^{(1)}_{n-1}$. A trick to obtain a systematic solution to the set-theoretical reflection equation is presented from a known one to the Yang-Baxter equation. Examples are given from crystals and geometric crystals associated to the quantum affine algebra of type $A^{(1)}_{n-1}$. △ Less

Submitted 1 August, 2019; v1 submitted 24 July, 2019; originally announced July 2019.

Comments: 7 pages, minor modifications

MSC Class: 81R50; 16T30; 16T25

Journal ref: J. Int. Systems (2019) 4, xyz013 (10 pages)

Reflection $K$ matrices associated with an Onsager coideal of $U_p(A^{(1)}_{n-1})$, $U_p(B^{(1)}_n)$, $U_p(D^{(1)}_n)$ and $U_p(D^{(2)}_{n+1})$

Authors: Atsuo Kuniba, Masato Okado, Akihito Yoneyama

Abstract: We determine the intertwiners of a family of Onsager coideal subalgebras of the quantum affine algebra $U_p(A^{(1)}_{n-1})$ in the fundamental representations and $U_p(B^{(1)}_{n}), U_p(D^{(1)}_{n}), U_p(D^{(2)}_{n+1})$ in the spin representations. They reproduce the reflection $K$ matrices obtained recently by the matrix product construction connected to the three dimensional integrability. In pa… ▽ More We determine the intertwiners of a family of Onsager coideal subalgebras of the quantum affine algebra $U_p(A^{(1)}_{n-1})$ in the fundamental representations and $U_p(B^{(1)}_{n}), U_p(D^{(1)}_{n}), U_p(D^{(2)}_{n+1})$ in the spin representations. They reproduce the reflection $K$ matrices obtained recently by the matrix product construction connected to the three dimensional integrability. In particular the present approach provides the first proof of the reflection equation for the non type $A$ cases. △ Less

Submitted 19 April, 2019; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 20 pages, minor correction

MSC Class: 17B37; 17B80

Journal ref: J. Phys. A: Math. Theor. 52 (2019) 375202 (27pp)

Matrix product solution to the reflection equation associated with a coideal subalgebra of $U_q(A^{(1)}_{n-1})$

Authors: Atsuo Kuniba, Masato Okado, Akihito Yoneyama

Abstract: We present a new solution to the reflection equation associated with a coideal subalgebra of $U_q(A^{(1)}_{n-1})$ in the symmetric tensor representations and their dual. Elements of the $K$ matrix are expressed by a matrix product formula involving terminating $q$-hypergeometric series in $q$-boson generators. At $q=0$, our result reproduces a known set-theoretical solution to the reflection equat… ▽ More We present a new solution to the reflection equation associated with a coideal subalgebra of $U_q(A^{(1)}_{n-1})$ in the symmetric tensor representations and their dual. Elements of the $K$ matrix are expressed by a matrix product formula involving terminating $q$-hypergeometric series in $q$-boson generators. At $q=0$, our result reproduces a known set-theoretical solution to the reflection equation connected to the crystal base theory. △ Less

Submitted 8 April, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 11 pages, v5: minor corrections

MSC Class: 17B37; 17B80

Journal ref: Letters in Mathematical Physics (2019) 109, 2049-2067

Randomized box-ball systems, limit shape of rigged configurations and Thermodynamic Bethe ansatz

Authors: Atsuo Kuniba, Hanbaek Lyu, Masato Okado

Abstract: We introduce a probability distribution on the set of states in a generalized box-ball system associated with Kirillov-Reshetikhin (KR) crystals of type $A^{(1)}_n$. Their conserved quantities induce $n$-tuple of random Young diagrams in the rigged configurations. We determine their limit shape as the system gets large by analyzing the Fermionic formula by thermodynamic Bethe ansatz. The result is… ▽ More We introduce a probability distribution on the set of states in a generalized box-ball system associated with Kirillov-Reshetikhin (KR) crystals of type $A^{(1)}_n$. Their conserved quantities induce $n$-tuple of random Young diagrams in the rigged configurations. We determine their limit shape as the system gets large by analyzing the Fermionic formula by thermodynamic Bethe ansatz. The result is expressed as a logarithmic derivative of a deformed character of the KR modules and agrees with the stationary local energy of the associated Markov process of carriers. △ Less

Submitted 9 October, 2018; v1 submitted 8 August, 2018; originally announced August 2018.

Comments: 24 pages, minor corrections

MSC Class: 82B23; 17B80; 60F99

Journal ref: Nuclear Physics B 937 (2018) 240-271

Kirillov-Reshetikhin modules of generalized quantum group of type $A$

Authors: Jae-Hoon Kwon, Masato Okado

Abstract: The generalized quantum group of type $A$ is an affine analogue of quantum group associated to a general linear Lie superalgebra, which appears in the study of solutions to the tetrahedron equation or the three-dimensional Yang-Baxter equation. In this paper, we develop the crystal base theory for finite-dimensional representations of generalized quantum group of type $A$. As a main result, we con… ▽ More The generalized quantum group of type $A$ is an affine analogue of quantum group associated to a general linear Lie superalgebra, which appears in the study of solutions to the tetrahedron equation or the three-dimensional Yang-Baxter equation. In this paper, we develop the crystal base theory for finite-dimensional representations of generalized quantum group of type $A$. As a main result, we construct Kirillov-Reshetikhin modules, that is, a family of irreducible modules which have crystal bases. We also give an explicit combinatorial description of the crystal structure of Kirillov-Reshetikhin modules, the combinatorial $R$ matrix, and energy function on their tensor products. △ Less

Submitted 23 September, 2019; v1 submitted 15 April, 2018; originally announced April 2018.

Comments: 40 pages. Minor revision

MSC Class: 17B37; 22E46; 05E15

Rigged configuration bijection and proof of the $X=M$ conjecture for nonexceptional affine types

Authors: Masato Okado, Anne Schilling, Travis Scrimshaw

Abstract: We establish a bijection between rigged configurations and highest weight elements of a tensor product of Kirillov-Reshetikhin crystals for all nonexceptional types. A key idea for the proof is to embed both objects into bigger sets for simply-laced types $A_n^{(1)}$ or $D_n^{(1)}$, whose bijections have already been established. As a consequence we settle the $X=M$ conjecture in full generality f… ▽ More We establish a bijection between rigged configurations and highest weight elements of a tensor product of Kirillov-Reshetikhin crystals for all nonexceptional types. A key idea for the proof is to embed both objects into bigger sets for simply-laced types $A_n^{(1)}$ or $D_n^{(1)}$, whose bijections have already been established. As a consequence we settle the $X=M$ conjecture in full generality for nonexceptional types. Furthermore, the bijection extends to a classical crystal isomorphism and sends the combinatorial $R$-matrix to the identity map on rigged configurations. △ Less

Submitted 6 September, 2018; v1 submitted 16 July, 2017; originally announced July 2017.

Comments: 30 pages, 2 figures; v2 Referenced Naoi's work in the introduction, clarified some notation; v3 Various additions for more self-containment (e.g., the signature rule) and typos fixed

MSC Class: Primary 17B37; Secondary: 05A19; 81R50; 82B23

Journal ref: J. Algebra, 516 (2018), pp. 1--37

A $q$-boson representation of Zamolodchikov-Faddeev algebra for stochastic $R$ matrix of $U_q(A^{(1)}_n)$

Authors: Atsuo Kuniba, Masato Okado

Abstract: We construct a $q$-boson representation of the Zamolodchikov-Faddeev algebra whose structure function is given by the stochastic $R$ matrix of $U_q(A^{(1)}_n)$ introduced recently. The representation involves quantum dilogarithm type infinite products in the $n(n-1)/2$-fold tensor product of $q$-bosons. It leads to a matrix product formula of the stationary probabilities in the $U_q(A_n^{(1)})$-ze… ▽ More We construct a $q$-boson representation of the Zamolodchikov-Faddeev algebra whose structure function is given by the stochastic $R$ matrix of $U_q(A^{(1)}_n)$ introduced recently. The representation involves quantum dilogarithm type infinite products in the $n(n-1)/2$-fold tensor product of $q$-bosons. It leads to a matrix product formula of the stationary probabilities in the $U_q(A_n^{(1)})$-zero range process on a one-dimensional periodic lattice. △ Less

Submitted 7 December, 2016; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: 13 pages. Minor changes

MSC Class: 81R50; 60C99

Journal ref: Lett. Math. Phys. 107 (2017) 1111-1130

Matrix product formula for $U_q(A^{(1)}_2)$-zero range process

Authors: Atsuo Kuniba, Masato Okado

Abstract: The $U_q(A^{(1)}_n)$-zero range processes introduced recently by Mangazeev, Maruyama and the authors are integrable discrete and continuous time Markov processes associated with the stochastic $R$ matrix derived from the well-known $U_q(A_n^{(1)})$ quantum $R$ matrix. By constructing a representation of the relevant Zamolodchikov-Faddeev algebra, we present, for $n=2$, a matrix product formula for… ▽ More The $U_q(A^{(1)}_n)$-zero range processes introduced recently by Mangazeev, Maruyama and the authors are integrable discrete and continuous time Markov processes associated with the stochastic $R$ matrix derived from the well-known $U_q(A_n^{(1)})$ quantum $R$ matrix. By constructing a representation of the relevant Zamolodchikov-Faddeev algebra, we present, for $n=2$, a matrix product formula for the steady state probabilities in terms of $q$-boson operators. △ Less

Submitted 29 November, 2016; v1 submitted 9 August, 2016; originally announced August 2016.

Comments: 15 pages. Section 1 revised

MSC Class: 81R50; 60C99

Journal ref: J. Phys. A: Math. Theor. 50 (2017) 044001 (20pp)

Stochastic $R$ matrix for $U_q(A^{(1)}_n)$

Authors: Atsuo Kuniba, Vladimir V. Mangazeev, Shouya Maruyama, Masato Okado

Abstract: We show that the quantum $R$ matrix for symmetric tensor representations of $U_q(A^{(1)}_n)$ satisfies the sum rule required for its stochastic interpretation under a suitable gauge. Its matrix elements at a special point of the spectral parameter are found to factorize into the form that naturally extends Povolotsky's local transition rate in the $q$-Hahn process for $n=1$. Based on these results… ▽ More We show that the quantum $R$ matrix for symmetric tensor representations of $U_q(A^{(1)}_n)$ satisfies the sum rule required for its stochastic interpretation under a suitable gauge. Its matrix elements at a special point of the spectral parameter are found to factorize into the form that naturally extends Povolotsky's local transition rate in the $q$-Hahn process for $n=1$. Based on these results we formulate new discrete and continuous time integrable Markov processes on a one-dimensional chain in terms of $n$ species of particles obeying asymmetric stochastic dynamics. Bethe ansatz eigenvalues of the Markov matrices are also given. △ Less

Submitted 21 June, 2016; v1 submitted 28 April, 2016; originally announced April 2016.

Comments: 21 pages. Remark 9 added, Typos in Appendix A fixed

MSC Class: 81R50; 60C99

Journal ref: Nucl. Phys. B913 (2016) 248--277

Type $D_n^{(1)}$ rigged configuration bijection

Authors: Masato Okado, Reiho Sakamoto, Anne Schilling, Travis Scrimshaw

Abstract: We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fe… ▽ More We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fermionic formula for type $D_n^{(1)}$. In addition, we establish that the bijection is a classical crystal isomorphism. △ Less

Submitted 26 March, 2016; originally announced March 2016.

Comments: 54 pages

MSC Class: 17B37 (Primary) 05A19; 81R50; 82B23 (Secondary)

Journal ref: J Algebr Comb, Volume 46, Issue 2, pp 341-401 (2017)

Multispecies totally asymmetric zero range process: II. Hat relation and tetrahedron equation

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We consider a three-dimensional (3D) lattice model associated with the intertwiner of the quantized coordinate ring $A_q(sl_3)$, and introduce a family of layer to layer transfer matrices on $m\times n$ square lattice. By using the tetrahedron equation we derive their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they lead to a new proof of the steady… ▽ More We consider a three-dimensional (3D) lattice model associated with the intertwiner of the quantized coordinate ring $A_q(sl_3)$, and introduce a family of layer to layer transfer matrices on $m\times n$ square lattice. By using the tetrahedron equation we derive their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they lead to a new proof of the steady state probability of the $n$-species totally asymmetric zero range process obtained recently by the authors, revealing the 3D integrability in the matrix product construction. △ Less

Submitted 11 October, 2016; v1 submitted 15 February, 2016; originally announced February 2016.

Comments: 15 pages, minor corrections

MSC Class: 81R50; 60C99

Journal ref: Journal of Integrable Systems 2016 1 (1): xyw008

Inhomogeneous generalization of multispecies totally asymmetric zero range process

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: The $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic chain studied recently by the authors is a continuous time Markov process where arbitrary number of particles can occupy the same sites and hop to the adjacent sites only in one direction with a priority constraint according to their species. In this paper we introduce an $n$-parameter generalization of t… ▽ More The $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic chain studied recently by the authors is a continuous time Markov process where arbitrary number of particles can occupy the same sites and hop to the adjacent sites only in one direction with a priority constraint according to their species. In this paper we introduce an $n$-parameter generalization of the $n$-TAZRP having inhomogeneous transition rate. The steady state probability is obtained in a matrix product form and also by an algorithm related to combinatorial $R$. △ Less

Submitted 1 February, 2016; originally announced February 2016.

Comments: 15 pages

MSC Class: 81R50; 60C99

Journal ref: J. Stat. Phys. (2016) 952--968

Multispecies totally asymmetric zero range process: I. Multiline process and combinatorial $R$

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We introduce an $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic lattice with $L$ sites. It is a continuous time Markov process in which $n$ species of particles hop to the adjacent site only in one direction under the condition that smaller species ones have the priority to do so. Also introduced is an $n$-line process, a companion stochastic system having… ▽ More We introduce an $n$-species totally asymmetric zero range process ($n$-TAZRP) on one-dimensional periodic lattice with $L$ sites. It is a continuous time Markov process in which $n$ species of particles hop to the adjacent site only in one direction under the condition that smaller species ones have the priority to do so. Also introduced is an $n$-line process, a companion stochastic system having the uniform steady state from which the $n$-TAZRP is derived as the image by a certain projection $π$. We construct the $π$ by a combinatorial $R$ of the quantum affine algebra $U_q(\hat{sl}_L)$ and establish a matrix product formula of the steady state probability of the $n$-TAZRP in terms of corner transfer matrices of a $q=0$-oscillator valued vertex model. These results parallel the recent reformulation of the $n$-species totally asymmetric simple exclusion process ($n$-TASEP) by the authors, demonstrating that $n$-TAZRP and $n$-TASEP are the canonical sister models associated with the symmetric and the antisymmetric tensor representations of $U_q(\hat{sl}_L)$ at $q=0$, respectively. △ Less

Submitted 11 October, 2016; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: 25 pages. Minor corrections in Example 5.9

MSC Class: 81R50; 60C99

Journal ref: Journal of Integrable Systems. 2016 1 (1): xyw002

Multispecies TASEP and the tetrahedron equation

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We introduce a family of layer to layer transfer matrices in a three-dimensional (3D) lattice model which can be viewed as partition functions of the $q$-oscillator valued six-vertex model on $m \times n$ square lattice. By invoking the tetrahedron equation we establish their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they ultimately yield a new pr… ▽ More We introduce a family of layer to layer transfer matrices in a three-dimensional (3D) lattice model which can be viewed as partition functions of the $q$-oscillator valued six-vertex model on $m \times n$ square lattice. By invoking the tetrahedron equation we establish their commutativity and bilinear relations mixing various boundary conditions. At $q=0$ and $m=n$, they ultimately yield a new proof of the steady state formula for the $n$-species totally asymmetric simple exclusion process (TASEP) obtained recently by the authors, revealing the 3D integrability in the matrix product construction. △ Less

Submitted 30 September, 2015; originally announced September 2015.

Comments: 18 pages

MSC Class: 81R50; 60C99

Journal ref: J. Phys. A: Math. Theor. 49 (2016) 114001 (22p)

Multispecies TASEP and combinatorial $R$

Authors: Atsuo Kuniba, Shouya Maruyama, Masato Okado

Abstract: We identify the algorithm for constructing steady states of the $n$-species totally asymmetric simple exclusion process (TASEP) on $L$ site periodic chain by Ferrari and Martin with a composition of combinatorial $R$ for the quantum affine algebra $U_q(\widehat{sl}_L)$ in crystal base theory. Based on this connection and the factorized form of the $R$ matrix derived recently from the tetrahedron e… ▽ More We identify the algorithm for constructing steady states of the $n$-species totally asymmetric simple exclusion process (TASEP) on $L$ site periodic chain by Ferrari and Martin with a composition of combinatorial $R$ for the quantum affine algebra $U_q(\widehat{sl}_L)$ in crystal base theory. Based on this connection and the factorized form of the $R$ matrix derived recently from the tetrahedron equation, we establish a new matrix product formula for the steady state of the TASEP which is expressed in terms of corner transfer matrices of the $q$-oscillator valued five-vertex model at $q=0$. △ Less

Submitted 2 August, 2015; v1 submitted 15 June, 2015; originally announced June 2015.

Comments: 16 pages, minor corrections

MSC Class: 81R50; 60C99

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 34FT02 (19pp)

Similarity and Kirillov-Schilling-Shimozono bijection

Authors: Masato Okado

Abstract: The behavior of the Kirillov-Schilling-Shimozono bijection is examined under the similarity map on Kirillov-Reshetikhin crystals. It enables us to define this bijection over $\mathbb{Q}$. Conjectures on the extension to $\mathbb{R}$ is also presented. The behavior of the Kirillov-Schilling-Shimozono bijection is examined under the similarity map on Kirillov-Reshetikhin crystals. It enables us to define this bijection over $\mathbb{Q}$. Conjectures on the extension to $\mathbb{R}$ is also presented. △ Less

Submitted 10 April, 2015; originally announced April 2015.

Comments: 14 pages

MSC Class: 81R50; 81R10; 05E10; 05A19

Tetrahedron equation and generalized quantum groups

Authors: Atsuo Kuniba, Masato Okado, Sergey Sergeev

Abstract: We construct $2^n$-families of solutions of the Yang-Baxter equation from $n$-products of three-dimensional $R$ and $L$ operators satisfying the tetrahedron equation. They are identified with the quantum $R$ matrices for the Hopf algebras known as generalized quantum groups. Depending on the number of $R$'s and $L$'s involved in the product, the trace construction interpolates the symmetric tensor… ▽ More We construct $2^n$-families of solutions of the Yang-Baxter equation from $n$-products of three-dimensional $R$ and $L$ operators satisfying the tetrahedron equation. They are identified with the quantum $R$ matrices for the Hopf algebras known as generalized quantum groups. Depending on the number of $R$'s and $L$'s involved in the product, the trace construction interpolates the symmetric tensor representations of $U_q(A^{(1)}_{n-1})$ and the anti-symmetric tensor representations of $U_{-q^{-1}}(A^{(1)}_{n-1})$, whereas a boundary vector construction interpolates the $q$-oscillator representation of $U_q(D^{(2)}_{n+1})$ and the spin representation of $U_{-q^{-1}}(D^{(2)}_{n+1})$. The intermediate cases are associated with an affinization of quantum super algebras. △ Less

Submitted 20 June, 2016; v1 submitted 30 March, 2015; originally announced March 2015.

Comments: 28 pages. Minor typo in Prop 2.1 fixed

MSC Class: 81R50; 17B37; 16T25

Journal ref: J. Phys. A: Math. Theor. 48 (2015) 304001 (38pp)

Tetrahedron equation and quantum $R$ matrices for $q$-oscillator representations

Authors: Atsuo Kuniba, Masato Okado

Abstract: We review and supplement the recent result by the authors on the reduction of the three dimensional $R$ (3d $R$) satisfying the tetrahedron equation to the quantum $R$ matrices for the $q$-oscillator representations of $U_q(D^{(2)}_{n+1})$, $U_q(A^{(2)}_{2n})$ and $U_q(C^{(1)}_{n})$. A new formula for the 3d $R$ and a quantum $R$ matrix for $n=1$ are presented and a proof of the irreducibility of… ▽ More We review and supplement the recent result by the authors on the reduction of the three dimensional $R$ (3d $R$) satisfying the tetrahedron equation to the quantum $R$ matrices for the $q$-oscillator representations of $U_q(D^{(2)}_{n+1})$, $U_q(A^{(2)}_{2n})$ and $U_q(C^{(1)}_{n})$. A new formula for the 3d $R$ and a quantum $R$ matrix for $n=1$ are presented and a proof of the irreducibility of the tensor product of the $q$-oscillator representations is detailed. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: 10 pages. For proceedings of the 30th International Colloquium on Group Theoretical Methods in Physics, (Ghent, Belgium, 14-18 July 2014)

MSC Class: 81R50; 17B37; 16T25

Tetrahedron Equation and Quantum $R$ Matrices for modular double of $U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n})$ and $U_q(C^{(1)}_{n})$

Authors: Atsuo Kuniba, Masato Okado, Sergey Sergeev

Abstract: We introduce a homomorphism from the quantum affine algebras $U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n})$ to the $n$-fold tensor product of the $q$-oscillator algebra ${\mathcal A}_q$. Their action commute with the solutions of the Yang-Baxter equation obtained by reducing the solutions of the tetrahedron equation associated with the modular and the Fock representations of… ▽ More We introduce a homomorphism from the quantum affine algebras $U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n})$ to the $n$-fold tensor product of the $q$-oscillator algebra ${\mathcal A}_q$. Their action commute with the solutions of the Yang-Baxter equation obtained by reducing the solutions of the tetrahedron equation associated with the modular and the Fock representations of ${\mathcal A}_q$. In the former case, the commutativity is enhanced to the modular double of these quantum affine algebras. △ Less

Submitted 1 February, 2015; v1 submitted 6 September, 2014; originally announced September 2014.

Comments: 11 pages, minor corrections

MSC Class: 81R50; 17B37; 16T25

Journal ref: Lett. Math. Phys. 105 447--461 (2015)

Tetrahedron equation and quantum R matrices for $q$-oscillator representations of $U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n})$ and $U_q(D^{(2)}_{n+1})$

Authors: Atsuo Kuniba, Masato Okado

Abstract: The intertwiner of the quantized coordinate ring $A_q(sl_3)$ is known to yield a solution to the tetrahedron equation. By evaluating their $n$-fold composition with special boundary vectors we generate series of solutions to the Yang-Baxter equation. Finding their origin in conventional quantum group theory is a clue to the link between two and three dimensional integrable systems. We identify the… ▽ More The intertwiner of the quantized coordinate ring $A_q(sl_3)$ is known to yield a solution to the tetrahedron equation. By evaluating their $n$-fold composition with special boundary vectors we generate series of solutions to the Yang-Baxter equation. Finding their origin in conventional quantum group theory is a clue to the link between two and three dimensional integrable systems. We identify them with the quantum $R$ matrices associated with the $q$-oscillator representations of $U_q(A^{(2)}_{2n})$, $U_q(C^{(1)}_n)$ and $U_q(D^{(2)}_{n+1})$. △ Less

Submitted 20 April, 2014; v1 submitted 17 November, 2013; originally announced November 2013.

Comments: 21 pages. Reference added. Proof of irreducibility of the generic tensor product is added and some insufficient argument for it in the previous version is fixed

MSC Class: 81R50; 17B37; 16T25

Journal ref: Commun. Math. Phys. 334, 1219-1244 (2015)

Tetrahedron equation and quantum R matrices for infinite dimensional modules of U_q(A^{(1)}_1) and U_q(A^{(2)}_2)

Authors: Atsuo Kuniba, Masato Okado

Abstract: From the q-oscillator solution to the tetrahedron equation associated with a quantized coordinate ring, we construct solutions to the Yang-Baxter equation by applying a reduction procedure formulated earlier by S. Sergeev and the first author. The results are identified with the quantum R matrices for the infinite dimensional modules of U_q(A^{(1)}_1) and U_q(A^{(2)}_2) corresponding to an affiniz… ▽ More From the q-oscillator solution to the tetrahedron equation associated with a quantized coordinate ring, we construct solutions to the Yang-Baxter equation by applying a reduction procedure formulated earlier by S. Sergeev and the first author. The results are identified with the quantum R matrices for the infinite dimensional modules of U_q(A^{(1)}_1) and U_q(A^{(2)}_2) corresponding to an affinization of Verma modules of their subalgebras isomorphic to U_q(sl_2) and U_{q^4}(sl_2). △ Less

Submitted 12 November, 2013; v1 submitted 29 August, 2013; originally announced August 2013.

Comments: 11 pages. Section 5 added

MSC Class: 81R50; 17B37; 16T25

Journal ref: J. Phys. A: Math. Theor. 46 (2013) 485203

A Common Structure in PBW Bases of the Nilpotent Subalgebra of $U_q(\mathfrak{g})$ and Quantized Algebra of Functions

Authors: Atsuo Kuniba, Masato Okado, Yasuhiko Yamada

Abstract: For a finite-dimensional simple Lie algebra $\mathfrak{g}$, let $U^+_q(\mathfrak{g})$ be the positive part of the quantized universal enveloping algebra, and $A_q(\mathfrak{g})$ be the quantized algebra of functions. We show that the transition matrix of the PBW bases of $U^+_q(\mathfrak{g})$ coincides with the intertwiner between the irreducible $A_q(\mathfrak{g})$-modules labeled by two differen… ▽ More For a finite-dimensional simple Lie algebra $\mathfrak{g}$, let $U^+_q(\mathfrak{g})$ be the positive part of the quantized universal enveloping algebra, and $A_q(\mathfrak{g})$ be the quantized algebra of functions. We show that the transition matrix of the PBW bases of $U^+_q(\mathfrak{g})$ coincides with the intertwiner between the irreducible $A_q(\mathfrak{g})$-modules labeled by two different reduced expressions of the longest element of the Weyl group of $\mathfrak{g}$. This generalizes the earlier result by Sergeev on $A_2$ related to the tetrahedron equation and endows a new representation theoretical interpretation with the recent solution to the 3D reflection equation for $C_2$. Our proof is based on a realization of $U^+_q(\mathfrak{g})$ in a quotient ring of $A_q(\mathfrak{g})$. △ Less

Submitted 19 July, 2013; v1 submitted 25 February, 2013; originally announced February 2013.

Journal ref: SIGMA 9 (2013), 049, 23 pages

Simplicity and similarity of Kirillov-Reshetikhin crystals

Authors: Masato Okado

Abstract: We show that the Kirillov-Reshetikhin crystal B^{r,s} for nonexceptional affine types is simple and have the similarity property. As a corollary of the first fact we can derive that the tensor product of KR crystals is connected. Variations of the second property are also given. We show that the Kirillov-Reshetikhin crystal B^{r,s} for nonexceptional affine types is simple and have the similarity property. As a corollary of the first fact we can derive that the tensor product of KR crystals is connected. Variations of the second property are also given. △ Less

Submitted 3 December, 2012; originally announced December 2012.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:0810.5067

MSC Class: 81R50; 81R10; 05E10

A solution of the 3D reflection equation from quantized algebra of functions of type B

Authors: Atsuo Kuniba, Masato Okado

Abstract: Let A_q(g) be the quantized algebra of functions associated with simple Lie algebra g defined by generators obeying the so called RTT relations. We describe the embedding $A_q(B_2) \hookrightarrow A_q(C_2)$ explicitly. As an application, a new solution of the Isaev-Kulish 3D reflection equation is constructed by combining the embedding with the previous solution for A_q(C_2) by the authors. Let A_q(g) be the quantized algebra of functions associated with simple Lie algebra g defined by generators obeying the so called RTT relations. We describe the embedding $A_q(B_2) \hookrightarrow A_q(C_2)$ explicitly. As an application, a new solution of the Isaev-Kulish 3D reflection equation is constructed by combining the embedding with the previous solution for A_q(C_2) by the authors. △ Less

Submitted 30 October, 2012; v1 submitted 23 October, 2012; originally announced October 2012.

Comments: 7 pages, 1 figure. For proceedings of The XXIX International Colloquium on Group-Theoretical Methods in Physics, August 20-26, 2012, Chern Institute of Mathematics, Tianjin, China

MSC Class: 17B37; 17B80

Journal ref: Symmetries and groups in contemporary physics, Nankai Series in Pure, Applied Mathematics and Theoretical Physics vol.11, p181-190, World Scientific (2013)

Tetrahedron and 3D reflection equations from quantized algebra of functions

Authors: Atsuo Kuniba, Masato Okado

Abstract: Soibelman's theory of quantized function algebra A_q(SL_n) provides a representation theoretical scheme to construct a solution of the Zamolodchikov tetrahedron equation. We extend this idea originally due to Kapranov and Voevodsky to A_q(Sp_{2n}) and obtain the intertwiner K corresponding to the quartic Coxeter relation. Together with the previously known 3-dimensional (3D) R matrix, the K yields… ▽ More Soibelman's theory of quantized function algebra A_q(SL_n) provides a representation theoretical scheme to construct a solution of the Zamolodchikov tetrahedron equation. We extend this idea originally due to Kapranov and Voevodsky to A_q(Sp_{2n}) and obtain the intertwiner K corresponding to the quartic Coxeter relation. Together with the previously known 3-dimensional (3D) R matrix, the K yields the first ever solution to the 3D analogue of the reflection equation proposed by Isaev and Kulish. It is shown that matrix elements of R and K are polynomials in q and that there are combinatorial and birational counterparts for R and K. The combinatorial ones arise either at q=0 or by tropicalization of the birational ones. A conjectural description for the type B and F_4 cases is also given. △ Less

Submitted 26 February, 2019; v1 submitted 8 August, 2012; originally announced August 2012.

Comments: 26 pages. Minor corrections

MSC Class: 17B37; 17B80

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 465206 (27pp)

Affine crystal structure on rigged configurations of type D_n^(1)

Authors: Masato Okado, Reiho Sakamoto, Anne Schilling

Abstract: Extending the work arXiv:math/0508107, we introduce the affine crystal action on rigged configurations which is isomorphic to the Kirillov-Reshetikhin crystal B^{r,s} of type D_n^(1) for any r,s. We also introduce a representation of B^{r,s} (r not equal to n-1,n) in terms of tableaux of rectangular shape r x s, which we coin Kirillov-Reshetikhin tableaux (using a non-trivial analogue of the type… ▽ More Extending the work arXiv:math/0508107, we introduce the affine crystal action on rigged configurations which is isomorphic to the Kirillov-Reshetikhin crystal B^{r,s} of type D_n^(1) for any r,s. We also introduce a representation of B^{r,s} (r not equal to n-1,n) in terms of tableaux of rectangular shape r x s, which we coin Kirillov-Reshetikhin tableaux (using a non-trivial analogue of the type A column splitting procedure) to construct a bijection between elements of a tensor product of Kirillov-Reshetikhin crystals and rigged configurations. △ Less

Submitted 22 June, 2012; v1 submitted 15 September, 2011; originally announced September 2011.

Comments: 26 pages, 3 figures. (v3) corrections in the proof reading. (v2) 26 pages; examples added; introduction revised; final version. (v1) 24 pages

MSC Class: 17B37; 05A19; 05A15; 81R50; 82B23

Journal ref: Journal of Algebraic Combinatorics 37 (2013) 571--599

Soliton cellular automaton associated with $G_2^{(1)}$ crystal base

Authors: Kailash C. Misra, Masato Okado, Evan A. Wilson

Abstract: We calculate the combinatorial $R$ matrix for all elements of $\mathcal{B}_l\otimes \mathcal{B}_1$ where $\mathcal{B}_l$ denotes the $G_2^{(1)}$-perfect crystal of level $l$, and then study the soliton cellular automaton constructed from it. The solitons of length $l$ are identified with elements of the $A_1^{(1)}$-crystal $\tilde{\mathcal{B}}_{3l}$. The scattering rule for our soliton cellular au… ▽ More We calculate the combinatorial $R$ matrix for all elements of $\mathcal{B}_l\otimes \mathcal{B}_1$ where $\mathcal{B}_l$ denotes the $G_2^{(1)}$-perfect crystal of level $l$, and then study the soliton cellular automaton constructed from it. The solitons of length $l$ are identified with elements of the $A_1^{(1)}$-crystal $\tilde{\mathcal{B}}_{3l}$. The scattering rule for our soliton cellular automaton is identified with the combinatorial $R$ matrix for $A_1^{(1)}$-crystals. △ Less

Submitted 13 September, 2011; originally announced September 2011.

KKR type bijection for the exceptional affine algebra E_6^{(1)}

Authors: Masato Okado, Nobumasa Sano

Abstract: For the exceptional affine type E_6^{(1)} we establish a statistic-preserving bijection between the highest weight paths consisting of the simplest Kirillov-Reshetikhin crystal and the rigged configurations. The algorithm only uses the structure of the crystal graph, hence could also be applied to other exceptional types. For the exceptional affine type E_6^{(1)} we establish a statistic-preserving bijection between the highest weight paths consisting of the simplest Kirillov-Reshetikhin crystal and the rigged configurations. The algorithm only uses the structure of the crystal graph, hence could also be applied to other exceptional types. △ Less

Submitted 10 June, 2011; v1 submitted 9 May, 2011; originally announced May 2011.

Comments: 16 pages; typos fixed

MSC Class: Primary 17B37 82B23 05A19; Secondary 17B25 81R50 81R10 05E10 11B65

X = K under review

Authors: Cedric Lecouvey, Masato Okado, Mark Shimozono

Abstract: We review the X = K conjecture and important ingredients for the proof. We also attach notes on the rank estimate for the X = K theorem to hold and on the strange relation that was found to be valid without the assumption that the rank is sufficiently large. Using the latter one obtains an algorithm to calculate the image of the combinatorial R-matrix and the value of the coenergy function. We review the X = K conjecture and important ingredients for the proof. We also attach notes on the rank estimate for the X = K theorem to hold and on the strange relation that was found to be valid without the assumption that the rank is sufficiently large. Using the latter one obtains an algorithm to calculate the image of the combinatorial R-matrix and the value of the coenergy function. △ Less

Submitted 9 May, 2011; originally announced May 2011.

Comments: 10 pages

MSC Class: 17B37; 05E15; 81R10

Stable Rigged Configurations for Quantum Affine Algebras of Nonexceptional Types

Authors: Masato Okado, Reiho Sakamoto

Abstract: For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood-Richardson coefficients. Combining this result with math.CO/9901037 and arXiv:1002.3715 we settle the X=M conjecture under the… ▽ More For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood-Richardson coefficients. Combining this result with math.CO/9901037 and arXiv:1002.3715 we settle the X=M conjecture under the large rank hypothesis. △ Less

Submitted 22 September, 2011; v1 submitted 3 August, 2010; originally announced August 2010.

Comments: 30 pages, minor revision, final version

Journal ref: Advances in Mathematics 228 (2011) 1262-1293

Affine crystals, one-dimensional sums and parabolic Lusztig q-analogues

Authors: Cedric Lecouvey, Masato Okado, Mark Shimozono

Abstract: This paper is concerned with one-dimensional sums in classical affine types. We prove a conjecture of the third author and Zabrocki by showing they all decompose in terms of one-dimensional sums related to affine type A provided the rank of the root system considered is sufficiently large. As a consequence, any one-dimensional sum associated to a classical affine root system with sufficiently larg… ▽ More This paper is concerned with one-dimensional sums in classical affine types. We prove a conjecture of the third author and Zabrocki by showing they all decompose in terms of one-dimensional sums related to affine type A provided the rank of the root system considered is sufficiently large. As a consequence, any one-dimensional sum associated to a classical affine root system with sufficiently large rank can be regarded as a parabolic Lusztig q-analogue. △ Less

Submitted 9 May, 2011; v1 submitted 19 February, 2010; originally announced February 2010.

Comments: 37 pages; proof of Theorem 8.1 simplified; revised in several places and typos corrected

MSC Class: 17B37; 05E15; 81R10

Zero Action on Perfect Crystals for U_q(G_2^{(1)})

Authors: Kailash C. Misra, Mahathir Mohamad, Masato Okado

Abstract: The actions of 0-Kashiwara operators on the $U'_q(G_2^{(1)})$-crystal $B_l$ in [Yamane S., J. Algebra 210 (1998), 440-486] are made explicit by using a similarity technique from that of a $U'_q(D_4^{(3)})$-crystal. It is shown that $\{B_l\}_{l\ge1}$ forms a coherent family of perfect crystals. The actions of 0-Kashiwara operators on the $U'_q(G_2^{(1)})$-crystal $B_l$ in [Yamane S., J. Algebra 210 (1998), 440-486] are made explicit by using a similarity technique from that of a $U'_q(D_4^{(3)})$-crystal. It is shown that $\{B_l\}_{l\ge1}$ forms a coherent family of perfect crystals. △ Less

Submitted 9 March, 2010; v1 submitted 13 November, 2009; originally announced November 2009.

MSC Class: 81R50; 81R10; 05E99

Journal ref: SIGMA 6 (2010), 022, 12 pages

Combinatorial R-matrices for Kirillov--Reshetikhin crystals of type D^{(1)}_n, B^{(1)}_n, A^{(2)}_{2n-1}

Authors: Masato Okado, Reiho Sakamoto

Abstract: We calculate the image of the combinatorial R-matrix for any classical highest weight element in the tensor product of Kirillov--Reshetikhin crystals $B^{r,k}\otimes B^{1,l}$ of type $D^{(1)}_n, B^{(1)}_n, A^{(2)}_{2n-1}$. The notion of $\pm$-diagrams is effectively used for the identification of classical highest weight elements in $B^{1,l}\otimes B^{r,k}$. We calculate the image of the combinatorial R-matrix for any classical highest weight element in the tensor product of Kirillov--Reshetikhin crystals $B^{r,k}\otimes B^{1,l}$ of type $D^{(1)}_n, B^{(1)}_n, A^{(2)}_{2n-1}$. The notion of $\pm$-diagrams is effectively used for the identification of classical highest weight elements in $B^{1,l}\otimes B^{r,k}$. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Comments: 27 pages

Journal ref: International Mathematics Research Notices (2010) 2010:559-593

Perfectness of Kirillov-Reshetikhin crystals for nonexceptional types

Authors: Ghislain Fourier, Masato Okado, Anne Schilling

Abstract: For nonexceptional types, we prove a conjecture of Hatayama et al. about the prefectness of Kirillov-Reshetikhin crystals. For nonexceptional types, we prove a conjecture of Hatayama et al. about the prefectness of Kirillov-Reshetikhin crystals. △ Less

Submitted 10 November, 2008; originally announced November 2008.

Comments: 17 pages

MSC Class: 81R50; 81R10; 05E99

Journal ref: Contemp. Math. 506 (2010) 127-143

Kirillov--Reshetikhin crystals for nonexceptional types

Authors: Ghislain Fourier, Masato Okado, Anne Schilling

Abstract: We provide combinatorial models for all Kirillov--Reshetikhin crystals of nonexceptional type, which were recently shown to exist. For types D_n^(1), B_n^(1), A_{2n-1}^(2) we rely on a previous construction using the Dynkin diagram automorphism which interchanges nodes 0 and 1. For type C_n^(1) we use a Dynkin diagram folding and for types A_{2n}^(2), D_{n+1}^(2) a similarity construction. We al… ▽ More We provide combinatorial models for all Kirillov--Reshetikhin crystals of nonexceptional type, which were recently shown to exist. For types D_n^(1), B_n^(1), A_{2n-1}^(2) we rely on a previous construction using the Dynkin diagram automorphism which interchanges nodes 0 and 1. For type C_n^(1) we use a Dynkin diagram folding and for types A_{2n}^(2), D_{n+1}^(2) a similarity construction. We also show that for types C_n^(1) and D_{n+1}^(2) the analog of the Dynkin diagram automorphism exists on the level of crystals. △ Less

Submitted 5 June, 2009; v1 submitted 28 October, 2008; originally announced October 2008.

Comments: 35 pages; typos fixed; to appear in Advances in Mathematics

MSC Class: 81R50; 81R10; 05E99

Journal ref: Adv.Math.222:1080-1116,2009

Tropical R maps and Affine Geometric Crystals

Authors: Masaki Kashiwara, Toshiki Nakashima, Masato Okado

Abstract: By modifying the method in [KNO], certain affine geometric crystals are realized in affinization of the fundamental representation $W(\varpi_1)_l$ and the tropical R maps for the affine geometric crystals are described explicitly. We also define prehomogeneous geometric crystals and show that for a positive geometric crystal, the connectedness of the corresponding ultra-discretized crystal is th… ▽ More By modifying the method in [KNO], certain affine geometric crystals are realized in affinization of the fundamental representation $W(\varpi_1)_l$ and the tropical R maps for the affine geometric crystals are described explicitly. We also define prehomogeneous geometric crystals and show that for a positive geometric crystal, the connectedness of the corresponding ultra-discretized crystal is the sufficient condition for prehomogeneity of the positive geometric crystal. Moreover, the uniqueness of tropical R maps is discussed. △ Less

Submitted 18 August, 2008; originally announced August 2008.

Comments: 53 pages

MSC Class: 17B37; 17B67

Existence of Kirillov-Reshetikhin crystals for nonexceptional types

Authors: Masato Okado, Anne Schilling

Abstract: Using the methods of Kang et al. and recent results on the characters of Kirillov-Reshetikhin modules by Nakajima and Hernandez, the existence of Kirillov-Reshetikhin crystals B^{r,s} is established for all nonexceptional affine types. We also prove that the crystals B^{r,s} of type B_n^{(1)}, D_n^{(1)}, and A_{2n-1}^{(2)} are isomorphic to recently constructed combinatorial crystals for r not a… ▽ More Using the methods of Kang et al. and recent results on the characters of Kirillov-Reshetikhin modules by Nakajima and Hernandez, the existence of Kirillov-Reshetikhin crystals B^{r,s} is established for all nonexceptional affine types. We also prove that the crystals B^{r,s} of type B_n^{(1)}, D_n^{(1)}, and A_{2n-1}^{(2)} are isomorphic to recently constructed combinatorial crystals for r not a spin node. △ Less

Submitted 10 November, 2008; v1 submitted 15 June, 2007; originally announced June 2007.

Comments: 23 pages; version that appeared in Representation Theory and erratum added

MSC Class: 81R50; 81R10; 17B37

Journal ref: Represent.Theory12:186-207,2008

Existence of Crystal Bases for Kirillov-Reshetikhin Modules of Type D

Authors: Masato Okado

Abstract: We show that a crystal base exists for any Kirillov-Reshetikhin module of type $D_n^{(1)}$, generalizing the result of [(KMN)^2] for the end nodes of the Dynkin diagram of $D_n$. We show that a crystal base exists for any Kirillov-Reshetikhin module of type $D_n^{(1)}$, generalizing the result of [(KMN)^2] for the end nodes of the Dynkin diagram of $D_n$. △ Less

Submitted 14 November, 2006; v1 submitted 28 October, 2006; originally announced October 2006.

Comments: 21 pages. A reference added

MSC Class: 17B37

Journal ref: Publ.Res.Inst.Math.Sci.Kyoto.43:977-1004,2007

Perfect Crystals for U_q(D_4^{(3)})

Authors: Masaki Kashiwara, Kailash C. Misra, Masato Okado, Daisuke Yamada

Abstract: A perfect crystal of any level is constructed for the Kirillov-Reshetikhin module of $U_q(D_4^{(3)})$ corresponding to the middle vertex of the Dynkin diagram. The actions of Kashiwara operators are given explicitly. It is also shown that this family of perfect crystals is coherent. A uniqueness problem solved in this paper can be applied to other quantum affine algebras. A perfect crystal of any level is constructed for the Kirillov-Reshetikhin module of $U_q(D_4^{(3)})$ corresponding to the middle vertex of the Dynkin diagram. The actions of Kashiwara operators are given explicitly. It is also shown that this family of perfect crystals is coherent. A uniqueness problem solved in this paper can be applied to other quantum affine algebras. △ Less

Submitted 28 October, 2006; originally announced October 2006.

Comments: 27 pages

MSC Class: 17B37

Journal ref: J.Algebra317:392-423,2007

Crystal interpretation of Kerov-Kirillov-Reshetikhin bijection

Authors: Atsuo Kuniba, Masato Okado, Reiho Sakamoto, Taichiro Takagi, Yasuhiko Yamada

Abstract: The Kerov-Kirillov-Reshetikhin (KKR) bijection is the crux in proving fermionic formulas. It is defined by a combinatorial algorithm on rigged configurations and highest paths. We reformulate the KKR bijection as a vertex operator by purely using combinatorial R in crystal base theory. The result is viewed as a nested Bethe ansatz at q=0 as well as the direct and the inverse scattering (Gel'fand… ▽ More The Kerov-Kirillov-Reshetikhin (KKR) bijection is the crux in proving fermionic formulas. It is defined by a combinatorial algorithm on rigged configurations and highest paths. We reformulate the KKR bijection as a vertex operator by purely using combinatorial R in crystal base theory. The result is viewed as a nested Bethe ansatz at q=0 as well as the direct and the inverse scattering (Gel'fand-Levitan) map in the associated soliton cellular automaton. △ Less

Submitted 25 January, 2006; originally announced January 2006.

Comments: 28 pages

Journal ref: Nucl.Phys.B740:299-327,2006

Affine Geometric Crystals and Limit of Perfect Crystals

Authors: Masaki Kashiwara, Toshiki Nakashima, Masato Okado

Abstract: For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect crystals of the Langlands dual affine Lie algebra. For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect crystals of the Langlands dual affine Lie algebra. △ Less

Submitted 30 December, 2005; originally announced December 2005.

Comments: 46 pages

Box-ball system with reflecting end

Authors: Atsuo Kuniba, Masato Okado, Yasuhiko Yamada

Abstract: A soliton cellular automaton on a one dimensional semi-infinite lattice with a reflecting end is presented. It extends a box-ball system on an infinite lattice associated with the crystal base of U_q(sl_n). A commuting family of time evolutions are obtained by adapting the K matrices and the double row construction of transfer matrices in solvable lattice models to a crystal setting. Factorized… ▽ More A soliton cellular automaton on a one dimensional semi-infinite lattice with a reflecting end is presented. It extends a box-ball system on an infinite lattice associated with the crystal base of U_q(sl_n). A commuting family of time evolutions are obtained by adapting the K matrices and the double row construction of transfer matrices in solvable lattice models to a crystal setting. Factorized scattering among the left and the right moving solitons and the boundary reflection rule are determined. △ Less

Submitted 19 November, 2004; originally announced November 2004.

Comments: 32 pages, 12 figure

Journal ref: J. Nonlin. Math. Phys. vol.12 (2005) 475--507

A Quantization of Box-Ball Systems

Authors: Rei Inoue, Atsuo Kuniba, Masato Okado

Abstract: An L operator is presented related to an infinite dimensional limit of the fusion R matrices for U_q(A^{(1)}_{n-1}) and U_q(D^{(1)}_n). It is factorized into the local propagation operators which quantize the deterministic dynamics of particles and antiparticles in the soliton cellular automata known as the box-ball systems and their generalizations. Some properties of the dynamical amplitudes a… ▽ More An L operator is presented related to an infinite dimensional limit of the fusion R matrices for U_q(A^{(1)}_{n-1}) and U_q(D^{(1)}_n). It is factorized into the local propagation operators which quantize the deterministic dynamics of particles and antiparticles in the soliton cellular automata known as the box-ball systems and their generalizations. Some properties of the dynamical amplitudes are also investigated. △ Less

Submitted 27 April, 2004; originally announced April 2004.

Comments: 29 pages, 8 figures

Journal ref: Reviews. Math. Phys. 16 (2004) 1227-1258.

Tropical R and Tau Functions

Authors: Atsuo Kuniba, Masato Okado, Taichiro Takagi, Yasuhiko Yamada

Abstract: Tropical R is the birational map that intertwines products of geometric crystals and satisfies the Yang-Baxter equation. We show that the D^{(1)}_n tropical R introduced by the authors and its reduction to A^{(2)}_{2n-1} and C^{(1)}_n are equivalent to a system of bilinear difference equations of Hirota type. Associated tropical vertex models admit solutions in terms of tau functions of the BKP… ▽ More Tropical R is the birational map that intertwines products of geometric crystals and satisfies the Yang-Baxter equation. We show that the D^{(1)}_n tropical R introduced by the authors and its reduction to A^{(2)}_{2n-1} and C^{(1)}_n are equivalent to a system of bilinear difference equations of Hirota type. Associated tropical vertex models admit solutions in terms of tau functions of the BKP and DKP hierarchies. △ Less

Submitted 27 March, 2003; v1 submitted 7 March, 2003; originally announced March 2003.

Comments: LaTeX2e, 26pages

MSC Class: Primary 17B37; 37K30; Secondary 14E05

Journal ref: Commun. Math. Phys. 245 (2004) 491-517