Quasisymmetric Functions Research Articles

Hopf algebra structure of symmetric and quasisymmetric functions in superspace

We show that the ring of symmetric functions in superspace is a cocommutative and self-dual Hopf algebra. We provide formulas for the action of the coproduct and the antipode on various bases of that ring. We introduce the ring sQSym of quasisymmetric functions in superspace and show that it is a Hopf algebra. We give explicitly the product, coproduct and antipode on the basis of monomial quasisymmetric functions in superspace. We prove that the Hopf dual of sQSym, the ring sNSym of noncommutative symmetric functions in superspace, has a multiplicative basis dual to the monomial quasisymmetric functions in superspace.

A Note on Jing and Li’s Type $$\varvec{B}$$ B Quasisymmetric Schur Functions

In 2015, Jing and Li defined type B quasisymmetric Schur functions and conjectured that these functions have a positive, integral and unitriangular expansion into peak functions. We prove this conjecture, and refine their combinatorial model to give explicit expansions in monomial, fundamental and peak bases. We also show that these functions are not quasisymmetric Schur, Young quasisymmetric Schur or dual immaculate positive, and do not have a positive multiplication rule.

On $e$-Positivity and $e$-Unimodality of Chromatic Quasi-symmetric Functions

We use $P$-tableaux to give a combinatorial proof of the $e$-positivity of chromatic quasi-symmetric functions with bounce number two and some of those with bounce number three, which enables us to give a combinatorial model of the coefficients in the $e$-expansion of chromatic quasi-symmetric functions. We also find a combinatorial model for the $e$-coefficients of chromatic quasi-symmetric functions we considered, in terms of acyclic orientations of the corresponding graphs. For some special subclass of chromatic quasi-symmetric functions we considered for their $e$-positivity, we derive closed form formulae for the $e$-coefficients, showing the $e$-unimodality of the functions.

Weak quasi-symmetric functions, Rota–Baxter algebras and Hopf algebras

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 QSymN˜ of weak 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 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 QSymN˜. Rota's question is addressed by identifying QSymN˜ with the free commutative unitary Rota–Baxter algebra Ш(x) of weight 1 on one generator x, which also allows us to equip Ш(x) with a Hopf algebra structure.

Quasisymmetric functions and the Chow ring of the stack of expanded pairs

We show that the Hopf algebra of quasisymmetric functions arises naturally as the integral Chow ring of the algebraic stack of expanded pairs originally described by J. Li, using a more combinatorial description in terms of configurations of line bundles. In particular, we exhibit a gluing map which gives rise to the comultiplication. We then apply the result to calculate the Chow rings of certain stacks of semistable curves.

Shuffle-Compatible Permutation Statistics II: The Exterior Peak Set

This paper is a continuation of the work "Shuffle-compatible permutation statistics" by Gessel and Zhuang (but can be read independently from the latter). We study the shuffle-compatibility of permutation statistics — a concept introduced by Gessel and Zhuang, although various instances of it have appeared throughout the literature before. We prove that (as Gessel and Zhuang have conjectured) the exterior peak set statistic (Epk) is shuffle-compatible. We furthermore introduce the concept of an "LR-shuffle-compatible" statistic, which is stronger than shuffle-compatibility. We prove that Epk and a few other statistics are LR-shuffle-compatible. Furthermore, we connect these concepts with the quasisymmetric functions, in particular the dendriform structure on them.

LLT polynomials, chromatic quasisymmetric functions and graphs with cycles

We use a Dyck path model for unit-interval graphs to study the chromatic quasisymmetric functions introduced by Shareshian and Wachs, as well as unicellular LLT polynomials, revealing some parallel structure and phenomena regarding their e-positivity.The Dyck path model is also extended to circular arc digraphs to obtain larger families of polynomials, giving a new extension of LLT polynomials. Carrying over a lot of the non-circular combinatorics, we prove several statements regarding the e-coefficients of chromatic quasisymmetric functions and LLT polynomials, including a natural combinatorial interpretation for the e-coefficients for the line graph and the cycle graph for both families. We believe that certain e-positivity conjectures hold in all these families above.Furthermore, beyond the chromatic analogy, we study vertical-strip LLT polynomials, which are modified Hall–Littlewood polynomials.

