arXiv++ Combinatorics

Noncommutative multi-indices are noncommutative monomials in a $\mathbb{N}$-indexed family of indeterminates. We define on them a $\mathbb{Z}$-graded operadic structure, with the help of a shifting derivation. Multi-indices of degree 0 are called populated: they form a suboperad, isomorphic to the operad of Novikov algebras. This operadic structure, and the relation between pre-Lie and Novikov algebras, induces two bialgebraic structure in cointeraction on commutative multi-indices. We show how to combinatorially embed this double bialgebra into the Connes-Kreimer Hopf algebra of rooted trees, with its two coproducts based, firstly on cuts, secondly, on contraction of edges, and how this embedding can be characterized by a Dyson-Schwinger equation. We also study the unique polynomial invariant compatible with the two bialgebraic structures on multi-indices and use to describe the antipode for the first coproduct.

The concept of weighted infinitesimal bialgebras provides an algebraic framework for understanding the non-homogeneous associative Yang-Baxter equation. In this paper, we endow the space of decorated planar rooted forests with a two-parameters family of coproducts, making it into a weighted infinitesimal bialgebra. A combinatorial characterization of the coproducts is given via the notion of forest biideals. Furthermore, by constructing a bilinear symmetric form and introducing a new grafting operation on rooted forests, we describe the associated dual products. We also introduce the notion of the pair-weight 1-cocycle condition and investigate the universal properties of decorated planar rooted forests satisfying this condition. This leads to the definition of a weighted $Ω$-cocycle infinitesimal unitary bialgebra. As applications, we identify the initial object in the category of free cocycle infinitesimal unitary bialgebras on undecorated planar rooted forests, corresponding to the well-known noncommutative Connes-Kreimer Hopf algebra. In addition, we establish isomorphisms between different coproduct structures and construct a pre-Lie algebra structure on decorated planar rooted forests.

Cho and van Willigenburg (arXiv:1508.07670) and Alinaeifard, Wang, and van Willgenburg (arXiv:2010.00147) introduce multiplicative chromatic bases for the ring $Λ$ of symmetric functions, consisting of the chromatic symmetric functions (CSFs) of a sequence of connected graphs $G_1,G_2,\dots$ such that $G_n$ has total weight $n$, together with the CSFs of their disjoint unions. In arXiv:1707.04058, Tsujie introduces an alternative ring structure $\widetildeΛ$ on the vector space $Λ$ that makes CSFs multiply over joins instead of over disjoint unions. The $\widetilde{m}_λ$ basis, consisting of all CSFs of weighted cliques, is a multiplicative basis for $\widetildeΛ$, as is the $r_λ$ basis of complete multipartite graphs studied by Penaguiao (arXiv:1803.08824) and Crew and Spirkl (arXiv:2009.14141). We show that one can get more of these "cochromatic bases" (where the starting graphs are combined by joins instead of disjoint unions, hence forming a multiplicative basis for $\widetildeΛ$ instead of $Λ$) if and only if the starting graphs are edgeless. We also show that $\widetildeΛ$ is a Hopf algebra with the same coproduct as $Λ$, and that many of the chromatic bases for $Λ$ generated by cliques can be taken to their corresponding cochromatic bases via Hopf algebra isomorphisms $Λ\to \widetildeΛ.$ We also show that there is a single Hopf algebra morphism taking the CSFs of all unweighted triangle-free graphs to the CSFs of their complements, and we give several more conditions and examples for when one can or cannot find Hopf algebra maps taking the CSFs of certain graphs to the CSFs of their complements. Finally, we show that $K$-analogues of many of the above statements also hold if one instead uses the Kromatic symmetric function (KSF) defined by Crew, Pechenik, and Spirkl (arXiv:2301.02177).

