arXiv++ Combinatorics

The hypoplactic monoid was introduced by Krob and Thibon through a presentation and through quasi-ribbon tableaux and an insertion algorithm. Just as Kashiwara crystals enriched the structure of the plactic monoid and allowed its generalization, the first and third authors of this paper introduced a construction of the hypoplactic monoid by identifying vertices in a quasi-crystal graph derived from the crystal graph associated to the general linear Lie algebra. Although this construction is based on Kashiwara's work, it cannot be extended to other crystal graphs, since the analogous quasi-Kashiwara operators on words do not admit a recursive definition. This paper addresses these issues. A general notion of quasi-crystal is introduced, followed by a study of its properties and relation with crystals. A combinatorial study of quasi-crystals is then made by associating a quasi-crystal graph to each quasi-crystal, which for the class of seminormal quasi-crystals results in a one-to-one correspondence. To model the binary operation of the hypoplactic monoid by quasi-crystals, a notion of quasi-tensor product of quasi-crystals is introduced, along with a combinatorial way of computing it similar to the signature rule for the tensor product of crystals. This framework allows the generalization of the classical hypoplactic monoid to a family of hypoplactic monoids associated to the various simple Lie algebras. The quasi-crystal structure is then used to establish algebraic properties of the hypoplactic monoid associated to the symplectic Lie algebra.

We construct an injection from the set of $r$-fans of Dyck paths (resp. vacillating tableaux) of length $n$ into the set of chord diagrams on $[n]$ that intertwines promotion and rotation. This is done in two different ways, namely as fillings of promotion-evacuation diagrams and in terms of Fomin growth diagrams. Our analysis uses the fact that $r$-fans of Dyck paths and vacillating tableaux can be viewed as highest weight elements of weight zero in crystals of type $B_r$ and $C_r$, respectively, which in turn can be analyzed using virtual crystals. On the level of Fomin growth diagrams, the virtualization process corresponds to the Roby-Krattenthaler blow up construction. One of the motivations for finding rotation invariant diagrammatic bases such as chord diagrams is the cyclic sieving phenomenon. Indeed, we give a cyclic sieving phenomenon on $r$-fans of Dyck paths and vacillating tableaux using the promotion action.

We give a new simple formula for the energy function of a level $1$ perfect crystal of type $C_n^{(1)}$ introduced by Kang, Kashiwara and Misra. We use this to give several expressions for the characters of level $1$ standard modules as generating functions for different types of partitions. We then relate one of these formulas to the difference conditions in the conjectural partition identity of Capparelli, Meurman, Primc and Primc, and prove that their conjecture is true for all level $1$ standard modules. Finally, we propose a non-specialised generalisation of their conjecture.

We use non-symmetric Cauchy kernel identities to get the law of last passagepercolation models in terms of Demazure characters. The construction is basedon some restrictions of the RSK correspondence that we rephrase in a unifiedway which is compatible with crystal basis theory.

We define a new statistic on Weyl groups called the atomic length and investigate its combinatorial and representation-theoretic properties. In finite types, we show a number of properties of the atomic length which are reminiscent of the properties of the usual length. Moreover, we prove that, with the exception of rank two, this statistic describes an interval. In affine types, our results shed some light on classical enumeration problems, such as the celebrated Granville-Ono theorem on the existence of core partitions, by relating the atomic length to the theory of crystals.

We define a length function for a perfect crystal. As an application, we derive a variant of the Rogers-Ramanujan identities which involves (a $q$-analog of) the Fibonacci numbers.

We show that approximate graph colouring is not solved by the lift-and-project hierarchy for the combination of linear programming and linear Diophantine equations. The proof is based on combinatorial tensor theory.

In this paper we derive a counterpart of the well-known Ram-Yip formula for symmetric and nonsymmetric Macdonald polynomials of arbitrary type. Our new formula is in terms of a generalization of the Lakshmibai-Seshadri paths (originating in standard monomial theory), which we call pseudo-quantum Lakshmibai-Seshadri (LS) paths. This model carries less information than the alcove walks in the Ram-Yip formula, and it is therefore more efficient. Furthermore, we construct a connected pseudo-crystal structure on the pseudo-quantum LS paths, which is expected to lead to a simple Littlewood-Richardson rule for multiplying Macdonald polynomials. By contrast with the Kashiwara crystals, our pseudo-crystals have edges labeled by arbitrary roots.

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 primary component in the tensor square of any Demazure crystal is always Demazure.

We show that approximate graph colouring is not solved by any level of the affine integer programming (AIP) hierarchy. To establish the result, we translate the problem of exhibiting a graph fooling a level of the AIP hierarchy into the problem of constructing a highly symmetric crystal tensor. In order to prove the existence of crystals in arbitrary dimension, we provide a combinatorial characterisation for realisable systems of tensors; i.e., sets of low-dimensional tensors that can be realised as the projections of a single high-dimensional tensor.

We continue work begun in \cite{ptab} which introduced \emph{perforated tableaux} as a combinatorial model for crystals of type $A_{n-1}$, emphasizing connections to the classical Robinson-Schensted-Knuth (RSK) correspondence and Lusztig involutions, and, more generally, exploring the role of insertion schemes in the analysis of crystal graphs. An essential feature of our work is the role of \emph{dual} crystals (\cite{GerberLecouvey,vanLeeuwen}) from which we obtain new results within and beyond the classic RSK theory.

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.

