arXiv++ Combinatorics

We show that certain differences of products of $P$-partition generating functions are positive in the basis of fundamental quasi-symmetric functions L_α. This result interpolates between recent Schur positivity and monomial positivity results of the same flavor. We study the case of chains in detail, introducing certain ``cell transfer'' operations on compositions and an interesting related ``L-positivity'' poset. We introduce and study quasi-symmetric functions called ``wave Schur functions'' and use them to establish, in the case of chains, that the difference of products we study is itself equal to a single generating function K_{P,θ} for a labeled poset (P,θ). In the course of our investigations we establish some factorization properties of the ring of quasisymmetric functions.

Let $λ$, $μ$, $ν$ and $ρ$ be dominant weights of $\mathfrak{sl_n}$ satisfying $λ+ μ= ν+ ρ$. Let $V_λ$ denote the highest weight module corresponding to $λ$. Lam, Postnikov, Pylyavskyy conjectured a sufficient condition for $V_λ \otimes V_μ$ to be contained in $V_ν \otimes V_ρ$ as $\mathfrak{sl_n}$-modules. In this note we prove a weaker version of the conjecture. Namely we prove that under the conjectured conditions every irreducible $\mathfrak{sl_n}$-module which appears in the decomposition of $V_λ \otimes V_μ$ does appear in the decomposition of $V_ν \otimes V_ρ$.

In combinatorics there is a well-known duality between non-nesting and non-crossing objects. In algebra there are many objects which are standard, for example Standard Young Tableaux, Standard Monomials, Standard Bitableaux. We adopt a point of view that these standard objects are really non-nesting, and we find their non-crossing counterparts.

We give combinatorial proofs that certain families of differences of products of Schur functions are monomial-positive. We show in addition that such monomial-positivity is to be expected of a large class of generating functions with combinatorial definitions similar to Schur functions. These generating functions are defined on posets with labelled Hasse diagrams and include for example generating functions of Stanley's $(P,ω)$-partitions.

We prove Okounkov's conjecture, a conjecture of Fomin-Fulton-Li-Poon, and a special case of Lascoux-Leclerc-Thibon's conjecture on Schur positivity and give several more general statements using a recent result of Rhoades and Skandera. An alternative proof of this result is provided. We also give an intriguing log-concavity property of Schur functions.

We prove Stanley's plethysm conjecture for the $2 \times n$ case, which composed with the work of Black and List provides another proof of Foulkes conjecture for the $2 \times n$ case. We also show that the way Stanley formulated his conjecture, it is false in general, and suggest an alternative formulation.

For a directed graph G on vertices {0,1,...,n}, a G-parking function is an n-tuple (b_1,...,b_n) of non-negative integers such that, for every non-empty subset U of {1,...,n}, there exists a vertex j in U for which there are more than b_j edges going from j to G-U. We construct a family of bijective maps between the set P_G of G-parking functions and the set T_G of spanning trees of G rooted at 0, thus providing a combinatorial proof of |P_G| = |T_G|.