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 prove a recent conjecture of Blanco and Petersen (arXiv:1206.0803v2) about an expansion formula for inversions and excedances in the symmetric group.
We compute the noncommutative Frobenius characteristic of the natural action of the 0-Hecke algebra on parking functions, and obtain as corollaries various forms of the noncommutative Lagrange inversion formula.
We introduce a new pair of mutually dual bases of noncommutative symmetric functions and quasi-symmetric functions, and use it to derive generalizations of several results on the reduced incidence algebra of the lattice of noncrossing partitions. As a consequence, we obtain a quasi-symmetric version of the Farahat-Higman algebra.
In the work of Varchenko, Zagier, Thibon, and Reiner, Saliola, Welker, linear algebraic properties of the multiplication map on the group algebra of the group algebra element are studied, which is the sum over all permutations weighted by q^{inv}, q^{maj}, inv. Here q is a variable, and inv and maj are the classical statistics inversion and major index. We define a multinomial descent statistic des_X and a multinomial inversion statistic inv_X. These new defined statistics are the multinomial expressions of the classical statistics descent des and inversion. We determine the spectrum and the m…
We provide operadic interpretations for two Hopf subalgebras of the algebra of parking functions. The Catalan subalgebra is identified with the free duplicial algebra on one generator, and the Schröder subalgebra is interpreted by means of a new operad, which we call triduplicial. The noncommutative Lagrange inversion formula is then interpreted in terms of duplicial structures. The generic solution of the noncommutative inversion problem appears as the formal sum of all parking functions. This suggests that combinatorial generating functions derived by functional inversion should be obtainabl…
We give the explicit analytic development of Macdonald polynomials in terms of "modified complete" and elementary symmetric functions. These expansions are obtained by inverting the Pieri formula. Specialization yields similar developments for monomial, Jack and Hall-Littlewood symmetric functions.
We study the Schur polynomial expansion of a family of symmetric polynomials related to the refined enumeration of alternating sign matrices with respect to their inversion number, complementary inversion number and the position of the unique $1$ in the top row. We prove that the expansion can be expressed as a sum over totally symmetric plane partitions and we are also able to determine the coefficients. This establishes a new connection between alternating sign matrices and a class of plane partitions, thereby complementing the fact that alternating sign matrices are equinumerous with totall…
We define two-parameter families of noncommutative symmetric functions and quasi-symmetric functions, which appear to be the proper analogues of the Macdonald symmetric functions in these settings.
We present (bi-)symmetric generating functions for the joint distributions of Euler-Stirling statistics on permutations, including the number of descents ($\mathsf{des}$), inverse descents ($\mathsf{ides}$), the number of left-to-right maxima ($\mathsf{lmax}$), the number of right-to-left maxima ($\mathsf{rmax}$) and the number of left-to-right minima ($\mathsf{lmin}$). We also show how they recover the classical symmetric generating function of permutations due to Carlitz, Roselle and Scoville (1966). Our proofs exploit three different recursive constructions of inversion sequences, bijection…
This article is devoted to the study of several algebras which are related to symmetric functions, and which admit linear bases labelled by various combinatorial objects: permutations (free quasi-symmetric functions), standard Young tableaux (free symmetric functions) and packed integer matrices (matrix quasi-symmetric functions). Free quasi-symmetric functions provide a kind of noncommutative Frobenius characteristic for a certain category of modules over the 0-Hecke algebras. New examples of indecomposable $H_n(0)$-modules are discussed, and the homological properties of $H_n(0)$ are compute…
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 new proof of Chung and Graham's ``G-descent expansion'' of the classical chromatic polynomial, as well as a special case of the quasi-symmetric function expansion of the path-cycle symmetric function Xi_D. Both proofs rely on Stanley's quasi-symmetric function expansion of the chromatic symmetric function X_G. We also show that Stanley's expansion suggests that a Robinson-Schensted algorithm for (3+1)-free posets---something that has been sought for unsuccessfully for some time---ought to ``respect descents'' in a certain precise sense.
I give an elementary proof that a quasi-symmetric design without repeated blocks on $v$ points has at most $v\choose2$ blocks, with equality if and only if it is a tight $4$-design.
We define a new basis of the algebra of quasi-symmetric functions by lifting the cycle-index polynomials of symmetric groups to noncommutative polynomials with coefficients in the algebra of free quasi-symmetric functions, and then projecting the coefficients to $QSym$. By duality, we obtain a basis of noncommutative symmetric functions, for which a product formula and a recurrence in the form of a combinatorial complex are obtained. This basis allows to identify noncommutative symmetric functions with the quotient of FQSym induced by the pattern-replacement relation $321 \equiv 231$ and $312 …
We introduce dual Hopf algebras which simultaneously combine the concepts of the k-Schur function theory with the quasi-symmetric Schur function theory. We construct dual basis of these Hopf algebras with remarkable properties.
The dual codes of the ternary linear codes of the residual designs of biplanes on 56 points are used to prove the nonexistence of quasi-symmetric 2-$(56,12,9)$ and 2-$(57,12,11)$ designs with intersection numbers 0 and 3, and the nonexistence of a 2-$(267,57,12)$ quasi-3 design. The nonexistence of a 2-$(149,37,9)$ quasi-3 design is also proved.
Egge, Loehr, and Warrington proved a formula for the Schur function expansion of a symmetric function in terms of its expansion in fundamental quasi-symmetric functions. Their formula involves the coefficients of a modified inverse Kostka matrix. Recently Garsia and Remmel gave a simpler reformulation of Egge, Loehr, and Warrington's result, with a new proof. We give here a simple proof of Garsia and Remmel's version, using a sign-reversing involution.
We introduce analogues of the Hopf algebra of Free quasi-symmetric functions with bases labelled by colored permutations. As applications, we recover in a simple way the descent algebras associated with wreath products $Γ\wr\SG_n$ and the corresponding generalizations of quasi-symmetric functions. Also, we obtain Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type $B$.
Let $K$ be any unital commutative $\bQ$-algebra and $z=(z_1, z_2, ..., z_n)$ commutative or noncommutative variables. Let $t$ be a formal central parameter and $\kttzz$ the formal power series algebra of $z$ over $K[[t]]$. In \cite{GTS-II}, for each automorphism $F_t(z)=z-H_t(z)$ of $\kttzz$ with $H_{t=0}(z)=0$ and $o(H(z))\geq 1$, a \cNcs (noncommutative symmetric) system (\cite{GTS-I}) $\Oft$ has been constructed. Consequently, we get a Hopf algebra homomorphism $\cSft: \cNsf \to \cDzz$ from the Hopf algebra $\cNsf$ (\cite{G-T}) of NCSF's (noncommutative symmetric functions). In this paper, …
We construct bases of quasi-symmetric functions whose product rule is given by the shuffle of binary words, as for multiple zeta values in their integral representations, and then extend the construction to the algebra of free quasi-symmetric functions colored by positive integers. As a consequence, we show that the fractions introduced in [Guo and Xie, Ramanujan Jour. 25 (2011) 307-317] provide a realization of this algebra by rational moulds extending that of free quasi-symmetric functions given in [Chapoton et al., Int. Math. Res. Not. IMRN 2008, no. 9, Art. ID rnn018].
We present some graphical characterizations of positive definite symmetric quasi-Cartan matrices of Dynkin type $\mathbb{A}_{n}$ and $\mathbb{D}_{n}$. Our proofs are constructive, purely graph theoretical, and almost self-contained in the sense that they rely on the classical inflations method only.
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 …
In this work, an effective construction, via Schützenberger's monoidal factorization, of dual bases for the non commutative symmetric and quasi-symmetric functions is proposed.
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 thi…
This paper is concerned with two generalizations of the Hopf algebra of symmetric functions that have more or less recently appeared. The Hopf algebra of noncommutative symmetric functions and its dual, the Hopf algebra of quasisymmetric functions. The focus is on the incredibly rich structure of the Hopf algebra of symmetric functions and the question of which structures and properties have good analogues for the noncommutative symmetric functions and/or the quasisymmetric functions. This paper attempt to survey the ongoing investigations in this topic as dictated by the knowledge and interes…
We introduce the Hopf algebra of quasi-symmetric functions with semigroup exponents generalizing the Hopf algebra QSym of quasi-symmetric functions. As a special case we obtain the Hopf algebra WCQSym of weak composition quasi-symmetric functions, which provides a framework for the study of a question proposed by G.-C.~Rota relating symmetric type functions and Rota-Baxter algebras. We provide the transformation formulas between the weak composition monomial and fundamental quasi-symmetric functions, which extends the corresponding results for quasi-symmetric functions. Moreover, we show that …
We introduce and study affine analogues of the fixed-point-free (FPF) involution Stanley symmetric functions of Hamaker, Marberg, and Pawlowski. Our methods use the theory of quasiparabolic sets introduced by Rains and Vazirani, and we prove that the subset of FPF-involutions is a quasiparabolic set for the affine symmetric group under conjugation. Using properties of quasiparabolic sets, we prove a transition formula for the affine FPF involution Stanley symmetric functions, analogous to Lascoux and Schützenberger's transition formula for Schubert polynomials. Our results suggest several conj…
Motivated by a question of Rota, this paper studies the relationship between Rota--Baxter algebras and symmetric related functions. The starting point is the fact that the space of quasi-symmetric functions is spanned by monomial quasi-symmetric functions which are indexed by compositions. When composition is replaced by left weak composition (LWC), we obtain the concept of LWC monomial quasi-symmetric functions and the resulting space of LWC quasi-symmetric functions. In line with the question of Rota, the latter is shown to be isomorphic to the free commutative nonunitary Rota--Baxter algebr…