arXiv++ Combinatorics

We prove that semi-infinite Bruhat order on an affine Weyl group is completely determined from those on the quotients by affine Weyl subgroups associated with various maximal (standard) parabolic subgroups of finite type. Furthermore, for an affine Weyl group of classical type, we give a complete classification of all cover relations of semi-infinite Bruhat order (or equivalently, all edges of the quantum Bruhat graphs) on the quotients in terms of tableaux. Combining these we obtain a tableau criterion for semi-infinite Bruhat order on an affine Weyl group of classical type. As an application, we give new tableau models for the crystal bases of a level-zero fundamental representation and a level-zero extremal weight module over a quantum affine algebra of classical untwisted type, which we call quantum Kashiwara-Nakashima columns and semi-infinite Kashiwara-Nakashima tableaux. We give an explicit description of the crystal isomorphisms among three different realizations of the crystal basis of a level-zero fundamental representation by quantum Lakshmibai-Seshadri paths, quantum Kashiwara-Nakashima columns, and (ordinary) Kashiwara-Nakashima columns.

The Bender-Knuth involutions on Young tableaux are known to coincide with the tableau switching on two adjacent letters, together with a swapping of those letters. Using the shifted tableau switching due to Choi, Nam and Oh (2019), we introduce a shifted version of the Bender-Knuth operators and define a shifted version of the Berenstein-Kirillov group. The actions of the cactus group, due to the author, and of the shifted Berenstein-Kirillov group on the Gillespie-Levinson-Purbhoo straight-shaped shifted tableau crystal (2017, 2020) coincide. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2016, 2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on the crystal of straight-shaped Young tableaux, we show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence we have an alternative presentation for the cactus group via the shifted Bender-Knuth involutions.

The Bender-Knuth involutions on semistandard Young tableaux are known to coincide with the tableau switching on horizontal border strips of two adjacent letters, together with the swapping of those letters. Motivated by this coincidence and using the shifted tableau switching due to Choi, Nam and Oh (2019), we consider a shifted version of the Bender-Knuth involutions and define a shifted version of the Berenstein-Kirillov group (1995). Similarly to the classical case, the shifted version of the Berenstein-Kirillov group also acts on the straight-shaped shifted tableau crystals introduced by Gillespie, Levinson and Purbhoo (2020), via partial Schützenberger involutions, thus coinciding with the action of the cactus group on the same crystal, due to the author. Following the works of Halacheva (2016, 2020), and Chmutov, Glick and Pylyavskyy (2020), on the relation between the actions of the Berenstein-Kirillov group and the cactus group on a crystal of straight-shaped Young tableaux, we also show that the shifted Berenstein-Kirillov group is isomorphic to a quotient of the cactus group. Not all the known relations that hold in the classic Berenstein-Kirillov group need to be satisfied by the shifted Bender-Knuth involutions, but the ones implying the relations of the cactus group are verified. Hence, we have an alternative presentation for the cactus group in terms of the shifted Bender-Knuth involutions. We also use the shifted growth diagrams due to Thomas and Yong (2016) to provide an alternative proof concerning the mentioned cactus group action.

We construct an explicit algorithm of the static-preserving bijection between the rigged configurations and the highest weight paths of the form $(B^{2,1})^{\otimes L}$ in the $G_{2}^{(1)}$ adjoint crystals.

The main purpose of this paper is to give a combinatorial realization of Kirillov-Reshetikhin (KR simply) crystals $B^{r, s}$ for type $\text{E}_n^{(1)}$ with a minuscule node $r$ and $s \ge 1$. To do this, we describe explicitly the crystal of the quantum nilpotent subalgebra associated with the translation by the negative of the $r$-th fundamental weight. Then the crystal can be extended as an affine crystal, in which a certain subcrystal characterized by the $\varepsilon_r^*$-statistic is isomorphic to $B^{r,s}$ as an affine crystal, where $\varepsilon_r^*$ is also realized precisely in terms of triple and quadruple paths.

We use the crystal isomorphisms of the Fock space to describe two maps on partitions and multipartitions which naturally appear in the crystal basis theory for quantum groups in affine type A and in the representation theory of Hecke algebras of type G(l, l, n).

