arXiv++ Combinatorics

We introduce and analyse a general class of not necessarily bounded multiplicative functions, examples of which include the function $n \mapsto δ^{ω(n)}$, where $δ\neq 0$ and where $ω$ counts the number of distinct prime factors of $n$, as well as the function $n \mapsto |λ_f(n)|$, where $λ_f(n)$ denotes the Fourier coefficients of a primitive holomorphic cusp form. For this class of functions we show that after applying a `$W$-trick' their elements become orthogonal to polynomial nilsequences. The resulting functions therefore have small uniformity norms of all orders by the Green--Tao--Ziegler inverse theorem, a consequence that will be used in a separate paper in order to asymptotically evaluate linear correlations of multiplicative functions from our class. Our result generalises work of Green and Tao on the Möbius function.

In this paper, we investigate the M{ö}bius function $μ\_{\mathcal{S}}$ associated to a (locally finite) poset arising from a semigroup $\mathcal{S}$ of $\mathbb{Z}^m$. We introduce and develop a new approach to study $μ\_{\mathcal{S}}$ by using the Hilbert series of $\mathcal{S}$. The latter enables us to provide formulas for $μ\_{\mathcal{S}}$ when $\mathcal{S}$ belongs to certain families of semigroups. Finally, a characterization for a locally finite poset to be isomorphic to a semigroup poset is given.

We compute the Möbius function for the subgroup lattice of the simple Suzuki group $Sz(q)$; this is used to enumerate normal subgroups of certain Hecke groups with quotients isomorphic to $Sz(q)$.

We establish a broad generalization of Whitney's broken circuit theorem on the chromatic polynomial of a graph to sums of type $\sum_{A\subseteq S} f(A)$ where $S$ is a finite set and $f$ is a mapping from the power set of $S$ into an abelian group. We give applications to the domination polynomial and the subgraph component polynomial of a graph, the chromatic polynomial of a hypergraph, the characteristic polynomial and Crapo's beta invariant of a matroid, and the principle of inclusion-exclusion. Thus, we discover several known and new results in a concise and unified way. As further applications of our main result, we derive a new generalization of the maximums-minimums identity and of a theorem due to Blass and Sagan on the Möbius function of a finite lattice, which generalizes Rota's crosscut theorem. For the classical Möbius function, both Euler's totient function and its Dirichlet inverse, and the reciprocal of the Riemann zeta function we obtain new expansions involving the greatest common divisor resp. least common multiple. We finally establish an even broader generalization of Whitney's broken circuit theorem in the context of convex geometries (antimatroids).

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.

The invertibility of LCM matrices and their Hadamard powers have been studied a lot over the years by many authors. Bourque and Ligh conjectured in 1992 that the LCM matrix $[S]=[[x_i, x_j]]$ on any GCD closed set $S=\{x_1, x_2, \ldots, x_n\}$ is invertible, but in 1997 this was proven false. However, currently there are many open conjectures concerning LCM matrices and their Hadamard powers presented by Hong. In this paper we utilize lattice-theoretic structures and the Möbius function to explain the singularity of classical LCM matrices and their Hadamard powers. At the same time we end up disproving some of Hong's conjectures. Elementary mathematical analysis is applied to prove that for most semilattice structures there exist a set $S=\{x_1, x_2, \ldots, x_n\}$ of positive integers and a real number $α>0$ such that $S$ possesses this structure and the power LCM matrix $[[x_i, x_j]^α]$ is singular.

In these notes we study several categorical generalizations of the Möbius function and discuss the relations between the various approaches. We emphasize the topological and geometric meaning of these constructions.

Let X be a finite set. This paper describes some topological and combinatorial properties of the poset Ω_X of order relations on X. In particular, the homotopy type of all the intervals in Ω_X is precisely determined, and the Möbius function of Ω_X is computed.

We use the Möbius function of the simple Suzuki group Sz(q) to enumerate regular objects such as maps, hypermaps, dessins d'enfants and surface coverings with automorphism groups isomorphic to Sz(q).

The set of all permutations, ordered by pattern containment, is a poset. We give a formula for the Möbius function of intervals $[1,π]$ in this poset, for any permutation $π$ with at most one descent. We compute the Möbius function as a function of the number and positions of pairs of consecutive letters in $π$ that are consecutive in value. As a result of this we show that the Möbius function is unbounded on the poset of all permutations. We show that the Möbius function is zero on any interval $[1,π]$ where $π$ has a triple of consecutive letters whose values are consecutive and monotone. We also conjecture values of the Möbius function on some other intervals of permutations with at most one descent.

The set of all permutations, ordered by pattern containment, forms a poset. This paper presents the first explicit major results on the topology of intervals in this poset. We show that almost all (open) intervals in this poset have a disconnected subinterval and are thus not shellable. Nevertheless, there seem to be large classes of intervals that are shellable and thus have the homotopy type of a wedge of spheres. We prove this to be the case for all intervals of layered permutations that have no disconnected subintervals of rank 3 or more. We also characterize in a simple way those intervals of layered permutations that are disconnected. These results carry over to the poset of generalized subword order when the ordering on the underlying alphabet is a rooted forest. We conjecture that the same applies to intervals of separable permutations, that is, that such an interval is shellable if and only if it has no disconnected subinterval of rank 3 or more. We also present a simplified version of the recursive formula for the Möbius function of decomposable permutations given by Burstein et al.

Let $W$ be a Coxeter group, and for $u,v\in W$, let $R_{u,v}(q)$ be the Kazhdan-Lusztig $R$-polynomial indexed by $u$ and $v$. In this paper, we present a combinatorial proof of the inversion formula on $R$-polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the $R$-polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of $V$-paths. By a $V$-path from $u$ to $v$ with bottom $w$ we mean a pair $(Δ_1,Δ_2)$ of Bruhat paths such that $Δ_1$ is a decreasing path from $u$ to $w$ and $Δ_2$ is an increasing path from $w$ to $v$. We find a reflection principle on $V$-paths, which leads to a combinatorial proof of the inversion formula. Moreover, we give two applications of the reflection principle. First, we restrict this involution to $V$-paths from $u$ to $v$ with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval $[u,v]$ has as many elements of even length as elements of odd length. This property was obtained by Verma in his derivation of the Möbius function of the Bruhat order. Second, using the reflection principle for the symmetric group, we obtain a refinement of the inversion formula by restricting the summation to permutations ending with a given element.

The paper presents some results for reducing the computation of the Möbius functon of a Möbius category that arises from a combinatorial inverse semigroup to that of locally finite partially ordered sets. We illustrate the computation of the Möbius function with an example.

This is a brief survey of some open problems on permutation patterns, with an emphasis on subjects not covered in the recent book by Kitaev, \emph{Patterns in Permutations and words}. I first survey recent developments on the enumeration and asymptotics of the pattern 1324, the last pattern of length 4 whose asymptotic growth is unknown, and related issues such as upper bounds for the number of avoiders of any pattern of length $k$ for any given $k$. Other subjects treated are the Möbius function, topological properties and other algebraic aspects of the poset of permutations, ordered by containment, and also the study of growth rates of permutation classes, which are containment closed subsets of this poset.

Let $S$ be a numerical semigroup and let $\left(\mathbb{Z},\leqslant\_S\right)$ be the (locally finite) poset induced by $S$ on the set of integers $\mathbb{Z}$ defined by $x \leqslant\_S y$ if and only if $y-x\in S$ for all integers $x$ and $y$. In this paper, we investigate the M{ö}bius function associated to $\left(\mathbb{Z},\leqslant\_S\right)$ when $S$ is an arithmetic semigroup.

The $m$-Tamari lattices $\mathcal{T}_{n}^{(m)}$ were recently introduced by Bergeron and Préville-Ratelle as posets on $m$-Dyck paths, and it was shown by Bousquet-Mélou, Fusy and Préville-Ratelle that these lattices form intervals in the classical Tamari lattice $\mathcal{T}_{nm}$. It follows from a theorem by Björner and Wachs and a basic property of EL-shellable posets, that the $m$-Tamari lattices are EL-shellable. In this article, we define a new EL-labeling of the $m$-Tamari lattices completely in terms of $m$-Dyck paths. With the help of this labeling, we compute the values of the Möbius function of $\mathcal{T}_{n}^{(m)}$, and we characterize the intervals of $\mathcal{T}_{n}^{(m)}$ according to their topological properties.

In this article we prove that the lattice of noncrossing partitions is EL-shellable when associated with the well-generated complex reflection group of type $G(d,d,n)$, for $d,n\geq 3$, or with the exceptional well-generated complex reflection groups which are no real reflection groups. This result was previously established for the real reflection groups and it can be extended to the well-generated complex reflection group of type $G(d,1,n)$, for $d,n\geq 3$, as well as to three exceptional groups, namely $G_{25},G_{26}$ and $G_{32}$, using a braid group argument. We thus conclude that the lattice of noncrossing partitions of any well-generated complex reflection group is EL-shellable. Using this result and a construction by Armstrong and Thomas, we conclude further that the poset of $m$-divisible noncrossing partitions is EL-shellable for every well-generated complex reflection group. Finally, we derive results on the Möbius function of these posets previously conjectured by Armstrong, Krattenthaler and Tomie.

We use discrete Morse theory to determine the Möbius function of generalized factor order. Ordinary factor order on the Kleene closure A* of a set A is the partial order defined by letting u\leq w if w contains u as a subsequence of consecutive letters. The Möbius function of ordinary factor order was determined by Björner. Using Babson and Hersh's application of Robin Forman's discrete Morse theory to lexicographically ordered chains, we are able to gain new understanding of Björner's result and its proof. We generalize the notion of factor order to take into account a partial order on the alphabet A and, relying heavily on discrete Morse theory, give a recursive formula in the case where each letter of the alphabet covers a unique letter.

Let P be a poset and let P* be the set of all finite length words over P. Generalized subword order is the partial order on P* obtained by letting u \leq w if and only if there is a subword u' of w having the same length as u such that each element of u is less than or equal to the corresponding element of u' in the partial order on P. Classical subword order arises when P is an antichain, while letting P be a chain gives an order on compositions. For any finite poset P, we give a simple formula for the Mobius function of P* in terms of the Mobius function of P. This permits us to rederive in a easy and uniform manner previous results of Bjorner, Sagan and Vatter, and Tomie. We are also able to determine the homotopy type of all intervals in P* for any finite P of rank at most 1.

We use discrete Morse theory to provide another proof of Bernini, Ferrari, and Steingrimson's formula for the Mobius function of the consecutive pattern poset. In addition, we are able to determine the homotopy type of this poset. Earlier, Bjorner determined the Mobius function and homotopy type of factor order and the results are remarkably similar to those in the pattern case. In his thesis, Willenbring used discrete Morse theory to give an illuminating proof of Bjorner's result. Since our proof parallels Willenbring's, we also consider the relationship between the two posets.