arXiv++ Combinatorics

Let $δ=(δ_1,\ldots,δ_n)$ be a string of letters $h$ and $v$. We define a Young tableau to be $δ$-semistandard if the entries are weakly increasing along rows and columns, and the entries $i$ form a horizontal strip if $δ_i=h$ and a vertical strip if $δ_i=v$. We define $δ$-promotion on such tableaux via a modified jeu-de-taquin. The first main result is that $δ$-promotion has period $n$ on rectangular $δ$-semistandard tableaux, generalizing the results of Haiman and Rhoades for standard and semistandard tableaux. The second main result states that the set of rectangular $δ$-semistandard tableaux for fixed $δ$ and content $γ$ exhibits the cyclic sieving phenomenon with the generalized Kostka polynomial. To do so we follow Fontaine-Kamnitzer and associate to $(δ,γ)$ an $SL_m$-invariant space Inv$(V_{λ^1}\otimes\cdots\otimes V_{λ^n})$ where each $V_{λ^i}$ is an alternating or symmetric representation. We show that the Satake basis of the corresponding invariant space is indexed by the set of tableaux corresponding to $(δ,γ)$ and is permuted by rotation of tensor factors. We then diagonalize the rotation action using the fusion product. This cyclic sieving generalizes the result of Rhoades, and of Fontaine-Kamnitzer (in type A), and is closely related to that of Westbury.

The set of finite binary matrices of a given size is known to carry a finite type A bicrystal structure. We first review this classical construction, explain how it yields a short proof of the equality between Kostka polynomials and one-dimensional sums together with a natural generalisation of the 2M -- X Pitman transform. Next, we show that, once the relevant formalism on families of infinite binary matrices is introduced, this is a particular case of a much more general phenomenon. Each such family of matrices is proved to be endowed with Kac-Moody bicrystal and tricrystal structures defined from the classical root systems. Moreover, we give an explicit decomposition of these multicrystals, reminiscent of the decomposition of characters yielding the Cauchy identities.

In this article, we develop a framework to study the large deviation principle for matrix models and their quantized versions, by tilting the measures using the limits of spherical integrals obtained in [46,47]. As examples, we obtain 1. a large deviation principle for the empirical distribution of the diagonal entries of $UB_NU^*$, for a sequence of $N\times N$ diagonal matrices $B_N$ and unitary Haar distributed matrices $U$; 2. a large deviation upper bound for the empirical eigenvalue distribution of $A_N+UB_NU^*$, for two sequences of $N\times N$ diagonal matrices $A_N, B_N$, and their complementary lower bounds at measures which are described by the free product with amalgamation; 3. a large deviation principle for the Kostka number $K_{\boldsymbolλ_N \boldsymbolη_N}$, for two sequences of partitions $\boldsymbolλ_N, \boldsymbolη_N$ with at most $N$ rows; 4. a large deviation upper bound for the Littlewood-Richardson coefficients $c_{\boldsymbolλ_N \boldsymbol η_N}^{\boldsymbol κ_N}$, for three sequences of partitions $\boldsymbolλ_N, \boldsymbol η_N, \boldsymbol κ_N$ with at most $N$ rows, and their complementary lower bounds at nice measures.

We present three different upper bounds for Kronecker coefficients $g(λ,μ,ν)$ in terms of Kostka numbers, contingency tables and Littlewood--Richardson coefficients. We then give various examples, asymptotic applications, and compare them with existing lower bounds.

We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder polynomials with one column diagrams, namely the restriction rules from $BC_n$ to $BC_{n-1}$. To have a good description of the transition matrices involved, we introduce the following degeneration scheme of the Koornwinder polynomials: $P_{(1^r)}(x|a,b,c,d|q,t) \longleftrightarrow P_{(1^r)}(x|a,-a,c,d|q,t)\longleftrightarrow P_{(1^r)}(x|a,-a,c,-c|q,t) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2}c,-t^{1/2}c,c,-c|q,t\big) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2},-t^{1/2},1,-1|q,t\big)$. We prove that the transition matrices associated with each of these degeneration steps are given in terms of the matrix inversion formula of Bressoud. As an application, we give an explicit formula for the Kostka polynomials of type $B_n$, namely the transition matrix from the Schur polynomials $P^{(B_n,B_n)}_{(1^r)}(x|q;q,q)$ to the Hall-Littlewood polynomials $P^{(B_n,B_n)}_{(1^r)}(x|t;0,t)$. We also present a conjecture for the asymptotically free eigenfunctions of the $B_n$ $q$-Toda operator, which can be regarded as a branching formula from the $B_n$ $q$-Toda eigenfunction restricted to the $A_{n-1}$ $q$-Toda eigenfunctions.

