arXiv++ Combinatorics

Schur functions has been shown to satisfy certain plethysm stability properties and recurrence relations. In this paper, use vertex operator methods to study analogous stability properties of Schur's $Q$-functions. Although the two functions have similar stability properties, we find a special case where the plethysm of Schur's $Q$-functions exhibits linear increase.

The flagged refined stable Grothendieck polynomials of skew shapes generalize several polynomials like stable Grothendieck polynomials, flagged skew Schur polynomials. In this paper, we provide a combinatorial expansion of the flagged refined skew stable Grothendieck polynomial in terms of key polynomials. We present this expansion by imposing a Demazure crystal structure on the set of flagged semi-standard set-valued tableaux of a given skew shape and a flag. We also provide expansions of the row-refined stable Grothendieck polynomials and refined dual stable Grothendieck polynomials and the Schur P-functions in terms of stable Grothendieck polynomials $G_λ$ and in terms of dual stable Grothendieck polynomials $g_λ$.

We consider the probability measures on Young diagrams in the $n \times k$ rectangle obtained by piecewise-continuously differentiable specializations of Schur polynomials in the dual Cauchy identity. We use a free fermionic representation of the correlation kernel to study its asymptotic behavior and derive the uniform convergence to a limit shape of Young diagrams in the limit $n,k \to \infty$. More specifically, we show the bulk is the discrete sine kernel with boundary fluctuations generically given by the Tracy-Widom distribution with the Airy kernel. When our limit shape touches the boundary corner of the rectangle, the fluctuations with a second order correction are given by the discrete Hermite kernel, and we recover the discrete distribution of Gravner-Tracy-Widom (2001) [arXiv:math/0005133] restricting to the leading order. Finally, we demonstrate our limit shapes can have sections with no or full density of particles, where the Pearcey kernel appears when such a section is infinitely small.

We study the torus equivariant K-homology ring of the affine Grassmannian $\mathrm{Gr}_G$ where $G$ is a connected reductive linear algebraic group. In type $A$, we introduce equivariantly deformed symmetric functions called the K-theoretic double $k$-Schur functions as the Schubert bases. The functions are constructed by Demazure operators acting on equivariant parameters. As an application, we provide a Ginzburg-Peterson type realization of the torus-equivariant K-homology ring of $\mathrm{Gr}_{{SL}_n}$ as the coordinate ring of a centralizer family for $PGL_n(\mathbb{C})$.

The expansion of a Schubert polynomial into slide polynomials corresponds to a sum over sub-balls in the subword complex. There has been recent interest in other, coarser, expansions of Schubert polynomials. We extend the methods used in [KM04] to prove that the subword complex is a ball or a sphere to a more general method, and use it to prove that the expansion of a Schubert polynomial into forest polynomials also corresponds to a sum over sub-balls in the subword complex. When expanding the product $\mathfrak{S}_π\mathfrak{S}_ρ$ of two Schubert polynomials into Schubert polynomials $\mathfrak{S}_σ$, there is a bijection between shuffles of reduced words for $π$ and $ρ$ and reduced words for $σ$ (counted with multiplicity). We give such a bijection for Monk's rule and Sottile's Pieri rule. We give tableau-based definitions of slide polynomials, glide polynomials, and fundamental quasisymmetric polynomials and show that the expansion of a Schur polynomial into fundamental quasisymmetric polynomials corresponds to a sum over sub-balls in the tableau complex. The Schubert polynomials are the cohomology classes of matrix Schubert varieties, but there is no geometric explanation of the slide polynomials. We show that the slide polynomials are not (antidiagonal) Gröbner degenerations of matrix Schubert varieties, answering in the negative a question of [ST21, Section 1.4].

In the article, two implementations of the representation of the complex Lie algebra $\mathfrak{sl}_2$ on the algebra of symmetric polynomials $Λ_n$ by differential operators are proposed. The realizations of irreducible subrepresentations, both finite-dimensional and infinite-dimensional, are described, and the decomposition of $Λ_n$ is found. The actions on the Schur polynomials is also determined. By using an isomorphism between $Λ_n$ and the vector space of Young diagrams $\mathbb{Q}\mathcal{Y}_n$ with no more than $n$ rows, these representations are transferred to $\mathbb{Q}\mathcal{Y}_n$.

