arXiv++ Combinatorics

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 first study tensor products of tridendriform algebras in order to introduce the notion of tridendriform bialgebra. We shall need for this a notion of augmented tridendriform algebras. Inspired by the work of J-L. Loday and M. Ronco, we build free tridendriform algebras over reduced trees and show that they have a coproduct satisfying some compatibilities with the tridendriform products. Such an object will be called a (3, 1)--dendriform algebra. Studying the free (3, 1)--dendriform bialgebra over one generator, we describe its products and coproduct in a combinatorial way. The products are described by branches shuffle and the coproduct by admissible cuts. We compare it with quasi-shuffle algebras over words. Its graded dual is the bialgebra TSym introduced by N. Bergeron and al which is described by the lightening splitting of a tree. As a consequence, this shows that TSym has a (1, 3)--dendriform bialgebra structure. This means that its coproduct can be split in three parts with convenient compatibilities. This can be extended to (3, 1)-bialgebras over an arbitrary number of generators. Finally, we introduce the notion of (3, 2)--dendriform bialgebra. This is a Hopf algebra, where we can split the product in three pieces and the coproduct in two with Hopf compatibilities. We give an example of such an algebra built on the free (3, 1)-dendriform bialgebra with one generator. We describe and generate its codendriform primitives and count its coassociative primitives thanks to L. Foissy's work. We end this paper by showing that a quotient of this (3, 2)-dendriform bialgebra is the Loday-Ronco bialgebra.

This article approaches the counting of subgraphs, in terms of signature-type functionals defined over combinatorial Hopf algebras of graphs. Well-known algebraic identities that arise in the context of counting subgraphs are then captured by their character property and a type of "Chen's identity". While different notions of subgraphs (and homomorphisms) correspond to different combinatorial Hopf algebras on graphs, we will show that they are all isomorphic to a polynomial Hopf algebra. In addition, the isomorphy between the Hopf algebras can be realized by maps that respect the counting operations.

By Foissy's work, the bidendriform structure of the Word Quasisymmetric Functions Hopf algebra (WQSym) implies that it is isomorphic to its dual. However, the only known explicit isomorphism due to Vargas does not respect the bidendriform structure. This structure is entirely determined by so-called totally primitive elements (elements such that the two half-coproducts vanish). In this paper, we construct two bases indexed by two new combinatorial families called red (dual side) and blue (primal side) biplane forests in bijection with packed words. In those bases, primitive elements are indexed by biplane trees and totally primitive elements by a certain subset of trees. We carefully combine red and blue forests to get bicolored forests. A simple recoloring of the edges allows us to obtain the first explicit bidendriform automorphism of WQSym.

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.

The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, with applications to enumerative combinatorics, Hopf algebras, graph theory, representation theory, and other areas. Despite such successes, this theory has lacked a quasisymmetric analogue of Schubert calculus. In particular, there has been much interest, since work of Lam and Pylyavskyy (2007), in developing "$K$-theoretic" analogues of quasisymmetric function theory, for which a major obstacle has been the lack of topological interpretations. Here, building on work of Baker and Richter (2008), we apply the philosophy of Schubert calculus to the loop space $Ω(Σ(\mathbb{C}\mathbb{P}^\infty))$ through the homotopy model given by James reduced product $J(\mathbb{C}\mathbb{P}^\infty)$. We describe a canonical Schubert cell decomposition of $J(\mathbb{C}\mathbb{P}^\infty)$, yielding a canonical basis of its cohomology, which we explicitly identify with monomial quasisymmetric functions. Our constructions apply equally to James reduced products of generalized flag varieties $G/P$, and we show how Littlewood-Richardson rules for any $G/P$ lift to $H^*(J(G/P))$. If $J(\mathbb{C}\mathbb{P}^\infty)$ carried the structure of a normal projective algebraic variety, the structure sheaves of the cell closures would yield a "cellular $K$-theory" Schubert basis. We show this is impossible. Nonetheless, we introduce and study a more subtle $K$-theory Schubert basis. We characterize this $K$-theory ring and develop quasisymmetric representatives with an explicit combinatorial description.

A \textit{grounded set family} on $I$ is a subset $F\subseteq2^I$ such that $\emptyset\in F$. We study a linearized Hopf monoid \textbf{SF} on grounded set families, with restriction and contraction inspired by the corresponding operations for antimatroids. Many known combinatorial species, including simplicial complexes and matroids, form Hopf submonoids of \textbf{SF}, although not always with the "standard" Hopf structure (for example, our contraction operation is not the usual contraction of matroids). We use the topological methods of Aguiar and Ardila to obtain a cancellation-free antipode formula for the Hopf submonoid of lattices of order ideals of finite posets. Furthermore, we prove that the Hopf algebra of lattices of order ideals of chain gangs extends the Hopf algebra of symmetric functions, and that its character group extends the group of formal power series in one variable with constant term 1 under multiplication.

