A soliton cellular automaton associated with crystals of symmetric tensor representations of the quantum affine algebra U'_q(A^{(1)}_M) is introduced. It is a crystal theoretic formulation of the generalized box-ball system in which capacities of boxes and carriers are arbitrary and inhomogeneous. Scattering matrices of two solitons coincide with the combinatorial R matrices of U'_q(A^{(1)}_{M-1}). A piecewise linear evolution equation of the automaton is identified with an ultradiscrete limit of the nonautonomous discrete KP equation. A class of N soliton solutions is obtained through the ultradiscretization of soliton solutions of the latter.
Soliton Cellular Automata Associated With Crystal Bases
We introduce a class of cellular automata associated with crystals of irreducible finite dimensional representations of quantum affine algebras U'_q( \hat{\geh}_n ). They have solitons labeled by crystals of the smaller algebra U'_q( \hat{\geh}_{n-1} ). We prove stable propagation of one soliton for \hat{\geh}_n = A^{(2)}_{2n-1}, A^{(2)}_{2n}, B^{(1)}_n, C^{(1)}_n, D^{(1)}_n and D^{(2)}_{n+1}. For \gh_n = C^{(1)}_n, we also prove that the scattering matrices of two solitons coincide with the combinatorial R matrices of U'_q(C^{(1)}_{n-1})-crystals.
Demazure crystals are subcrystals of highest weight irreducible $\mathfrak{g}$-crystals. In this article, we study tensor products of a larger class of subcrystals, called extremal, and give a local characterization for exactly when the tensor product of Demazure crystals is extremal. We then show that tensor products of Demazure crystals decompose into direct sums of Demazure crystals if and only if the tensor product is extremal, thus providing a sufficient and necessary local criterion for when the tensor product of Demazure crystals is itself Demazure. As an application, we show that the p…
A Demazure crystal is the basis at $q=0$ of a Demazure module. Demazure crystals play an important role in Schubert calculus because the character of a Demazure crystal in type A is identical to a key polynomial, which is closely related to Schubert polynomials. In this paper, we study tensor products of Demazure crystals. Each connected component of a tensor product of Demazure crystals need not be isomorphic to some Demazure crystal. We provide a necessary and sufficient condition for every connected component of a tensor product to be isomorphic to some Demazure crystal. Also, we obtain the…
Naoi showed that tensor products of perfect Kirillov-Reshetikhin crystals are isomorphic to certain generalized Demazure crystals. We extend Naoi's results to address distinguished subsets of these tensor products. In type A, these are naturally described in terms of katabolizable tableaux which was key to resolving conjectures of Shimozono-Weyman and Chen-Haiman in arXiv:2007.04952.
Tensor product multiplicities for crystal bases of extremal weight modules over quantum infinite rank affine algebras of types $B_{\infty}$, $C_{\infty}$, and $D_{\infty}$
在本文中，我们描述了一个理论（分支）晶体，这是适合于研究的陈述在BGG类别$\cal O$和推广的理论，正常晶体的柏原。在$sl_2$的情况下，我们表明，一个可以关联（唯一的同构）到每个模块中的$\cal O$一个分支晶体。本文证明了\cal O $ correspond to "indecomposable" branched crystals. We also define the tensor product of these crystals and show that for $ sl_2$中的不可分解模分支晶体的张量积的不可分解分量与对应模的张量积的不可分解和项所对应的晶体是相同的。
We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the two connected components containing the minimal/maximal elements are isomorphic. Based on the latter fact, we reduce a tensor product of higher level perfect KR crystals to one of single-column KR cry…
Quantum cellular automata and categorical dualities of spin chains
IBM Quantum, IBM Almaden Research Center（IBM量子，IBM阿尔马登研究中心）；Department of Mathematics, North Carolina State University（北卡罗来纳州立大学数学系）；School of Physics, University of Sydney（悉尼大学物理学院）
In this paper, we extend work of the first author on a crystal structure on rigged configurations of simply-laced type to all non-exceptional affine types using the technology of virtual rigged configurations and crystals. Under the bijection between rigged configurations and tensor products of Kirillov-Reshetikhin crystals specialized to a single tensor factor, we obtain a new tableaux model for Kirillov-Reshetikhin crystals. This is related to the model in terms of Kashiwara-Nakashima tableaux via a filling map, generalizing the recently discovered filling map in type $D_n^{(1)}$.