We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group.

A classical bijection relates certain Kostka numbers, the Catalan numbers, and permutations of length $n$ with longest increasing subsequence (LIS) of length at most $2.$ We generalize this bijection and find Kostka numbers which count the number of permutations of $n$ with LIS length at most $w,$ the number of permutations with $(1, \cdots, w)$ as a LIS, and other similar subsets of permutations.

We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.

We give an elementary proof of a well-known result on Kostka numbers, following a question from Mark Wildon on MathOverflow. Namely, we show that given partitions $λ,μ,ν$ of $n$ with $μ\trianglerighteqν$, we have $K_{λν}\geqslant K_{λμ}$.

Egge, Loehr, and Warrington proved a formula for the Schur function expansion of a symmetric function in terms of its expansion in fundamental quasi-symmetric functions. Their formula involves the coefficients of a modified inverse Kostka matrix. Recently Garsia and Remmel gave a simpler reformulation of Egge, Loehr, and Warrington's result, with a new proof. We give here a simple proof of Garsia and Remmel's version, using a sign-reversing involution.

We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $C_n$ degeneration of the Koornwinder polynomials $P_{(1^r)}(x\,|\,a,-a,c,-c\,|\,q,t)$ with one column diagrams, to the type $C_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of three term recursion relations, which can be regarded as a $(a,c,t)$-deformation of the one for the Catalan triangle or ballot numbers. Some transition matrices are studied associated with the type $(C_n,C_n)$ Macdonald polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,b;q,t)= P_{(1^r)}\big(x\,|\,b^{1/2},-b^{1/2},q^{1/2}b^{1/2},-q^{1/2}b^{1/2}\,|\,q,t\big)$. It is also shown that the $q$-ballot numbers appear as the Kostka polynomials, namely in the transition matrix from the Schur polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,q;q,q)$ to the Hall-Littlewood polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,t;0,t)$.

A filtration of a representation whose successive quotients are isomorphic to Demazure modules is called an excellent filtration. In this paper we study graded multiplicities in excellent filtrations of fusion products for the current algebra $\mathfrak{sl}_2[t]$. We give a combinatorial formula for the polynomials encoding these multiplicities in terms of two dimensional lattice paths. Corollaries to our main theorem include a combinatorial interpretation of various objects such as the coeffficients of Ramanujan's fifth order mock theta functions $φ_0, φ_1, ψ_0, ψ_1$, Kostka polynomials for hook partitions and quotients of Chebyshev polynomials. We also get a combinatorial interpretation of the graded multiplicities in a level one flag of a local Weyl module associated to the simple Lie algebras of type $B_n \text{ and } G_2$.

