arXiv++ Combinatorics

Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus Eulerian posets having a nonnegative $\cd$-index (for example, face lattices of convex polytopes) correspond to peak quasisymmetric functions having a nonnegative representation in terms of this basis. We diagonalize the operator that associates the basis of descent sets for all quasisymmetric functions to that of peak sets for the algebra of peak functions, and study the $g$-polynomial for Eulerian posets as an algebra homomorphism.

We study properties of the forgotten monoid which appeared in work of Lascoux and Schutzenberger and recently resurfaced in the construction of dual equivalence graphs by Assaf. In particular, we provide an explicit characterization of the forgotten classes in terms of inversion numbers and show that there are n^2-3n+4 forgotten classes in the symmetric group S_n. Each forgotten class contains a canonical element that can be characterized by pattern avoidance. We also show that the sum of Gessel's quasi-symmetric functions over a forgotten class is a 0-1 sum of ribbon-Schur functions.

Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, we study six combinatorial Hopf algebras. These Hopf algebras can be thought of as K-theoretic analogues of the by now classical ``square'' of Hopf algebras consisting of symmetric functions, quasisymmetric functions, noncommutative symmetric functions and the Malvenuto-Reutenauer Hopf algebra of permutations. In addition, we develop a theory of set-valued P-partitions and study three new families of symmetric functions which are weight generating functions of reverse plane partitions, weak set-valued tableaux and valued-set tableaux.

A new Z-basis for the space of quasisymmetric functions (QSym, for short) is presented. It is shown to have nonnegative structure constants, and several interesting properties relative to the space of quasisymmetric functions associated to matroids by the Hopf algebra morphism (F) of Billera, Jia, and Reiner. In particular, for loopless matroids, this basis reflects the grading by matroid rank, as well as by the size of the ground set. It is shown that the morphism F is injective on the set of rank two matroids, and that decomposability of the quasisymmetric function of a rank two matroid mirrors the decomposability of its base polytope. An affirmative answer is given to the Hilbert basis question raised by Billera, Jia, and Reiner.

We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra.

The colored quasisymmetric functions, like the classic quasisymmetric functions, are known to form a Hopf algebra with a natural peak subalgebra. We show how these algebras arise as the image of the algebra of colored posets. To effect this approach we introduce colored analogs of $P$-partitions and enriched $P$-partitions. We also frame our results in terms of Aguiar, Bergeron, and Sottile's theory of combinatorial Hopf algebras and its colored analog.

We review the relation between the Hopf algebra QSym of quasi-symmetric functions and the multiple zeta values, and then discuss a commutative diagram involving the Hopf algebra Sym of symmetric functions, the Hopf algebra dual NSym of QSym, and the Hopf algebras of rooted trees and planar rooted trees as defined by Kreimer and Foissy respectively.

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.

We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induction product and the restriction coproduct are also given explicitly. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.

A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.

The profile of a relational structure R is the function phi_R which counts for every integer n the number, possibly infinite, phi_R(n) of substructures of R induced on the n-element subsets, isomorphic substructures being identified. Several graded algebras can be associated with R in such a way that the profile of R is simply the Hilbert function. An example of such graded algebra is the age algebra introduced by P.~J.~Cameron. In this paper, we give a closer look at this association, particularly when the relational structure R decomposes into finitely many monomorphic components. In this case, several well-studied graded commutative algebras (e.g. the invariant ring of a finite permutation group, the ring of quasi-symmetric polynomials) are isomorphic to some age algebras. Also, phi_R is a quasi-polynomial, this supporting the conjecture that, with mild assumptions on R, phi_R is a quasi-polynomial when it is bounded by some polynomial.

We generalize Stembridge's enriched $P$-partitions and use this theory to outline the structure of peak algebras for the symmetric group and the hyperoctahedral group. Whereas Stembridge's enriched $P$-partitions are related to quasisymmetric functions (the coalgebra dual to Solomon's type A descent algebra), our generalized enriched $P$-partitions are related to type B quasisymmetric functions (the coalgebra dual to Solomon's type B descent algebra). Using these functions, we explore three different peak algebras: the "interior" and "left" peak algebras of type A, and a new type B peak algebra. Our results specialize to results for commutative peak algebras as well.

