arXiv++ Combinatorics

This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and Möbius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of $\infty$-groupoids. A decomposition space is a simplicial $\infty$-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in Delta. Just as the Segal condition expresses composition, the new condition expresses decomposition, and there is an abundance of examples in combinatorics. After establishing some basic properties of decomposition spaces, the main result of this first paper shows that to any decomposition space there is an associated incidence coalgebra, spanned by the space of 1-simplices, and with coefficients in $\infty$-groupoids. We take a functorial viewpoint throughout, emphasising conservative ULF functors; these induce coalgebra homomorphisms. Reduction procedures in the classical theory of incidence coalgebras are examples of this notion, and many are examples of decalage of decomposition spaces. An interesting class of examples of decomposition spaces beyond Segal spaces is provided by Hall algebras: the Waldhausen S-construction of an abelian (or stable infinity) category is shown to be a decomposition space. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces. Our theory is quite orthogonal to theirs: the definitions are different in spirit and appearance, and the theories differ in terms of motivation, examples and directions.

This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and Möbius inversion, with coefficients in $\infty$-groupoids. A decomposition space is a simplicial $\infty$-groupoid satisfying an exactness condition weaker than the Segal condition. Just as the Segal condition expresses composition, the new condition expresses decomposition. In this paper, we introduce various technical conditions on decomposition spaces. The first is a completeness condition (weaker than Rezk completeness), needed to control simplicial nondegeneracy. For complete decomposition spaces we establish a general Möbius inversion principle, expressed as an explicit equivalence of $\infty$-groupoids. Next we analyse two finiteness conditions on decomposition spaces. The first, that of locally finite length, guarantees the existence of the important length filtration on the associated incidence coalgebra. We show that a decomposition space of locally finite length is actually the left Kan extension of a semi-simplicial space. The second finiteness condition, local finiteness, ensures we can take homotopy cardinality to pass from the level of $\infty$-groupoids to the level of vector spaces. These three conditions - completeness, locally finite length, and local finiteness - together define our notion of Möbius decomposition space, which extends Leroux's notion of Möbius category (in turn a common generalisation of the locally finite posets of Rota et al. and of the finite decomposition monoids of Cartier-Foata), but which also covers many coalgebra constructions which do not arise from Möbius categories, such as the Faà di Bruno and Connes-Kreimer bialgebras. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces.

Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of Möbius decomposition space, a far-reaching generalisation of the notion of Möbius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but is not induced by a Möbius category), can be realised as the homotopy cardinality of a Möbius decomposition space $U$ of all Möbius intervals, and that in a certain sense $U$ is universal for Möbius decomposition spaces and CULF functors.

We give a graded version of the Möbius inversion formula in the framework of trace monoids. The formula is based on a graded version of the Möbius transform, related to the notion of height deriving from the Cartier-Foata normal form of the elements of a trace monoid. Using the notion of Bernoulli measures on the boundary of a trace monoid developped recently, we study a probabilistic interpretation of the graded inversion formula. We introduce Möbius harmonic functions for trace monoids and obtain an integral representation formula for them, analogous to the Poisson formula for harmonic functions associated to random walks on trees.

Consider the vector space $\mathbb{K}\mathcal{P}$ spanned by parking functions. By representing parking functions as labeled digraphs, Hivert, Novelli and Thibon constructed a cocommutative Hopf algebra PQSym$^{*}$ on $\mathbb{K}\mathcal{P}$. The product and coproduct of PQSym$^{*}$ are analogous to the product and coproduct of the Hopf algebra NCSym of symmetric functions in noncommuting variables defined in terms of the power sum basis. In this paper, we view a parking function as a word. We shall construct a Hopf algebra PFSym on $\mathbb{K}\mathcal{P}$ with a formal basis $\{M_a\}$ analogous to the monomial basis of NCSym. By introducing a partial order on parking functions, we transform the basis $\{M_a\}$ to another basis $\{Q_a\}$ via the Möbius inversion. We prove the freeness of PFSym by finding two free generating sets in terms of the $M$-basis and the $Q$-basis, and we show that PFSym is isomorphic to the Hopf algebra PQSym$^{*}$. It turns out that our construction, when restricted to permutations and non-increasing parking functions, leads to a new way to approach the Grossman-Larson Hopf algebras of ordered trees and heap-ordered trees.

