arXiv++ Combinatorics

In recent years, Alexandersson and others proved combinatorial formulas for the Schur function expansion of the horizontal-strip LLT polynomial $G_λ(x;q)$ in some special cases. We associate a weighted graph $Π$ to $λ$ and we use it to express a linear relation among LLT polynomials. We apply this relation to prove an explicit combinatorial Schur-positive expansion of $G_λ(x;q)$ whenever $Π$ is triangle-free. We also prove that the largest power of $q$ in the LLT polynomial is the total edge weight of our graph.

The quasisymmetic Macdonald polynomials $G_γ(X; q, t)$ were recently introduced by the first and second authors with Haglund, Mason, and Williams in [3] to refine the symmetric Macdonald polynomials $P_λ(X; q, t)$ with the property that $G_γ(X; 0, 0)$ equals $QS_γ(X)$, the quasisymmetric Schur polynomial of [9]. We derive an expansion for $G_γ(X; q, t)$ in the fundamental basis of quasisymmetric functions.

We provide a non-recursive, combinatorial classification of multiplicity-free skew Schur polynomials. These polynomials are $GL_n$, and $SL_n$, characters of the skew Schur modules. Our result extends work of H. Thomas--A. Yong, and C. Gutschwager, in which they classify the multiplicity-free skew Schur functions.

We give a proof of the generalized Cauchy identity for double Grothendieck polynomials, a combinatorial interpretation of the stable double Grothendieck polynomials in terms of triples of tableaux, and an interpolation between the stable double Grothendieck polynomial and the weak stable double Grothendieck polynomial. This so-called half weak stable double Grothendieck polynomial evaluated at $x=y$ generalizes the type $B$ Stanley symmetric function of Billey and Haiman and is $Q$-Schur positive by degree. We conclude with two open problems as well as a conjecture regarding the $K$-theoretic analogues of factorial Schur $Q$-functions defined by Ikeda and Naruse. The conjecture is supported by code given in the appendices.