The Chromatic Symmetric Functions of Trivially Perfect Graphs and Cographs

Richard P. Stanley defined the chromatic symmetric function of a simple graph and has conjectured that every tree is determined by its chromatic symmetric function. Recently, Takahiro Hasebe and the author proved that the order quasisymmetric functions, which are analogs of the chromatic symmetric functions, distinguish rooted trees. In this paper, using a similar method, we prove that the chromatic symmetric functions distinguish trivially perfect graphs. Moreover, we also prove that claw-free cographs, that is, $ \{K_{1,3},P_{4}\} $-free graphs belong to a known class of $ e $-positive graphs.

On Schur multiple zeta functions: A combinatoric generalization of multiple zeta functions

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.

Shuffle-compatible permutation statistics

Since the early work of Richard Stanley, it has been observed that several permutation statistics have a remarkable property with respect to shuffles of permutations. We formalize this notion of a shuffle-compatible permutation statistic and introduce the shuffle algebra of a shuffle-compatible permutation statistic, which encodes the distribution of the statistic over shuffles of permutations. This paper develops a theory of shuffle-compatibility for descent statistics—statistics that depend only on the descent set and length—which has close connections to the theory of P-partitions, quasisymmetric functions, and noncommutative symmetric functions. We use our framework to prove that many descent statistics are shuffle-compatible and to give explicit descriptions of their shuffle algebras, thus unifying past results of Stanley, Gessel, Stembridge, Aguiar–Bergeron–Nyman, and Petersen.

On weak peak quasisymmetric functions

In this paper, we construct the weak version of peak quasisymmetric functions inside the Hopf algebra of weak composition quasisymmetric functions (WCQSym) defined by Guo, Thibon and Yu. Weak peak quasisymmetric functions (WPQSym) are studied in several aspects. First we find a natural basis of WPQSym lifting peak functions introduced by Stembridge. Then we confirm that WPQSym is a Hopf subalgebra of WCQSym by giving explicit multiplication, comultiplication and antipode formulas. By extending Stembridge's descent-to-peak maps, we also show that WPQSym is a Hopf quotient of WCQSym. On the other hand, we prove that WPQSym embeds as a Rota–Baxter subalgebra of WCQSym, thus of the free commutative Rota–Baxter algebra of weight 1 on one generator. Moreover, WPQSym can also be a Rota–Baxter quotient of WCQSym.

Unit interval orders and the dot action on the cohomology of regular semisimple Hessenberg varieties

Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the character of the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to ωXG(t), where XG(t) is the chromatic quasisymmetric function of the incomparability graph G of the corresponding natural unit interval order, and ω is the usual involution on symmetric functions. We prove the Shareshian–Wachs conjecture.Our proof uses the local invariant cycle theorem of Beilinson–Bernstein–Deligne to obtain a surjection, which we call the local invariant cycle map, from the cohomology of a regular Hessenberg variety of Jordan type λ to a space of local invariant cycles. As λ ranges over all partitions, the local invariant cycles collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. We then prove a result showing that, under suitable hypotheses, the local invariant cycle map is an isomorphism if and only if the special fiber has palindromic cohomology. (This is a general theorem, which is independent of the Hessenberg variety context.) Applying this result to the universal family of Hessenberg varieties, we show that, in our case, the surjections are actually isomorphisms, thus reducing the Shareshian–Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko, and, using a new reciprocity theorem for certain quasisymmetric functions, we show that Tymoczko's description coincides with the combinatorics of the chromatic quasisymmetric function.

Dual immaculate quasisymmetric functions expand positively into Young quasisymmetric Schur functions

We describe a combinatorial formula for the coefficients when the dual immaculate quasisymmetric functions are decomposed into Young quasisymmetric Schur functions. We prove this using an analogue of Schensted insertion. Using this result, we give necessary and sufficient conditions for a dual immaculate quasisymmetric function to be symmetric. Moreover, we show that the product of a Schur function and a dual immaculate quasisymmetric function expands positively in the Young quasisymmetric Schur basis. We also discuss the decomposition of the Young noncommutative Schur functions into the immaculate functions. Finally, we provide a Remmel–Whitney-style rule to generate the coefficients of the decomposition of the dual immaculates into the Young quasisymmetric Schurs algorithmically and an analogous rule for the decomposition of the dual bases.