We observe that the Connes--Kreimer Hopf-algebraic approach to perturbative renormalisation works not just for Hopf algebras but more generally for filtered bialgebras $B$ with the property that $B_0$ is spanned by group-like elements (e.g. pointed bialgebras with the coradical filtration). Such bialgebras occur naturally both in Quantum Field Theory, where they have some attractive features, and elsewhere in Combinatorics, where they cover a comprehensive class of incidence bialgebras. In particular, the setting allows us to interpret Möbius inversion as an instance of renormalisation.

We introduce the notion of decomposition space as a general framework for incidence algebras and Möbius inversion: it is a simplicial infinity-groupoid satisfying an exactness condition weaker than the Segal condition, which expresses decomposition. We work on the objective level of homotopy linear algebra with coefficients in infinity-groupoids, developed along the way. To any (complete) decomposition space there is associated an incidence (co)algebra (with coefficients in infinity-groupoids), shown to satisfy a sign-free version of the Möbius inversion principle. Examples of decomposition spaces beyond Segal spaces are given by the Waldhausen S-construction and by Schmitt restriction species. Imposing certain homotopy finiteness conditions yields the notion of Möbius decomposition space, an extension of the notion of Möbius category of Leroux. We take a functorial viewpoint throughout, emphasising conservative ULF functors, and show that most reduction procedures in the classical theory are examples of this notion, and in particular that many are examples of decalage of decomposition spaces. Our main theorem concerns the Lawvere-Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but does not come from a Möbius category): we establish that Möbius intervals form a decomposition space, which is in some sense universal. NOTE: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call it unital 2-Segal space. Our theory is quite orthogonal to theirs.

Bell polynomials appear in several combinatorial constructions throughout mathematics. Perhaps most naturally in the combinatorics of set partitions, but also when studying compositions of diffeomorphisms on vector spaces and manifolds, and in the study of cumulants and moments in probability theory. We construct commutative and noncommutative Bell polynomials and explain how they give rise to Faà di Bruno Hopf algebras. We use the language of incidence Hopf algebras, and along the way provide a new description of antipodes in noncommutative incidence Hopf algebras, involving quasideterminants. We also discuss Möbius inversion in certain Hopf algebras built from Bell polynomials.

We develop a general theory of Markov chains realizable as random walks on $\mathscr R$-trivial monoids. It provides explicit and simple formulas for the eigenvalues of the transition matrix, for multiplicities of the eigenvalues via Möbius inversion along a lattice, a condition for diagonalizability of the transition matrix and some techniques for bounding the mixing time. In addition, we discuss several examples, such as Toom-Tsetlin models, an exchange walk for finite Coxeter groups, as well as examples previously studied by the authors, such as nonabelian sandpile models and the promotion Markov chain on posets. Many of these examples can be viewed as random walks on quotients of free tree monoids, a new class of monoids whose combinatorics we develop.

In important work on the parity of the partition function, Ono related values of the partition function to coefficients of a certain mock theta function modulo 2. In this paper, we use Möbius inversion to give analogous results which relate several combinatorial functions via identities rather than congruences.

