Source author record

Atsuo Kuniba

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

31works
12topics
4close collaborators

Published work

31 publications

preprint2022arXiv

Current correlations, Drude weights and large deviations in a box-ball system

We explore several aspects of the current fluctuations and correlations in the box-ball system (BBS), an integrable cellular automaton in one space dimension. The state we consider is an ensemble of microscopic configurations where the box occupancies are independent random variables (i.i.d. state), with a given mean ball density. We compute several quantities exactly in such homogeneous stationary state: the mean value and the variance of the number of balls NtN_t crossing the origin during time tt, and the scaled cumulants generating function associated to NtN_t. We also compute two spatially integrated current-current correlations. The first one, involving the long-time limit of the current-current correlations, is the so-called Drude weight and is obtained with thermodynamic Bethe Ansatz (TBA). The second one, involving equal time current-current correlations is calculated using a transfer matrix approach. A family of generalized currents, associated to the conserved charges and to the different time evolutions of the models are constructed. The long-time limits of their correlations generalize the Drude weight and the second cumulant of NtN_t and are found to obey nontrivial symmetry relations. They are computed using TBA and the results are found to be in good agreement with microscopic simulations of the model. TBA is also used to compute explicitly the whole family of flux Jacobian matrices. Finally, some of these results are extended to a (non-i.i.d.) two-temperatures generalized Gibbs state (with one parameter coupled to the total number of balls, and another one coupled to the total number of solitons).

preprint2022arXiv

On tetrahedron type equations associated with B3,C3,F4B_3,C_3, F_4 and H3H_3

Tetrahedron equation is a three dimensional analogue of the Yang-Baxter equation. It allows a formulation in terms of the Coxeter group A3A_3. This short note includes miscellaneous remarks on the generalizations along B3,C3,F4B_3, C_3, F_4 and the non-crystallographic Coxeter group H3H_3. It is a supplement to the author's talk in the online workshop, Combinatorial Representation Theory and Connections with Related Fields, at RIMS, Kyoto University in November 2021.

preprint2019arXiv

Large deviations and one-sided scaling limit of randomized multicolor box-ball system

