Recently a new basis for the Hopf algebra of quasisymmetric functions $QSym$, called quasisymmetric Schur functions, has been introduced by Haglund, Luoto, Mason, van Willigenburg. In this paper we extend the definition of quasisymmetric Schur functions to introduce skew quasisymmetric Schur functions. These functions include both classical skew Schur functions and quasisymmetric Schur functions as examples, and give rise to a new poset $\mathcal{L}_C$ that is analogous to Young's lattice. We also introduce a new basis for the Hopf algebra of noncommutative symmetric functions $NSym$. This basis of $NSym$ is dual to the basis of quasisymmetric Schur functions and its elements are the pre-image of the Schur functions under the forgetful map $χ: NSym \rightarrow Sym$. We prove that the multiplicative structure constants of the noncommutative Schur functions, equivalently the coefficients of the skew quasisymmetric Schur functions when expanded in the quasisymmetric Schur basis, are nonnegative integers, satisfying a Littlewood-Richardson rule analogue that reduces to the classical Littlewood-Richardson rule under $χ$.
As an application we show that the morphism of algebras from the algebra of Poirier-Reutenauer to $Sym$ factors through $NSym$. We also extend the definition of Schur functions in noncommuting variables of Rosas-Sagan in the algebra $NCSym$ to define quasisymmetric Schur functions in the algebra $NCQSym$. We prove these latter functions refine the former and their properties, and project onto quasisymmetric Schur functions under the forgetful map. Lastly, we show that by suitably labeling $\mathcal{L}_C$, skew quasisymmetric Schur functions arise in the theory of Pieri operators on posets.
We introduce a quasisymmetric generalization of Berele and Regev's hook Schur functions and prove that these new quasisymmetric hook Schur functions decompose the hook Schur functions in a natural way. We examine the combinatorics of the quasisymmetric hook Schur functions, providing a relationship to Gessel's fundamental quasisymmetric functions and an analogue of the Robinson-Schensted-Knuth algorithm. We also prove that the multiplication of quasisymmetric hook Schur functions with hook Schur functions behaves the same as the multiplication of quasisymmetric Schur functions with Schur funct…
We describe a combinatorial formula for the coefficients when the dual immaculate quasisymmetric functions are decomposed into Young quasisymmetric Schur functions. We prove this using an analogue of Schensted insertion. Using this result, we give necessary and sufficient conditions for a dual immaculate quasisymmetric function to be symmetric. Moreover, we show that the product of a Schur function and a dual immaculate quasisymmetric function expands positively in the Young quasisymmetric Schur basis. We also discuss the decomposition of the Young noncommutative Schur functions into the immac…
Mason and Remmel introduced a basis for quasisymmetric functions known as the row-strict quasisymmetric Schur functions. This basis is generated combinatorially by fillings of composition diagrams that are analogous to the row-strict tableaux that generate Schur functions. We introduce a modification known as Young row-strict quasisymmetric Schur functions, which are generated by row-strict Young composition fillings. After discussing basic combinatorial properties of these functions, we define a skew Young row-strict quasisymmetric Schur function using the Hopf algebra of quasisymmetric funct…
Haglund, Luoto, Mason, and van Willigenburg introduced a basis for quasisymmetric functions called the quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through reverse column-strict tableaux. We introduce a new basis for quasisymmetric functions called the row-strict quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through row-strict tableaux. We describe the relationship between…
We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. This expansion follows from several new properties of an insertion algorithm defined by Mason and Remmel (2010) which inserts a positive integer into a row-strict composition tableau.
In this paper we classify all Schur functions and skew Schur functions that are multiplicity free when expanded in the basis of fundamental quasisymmetric functions, termed F-multiplicity free. Combinatorially, this is equivalent to classifying all skew shapes whose standard Young tableaux have distinct descent sets. We then generalize our setting, and classify all F-multiplicity free quasisymmetric Schur functions with one or two terms in the expansion, or one or two parts in the indexing composition. This identifies composition shapes such that all standard composition tableaux of that shape…
We introduce a new basis for quasisymmetric functions, which arise from a specialization of nonsymmetric Macdonald polynomials to standard bases, also known as Demazure atoms. Our new basis is called the basis of quasisymmetric Schur functions, since the basis elements refine Schur functions in a natural way. We derive expansions for quasisymmetric Schur functions in terms of monomial and fundamental quasisymmetric functions, which give rise to quasisymmetric refinements of Kostka numbers and standard (reverse) tableaux. From here we derive a Pieri rule for quasisymmetric Schur functions that …
By establishing relations between operators on compositions, we show that the posets of compositions arising from the right and left Pieri rules for noncommutative Schur functions can each be endowed with both the structure of dual graded graphs and dual filtered graphs when paired with the poset of compositions arising from the Pieri rules for quasisymmetric Schur functions and its deformation.
The classical Littlewood-Richardson rule is a rule for computing coefficients in many areas, and comes in many guises. In this paper we prove two Littlewood-Richardson rules for symmetric skew quasisymmetric Schur functions that are analogous to the famed version of the classical Littlewood-Richardson rule involving Yamanouchi words. Furthermore, both our rules contain this classical Littlewood-Richardson rule as a special case. We then apply our rules to combinatorially classify symmetric skew quasisymmetric Schur functions. This answers affirmatively a conjecture of Bessenrodt, Luoto and van…
We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. We then discuss a family of polynomials called Demazure atoms. We review the known characterizations of these polynomials and then present two new characterizations. Finally, we consider a family of polynomials called permuted basement nonsymmetric Macdonald polynomials which are obtained by permuting the basement of the combinatorial formula of Haglund, Haiman, and Loehr for nonsymmetric Macdonal…
We consider families of quasisymmetric functions with the property that if a symmetric function $f$ is a positive sum of functions in one of these families, then f is necessarily a positive sum of Schur functions. Furthermore, in each of the families studied, we give a combinatorial description of the Schur coefficients of $f$. We organize six such families into a poset, where functions in higher families in the poset are always positive integer sums of functions in each of the lower families. This poset includes the Schur functions, the quasisymmetric Schur functions, the fundamental quasisym…
In this work, we generalize and utilize the linear relations of LLT polynomials introduced by Lee \cite{Lee}. By using the fact that the chromatic quasisymmetric functions and the unicellular LLT polynomials are related via plethystic substitution and thus they satisfy the same linear relations, we can apply the linear relations to both sets of functions. As a result, in the chromatic quasisymmetric function side, we find a class of $e$-positive graphs, called \emph{melting lollipop graphs}, and explicitly prove the $e$-unimodality. In the unicellular LLT side, we obtain Schur expansion formul…
We introduce two lifts of the dual immaculate quasisymmetric functions to the polynomial ring. We establish positive formulas for expansions of these dual immaculate slide polynomials into the fundamental slide and quasi-key bases for polynomials. These formulas mirror connections between dual immaculate quasisymmetric functions, fundamental quasisymmetric functions, and Young quasisymmetric Schur functions, extending these connections from the ring of quasisymmetric functions to the full polynomial ring. We also consider a reverse variant of the dual immaculate quasisymmetric functions, mirro…
In this note we derive skew Pieri rules in the spirit of Assaf-McNamara for skew quasisymmetric Schur functions using the Hopf algebraic techniques of Lam-Lauve-Sottile, and recover the original rules of Assaf-McNamara as a special case. We then apply these techniques a second time to obtain skew Pieri rules for skew noncommutative Schur functions.
We construct modules of the $0$-Hecke algebra whose images under the quasisymmetric characteristic map are the Young row-strict quasisymmetric Schur functions. This provides a representation-theoretic interpretation of this basis of quasisymmetric functions, answering a question of Mason and Niese (2015). Additionally, we classify when these modules are indecomposable.
We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of a factorization for compositions: equivalent compositions have factorizations that differ only by reversing some of the terms. As an application, we can derive identities on certain Littlewood-Richardson coefficients. Finally, we consider the cone of symmetric functions having a nonnnegative representation in terms of the fundamental quasisymmetric basis. We…
Recently Tewari and van Willigenburg constructed modules of the 0-Hecke algebra that are mapped to the quasisymmetric Schur functions by the quasisymmetric characteristic and decomposed them into a direct sum of certain submodules. We show that these submodules are indecomposable by determining their endomorphism rings.
Reiner, Shaw and van Willigenburg showed that if two skew Schur functions s_A and s_B are equal, then the skew shapes A and B must have the same "row overlap partitions." Here we show that these row overlap equalities are also implied by a much weaker condition than skew Schur equality: that s_A and s_B have the same support when expanded in the fundamental quasisymmetric basis F. Surprisingly, there is significant evidence supporting a conjecture that the converse is also true. In fact, we work in terms of inequalities, showing that if the F-support of s_A contains that of s_B, then the row o…
We express the integral form Macdonald polynomials as a weighted sum of Shareshian and Wachs' chromatic quasisymmetric functions of certain graphs. Then we use known expansions of these chromatic quasisymmetric functions into Schur and power sum symmetric functions to provide Schur and power sum formulas for the integral form Macdonald polynomials. Since the (integral form) Jack polynomials are a specialization of integral form Macdonald polynomials, we obtain analogous formulas for Jack polynomials as corollaries.
We prove two conjectures of Shareshian and Wachs about Eulerian quasisymmetric functions and polynomials. The first states that the cycle type Eulerian quasisymmetric function $Q_{λ,j}$ is Schur-positive, and moreover that the sequence $Q_{λ,j}$ as $j$ varies is Schur-unimodal. The second conjecture, which we prove using the first, states that the cycle type $(q,p)$-Eulerian polynomial \newline $A_λ^{\maj,\des,\exc}(q,p,q^{-1}t)$ is $t$-unimodal.
We begin by deriving an action of the 0-Hecke algebra on standard reverse composition tableaux and use it to discover 0-Hecke modules whose quasisymmetric characteristics are the natural refinements of Schur functions known as quasisymmetric Schur functions. Furthermore, we classify combinatorially which of these 0-Hecke modules are indecomposable. From here, we establish that the natural equivalence relation arising from our 0-Hecke action has equivalence classes that are isomorphic to subintervals of the weak Bruhat order on the symmetric group. Focussing on the equivalence classes containin…
We investigate the rigidity for the Hopf algebra ${\rm QSym}$ of quasisymmetric functions with respect to the monomial, the fundamental and the quasisymmetric Schur basis, respectively. By establishing some combinatorial properties of the posets of compositions arising from the analogous Pieri rules for quasisymmetric functions, we show that ${\rm QSym}$ is rigid as an algebra with respect to the quasisymmetric Schur basis, and rigid as a coalgebra with respect to the monomial and the quasisymmetric Schur basis, respectively. The natural actions of reversal, complement and transpose of the lab…
Given an element in a finite-dimensional real vector space, $V$, that is a nonnegative linear combination of basis vectors for some basis $B$, we compute the probability that it is furthermore a nonnegative linear combination of basis vectors for a second basis, $A$. We then apply this general result to combinatorially compute the probability that a symmetric function is Schur-positive (recovering the recent result of Bergeron--Patrias--Reiner), $e$-positive or $h$-positive. Similarly we compute the probability that a quasisymmetric function is quasisymmetric Schur-positive or fundamental-posi…
The extended Schur functions form a basis of quasisymmetric functions that contains the Schur functions. We provide a representation-theoretic interpretation of this basis by constructing $0$-Hecke modules whose quasisymmetric characteristics are the extended Schur functions. We further prove these modules are indecomposable.
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 introduce the quasi-key basis of the polynomial ring. We prove this basis contains the quasi-Schur polynomials of of Haglund, Luoto, Mason and van Willigenburg and that stable limits of quasi-key polynomials are quasi-Schur functions, thus giving a lifting of the quasi-Schur basis of quasisymmetric polynomials to the full polynomial ring. We introduce the combinatorial model of Kohnert tableaux, and use this model to prove that key polynomials expand positively in quasi-key polynomials which in turn expand positively in the fundamental slide polynomials introduced earlier by the authors. We…
Over the past years, major attention has been drawn to the question of identifying Schur-positive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a non-negative sum of Schur symmetric functions. The set of arc permutations, i.e. the set of permutations $π$ in $S_n$ such that for any $1\leq j \leq n$, $\{π(1),π(2),\dots,π(j)\}$ is an interval in $\mathbb{Z}_n$ is one of the most noticeable examples. This paper introduces a new type B extension of Schur-positivity to signed permutations based on Chow's quasisymmetric functions and gener…
We classify the $Q$-multiplicity-free skew Schur $Q$-functions. Towards this result, we also provide new relations between the shifted Littlewood-Richardson coefficients.
We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive. This provides a universal method for establishing the symmetry and Schur positivity of quasisymmetric functions.
Cylindric skew Schur functions, which are a generalisation of skew Schur functions, arise naturally in the study of P-partitions. Also, recent work of A. Postnikov shows they have a strong connection with a problem of considerable current interest: that of finding a combinatorial proof of the non-negativity of the 3-point Gromov-Witten invariants. After explaining these motivations, we study cylindric skew Schur functions from the point of view of Schur-positivity. Using a result of I. Gessel and C. Krattenthaler, we generalise a formula of A. Bertram, I. Ciocan-Fontanine and W. Fulton, thus g…
We classify the $Q$-homogeneous skew Schur $Q$-functions, i.e., those of the form $Q_{λ/μ} = k \cdot Q_ν$. On the way we develop new tools that are useful also in the context of other classification problems for skew Schur $Q$-functions.
We introduce a general method for constructing modules for $0$-Hecke algebras and supermodules for $0$-Hecke-Clifford algebras from diagrams of boxes in the plane, and give formulas for the images of these modules in the algebras of quasisymmetric functions and peak functions under the relevant characteristic map. As initial applications, we resolve a question of Jing and Li (2015), introduce a new basis of the peak algebra analogous to the quasisymmetric Schur functions, uncover a new connection between Schur $Q$-functions and quasisymmetric Schur functions, give a representation-theoretic in…
We introduce a quasisymmetric refinement of Stanley's chromatic symmetric function. We derive refinements of both Gasharov's Schur-basis expansion of the chromatic symmetric function and Chow's expansion in Gessel's basis of fundamental quasisymmetric functions. We present a conjectural refinement of Stanley's power sum basis expansion, which we prove in special cases. We describe connections between the chromatic quasisymmetric function and both the $q$-Eulerian polynomials introduced in our earlier work and, conjecturally, representations of symmetric groups on cohomology of regular semisimp…
We show that sequences of skew Schur polynomials obtained from stretched semi-standard Young tableaux satisfy a linear recurrence, which we give explicitly. Using this, we apply this to finding certain asymptotic behavior of these Schur polynomials and present conjectures on minimal recurrences for stretched Schur polynomials.
In this work, we establish a general relationship between the enumeration of weighted directed paths and skew Schur functions, extending work by Bousquet-Mélou, who expressed generating functions of discrete excursions in terms of rectangular Schur functions.
Some new relations on skew Schur function differences are established both combinatorially using Schützenberger's jeu de taquin, and algebraically using Jacobi-Trudi determinants. These relations lead to the conclusion that certain differences of skew Schur functions are Schur positive. Applying these results to a basis of symmetric functions involving ribbon Schur functions confirms the validity of a Schur positivity conjecture due to McNamara. A further application reveals that certain differences of products of Schubert classes are Schubert positive.
We present a single operation for constructing skew diagrams whose corresponding skew Schur functions are equal. This combinatorial operation naturally generalises and unifies all results of this type to date. Moreover, our operation suggests a closely related condition that we conjecture is necessary and sufficient for skew diagrams to yield equal skew Schur functions.
We give a combinatorial expansion of the stable Grothendieck polynomials of skew Young diagrams in terms of skew Schur functions, using a new row insertion algorithm for set-valued semistandard tableaux of skew shape. This expansion unifies some previous results: it generalizes a combinatorial formula obtained in earlier joint work with López Martín and Teixidor i Bigas concerning Brill-Noether curves, and it generalizes a 2000 formula of Lenart and a recent result of Reiner-Tenner-Yong to skew shapes. We also give an expansion in the other direction: expressing skew Schur functions in terms o…
Characterizing sets of permutations whose associated quasisymmetric function is symmetric and Schur-positive is a long-standing problem in algebraic combinatorics. In this paper we present a general method to construct Schur-positive sets and multisets, based on geometric grid classes and the product operation. Our approach produces many new instances of Schur-positive sets, and provides a broad framework that explains the existence of known such sets that until now were sporadic cases.
The hive model is a combinatorial device that may be used to determine Littlewood-Richardson coefficients and study their properties. It represents an alternative to the use of the Littlewood-Richardson rule. Here properties of hives are used to determine all possible multiplicity-free Schur function products and skew Schur function expansions. This confirms the results of Stembridge, Gutschwager, and Thomas and Yong, and sheds light on the combinatorial origin of the conditions for being multiplicity-free, as well as illustrating some of the key features and power of the hive model.
We investigate chromatic symmetric functions in the relation to the algebra $Γ$ of symmetric functions generated by Schur $Q$-functions. We construct natural bases of $Γ$ in terms of chromatic symmetric functions. We also consider the $p$-positivity of skew Schur $Q$-functions and find a class of $p$-positive ribbon Schur $Q$-functions, making a conjecture that they are \emph{all}. We include many concrete computational results that support our conjecture.
We introduce a new operation on skew diagrams called composition of transpositions, and use it and a Jacobi-Trudi style formula to derive equalities on skew Schur Q-functions whose indexing shifted skew diagram is an ordinary skew diagram. When this skew diagram is a ribbon, we conjecture necessary and sufficient conditions for equality of ribbon Schur Q-functions. Moreover, we determine all relations between ribbon Schur Q-functions; show they supply a Z-basis for skew Schur Q-functions; assert their irreducibility; and show that the non-commutative analogue of ribbon Schur Q-functions is the…
We consider the skew diagram $Δ_n$, which is the $180^\circ$ rotation of the staircase diagram $δ_n = (n,n-1,n-2,...,2,1)$. We create a staircase with bad foundation by augmenting $Δ_n$ with another skew diagram, which we call the \textit{foundation}. We consider pairs of staircases with bad foundation whose foundations are transposes of one another. Among these pairs, we show that the difference of the corresponding skew Schur functions is Schur-positive in the case when one of the foundations consists of either a one or two row diagram, or a hook diagram.