Realisations of associahedra with linearly non-isomorphic normal fans can be obtained by alteration of the right-hand sides of the facet-defining inequalities from a classical permutahedron. These polytopes can be expressed as Minkowski sums and differences of dilated faces of a standard simplex as described by Ardila, Benedetti & Doker (2010). The coefficients $y_I$ of such a Minkowski decomposition can be computed by Möbius inversion if tight right-hand sides $z_I$ are known not just for the facet-defining inequalities of the associahedron but also for all inequalities of the permutahedron that are redundant for the associahedron. We show for certain families of these associahedra: (a) how to compute tight values $z_I$ for the redundant inequalities from the values $z_I$ for the facet-defining inequalities; (b) the computation of the values $y_I$ of Ardila, Benedetti & Doker can be significantly simplified and at most four values $z_{a(I)}$, $z_{b(I)}$, $z_{c(I)}$ and $z_{d(I)}$ are needed to compute $y_I$; (c) the four indices $a(I)$, $b(I)$, $c(I)$ and $d(I)$ are determined by the geometry of the normal fan of the associahedron and are described combinatorially; (d) a combinatorial interpretation of the values $y_I$ using a labeled $n$-gon. This last result is inspired from similar interpretations for vertex coordinates originally described originally by J.-L. Loday and well-known interpretations for the $z_I$-values of facet-defining inequalities.

We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces a word map from $G^k$ to $G$. We say that $w$ is measure preserving with respect to $G$ if given uniform distribution on $G^k$, the image of this word map distributes uniformly on $G$. It is easy to see that primitive words (words which belong to some basis of the free group) are measure preserving w.r.t. all finite groups, and several authors have conjectured that the two properties are, in fact, equivalent. Here we prove this conjecture. The main ingredients of the proof include random coverings of Stallings graphs, algebraic extensions of free groups, and Möbius inversions. Our methods yield the stronger result that a subgroup of $F_k$ is measure preserving if and only if it is a free factor. As an interesting corollary of this result we resolve a question on the profinite topology of free groups and show that the primitive elements of $F_k$ form a closed set in this topology.

Möbius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying abstract framework. This allows us to compare and contrast the two theories of Möbius inversion for categories, and advance each of them. Among several side benefits is an improved understanding of the following fact: the Euler characteristic of the classifying space of a (suitably finite) category depends only on its underlying graph.

An extension of the Tamari lattice to the multiplihedra is discussed, along with projections to the composihedra and the Boolean lattice. The multiplihedra and composihedra are sequences of polytopes that arose in algebraic topology and category theory. Here we describe them in terms of the composition of combinatorial species. We define lattice structures on their vertices, indexed by painted trees, which are extensions of the Tamari lattice and projections of the weak order on the permutations. The projections from the weak order to the Tamari lattice and the Boolean lattice are shown to be different from the classical ones. We generalize the Tamari lattice to graph tubings--as is also described by Ronco. We review how lattice structures often interact with the Hopf algebra structures, following Aguiar and Sottile who discovered the applications of Mobius inversion on the Tamari lattice to the Loday-Ronco Hopf algebra.

Recent developments in quantum chemistry, perturbative quantum field theory, statistical physics or stochastic differential equations require the introduction of new families of Feynman-type diagrams. These new families arise in various ways. In some generalizations of the classical diagrams, the notion of Feynman propagator is extended to generalized propagators connecting more than two vertices of the graphs. In some others (introduced in the present article), the diagrams, associated to noncommuting product of operators inherit from the noncommutativity of the products extra graphical properties. The purpose of the present article is to introduce a general way of dealing with such diagrams. We prove in particular a "universal" linked cluster theorem and introduce, in the process, a Feynman-type "diagrammatics" that allows to handle simultaneously nonlocal (Coulomb-type) interactions, the generalized diagrams arising from the study of interacting systems (such as the ones where the ground state is not the vacuum but e.g. a vacuum perturbed by a magnetic or electric field, by impurities...) or Wightman fields (that is, expectation values of products of interacting fields). Our diagrammatics seems to be the first attempt to encode in a unified algebraic framework such a wide variety of situations. In the process, we promote two ideas. First, Feynman-type diagrammatics belong mathematically to the theory of linear forms on combinatorial Hopf algebras. Second, linked cluster-type theorems rely ultimately on Möbius inversion on the partition lattice. The two theories should therefore be introduced and presented accordingly