Multiline queues are versatile combinatorial objects that play a key role in understanding the remarkable connection between the asymmetric simple exclusion process (ASEP) on a circle and Macdonald polynomials. Specializing the results of Corteel--Mandelshtam--Williams (2018) to the $t=0$ case yields a formula for the $q$-Whittaker polynomials through the Ferrari--Martin (2007) algorithm with a major index ($\texttt{maj}$) statistic. In this paper, we reinterpret the $\texttt{maj}$ statistic as a $\texttt{charge}$ statistic on reading words, thereby bypassing the Ferrari--Martin algorithm to obtain an elegant formula for the $q$-Whittaker polynomials. Our methods naturally extend to the case of bosonic multiline queues, with which we obtain analogous results for the modified Hall--Littlewood polynomials using a $\texttt{cocharge}$ statistic on reading words. Twisted multiline queues (GMLQs) are obtained from the action of the symmetric group on the rows of a multiline queue. The Ferrari--Martin algorithm was extended to GMLQs by Arita--Ayyer--Mallick--Prolhac (2011), and Aas--Grinberg--Scrimshaw (2020) showed it is preserved under this action. We extend these results by defining a $\texttt{maj}$ statistic on GMLQs that is also preserved under this action. This yields a novel family of formulas, indexed by compositions, for the $q$-Whittaker polynomials. Additionally, we define a procedure on both GMLQs and bosonic multiline queues that we call collapsing, which can can be realized via the Kashiwara (crystal) operators on type-A Kirillov--Reshetikhin crystals. As an application, we naturally recover the Lascoux--Schützenberger $\texttt{charge}$ formula for the $q$-Whittaker and modified Hall--Littlewood polynomials, and the classical and dual Cauchy identities for Schur functions.

We define a measure on tuples of partitions, called the symplectic Schur process, that should be regarded as the right analogue of the Schur process of Okounkov-Reshetikhin for the Cartan type C. The weights of our measure include factors that are universal symplectic characters, as well as a novel family of "Down-Up Schur functions" that we define and for which we prove new identities of Cauchy-Littlewood-type. Our main structural result is that the point process corresponding to the symplectic Schur process is determinantal and we find an explicit correlation kernel. We also present dynamics that preserve the family of symplectic Schur processes and explore an alternative sampling scheme, based on the Berele insertion algorithm, in a special case. Finally, we study the asymptotics of the Berele insertion process and find explicit formulas for the limit shape and fluctuations near the bulk and the edge. One of the limit regimes leads to a new kernel that resembles the symmetric Pearcey kernel.

The dual immaculate and Young quasisymmetric Schur bases of quasisymmetric functions possess analogues in the peak algebra: respectively, the quasisymmetric Schur $Q$-functions and the peak Young quasisymmetric Schur functions. We show elements of the former basis expand into the latter basis with nonnegative coefficients.

In this paper, we give a rule for the multiplication of a Schubert class by a tautological class in the (small) quantum cohomology ring of the flag manifold. As an intermediate step, we establish a formula for the multiplication of a Schubert class by a quantum Schur polynomial indexed by a hook partition. This entails a detailed analysis of chains and intervals in the quantum Bruhat order. This analysis allows us to use results of Leung--Li and of Postnikov to reduce quantum products by hook Schur polynomials to the (known) classical product.

The key polynomials, the Demazure atoms, the Schubert polynomials, and even the Schur functions can be defined using divided difference operator. In 2000, Hivert introduced a quasisymmetric analog of the divided difference operator. In particular, replacing it in a natural way in the definition of the Schur functions gives Gessel's fundamental basis. This paper is our attempt to apply the same methods to define the remaining bases and study the results. In particular, we show both the key polynomials and Demazure atoms have natural analogs using Hivert's operator and that the resulting bases occur independently and defined by other means in the work of Assaf and Searles, as the fundemental slide polynomials and the fundamental particle basis respectively. We further explore properties of these two bases, including giving the structure constants for the fundamental particle basis.