For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-Jing creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},μ(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ as the result of acting on $1\inΛ^Q$ by the corresponding sequence of quiver currents. The quiver Kostka-Shoji polynomials are the expansion coefficients of $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ in the tensor Schur basis. These polynomials include the Kostka-Foulkes polynomials and parabolic Kostka polynomials (Jordan quiver) and the Kostka-Shoji polynomials (cyclic quiver) as special cases. We show that the quiver Kostka-Shoji polynomials are graded multiplicities in the equivariant Euler characteristic of a vector bundle on Lusztig's convolution diagram determined by the sequences $\mathbf{i},\mathbf{a}$. For certain compositions of currents we conjecture higher cohomology vanishing of the associated vector bundle on Lusztig's convolution diagram. For quivers with no branching we propose an explicit positive formula for the quiver Kostka-Shoji polynomials in terms of catabolizable multitableaux. We also relate our constructions to $K$-theoretic Hall algebras, by realizing the quiver Kostka-Shoji polynomials as natural structure constants and showing that the quiver currents provide a symmetric function lifting of the corresponding shuffle product. In the case of a cyclic quiver, we explain how the quiver currents arise in Saito's vertex representation of the quantum toroidal algebra of type $\mathfrak{sl}_r$.

We study the specialization of the type A nonsymmetric Macdonald polynomials at $t=0$ based on the combinatorial formula of Haglund, Haiman, and Loehr. We prove that this specialization expands nonnegatively into the fundamental slide polynomials, introduced by the author and Searles. Using this and weak dual equivalence, we prove combinatorially that this specialization is a positive graded sum of Demazure characters. We use stability results for fundamental slide polynomials to show that this specialization stabilizes and to show that the Demazure character coefficients give a refinement of the Kostka--Foulkes polynomials.

We relate the counting of honeycomb dimer configurations on the cylinder to the counting of certain vertices in Kirillov-Reshetikhin crystal graphs. We show that these dimer configurations yield the quantum Kostka numbers of the small quantum cohomology ring of the Grassmannian, i.e. the expansion coefficients when multiplying a Schubert class repeatedly with different Chern classes. This allows one to derive sum rules for Gromov-Witten invariants.

This paper studies the geometry and combinatorics of three interrelated varieties: Springer fibers, Steinberg varieties, and parabolic Hessenberg varieties. We prove that each parabolic Hessenberg variety is the pullback of a Steinberg variety under the projection of the flag variety to an appropriate partial flag variety and we give three applications of this result. The first application constructs an explicit paving of all Steinberg varieties in Lie type $A$ in terms of semistandard tableaux. As a result, we obtain an elementary proof of a theorem of Steinberg and Shimomura that the well-known Kostka numbers count the maximal-dimensional irreducible components of Steinberg varieties. The second application proves an open conjecture for certain parabolic Hessenberg varieties in Lie type A by showing that their Betti numbers equal those of a specific union of Schubert varieties. The third application proves that the irreducible components of parabolic Hessenberg varieties are in bijection with the irreducible components of the Steinberg variety. All three of these applications extend our geometric understanding of the three varieties at the heart of this paper, a full understanding of which is unknown even for Springer varieties, despite over forty years' worth of work.

We present a general conjecture on the divisibility of a certain expression in terms of Kostka numbers and their close variants. This conjecture is closely related to a variant of the period-index problem of noncommutative algebra, with partial implications in both directions. We present a description of the connection between these two problems via Schubert calculus as motivation and evidence for the conjecture before turning to a proof of the conjecture in a family of cases.

We prove a strong factorization property of interpolation Macdonald polynomials when $q$ tends to $1$. As a consequence, we show that Macdonald polynomials have a strong factorization property when $q$ tends to $1$, which was posed as an open question in our previous paper with Féray. Furthermore, we introduce multivariate $q,t$-Kostka numbers and we show that they are polynomials in $q,t$ with integer coefficients by using the strong factorization property of Macdonald polynomials. We conjecture that multivariate $q,t$-Kostka numbers are in fact polynomials in $q,t$ with nonnegative integer coefficients, which generalizes the celebrated Macdonald's positivity conjecture.

In this paper, we study shifted Schur functions $S_μ^\star$, as well as a new family of shifted symmetric functions $\mathfrak{K}_μ$ linked to Kostka numbers. We prove that both are polynomials in multi-rectangular coordinates, with nonnegative coefficients when written in terms of falling factorials. We then propose a conjectural generalization to the Jack setting. This conjecture is a lifting of Knop and Sahi's positivity result for usual Jack polynomials and resembles recent conjectures of Lassalle. We prove our conjecture for one-part partitions.

We study two different one-parameter generalizations of Littlewood--Richardson coefficients, namely Hall polynomials and generalized inverse Kostka polynomials, and derive new combinatorial formulae for them. Our combinatorial expressions are closely related to puzzles, originally introduced by Knutson and Tao in their work on the equivariant cohomology of the Grassmannian.