arXiv++ Combinatorics

A graph is Schur-positive if its chromatic symmetric function expands non-negatively in the Schur basis. We determine a full Schur-positivity classification for complete multipartite graphs by showing that a complete multipartite graph $K_λ$ is Schur-positive if and only if either $λ_i\in \{1,2\}$ for all $i$ or $λ=(3,2^β)$ for some $β\ge 1$. These results extend earlier classifications for complete bipartite and complete tripartite graphs to full generality. Our proofs combine structural arguments ruling out most cases, with a combinatorial analysis of Schur coefficients for the remaining family $K_{(3,2^β)}$ via special rim hook $G$-tabloids. Along the way, we establish a simpler formula for Schur coefficients of incomparability graphs, which we then apply to compute the coefficients of interest in terms of non-increasing sequences.

Eğecioğlu and Remmel provide a combinatorial proof (using special rim hook tableaux) that the product of the Kostka matrix $K$ and its inverse $K^{-1}$ equals the identity matrix $I$. They then pose the problem of proving the reverse identity $K^{-1}K =I$ combinatorially. Sagan and Lee prove a special case of this identity using overlapping special rim hook tableaux. Loehr and Mendes provide a full proof using bijective matrix algebra that relies on the Eğecioğlu--Remmel map. In this article, we solve the problem in full generality independent of the Eğecioğlu--Remmel bijection. To do this, we start by proving NSym versions of both Kostka matrix identities using sign-reversing involutions involving the tunnel hook coverings recently introduced by the first and third authors. Then we modify our sign-reversing involutions to reduce to Sym. Finally, we show that our bijection is different than the Loehr and Mendes result by constructing an injective map between special rim tableaux and the symmetric group $S_n.$

Let $1<d<e$ be two coprime integers and let $m_e$ denote the Mullineux map, which for $e$ prime describes tensor products of the irreducible modules of symmetric groups with the sign in characteristic $e$. We prove that if $λ$ is an $e$-regular partition such that $d$ divides the arm length of any rim hook of $λ$ of size divisible by $e$, then $m_e(λ)'$ is a partition such that the arm length of any of its rim hooks of size divisible by $e$ is congruent to $-1$ modulo $d$. We introduce a new parameter for partitions called the $d$-runner matrix and show that if $λ$ is as above, then the $d$-runner matrices of $λ$ and $m_e(λ)'$ agree. This determines $m_e(λ)'$ uniquely. We approach the whole problem combinatorially and take advantage of a new Abacus Mullineux Algorithm introduced in this paper. We also establish equivalent descriptions of the above partitions which provide an alternative version of the main result about the Mullineux map, which becomes particularly strong when $d=2$.

A graph is Schur-positive if its chromatic symmetric function expands nonnegatively in the Schur basis. All claw-free graphs are conjectured to be Schur-positive. We introduce a combinatorial object corresponding to a graph G, called a special rim hook G-tabloid, which is a variation on the special rim hook tabloid. These objects can be employed to compute any Schur coefficient of the chromatic symmetric function of a graph. We construct sign-reversing maps on these special rim hook G-tabloids to obtain a recurrence relation for the Schur coefficients of a family of claw-free graphs called generalized nets, then we prove the entire family is Schur-positive. We subsequently determine an analogous recurrence relation for another, similar family of claw-free graphs. Thus, we demonstrate a new method for proving Schur-positivity of chromatic symmetric functions, which has the potential to be applied to make further progress toward the aforementioned conjecture.

We introduce a new basis for the polynomial ring which lifts the complete homogeneous symmetric polynomials while retaining representation theoretic significance. Using a specialized RSK algorithm we give an explicit nonnegative expansion into key polynomials and, generalizing the special rim hook tabloids of Eğecioğlu and Remmel, give an explicit signed expansion for key polynomials into this new basis.

We develop Pieri type as well as Murnaghan--Nakayama type formulas for equivariant Chern--Schwartz--MacPherson classes of Schubert cells in the classical flag variety. These formulas include as special cases many previously known multiplication formulas for Chern--Schwartz--MacPherson classes or Schubert classes. We apply the equivariant Murnaghan--Nakayama formula to the enumeration of rim hook tableaux.

We provide a combinatorial formula for the expansion of immaculate noncommutative symmetric functions into complete homogeneous noncommutative symmetric functions. To do this, we introduce generalizations of Ferrers diagrams which we call GBPR diagrams. We define tunnel hooks, which play a role similar to that of the special rim hooks appearing in the Eğecioğlu-Remmel formula for the symmetric inverse Kostka matrix. We extend this interpretation to skew shapes and fully generalize to define immaculate functions indexed by integer sequences skewed by integer sequences. Finally, as an application of our combinatorial formula, we extend Campbell's results on ribbon decompositions of immaculate functions to a larger class of shapes.