The $(P, w)$-partition generating function $K_{(P,w)}(x)$ is a quasisymmetric function obtained from a labeled poset. Recently, Liu and Weselcouch gave a formula for the coefficients of $K_{(P,w)}(x)$ when expanded in the quasisymmetric power sum function basis. This formula generalizes the classical Murnaghan--Nakayama rule for Schur functions. We extend this result to weighted $(P, w)$-partitions and provide a short combinatorial proof, avoiding the Hopf algebra machinery used by Liu--Weselcouch.

In this paper, we explore the relationship between quasisymmetric Schur $Q$-functions and peak Young quasisymmetric Schur functions. We introduce a bijection on $\mathsf{SPIT}(α)$ such that $\{\mathrm{w}_{\rm c}(T) \mid T \in \mathsf{SPIT}(α)\}$ and $\{\mathrm{w}_{\rm r}(T) \mid T \in \mathsf{SPIT}(α)\}$ share identical descent distributions. Here, $\mathsf{SPIT}(α)$ is the set of standard peak immaculate tableaux of shape $α$, and $\mathrm{w}_{\rm c}$ and $\mathrm{w}_{\rm r}$ denote column reading and row reading, respectively. By combining this equidistribution with the algorithm developed by Allen, Hallam, and Mason, we demonstrate that the transition matrix from the basis of quasisymmetric Schur $Q$-functions to the basis of peak Young quasisymmetric Schur functions is upper triangular, with entries being non-negative integers. Furthermore, we provide explicit descriptions of the expansion of peak Young quasisymmetric Schur functions in specific cases, in terms of quasisymmetric Schur $Q$-functions. We also investigate the combinatorial properties of standard peak immaculate tableaux, standard Young composition tableaux, and standard peak Young composition tableaux. We provide a hook length formula for $\mathsf{SPIT}(α)$ and show that standard Young composition tableaux and standard peak Young composition tableaux can be bijectively mapped to specific words in a familiar form. Especially, cases of compositions with rectangular shape are examined in detail.

Let $\mathbb{F}$ be a field and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{F})$. Given a vector space $V$, let $Δ^{(2,1^{N-1})}V$ be the kernel of the multiplication map $\bigwedge^N V \otimes V \rightarrow \bigwedge^{N+1}V$. We construct an explicit $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong Δ^{(2,1^{N-1})} \mathrm{Sym}^d E$. This $\mathrm{SL}_2(\mathbb{F})$-isomorphism is a modular lift of the $q$-binomial identity $q^{\frac{N(N-1)}{2}}[N]_q \binom{d+1}{N+1}_q = s_{(2,1^{N-1})}(1,q,\ldots, q^d)$, where $s_{(2,1^{N-1})}$ is the Schur function for the partition $(2,1^{N-1})$. This identity, which follows from our main theorem, implies the existence of an isomorphism when $\mathbb{F}$ is the field of complex numbers but it is notable, and not typical of the general case, that there is an explicit isomorphism defined in a uniform way for any field.

We introduce and study a generalization $s_{(μ|λ)}$ of the Schur functions called the almost symmetric Schur functions. These functions simultaneously generalize the finite variable key polynomials and the infinite variable Schur functions. They form a homogeneous basis for the space of almost symmetric functions and are defined using a family of recurrences involving the isobaric divided difference operators and limits of Weyl symmetrization operators. The $s_{(μ|λ)}$ are the $q=t=0$ specialization of the stable limit non-symmetric Macdonald functions $\widetilde{E}_{(μ|λ)}$ defined by the author in previous work. We find a combinatorial formula for these functions simultaneously generalizing well known formulas for the Schur functions and the key polynomials. Further, we prove positivity results for the coefficients of the almost symmetric Schur functions expanded into the monomial basis and into the monomial-Schur basis of the space of almost symmetric functions. The latter positivity result follows after realizing the almost symmetric Schur functions $s_{(μ|λ)}$ as limits of characters of representations of parabolic subgroups in type $GL.$

