arXiv++ Combinatorics

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_α H_β = H_{α\cdot β}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $α$ and $β$, we mimic this multiplication rule by setting $\textsf{H}_π \textsf{H}_ρ = \textsf{H}_{π\otimes ρ}$ for partition diagrams $π$ and $ρ$ and for the horizontal concatenation $π\otimes ρ$ of $ π$ and $ρ$. 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.

We introduce a lifting of West's stack-sorting map $s$ to partition diagrams, which are combinatorial objects indexing bases of partition algebras. Our lifting $\mathscr{S}$ of $s$ is such that $\mathscr{S}$ behaves in the same way as $s$ when restricted to diagram basis elements in the order-$n$ symmetric group algebra as a diagram subalgebra of the partition algebra $\mathscr{P}_{n}^ξ$. We then introduce a lifting of the notion of $1$-stack-sortability, using our lifting of $s$. By direct analogy with Knuth's famous result that a permutation is $1$-stack-sortable if and only if it avoids the pattern $231$, we prove a related pattern-avoidance property for partition diagrams, as opposed to permutations, according to what we refer to as stretch-stack-sortability.

We extend the Reed Dawson identity for Knuth's old sum with a complex parameter, and we offer two separate hypergeometric series-based proofs of this generalization, and we apply this generalization to introduce binomial-harmonic sum identities. We also provide another ${}_{2}F_{1}(2)$-generalization of the Reed Dawson identity involving a free parameter. We then apply Fourier-Legendre theory to obtain an identity involving odd harmonic numbers that resembles the formula for Knuth's old sum, and the modified Abel lemma on summation by parts is also applied.