arXiv++ Combinatorics

The main goal of this paper is to extend three important Schur positivity results to key positivity, replacing all Schur polynomials in relevant expressions with flagged Schur polynomials. Namely, we first show that the Temperley-Lieb immanants of (many) flagged Jacobi-Trudi matrices are key positive. Using this result, we give a combinatorial rule for the key expansion of (most) products of flagged skew Schur polynomials, and also give a log concavity result inspired by that of Lam-Postnikov-Pylyavskyy. The main tools in our proofs are Demazure crystals, and the recently defined shuffle tableaux of Nguyen and Pylyavskyy. In order to prove our main results, we must develop a new characterization of Demazure crystals, which builds off of prior work of Assaf and Gonzalez. This characterization may be useful in other contexts.

We study the tensor product of Demazure crystals for symmetrizable Kac-Moody Lie algebras. It is not necessary that the tensor product of Demazure crystals is isomorphic to a disjoint union of Demazure crystals. In this paper, we provide necessary and sufficient conditions for the decomposition of the tensor product of Demazure crystals as a disjoint union of Demazure crystals. Our results are the generalization of the results proved by Anthony Joseph and Takafumi Kouno. As an application, we obtain a sufficient condition when the product of Demazure characters is a linear combination of Demazure characters with nonnegative integer coefficients. In particular, we obtain a partial solution for the key positivity problem.

H.Choi-D.Kim-S.J.Lee and S.J.Lee introduced a new kind of tableaux, semistandard oscillating tableaux (SSOT), around 2024 in the context of Lusztig $q$-weight multiplicities, KR crystals and King tableaux. In this paper, we study generating function of the SSOTs and its symmetry. First, we extend Gessel's and Assaf-Searles' expansion of a Schur function in terms of fundamental quasi-symmetric functions to our generating function. As a consequence, we show that it is $F$-positive. Further, we improve Sundaram's work on oscillating tableaux by proving that it is symmetric, Schur-positive, and has Saturated Newton polytope.

As a consequence of the Littlewood-Richardson (LR) commuters coincidence and the Kumar-Torres branching model via Kushwaha-Raghavan-Viswanath flagged hives, we have solved the Lecouvey-Lenart conjecture on the bijections between the Kwon and Sundaram branching models for the pair $({GL}_{2n}(\mathbb{C}), {Sp}_{2n}(\mathbb{C})) $ consisting of the general linear group ${GL}_{2n}(\mathbb{C})$ and the symplectic group ${Sp}_{2n}(\mathbb{C})$. In particular, thanks to the Henriques-Kamnitzer $gl_n$-crystal commuter, we have recognized that the left companion of an LR-Sundaram tableau is characterized by the Kwon symplectic condition. We now show that the construction of the left companion tableau of an LR-Sundaram tableau exhibits in fact the Kwon symplectic property.

How many $n$-step polygons exist that contain a given vertex of an infinite quasi-transitive graph $G$? The exponential growth rate of such polygons is identified as the connective constant when $G$ has sub-exponential growth and possesses a so-called square graph height function. The last condition amounts to the requirement that $G$ has a certain ${\Bbb Z}^2$ action of automorphisms. The main theorem extends a result of Hammersley (Proc. Cambridge Philos. Soc. 57 (1961) 516--523) and others for the hypercubic lattice, and responds to Hammersley's challenge to prove such a result for more general "crystals''.

Let u be a word over the positive integers P. Motivated by a question involving crystal graphs, Sagan and Wilson initiated the study of the centralizer of u in the plactic monoid which is the set C(u) = {w | uw is Knuth equivalent to wu}. In particular, they conjectured the following stability phenomenon: for any u there is a positive integer K depending only on u such that C(u^k) = C(u^K) for k >= K. We prove that this property holds for various u including words consisting of only ones and twos, as well as permutations. Sagan and Wilson also considered c_{n,m}(u) which is the number of w in C(u) of length n and maximum at most m. They showed that c_{n,m}(1) is a polynomial in m of degree n-1 and conjectured properties of the coefficients when it is expanded in a binomial coefficient basis. We prove some of these conjectures, for example, that the coefficients are always nonnegative integers.

We characterize subsets of highest weight $\mathfrak{g}$-crystals that arise as unions of Demazure crystals, for any symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$. We provide a local characterization for these subsets and prove they admit disjoint decompositions into Demazure atoms. As a consequence, we give a new characterization for when a subset of a highest weight crystal is a Demazure crystal as well as a crystal-theoretic proof that any Polo module admits a relative Schubert filtration.