In this paper, we consider multivariate hyperedge elimination polynomials and multivariate chromatic polynomials for hypergraphs. The first set of polynomials is defined in terms of a deletion-contraction-extraction recurrence, previously investigated for graphs by Averbouch, Godlin, and Makowsky. The multivariate chromatic polynomial is an equivalent polynomial defined in terms of colorings, and generalizes the coboundary polynomial of Crapo, and the bivariate chromatic polynomial of Dohmen, Pönitz and Tittman. We show that specializations of these new polynomials recover polynomials which enumerate hyperedge coverings, matchings, transversals, and section hypergraphs. We also prove that the polynomials can be defined in terms of Möbius inversion on the bond lattice of a hypergraph, as well as compute these polynomials for various classes of hypergraphs.

In 1979, Norton showed that the representation theory of the 0-Hecke algebra admits a rich combinatorial description. Her constructions rely heavily on some triangularity property of the product, but do not use explicitly that the 0-Hecke algebra is a monoid algebra. The thesis of this paper is that considering the general setting of monoids admitting such a triangularity, namely J-trivial monoids, sheds further light on the topic. This is a step to use representation theory to automatically extract combinatorial structures from (monoid) algebras, often in the form of posets and lattices, both from a theoretical and computational point of view, and with an implementation in Sage. Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple modules or the radical), we describe how most of the data associated to the representation theory (Cartan matrix, quiver) of the algebra of any J-trivial monoid M can be expressed combinatorially by counting appropriate elements in M itself. As a consequence, this data does not depend on the ground field and can be calculated in O(n^2), if not O(nm), where n=|M| and m is the number of generators. Along the way, we construct a triangular decomposition of the identity into orthogonal idempotents, using the usual Möbius inversion formula in the semi-simple quotient (a lattice), followed by an algorithmic lifting step. Applying our results to the 0-Hecke algebra (in all finite types), we recover previously known results and additionally provide an explicit labeling of the edges of the quiver. We further explore special classes of J-trivial monoids, and in particular monoids of order preserving regressive functions on a poset, generalizing known results on the monoids of nondecreasing parking functions.

The Möbius inversion formula, introduced during the 19th century in number theory, was generalized to a wide class of monoids called locally finite such as the free partially commutative, plactic and hypoplactic monoids for instance. In this contribution are developed and used some topological and algebraic notions for monoids with zero, similar to ordinary objects such as the (total) algebra of a monoid, the augmentation ideal or the star operation on proper series. The main concern is to extend the study of the Möbius function to some monoids with zero, i.e., with an absorbing element, in particular the so-called Rees quotients of locally finite monoids. Some relations between the Möbius functions of a monoid and its Rees quotient are also provided.

The multiplihedra {M_n} form a family of polytopes originating in the study of higher categories and homotopy theory. While the multiplihedra may be unfamiliar to the algebraic combinatorics community, it is nestled between two families of polytopes that certainly are not: the permutahedra {S_n} and associahedra {Y_n}. The maps between these families reveal several new Hopf structures on tree-like objects nestled between the Malvenuto-Reutenauer (MR) Hopf algebra of permutations and the Loday-Ronco (LR) Hopf algebra of planar binary trees. We begin their study here, constructing a module over MR and a Hopf module over LR from the multiplihedra. Rich structural information about this module is uncovered via a change of basis--using Möbius inversion in posets built on the 1-skeleta of the {M_n}. Our analysis uses the notion of an interval retract, which should have independent interest in poset combinatorics. It also reveals new families of polytopes, and even a new factorization of a known projection from the associahedra to hypercubes.

In $\mathcal L$, the semilattice of faces of an $n$-cube, we count the number of automorphisms of $\mathcal L$ that fix a given subalgebra -- either pointwise or as a subalgebra. By using Möbius inversion we get a formula for the number of derangements on the $n$-cube in terms of the Möbius function on the lattice of MR-subalgebras. We compute this Möbius function.