arXiv++ Combinatorics

Amdeberhan, Shareshian, and Stanley recently proved that a function $\varphi$ arising in the theory of partition Eisenstein series counts the alternating permutations of $\{1,\dots,2n\}$ with a given `record' partition, and they asked whether there is a similar theory for record compositions, suggesting a role for noncommutative symmetric functions. Here we solve their open problem by showing that the number of alternating permutations of $\{1,\dots,2n\}$ with record composition $(α_1,\dots,α_\ell)$ is \[ \prod_{j=1}^{\ell}\binom{2s_j-1}{2α_j-1}E_{2α_j-1}, \] where $s_j=α_1+\dots+α_j$, $E_k$ is an Euler number, and the record composition of $w=a_1a_2\dots a_{2n}$ (so $a_1>a_2<a_3>\dotsb$) lists the factor lengths obtained by cutting $a_1a_3\dots a_{2n-1}$ before each left-to-right maximum other than the first. These numbers are the coefficients of a natural lift of the degree-$n$ sprout symmetric function with seed $\sec(\sqrt{t}\,)$ to noncommutative symmetric functions, expanded in products of noncommutative power sums of the first kind. An analogous refinement holds for every sprout sequence whose seed is given by the exponential formula. AxiomProver autonomously produced and verified the results in this paper in Lean.

A long-standing question is whether chromatic symmetric functions can distinguish non-isomorphic trees. Campbell introduced chromatic noncommutative symmetric functions for digraphs, which lift chromatic symmetric functions to NSym, and asked to what extent they can distinguish non-isomorphic oriented trees. In this article, we prove that chromatic noncommutative symmetric functions can reconstruct oriented stars, oriented double stars, some oriented caterpillars, and some oriented paths.

We investigate the geode and some of its generalizations from the point of view on noncommutative symmetric functions.

We introduce new partial order structures on the underlying sets of free nonsymmetric operads. These posets involve decorated ordered rooted trees, and their terminal intervals are lattices. These lattices are not graded, not self-dual, and not semi-distributive, but they are EL-shellable, and their Mbius functions take values in $\{-1, 0, 1\}$. They admit sublattices on the families of $m$-Fuss-Catalan objects and of forests of trees. This latter order structure is used to construct two new bases for the natural Hopf algebras of free nonsymmetric operads: a fundamental basis and a homogeneous basis. Along with the already known elementary basis of these Hopf algebras, this yields a triple of bases. The situation is similar to what is observed in the Hopf algebras of Malvenuto-Reutenauer, Loday-Ronco, and noncommutative symmetric functions, each of which presents such triples of bases and basis changes involving, respectively, the right weak partial order, the Tamari partial order, and the Boolean lattice partial order.

The (ordinary) representation theory of the symmetric group is fascinating and has rich connections to combinatorics, including the Frobenius correspondence to the self-dual graded Hopf algebra of symmetric functions. The $0$-Hecke algebra (of type $A$) is a deformation of the group algebra of the symmetric group, and its representation theory has an analogous correspondence to the dual graded Hopf algebras of quasisymmetric functions and noncommutative symmetric functions. Macdonald used the hook length formula for the number of standard Young tableaux of a fixed shape to determine how many irreducible representations of the symmetric group have dimensions indivisible by a prime $p$. In this paper, we study the dimensions of the projective indecomposable modules of the $0$-Hecke algebra modulo $p$; such a module is indexed by a composition and its dimension is given by a ribbon number, i.e., the cardinality of a descent class. Applying a result of Dickson on the congruence of multinomial coefficients, we count how many ribbon numbers belong to each congruence class modulo $p$. We also extend the result to other finite Coxeter groups.

The well-known descent-to-peak map $Θ_{\mathrm{QSym}}$ for the Hopf algebra of quasisymmetric functions, $\mathrm{QSym}$, and the peak algebra $Π$ were originally defined by Stembridge in 1997. We introduce their noncommutative analogues, the labelled descent-to-peak map $Θ_{\mathrm{NCQSym}}$ for the Hopf algebra of quasisymmetric functions in noncommuting variables, $\mathrm{NCQSym}$, and the peak algebra in noncommuting variables $\mathrm{NC}Π$. Then, we define the Hopf algebra of Schur $Q$-functions in noncommuting variables. We show that our generalizations possess many properties analogous to their classical counterparts. Furthermore, we show that the coefficients in the expansion of certain elements of $\mathrm{NC}Π$ in the monomial basis of $\mathrm{NCQSym}$ satisfy the generalized Dehn-Sommerville equation of Bayer and Billera. In the end, we give representation-theoretic interpretations of the descent-to-peak map for the Hopf algebras of symmetric functions and noncommutative symmetric functions.

The quasisymmetric functions, $QSym$, are generalized for a finite alphabet $A$ by the colored quasisymmetric functions, $QSym_A$, in partially commutative variables. Their dual, $NSym_A$, generalizes the noncommutative symmetric functions, $NSym$, through a relationship with a Hopf algebra of trees. We define an algebra $Sym_A$, contained within $QSym_A$, that is isomorphic to the symmetric functions, $Sym$, when $A$ is an alphabet of size one. We show that $Sym_A$ is a Hopf algebra and define its graded dual, $PSym_A$, which is the commutative image of $NSym_A$ and also generalizes $Sym$. The seven algebras listed here can be placed in a commutative diagram connected by Hopf morphisms. In addition to defining generalizations of the classic bases of the symmetric functions to $Sym_A$ and $PSym_A$, we describe multiplication, comultiplication, and the antipode in terms of a basis for both algebras. We conclude by defining a pair of dual bases that generalize the Schur functions and listing open questions.

If we consider previously introduced extensions of Stanley's chromatic symmetric function $X_{G}(x_1, x_2, \ldots)$ for a graph $G$ to elements in the algebra $\textsf{QSym}$ of quasisymmetric functions and in the algebra $\textsf{NCSym}$ of symmetric functions in noncommuting variables, this motivates our introduction of a lifting of $X_{G}$ to the dual of $\textsf{QSym}$, i.e., the algebra $\textsf{NSym}$ of noncommutative symmetric functions, as opposed to $\textsf{NCSym}$. For an unlabelled directed graph $D$, our extension of chromatic symmetric functions provides an element $\text{X}_{D}$ in $\textsf{NSym}$, in contrast to the analogue $Y_{G} \in \textsf{NCSym}$ of $X_{G}$ due to Gebhard and Sagan. Letting $G$ denote the undirected graph underlying $D$, our construction is such that the commutative image of $\text{X}_{D}$ is $ X_{G}$. This projection property is achieved by lifting Stanley's power sum expansion for chromatic symmetric functions, with the use of the $Ψ$-basis of $\textsf{NSym}$, so that the orderings of the entries of the indexing compositions are determined by the directed edges of $D$. We then construct generating sets for $\textsf{NSym}$ consisting of expressions of the form $\text{X}_{D}$, building on the work of Cho and van Willigenburg on chromatic generating sets for $\textsf{Sym}$.

The noncommutative symmetric functions $\textbf{NSym}$ were first defined abstractly by Gelfand et al. in 1995 as the free associative algebra generated by noncommuting indeterminants $\{\boldsymbol{e}_n\}_{n\in \mathbb{N}}$ that were taken as a noncommutative analogue of the elementary symmetric functions. The resulting space was thus a variation on the traditional symmetric functions $Λ$. Giving noncommutative analogues of generating function relations for other bases of $Λ$ allowed Gelfand et al. to define additional bases of $\textbf{NSym}$ and then determine change-of-basis formulas using quasideterminants. In this paper, we aim for a self-contained exposition that expresses these bases concretely as functions in infinitely many noncommuting variables and avoids quasideterminants. Additionally, we look at the noncommutative analogues of two different interpretations of change-of-basis in $Λ$: both as a product of a minimal number of matrices, mimicking Macdonald's exposition of $Λ$ in Symmetric Functions and Hall Polynomials, and as statistics on brick tabloids, as in work by Eğecioğlu and Remmel, 1990.

This article presents conditions under which the skewed version of immaculate noncommutative symmetric functions are nonzero. The work is motivated by the quest to determine when the matrix definition of a skew immaculate function aligns with the Hopf algberaic definition. We describe a necessary condition for a skew immaculate function to include a non-zero term, as well as a sufficient condition for there to be at least one non-zero term that survives any cancellation. We bring in several classical theorems such as the Pigeonhole Principle from combinatorics and Hall's Matching Theorem from graph theory to prove our theorems.

Given a graded bialgebra $H$, we let $Δ^{\left[ k\right] }:H\rightarrow H^{\otimes k}$ and $m^{\left[ k\right] }:H^{\otimes k}\rightarrow H$ be its iterated (co)multiplications for all $k\in\mathbb{N}$. For any $k$-tuple $α=\left( α_{1},α_{2},\ldots,α_{k}\right) \in\mathbb{N}^{k}$ of nonnegative integers, and any permutation $σ$ of $\left\{ 1,2,\ldots,k\right\} $, we consider the map $p_{α,σ}:=m^{\left[ k\right] }\circ P_α\circσ^{-1}\circΔ^{\left[ k\right] }:H\rightarrow H$, where $P_α$ denotes the projection of $H^{\otimes k}$ onto its multigraded component $H_{α_{1}}\otimes H_{α_{2}}\otimes\cdots\otimes H_{α_{k}}$, and where $σ^{-1}:H\rightarrow H$ permutes the tensor factors. We prove formulas for the composition $p_{α,σ}\circ p_{β,τ}$ and the convolution $p_{α,σ}\star p_{β,τ}$ of two such maps. When $H$ is cocommutative, these generalize Patras's 1994 results (which, in turn, generalize Solomon's Mackey formula). We also construct a combinatorial Hopf algebra $\operatorname*{PNSym}$ ("permuted noncommutative symmetric functions") that governs the maps $p_{α,σ}$ for arbitrary connected graded bialgebras $H$ in the same way as the well-known $\operatorname*{NSym}$ governs them in the cocommutative case. We end by outlining an application to checking identities for connected graded Hopf algebras.

We introduce two new bases of QSym, the flipped extended Schur functions and the backward extended Schur functions, as well as their duals in NSym, the flipped shin functions and the backward shin functions. These bases are the images of the extended Schur basis and shin basis under the involutions $ρ$ and $ω$ on the quasisymmetric and noncommutative symmetric functions, which generalize the classical involution $ω$ on the symmetric functions. In addition, we prove a Jacobi-Trudi rule for certain shin functions using creation operators. We define skew extended Schur functions and skew-II extended Schur functions based on left and right actions of NSym and QSym respectively. We then use the involutions $ρ$ and $ω$ to translate these and other known results to our flipped and backward bases.

We prove that the Catalan Lie idempotent $D_n(a,b)$, introduced in [Menous {\it et al.}, Adv. Appl. Math. 51 (2013), 177] can be refined by introducing $n$ independent parameters $a_0,\ldots,a_{n-1}$ and that the coefficient of each monomial is itself a Lie idempotent in the descent algebra. These new idempotents are multiplicity-free sums of subsets of the Poincaré-Birkhoff-Witt basis of the Lie module. These results are obtained by embedding noncommutative symmetric functions into the dual noncommutative Connes-Kreimer algebra, which also allows us to interpret, and rederive in a simpler way, Chapoton's results on a two-parameter tree expanded series.

Skewing operators play a central role in the symmetric function theory because of the importance of the product structure of the symmetric function space. The theory of noncommutative symmetric functions is a useful tool for studying expansions of a given symmetric function in terms of various bases. In this paper, we establish a further development of the theory for studying skewing operators. Using this machinery, we are able to easily reproduce the Littlewood--Richardson rule, and provide recurrence relations for chromatic quasisymmetric functions, which generalizes Harada--Precup's recurrence.

For a natural unit interval order $P$, we describe proper colorings of the incomparability graph of $P$ in the language of heaps. We also introduce a combinatorial operation, called a \emph{local flip}, on the heaps. This operation defines an equivalence relation on the proper colorings, and the equivalence relation refines the ascent statistic introduced by Shareshian and Wachs. In addition, we define an analogue of noncommutative symmetric functions introduced by Fomin and Greene, with respect to $P$. We establish a duality between the chromatic quasisymmetric function of $P$ and these noncommutative symmetric functions. This duality leads us to positive expansions of the chromatic quasisymmetric functions into several symmetric function bases. In particular, we present some partial results for the $e$-positivity conjecture.

Let us fix a positive integer $ν>1$. For each positive integer $n>1$, we consider a normal supercharacter theory $\mathcal{S}_n$ of $G_n$, where $G_n$ is the direct-product of $n-1$ copies of the cyclic group of order $ν$. Then we endow $\bigoplus_{n \ge 0} \textsf{scf}(\mathcal{S}_n)$, the direct-product of supercharacter function spaces, with the Hopf algebra structure that is isomorphic to the Hopf algebra $\textsf{QSym}$ of quasisymmetric functions. Furthermore, we compute the structure constants of the Hopf algebra thus obtained for the basis consisting of superclass identifier functions. Using our categorifications, we study a new basis for the Hopf algebra $\textsf{NSym}_{\mathbb{C}(q,t)}$ of noncommutative symmetric functions over the rational function field $\mathbb{C}(q,t)$ in commuting variables $q$ and $t$, with an emphasis on the structure constants of $\textsf{NSym}_{\mathbb{C}(q,t)}$ for this basis. Some interesting applications are also obtained via the specializations of $q$ and $t$.

We provide a combinatorial formula for the expansion of immaculate noncommutative symmetric functions into complete homogeneous noncommutative symmetric functions. To do this, we introduce generalizations of Ferrers diagrams which we call GBPR diagrams. We define tunnel hooks, which play a role similar to that of the special rim hooks appearing in the Eğecioğlu-Remmel formula for the symmetric inverse Kostka matrix. We extend this interpretation to skew shapes and fully generalize to define immaculate functions indexed by integer sequences skewed by integer sequences. Finally, as an application of our combinatorial formula, we extend Campbell's results on ribbon decompositions of immaculate functions to a larger class of shapes.

We study in detail the Hopf algebra of noncommutative symmetric functions in superspace sNSym, introduced by Fishel, Lapointe and Pinto. We introduce a family of primitive elements of sNSym and extend the noncommutative elementary and power sum functions to superspace. Then, we give formulas relating these families of functions. Also, we introduce noncommutative Ribbon Schur functions in superspace and provide a explicit formula for their product. We show that the dual basis of these function is given by a family of the so--called fundamental quasisymmetric functions in superspace. This allows us to obtain a explicit formula for the coproduct of fundamental quasisymmetric functions in superspace. Additionally, by projecting the noncommutative Ribbon Schur functions in superspace, we define a new basis for the algebra of symmetric functions in superspace. On the other hand, we also show that sNSym can be realised as a Hopf algebra of trees.

Combinatorial Hopf algebras give a linear algebraic structure to infinite families of combinatorial objects, a technique further enriched by the categorification of these structure via the representation theory of families of algebras. This paper examines a fundamental construction in group theory, the direct product, and how it can be used to build representation theoretic Hopf algebras out of towers of groups. A key special case gives us the noncommutative symmetric functions NSym, but there are many things that we can say for the general Hopf algebras, including the structure of their character groups and a formula for the antipode.

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.