arXiv++ Combinatorics

The ring of cyclic quasi-symmetric functions and its non-Escher subring are introduced in this paper. A natural basis consists of fundamental cyclic quasi-symmetric functions; for the non-Escher subring they arise as toric $P$-partition enumerators, for toric posets $P$ with a total cyclic order. The associated structure constants are determined by cyclic shuffles of permutations. We then prove the following positivity phenomenon: for every non-hook shape $λ$, the coefficients in the expansion of the Schur function $s_λ$ in terms of fundamental cyclic quasi-symmetric functions are nonnegative. The proof relies on the existence of a cyclic descent map on the standard Young tableaux (SYT) of shape $λ$. The theory has applications to the enumeration of cyclic shuffles and SYT by cyclic descents.

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose equivalence classes generate linearly compact bialgebras under shifted shuffling and deconcatenation. We also extend some of the theory of combinatorial Hopf algebras to bialgebras that are not connected or of finite graded dimension. Finally, we discuss several examples of quasi-symmetric functions, not necessarily of bounded degree, that may be constructed via terminal properties of combinatorial bialgebras.

We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbfΠ$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbfΠ$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbfΠ$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.

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 \equiv 132$.

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.

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 surjections or, equivalently, packed words. The following sections investigate their Hopf algebraic properties, which are inherited from the Hopf algebra structure of double posets and their relations with WQSym

Egge, Loehr and Warrington gave in \cite{ELW} a combinatorial formula that permits to convert the expansion of a symmetric function, homogeneous of degree $n$, in terms of Gessel's fundamental quasisymmetric functions into an expansion in terms of Schur functions. Surprisingly the Egge, Loehr and Warrington result may be shown to be simply equivalent to replacing the Gessel fundamental by a Schur function indexed by the same composition. In this paper we give a direct proof of the validity of this replacement. This interpretation of the result in \cite{ELW} has already been successfully applied to Schur positivity problems.

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 labelling compositions lead to some nontrivial graded (co)algebra automorphisms of ${\rm QSym}$. We prove that the linear maps induced by the three actions are precisely the only nontrivial graded algebra automorphisms that take the fundamental basis into itself. Furthermore, the complement map on the labels gives the unique nontrivial graded coalgebra automorphism preserving the fundamental basis, while the reversal map on the labels gives the unique nontrivial graded algebra automorphism preserving the monomial basis. Therefore, ${\rm QSym}$ is rigid as a Hopf algebra with respect to the monomial and the quasisymmetric Schur basis.