For $k\ge 1$, the homogeneous symmetric functions $G(k,m)$ of degree $m$ defined by $\sum_{m\ge 0} G(k,m) z^m=\prod_{i\ge 1} \big(1+x_iz+x^2_iz^2+\cdots+x^{k-1}_iz^{k-1}\big)$ are called \emph{Petrie symmetric functions}. As derived by Grinberg and Fu--Mei independently, the expansion of $G(k,m)$ in the basis of Schur functions $s_λ$ turns out to be signed multiplicity free, i.e., the coefficients are $-1$, $0$ and $1$. In this paper we give a combinatorial interpretation of the coefficient of $s_λ$ in terms of the $k$-core of $λ$ and a sequence of rim hooks of size $k$ removed from $λ$. We further study the product of $G(k,m)$ with a power sum symmetric function $p_n$. For all $n\ge 1$, we give necessary and sufficient conditions on the parameters $k$ and $m$ in order for the expansion of $G(k,m)\cdot p_n$ in the basis of Schur functions to be signed multiplicity free. This settles affirmatively a conjecture of Alexandersson as the special case $n=2$.

We investigate the $e$-positivity and Schur positivity of the chromatic symmetric functions of some spider graphs with three legs. We obtain the positivity classification of all broom graphs and that of most double broom graphs. The methods involve extracting particular $e$-coefficients of the chromatic symmetric function of these graphs with the aid of Orellana and Scott's triple-deletion property, and using the combinatorial formula of Schur coefficients by examining certain special rim hook tabloids. We also propose some conjectures on the $e$-positivity and Schur positivity of trees.

We describe an infinite family of non-Plücker cluster variables inside the double Bruhat cell cluster algebra defined by Berenstein, Fomin, and Zelevinsky. These cluster variables occur in a family of subalgebras of the double Bruhat cell cluster algebra which we call Double Rim Hook (DRH) cluster algebras. We discover that all of the cluster variables are determinants of matrices of special form. We conjecture that all the cluster variables of the double Bruhat-cell cluster algebra have similar determinant form. We notice the resemblance between our staircase diagram and Auslander-Reiten quivers.

The Peterson comparison formula proved by Woodward relates the three-pointed Gromov-Witten invariants for the quantum cohomology of partial flag varieties to those for the complete flag. Another such comparison can be obtained by composing a combinatorial version of the Peterson isomorphism with a result of Lapointe and Morse relating quantum Littlewood-Richardson coefficients for the Grassmannian to k-Schur analogs in the homology of the affine Grassmannian obtained by adding rim hooks. We show that these comparisons on quantum cohomology are equivalent, up to Postnikov's strange duality isomorphism.

We provide a formula for every Schur coefficient in the chromatic symmetric function of a graph in terms of special rim hook tabloids. This formula is useful in confirming the non-Schur positivity of the chromatic symmetric function of a graph, especially when Stanley's stable partition method does not work. As applications, we determine Schur positive fan graphs and Schur positive complete tripartite graphs. We show that any squid graph obtained by adding $n$ leaves to a common vertex on an $m$-vertex cycle is not Schur positive if $m\ne 2n-1$, and conjecture that neither are the squid graphs with $m=2n-1$.

Let $dd(I;n)$ denote the number of permutations of $[n]$ with double descent set $I$. For singleton sets $I$, we present a recursive formula for $dd(I;n)$ and a method to estimate $dd(I;n)$. We also discuss the enumeration of certain classes of rim hooks. Let $\mathcal{R}_I(n)$ denote the set of all rim hooks of length $n$ with double descent set $I$, so that any tableau of one of these rim hooks corresponds to a permutation with double descent set $I$. We present a formula for the size of $\mathcal{R}_I(n)$ when $I$ is a singleton set, and we also present a formula for the size of $\mathcal{R}_I(n)$ when $I$ is the empty set. We additionally present several conjectures about the asymptotics of certain ratios of $dd(I;n)$.

Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by $h_{n-k+1}-a_{1},h_{n-k+2}-a_{2},\ldots,h_{n}-a_{k}$, where $h_{i}$ is the $i$-th complete homogeneous symmetric polynomial. The quotient ring $\mathcal{S}/I$ generalizes both the usual and the quantum cohomology of the Grassmannian. We show that $\mathcal{S}/I$ has a $\mathbf{k}$-module basis consisting of (residue classes of) Schur polynomials fitting into an $\left( n-k\right) \times k$-rectangle; and that its multiplicative structure constants satisfy the same $S_3$-symmetry as those of the Grassmannian cohomology. We prove a Pieri rule and a "rim hook algorithm", and conjecture a positivity property generalizing that of Gromov-Witten invariants. We construct two further bases of $\mathcal{S}/I$ as well. We also study the quotient of the whole polynomial ring (not just the symmetric polynomials) by the ideal generated by the same $k$ polynomials as $I$.

