Abstract:We introduce a Combinatorial Hopf Algebra (CHA) with bases indexed by the partition diagrams indexing the bases for partition algebras. By analogy with the operation $H_{\alpha} H_{\beta} = H_{\alpha \cdot \beta}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $\alpha$ and $\beta$, we mimic this multiplication rule by setting $\textsf{H}_{\pi} \textsf{H}_{\rho} = \textsf{H}_{\pi \otimes \rho}$ for partition diagrams $\pi$ and $\rho$ and for the horizontal concatenation $\pi \otimes \rho$ of $ \pi$ and $\rho$. This gives rise to a free, graded algebra $\textsf{ParSym}$, which we endow with a CHA structure by lifting the CHA structure of $ \textsf{NSym}$ using an analogue, for partition diagrams, of near-concatenations of integer compositions. Unlike the Hopf algebra $\textsf{NCSym}$ on set partitions, the new CHA $\textsf{ParSym}$ projects onto $\textsf{NSym}$ in natural way via a ``forgetful'' morphism analogous to the projection of $\textsf{NSym}$ onto its commutative counterpart $\textsf{Sym}$. We prove, using the Boolean transform for the sequence $(B_{2n} : n \in \mathbb{N})$ of even-indexed Bell numbers, an analogue of Comtet's generating function for the sequence counting irreducible permutations, yielding a formula for the number of generators in each degree for $\textsf{ParSym}$, and we prove, using a sign-reversing involution, an evaluation for the antipode for $\textsf{ParSym}$. An advantage of our CHA being defined on partition diagrams in full generality, in contrast to a previously defined Hopf algebra on uniform block permutations, is given by how the coproduct operation we have defined for $\textsf{ParSym}$ is such that the usual diagram subalgebras of partition algebras naturally give rise to Hopf subalgebras of $\textsf{ParSym}$ by restricting the indexing sets of the graded components to diagrams of a specified form.

The primitives of the Hopf algebra of noncommutative symmetric functions

Noncommutative irreducible characters of the symmetric group and noncommutative Schur functions

Nonsymmetric Primitive Translation Schemes of Prime Power Order

A Combinatorial Perspective on the Noncommutative Symmetric Functions

Schur functions in noncommuting variables

Polynomial realizations of natural Hopf algebras of nonsymmetric operads

Towards a polynomial basis of the algebra of peak quasisymmetric functions

Polynomial realizations of Hopf algebras built from nonsymmetric operads

Noncommutative symmetric functions and skewing operators

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

The extra basis in noncommuting variables

Basis of totally primitive elements of WQSym

String diagrams for symmetric powers I: In symmetric monoidal $\mathbb{Q}_{\ge 0}$-linear categories

A Combinatorial Hopf Algebra on Partition Diagrams

Artin Symmetric Functions

Symmetric Functions over Finite Fields

The Hopf algebra of integer binary relations

Primitive Deformations of Quantum $p$-groups

A Frobenius-Schur theorem for Hopf algebras

The antipode of of a Com-PreLie Hopf algebra

Skolem-Noether for nilpotent products