We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements.

Let $K$ be any unital commutative $\mathbb Q$-algebra and $z=(z_1, ..., z_n)$ commutative or noncommutative free variables. Let $t$ be a formal parameter which commutes with $z$ and elements of $K$. We denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras of $z$ over $K$ and $K[[t]]$, respectively. For any $α\geq 1$, let $\cDazz$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $α-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq α$ and $H_{t=0}(z)=0$. First, for any fixed $α\geq 1$ and $F_t\in \ataz$, we introduce five sequences of differential operators of $\kzz$ and show that their generating functions form a $\mathcal N$CS (noncommutative symmetric) system [Z4] over the differential algebra $\cDazz$. Consequently, by the universal property of the $\mathcal N$CS system formed by the generating functions of certain NCSFs (noncommutative symmetric functions) first introduced in [GKLLRT], we obtain a family of Hopf algebra homomorphisms $\cS_{F_t}: {\mathcal N}Sym \to \cDazz$ $(F_t\in \ataz)$, which are also grading-preserving when $F_t$ satisfies certain conditions. Note that, the homomorphisms $\cS_{F_t}$ above can also be viewed as specializations of NCSFs by the differential operators of $\kzz$. Secondly, we show that, in both commutative and noncommutative cases, this family $\cS_{F_t}$ (with all $n\geq 1$ and $F_t\in \ataz$) of differential operator specializations can distinguish any two different NCSFs. Some connections of the results above with the quasi-symmetric functions ([Ge], [MR], [S]) are also discussed.

In this paper, we construct explicitly a noncommutative symmetric (${\mathcal N}$CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the ${\mathcal N}$CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficients of the third generating function of the constructed ${\mathcal N}$CS system with the order polynomials of rooted trees is also given and proved.

In the context of generating functions for $P$-partitions, we revisit three flavors of quasisymmetric functions: Gessel's quasisymmetric functions, Chow's type B quasisymmetric functions, and Poirier's signed quasisymmetric functions. In each case we use the inner coproduct to give a combinatorial description (counting pairs of permutations) to the multiplication in: Solomon's type A descent algebra, Solomon's type B descent algebra, and the Mantaci-Reutenauer algebra, respectively. The presentation is brief and elementary, our main results coming as consequences of $P$-partition theorems already in the literature.

The graph of zigzag diagrams is a close relative of Young's lattice. The boundary problem for this graph amounts to describing coherent random permutations with descent-set statistic, and is also related to certain positive characters on the algebra of quasi-symmetric functions. We establish connections to some further relatives of Young's lattice and solve the boundary problem by reducing it to the classification of spreadable total orders on integers, as recently obtained by Jacka and Warren.

We develop a more general view of Stembridge's enriched $P$-partitions and use this theory to outline the structure of peak algebras for the symmetric group and the hyperoctahedral group. Initially we focus on commutative peak algebras, spanned by sums of permutations with the same number of peaks, where we consider several variations on the definition of "peak." Whereas Stembridge's enriched $P$-partitions are related to quasisymmetric functions (the dual coalgebra of Solomon's type A descent algebra), our generalized enriched $P$-partitions are related to type B quasisymmetric functions (the dual coalgebra of Solomon's type B descent algebra). Using these functions, we move on to explore (non-commutative) peak algebras spanned by sums of permutations with the same set of peaks. While some of these algebras have been studied before, our approach gives explicit structure constants with a combinatorial description.

After reformulating the representation theory of 0-Hecke algebras in an appropriate family of Yang-Baxter bases, we investigate certain specializations of the Ariki-Koike algebras, obtained by setting q=0 in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier quasi-symmetric functions. We also describe the Ext-quivers, and conclude with numerical tables.

We describe a new basis of the ring of quasi-symmetric coinvariants, which is stable by the natural reversal of the set of variables. The indexing set is the set of triangulations of a regular polygon, instead of the set of Dyck paths used for the known basis. On décrit une nouvelle base de l'algèbre des coinvariants quasi-symétriques, qui est stable par l'involution naturelle et indexée par les triangulations d'un polygone régulier.