The basic κκ-color box-ball (BBS) system is an integrable cellular automaton on one dimensional lattice whose local states take {0,1,⋯ ,κ}\{0,1,\cdots,κ\} with 00 regarded as an empty box. The time evolution is defined by a combinatorial rule of quantum group theoretical origin, and the complete set of conserved quantities is given by a κκ-tuple of Young diagrams. In the randomized BBS, a probability distribution on {0,1,⋯ ,κ}\{0,1,\cdots,κ\} to independently fill the consecutive nn sites in the initial state induces a highly nontrivial probability measure on the κκ-tuple of those invariant Young diagrams. In a recent work \cite{kuniba2018randomized}, their large nn `equilibrium shape' has been determined in terms of Schur polynomials by a Markov chain method and also by a very different approach of Thermodynamic Bethe Ansatz (TBA). In this paper, we establish a large deviations principle for the row lengths of the invariant Young diagrams. As a corollary, they are shown to converge almost surely to the equilibrium shape at an exponential rate. We also refine the TBA analysis and obtain the exact scaling form of the vacancy, the row length and the column multiplicity, which exhibit nontrivial factorization in a one-parameter specialization.

preprint2016arXiv

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

The Uq(An(1))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 RR matrix derived from the well-known Uq(An(1))U_q(A_n^{(1)}) quantum RR matrix. By constructing a representation of the relevant Zamolodchikov-Faddeev algebra, we present, for n=2n=2, a matrix product formula for the steady state probabilities in terms of qq-boson operators.

preprint2016arXiv

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

We introduce an nn-species totally asymmetric zero range process (nn-TAZRP) on one-dimensional periodic lattice with LL sites. It is a continuous time Markov process in which nn 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 nn-line process, a companion stochastic system having the uniform steady state from which the nn-TAZRP is derived as the image by a certain projection ππ. We construct the ππ by a combinatorial RR of the quantum affine algebra Uq(sl^L)U_q(\hat{sl}_L) and establish a matrix product formula of the steady state probability of the nn-TAZRP in terms of corner transfer matrices of a q=0q=0-oscillator valued vertex model. These results parallel the recent reformulation of the nn-species totally asymmetric simple exclusion process (nn-TASEP) by the authors, demonstrating that nn-TAZRP and nn-TASEP are the canonical sister models associated with the symmetric and the antisymmetric tensor representations of Uq(sl^L)U_q(\hat{sl}_L) at q=0q=0, respectively.

preprint2016arXiv

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

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

preprint2016arXiv

Stochastic RR matrix for Uq(An(1))U_q(A^{(1)}_n)

We show that the quantum RR matrix for symmetric tensor representations of Uq(An(1))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 qq-Hahn process for n=1n=1. Based on these results we formulate new discrete and continuous time integrable Markov processes on a one-dimensional chain in terms of nn species of particles obeying asymmetric stochastic dynamics. Bethe ansatz eigenvalues of the Markov matrices are also given.

preprint2016arXiv

Tetrahedron equation and generalized quantum groups

We construct 2n2^n-families of solutions of the Yang-Baxter equation from nn-products of three-dimensional RR and LL operators satisfying the tetrahedron equation. They are identified with the quantum RR matrices for the Hopf algebras known as generalized quantum groups. Depending on the number of RR's and LL's involved in the product, the trace construction interpolates the symmetric tensor representations of Uq(An−1(1))U_q(A^{(1)}_{n-1}) and the anti-symmetric tensor representations of U−q−1(An−1(1))U_{-q^{-1}}(A^{(1)}_{n-1}), whereas a boundary vector construction interpolates the qq-oscillator representation of Uq(Dn+1(2))U_q(D^{(2)}_{n+1}) and the spin representation of U−q−1(Dn+1(2))U_{-q^{-1}}(D^{(2)}_{n+1}). The intermediate cases are associated with an affinization of quantum super algebras.

preprint2015arXiv

Combinatorial Yang-Baxter maps arising from tetrahedron equation

We survey the matrix product solutions of the Yang-Baxter equation obtained recently from the tetrahedron equation. They form a family of quantum RR matrices of generalized quantum groups interpolating the symmetric tensor representations of Uq(An−1(1))U_q(A^{(1)}_{n-1}) and the anti-symmetric tensor representations of U−q−1(An−1(1))U_{-q^{-1}}(A^{(1)}_{n-1}). We show that at q=0q=0 they all reduce to the Yang-Baxter maps called combinatorial RR, and describe the latter by explicit algorithm.

preprint2015arXiv

Multispecies TASEP and combinatorial RR

We identify the algorithm for constructing steady states of the nn-species totally asymmetric simple exclusion process (TASEP) on LL site periodic chain by Ferrari and Martin with a composition of combinatorial RR for the quantum affine algebra Uq(sl^L)U_q(\widehat{sl}_L) in crystal base theory. Based on this connection and the factorized form of the RR 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 qq-oscillator valued five-vertex model at q=0q=0.

preprint2015arXiv

Multispecies TASEP and the tetrahedron equation

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 qq-oscillator valued six-vertex model on m×nm \times n square lattice. By invoking the tetrahedron equation we establish their commutativity and bilinear relations mixing various boundary conditions. At q=0q=0 and m=nm=n, they ultimately yield a new proof of the steady state formula for the nn-species totally asymmetric simple exclusion process (TASEP) obtained recently by the authors, revealing the 3D integrability in the matrix product construction.

preprint2015arXiv

Tetrahedron Equation and Quantum RR Matrices for modular double of Uq(Dn+1(2)),Uq(A2n(2))U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n}) and Uq(Cn(1))U_q(C^{(1)}_{n})

We introduce a homomorphism from the quantum affine algebras Uq(Dn+1(2)),Uq(A2n(2)),Uq(Cn(1))U_q(D^{(2)}_{n+1}), U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n}) to the nn-fold tensor product of the qq-oscillator algebra Aq{\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 Aq{\mathcal A}_q. In the former case, the commutativity is enhanced to the modular double of these quantum affine algebras.

preprint2014arXiv

T-systems and Y-systems in integrable systems

The T and Y-systems are ubiquitous structures in classical and quantum integrable systems. They are difference equations having a variety of aspects related to commuting transfer matrices in solvable lattice models, q-characters of Kirillov-Reshetikhin modules of quantum affine algebras, cluster algebras with coefficients, periodicity conjectures of Zamolodchikov and others, dilogarithm identities in conformal field theory, difference analogue of L-operators in KP hierarchy, Stokes phenomena in 1d Schrödinger problem, AdS/CFT correspondence, Toda field equations on discrete space-time, Laplace sequence in discrete geometry, Fermionic character formulas and combinatorial completeness of Bethe ansatz, Q-system and ideal gas with exclusion statistics, analytic and thermodynamic Bethe ansätze, quantum transfer matrix method and so forth. This review article is a collection of short reviews on these topics which can be read more or less independently.

preprint2014arXiv

Tetrahedron equation and quantum R matrices for qq-oscillator representations of Uq(A2n(2)),Uq(Cn(1))U_q(A^{(2)}_{2n}), U_q(C^{(1)}_{n}) and Uq(Dn+1(2))U_q(D^{(2)}_{n+1})

The intertwiner of the quantized coordinate ring Aq(sl3)A_q(sl_3) is known to yield a solution to the tetrahedron equation. By evaluating their nn-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 RR matrices associated with the qq-oscillator representations of Uq(A2n(2))U_q(A^{(2)}_{2n}), Uq(Cn(1))U_q(C^{(1)}_n) and Uq(Dn+1(2))U_q(D^{(2)}_{n+1}).

preprint2013arXiv

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

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

preprint2013arXiv

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

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).

preprint2013arXiv

Tetrahedron Equation and Quantum R Matrices for Spin Representations of B^{(1)}_n, D^{(1)}_n and D^{(2)}_{n+1}

It is known that a solution of the tetrahedron equation generates infinitely many solutions of the Yang-Baxter equation via suitable reductions. In this paper this scheme is applied to an oscillator solution of the tetrahedron equation involving bosons and fermions by using special 3d boundary conditions. The resulting solutions of the Yang-Baxter equation are identified with the quantum R matrices for the spin representations of B^{(1)}_n, D^{(1)}_n and D^{(2)}_{n+1}.

preprint2012arXiv

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

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 Aq(B2)↪Aq(C2)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.

preprint2012arXiv

Integrable structure of box-ball systems: crystal, Bethe ansatz, ultradiscretization and tropical geometry

The box-ball system is an integrable cellular automaton on one dimensional lattice. It arises from either quantum or classical integrable systems by the procedures called crystallization and ultradiscretization, respectively. The double origin of the integrability has endowed the box-ball system with a variety of aspects related to Yang-Baxter integrable models in statistical mechanics, crystal base theory in quantum groups, combinatorial Bethe ansatz, geometric crystals, classical theory of solitons, tau functions, inverse scattering method, action-angle variables and invariant tori in completely integrable systems, spectral curves, tropical geometry and so forth. In this review article, we demonstrate these integrable structures of the box-ball system and its generalizations based on the developments in the last two decades.

preprint2010arXiv

Bethe Ansatz, Inverse Scattering Transform and Tropical Riemann Theta Function in a Periodic Soliton Cellular Automaton for A^{(1)}_n

We study an integrable vertex model with a periodic boundary condition associated with U_q(A_n^{(1)}) at the crystallizing point q=0. It is an (n+1)-state cellular automaton describing the factorized scattering of solitons. The dynamics originates in the commuting family of fusion transfer matrices and generalizes the ultradiscrete Toda/KP flow corresponding to the periodic box-ball system. Combining Bethe ansatz and crystal theory in quantum group, we develop an inverse scattering/spectral formalism and solve the initial value problem based on several conjectures. The action-angle variables are constructed representing the amplitudes and phases of solitons. By the direct and inverse scattering maps, separation of variables into solitons is achieved and nonlinear dynamics is transformed into a straight motion on a tropical analogue of the Jacobi variety. We decompose the level set into connected components under the commuting family of time evolutions and identify each of them with the set of integer points on a torus. The weight multiplicity formula derived from the q=0 Bethe equation acquires an elegant interpretation as the volume of the phase space expressed by the size and multiplicity of these tori. The dynamical period is determined as an explicit arithmetical function of the n-tuple of Young diagrams specifying the level set. The inverse map, i.e., tropical Jacobi inversion is expressed in terms of a tropical Riemann theta function associated with the Bethe ansatz data. As an application, time average of some local variable is calculated.

preprint2010arXiv

Fermionic partition functions for a periodic soliton cellular automaton

Fermionic formulas in combinatorial Bethe ansatz consist of sums of products of q-binomial coefficients. There exist refinements without a sum that are known to yield partition functions of box-ball systems with a prescribed soliton content. In this paper, such a refined fermionic formula is extended to the periodic box-ball system and a q-analogue of the Bethe root counting formula for XXZ chain at Δ=∞Δ=\infty.

preprint2010arXiv

Periodicities of T and Y-systems, dilogarithm identities, and cluster algebras I: Type B_r

We prove the periodicities of the restricted T and Y-systems associated with the quantum affine algebra of type B_r at any level. We also prove the dilogarithm identities for the Y-systems of type B_r at any level. Our proof is based on the tropical Y-systems and the categorification of the cluster algebra associated with any skew-symmetric matrix by Plamondon. Using this new method, we also give an alternative and simplified proof of the periodicities of the T and Y-systems associated with pairs of simply laced Dynkin diagrams.

preprint2010arXiv

Periodicities of T and Y-systems, dilogarithm identities, and cluster algebras II: Types C_r, F_4, and G_2

We prove the periodicities of the restricted T and Y-systems associated with the quantum affine algebra of type C_r, F_4, and G_2 at any level. We also prove the dilogarithm identities for these Y-systems at any level. Our proof is based on the tropical Y-systems and the categorification of the cluster algebra associated with any skew-symmetric matrix by Plamondon.

preprint2009arXiv

Periodicities of T-systems and Y-systems

The unrestricted T-system is a family of relations in the Grothendieck ring of the category of the finite-dimensional modules of the Yangian or the quantum affine algebra associated with a complex simple Lie algebra. The unrestricted T-system admits a reduction called the restricted T-system. In this paper we formulate the periodicity conjecture for the restricted T-systems, which is the counterpart of the known and partially proved periodicity conjecture for the restricted Y-systems. Then, we partially prove the conjecture by various methods: the cluster algebra and cluster category method for the simply laced case, the determinant method for types A and C, and the direct method for types A, D, and B (level 2).

preprint2009arXiv

T-systems and Y-systems for quantum affinizations of quantum Kac-Moody algebras

The T-systems and Y-systems are classes of algebraic relations originally associated with quantum affine algebras and Yangians. Recently the T-systems were generalized to quantum affinizations of a wide class of quantum Kac-Moody algebras by Hernandez. In this note we introduce the corresponding Y-systems and establish a relation between T and Y-systems. We also introduce the T and Y-systems associated with a class of cluster algebras, which include the former T and Y-systems of simply laced type as special cases.

preprint2000arXiv

Factorization of Combinatorial R matrices and Associated Cellular Automata

Solvable vertex models in statistical mechanics give rise to soliton cellular automata at q=0 in a ferromagnetic regime. By means of the crystal base theory we study a class of such automata associated with non-exceptional quantum affine algebras U'_q(\hat{\geh}_n). Let B_l be the crystal of the U'_q(\hat{\geh}_n)-module corresponding to the l-fold symmetric fusion of the vector representation. For any crystal of the form B = B_{l_1} \otimes ... \otimes B_{l_N}, we prove that the combinatorial R matrix B_M \otimes B \xrightarrow{\sim} B \otimes B_M is factorized into a product of Weyl group operators in a certain domain if M is sufficiently large. It implies the factorization of certain transfer matrix at q=0, hence the time evolution in the associated cellular automata. The result generalizes the ball-moving algorithm in the box-ball systems.

preprint1997arXiv

Skew Young diagram method in spectral decomposition of integrable lattice models II: Higher levels

The spectral decomposition of the path space of the vertex model associated to the level ll representation of the quantized affine algebra Uq(sl^n)U_q(\hat{sl}_n) is studied. The spectrum and its degeneracy are parametrized by skew Young diagrams and what we call nonmovable tableaux on them, respectively. As a result we obtain the characters for the degeneracy of the spectrum in terms of an alternating sum of skew Schur functions. Also studied are new combinatorial descriptions (spectral decomposition) of the Kostka numbers and the Kostka--Foulkes polynomials. As an application we give a new proof of Nakayashiki--Yamada's theorem about the branching functions of the level ll basic representation lΛklΛ_k of sl^n\hat{sl}_n and a generalization of the theorem.

preprint1993arXiv

Functional Relations in Solvable Lattice Models II

Reported are two applications of the functional relations (TT-system) among a commuting family of row-to-row transfer matrices proposed in the previous paper Part I. For a general simple Lie algebra XrX_r, we determine the correlation lengths of the associated massive vertex models in the anti-ferroelectric regime and central charges of the RSOS models in two critical regimes. The results reproduce known values or even generalize them, demonstrating the efficiency of the TT-system.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.