The box-ball system (BBS) is a cellular automaton that is an ultradiscrete analogue of the Korteweg--de Vries equation, a non-linear PDE used to model water waves. In 2001, Hikami and Inoue generalised the BBS to the general linear Lie superalgebra $\mathfrak{gl}(m|n)$. We further generalise the Hikami--Inoue BBS to column tableaux using the Kirillov--Reshetikhin crystals for $\hat{\mathfrak{gl}}{(m|n)}$ devised by Kwon and Okado (arXiv:1804.05456), where we find similar solitonic behaviour under certain conditions.

In the paper, we prove that there exists a braid group action on the extended crystal $\widehat{B}(\infty)$ of finite type. The extended crystal $\widehat{B}(\infty)$ and its braid group action are investigated from the viewpoint of crystal similarity. We then interpret the braid group action on $\widehat{B}(\infty)$ in the Hernandez-Leclerc category $\mathscr{C}_\mathfrak{g}^0$.

We explicitly realize an internal action of the symplectic cactus group, recently defined by Halacheva for any complex, reductive, finite-dimensional Lie algebra, on crystals of Kashiwara-Nakashima tableaux. Our methods include a symplectic version of jeu de taquin due to Sheats and Lecouvey, symplectic reversal, and virtualization due to Baker. As an application, we define and study a symplectic version of the Berenstein-Kirillov group and show that it is a quotient of the symplectic cactus group. In addition two relations for symplectic Berenstein-Kirillov group are given that do not follow from the defining relations of the symplectic cactus group.

For a simply connected connected simple algebraic group $G$, it is known that a variety $B_{w_0}^-:=B^-\cap U\overline{w_0}U$ has a geometric crystal structure with a positive structure $θ^-_{\mathbf{i}}:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$ for each reduced word $\mathbf{i}$ of the longest element $w_0$ of Weyl group. A rational function $Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$ on $B_{w_0}^-$ is called a half-potential, where $Δ_{w_0Λ_i,s_iΛ_i}$ is a generalized minor. Computing $Φ^h_{BK}\circ θ^-_{\mathbf{i}}$ explicitly, we get an explicit form of string cone or polyhedral realization of $B(\infty)$ for the finite dimensional simple Lie algebra $\mathfrak{g}={\rm Lie}(G)$. In this paper, for an arbitrary reduced word $\mathbf{i}$, we give an algorithm to compute the summand $Δ_{w_0Λ_i,s_iΛ_i}\circ θ^-_{\mathbf{i}}$ of $Φ^h_{BK}\circ θ^-_{\mathbf{i}}$ in the case $i\in I$ satisfies that for any weight $μ$ of $V(-w_0Λ_i)$ and $t\in I$, it holds $\langle h_t,μ\rangle\in\{2,1,0,-1,-2\}$. In particular, if $\mathfrak{g}$ is of type ${\rm A}_n$, ${\rm B}_n$, ${\rm C}_n$ or ${\rm D}_n$ then all $i\in I$ satisfy this condition so that one can completely calculate $Φ^h_{BK}\circ θ^-_{\mathbf{i}}$. We will also prove that our algorithm works in the case $\mathfrak{g}$ is of type ${\rm G}_2$.

The geometric crystal operators and geometric $R$-matrices (or geometric Weyl group actions) give commuting actions on the field of rational functions in $mn$ variables. We study the invariants of various combinations of these actions, which we view as "crystal analogues" of the invariants of $S_m$, ${\rm SL}_m$, $S_n \times S_m$, ${\rm SL}_n \times \, S_m$, and ${\rm SL}_n \times {\rm SL}_m$ acting on the polynomial ring in an $m \times n$ matrix of variables. The polynomial invariants of the $S_m$-action generated by the ${\rm GL}_m$-geometric $R$-matrices were described by Lam and the third-named author as the ring of loop symmetric functions. In a previous paper of the authors, the polynomial invariants of the ${\rm GL}_m$-geometric crystal operators were described as a subring of the ring of loop symmetric functions. In this paper, we give conjectural generating sets for the fields of rational invariants in the remaining cases, and we give formulas expressing a large class of loop symmetric functions in terms of these conjectural generators. Our results include new positive formulas for the central charge and energy function of a product of single-row geometric crystals, and a new derivation of Kirillov and Berenstein's piecewise-linear formula for cocharge. The formulas manifest the symmetries possessed by these functions.

We give another proof of the second Rogers-Ramanujan identity by Kashiwara crystals.

Gasharov introduced the combinatorial objects known as $P$-arrays to prove $s$-positivity for the chromatic symmetric functions of incomparability graphs of (3+1)-free posets. We define a crystal, a directed colored graph with some additional axioms, on the set of $P$-arrays. The components of the crystal have $s$-positive characters, thereby refining the $s$-positivity theorems of Gasharov, as well as Shareshian and Wachs. The crystal hints at a possible generalization of the Robinson-Schensted correspondence applied to $P$-arrays.

Chemical graph theory is commonly used to analyse and comprehend chemical structures and networks, as well as their features. The resolvability parameters for graph $G$= $(V,E)$ are a relatively new advanced field in which the complete structure is built so that each vertex (atom) or edge (bond) represents a distinct position. In this article, we study the resolvability parameters i.e., edge resolvability of chemical graph of crystal structure of cubic carbon $CCS(n)$