--- abstract: '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.' address: - 'Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104-6395, USA' - 'Department of Mathematics, University of British Columbia, Vancouver, BC V6T 1Z2, Canada' - 'Department of Mathematics, Davidson College, Davidson, NC 28035-7129, USA' - 'Department of Mathematics, University of British Columbia, Vancouver, BC V6T 1Z2, Canada' author: - 'J. Haglund' - 'K. Luoto' - 'S. Mason' - 'S. van Willigenburg' title: Quasisymmetric Schur functions --- [^1] Introduction {#sec:intro} ============ Macdonald polynomials were originally introduced in 1988 @Mac88 [@Mac], as a solution to a problem involving Selberg's integral posed by Kadell @Kad88. They are $q,t$ analogues of symmetric functions such that setting $q=t=0$ in the Macdonald polynomial $P_\lambda (X; q, t)$, for $\lambda$ a partition, yields the Schur function $s_\lambda$. Since their introduction they have arisen in further mathematical areas such as representation theory and quantum computation. For example, Cherednik @Cherednik showed that nonsymmetric Macdonald polynomials are connected to the representation theory of double affine Hecke algebras, and setting $q=t^\alpha$, dividing by a power of $1-t$ and letting $t \to 1$ yields Jack polynomials, which model bosonic variants of single component abelian and nonabelian fractional quantum Hall states @BH. The aforementioned nonsymmetric Macdonald polynomials, $E ^{\prime}_\alpha (X; q,t)$ where $\alpha$ is a weak composition, are a nonsymmetric refinement of the $P_\lambda (X; q, t)$. Setting $q=t=0$ in an identity of Macdonald and Marshall expressing $P_\lambda (X; q, t)$ as a linear combination of modified versions of the $E^{\prime}$'s (see Section \[sec:conc\]) implies that Schur functions can be decomposed into nonsymmetric functions ${\mathcal{A}}_\gamma$ for $\gamma$ a weak composition. These functions were first studied in @LS, where they were termed standard bases, however, to avoid confusion with other objects termed standard bases, we refer to them here as Demazure atoms since they decompose Demazure characters into their smallest parts. The definition we use also differs from that in @LS as our definition not only is arguably simpler than the one appearing there, but also is upward compatible with the new combinatorics appearing in the combinatorial formulae for Type $A$ symmetric and nonsymmetric Macdonald polynomials @HHL2 [@HHL]. The equivalence of these two definitions is established in @Mason2. It should be stressed that Demazure *atoms* should not be confused with Demazure *characters*, which involve the combinatorial tool of crystal graphs. However, certain linear combinations of Demazure atoms form Demazure characters, and their relationship to each other and to nonsymmetric Macdonald polynomials can be found in @Ion [@Ion2; @Mason2]. Interpolating between symmetric functions and nonsymmetric functions are quasisymmetric functions. These were introduced as a source of generating functions for $P$-partitions @Gessel but since then, like Macdonald polynomials, they have impacted, and deepened the understanding of, other areas. For example in category theory they are a terminal object in the category of graded Hopf algebras equipped with a zeta function @Aguiar; in lattice theory they induce Pieri rules analogous to those found in the algebra of symmetric functions @BMSvW; in discrete geometry the quasisymmetric functions known as peak functions were found to be dual to the **cd**-index @BHvW; in symmetric function theory they identify equal ribbon Schur functions @HDL; in representation theory they arise as characters of a degenerate quantum group @Hivert [@KrobThibon]. Therefore, a natural object to seek is a quasisymmetric function that interpolates between the nonsymmetric Schur functions, known as Demazure atoms, and Schur functions. Furthermore, since Demazure atoms exhibit many Schur function properties @Mason1, a natural question to ask is which properties of Schur functions are exhibited by *quasisymmetric* Schur functions? In this paper we define quasisymmetric Schur functions and show they naturally lift well known combinatorial properties of symmetric functions indexed by partitions, to combinatorial properties of quasisymmetric functions indexed by compositions. More precisely, we show the following. 1. The expression for Schur functions in terms of monomial symmetric functions refines to an expression for quasisymmetric Schur functions in terms of monomial quasisymmetric functions, giving rise to quasisymmetric Kostka coefficients. 2. The expression for Schur functions in terms of fundamental quasisymmetric functions naturally refines to quasisymmetric Schur functions. 3. The Pieri rule for multiplying a Schur function indexed by a row or a column with a generic Schur function refines to a rule for multiplying a quasisymmetric Schur function indexed by a row or a column with a generic quasisymmetric Schur function. Moreover, this rule is a new example of the construction studied in @BMSvW [@BHvW], where the underlying poset involved is a poset of compositions. The existence of such results introduces a plethora of research avenues to pursue concerning the quasisymmetric analogues of other symmetric function properties. For example, the latter result naturally raises the question of whether the Littlewood-Richardson rule for multiplying two generic Schur functions can be refined to quasisymmetric Schur functions. Such a refinement may not be easy to find as the classical Littlewood-Richardson rule produces nonnegative structure constants, whereas multiplying together two quasisymmetric Schur functions sometimes results in negative structure constants. The smallest such example exists at $n=6$. However, in the sequel to this paper we successfully refine the Littlewood-Richardson rule by multiplying a generic Schur function and quasisymmetric Schur function @HLMvW2. More precisely, this paper is structured as follows. In Sections \[sec:qsymsym\], \[sec:schur\], \[sec:atoms\] we review the necessary, and sometimes nonstandard, background material regarding quasisymmetric and symmetric functions, and Demazure atoms. In Section \[sec:qschur\] we introduce quasisymmetric Schur functions, and show in Proposition \[prop:Zbasis\] that they form a $\mathbb{Z}$-basis for the algebra of quasisymmetric functions. Section \[sec:qsprops\] derives expansions for quasisymmetric Schur functions in terms of monomial and fundamental quasisymmetric functions in Theorems \[the:qsasm\] and \[the:qsasf\]. In Section \[sub:transmat\] we reinterpret these expansions as transition matrices to facilitate the expression of arbitrary quasisymmetric functions in terms of the quasisymmetric Schur function basis. Our main result of this section, however, is Theorem \[the:pieriqs\] in which we give a Pieri rule for quasisymmetric Schur functions. Finally, in Section \[sec:conc\] we show how to insert the parameter $t$ into our model, defining new quasisymmetric functions which decompose Hall-Littlewood polynomials; contrast this result with an alternate decomposition obtained by letting $q=0$ in a formula for Macdonald symmetric functions as a sum of Gessel's fundamental quasisymmetric functions occurring in @Haglund, and discuss further avenues to pursue. Quasisymmetric and symmetric functions {#sec:qsymsym} ====================================== Compositions and partitions {#sub:comppar} --------------------------- A *weak composition* $\gamma = (\gamma _1, \gamma _2, \ldots, \gamma _k)$ of $n$, often denoted $\gamma \vDash n$, is a list of nonnegative integers whose sum is $n$. We call the $\gamma _i$ the *parts* of $\gamma$ and $n$ the *size* of $\gamma$, denoted $|\gamma|$. If $\gamma _i$ appears $n_i$ times we abbreviate this subsequence to $\gamma _i^{n_i}$. The *foundation* of $\gamma$ is the set $${\mathcal{F}o}(\gamma)=\{ i\ |\ \gamma _i >0\}.$$If every part of $\gamma$ is positive then we call $\gamma$ a *composition* and call $k:=\ell(\gamma)$ the *length* of $\gamma$. Observe that every weak composition collapses to a composition $\alpha(\gamma)$, which is obtained by removing all $\gamma _i = 0$ from $\gamma$. If every part of $\gamma$ is positive and satisfies $\gamma _1\geq \gamma _2\ge \cdots \geq\gamma _k$ we call $\gamma$ a *partition* of $n$, denoted $\gamma \vdash n$. Observe that every weak composition $\gamma$ determines a partition $\lambda (\gamma)$, which is obtained by reordering the positive parts of $\gamma$ in weakly decreasing order. $$\gamma = (3,2,0,4,2,0),\ {\mathcal{F}o}=\{ 1,2,4,5\},\ \alpha(\gamma)=(3,2,4,2),\ \lambda(\gamma)=(4,3,2,2).$$ Restricting our attention to compositions, there exist three partial orders in which we will be interested. First, given compositions $\alpha, \beta$ we say that $\alpha$ is a *coarsening* of $\beta$ (or $\beta$ is a *refinement* of $\alpha$), denoted $\alpha \succeq \beta$, if we can obtain $\alpha$ by adding together adjacent parts of $\beta$, for example, $(3,2,4,2) \succeq (3,1,1,1,2,1,2)$. Second, we say that $\alpha$ is *lexicographically greater* than $\beta$, denoted $\alpha > _{lex} \beta$, if $\alpha = (\alpha _1, \alpha _2, \ldots )\neq (\beta _1, \beta _2, \ldots )=\beta$ and the first $i$ for which $\alpha _i \neq \beta _i$ satisfies $\alpha _i > \beta _i$. Third, we say $\alpha {\blacktriangleright}\beta$ if $\lambda (\alpha) > _{lex} \lambda (\beta)$ or $\lambda (\alpha)=\lambda (\beta)$ and $\alpha > _{lex} \beta$. For example, when $n=4$ we have $$(4){\blacktriangleright}(3,1){\blacktriangleright}(1,3){\blacktriangleright}(2,2){\blacktriangleright}(2,1,1){\blacktriangleright}(1,2,1) {\blacktriangleright}(1,1,2) {\blacktriangleright}(1,1,1,1).$$ Additionally, to any composition $\beta = (\beta _1, \ldots, \beta _k)$ there is another closely related composition $\beta ^\ast = (\beta _k, \ldots, \beta _1)$, called the *reversal* of $\beta$. Lastly, any composition $\beta = (\beta _1, \beta _2, \ldots, \beta _k)\vDash n$ corresponds to a subset $S(\beta)\subseteq [n-1]=\{1, \ldots , n-1\}$ where $$S(\beta) = \{\beta _1, \beta _1 +\beta _2, \ldots , \beta _1 +\beta _2 +\cdots + \beta _{k-1}\}.$$Similarly, any subset $S=\{ i_1, i_2, \ldots , i_{k-1}\}\subseteq [n-1]$ corresponds to a composition $\beta(S)\vDash n$ where $$\beta(S)= (i_1, i_2 - i_1, i_3 - i_2, \ldots, n-i_{k-1}).$$ Quasisymmetric and symmetric function preliminaries {#subsec:qsymprelim} --------------------------------------------------- A *quasisymmetric* function is a bounded degree formal power series $F\in \mathbb{Q}[[x_1, x_2, \ldots]]$ such that for all $k$ and $i_1<i_2<\cdots <i_k$ the coefficient of $x_{i_1} ^{\alpha _1}x_{i_2} ^{\alpha _2}\cdots x_{i_k} ^{\alpha _k}$ is equal to the coefficient of $x_{1} ^{\alpha _1}x_{2} ^{\alpha _2}\cdots x_{k} ^{\alpha _k}$ for all compositions $(\alpha _1, \alpha _2, \ldots , \alpha _k)$. The set of all quasisymmetric functions forms a graded algebra $\mathcal{Q}=\mathcal{Q}_0\oplus \mathcal{Q}_1\cdots$. Two natural bases for quasisymmetric functions are the monomial basis $\{M_{\alpha} \}$ and the fundamental basis $\{F_{\alpha} \}$ indexed by compositions $\alpha = (\alpha_1, \alpha_2, \ldots , \alpha_k)$. The *monomial* basis consists of $M_0=1$ and all formal power series $$M_{\alpha} = \sum_{i_1 < i_2 < \cdots < i_k} x_{i_1}^{\alpha_1} x_{i_2}^{\alpha_2} \cdots x_{i_k}^{\alpha_k}.$$ The *fundamental* basis consists of $F_0=1$ and all formal power series $$F_{\alpha} = \sum_{\alpha \succeq \beta} M_{\beta}.$$ Furthermore, $\mathcal{Q}_n = \rm{span}_{\mathbb{Q}} \{ M_{\alpha} | \alpha \vDash n \} = \rm{span}_{\mathbb{Q}} \{ F_{\alpha} | \alpha \vDash n \}$. We define the algebra of symmetric functions $\Lambda = \Lambda _0 \oplus \Lambda _1 \cdots$ as the subalgebra of $\mathcal{Q}$ spanned by the <span>*monomial symmetric functions*</span> $m_0=1$ and all formal power series $$m_{\lambda} = \sum_{\alpha\, :\, \lambda(\alpha)=\lambda} M_{\alpha}, \; \; \; \lambda \vdash n > 0.$$ Moreover, we have $\Lambda_n = \Lambda \cap \mathcal{Q}_n$. $$F_{(1,2)}=M_{(1,2)}+M_{(1,1,1)}, \quad m_{(2,1)}=M_{(2,1)}+M_{(1,2)}.$$ Perhaps the most well known basis for $\Lambda$ is the basis of Schur functions, $\{ s_{\lambda}\}$, whose definition we devote the next section to. Schur functions {#sec:schur} =============== Diagrams and reversetableaux {#sub:diags} ---------------------------- Given a partition $\lambda =(\lambda _1, \lambda _2, \ldots , \lambda _k)$, its corresponding (*Ferrers*) *diagram* is the array of left justified boxes or *cells* with $\lambda _i$ cells in the $i$-th row *from the top*. We abuse notation by using $\lambda $ to refer to both the partition $\lambda$ and its corresponding diagram. We also describe cells by their row and column indices. Given two diagrams $\lambda, \mu$, we say $\mu \subseteq \lambda$ if $\mu _i \leq \lambda _i$ for all $1\leq i \leq \ell(\mu)$, and if $\mu \subseteq \lambda$ then the *skew diagram* $\lambda /\mu$ is the array of cells contained in $\lambda$ but not contained in $\mu$. In terms of row and column indices $$\lambda /\mu = \{ (i,j)\ | \ (i,j)\in \lambda, (i,j)\not\in \mu\}.$$The number of cells in $\lambda /\mu$ is called the *size* and is denoted $|\lambda /\mu|$. Two types of skew diagram that will be of particular interest to us later are horizontal strips and vertical strips. We say a skew diagram is a *horizontal strip* if no two cells lie in the same column, and is a *vertical strip* if no two cells lie in the same row. If $$\lambda = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr\ &\ &\ &\ \\\ &\ &\ \\\ &\ \\\ &\ \crcr}}}\ , \ \mu = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr\ &\ &\ \\\ &\ \\\ &\ \crcr}}}\ , \ \rho = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr \ &\ &\ &\ \\\ &\ \\\ \\\ \crcr}}}$$then $\lambda/\mu$ is a horizontal strip and $\lambda / \rho$ is a vertical strip: $$\lambda / \mu = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr&&&\ \\ &&\ \\ \\\ &\ \crcr}}}\ , \ \lambda / \rho = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr &\ \\\ \\\ \crcr}}}\ .$$ Reversetableaux are formed from skew diagrams in the following way. Given a skew diagram $\lambda / \mu$ we define a *reversetableau* (or *reverse semistandard Young tableau*), $T$, of *shape* $\lambda / \mu$ to be a filling of the cells with positive integers such that 1. the entries in the rows of $T$ weakly decrease when read from left to right, 2. the entries in the columns of $T$ strictly decrease when read from top to bottom. If $|\lambda /\mu|=n$ and the entries are such that each of $1, \ldots , n$ appears once and only once, then we call $T$ a *standard reversetableau*. Classically, given a standard reversetableau, $T$, its *descent set* $D(T)$ is the set of all $i$ such that $i+1$ appears in a higher row. However, by the definition of reversetableau it follows that $i+1$ can only appear - strictly above and weakly right - weakly below and strictly left of $i$. Hence $$D(T) = \mbox{the set of all $i$ that do \emph{not} have $i+1$ appearing strictly left of $i$.}$$ In the following reversetableau, to compute $D(T)$ note that 3 is not strictly left of 2. $$T={\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr3&1\\2\crcr}}}\quad ,\quad\ D(T)=\{2\}.$$ The *weight* of a reversetableau, $T$, is the weak composition $w(T)=( w_1(T), w_2(T), \ldots )$ where $w_i(T)=$ the number of times $i$ appears in $T$. The monomial associated with a reversetableau, $T$, is $$x^T=x_1^{w_1(T)}x_2^{w_2(T)}\cdots .$$For example, the monomial associated with any standard reversetableau, $T$, with $n$ cells is $x^T=x_1x_2\cdots x_n$. We are now ready to define Schur functions. Schur function preliminaries {#sub:schur} ---------------------------- There are many ways to define Schur functions, and we begin by defining them as generating functions for reversetableaux. For further details we refer the interested reader to @ECII [Chapter 7]. Let $\lambda$ be a partition. Then the *Schur function* $s_\lambda$ is $$s_\lambda = \sum _T x^T$$where the sum is over all reversetableaux, $T$, of shape $\lambda$. We now recall two further classical descriptions, which we include in order to compare with their quasisymmetric counterparts later. The first describes Schur functions in terms of monomial symmetric functions. \[prop:sasm\] Let $\lambda , \mu$ be partitions. Then the Schur function $s_\lambda$ is $$s_\lambda = \sum _\mu K _{\lambda \mu} m_\mu$$where $K_{\lambda \mu}=$ the number of reversetableaux of shape $\lambda$ and weight $\mu ^\ast$. The second description is in terms of fundamental quasisymmetric functions. \[prop:sasf\] Let $\lambda$ be a partition. Then the Schur function $s_\lambda$ is $$s_\lambda = \sum _T F_{\beta(D(T))}$$where the sum is over all standard reversetableaux, $T$, of shape $\lambda$. Equivalently, $$s_\lambda = \sum _\beta d_{\lambda \beta} F_\beta$$where $d_{\lambda \beta}=$ the number of standard reversetableaux, $T$, of shape $\lambda$ such that $\beta(D(T))=\beta$. We compute $$\begin{aligned} s_{(2,1)}&=&m_{(2,1)}+2m_{(1,1,1)}\\ &=&F_{(2,1)}+F_{(1,2)}\end{aligned}$$from the reversetableaux $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr2&2\\1\crcr}}}\ ,\ {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr3&2\\1\crcr}}}\ , \ {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr3&1\\2\crcr}}}\ .$$ To close this section we recall two classical products of Schur functions, collectively known as the Pieri rule, which we will later refine to a quasisymmetric setting. \[Pieri rule for Schur functions\] \[prop:pieris\] Let $\lambda$ be a partition. Then $$s_{(n)} s_\lambda = \sum_{\mu} s_\mu$$ where the sum is taken over all partitions $\mu$ such that 1. $\delta = \mu /\lambda$ is a horizontal strip, 2. $\lvert \delta \rvert = n$. Also, $$s_{(1^n)} s_\lambda = \sum_{\mu} s_\mu$$ where the sum is taken over all partitions $\mu$ such that 1. $\epsilon = \mu /\lambda$ is a vertical strip, 2. $\lvert \epsilon \rvert = n$. Demazure atoms {#sec:atoms} ============== Compositions and diagrams {#sub:compdiag} ------------------------- In this section we define an analogue of reversetableaux that arise naturally in the theory of nonsymmetric Macdonald polynomials. Let $\gamma = (\gamma _1, \gamma _2, \dots , \gamma _n)$ be a weak composition. Then its corresponding *augmented diagram*, ${\widehat{dg}}(\gamma)$, is the array of left justified cells with $\gamma _i +1$ cells in the $i$-th row from the top. Furthermore, the cells of the leftmost column are filled with the integers $1, \ldots , n$ in increasing order from top to bottom, and this $0$-th column is referred to as the *basement*. $${\widehat{dg}}(1,0,2)= {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1&\ \\2\\3&\ &\ \crcr}}}\ .$$ Again we refer to cells by their row and column indices, with the basement being column 0. As with diagrams and reversetableaux we fill the remaining cells of an augmented diagram subject to certain conditions and create semistandard augmented fillings. Given an augmented diagram ${\widehat{dg}}(\gamma)$, an *augmented filling*, $\sigma$, is an assignment of positive integer entries to the unfilled cells of ${\widehat{dg}}(\gamma)$. A pair of cells $a = (i,j)$ and $b = (i',j')$ are *attacking* if either $j = j'$ or ($j = j'+1$ and $i > i'$). An augmented filling $\sigma$ is *non-attacking* if $\sigma(a) \neq \sigma(b)$ whenever $a$ and $b$ are attacking cells. Then three cells $\{a,b,c\} \in {\widehat{dg}}(\gamma)$ are called a <span>*type $A$ triple*</span> if they are situated as follows $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\crc & a& \\ \\ &b \crcr}}}$$ where $a$ and $b$ are in the same column, possibly with cells between them, $c$ is immediately left of $a$, and the length of the row containing $a$ and $c$ is greater than or equal to the length of the row containing $b$. We say that the cells $a,b,c$ form a *type $A$ inversion triple* if their entries, ordered from smallest to largest, form a counter-clockwise orientation. If two entries are equal, then the entry which appears first when the entries are read top to bottom, right to left, is considered smallest. Similarly, three cells $\{a,b,c\} \in {\widehat{dg}}(\gamma)$ are a <span>*type $B$ triple*</span> if they are situated as shown $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr a& \\ \\ b & c\crcr}}}$$ where $a$ and $b$ are in the same column, possibly the basement or with cells between them, $c$ is immediately right of $b$, and the length of the row containing $b$ and $c$ is strictly greater than the length of the row containing $a$. We say that the cells $a,b,c$ form a *type $B$ inversion triple* if their entries, when ordered from smallest to largest, form a clockwise orientation. Again, if two entries are equal, then the entry which appears first when the entries are read top to bottom, right to left, is considered smallest. Define a <span>*semistandard augmented filling (SSAF)*</span> of *shape $\gamma$* to be a non-attacking augmented filling of ${\widehat{dg}}(\gamma)$ such that the entries in each row are weakly decreasing when read from left to right (termed *no descents*), and every triple is an inversion triple of type $A$ or $B$. Note that in @Mason1 it was shown that the triple and no descent conditions guarantee the augmented filling will be non-attacking. However, we include the extra condition for use in later proofs. The weight of a SSAF, $F$, is the weak composition $w(F)=( w_1(F), w_2(F), \ldots )$ where $w_i(F)=$ (the number of times $i$ appears in $F$) $-1 = $ the number of times $i$ appears in $F$ excluding entries in the basement. Again, the monomial associated with a SSAF, $F$, is $$x^F=x_1^{w_1(F)}x_2^{w_2(F)}\cdots .$$ $$F = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1&{\bf 1}\\ 2\\ 3&{\bf 3}&{\bf3}\crcr}}}\ , \quad x^F= x_1x_3^2.$$ A SSAF, $F$, of shape $\gamma$ is a *standard augmented filling (SAF)* if for $|\gamma| = n$ we have $x^F= \prod _{i=1} ^n x_i$, and $F$ has *descent set* $$\begin{aligned} {\mathcal{D}}(F):=& \mbox{ the set of all $i$ that do not have $i+1$ appearing strictly left of $i$}\\ &\mbox{ (excluding entries in the basement). }\end{aligned}$$ Similarly, compositions give rise to composition tableaux. Given a composition $\alpha = ( \alpha _1, \alpha _2 , \ldots , \alpha _k)$, its corresponding *composition diagram*, also denoted $\alpha$, is the array of left justified cells with $\alpha _i$ cells in the $i$-th row from the top, and its cells are described by row and column indices. \[def:ComT\]Given a composition diagram $\alpha = (\alpha _1, \alpha _2, \ldots , \alpha _\ell)$ with largest part $m$, we define a *composition tableau (ComT)*, $T$, of *shape* $\alpha$ to be a filling of the cells of $\alpha$ with positive integers such that 1. the entries in the rows of $T$ weakly decrease when read from left to right, 2. the entries in the leftmost column of $T$ strictly increase when read from top to bottom. 3. *Triple rule:* Supplement $T$ by adding enough cells with zero valued entries to the end of each row so that the resulting supplemented tableau, $\hat{T}$, is of rectangular shape $\ell\times m$. Then for $1\leq i<j\leq \ell, 2\leq k \leq m$ $$\left( \hat{T}(j,k) \neq 0 \mbox{ and } \hat{T}(j,k)\geq \hat{T}(i,k)\right) \Rightarrow \hat{T}(j,k)> \hat{T}(i,k-1).$$ In exact analogy with reversetableaux, the weight of a ComT, $T$, is the weak composition $w(T)=( w_1(T), w_2(T), \ldots )$ where $w_i(T)=$ the number of times $i$ appears in $T$. The monomial associated with a ComT, $T$, is $$x^T=x_1^{w_1(T)}x_2^{w_2(T)}\cdots .$$ Also, a ComT with $n$ cells is *standard* if $x^T= \prod _{i=1} ^n x_i$, and has *descent set* ${\mathcal{D}}(T):=$ the set of all $i$ that do not have $i+1$ appearing strictly left of $i$. We use a standard composition tableau (ComT) to illustrate our definitions. $$T = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr5&4&3&1\\6\\8&7&2\crcr}}}\ ,\ \hat{T} = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr5&4&3&1\\6&0&0&0\\8&7&2&0\crcr}}}\ , \ x^T=x_1x_2x_3x_4x_5x_6x_7x_8\ , \ {\mathcal{D}}(T) = \{2,5,6\}.$$ It transpires that SSAFs and ComTs are closely related, and this relationship will be vital in simplifying subsequent proofs. \[lem:SSAFandComT\] There exists a natural weight preserving bijection between the set of ComTs of shape $\alpha$ and the set of SSAFs of shape $\gamma$ where $\alpha(\gamma)=\alpha$. The following pair consisting of a ComT and SSAF illustrates the natural bijection between them. $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr5&4&3&1\\ 6\\ 8&7&2\crcr}}}\quad \longleftrightarrow\quad {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 1\\ 2\\ 3\\ 4\\ 5&{\bf 5}&{\bf 4}&{\bf 3}&{\bf 1}\\ 6&{\bf 6}\\ 7&\\ 8&{\bf 8}&{\bf 7}&{\bf 2}\crcr}}}.$$ The mapping that is claimed to be a bijection is clear: given a SSAF, eliminate the basement and any zero parts. For the inverse mapping, given a ComT, let $c$ be the largest element in the first column. Allocate a bare basement with $c$ rows. Place each row of the original ComT to the immediate right of the basement entry that matches the largest row entry. We need to show that 1. the resulting potential ComT satisfies the three rules above, 2. taking a ComT and applying the inverse operation results in a SSAF. For the first direction, assume that $F$ is a SSAF of shape $\gamma$, and that $\sigma$ is the resulting potential ComT of shape $\mu=\alpha (\gamma)$ with $\ell$ rows and $m$ columns and maximum entry $n$. We first note that $\sigma$ satisfies Rule 1. Showing that Rule 2 is satisfied is equivalent to showing that column 1 of $F$ (the column adjacent to the basement) is strictly increasing top to bottom. Since $F$ is non-attacking, we have that all the entries in each column (in particular, column 1) are distinct. Note that an entry in column 1 of the SSAF $F$ having value $i$ resides in the cell $(i,1)$. This follows immediately since $F$ has no descents and is non-attacking. Thus it follows that the entries in column 1 of $F$ are strictly increasing, and so $\sigma$ satisfies Rule 2. To show that $\sigma$ satisfies Rule 3, suppose to the contrary that there exists a triple of indices $\hat{i},\hat{j},k$ such that $1 \leq \hat{i} < \hat{j} \leq \ell$, $2 \leq k \leq m$ such that $\widehat{\sigma}(\hat{j},k) \neq 0$, $\widehat{\sigma}(\hat{j},k) \geq \widehat{\sigma}(\hat{i},k)$, and $\widehat{\sigma}(\hat{j},k) \leq \widehat{\sigma}(\hat{i},k-1)$. Without loss of generality, we may assume that $k$ is minimal over all such triples of indices. Let $i,j$ be the rows of $F$ corresponding to the respective rows $\hat{i},\hat{j}$ of $\sigma$. Note that $i < j$. We consider two cases. *Case: $\gamma _i \geq \gamma _j$.* In this case, the cell $(i,k)$ of $F$ is nonempty, and by supposition $F(i,k) < F(j,k) \leq F(i,k-1)$. But then the cells $(i,k),(j,k),$ $(i,k-1)$ form a non-inversion type A triple, contradicting the given that $F$ is a SSAF. *Case: $\gamma _i < \gamma _j$.* Since $F$ has no descents, $F(j,k) \leq F(j,k-1)$, and by supposition $F(j,k) \leq F(i,k-1)$. The cells $(i,k-1),(j,k-1),(j,k)$ form a type B triple, which must be an inversion triple, so it follows that $F(i,k-1) > F(j,k-1)$. Since $i < j$, and since the first column of $F$ is strictly increasing, $F(i,1) < F(j,1)$. Hence there must exist some $k'$, $1 \leq k' < k-1$ such that $F(i,k') < F(j,k')$ and $F(i,k'+1) > F(j,k'+1)$. Since $F$ has no descents, $F(i,k'+1) \leq F(i,k')$ and $F(j,k'+1) \leq F(j,k')$, which also implies $F(j,k'+1) \leq F(i,k')$. However, then we see that the cells $(i,k'),(j,k'),(j,k'+1)$ form a non-inversion type B triple, contradicting the given that $F$ is a SSAF. Thus in both cases we have a contradiction. It follows that there is no such triple of indices $\hat{i},\hat{j},k$, hence $\sigma$ satisfies Rule 3 as well as Rules 1 and 2, and hence is a ComT. For the second direction, assume that $\sigma$ is a ComT, say of shape $\mu$, and let $F$ be obtained by the inverse mapping described above, which must necessarily be of some shape $\gamma$, with $\mu = \alpha(\gamma)$. Since $\sigma$ satisfies Rule 1, $F$ has no descents. Since $\sigma$ satisfies Rule 2, the first column of $F$ is strictly increasing top to bottom, and in fact by construction, if cell $(i,1)$ of $F$ is not empty, then $F(i,1) = i$. In conjunction with this, since $\sigma$ satisfies Rule 3, we have that $F$ must be non-attacking. Suppose the cells $(i,k),(j,k),(i,k-1)$, $i < j$ form a type A triple in $F$. If $k = 1$, then $F(i,k) = F(i,k-1) = i < j = F(j,k)$, and so the triple is an inversion triple. Otherwise $k \geq 2$, and since $\sigma$ satisfies Rules 3 and 1, we have that either $F(j,k) < F(i,k) \leq F(i,k-1)$ or $F(i,k) \leq F(i,k-1) < F(j,k)$, and in both cases the triple is an inversion triple. Thus all type A triples are inversion triples. Suppose the cells $(i,k),(j,k),(j,k+1)$, $i < j$ form a type B triple in $F$. Then $\gamma _i < \gamma _j$. If $k = 0$, then $F(i,k) = i < j = F(j,k+1) = F(j,k)$, and so the triple is an inversion triple. Otherwise $k \geq 1$. Suppose the triple is not an inversion triple. This can only happen if $F(j,k+1) \leq F(i,k) < F(j,k)$. Let $\hat{i},\hat{j}$ be the rows of $\sigma$ corresponding respectively to the rows $i,j$ of $F$. Then $\widehat{\sigma}(\hat{j},k+1) \leq \widehat{\sigma}(\hat{i},k)$, and Rule 3 then implies that $\widehat{\sigma}(\hat{i},k+1) > \widehat{\sigma}(\hat{j},k+1)$. Since $\gamma _i < \gamma _j$, we have $\widehat{\sigma}(\hat{i},\gamma _j) = 0 < \widehat{\sigma}(\hat{j},\gamma _j)$. There must then exist some $k'$, $k+1 \leq k' < \gamma _j$ such that $\widehat{\sigma}(\hat{i},k') > \widehat{\sigma}(\hat{j},k')$ and $\widehat{\sigma}(\hat{i},k'+1) < \widehat{\sigma}(\hat{j},k'+1)$. But then we have $\widehat{\sigma}(\hat{i},k'+1) < \widehat{\sigma}(\hat{j},k'+1) \leq \widehat{\sigma}(\hat{j},k') < \widehat{\sigma}(\hat{i},k')$, violating Rule 3. Thus the triple must be an inversion triple, and so all type B triples are inversion triples. We have that $F$ is a non-attacking augmented filling with no descents and in which all type A and type B triples are inversion triples, i.e. $F$ is a SSAF. Demazure atom preliminaries {#sub:dem} --------------------------- Demazure atoms are formal power series $F\in \mathbb{Q}[[ x_1, x_2, \ldots ]]$, which can be defined combinatorially as follows. Let $\gamma$ be a weak composition. Then the *Demazure atom*, ${\mathcal{A}}_\gamma$ is $${\mathcal{A}}_\gamma = \sum _F x^F$$where the sum is over all SSAFs, $F$, of shape $\gamma$. Equivalently, $${\mathcal{A}}_\gamma = \sum _F x^F$$where the sum is over all ComTs, $F$, of shape $\alpha(\gamma)$ and first column entries ${\mathcal{F}o}(\gamma)$. Note the second definition follows immediately from Lemma \[lem:SSAFandComT\]. We compute $${\mathcal{A}}_{(1,0,2)} = x_1x_2x_3 +x_1x_3^2$$from the SSAFs $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1&{\bf 1}\\2\\3&{\bf 3}&{\bf 2}\crcr}}}\ ,\ {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1&{\bf 1}\\2\\3&{\bf 3}&{\bf 3}\crcr}}}$$or, equivalently, the ComTs $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1\\ 3&2\crcr}}}\ ,\ {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1\\3&3\crcr}}}\ .$$ It transpires that Demazure atoms can be used to describe Schur functions @LS [@Mason1]. \[prop:daschur\] Let $\lambda$ be a partition. Then the Schur function is $$s_\lambda = \sum _{\gamma\, :\, \lambda (\gamma)=\lambda} {\mathcal{A}}_\gamma$$where the sum is over all weak compositions $\gamma$. Bijection between reversetableaux and SSAFs ------------------------------------------- We conclude this section by recalling the bijection $\rho ^{-1}$ from reversetableaux to SSAFs @Mason1, which we describe algorithmically. Given a reversetableau, $T$, we create a $SSAF$, $\rho ^{-1} (T)=F$, as follows. 1. If the maximum entry in $T$ is $n$ then allocate a basement with $n$ rows. 2. Taking the entries in $T$ in the first column from top to bottom, place them in column $k=1$ to the right of the basement in the uppermost or highest row $i$ of $F$ in which cell $(i,k)$ of $F$ is empty (that is, not yet filled from some earlier column entry of $T$) - such that the cell $(i,k-1)$ to the immediate left is filled, possibly a basement cell if $k=1$, and - such that the placement results in no descent. 3. Repeat with the entries in $T$ in the column $k$, from top to bottom, placing them in the column $k$ to the right of the basement for $k = 2, 3, \ldots$. Eliminating the basement and zero parts from $\rho ^{-1} (T)$ yields a bijection between reversetableaux and ComTs, which we also refer to as $\rho ^{-1}$. If $T = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr8&7&3&1\\6&4&2\\5\crcr}}}$ then $$\rho ^{-1}(T)\quad =\quad {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 1\\ 2\\ 3\\ 4\\ 5&{\bf 5}&{\bf 4}&{\bf 3}&{\bf 1}\\ 6&{\bf 6}\\ 7&\\ 8&{\bf 8}&{\bf 7}&{\bf 2}\crcr}}} \quad \equiv\quad {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr5&4&3&1\\ 6\\ 8&7&2\crcr}}}\ .$$ Quasisymmetric Schur functions {#sec:qschur} ============================== We now define our main objects of study and derive some elementary properties about them. \[def:qschur\] Let $\alpha$ be a composition. Then the *quasisymmetric Schur function* is $${\mathcal{S}}_\alpha = \sum _{\gamma\, :\, \alpha (\gamma)=\alpha} {\mathcal{A}}_\gamma$$where the sum is over all weak compositions $\gamma$. Restricting ourselves to three variables we compute $$\begin{aligned} {\mathcal{S}}_{(1,2)} &=& {\mathcal{A}}_{(1,2,0)}+{\mathcal{A}}_{(1,0,2)} + {\mathcal{A}}_{(0,1,2)}\\ &=& x_1x_2^2 + x_1x_2x_3+ x_1x_3^2 + x_2x_3^2\end{aligned}$$where the summands arise from all SSAFs of shape $(1,2,0), (1,0,2)$ and $(0,1,2)$: $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1&{\bf 1}\\ 2&{\bf 2}&{\bf 2}\\3\crcr}}} \; \; \; \; \; \; \; \; \; \; \; \; {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 1&{\bf 1}\\2\\ 3&{\bf 3}&{\bf 2}\crcr}}} \; \; \; \; \; {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 1&{\bf 1}\\2\\ 3&{\bf 3}&{\bf 3}\crcr}}} \; \; \; \; \; \; \; \; \; \; \; \; {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 1\\2&{\bf 2}\\ 3&{\bf 3}&{\bf 3}\crcr}}}$$or, equivalently, from ComTs $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1\\2&2\crcr}}} \; \; \; \; \; \; \; \; \; \; \; \; {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 1\\3&2\crcr}}} \; \; \; \; \; {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 1\\3&3\crcr}}} \; \; \; \; \; \; \; \; \; \; \; \; {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 2\\3&3\crcr}}}\ .$$ As illustrated by this example, we shall see later that the functions are indeed quasisymmetric, but first we focus on their connection to Schur functions. Recall from Proposition \[prop:daschur\] that the Schur function $s_\lambda$ decomposes into the sum of all ${\mathcal{A}}_\gamma$ such that $\lambda (\gamma)=\lambda$. Hence by Definition \[def:qschur\] we obtain the decomposition of the Schur function in terms of quasisymmetric functions $$s_\lambda = \sum _{\alpha\, :\, \lambda (\alpha)=\lambda} {\mathcal{S}}_\alpha ,$$which immediately evokes the definition of *monomial* symmetric functions in terms of *monomial* quasisymmetric functions $$m_\lambda = \sum _{\alpha\, :\, \lambda (\alpha)=\lambda} M _\alpha .$$Thus, the parallel construction justifies the use of the word Schur. We also prove the functions are quasisymmetric by describing quasisymmetric Schur functions in terms of fundamental quasisymmetric functions. \[prop:qsasf\] Let $\alpha$ be a composition. Then $${\mathcal{S}}_\alpha = \sum _T F_{\beta(D(T))}$$where the sum is over all standard reversetableaux, $T$, of shape $\lambda(\alpha)$ that map under $\rho ^{-1}$ to a SSAF of shape $\gamma$ satisfying $\alpha(\gamma)=\alpha$ (or, equivalently, under $\rho ^{-1}$ to a ComT of shape $\alpha$). To prove this we need to show 1. for each $T$ satisfying the conditions stated, $F_{\beta(D(T))}$ is a summand of ${\mathcal{S}}_\alpha$ appearing exactly once, 2. the coefficient of each monomial appearing in ${\mathcal{S}}_\alpha$ is equal to the sum of its coefficients in each of the $F_{\beta(D(T))}$s in which it appears. To show the first point note that $F_{\beta(D(T))}$ is a sum of monomials that arise from reversetableaux, which standardize to $T$. Furthermore, any reversetableau $\tilde{T}$ that standardizes to $T$, denoted $std(\tilde{T})=T$, maps under $\rho ^{-1}$ to a SSAF $\rho ^{-1} (\tilde{T})$ that standardizes to $\rho ^{-1} ({T})$ @Mason1. That is, if we say for a SSAF, $F$, that its standardization is $\rho^{-1}(std(\rho(F)))$ then $\rho ^{-1}(T)= \rho ^{-1}(std(\rho(\rho ^{-1} (\tilde{T})))$, where $\rho$ is the inverse of $\rho ^{-1}$. Thus, if $T$ is of shape $\lambda (\alpha)$ and $\rho ^{-1} ({T})$ is of shape $\gamma$ such that $\alpha(\gamma)=\alpha$, then $F_{\beta(D(T))}$ is a summand of ${\mathcal{S}}_\alpha$ appearing exactly once. To show the second point, observe if given a SSAF $\rho ^{-1} (\tilde{T})$ of shape $\gamma$ such that $\alpha (\gamma)=\alpha$, which contributes a monomial towards ${\mathcal{S}}_\alpha$ and also standardizes to $\rho ^{-1} ({T})$, then under $\rho $ this maps bijectively to $\tilde{T}$ that standardizes to $T$ of shape $\lambda(\alpha)$. Computing $D(T)$ then yields which fundamental quasisymmetric function the monomial belongs to. A combinatorially more straightforward description in terms of the $F_\alpha$ is given in the next section, and hence we delay giving an example until then. We will now show that, in fact, the set of all quasisymmetric Schur functions forms a basis for $\mathcal{Q}$. Before we do this, we will work towards two lemmas. For a composition $\alpha$, let $T_\alpha$ be the unique standard reversetableau of shape $\lambda (\alpha)$ and $\beta(D(T))=\alpha$. To see that $T_\alpha$ exists, construct the left justified array of cells of shape $\alpha ^\ast$, which has $1, \ldots, \alpha_1$ in the bottom row and $$\alpha_1+\cdots + \alpha _{i-1}+1, \ldots , \alpha_1+\cdots + \alpha _{i}$$ in the $i$-th row from bottom appearing in decreasing order when read from left to right. Then move every cell as far north as possible to form $T_\alpha$. To see that $T_\alpha $ is unique, note that the number of descents in $T_\alpha$ is one less than the number of rows in $T_\alpha$ and so all entries in the first column except $n$ must be all $i$ such that $i\in D(T_\alpha)$. This and the fact that $T_\alpha$ must be a reversetableau yield uniqueness. If $\alpha=(1,3,2)$ then we construct $ {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 6&5\\4&3&2\\1\crcr}}}$ and $T_\alpha = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 6&5&2\\ 4&3\\ 1\crcr}}}$ . The following lemma is straightforward to verify using the algorithm for $\rho^{-1}$. \[lem:TSSAF\] For a composition $\alpha =(\alpha _1,\alpha _2,\ldots ,\alpha _k)\vDash n$, performing $\rho ^{-1}$ on $T_\alpha$ yields the SSAF with basement $1, \ldots , n$ and row $\alpha _1$ containing $1, \ldots , \alpha _1$, row $\alpha _1+\alpha _2$ containing $\alpha _1 +1, \ldots , \alpha _1 +\alpha _2$ etc. Equivalently, performing $\rho ^{-1}$ on $T_\alpha$ yields the ComT with row $1$ containing $1, \ldots , \alpha _1$, row $2$ containing $\alpha _1 +1, \ldots , \alpha _1 +\alpha _2$ etc. \[cor:leadHsummand\] $F_\alpha$ will always be a summand of $\mathcal{S}_\alpha$ with coefficient 1. This follows immediately from the existence and uniqueness of $T_{\alpha}$, Proposition \[prop:qsasf\] and Lemma \[lem:TSSAF\]. We are now ready to prove that quasisymmetric Schur functions form a basis for $\mathcal{Q}$. <span>\[prop:Zbasis\]</span> The set $\{ \mathcal{S}_{\alpha} | \alpha \vDash n\}$ forms a $\mathbb{Z}$-basis for $\mathcal{Q}$. For a fixed $n$ and $\alpha =(\alpha _1,\ldots, \alpha _{\ell(\alpha)}) \vDash n$ consider the summand $F_\delta$ appearing in $\mathcal{S}_\alpha$. By Proposition \[prop:qsasf\] it follows that $\lambda(\alpha)\geq _{lex} \lambda (\delta)$ because if not then the first $i$ when $\lambda (\delta )_i > \lambda (\alpha)_i$ will yield a row in any diagram $\lambda(\alpha)$ that cannot be filled to create a standard reversetableau, $T$, satisfying $D(T)=S(\delta)$. If $\lambda (\alpha)=\lambda (\delta)$ then by Lemma \[lem:TSSAF\] and the uniqueness of $T_{\alpha}$ we know the coefficient of $F_\delta$ will be $0$ unless $\alpha = \delta$. Let $M$ be the matrix whose rows and columns are indexed by $\alpha \vDash n$ ordered by ${\blacktriangleright}$ and entry $M_{\alpha\delta}$ is the coefficient of $F_\delta$ in $\mathcal{S}_\alpha$. By the above argument and Lemma \[cor:leadHsummand\] we have that $M$ is upper unitriangular, and the result follows. Properties of quasisymmetric Schur functions {#sec:qsprops} ============================================ A natural question to ask about quasisymmetric Schur functions is how many properties of Schur functions refine to *quasisymmetric* Schur functions? In this regard there are many avenues to pursue. In this section we provide the expansion of a quasisymmetric Schur function in terms of monomial symmetric functions, and a more explicit expression in terms of fundamental quasisymmetric functions. Our main result of this section, however, is to show that quasisymmetric Schur functions exhibit a Pieri rule that naturally refines the original Pieri rule for Schur functions. To appreciate these quasisymmetric refinements we invite the reader to compare the classical Schur function properties of Propositions \[prop:sasm\], \[prop:sasf\] and \[prop:pieris\] with the quasisymmetric Schur function properties of Theorems \[the:qsasm\], \[the:qsasf\] and \[the:pieriqs\], respectively. \[the:qsasm\] Let $\alpha, \beta$ be compositions. Then $${\mathcal{S}}_\alpha = \sum _\beta K _{\alpha \beta} M_\beta$$where $K_{\alpha\beta}=$ the number of SSAFs of shape $\gamma$ satisfying $\alpha (\gamma) = \alpha$ and weight $\beta$ (or, equivalently, $K_{\alpha\beta}=$ the number of ComTs of shape $\alpha$ and weight $\beta$). We know $${\mathcal{S}}_\alpha = \sum _{\gamma\,:\,\alpha(\gamma)=\alpha} {\mathcal{A}}_{\gamma}= \sum x^F = \sum _\beta c_{\alpha\beta} M_\beta$$where the middle sum is over all SSAFs $F$ of shape $\gamma$ where $\alpha(\gamma)=\alpha$. The leading term of any $M_\beta$ appearing in the last sum is $x_1^{\beta _1}x_2^{\beta _2}\cdots x_\ell^{\beta _\ell}$, and the number of times it will appear is, by the middle equality, the number of SSAFs of shape $\gamma$ where $\alpha(\gamma)=\alpha$ and weight $\beta$. Hence $c_{\alpha \beta}=K_{\alpha \beta}$ and the result follows. \[the:qsasf\] Let $\alpha, \beta$ be compositions. Then $${\mathcal{S}}_\alpha = \sum _\beta d_{\alpha \beta} F_\beta$$where $d_{\alpha \beta}=$ the number of SAFs $T$ of shape $\gamma$ satisfying $\alpha (\gamma) = \alpha$ and $\beta({\mathcal{D}}(T))=\beta$ (or, equivalently, $d_{\alpha \beta}=$ the number of standard ComTs $T$ of shape $\alpha$ and $\beta({\mathcal{D}}(T))=\beta$). Since ${\mathcal{S}}_\alpha = \sum _T F_{\beta(D(T))}$ where the sum is over all standard reversetableaux, $T$, of shape $\lambda (\alpha)$ that map under $\rho ^{-1}$ to a SSAF of shape $\gamma$ that satisfies $\alpha(\gamma)=\alpha$, and since $\rho ^{-1}$ maps the entries appearing in column $j$ of $T$ to column $j$ of $\rho ^{-1}(T)$, the result follows. We compute $$\begin{aligned} {\mathcal{S}}_{(1,2)}&=&M_{(1,2)}+M_{(1,1,1)}\\ &=& F_{(1,2)}\end{aligned}$$from the SSAFs $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1&{\bf 1}\\2&{\bf 2}&{\bf 2}\crcr}}}\quad ,\quad {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1&{\bf 1}\\2\\3&{\bf 3}&{\bf 2}\crcr}}}$$or, equivalently, the ComTs $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1\\2&2\crcr}}}\quad ,\quad {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr1\\3&2\crcr}}}$$for the first equality, and just the latter SAF or standard ComT for the second equality. For a composition $\alpha=(\alpha _1, \alpha _2, \ldots , \alpha _{\ell(\alpha)})$ @MacM defines the *symmetric* function indexed by a composition, known as a *ribbon Schur function*, $r _\alpha$. The relationship between ribbon Schur functions and similarly indexed quasisymmetric Schur functions is straightforward to deduce as follows. By the Littlewood-Richardson rule, say @ECII [Chapter 7], we have $$r_\alpha = \sum c_{\alpha\lambda} s_\lambda$$where $c_{\alpha\lambda}$ is the number of Littlewood-Richardson fillings of the connected skew diagram containing no $2\times2$ skew diagram that has $\alpha _1$ cells in the top row, $\alpha _2$ cells in the second row etc. Since $s_\lambda = \sum _{\alpha\, :\, \lambda (\alpha)=\lambda} {\mathcal{S}}_\alpha$ it immediately follows that $$r_\alpha = \sum c_{\alpha\lambda (\beta)} {\mathcal{S}}_\beta$$where $c_{\alpha\lambda (\beta)}$ is as above. In @HDL [Theorem 4.1] necessary and sufficient conditions for equality of ribbon Schur functions were determined. Meanwhile, in @SvW [Theorem 2.2] necessary and sufficient conditions for uniqueness of Littlewood-Richardson fillings were proved. Combining these results with the above, we conclude that the simple relationship between Schur functions and quasisymmetric Schur functions is only achieved again with $r_{(u, 1^v)}$ or $r_{(1^v, u)}$, that is $$r_{(u, 1^v)}=r_{(1^v, u)}= \sum _{\lambda (\alpha)=(u, 1^v)} {\mathcal{S}}_\alpha.$$ Thus concludes our remark. We now come to our Pieri rule for quasisymmetric Schur functions, whose proof we delay until the next subsection, and whose statement requires the following definitions. In practice the following $rem _s$ operator subtracts 1 from the rightmost part of size $s$ in a composition, or returns the empty composition. Meanwhile the $row _{\{ s_1 < \cdots < s_j \}}$ operator subtracts 1 from the rightmost part of size $s_j, s_{j-1}, \ldots$ recursively. Similarly, the $col _{\{m_1 \leq \cdots \leq m_j \}}$ operator subtracts 1 from the rightmost part of size $m_1, m_2, \ldots$ recursively. If $\alpha = (1,2,3)$ then $$row _{\{2,3\}}(\alpha)= rem_2(rem_3((1,2,3)))= rem_2((1,2,2))= (1,2,1)$$and $$col _{\{2,3\}}(\alpha)=rem_3(rem_2((1,2,3)))= rem_3((1,1,3))= (1,1,2).$$ Now we define these three operators formally. Let $\alpha = (\alpha_1,\ldots,\alpha_k)$ be a composition whose largest part is $m$, and let $s \in [m] $. If there exists $1\leq i\leq k$ such that $s=\alpha_i$ and $s\neq\alpha_j$ for all $j>i$, then define $$rem_s(\alpha)=(\alpha_1,\ldots,\alpha_{i-1},(s-1),\alpha_{i+1},\ldots,\alpha_k),$$ otherwise define $rem_s(\alpha)$ to be the empty composition. Let $S = \{ s_1 < \cdots < s_j \}$. Then define $$row_S(\alpha)=rem_{s_1}(\ldots(rem_{s_{j-1}}(rem_{s_j}(\alpha)))\ldots).$$ Similarly let $M = \{m_1 \leq \cdots \leq m_j \}$. Then define $$col_M(\alpha)=rem_{m_j}(\ldots(rem_{m_2}(rem_{m_1}(\alpha)))\ldots).$$We collapse $row_S(\alpha)$ or $col_M(\alpha)$ to obtain a composition if needs be. For any horizontal strip $\delta$ we denote by $S(\delta)$ the set of columns its skew diagram occupies, and for any vertical strip $\epsilon$ we denote by $M(\epsilon)$ the multiset of columns its skew diagram occupies, where multiplicities for a column are given by the number of cells in that column. We are now ready to state our refined Pieri rule. \[Pieri rule for quasisymmetric Schur functions\] \[the:pieriqs\] Let $\alpha$ be a composition. Then $$\mathcal{S}_{(n)} \mathcal{S}_\alpha = \sum_{\beta} \mathcal{S}_\beta$$ where the sum is taken over all compositions $\beta$ such that 1. $\delta = \lambda(\beta)/\lambda(\alpha)$ is a horizontal strip, 2. $\lvert \delta \rvert = n$, 3. $row_{S(\delta)}(\beta)=\alpha$. Also, $$\mathcal{S}_{(1^n)} \mathcal{S}_\alpha = \sum_{\beta} \mathcal{S}_\beta$$ where the sum is taken over all compositions $\beta$ such that 1. $\epsilon = \lambda(\beta)/\lambda(\alpha)$ is a vertical strip, 2. $\lvert \epsilon \rvert = n$, 3. $col_{M(\epsilon)}(\beta)=\alpha$. For a more visual interpretation of Theorem \[the:pieriqs\] we use composition diagrams in place of compositions in the next example. Then $rem _s$ is the operation that removes the rightmost cell from the lowest row of length $s$. If we place $\bullet$ in the cell to be removed then $$rem_1((1,1,3))= {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr\ \\ \bullet\\ \ &\ &\ &\crcr}}}= (1,3) .$$If we wish to compute $\mathcal{S} _{(1)}\mathcal{S} _{(1,3)}$ then we consider the four skew diagrams $$(4,1)/(3,1),\ (3,2)/(3,1),\ (3,1,1)/(3,1),\ (3,1,1)/(3,1)\ (again)$$with horizontal strips containing one cell in column $4,2,1,1$ respectively. Then $$row _{\{4\}} ((1,4)) = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr\ \\ \ &\ &\ &\bullet\crcr}}} \quad row _{\{2\}} ((2,3)) = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr\ & \bullet \\ \ &\ &\ \crcr}}}$$ $$row _{\{1\}} ((1,3,1)) = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr\ \\ \ &\ &\ \\ \bullet\crcr}}} \quad row _{\{1\}} ((1,1,3)) = {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr\ \\ \bullet\\ \ &\ &\ \crcr}}} $$and hence $$\mathcal{S}_{(1)}\mathcal{S}_{(1,3)}= \mathcal{S}_{(1,4)} + \mathcal{S}_{(2,3)} + \mathcal{S}_{(1,3,1)} +\mathcal{S}_{(1,1,3)}.$$ Classically, the Pieri rule gives rise to Young's lattice on partitions in the following way. Let $\lambda, \mu$ be partitions, then $\lambda$ covers $\mu$ in Young's lattice if the coefficient of $s_\lambda$ in $s_{(1)}s_\mu$ is 1. Therefore, Theorem \[the:pieriqs\] analogously gives rise to a poset on compositions: Let $\alpha, \beta$ be compositions, then $\beta$ covers $\alpha$ if the coefficient of ${\mathcal{S}}_\beta$ in ${\mathcal{S}}_{(1)} {\mathcal{S}}_\alpha$ is 1. It would be interesting to see what properties of Young's lattice are exhibited by this new poset, which differs from the poset of compositions in @BergBousDul, and contains Young's lattice as a subposet. Proof of the Pieri rule for quasisymmetric Schur functions ---------------------------------------------------------- In order to prove our Pieri rule we require three known combinatorial constructs, which we recall here in terms of reversetableaux for convenience. The first construct is *Schensted insertion*, which inserts a positive integer $k_1$ into a reversetableau $T$, denoted $T\leftarrow k_1$ by 1. if $k_1$ is less than or equal to the last entry in row 1, place it there, else 2. find the leftmost entry in that row strictly smaller than $k_1$, say $k_2$, then 3. replace $k_2$ by $k_1$, that is $k_1$ *bumps* $k_2$. 4. Repeat the previous steps with $k_2$ and row 2, $k_3$ and row 3, etc. The set of cells whose values are modified by the insertion, including the final cell added, is called the *insertion path*, and the final cell is called the *new cell*. $${\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr7 & 5 & 4 & 2 \\ 6 & 4 & 3 \\ 3 & 2 & 2 \\ 1 & 1 \\ \crcr}}}\quad \gets 5 \qquad = \qquad {\vtop{\let\\=\cr \setlength\baselineskip{-16000pt} \setlength\lineskiplimit{16000pt} \setlength\lineskip{0pt} \halign{&{\def\thearg{##}\def\nothing{}\ifx\thearg\nothing \vrule width0pt height\cellsize depth0pt\else \hbox to 0pt{\usebox2\hss}\fi\vbox to 15\unitlength{ \vss \hbox to 15\unitlength{\hss$##$\hss} \vss}}\cr 7 & 5 & {\mbox{\textbf{5}}} & 2 \\ 6 & 4 & {\mbox{\textbf{4}}} \\ 3 & {\mbox{\textbf{3}}} & 2 \\ {\mbox{\textbf{2}}} & 1 \\ {\mbox{\textbf{1}}} \\ \crcr}}}$$ where the bold italic cells indicate the insertion path. Insertion paths have the useful property encompassed in the next lemma, commonly known as the *row bumping lemma*. \[Row bumping lemma\] \[lemma:bumping\] Let $T$ be a reversetableau. Consider two successive insertions $(T\gets x )\gets x'$, giving rise to two insertion paths $R$ and $R'$, with respective new cells
{'source': 'arXiv_out/0810'}