Showing 1–29 of 29 results for author: Okado, M

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

Integrable Structure of Multispecies Zero Range Process

Authors: Atsuo Kuniba, Masato Okado, Satoshi Watanabe

Abstract: We present a brief review on integrability of multispecies zero range process in one dimension introduced recently. The topics range over stochastic $R$ matrices of quantum affine algebra $U_q (A^{(1)}_n)$, matrix product construction of stationary states for periodic systems, $q$-boson representation of Zamolodchikov-Faddeev algebra, etc. We also introduce new commuting Markov transfer matrices h… ▽ More We present a brief review on integrability of multispecies zero range process in one dimension introduced recently. The topics range over stochastic $R$ matrices of quantum affine algebra $U_q (A^{(1)}_n)$, matrix product construction of stationary states for periodic systems, $q$-boson representation of Zamolodchikov-Faddeev algebra, etc. We also introduce new commuting Markov transfer matrices having a mixed boundary condition and prove the factorization of a family of $R$ matrices associated with the tetrahedron equation and generalized quantum groups at a special point of the spectral parameter. △ Less

Submitted 17 June, 2017; v1 submitted 25 January, 2017; originally announced January 2017.

Journal ref: SIGMA 13 (2017), 044, 29 pages

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

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)

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)

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

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)

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

Geometric Crystal and Tropical R for D^(1)_n

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

Abstract: We construct a geometric crystal for the affine Lie algebra D^{(1)}_n in the sense of Berenstein and Kazhdan. Based on a matrix realization including a spectral parameter, we prove uniqueness and explicit form of the tropical R, the birational map that intertwines products of the geometric crystals. The tropical R commutes with geometric Kashiwara operators and satisfies the Yang-Baxter equation… ▽ More We construct a geometric crystal for the affine Lie algebra D^{(1)}_n in the sense of Berenstein and Kazhdan. Based on a matrix realization including a spectral parameter, we prove uniqueness and explicit form of the tropical R, the birational map that intertwines products of the geometric crystals. The tropical R commutes with geometric Kashiwara operators and satisfies the Yang-Baxter equation. It is subtraction-free and yields a piecewise linear formula of the combinatorial R for crystals upon ultradiscretization. △ Less

Submitted 30 August, 2002; originally announced August 2002.

Comments: 41 pages

MSC Class: 17B37

Journal ref: Int. Math. Res. Notices 48 (2003) 2565-2620

Difference L operators related to q-characters

Authors: A. Kuniba, M. Okado, J. Suzuki, Y. Yamada

Abstract: We introduce a factorized difference operator L(u) annihilated by the Frenkel-Reshetikhin screening operator for the quantum affine algebra U_q(C^{(1)}_n). We identify the coefficients of L(u) with the fundamental q-characters, and establish a number of formulas for their higher analogues. They include Jacobi-Trudi and Weyl type formulas, canceling tableau sums, Casorati determinant solution to… ▽ More We introduce a factorized difference operator L(u) annihilated by the Frenkel-Reshetikhin screening operator for the quantum affine algebra U_q(C^{(1)}_n). We identify the coefficients of L(u) with the fundamental q-characters, and establish a number of formulas for their higher analogues. They include Jacobi-Trudi and Weyl type formulas, canceling tableau sums, Casorati determinant solution to the T-system, and so forth. Analogous operators for the orthogonal series U_q(B^{(1)}_n) and U_q(D^{(1)}_n) are also presented. △ Less

Submitted 19 September, 2001; originally announced September 2001.

Comments: 25 pages, LaTeX2e, no figure

MSC Class: 81R50(Primary); 82B23(Secondary)

Journal ref: J.Phys.A35:1415-1436,2002

Paths, Crystals and Fermionic Formulae

Authors: G. Hatayama, A. Kuniba, M. Okado, T. Takagi, Z. Tsuboi

Abstract: We introduce a fermionic formula associated with any quantum affine algebra U_q(X^{(r)}_N). Guided by the interplay between corner transfer matrix and Bethe ansatz in solvable lattice models, we study several aspects related to representation theory, most crucially, the crystal basis theory. They include one dimensional sums over both finite and semi-infinite paths, spinon character formulae, Le… ▽ More We introduce a fermionic formula associated with any quantum affine algebra U_q(X^{(r)}_N). Guided by the interplay between corner transfer matrix and Bethe ansatz in solvable lattice models, we study several aspects related to representation theory, most crucially, the crystal basis theory. They include one dimensional sums over both finite and semi-infinite paths, spinon character formulae, Lepowski-Primc type conjectural formula for vacuum string functions, dilogarithm identities, Q-systems and their solution by characters of various classical subalgebras and so forth. The results expand [HKOTY1] including the twisted cases and more details on inhomogeneous paths consisting of non-perfect crystals. As a most intriguing example, certain inhomogeneous one dimensional sums conjecturally give rise to branching functions of an integrable G^{(1)}_2-module related to the embedding G^{(1)}_2 \hookrightarrow B^{(1)}_3 \hookrightarrow D^{(1)}_4. △ Less