Whereas set-valued tableaux are the combinatorial objects associated to stable Grothendieck polynomials, hook-valued tableaux are associated to stable canonical Grothendieck polynomials. In this paper, we define a novel uncrowding algorithm for hook-valued tableaux. The algorithm "uncrowds" the entries in the arm of the hooks and yields a set-valued tableau and a column-flagged increasing tableau. We prove that our uncrowding algorithm intertwines with crystal operators. An alternative uncrowding algorithm that "uncrowds" the entries in the leg instead of the arm of the hooks is also given. As an application of uncrowding, we obtain various expansions of the canonical Grothendieck polynomials.

The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group $S_m$ on an $m$-tuple of vectors. While the birational $R$-matrix is precisely the formula corresponding to the action of the simple transposition $s_i$, explicit formulas for the action of other permutations are generally not known. One particular case was studied by Lam and Pylyavskyy as it relates to energy functions of crystals. In this paper, we will discuss formulas for several additional cases, including transpositions, and provide combinatorial interpretations for the functions that appear in our work.

We compare crystal combinatorics of the level 2 Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. First, we show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica. Second, we show that the crystal operators that remove boxes preserve the combinatorial conditions for unitarity, and that the parabolic restriction functors categorifying the crystals send irreducible unitary representations to unitary representations. Third, we find the supports of the unitary representations.

One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.

In this paper, we compute explicitly the $q$-dimensions of highest weight crystals modulo $q^n-1$ for a quantum group of arbitrary finite type under certain assumption, and interpret the modulo computations in terms of the cyclic sieving phenomenon. This interpretation gives an affirmative answer to the conjecture by Alexandersson and Amini. As an application, under the assumption that $λ$ is a partition of length $<m$ and there exists a fixed point in $\mathsf{SST}_m(λ)$ under the action $\mathsf{c}$ arising from the crystal structure, we show that the triple $(\mathsf{SST}_m(λ), \langle \mathsf{c} \rangle, \mathsf{s}_λ(1,q,q^2, \ldots, q^{m-1}))$ exhibits the cycle sieving phenomenon if and only if $λ$ is of the form $((am)^{b})$, where either $b=1$ or $m-1$. Moreover, in this case, we give an explicit formula to compute the number of all orbits of size $d$ for each divisor $d$ of $n$.

We present a combinatorial model, called \emph{perforated tableaux}, to study $A_{n-1}$ crystals, unifying several previously studied combinatorial models. We identify nodes in the $k$-fold tensor product of the standard crystal with length $k$ words in $[n]= \{ 1, \ldots n\}$. We model this crystal with perforated tableaux (ptableaux), extending this identification isomorphically to biwords, RSK $(P,Q)$ tableaux pairs, and matrix models. In the ptableaux setting, crystal operators are more simply defined and we can identify highest weights visually without computation. We generalize the tensor products in the Littlewood-Richardson rule to all of $[n]^{\otimes k}$, and not just the irreducible crystals whose reading words come from semistandard Young tableaux. We relate evacuation (Lusztig involution) to products of ptableaux crystal operators, and find a combinatorial algorithm to compute commutators of highest weight ptableaux.

Periodic tilings play a role in the decorative arts, in construction and in crystal structures. Combinatorial tiling theory allows the systematic generation, visualization and exploration of such tilings of the plane, sphere and hyperbolic plane, using advanced algorithms and software.Here we present a "galaxy" of tilings that consists of the set of all 2.4 billion different types of periodic tilings that have Dress complexity up to 24. We make these available in a database and provide a new program called Tegula that can be used to search and visualize such tilings. Availability: All tilings and software and are open source and available here: https://ab.inf.uni-tuebingen.de/software/tegula.

Recently, Gillespie, Levinson and Purbhoo introduced a crystal-like structure for shifted tableaux, called the shifted tableau crystal. We introduce, on this structure, a shifted version of the crystal reflection operators, which coincide with the restrictions of the shifted Schützenberger involution to any primed interval of two adjacent letters. Unlike type $A$ Young tableau crystals, these operators do not realize an action of the symmetric group on the shifted tableau crystal since the braid relations do not need to hold. Following a similar approach as Halacheva, we exhibit a natural internal action of the cactus group on this crystal, realized by the restrictions of the shifted Schützenberger involution to all primed intervals of the underlying crystal alphabet, containing, in particular, the aforesaid action of the shifted crystal reflection operator analogues.

Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include $k$-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of $U_q(\widehat{\mathfrak{sl}}_\ell)$-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.