Arborified multiple zeta values are a generalization of multiple zeta values associated with rooted trees. There are two types of decorated rooted trees, corresponding respectively to the series and the integral expressions. Manchon introduces the contracting arborification (resp. the simple arborification), which is maps from the BCK Hopf algebras of the decorated rooted trees corresponding to the series expression (resp. the integral expression) to the non-commutative polynomial algebras of the set $\mathbb{N}$ (resp. the set $\{0,1\}$). There is a natural map between the two non-commutative polynomial algebras. Manchon posed the question of finding a natural map between the two BCK Hopf algebras that would make the diagram commutative. In this paper, we consider planar rooted trees and use a recursive method to construct such a map between the two BCK Hopf algebras, making the diagram commutative.

We extend Wood's graph theoretic interpretation of certain quotients of the mod $2$ dual Steenrod algebra to quotients of the mod $p$ dual Steenrod algebra where $p$ is an odd prime and to quotients of the $C_2$-equivariant dual Steenrod algebra. We establish connectedness criteria for graphs associated to monomials in these algebra quotients and investigate questions about trees and Hamilton cycles in these settings. We also give graph theoretic interpretations of algebraic structures such as the coproduct and antipode arising from the Hopf algebra structure on the mod $p$ dual Steenrod algebra and the Hopf algebroid structure of the $C_2$-equivariant dual Steenrod algebra.

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.

Weight systems are functions on chord diagrams satisfying Vassiliev's $4$-term relations. They originate in the theory of finite type knot invariants. Recent developments in understanding weight systems arising from Lie algebras are based on extending these weight systems from chord diagrams (which can be interpreted as involutions without fixed points, considered modulo cyclic shifts) to arbitrary permutations (also modulo cyclic shifts). We suggest relations for functions on permutations, which generalize Vassiliev's relations. We show that the $gl$- and $so$- weight systems satisfy these relations. We also analyze certain properties of these weight systems and study realted Hopf algebras of permutations.

We study the category of graded Hopf algebras that are free noncommutative, cocommutative, graded and connected from the perspective of the sequences of dimensions of the graded pieces. We show that a Hopf algebra exists with a given sequence of graded dimensions if and only if the ``INVERTi'' transformation of the sequence is nonnegative. We give conditions on the sequences of graded dimensions for two Hopf algebras $H$ and $K$ in this category under which there exists a surjective homomorphism from $H$ to $K$. We also give conditions such that an isomorphic copy of $H$ occurs as a Hopf subalgebra of $K$.

Stanley and Grinberg introduced a symmetric function associated with digraphs and named it the Redei-Berge symmetric function. This function arises from a suitable combinatorial Hopf algebra on digraphs, which made it possible to assign the Redei-Berge function to posets. In this paper, we define a new combinatorial Hopf algebra of posets whose character is a close cousin of the Redei-Berge character for posets. Further, we investigate the properties of the symmetric function that arises from this algebra and explore its expansions in various natural bases of $QSym$ and $Sym$. Finally, we obtain an interesting method for decomposing a poset.