We give a combinatorial description for the weak order on the hyperoctahedral group. This characterization is then used to analyze the order-theoretic properties of the shifted products of hyperoctahedral groups. It is shown that each shifted product is a disjoint union of some intervals, which can be convex embedded into a hyperoctahedral group. As an application, we investigate the monomial basis for the Hopf algebra $\mathfrak{H}Sym$ of signed permutations, related to the fundamental basis via Möbius inversion on the weak order on hyperoctahedral groups. It turns out that the image of a monomial basis element under the descent map from $\mathfrak{H}Sym$ to the algebra of type $B$ quasi-symmetric functions is either zero or a monomial quasi-symmetric function of type $B$.

We introduce a new one-variable polynomial invariant of graphs, which we call the skew characteristic polynomial. For an oriented simple graph, this is just the characteristic polynomial of its anti-symmetric adjacency matrix. For nonoriented simple graphs the definition is different, but for a certain class of graphs (namely, for intersection graphs of chord diagrams), it gives the same answer if we endow such a graph with an orientation induced by the chord diagram. We prove that this invariant satisfies Vassiliev's $4$-term relations and determines therefore a finite type knot invariant. We investigate the behaviour of the polynomial with respect to the Hopf algebra structure on the space of graphs and show that it takes a constant value on any primitive element in this Hopf algebra. We also provide a two-variable extension of the skew characteristic polynomial to embedded graphs and delta-matroids. The $4$-term relations for the extended polynomial prove that it determines a finite type invariant of multicomponent links.

We introduce new bases for the Hopf algebra of quasisymmetric functions that refine the symmetric powersum basis. These bases are expanded in terms of quasisymmetric monomial functions by using fillings of matrices. We define the analog of these bases in quasisymmetric functions of non-commuting variables. Our new bases have a (shifted) shuffle product and a deconcatenate coproduct. Finally, we describe a change of basis rule from the quasisymmetric powersum basis to the quasisymmetric fundamental basis.

We develop the theory of weighted P-partitions, which generalises the theory of P-partitions from labelled posets to weighted labelled posets. We define the related generating functions in the natural way and compute their product, coproduct and other properties. As an application we introduce the basis of combinatorial power sums for the Hopf algebra of quasisymmetric functions and the reverse basis, both of which refine the power sum symmetric functions. These bases share many properties with the type 1 and type 2 quasisymmetric power sums introduced by Ballantine, Daugherty, Hicks, Mason and Niese, and moreover expand into the monomial basis of quasisymmetric functions with nonnegative integer coefficients. We prove formulas for products, coproducts and classical quasisymmetric involutions via the combinatorics of P-partitions, and give combinatorial interpretations for the coefficients when expanded into the monomial and fundamental bases.

Lyon's rough paths give an algebraic and analytic framework for Stieltjes integrals in a regime of low regularity where the usual Riemann-Stieltjes integral does not converge. Before we may rigorously define rough paths, we start with the introduction of some basic algebraic terminology. Among them are algebras and coalgebras, two notions which are in some sense dual to each other. As a combination of these notions we obtain bialgebras, and as a special case of them then Hopf algebras, which play a central role in this thesis. After further algebraic preliminaries, we give the examples of Hopf algebras we are interested in. Among them is the example of the polynomial Hopf algebra, whose product is nothing but the usual multiplication of polynomials and whose coproduct can be expressed very simply with the help of a binomial coefficient. We then use the dual pair of tensor Hopf algebras to introduce weakly geometric rough paths, which correspond to notions of Stieltjes integrals satisfying the usual integration by parts rule. For cases like Itô-integration where we need to give up integration by parts, we look at Gubinelli's branched rough paths based on the dual pair of Hopf algebras on trees and forests. Finally, we give some basic concepts of Hairer's theory of regularity structures and use them for a different approach to branched and weakly geometric rough paths. While we first look at a general method described by Hairer to derive a regularity structure from certain Hopf algebras, we then develop a regularity structure based on a formal Picard iteration which is more suitable for dealing with rough differential equations. This work was written as a master's thesis supervised by Peter Friz and Sylvie Paycha and submitted to TU Berlin on July 29 2016. As of 2021, it does not provide novel research material, but can still be used as an algebra-focussed introduction to the subject.

We present a closed formula for all Bern-Carrasco-Johansson (BCJ) numerators describing $D$-dimensional tree-level scattering amplitudes in a heavy-mass effective field theory with two massive particles and an arbitrary number of gluons. The corresponding gravitational amplitudes obtained via the double copy directly enter the computation of black-hole scattering and gravitational-wave emission. Our construction is based on finding a kinematic algebra for the numerators, which we relate to a quasi-shuffle Hopf algebra. The BCJ numerators thus obtained have a compact form and intriguing features: gauge invariance is manifest, locality is respected for massless exchange, and they contain poles corresponding to massive exchange. Counting the number of terms in a BCJ numerator for $n{-}2$ gluons gives the Fubini numbers $\mathsf{F}_{n-3}$, reflecting the underlying quasi-shuffle Hopf algebra structure. Finally, by considering an appropriate factorisation limit, the massive particles decouple, and we thus obtain a kinematic algebra and all tree-level BCJ numerators for $D$-dimensional pure Yang-Mills theory.