We introduce a new family of polynomials, crystal skeleton polynomials, to better understand enumeration of standard Young tableaux, quasi-Yamanouchi tableaux and interactions with Gessel's expansion of a Schur function, quasi-crystals and crystal skeletons as Maas-Gariépy introduced in 2023. After developing calculus of those polynomials, we organize thoughts on major index, charge, depth, inversions with RSK correspondence and a bivariate factorial. Also, we revisit the theorem on internal zeros of fake degree polynomials by Billey--Konvalinka--Swanson (2020). These results altogether improve Gessel's expansion.

We derive Rogers--Ramanujan type partition identities at the fundamental weight $Λ_0$ for the exceptional affine types $G_2^{(1)}$, $D_4^{(3)}$, $F_4^{(1)}$, $E_6^{(2)}$, $E_6^{(1)}$, $E_7^{(1)}$ and $E_8^{(1)}$. Our starting point is the Dousse--Konan reformulation of the $(\mathrm{KMN})^2$ crystal character formula, applied to the level-one perfect crystal $B=B(θ)\sqcup B(0)$ of Benkart--Frenkel--Kang--Lee with ground element $φ\in B(0)$. This realizes the normalized character $e^{-Λ_0}\mathrm{ch} L(Λ_0)$ as generating functions of grounded $B$-colored partitions governed locally by the crystal energy. After principal specialization, we obtain a colored partition model subject to explicit difference, congruence, and initial conditions. On the product side, under the same specialization, the Weyl--Kac character formula yields an explicit Euler-type product, equivalently the generating function for partitions with parts in a concrete allowed set. Comparing the two specializations gives coefficientwise equalities of generating functions. A key computational feature is that the difference matrix can be produced from the crystal data without explicitly computing the energy function. For each type we tabulate the congruence data, forbidden initial parts, and the full difference matrix, and we provide reproducible coefficient checks.

We will construct solvable lattice models whose partition functions are Demazure characters. We will construct a crystal structure on the states of the model and prove that the states of the closed model form a Demazure crystal.

For the quiver Hecke algebra $R$, let $R\hbox{-gmod}$ be the category of finite-dimensional graded $R$-modules, and let $\widetilde{R\hbox{-gmod}[w]}$ be the localization of $R\hbox{-gmod}$. Kashiwara and the second author showed the set of equivalence classes of simple objects up to grading shifts $\mathrm{Irr}(\widetilde{R\hbox{-gmod}[w]})$ in $\widetilde{R\hbox{-gmod}[w]}$ has a crystal structure, and $\mathrm{Irr}(\widetilde{R\hbox{-gmod}[w]})$ is isomorphic to the so-called cellular crystal $\mathbb B_{\mathbf i}$. This isomorphism induces a function $\varepsilon_i^*$ on $\mathbb B_{\mathbf i}$. We give an explicit formula of $\varepsilon_i^*$, and using this formula, we give a characterization of the unit object of $\widetilde{R\hbox{-gmod}[w]}$ for the case of classical finite types.

We study the monoid algebra ${}_{n}\mathcal{T}_{m}$ of semistandard Young tableaux, which coincides with the Gelfand--Tsetlin semigroup ring $\mathcal{GT}_{n}$ when $m = n$. Among others, we show that this algebra is commutative, Noetherian, reduced, Koszul, and Cohen--Macaulay. We provide a complete classification of its maximal ideals and compute the topology of its maximal spectrum. Furthermore, we classify its irreducible modules and provide a faithful semisimple representation. We also establish that its associated variety coincides with a toric degeneration of certain partial flag varieties constructed by Gonciulea--Lakshmibai. As an application, we show that this algebra yields injective embeddings of $\mathfrak{sl}_n$-crystals, extending a result of Bossinger--Torres.

Let $U$ be a tensor product of highest weight modules of $GL_n(\mathbb C)$ corresponding to multiples of fundamental weights (i.e. rectangles). We consider three ways to stratify $U^{\otimes k}$ into components: using isotypic components of the cyclic action on tensor factors, using a generalization of the charge statistic, and using certain generalizations of Assaf's dual equivalence graphs. We conjecture that all three ways coincide, and we prove that the latter two ways coincide. The Kirillov-Reshetikhin dual equivalence graphs (KR DEGs) we introduce for this purpose are defined on $0$-weight spaces of tensor products of Kirillov-Reshetikhin crystals. They generalize Kazhdan-Lusztig dual equivalence graphs (KL DEGs) that previously appeared in the study of Kazhdan-Lusztig cells in affine type A. While the tensor products of Kirillov-Reshetikhin crystals are connected as affine crystals, the KR DEGs in general are not.

