arXiv++ Combinatorics

Many important invariants for matroids and polymatroids, such as the Tutte polynomial, the Billera-Jia-Reiner quasi-symmetric function, and the invariant $\mathcal G$ introduced by the first author, are valuative. In this paper we construct the $\Z$-modules of all $\Z$-valued valuative functions for labeled matroids and polymatroids on a fixed ground set, and their unlabeled counterparts, the $\Z$-modules of valuative invariants. We give explicit bases for these modules and for their dual modules generated by indicator functions of polytopes, and explicit formulas for their ranks. Our results confirm a conjecture of the first author that $\mathcal G$ is universal for valuative invariants.

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.

Recent work on perturbative quantum field theory has led to much study of the Connes-Kreimer Hopf algebra. Its (graded) dual, the Grossman-Larson Hopf algebra of rooted trees, had already been studied by algebraists. L. Foissy introduced a noncommutative version of the Connes-Kreimer Hopf algebra, which turns out to be self-dual. Using some homomorphisms defined by the author and W. Zhao, we describe a commutative diagram that relates the aforementioned Hopf algebras to each other and to the Hopf algebras of symmetric functions, noncommutative symmetric functions, and quasi-symmetric functions.

We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker.

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.

We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed.

We give a combinatorial formula for the inverses of the alternating sums of free quasi-symmetric functions of the form F_{ω(I)} where I runs over compositions with parts in a prescribed set C. This proves in particular three special cases (no restriction, even parts, and all parts equal to 2) which were conjectured by B. C. V. Ung in [Proc. FPSAC'98, Toronto].

We study the ring theoretical structures of mixable shuffle algebras and their associated free commutative Rota-Baxter algebras. For this study we utilize the connection of the mixable shuffle algebras with the overlapping shuffle algebra of Hazewinkel, quasi-shuffle algebras of Hoffman and quasi-symmetric functions. This connection allows us to apply methods and results on shuffle products and Lyndon words on ordered sets. As a result, we obtain structure theorems for a large class of mixable shuffle algebras and free commutative Rota-Baxter algebras with various coefficient rings.

We introduce analogs of the Hopf algebra of Free quasi-symmetric functions with bases labelled by colored permutations. When the color set is a semigroup, an internal product can be introduced. This leads to the construction of generalized descent algebras associated with wreath products $Γ\wr\SG_n$ and to the corresponding generalizations of quasi-symmetric functions. The associated Hopf algebras appear as natural analogs of McMahon's multisymmetric functions. As a consequence, we obtain an internal product on ordinary multi-symmetric functions. We extend these constructions to Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type B.

We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which have the property of specializing to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts such as in MacMahon's study of multiset derangements, in work of Procesi and Stanley on toric varieties of Coxeter complexes and in Stanley's work on symmetric chromatic polynomials. Here we present yet another occurence in connection with the homology of a poset introduced by Björner and Welker.

We define a pseudo quasi-3 design as a symmetric design with the property that the derived and residual designs with respect to at least one block are quasi-symmetric. Quasi-symmetric designs can be used to construct optimal self complementary codes. In this article we give a construction of an infinite family of pseudo quasi-3 designs whose residual designs allow us to construct a family of codes with a new parameter set that meet the Grey Rankin bound.

The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number, possibly infinite, $\varphi_R(n)$ of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra $A(R)$, introduced by P.~J.~Cameron. In a previous paper, we studied the relationship between the properties of a relational structure and those of their algebra, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompasses well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials. In this paper, we investigate how far the well know algebraic properties of those rings extend to age algebras. The main result is a combinatorial characterization of when the age algebra is finitely generated. In the special case of tournaments, we show that the age algebra is finitely generated if and only if the profile is bounded. We explore the Cohen-Macaulay property in the special case of invariants of permutation groupoids. Finally, we exhibit sufficient conditions on the relational structure that make naturally the age algebra into a Hopf algebra.

To every subspace arrangement X we will associate symmetric functions P[X] and H[X]. These symmetric functions encode the Hilbert series and the minimal projective resolution of the product ideal associated to the subspace arrangement. They can be defined for discrete polymatroids as well. The invariant H[X] specializes to the Tutte polynomial T[X]. Billera, Jia and Reiner recently introduced a quasi-symmetric function F[X] (for matroids) which behaves valuatively with respect to matroid base polytope decompositions. We will define a quasi-symmetric function G[X] for polymatroids which has this property as well. Moreover, G[X] specializes to P[X], H[X], T[X] and F[X].

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...). In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well. This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.

The space $QSym_n(B)$ of $B$-quasisymmetric polynomials in 2 sets of $n$ variables was recently studied by Baumann and Hohlweg. The aim of this work is a study of the ideal $<QSym_n(B)^+>$ generated by $B$-quasisymmetric polynomials without constant term. In the case of the space $QSym_n$ of quasisymmetric polynomials in 1 set of $n$ variables, Aval, Bergeron and Bergeron proved that the dimension of the quotient of the space of polynomials by the ideal $<QSym_n^+>$ is given by Catalan numbers $C_n=\frac 1 {n+1} {2n \choose n}$. In the case of $B$-quasisymmetric polynomials, our main result is that the dimension of the analogous quotient is equal to $\frac{1}{2n+1}{3n\choose n}$, the numbers of ternary trees with $n$ nodes. The construction of a Gröbner basis for the ideal, as well as of a linear basis for the quotient are interpreted by a bijection with lattice paths. These results are finally extended to $p$ sets of variables, and the dimension is in this case $\frac{1}{pn+1}{(p+1)n\choose n}$, the numbers of $p$-ary trees with $n$ nodes.

A classical result of Artin states that the ideal generated by symmetric polynomials in $n$ variables is of codimension $n!$. The author, F. Bergeron and N. Bergeron have recently obtained a surprising analogous in the case of quasi-symmetric polynomials. In this case, the ideal is of codimension given by $C_n$, the $n$-th Catalan number. Quasi-symmetric polynomials are the invariants of a certain action of the symmetric group $S_n$ defined by F. Hivert. The aim of this work is to generalize these results to the wreath product $S_n\wr \Z_m$, also known as the generalized symmetric group $G\nm$. We first define a quasi-symmetrizing action of $G\nm$ on $\C[x_1,...,x_n]$, then obtain a description of the invariants and the codimension of the associated ideal, which is $m^n C_n$.

We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially defined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality.

The Connes-Kreimer Hopf algebra of rooted trees, its dual, and the Foissy Hopf algebra of of planar rooted trees are related to each other and to the well-known Hopf algebras of symmetric and quasi-symmetric functions via a pair of commutative diagrams. We show how this point of view can simplify computations in the Connes-Kreimer Hopf algebra and its dual, particularly for combinatorial Dyson-Schwinger equations.

We prove a q-identity in the dendriform dialgebra of colored free quasi-symmetric functions. For q=1, we recover identities due to Ebrahimi-Fard, Manchon, and Patras, in particular the noncommutative Bohnenblust-Spitzer identity.

Conditions are provided under which an endomorphism on quasisymmetric functions gives rise to a left random walk on the descent algebra which is also a lumping of a left random walk on permutations. Spectral results are also obtained. Several well-studied random walks are now realized this way: Stanley's QS-distribution results from endomorphisms given by evaluation maps, a-shuffles result from the a-th convolution power of the universal character, and the Tchebyshev operator of the second kind introduced recently by Ehrenborg and Readdy yields traditional riffle shuffles. A conjecture of Ehrenborg regarding the spectra for a family of random walks on ab-words is proven. A theorem of Stembridge from the theory of enriched P-partitions is also recovered as a special case.