We generalize Bruned et.al.'s notion of translation in geometric and branched rough paths to a notion of translation in rough paths over any combinatorial Hopf algebra. We show that this notion of translation is equivalent to two bialgebras being in cointeraction, subject to certain additional conditions. We argue that reformulating translations in terms of substitutions, provides simpler conditions for the cointeraction formulation. For the special case where the translation can be obtained from a product, we show how to obtain a description of the dual coaction. As a concrete example, we describe translations in planarly branched rough paths.

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 prove a formula to express multivariate monotone cumulants of random variables in terms of their moments by using a Hopf algebra of decorated Schröder trees.

The peak algebra is originally introduced by Stembridge using enriched $P$-partitions. Using the character theory by Aguiar-Bergeron-Sottile, the peak algebra is also the image of $Θ$, the universal morphism between certain combinatorial Hopf algebras. We extend the notion of peak algebras and theta maps to shuffle, tensor, and symmetric algebras. As examples, we study the peak algebras of symmetric functions in non-commuting variables and the graded associated Hopf algebra on permutations. We also introduce a new shuffle basis of quasi-symmetric functions that its elements are the eigenfunctions of $Θ$. Using this new basis, we show that the peak algebra is the space spanned by the set of shuffle basis elements indexed by compositions whose all parts are odd.

We propose a quantization algebra of the Loday-Ronco Hopf algebra $k[Y^\infty]$, based on the Topological Recursion formula of Eynard and Orantin. We have shown in previous works that the Loday-Ronco Hopf algebra of planar binary trees is a space of solutions for the genus 0 version of Topological Recursion, and that an extension of the Loday Ronco Hopf algebra as to include some new graphs with loops is the correct setting to find a solution space for arbitrary genus. Here we show that this new algebra $k[Y^\infty]_h$ is still a Hopf algebra that can be seen in some sense to be made precise in the text as a quantization of the Hopf algebra of planar binary trees, and that the solution space of Topological Recursion $\mathcal{A}^h_{\text{TopRec}}$ is a subalgebra of a quotient algebra $\mathcal{A}_{\text{Reg}}^h$ obtained from $k[Y^\infty]_h$ that nevertheless doesn't inherit the Hopf algebra structure. We end the paper with a discussion on the cohomology of $\mathcal{A}^h_{\text{TopRec}}$ in low degree.

We construct three new combinatorial Hopf algebras based on the Loday-Ronco operations on planar binary trees. The first and second algebras are defined on planar trees and labeled planar trees extending the Loday-Ronco and Malvenuto-Reutenauer Hopf algebras respectively. We show that the latter is bidendriform which implies that is also free, cofree, and self-dual. The third algebra involves a new visualization of parking functions as decorated binary trees; it is also bidendriform, free, cofree, and self-dual, and therefore abstractly isomorphic to the algebra PQSym of Novelli and Thibon. We define partial orders on the objects indexing each of these three Hopf algebras, one of which, when restricting to (m+1)-ary trees, coarsens the m-Tamari order of Bergeron and Préville-Ratelle. We show that multiplication of dual fundamental basis elements are given by intervals in each of these orders. Finally, we use an axiomatized version of the techniques of Aguiar and Sottile on the Malvenuto-Reutenauer Hopf algebra to define a monomial basis on each of our Hopf algebras, and to show that comultiplication is cofree on the monomial elements. This in particular, implies the cofreeness of the Hopf algebra on planar trees. We also find explicit positive formulas for the multiplication on monomial basis and a cancellation-free and grouping-free formula for the antipode of monomial elements.

It is well-known that the antipode $S$ of a commutative or cocommutative Hopf algebra satisfies $S^{2}=\operatorname*{id}$ (where $S^{2}=S\circ S$). Recently, similar results have been obtained by Aguiar, Lauve and Mahajan for connected graded Hopf algebras: Namely, if $H$ is a connected graded Hopf algebra with grading $H=\bigoplus_{n\geq0}H_n$, then each positive integer $n$ satisfies $\left( \operatorname*{id}-S^2\right)^n \left( H_n\right) =0$ and (even stronger) \[ \left( \left( \operatorname{id}+S\right) \circ\left( \operatorname{id}-S^2\right)^{n-1}\right) \left( H_n\right) = 0. \] For some specific $H$'s such as the Malvenuto--Reutenauer Hopf algebra $\operatorname{FQSym}$, the exponents can be lowered. In this note, we generalize these results in several directions: We replace the base field by a commutative ring, replace the Hopf algebra by a coalgebra (actually, a slightly more general object, with no coassociativity required), and replace both $\operatorname{id}$ and $S^2$ by "coalgebra homomorphisms" (of sorts). Specializing back to connected graded Hopf algebras, we show that the exponent $n$ in the identity $\left( \operatorname{id}-S^2\right) ^n \left( H_n\right) =0$ can be lowered to $n-1$ (for $n>1$) if and only if $\left( \operatorname{id} - S^2\right) \left( H_2\right) =0$. (A sufficient condition for this is that every pair of elements of $H_1$ commutes; this is satisfied, e.g., for $\operatorname{FQSym}$.)