We develop a theory of bicrystalline ideals, synthesizing Gröbner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and new. The theory concerns ideals in the coordinate ring of matrices, stable under the action of some Levi group, whose quotients admit standard bases equipped with a crystal structure. We construct an effective algorithm to decide if an ideal is bicrystalline. When the answer is affirmative, we provide a uniform, generalized Littlewood-Richardson rule for computing the multiplicity of irreducible representations either for the quotient or the ideal itself.

We prove an inductive formula to construct a path from the highest weight element to any given vertex in the crystal graph of the polytope realization of the Kirillov-Reshetikhin crystal $KR^{i,m}$ of type $A$. For $i \leq 2$ or $i \geq n-1$, we provide explicit formulas of the same by only using the lowering crystal operators and in those cases, using these paths, we determine the explicit image of any element under the affine crystal isomorphisms between the polytope and the tableau realizations of the Kirillov-Reshetikhin crystals.

Grounded partitions, introduced by Dousse and Konan, are coloured partitions satisfying difference conditions given by a matrix with nonnegative integer entries. For the matrices studied in this paper, the generating functions are known to be infinite products, corresponding to the principal specialisation of characters of highest weight modules of type $A_1^{(1)}$. We give the first bijective proof that the generating functions of grounded partitions at level $2$ are infinite products. We then give a new combinatorial model for affine crystal graphs of type $A_1^{(1)}$ at level $2$, where the vertices are grounded partitions and the arrows are given by explicit bracketing rules. The grounded partition model for affine crystal graphs of highest weights $Λ_0$, $Λ_1$ and $Λ_0 + Λ_1$ gives rise to new $q$-series identities obtained by decomposing the affine crystal graphs into the crystal graphs of finite type $A_1$ via the restricted representation.

We consider a product of fundamental crystals of type $C_n$ in monomial realization, where the product means a natural product of Laurent monomials, not a tensor product. Then we shall show that the product still holds a crystal structure and describe how it is decomposed into irreducible crystals, which is, in general, different from the decomposition rule for the tensor product of the fundamental crystals.

What might a combinatorial interpretation of the Kronecker coefficients even look like? We introduce a class of combinatorial objects called bitableaux, which we believe are a natural candidate, and we formulate a purely combinatorial problem which if resolved would give a combinatorial interpretation of the Kronecker coefficients. We make some partial progress on this problem -- enough to extract a combinatorial expansion for a Kronecker product of Schur functions in the monomial basis. We also explain how in this framework finding a combinatorial interpretation for Kronecker coefficients can be thought of as looking for a generalization of the RSK and dual RSK insertion algorithms.

Let $η_w$ be the quantum twist automorphism for the quantum unipotent coordinate ring $\mathrm{A}_q(\mathfrak{n}(w))$ introduced by Kimura and Oya. In this paper, we study the quantum twist automorphism $η_w$ in the viewpoint of the crystal bases theory and provide a crystal-theoretic description of $η_w$. In the case of the $*$-twisted minuscule crystals of classical finite types, we provide a combinatorial description of $η_w$ in terms of (shifted) Young diagrams. We further investigate the periodicity of $η_w$ up to a multiple of frozen variables in various setting.

The action of the cactus group $C_n$ on Young tableaux of a given shape $λ$ goes back to Berenstein and Kirillov and arises naturally in the study of crystal bases and quantum integrable systems. We show that this action is $2$-transitive on standard Young tableaux of the shape $λ$ if and only if $λ$ is not self-transpose and not a single hook. Moreover, we show that in these cases, the image of the cactus group in the permutation group of standard Young tableaux is either the whole permutation group or the alternating group, and prove that both cases are possible for infinitely many $λ$ (though the alternating group is more frequent). As an application, this implies that the Galois group of solutions to the Bethe ansatz in the Gaudin model attached to the Lie group $GL_d$ is, in many cases, at least the alternating group. This also extends the results of Sottile and White on the multiple transitivity of the Galois group of Schubert calculus problems in Grassmannians to many new cases.