arXiv++ Combinatorics

A minimal presentation of the cohomology ring of the flag manifold $GL_n/B$ was given in [A. Borel, 1953]. This presentation was extended by [E. Akyildiz-A. Lascoux-P. Pragacz, 1992] to a non-minimal one for all Schubert varieties. Work of [Gasharov-Reiner, 2002] gave a short, i.e. polynomial-size, presentation for a subclass of Schubert varieties that includes the smooth ones. In [V. Reiner-A. Woo-A. Yong, 2011], a general shortening was found; it implies an exponential upper bound of $2^n$ on the number of generators required. That work states a minimality conjecture whose significance would be an exponential lower bound of $\sqrt{2}^{n+2}/\sqrt{πn}$ on the number of generators needed in worst case, giving the first obstructions to short presentations. We prove the minimality conjecture. Our proof uses the Hopf algebra structure of the ring of symmetric functions.

We define vertex-colourings for edge-partitioned digraphs, which unify the theory of P-partitions and proper vertex-colourings of graphs. We use our vertex-colourings to define generalized chromatic functions, which merge the chromatic symmetric and quasisymmetric functions of graphs and generating functions of P-partitions. Moreover, numerous classical bases of symmetric and quasisymmetric functions, both in commuting and noncommuting variables, can be realized as special cases of our generalized chromatic functions. We also establish product and coproduct formulas for our functions. Additionally, we construct the new Hopf algebra of r-quasisymmetric functions in noncommuting variables, and apply our functions to confirm its Hopf structure, and establish natural bases for it.

For the Malvenuto-Reutenauer Hopf algebra of permutations, we provide a cancellation-free antipode formula for any permutation of the form $ab1\cdots(b-1)(b+1)\cdots(a-1)(a+1)\cdots n$, which starts with the decreasing sequence $ab$ and ends with the increasing sequence $1\cdots(b-1)(b+1)\cdots(a-1)(a+1)\cdots n$, where $1\leq b<a\leq n$. As a consequence, we confirm two conjectures posed by Carolina Benedetti and Bruce E. Sagan.

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.