arXiv++ Combinatorics

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.

In 2015, Jing and Li defined type B quasisymmetric Schur functions and conjectured that these functions have a positive, integral and unitriangular expansion into peak functions. We prove this conjecture, and refine their combinatorial model to give explicit expansions in monomial, fundamental and peak bases. We also show that these functions are not quasisymmetric Schur, Young quasisymmetric Schur or dual immaculate positive, and do not have a positive multiplication rule.

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 functions.

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 immaculate functions. Finally, we provide a Remmel-Whitney-style rule to generate the coefficients of the decomposition of the dual immaculates into the Young quasisymmetric Schurs algorithmically and an analogous rule for the decomposition of the dual bases.

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 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 quasisymmetric generating functions of shifted dual equivalence classes, as well as three new families of functions --- one of which is conjectured to be a basis of the vector space of quasisymmetric functions. Each of the six families is realized as the fundamental quasisymmetric generating functions over the classes of some refinement of dual Knuth equivalence. Thus, we also produce a poset of refinements of dual Knuth equivalence. In doing so, we define quasi-dual equivalence to provide classes that generate quasisymmetric Schur functions.

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 Willigenburg.

We give a backward jeu de taquin slide analogue on semistandard reverse composition tableaux. These tableaux were first studied by Haglund, Luoto, Mason and van Willigenburg when defining quasisymmetric Schur functions. Our algorithm for performing backward jeu de taquin slides on semistandard reverse composition tableaux results in a natural operator on compositions that we call the jdt operator. This operator in turn gives rise to a new poset structure on compositions whose maximal chains we enumerate. As an application, we also give a noncommutative Pieri rule for noncommutative Schur functions that uses the jdt operators.

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 containing a canonical tableau we discover a new basis for the Hopf algebra of quasisymmetric functions, and use the cardinality of these equivalence classes to establish new enumerative results on truncated shifted reverse tableau studied by Panova and Adin-King-Roichman. Generalizing our 0-Hecke action to one on skew standard reverse composition tableaux, we derive 0-Hecke modules whose quasisymmetric characteristics are the skew quasisymmetric Schur functions of Bessenrodt et al. This enables us to prove a restriction rule that reflects the coproduct formula for quasisymmetric Schur functions, which in turn yields a quasisymmetric branching rule analogous to the classical branching rule for Schur functions.

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 Macdonald polynomials. We show that these permuted basement nonsymmetric Macdonald polynomials are the simultaneous eigenfunctions of a family of commuting operators in the double affine Hecke algebra.

We introduce explicit combinatorial interpretations for the coefficients in some of the transition matrices relating to skew Hall-Littlewood polynomials P_lambda/mu(x;t) and Hivert's quasisymmetric Hall-Littlewood polynomials G_gamma(x;t). More specifically, we provide: 1) the G-expansions of the Hall-Littlewood polynomials P_lambda, the monomial quasisymmetric polynomials M_alpha, the quasisymmetric Schur polynomials S_alpha, and the peak quasisymmetric functions K_alpha; 2) an expansion of P_lambda/mu in terms of the F_alpha's. The F-expansion of P_lambda/mu is facilitated by introducing starred tableaux.

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 this new basis and other known bases for quasisymmetric functions, as well as its relationship to Schur polynomials. We obtain a refinement of the omega transform operator as a result of these relationships.

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 have distinct descent sets. We conclude by providing such a classification for quasisymmetric Schur function families, giving a classification of Schur functions that are in some sense almost F-multiplicity free.

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.

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.

In the prequel to this paper, we showed how results of Mason involving a new combinatorial formula for polynomials that are now known as Demazure atoms (characters of quotients of Demazure modules, called standard bases by Lascoux and Schutzenberger) could be used to define a new basis for the ring of quasisymmetric functions we call Quasisymmetric Schur functions (QS functions for short). In this paper we develop the combinatorics of these polynomials futher, by showing that the product of a Schur function and a Demazure atom has a positive expansion in terms of Demazure atoms. As a by-product, using the fact that both a QS function and a Demazure character have explicit expressions as a positive sum of atoms, we obtain the expansion of a product of a Schur function with a QS function (Demazure character) as a positive sum of QS functions (Demazure characters). Our formula for the coefficients in the expansion of a product of a Demazure character and a Schur function into Demazure characters is similar to known results and includes in particular the famous Littlewood-Richardson rule for the expansion of a product of Schur functions in terms of the Schur basis.

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 naturally refines the Pieri rule for Schur functions. After surveying combinatorial formulas for Macdonald polynomials, including an expansion of Macdonald polynomials into fundamental quasisymmetric functions, we show how some of our results can be extended to include the $t$ parameter from Hall-Littlewood theory.