We construct a family of infinite-dimensional positive sub-coalgebras within the Grothendieck ring of Hecke algebras, when viewed as a Hopf algebra with respect to the induction and restriction functor. These sub-coalgebras have as structure constants the 3-point genus zero Gromov-Witten invariants of Grassmannians and are spanned by what we call cylindric Hecke characters, a particular set of virtual characters for whose computation we give several explicit combinatorial formulae. One of these expressions is a generalisation of Ram's formula for irreducible Hecke characters and uses cylindric broken rim hook tableaux. We show that the latter are in bijection with so-called `ice configurations' on a cylindrical square lattice, which define the asymmetric six-vertex model in statistical mechanics. A key ingredient of our construction is an extension of the boson-fermion correspondence to Hecke algebras and employing the latter we find new expressions for Jing's vertex operators of Hall-Littlewood functions in terms of the six-vertex transfer matrices on the infinite planar lattice.

The Hillman--Grassl correspondence is a well-known bijection between multisets of rim hooks of a partition shape $λ$ and reverse plane partitions of $λ$. We use the tools of quiver representations to generalize Hillman--Grassl in type $A$ and to define an analogue in all minuscule types. This is an extended abstract prepared for FPSAC 2019 based on arXiv:1812.08345, emphasizing its combinatorial aspects.

R. Sulzgruber's rim hook insertion and the Hillman-Grassl correspondence are two distinct bijections between the reverse plane partitions of a fixed partition shape and multisets of rim-hooks of the same partition shape. It is known that Hillman-Grassl may be equivalently defined using the Robinson-Schensted-Knuth correspondence, and we show the analogous result for Sulzgruber's insertion. We refer to our description of Sulzgruber's insertion as diagonal RSK. As a consequence of this equivalence, we show that Sulzgruber's map from multisets of rim hooks to reverse plane partitions can be expressed in terms of Greene-Kleitman invariants.

A driving question in (quantum) cohomology of flag varieties is to find non-recursive, positive combinatorial formulas for expressing the product of two classes in a particularly nice basis, called the Schubert basis. Bertram, Ciocan-Fontanine and Fulton provided a way to compute quantum products of Schubert classes in the Grassmannian of k-planes in complex n-space by doing classical multiplication and then applying a combinatorial rim hook rule which yields the quantum parameter. In this paper, we provide a generalization of this rim hook rule to the setting in which there is also an action of the complex torus. Combining this result with Knutson and Tao's puzzle rule then gives an effective algorithm for computing all equivariant quantum Littlewood-Richardson coefficients. Interestingly, this rule requires a specialization of torus weights modulo n, suggesting a direct connection to the Peterson isomorphism relating quantum and affine Schubert calculus.

We study the remarkable Saxl conjecture which states that tensor squares of certain irreducible representations of the symmetric groups S_n contain all irreducibles as their constituents. Our main result is that they contain representations corresponding to hooks and two row Young diagrams. For that, we develop a new sufficient condition for the positivity of Kronecker coefficients in terms of characters, and use combinatorics of rim hook tableaux combined with known results on unimodality of certain partition functions. We also present connections and speculations on random characters of S_n.

Motivated by the question of finding a type B analogue of the bijection between oscillating tableaux and matchings, we find a correspondence between oscillating m-rim hook tableaux and m-colored matchings, where m is a positive integer. An oscillating m-rim hook tableau is defined as a sequence $(λ^0,λ^1,...,λ^{2n})$ of Young diagrams starting with the empty shape and ending with the empty shape such that $λ^{i}$ is obtained from $λ^{i-1}$ by adding an m-rim hook or by deleting an m-rim hook. Our bijection relies on the generalized Schensted algorithm due to White. An oscillating 2-rim hook tableau is also called an oscillating domino tableau. When we restrict our attention to two column oscillating domino tableaux of length 2n, we are led to a bijection between such tableaux and noncrossing 2-colored matchings on $\{1, 2,..., 2n\}$, which are counted by the product $C_nC_{n+1}$ of two consecutive Catalan numbers. A 2-colored matching is noncrossing if there are no two arcs of the same color that are intersecting. We show that oscillating domino tableaux with at most two columns are in one-to-one correspondence with Dyck path packings. A Dyck path packing of length 2n is a pair (D, E), where D is a Dyck path of length 2n, and E is a dispersed Dyck path of length 2n that is weakly covered by D. So we deduce that Dyck path packings of length 2n are counted by $C_nC_{n+1}$.