Given a finite graded poset with labeled Hasse diagram, we construct a quasi- symmetric generating function for (saturated) chains whose labels have fixed descents. This is a common generalization of a generating function for the flag f-vector defined by Ehrenborg and of a symmetric function associated to certain edge-labeled posets which arose in the theory of Schubert polynomials. We show this construction gives a Hopf morphism from an incidence algebra of edge-labeled posets to the Hopf algebra of quasi-symmetric functions.
The theory and structure of the Hopf algebra of surjections (known as WQSym, the Hopf algebra of word quasi-symmetric functions) parallels largely the one of bijections (known as FQSym or MR, the Hopf algebra of word quasi-symmetric functions or Malvenuto-Reutenauer Hopf algebra). The study of surjections from a picture and double poset theoretic point of view, which is the subject of the present article, seems instead new. The article is organized as follows. We introduce first a family of double posets, weak planar posets, that generalize the planar posets and are in bijection with surjectio…
We consider graded representations of the algebra NC of noncommutative symmetric functions on the Z-linear span of a graded poset P. The matrix coefficients of such a representation give a Hopf morphism from a Hopf algebra HP generated by the intervals of P to the Hopf algebra of quasi-symmetric functions. This provides a unified construction of quasi-symmetric generating functions from different branches of algebraic combinatorics, and this construction is useful for transferring techniques and ideas between these branches. In particular we show that the (Hopf) algebra of Billera and Liu rela…
We adapt here the computation of characters on incidence Hopf algebras introduced by W. Schmitt in the 1990s to a family mixing bounded and unbounded posets. We then apply our results to the family of hypertree posets and partition posets. As a consequence, we obtain some enumerative formulas and a new proof for the computation of the Moebius numbers of the hypertree posets. Moreover, we compute the coproduct of the incidence Hopf algebra and recover a known formula for the number of hypertrees with fixed valency set and edge sizes set.
We initiate the study of a large class of species monoids and comonoids which come equipped with a poset structure that is compatible with the multiplication and comultiplication maps. We show that if a monoid and a comonoid are related through a Galois connection, then they are dual to each other. This duality is best understood by introducing a new basis constructed through Möbius inversion. We use this new basis to give uniform proofs for cofreeness and calculations of primitives for the Hopf monoids of set partitions, graphs, hypergraphs, and simplicial complexes. Further, we show that the…
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.
The supercharacter theory of algebra groups gave us a representation theoretic realization of the Hopf algebra of symmetric functions in noncommuting variables. The underlying representation theoretic framework comes equipped with two canonical bases, one of which was completely new in terms of symmetric functions. This paper simultaneously generalizes this Hopf structure by considering a larger class of groups while also restricting the representation theory to a more combinatorially tractable one. Using the normal lattice supercharacter theory of pattern groups, we not only gain a third cano…
We prove that the posets of connected components of intersections of toric and elliptic arrangements defined by root systems are EL-shellable and we compute their homotopy type. Our method rests on Bibby's description of such posets by means of "labeled partitions": after giving an EL-labeling and counting homology chains for general posets of labeled partitions, we obtain the stated results by considering the appropriate subposets.
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.
We define semi-pointed partition posets, which are a generalisation of partition posets and show that they are Cohen-Macaulay. We then use multichains to compute the dimension and the character for the action of the symmetric groups on their homology. We finally study the associated incidence Hopf algebra, which is similar to the Fa{à} di Bruno Hopf algebra.
The $P$-partition generating function of a (naturally labeled) poset $P$ is a quasisymmetric function enumerating order-preserving maps from $P$ to $\mathbb{Z}^+$. Using the Hopf algebra of posets, we give necessary conditions for two posets to have the same generating function. In particular, we show that they must have the same number of antichains of each size, as well as the same shape (as defined by Greene). We also discuss which shapes guarantee uniqueness of the $P$-partition generating function and give a method of constructing pairs of non-isomorphic posets with the same generating fu…
Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.
In this paper, we first give formulas for the order polynomial $Ω(\Pw; t)$ and the Eulerian polynomial $e(\Pw; λ)$ of a finite labeled poset $(P, ω)$ using the adjacency matrix of what we call the $ω$-graph of $(P, ω)$. We then derive various recursion formulas for $Ω(\Pw; t)$ and $e(\Pw; λ)$ and discuss some applications of these formulas to Bernoulli numbers and Bernoulli polynomials. Finally, we give a recursive algorithm using a single linear operator on a vector space. This algorithm provides a uniform method to construct a family of new invariants for labeled posets $(\Pw)$, which includ…
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 coefficient…
Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications: 1. We obtai…
To every labeled poset (P,ω), one can associate a quasisymmetric generating function for its (P,ω)-partitions. We ask: when do two labeled posets have the same generating function? Since the special case corresponding to skew Schur function equality is still open, a complete classification of equality among (P,ω) generating functions is likely too much to expect. Instead, we determine necessary conditions and separate sufficient conditions for two labeled posets to have equal generating functions. We conclude with a classification of all equalities for labeled posets with small numbers of line…
Each labeled rooted tree is associated with a hyperplane arrangement, which is free with exponents given by the depths of the vertices of this tree. The intersection lattices of these arrangements are described through posets of forests. These posets are used to define coalgebras, whose dual algebras are shown to have a simple presentation by generators and relations.
The edge-product space of phylogenetic trees is a regular CW complex whose maximal closed cells correspond to trivalent trees with leaves labeled by a finite set $X$. The face poset of this cell decomposition is isomorphic to the Tuffley poset, a poset of labeled forests, with a unique minimum adjoined. We show that the edge-product space of phylogenetic trees is gallery-connected. We then use combinatorial properties of the Tuffley poset and a related graph known as NNI-tree space to show that, although open intervals of the Tuffley poset were proven to be shellable by Gill, Linusson, Moulton…
We give an in-depth study of the Tchebyshev transforms of the first and second kind of a poset, recently discovered by Hetyei. The Tchebyshev transform (of the first kind) preserves desirable combinatorial properties, including Eulerianess (due to Hetyei) and EL-shellability. It is also a linear transformation on flag vectors. When restricted to Eulerian posets, it corresponds to the Billera, Ehrenborg and Readdy omega map of oriented matroids. One consequence is that nonnegativity of the cd-index is maintained. The Tchebyshev transform of the second kind is a Hopf algebra endomorphism on the …
The theme of this article is the algebraic combinatorics of leaf-labeled rooted binary trees and forests of such trees. The structure of a Hopf operad is defined on the vector spaces spanned by forests of leaf-labeled, rooted, binary trees. An explicit formula for the coproduct and its dual product is given, using a poset on forests.
Combinatorial Hopf algebras of trees exemplify the connections between operads and bialgebras. Painted trees were introduced recently as examples of how graded Hopf operads can bequeath Hopf structures upon compositions of coalgebras. We put these trees in context by exhibiting them as the minimal elements of face posets of certain convex polytopes. The full face posets themselves often possess the structure of graded Hopf algebras (with one-sided unit). We can enumerate faces using the fact that they are structure types of substitutions of combinatorial species. Species considered here includ…
We present a new formula for the antipode of incidence Hopf algebras. This formula is expressed as an alternating sum over forests. First, we prove the formula for incidence Hopf algebras of families of lattices by exhibiting a map from chains of a lattice to forests. Then, we extend the definition and present an analogous formula for the antipode of incidence Hopf algebras of families of posets. We characterize those families for which our formula is cancellation-free.
We study the chromatic quasisymmetric class function of a linearized combinatorial Hopf monoid. Given a linearized combinatorial Hopf monoid $H$, and an $H$-structure $h$ on a set $N$, there are proper colorings of $h$, generalizing graph colorings and poset partitions. We show that the automorphism group of $h$ acts on the set of proper colorings. The chromatic quasisymmetric class function enumerates the fixed points of this action, weighting each coloring with a monomial. For the Hopf monoid of graphs this invariant generalizes Stanley's chromatic symmetric function and specializes to the o…
We provide an expository account of some of the Hopf algebras that can be defined using trees, labeled trees, ordered trees and heap ordered trees. We also describe some actions of these Hopf algebras on algebra of functions.
The $(P, ω)$-partition generating function of a labeled poset $(P, ω)$ is a quasisymmetric function enumerating certain order-preserving maps from $P$ to $\mathbb{Z}^+$. We study the expansion of this generating function in the recently introduced type 1 quasisymmetric power sum basis $\{ψ_α\}$. Using this expansion, we show that connected, naturally labeled posets have irreducible $P$-partition generating functions. We also show that series-parallel posets are uniquely determined by their partition generating functions. We conclude by giving a combinatorial interpretation for the coefficients…
We study three different poset structures on the set of all compositions. In the first case, the covering relation consists of inserting a part of size one to the left or to the right, or increasing the size of some part by one. The resulting poset was studied by the author in "A poset classifying non-commutative term orders", and then in "Standard paths in another composition poset" where some results about generating functions for standard paths in this poset was established. The latter article was inspired by the work of Bergeron, Bousquet-M{é}lou and Dulucq on "Standard paths in the compos…
Let $K$ be any unital commutative $\bQ$-algebra and $W$ any non-empty subset of $\bN^+$. Let $z=(z_1, ..., z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. % Denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras % of $z$ over $K$ and $K[[t]]$, respectively. Let $\cDazz$ $(α\geq 1)$ 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, we study a co…
The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the corresponding hypergraph. By passing from graphs to building sets, we construct a sequence of symmetric functions associated to a graph. From the generalized Dehn-Sommerville relations for the Hopf algebra $BSet$, we define a class of building sets called eulerian and show that eulerian building sets satisfy Bayer-Billera relations. We show the existence of the $\m…
This is a study on pattern Hopf algebras in combinatorial structures. We introduce the notion of combinatorial presheaf, by adapting the algebraic framework of species to the study of substructures in combinatorics. Afterwards, we consider functions that count the number of patterns of objects and endow the linear span of these functions with a product and a coproduct. In this way, any well behaved family of combinatorial objects that admits a notion of substructure generates a Hopf algebra, and this association is functorial. For example, the Hopf algebra on permutations studied by Vargas in …
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.…
These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric function…
We consider the inversion enumerator I_n(q), which counts labeled trees or, equivalently, parking functions. This polynomial has a natural extension to generalized parking functions. Substituting q = -1 into this generalized polynomial produces the number of permutations with a certain descent set. In the classical case, this result implies the formula I_n(-1) = E_n, the number of alternating permutations. We give a combinatorial proof of these formulas based on the involution principle. We also give a geometric interpretation of these identities in terms of volumes of generalized chain polyto…
The character theory of symmetric groups, and the theory of symmetric functions, both make use of the combinatorics of Young tableaux, such as the Robinson-Schensted algorithm, Schuetzenberger's "jeu de taquin", and evacuation. In 1995 Poirier and the second author introduced some algebraic structures, different from the plactic monoid, which induce some products and coproducts of tableaux, with homomorphisms. Their starting point are the two dual Hopf algebras of permutations, introduced by the authors in 1995. In 2006 Aguiar and Sottile studied in more detail the Hopf algebra of permutations…
We define graded Hopf algebras with bases labeled by various types of graphs and hypergraphs, provided with natural embeddings into an algebra of polynomials in infinitely many variables. These algebras are graded by the number of edges and can be considered as generalizations of symmetric or quasi-symmetric functions.
The Malvenuto-Reutenauer algebra is a well-studied combinatorial Hopf algebra with a basis indexed by permutations. This algebra contains a wide variety of interesting sub Hopf algebras, in particular the Hopf algebra of plane binary trees introduced by Loday and Ronco. We compare two general constructions of subalgebras of the Malvenuto-Reutenauer algebra, both of which include the Loday-Ronco algebra. The first is a construction by Reading defined in terms of lattice quotients of the weak order, and the second is a construction by Ronco in terms of graph associahedra. To make this comparison…
We investigate the rigidity for the Hopf algebra ${\rm QSym}$ of quasisymmetric functions with respect to the monomial, the fundamental and the quasisymmetric Schur basis, respectively. By establishing some combinatorial properties of the posets of compositions arising from the analogous Pieri rules for quasisymmetric functions, we show that ${\rm QSym}$ is rigid as an algebra with respect to the quasisymmetric Schur basis, and rigid as a coalgebra with respect to the monomial and the quasisymmetric Schur basis, respectively. The natural actions of reversal, complement and transpose of the lab…
Some posets of binary leaf-labeled trees are shown to be supersolvable lattices and explicit EL-labelings are given. Their characteristic polynomials are computed, recovering their known factorization in a different way.
Promotion, Tangled Labelings, and Sorting Generating Functions
University of Kansas（堪萨斯大学）；University of Washington（华盛顿大学）；University of Wisconsin, Madison（威斯康星大学麦迪逊分校）；Michigan State University（密歇根州立大学）；Indiana University（印第安纳大学）；University of British Columbia（不列颠哥伦比亚大学）
We introduce the matroid-minor coalgebra C, which has labeled matroids as distinguished basis, and coproduct given by splitting a matroid into a submatroid and complementary contraction all possible ways. We introduce two new bases for C; the first of these is is related to the distinguished basis by Mobius inversion over the rank-preserving weak order on matroids, the second by Mobius inversion over the suborder excluding matroids that are irreducible with respect to the free product operation. We show that the subset of each of these bases corresponding to the set of irreducible matroids is …
The P-Eulerian polynomial counts the linear extensions of a labeled partially ordered set, P, by their number of descents. It is known that the P-Eulerian polynomials are real-rooted for various classes of posets P. The purpose of this paper is to extend these results to polynomials in several variables. To this end we study multivariate extensions of P-Eulerian polynomials and prove that for certain posets these polynomials are stable, i.e., non-vanishing whenever all variables are in the upper half-plane of the complex plane. A natural setting for our proofs is the Malvenuto-Reutenauer algeb…
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…
There is a well-known bijection between parking functions of a fixed length and maximal chains of the noncrossing partition lattice which we can use to associate to each set of parking functions a poset whose Hasse diagram is the union of the corresponding maximal chains. We introduce a decomposition of parking functions based on the largest number omitted and prove several theorems about the corresponding posets. In particular, they share properties with the noncrossing partition lattice such as local self-duality, a nice characterization of intervals, a readily computable Möbius function, an…