In an earlier paper, two of the authors defined a $5$-vertex Yang-Baxter algebra (a Hopf algebra) which acts on the sum of the equivariant quantum K-rings of Grassmannians $\mathrm{Gr}(k;n)$, where $k$ varies from $0$ to $n$. We construct geometrically defined operators on quantum K-rings describing this action. In particular, the $R$-matrix defining the Yang-Baxter algebra corresponds to the left Weyl group action. Most importantly, we use the `quantum=classical' statement for the quantum K-theory of Grassmannians to prove an explicit geometric interpretation of the action of generators of the Yang-Baxter algebra. The diagonal entries of the monodromy matrix are given by quantum K-multiplications by explicitly defined classes, and the off-diagonal entries by certain push-pull convolutions. We use this to find a quantization of the classes of fixed points in the quantum K-rings, corresponding to the Bethe vectors of the Yang-Baxter algebra. On each of the quantum K-rings, we prove that the two Frobenius structures (one from geometry, and the other from the integrable system construction) coincide. We discuss several applications, including an action of the extended affine Weyl group on the quantum K-theory ring (extending the Seidel action), a quantum version of the localization map (which is a ring homomorphism with respect to the quantum K-product), and a graphical calculus to multiply by Hirzebruch $λ_y$ classes of the dual of the tautological quotient bundle. In an Appendix we illustrate our results in the case when $n=2$.

We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, introduce a pre-Lie formalism of Butcher trees for the approximation of Hamilton-Jacobi solutions on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.

This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity invariance perspective. Based on this, we extend Watatani's finiteness theorem for intermediate subfactors by proving that, under a weak positivity assumption--met by all semisimple tensor categories over the complex field--and a compatibility condition--fulfilled by all pivotal ones--the lattices arising from connected Frobenius algebras are finite. We also derive a non-semisimple version via semisimplification. Our approach relies on the concept of a formal angle, and the extension of key results--such as the planar algebraic exchange relation and Landau's theorems--to linear monoidal categories. Major applications of our findings include a stronger version of the Ino-Watatani result: we show that the finiteness of intermediate C*-algebras holds in a finite-index unital irreducible inclusion of C*-algebras without requiring the simple assumption. Moreover, for a finite-dimensional semisimple Hopf algebra H, we prove that H* is a Frobenius algebra object in Rep(H) and has a finite number of rigid invariant Frobenius subalgebras. Finally, we explore a range of applications, including abstract spin chains, vertex operator algebras and speculations on quantum arithmetic involving the generalization of Ore's theorem, Euler's totient and sigma functions, and RH.

We define two actions of the infinite symmetric group on the set of words on positive integers, called the free and parking quasi-symmetrizing actions, whose invariants are respectively the elements of the Hopf algebras $\textbf{FQSym}^*$ and $\textbf{PQSym}^*$. We study in depth the parking quasi-symmetrizing action by generalizing it to actions with a parameter $r\in(\mathbb{N}\setminus \{0\} )\bigcup\{\infty\}$. We prove that the spaces of the invariants under these $r$-actions form an infinite chain of nested graded Hopf subalgebras of $\textbf{PQSym}^*$. We give some properties of these Hopf algebras including their Hilbert series, a basis, and formulas for their product and coproduct. Finally we look more closely at the case $r=\infty$, obtaining enumerative results related to trees with maximal decreasing subtrees of given sizes.

We introduce a superspace analogue of combinatorial Hopf algebras (Aguiar-Bergeron-Sottile, 2006), and show that the Hopf superalgebra of quasi-symmetric (resp. symmetric) functions in superspace (Fishel-Lapointe-Pinto, 2019) is a terminal object in the category of all (resp. cocommutative) combinatorial Hopf superalgebras. We also introduce a superspace analogue of chromatic symmetric functions of graphs (Stanley, 1995) using the chromatic Hopf superalgebra of two-colored graphs.

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.

Aguiar and Mahajan provided several coalgebra axioms and algebra axioms for a family of left-regular bands to construct a commutative diagram of algebras and coalgebras. In this paper, we will add compatibility axioms to make it a diagram of Hopf algebras.

We study the Laplacian of the undirected De Bruijn graph over an alphabet $A$ of order $k$. While the eigenvalues of this Laplacian were found in 1998 by Delorme and Tillich [1], an explicit description of its eigenvectors has remained elusive. In this work, we find these eigenvectors in closed form and show that they yield a natural and canonical basis for the cut- and cycle-spaces of De Bruijn graphs. Remarkably, we find that the cycle basis we construct is a basis for the cycle space of both the undirected and the directed De Bruijn graph. This is done by developing an analogue of the Fourier transform on the De Bruijn graph, which acts to diagonalize the Laplacian. Moreover, we show that the cycle-space of De Bruijn graphs, when considering all possible orders of $k$ simultaneously, contains a rich algebraic structure, that of a graded Hopf algebra.

Hopf algebroids are generalizations of Hopf algebras to less commutative settings. We show how the comultiplication defined by Kostant and Kumar turns the affine nil Hecke algebra associated to a Coxeter system into a Hopf algebroid without an antipode. The proof relies on mixed dihedral braid relations between Demazure operators and simple reflections. For researchers new to Hopf algebroids we include additional examples from ring theory, representation theory, and algebraic geometry.