We define a new family of noncommutative Bell polynomials in the algebra of free quasi-symmetric functions and relate it to the dual immaculate basis of quasi-symmetric functions. We obtain noncommutative versions of Grinberg's results [Canad. J. Math. 69 (2017), 21--53], and interpret them in terms of the tridendriform structure of WQSym. We then present a variant of Rey's self-dual Hopf algebra of set partitions [FPSAC'07, Tianjin] adapted to our noncommutative Bell polynomials and give a complete description of the Bell equivalence classes as linear extensions of explicit posets.

We introduce Schur multiple zeta functions which interpolate both the multiple zeta and multiple zeta-star functions of the Euler-Zagier type combinatorially. We first study their basic properties including a region of absolute convergence and the case where all variables are the same. Then, under an assumption on variables, some determinant formulas coming from theory of Schur functions such as the Jacobi-Trudi, Giambelli and dual Cauchy formula are established with the help of Macdonald's ninth variation of Schur functions. Moreover, we investigate the quasi-symmetric functions corresponding to the Schur multiple zeta functions. We obtain the similar results as above for them and, furthermore, describe the images of them by the antipode of the Hopf algebra of quasi-symmetric functions explicitly. Finally, we establish iterated integral representations of the Schur multiple zeta values of ribbon type, which yield a duality for them in some cases.

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 QSym is a Hopf subalgebra and a Hopf quotient algebra of WCQSym. Rota's question is addressed by identifying WCQsym with the free commutative unitary Rota-Baxter algebra of weight 1 on one generator, which also allows us to equip this algebra with a Hopf algebra structure.

In 2004, J-C. Aval, F. Bergeron and N. Bergeron studied the algebra of diagonally quasi-symmetric functions $\operatorname{\mathsf{DQSym}}$ in the ring $\mathbb{Q}[\mathbf{x},\mathbf{y}]$ with two sets of variables. They made conjectures on the structure of the quotient $\mathbb{Q}[\mathbf{x},\mathbf{y}]/\langle\operatorname{\mathsf{DQSym}}^+\rangle$, which is a quasi-symmetric analogue of the diagonal harmonic polynomials. In this paper, we construct a Hilbert basis for this quotient when there are infinitely many variables i.e. $\mathbf{x}=x_1,x_2,\dots$ and $\mathbf{y}=y_1,y_2,\dots$. Then we apply this construction to the case where there are finitely many variables, and compute the second column of its Hilbert matrix.

For integers m, n $\ge$ 1, we describe a bijection sending dissections of the (mn + 2)-regular polygon into (m + 2)-sided polygons to a new basis of the quotient of the polynomial algebra in mn variables by an ideal generated by some kind of higher quasi-symmetric functions. We show that divisibility of the basis elements corresponds to a new partial order on dissections, which is studied in some detail.

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 algebra of permutations (or the algebra of free quasi-symmetric functions). In the process we identify an algebra on Dyck paths, which to our knowledge has not been studied before.

We introduce a coloured generalization $\mathrm{NSym}_A$ of the Hopf algebra of non-commutative symmetric functions described as a subalgebra of the of rooted ordered coloured trees Hopf algebra. Its natural basis can be identified with the set of sentences over alphabet $A$ (the set of colours). We present also its graded dual algebra $\mathrm{QSym}_A$ of coloured quasi-symmetric functions together with its realization in terms of power series in partially commutative variables. We provide formulas expressing multiplication, comultiplication and the antipode for these Hopf algebras in various bases -- the corresponding generalizations of the complete homogeneous, elementary, ribbon Schur and power sum bases of $\mathrm{NSym}$, and the monomial and fundamental bases of $\mathrm{QSym}$. We study also certain distinguished series of trees in the setting of restricted duals to Hopf algebras.

Crystal graphs, in the sense of Kashiwara, carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. In the particular case of the crystal graph for the $q$-analogue of the special linear Lie algebra $\mathfrak{sl}_{n}$, this monoid is the celebrated plactic monoid, whose elements can be identified with Young tableaux. The crystal graph and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence and so provide powerful combinatorial tools to work with them. This paper constructs an analogous `quasi-crystal' structure for the hypoplactic monoid, whose elements can be identified with quasi-ribbon tableaux and whose connection with the theory of quasi-symmetric functions echoes the connection of the plactic monoid with the theory of symmetric functions. This quasi-crystal structure and the associated quasi-Kashiwara operators are shown to interact just as neatly with the combinatorics of quasi-ribbon tableaux and with the hypoplactic version of the Robinson--Schensted--Knuth correspondence. A study is then made of the interaction of the crystal graph of the plactic monoid and the quasi-crystal graph for the hypoplactic monoid. Finally, the quasi-crystal structure is applied to prove some new results about the hypoplactic monoid.

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 algebra on one generator. The combinatorial interpretation of quasi-symmetric functions by $P$-partitions from compositions is extended to the context of left weak compositions, leading to the concept of LWC fundamental quasi-symmetric functions. The transformation formulas for LWC monomial and LWC fundamental quasi-symmetric functions are obtained, generalizing the corresponding results for quasi-symmetric functions. Extending the close relationship between quasi-symmetric functions and multiple zeta values, weighted multiple zeta values and a $q$-analog of multiple zeta values are investigated and a decomposition formula is established.

We construct a poset from a simple acyclic digraph together with a valuation on its vertices, and we compute the values of its Möbius function. We show that the weak order on Coxeter groups of type A, B, affine A, and the flag weak order on the wreath product $\mathbb{Z} \_r \wr S\_n$ introduced by Adin, Brenti and Roichman, are special instances of our construction. We conclude by associating a quasi-symmetric function to each element of these posets. In the $A$ and $\widetilde{A}$ cases, this function coincides respectively with the classical Stanley symmetric function, and with Lam's affine generalization.

Following the lead of Stanley and Gessel, we consider a morphism which associates to an acyclic directed graph (or a poset) a quasi-symmetric function. The latter is naturally defined as multivariate generating series of non-decreasing functions on the graph. We describe the kernel of this morphism, using a simple combinatorial operation that we call cyclic inclusion-exclusion. Our result also holds for the natural noncommutative analog and for the commutative and noncommutative restrictions to bipartite graphs. An application to the theory of Kerov character polynomials is given.

We consider the multivariate generating series $F_P$ of $P$-partitions in infinitely many variables $x_1, x_2 , \dots$. For some family of ranked posets $P$, it is natural to consider an analog $N_P$ with two infinite alphabets. When we collapse these two alphabets, we trivially recover $F_P$. Our main result is the converse, that is, the explicit construction of a map sending back $F_P$ onto $N_P$. We also give a noncommutative analog of the latter. An application is the construction of a basis of WQSym with a non-negative multiplication table, which lifts a basis of QSym introduced by K. Luoto.