Quasisymmetric (k, l)-Hook Schur Functions

We introduce a quasisymmetric generalization of Berele and Regev’s hook Schur functions and prove that these new quasisymmetric hook Schur functions decompose the hook Schur functions in a natural way. We examine the combinatorics of the quasisymmetric hook Schur functions, providing a relationship to Gessel’s fundamental quasisymmetric functions and an analogue of the Robinson-Schensted-Knuth algorithm. We also prove that the multiplication of quasisymmetric hook Schur functions with hook Schur functions behaves the same as the multiplication of quasisymmetric Schur functions with Schur functions.

Kohnert tableaux and a lifting of quasi-Schur functions

We introduce the quasi-key basis of the polynomial ring which contains the quasi-Schur polynomials of Haglund, Luoto, Mason and van Willigenburg. We prove that stable limits of quasi-key polynomials are quasi-Schur functions, thus lifting the quasi-Schur basis of quasisymmetric polynomials to the full polynomial ring. The new tool we introduce for this purpose is the combinatorial model of Kohnert tableaux. We use this model to prove that key polynomials expand positively in quasi-key polynomials which in turn expand positively in fundamental slide polynomials introduced earlier by the authors. We give simple combinatorial formulas for these expansions in terms of Kohnert tableaux, lifting the parallel expansions of a Schur function into quasi-Schur functions into fundamental quasisymmetric functions.

Noncommutative Bell polynomials and the dual immaculate 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.

The Heisenberg product: from Hopf algebras and species to symmetric functions

Many related products and coproducts (e.g. Hadamard, Cauchy, Kronecker, induction, internal, external, Solomon, composition, Malvenuto–Reutenauer, convolution, etc.) have been defined in the following objects: species, representations of the symmetric groups, symmetric functions, endomorphisms of graded connected Hopf algebras, permutations, non-commutative symmetric functions, quasi-symmetric functions, etc. With the purpose of simplifying and unifying this diversity we introduce yet, another product the Heisenberg product, that is not graded and its highest and lowest degree-terms are the classical external and internal products (and their namesakes in different contexts). In order to define it, we start from the two opposite more general extremes: species in the “commutative context”, and endomorphisms of Hopf algebras in the “non-commutative” environment. Both specialize to the space of commutative symmetric functions where the definitions coincide. We also deal with the different coproducts that these objects carry, to which we add the Heisenberg coproduct for quasi-symmetric functions, and study their Hopf algebra compatibility particularly for symmetric and non commutative symmetric functions. We obtain combinatorial formulas for the structure constants of the new product that extend, generalize and unify results due to Garsia, Remmel, Reutenauer and Solomon. In the space of quasi-symmetric functions, we describe explicitly the new operations in terms of alphabets.

On the structure constants of the descent algebra of the hyperoctahedral group

Introduced by Solomon in his 1976 paper, the descent algebra of a finite Coxeter group received significant attention over the past decades. As proved by Gessel, in the case of the symmetric group its structure constants give the comultiplication table for the fundamental basis of quasisymmetric functions. We show that this latter property actually implies several well known relations linked to the Robinson-Schensted-Knuth correspondence and some of its generalisations. This provides a new link between these results and the theory of quasisymmetric functions and allows to derive more advanced formulas involving Kronecker coefficients. Furthermore, using the theory of type B quasisymmetric functions introduced by Chow, we can extend our method to the hyperoctahedral group and derive some new formulas.

Ideals and Quotients of Diagonally Quasi-Symmetric Functions

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.

Double Posets and the Antipode of QSym

A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental quasisymmetric functions, (skew) Schur functions, dual immaculate functions, and quasisymmetric $\left(P, \omega\right)$-partition enumerators. We prove a formula for the antipode of this function that holds under certain conditions (which are satisfied when the second order of the double poset is total, but also in some other cases); this restates (in a way that to us seems more natural) a result by Malvenuto and Reutenauer, but our proof is new and self-contained. We generalize it further to an even more comprehensive setting, where a group acts on the double poset by automorphisms.