Submitted 15 February, 2001; originally announced February 2001.

Comments: LaTeX2e, 68 pages, no figure

MSC Class: Primary 81R10; 81R50; 82B23; Secondary 05E15

Journal ref: Prog.Math.Phys. 23 (2002) 205-272

Scattering rules in soliton cellular automata associated with crystal bases

Authors: G. Hatayama, A. Kuniba, M. Okado, T. Takagi, Y. Yamada

Abstract: Solvable vertex models in a ferromagnetic regime give rise to soliton cellular automata at q=0. By means of the crystal base theory, we study a class of such automata associated with the quantum affine algebra U_q(g_n) for non exceptional series g_n = A^{(2)}_{2n-1}, A^{(2)}_{2n}, B^{(1)}_n, C^{(1)}_n, D^{(1)}_n and D^{(2)}_{n+1}. They possess a commuting family of time evolutions and solitons l… ▽ More Solvable vertex models in a ferromagnetic regime give rise to soliton cellular automata at q=0. By means of the crystal base theory, we study a class of such automata associated with the quantum affine algebra U_q(g_n) for non exceptional series g_n = A^{(2)}_{2n-1}, A^{(2)}_{2n}, B^{(1)}_n, C^{(1)}_n, D^{(1)}_n and D^{(2)}_{n+1}. They possess a commuting family of time evolutions and solitons labeled by crystals of the smaller algebra U_q(g_{n-1}). Two-soliton scattering rule is identified with the combinatorial R of U_q(g_{n-1})-crystals, and the multi-soliton scattering is shown to factorize into the two-body ones. △ Less

Submitted 8 January, 2001; v1 submitted 27 July, 2000; originally announced July 2000.

Comments: 31pages, LaTeX2e, no figure. For proceedings of Infinite-Dimensional Lie Theory and Conformal Field Theory. Some minor points corrected

MSC Class: 81R50 (Primary) 82B23; 37B15 (Secondary)

Journal ref: Contemp. Math. 297 (2002) 151-182

Combinatorial R matrices for a family of crystals : C^{(1)}_n and A^{(2)}_{2n-1} cases

Authors: Goro Hatayama, Atsuo Kuniba, Masato Okado, Taichiro Takagi

Abstract: The combinatorial R matrices are obtained for a family {B_l} of crystals for U'_q(C^{(1)}_n) and U'_q(A^{(2)}_{2n-1}), where B_l is the crystal of the irreducible module corresponding to the one-row Young diagram of length l. The isomorphism B_l\otimes B_k \simeq B_k \otimes B_l and the energy function are described explicitly in terms of a C_n-analogue of the Robinson-Schensted-Knuth type inser… ▽ More The combinatorial R matrices are obtained for a family {B_l} of crystals for U'_q(C^{(1)}_n) and U'_q(A^{(2)}_{2n-1}), where B_l is the crystal of the irreducible module corresponding to the one-row Young diagram of length l. The isomorphism B_l\otimes B_k \simeq B_k \otimes B_l and the energy function are described explicitly in terms of a C_n-analogue of the Robinson-Schensted-Knuth type insertion algorithm. As an application a C^{(1)}_n-analogue of the Kostka polynomials is calculated for several cases. △ Less

Submitted 15 September, 1999; v1 submitted 14 September, 1999; originally announced September 1999.

Comments: 38 pages, latex2e, no figure

MSC Class: 81R10; 81R50

Journal ref: Prog. Math. Phys. 191 "Physical Combinatorics" (2000) 105--139

Remarks on Fermionic Formula

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

Abstract: Fermionic formulae originate in the Bethe ansatz in solvable lattice models. They are specific expressions of some q-polynomials as sums of products of q-binomial coefficients. We consider the fermionic formulae associated with general non-twisted quantum affine algebra U_q(X^{(1)}_n) and discuss several aspects related to representation theories and combinatorics. They include crystal base theo… ▽ More Fermionic formulae originate in the Bethe ansatz in solvable lattice models. They are specific expressions of some q-polynomials as sums of products of q-binomial coefficients. We consider the fermionic formulae associated with general non-twisted quantum affine algebra U_q(X^{(1)}_n) and discuss several aspects related to representation theories and combinatorics. They include crystal base theory, one dimensional sums, spinon character formulae, Q-system and combinatorial completeness of the string hypothesis for arbitrary X_n. △ Less

Submitted 30 July, 1999; v1 submitted 3 December, 1998; originally announced December 1998.

Comments: 49 pages, no figures, LaTeX2e using package amsmath

MSC Class: 81R10; 81R50; 82B23 (Primary); 05E15 (Secondary)

Journal ref: Contemporary Mathematics 248(1999) 243-291