In this article we introduce the $\mathbb{N}-$decorated plactic monoid of type $C$, denoted $Pl^\mathbb{N}(C_n)$, via a finite convergent presentation $ACol$, with generating set $ACol(C_n)$ consisting of admissible columns, and an element $ε$. By Squier's coherent completion theorem, this presentation is extended into a coherent presentation by identifying a family of generating confluences, i.e. generating $3-$cells. Here the generating $3-$cells are critical branchings on words of length $3$. We adapt the notions of crystal structure to $ACol(C_n)^\ast$ , and show that the shape of $3-$cells is preserved by the action of Kashiwara operators. Thus we reduce the study of the coherent presentation to only describing the generating $3-$cells whose source is a word of highest weight. We then introduce combinatorial objects called $C-$trees which parameterize the words of highest weight in $ACol(C_n)^\ast$. The $C-$trees allow for simplifying calculations with the insertion algorithm in type $C$, as introduced in by Lecouvey, and we prove that the generating $3-$cells in $ACol$ are of shape at most $(4,3)$. As a consequence, we show that the column presentation of $Pl(C_n)$, as introduced by Hage, has generating $3-$cells of shape at most $(4,3)$. This contrasts the situation in type $A$, where the $3-$cells in the column presentation of $Pl(A_n)$ are of shape at most $(3,3)$.

We give a crystal structure on the set of Gelfand-Tsetlin patterns which parametrize bases for finite-dimensional irreducible representations of the general linear Lie algebra. The crystal data are given in closed form, expressed using tropical polynomial functions of the entries of the patterns. We prove that with this crystal structure, the natural bijection between Gelfand-Tsetlin patterns and semistandard Young tableaux is a crystal isomorphism.

The polyhedral realizations for crystal bases of the integrable highest weight modules of $U_q(\mathfrak{g})$ have been introduced in ([T.Nakashima, J. Algebra, vol.219, no. 2, (1999)]), which describe the crystal bases as sets of lattice points in the infinite $\mathbb{Z}$-lattice $\mathbb{Z}^{\infty}$ given by some system of linear inequalities, where $\mathfrak{g}$ is a symmetrizable Kac-Moody Lie algebra. To construct the polyhedral realization, we need to fix an infinite sequence $ι$ from the indices of the simple roots. If the pair ($ι$,$λ$) ($λ$: a dominant integral weight) satisfies the `ample' condition then there are some procedure to calculate the sets of linear inequalities. In this article, we show that if $ι$ is an adapted sequence (defined in our paper [Y.Kanakubo, T.Nakashima, arXiv:1904.10919]) then the pair ($ι$, $λ$) satisfies the ample condition for any dominant integral weight $λ$ in the case $\mathfrak{g}$ is a classical Lie algebra. Furthermore, we reveal the explicit forms of the polyhedral realizations of the crystal bases $B(λ)$ associated with arbitrary adapted sequences $ι$ in terms of column tableaux. As an application, we will give a combinatorial description of the function $\varepsilon_i^*$ on the crystal base $B(\infty)$.

Recently, Gillespie, Levinson and Purbhoo introduced a crystal-like structure for shifted tableaux, called the shifted tableau crystal. We introduce a shifted analogue of the crystal reflection operators, which coincides with the restriction of the shifted Schützenberger involution to any primed interval of two adjacent letters. Unlike type $A$ Young tableau crystals, these operators do not realize an action of the symmetric group on the shifted tableau crystal because braid relations do not hold. We exhibit a natural internal action of the cactus group, realized by restrictions of the shifted Schützenberger involution on primed intervals of the underlying crystal alphabet.

This paper contains a partial answer to the open problem 3.11 of \cite{[H2008]}. That is to find an explicit bijection on Schröder paths that inverts the statistics area and bounce. This paper started as an attempt to write the sum over $m$-Schröder paths with a fix number of diagonal steps into Schur functions in the variables $q$ and $t$. Some results have been generalized to parking functions, and some bijections were made with standard Young tableaux giving way to partial combinatorial formulas in the basis $s_μ(q,t)s_λ(X)$ for $\nabla(e_n)$ (respectively, $\nabla^m(e_n)$), when $μ$ and $λ$ are hooks (respectively, $μ$ is of length one). We also give an explicit algorithm that gives all the Schröder paths related to a Schur function $s_μ(q,t)$ when $μ$ is of length one. In a sense, it is a partial decomposition of Schröder paths into crystals.