We extend the notion of ascent-compatibility from symmetric groups to all Coxeter groups, thereby providing a type-independent framework for constructing families of modules of $0$-Hecke algebras. We apply this framework in type $B$ to give representation-theoretic interpretations of a number of noteworthy families of type-$B$ quasisymmetric functions. Next, we construct modules of the type-$B$ $0$-Hecke algebra corresponding to type-$B$ analogues of Schur functions and introduce a type-$B$ analogue of Schur $Q$-functions; we prove that these shifted domino functions expand positively in the type-$B$ peak functions. We define a type-$B$ analogue of the $0$-Hecke--Clifford algebra, and we use this to provide representation-theoretic interpretations for both the type-$B$ peak functions and the shifted domino functions. We consider the modules of this algebra induced from type-$B$ $0$-Hecke modules constructed via ascent-compatibility and prove a general formula, in terms of type-$B$ peak functions, for the type-$B$ quasisymmetric characteristics of the restrictions of these modules.

It is an important problem in algebraic combinatorics to deduce the Schur function expansion of a symmetric function whose expansion in terms of the fundamental quasisymmetric function is known. For example, formulas are known for the fundamental expansion of a Macdonald symmetric function and for the plethysm of two Schur functions, while the Schur expansions of these expressions are still elusive. Egge, Loehr and Warrington provided a method to obtain the Schur expansion from the fundamental expansion by replacing each quasisymmetric function by a Schur function (not necessarily indexed by a partition) and using straightening rules to obtain the Schur expansion. Here we provide a new method that only involves the coefficients of the quasisymmetric functions indexed by partitions and the quasi-Kostka matrix. As an application, we identify the lexicographically largest term in the Schur expansion of the plethysm of two Schur functions. We provide the Schur expansion of $s_w[s_h](x,y)$ for $w=2,3,4$ using novel symmetric chain decompositions of Young's lattice for partitions in a $w\times h$ box. For $w=4$, this is first known combinatorial expression for the coefficient of $s_λ$ in $s_{w}[s_{h}]$ for two-row partitions $λ$, and for $w=3$ the combinatorial expression is new.

The question of classifying when two skew Schur functions are equal is a substantial open problem, which remains unsolved for over a century. In 2022, Aliniaeifard, Li and van Willigenburg introduced skew Schur functions in noncommuting variables, $s_{(δ,D)}$, where $D$ is a connected skew diagram with $n$ boxes and $δ$ is a permutation in the symmetric group $S_n$. In this paper, we combine these two and classify when two skew Schur functions in noncommuting variables are equal: $s_{(δ,D)} = s_{(τ,T)}$ such that $D\ne T$ if and only if $D$ is a nonsymmetric ribbon, $T$ is the antipodal rotation of $D$ and $\overline{τ^{-1}δ}$ is an explicit bijection between two set partitions determined by $D$.

The Schur functions, a basis for the symmetric polynomials (Sym), encode the irreducible representations of the symmetric group, $\mathfrak{S}_n$, via the Frobenius characteristic map. In 1996, Krob and Thibon defined a quasisymmetric Frobenius map on the representations of $\mathcal{H}_n(0)$, mapping them to the quasisymmetric functions (QSym). Despite the obvious inclusion of Sym in QSym and the close relationship between $\mathfrak{S}_n$ and $\mathcal{H}_n(0)$, there is no known direct link between these two Frobenius characteristic maps and the related representations. We explore three specific situations in which a deformation of an $\mathfrak{S}_n$ action results in a valid $\mathcal{H}_n(0)$ action and gives a quasisymmetric Frobenius characteristic that is equal to the symmetric Frobenius characteristic. We introduce the concept of quasisymmetric compatibility, which formalizes a link between the two maps, and we show it applies to all $\mathfrak{S}_n$-modules.

We show that the Schur polynomials in all primitive $n$th roots of unity are $1$, $0$, or $-1$, if $n$ has at most two distinct odd prime factors. This result can be regarded as a generalization of properties of the coefficients of the cyclotomic polynomial and its multiplicative inverse. The key to the proof is the concept of a unimodular system of vectors. Namely, this result can be reduced to the unimodularity of the tensor product of two maximal circuits (here we call a vector system a maximal circuit, if it can be expressed as $B \cup \{ -\sum B \}$ with some basis $B$).