We derive a bilinear expansion expressing elements of a lattice of KP $τ$-functions, labelled by partitions, as a sum over products of pairs of elements of an associated lattice of BKP $τ$-functions, labelled by strict partitions. This generalizes earlier results relating determinants and Pfaffians of minors of skew symmetric matrices, with applications to Schur functions and Schur $Q$-functions. It is deduced using the representations of KP and BKP $τ$-functions as vacuum expectation values (VEV's) of products of fermionic operators of charged and neutral type, respectively. The lattice is generated by insertion of products of pairs of charged creation and annihilation operators. The result follows from expanding the product as a sum of monomials in the neutral fermionic generators and applying a factorization theorem for VEV's of products of operators in the mutually commuting subalgebras. Applications include the case of inhomogeneous polynomial $τ$-functions of KP and BKP type.

We prove that the $K$-$k$-Schur functions are part of a family of inhomogenous symmetric functions whose top homogeneous components are Catalan functions, the Euler characteristics of certain vector bundles on the flag variety. Lam-Schilling-Shimozono identified the $K$-$k$-Schur functions as Schubert representatives for $K$-homology of the affine Grassmannian for SL$_{k+1}$. Our perspective reveals that the $K$-$k$-Schur functions satisfy a shift invariance property, and we deduce positivity of their branching coefficients from a positivity result of Baldwin and Kumar. We further show that a slight adjustment of our formulation for $K$-$k$-Schur functions produces a second shift-invariant basis which conjecturally has both positive branching and a rectangle factorization property. Building on work of Ikeda-Iwao-Maeno, we conjecture that this second basis gives the images of the Lenart-Maeno quantum Grothendieck polynomials under a $K$-theoretic analog of the Peterson isomorphism.

We prove a general inclusion-exclusion relation for the extended chromatic symmetric function of a weighted graph, which specializes to (extended) $k$-deletion, and we give two methods to obtain numerous new bases from weighted graphs for the algebra of symmetric functions. Moreover, we classify when two weighted paths have equal extended chromatic symmetric functions by proving this is equivalent to the classification of equal ribbon Schur functions. This latter classification is dependent on the operation composition of compositions, which we generalize to composition of graphs. We then apply our generalization to obtain infinitely many families of weighted graphs whose members have equal extended chromatic symmetric functions.

We use intermediate symplectic characters to give a proof and variations of Hopkins' conjecture, now proved by Hopkins and Lai, on the number of shifted plane partitions of shifted double staircase shape with bounded entries. In fact, we prove some character identities involving intermediate symplectic characters, and find generating functions for such shifted plane partitions. The key ingredients of the proof are a bialternant formula for intermediate symplectic characters, which interpolates between those for Schur functions and symplectic characters, and the Ishikawa-Wakayama minor-summation formula.

Creation operators act on symmetric functions to build Schur functions, Hall--Littlewood polynomials, and related symmetric functions one row at a time. Haglund, Morse, Zabrocki, and others have studied more general symmetric functions $H_α$, $C_α$, and $B_α$ obtained by applying any sequence of creation operators to $1$. We develop new combinatorial models for the Schur expansions of these and related symmetric functions using objects called abacus-histories. These formulas arise by chaining together smaller abacus-histories that encode the effect of an individual creation operator on a given Schur function. We give a similar treatment for operators such as multiplication by $h_m$, $h_m^{\perp}$, $ω$, etc., which serve as building blocks to construct the creation operators. We use involutions on abacus-histories to give bijective proofs of properties of the Bernstein creation operator and Hall-Littlewood polynomials indexed by three-row partitions.

An identity is derived expressing Schur functions as sums over products of pairs of Schur $Q$-functions, generalizing previously known special cases. This is shown to follow from their representations as vacuum expectation values (VEV's) of products of either charged or neutral fermionic creation and annihilation operators, Wick's theorem and a factorization identity for VEV's of products of two mutually anticommuting sets of neutral fermionic operators.

Recently Galashin, Grinberg, and Liu introduced the refined dual stable Grothendieck polynomials, which are symmetric functions in $x=(x_1,x_2,\dots)$ with additional parameters $t=(t_1,t_2,\dots)$. The refined dual stable Grothendieck polynomials are defined as a generating function for reverse plane partitions of a given shape. They interpolate between Schur functions and dual stable Grothendieck polynomials introduced by Lam and Pylyavskyy in 2007. Flagged refined dual stable Grothendieck polynomials are a more refined version of refined dual stable Grothendieck polynomials, where lower and upper bounds are given for the entries of each row or column. In this paper Jacobi--Trudi-type formulas for flagged refined dual stable Grothendieck polynomials are proved using plethystic substitution. This resolves a conjecture of Grinberg and generalizes a result by Iwao and Amanov--Yeliussizov.

Let $α$ be a composition of $n$ and $σ$ a permutation in $\mathfrak{S}_{\ell(α)}$. This paper concerns the projective covers of $H_n(0)$-modules $\mathcal{V}_α$, $X_α$ and $\mathbf{S}^σ_α$, which categorify the dual immaculate quasisymmetric function, the extended Schur function, and the quasisymmetric Schur function when $σ$ is the identity, respectively. First, we show that the projective cover of $\mathcal{V}_α$ is the projective indecomposable module $\mathbf{P}_α$ due to Norton, and $X_α$ and the $φ$-twist of the canonical submodule $\mathbf{S}^σ_{β,C}$ of $\mathbf{S}^σ_β$ for $(β,σ)$'s satisfying suitable conditions appear as $H_n(0)$-homomorphic images of $\mathcal{V}_α$. Second, we introduce a combinatorial model for the $φ$-twist of $\mathbf{S}^σ_α$ and derive a series of surjections starting from $\mathbf{P}_α$ to the $φ$-twist of $\mathbf{S}^{\mathrm{id}}_{α,C}$. Finally, we construct the projective cover of every indecomposable direct summand $\mathbf{S}^σ_{α, E}$ of $\mathbf{S}^σ_α$. As a byproduct, we give a characterization of triples $(σ, α, E)$ such that the projective cover of $\mathbf{S}^σ_{α, E}$ is indecomposable.

The determinantal identities of Hamel and Goulden have recently been shown to apply to a tableau-based ninth variation of skew Schur functions. Here we extend this approach and its results to the analogous tableau-based ninth variation of supersymmetric skew Schur functions. These tableaux are built on entries taken from an alphabet of unprimed and primed numbers and that may be ordered in a myriad of different ways, each leading to a determinantal identity. At the level of the ninth variation the corresponding determinantal identities are all distinct but the original notion of supersymmetry is lost. It is shown that this can be remedied at the level of the sixth variation involving a doubly infinite sequence of factorial parameters. Moreover it is shown that the resulting factorial supersymmetric skew Schur functions are independent of the ordering of the unprimed and primed entries in the alphabet.

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.

Symplectic $Q$-functions are a symplectic analogue of Schur $Q$-functions and defined as the $t=-1$ specialization of Hall--Littlewood functions associated with the root system of type $C$. In this paper we prove that symplectic $Q$-functions share many of the properties of Schur $Q$-functions, such as a tableau description and a Pieri-type rule. And we present some positivity conjectures, including the positivity conjecture of structure constants for symplectic $P$-functions. We conclude by giving a tableau description of factorial symplectic $Q$-functions.

We investigate the homology representation of the symmetric group on rank-selected subposets of subword order. We show that the homology module for words of bounded length, over an alphabet of size $n,$ decomposes into a sum of tensor powers of the $S_n$-irreducible $S_{(n-1,1)}$ indexed by the partition $(n-1,1),$ recovering, as a special case, a theorem of Björner and Stanley for words of length at most $k.$ For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation $S_{(n-1,1)}$, and conjecture that this combination is nonnegative. We uncover a curious duality in homology in the case when one rank is deleted. We prove that the action on the rank-selected chains of subword order is a nonnegative integer combination of tensor powers of $S_{(n-1,1)}$, and show that its Frobenius characteristic is $h$-positive and supported on the set $T_{1}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 1\}.$ Our most definitive result describes the Frobenius characteristic of the homology for an arbitrary set of ranks, plus or minus one copy of the Schur function $s_{(n-1,1)},$ as an integer combination of the set $T_{2}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 2\}.$ We conjecture that this combination is nonnegative, establishing this fact for particular cases.

We seek simple conditions on a pair of labeled posets that determine when the difference of their $(P,ω)$-partition enumerators is $F$-positive, i.e., positive in Gessel's fundamental basis. This is a quasisymmetric analogue of the extensively studied problem of finding conditions on a pair of skew shapes that determine when the difference of their skew Schur functions is Schur-positive. We determine necessary conditions and separate sufficient conditions for $F$-positivity, and show that a broad operation for combining posets preserves positivity properties. We conclude with classes of posets for which we have conditions that are both necessary and sufficient.

We study the Schur polynomial expansion of a family of symmetric polynomials related to the refined enumeration of alternating sign matrices with respect to their inversion number, complementary inversion number and the position of the unique $1$ in the top row. We prove that the expansion can be expressed as a sum over totally symmetric plane partitions and we are also able to determine the coefficients. This establishes a new connection between alternating sign matrices and a class of plane partitions, thereby complementing the fact that alternating sign matrices are equinumerous with totally symmetric self-complementary plane partitions as well as with descending plane partitions. As a by-product we obtain an interesting map from totally symmetric plane partitions to Dyck paths. The proof is based on a new, quite general antisymmetrizer-to-determinant formula.

Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent interest, the confluence of these properties is a source of active investigation due to conjectures regarding the unimodality of the $h^\ast$-polynomial. In this paper, we consider the Newton polytopes arising from two families of polynomials in algebraic combinatorics: Schur polynomials and inflated symmetric Grothendieck polynomials. In both cases, we prove that these polytopes have the integer decomposition property by using the fact that both families of polynomials have saturated Newton polytope. Furthermore, in both cases, we provide a complete characterization of when these polytopes are reflexive. We conclude with some explicit formulas and unimodality implications of the $h^\ast$-vector in the case of Schur polynomials.

This paper deals with decreasing operators on back stable Schubert polynomials. We study two operators $ξ$ and $\nabla$ of degree $-1$, which satisfy the Leibniz rule. Furthermore, we show that all other such operators are linear combinations of $ξ$ and $\nabla$. For the case of Schur functions, these two operators fully determine the product of Schur functions, i.e., it is possible to define the Littlewood-Richardson coefficients only from $ξ$ and $\nabla$. This new point of view on Schur functions gives us an elementary proof of the Giambelli identity and of Jacobi-Trudi identities. For the case of Schubert polynomials, we construct a bigger class of decreasing operators as expressions in terms of $ξ$ and $\nabla$, which are indexed by Young diagrams. Surprisingly, these operators are related to Stanley symmetric functions. In particular, we extend bosonic operators from Schur to Schubert polynomials.