arXiv++ Combinatorics

The Poincaré polynomials of the Deligne-Mumford space $\overline{M_{0,n}}$ of stable genus 0 curves have been widely studied by several authors such as Keel and Manin. These polynomials can be computed via a recursive formula that is combinatorial in nature, and their exponential generating functions satisfy elegant functional and differential equations. In this paper, we state some combinatorial formulas to the Poincaré polynomials of Hassett's heavy-light moduli spaces $\overline{M_{0,w_{m,n}}}$, with $m$ heavy marked points and $n-m$ light marked points. We express the Poincaré polynomials recursively in terms of the Möbius function of a certain lattice of set partitions. In the case of $m=2$, we get a Losev-Manin space. We give an explicit formula for the Poincaré polynomial or $\overline{M_{0,w_{2,n}}}$ by counting ordered set partitions; and give a recursive formula for this polynomial similar to that in the setting of $\overline{M_{0,n}}$. We prove this recursive formula using geometric and topological properties of the stratification of Losev-Manin spaces; and use an exponential generating function to simplify this recursive formula. Finally, we give a remarkable generalization to the ordered Bell numbers and a recurrence relation for this generalization.

In this paper, we compute the Möbius function on the set of pseudo-Levi subgroups containing a fixed maximal torus of two families of finite groups, $GL_n(q)$ and $Sp_{2n}(q)$, for some natural number $n$ and a prime power $q$. The Möbius function for the set of pseudo-Levi subgroups of a finite group $G$ is important for an explicit evaluation of the formula expressing the decomposition of tensor products of characters, as proved in Theorem 2 of the paper ''Multiplicity of characters of finite reductive groups and Drinfeld doubles'' [arXiv:2512.01432].

We introduce the priority lattice, a structure arising from the priority search algorithm on rooted trees and forests. We prove bijectively that its maximal chains are labeled by parking functions, and that the maximal chains of its principal ideals are labeled by partial parking functions. We establish that it is a graded lattice and compute its Möbius function and characteristic polynomials.

In this paper, we prove power-saving bounds for the corelation of the Möbius function with polynomial phases of degree $k$ in function fields $\mathbb{F}_p[t]$, when $p > k$. The proof relies on a new approximation result for phases of biased multilinear forms and the recently established strong bounds for the problem of finding bounded codimension varieties inside the dense ones. Along the way, we also obtain polynomial bounds in the inverse theorem for Gowers uniformity norms in the special case of polynomial phases in finite vector spaces.

In a seminal paper of 1915, V. Brun introduced Brun's sieve, which is based on Brun's inequality for the Möbius function and is a very powerful tool in modern number theory. The importance of the Möbius function in enumeration problems led G.-C. Rota to introduce the concept of the Möbius function to partially ordered sets. In this article, we prove Brun's inequality for geometric lattices and develop a sieve in this context. One of the main ingredients is a recent work of K. Adiprasito, J. Huh, and E. Katz on the log-concavity of absolute values of the Whitney numbers associated with matroids. We also study shifted convolutions of the Whitney numbers associated with Dowling lattices. Further, we derive an asymptotic formula for generalized Dowling numbers.

Motivated by the analogy with the Coxeter complex on one side, and parking functions on the other side, we study the poset of parabolic cosets in a finite Coxeter group. We show that this poset is Cohen-Macaulay, and get an explicit formula for the character of its (unique) nonzero homology group in terms of the Möbius function of the intersection lattice. This homology character becomes a positive element of the parabolic Burnside ring (in its natural basis) after tensoring with the sign character. The coefficients of this character essentially encode the colored $h$-vector of the positive chamber complex (following Bastidas, Hohlweg, and Saliola, this complex is defined by taking Weyl chambers that lie on the positive side of a generic hyperplane). Roughly speaking, tensoring by the sign character on one side corresponds to the transformation going from the $f$-vector to the $h$-vector on the other side.

The concept of a matroid quotient has connections to fundamental questions in the geometry of flag varieties. In previous work, Benedetti and Knauer characterized quotients in the class of lattice path matroids (LPMs) in terms of a simple combinatorial condition. As a consequence, they showed that the quotient order on LPMs yields a graded poset whose rank polynomial relates to a refinement of the Catalan numbers. In this work we show that this poset admits an EL-labeling, implying that the order complex is shellable and hence enjoys several combinatorial and topological properties. We use this to establish bounds on the Möbius function of the poset, interpreting falling chains in the EL-labeling in terms of properties of underlying permutations. Furthermore, we show that this EL-labeling is in fact a Whitney labeling, in the sense of the recent notion introduced by González D'León and Hallam.

We focus on a family of subsets $(\F^p_n)_{p\geq 2}$ of Dyck paths of semilength $n$ that avoid the patterns $DUU$ and $D^{p+1}$, which are enumerated by the generalized Fibonacci numbers. We endow them with the partial order relation induced by the well-known Stanley lattice, and we prove that all these posets are sublattices of the Stanley lattice. We provide generating functions for the numbers of linear and boolean intervals and we deduce the Möbius function for every $p\geq 2$. We count meet-irreducible elements in $\FF_n^p$ which establishes a surprising link with the edges of the $(n,p)$-Turán graph. We also prove that intervals are in one-to-one correspondence with bicolored Motzkin paths avoiding some patterns, which allows to enumerate intervals for $p=2$. Using a discrete continuity argument ($p\rightarrow \infty$), we present a similar enumerative study in a poset of some Dyck paths of semilength $n$ counted by $2^{n-1}$. Finally, we give bijections that transport the lattice structure on other combinatorial objects, proving that those lattices can be seen as the well-known dominance order on some compositions.

This paper is a continuation of my paper "Lattices of flats for symplectic matroids". We explore geometric constructions originating from the lattice of flats of ranked symplectic matroids. We observe that a ranked symplectic matroid always sits between two ordinary matroids and use this fact to prove that it has many of the same properties of ordinary matroids. We compute the dimension of its order complex using its Möbius function, We show that its matroid polytope is geometrically defined using its flats and connected to its Bergman fan. We finish by highlighting differences between its toric variety and the toric variety of an ordinary matroid, and give a partial proof of Mason's conjecture for ranked symplectic matroids.

We establish a Crapo complementation formula for the Möbius function $μ^X$ in a general decomposition space $X$ in terms of a convex subspace $K$ and its complement: $μ^X \simeq μ^{X\setminus K} + μ^X*ζ^K*μ^X$. We work at the objective level, meaning that the formula is an explicit homotopy equivalence of $\infty$-groupoids. Almost all arguments are formulated in terms of (homotopy) pullbacks. Under suitable finiteness conditions on $X$, one can take homotopy cardinality to obtain a formula in the incidence algebra at the level of $\mathbb{Q}$-algebras. When $X$ is the nerve of a locally finite poset, this recovers the Björner--Walker formula, which in turn specialises to the original Crapo complementation formula when the poset is a finite lattice. A substantial part of the work is to introduce and develop the notion of convexity for decomposition spaces, which in turn requires some general preparation in decomposition-space theory, notably some results on reduced covers and ikeo and semi-ikeo maps. These results may be of wider interest. Once this is set up, the objective proof of the Crapo formula is quite similar to that of Björner--Walker.

Recently, Merca and Schmidt found some decompositions for the partition function $p(n)$ in terms of the classical Möbius function as well as Euler's totient. In this paper, we define a counting function $T_k^r(m)$ on the set of $n$-color partitions of $m$ for given positive integers $k, r$ and relate the function with the $n$-color partition function and other well-known arithmetic functions like the Möbius function, Liouville function, etc. and their divisor sums. Furthermore, we use a counting method of Erdös to obtain some counting theorems for $n$-color partitions that are analogous to those found by Andrews and Deutsch for the partition function.

We study the poset of d-indivisible noncrossing partitions introduced by Mühle, Nadeau and Williams. These are noncrossing partitions such that each block has cardinality 1 modulo d and each block of the dual partition also has cardinality 1 modulo d. Generalizing the work of Speicher, we introduce a generating function approach to reach new enumerative results and recover some known formulas on the cardinality, the Möbius function and the rank numbers. We compute the antipode of the Hopf algebra of d-indivisible noncrossing partition posets. Generalizing work of Stanley, we give an edge labeling such that the labels of the maximal chains are exactly the d-parking functions. This edge labeling induces an EL-labeling. We also introduce d-parking trees which are in bijective correspondence with the maximal chains.

We define a partial order $\mathcal{P}_n$ on permutations of any given size $n$, which is the image of a natural partial order on inversion sequences. We call this the ``middle order''. We demonstrate that the poset $\mathcal{P}_n$ refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with $\mathcal{P}_n$, and defining a parking function analogue of $\mathcal{P}_n$.

We study the set of networks, which consist of sources, sinks and neutral points, bijective to the permutations. The set of directed edges, which characterizes a network, is constructed from a polyomino or a Rothe diagram of a permutation through a Dyck tiling on a ribbon. We introduce a new combinatorial object similar to a tree-like tableau, which we call a forest. A forest is shown to give a permutation, and be bijective to a network corresponding to the inverse of the permutation. We show that the poset of networks is a finite graded lattice and admits an $EL$-labeling. By use of this $EL$-labeling, we show the lattice is supersolvable and compute the Möbius function of an interval of the poset.

Using the stratifications of Deligne-Mumford moduli spaces $\overline{\mathcal M}_{g,n}$ indexed by stable graphs, we introduce a partially ordered set of stable graphs by defining a partial ordering on the set of connected stable graphs of genus $g$ with $n$ external edges. By modifying the usual definition of zeta function and Möbius function of a poset, we introduce generalized ($\mathbb Q$-valued) zeta function and generalized ($\mathbb Q$-valued) Möbius function of the poset of stable graphs. We use them to proved a generalized Möbius inversion formula for functions on the poset of stable graphs. Two applications related to duality in earlier work are also presented.

A triangular partition is a partition whose Ferrers diagram can be separated from its complement (as a subset of $\mathbb{N}^2$) by a straight line. Having their origins in combinatorial number theory and computer vision, triangular partitions have been studied from a combinatorial perspective by Onn and Sturmfels, and by Corteel et al. under the name plane corner cuts, and more recently by Bergeron and Mazin. In this paper we derive new enumerative, geometric and algorithmic properties of such partitions. We give a new characterization of triangular partitions and the cells that can be added or removed while preserving the triangular condition, and use it to describe the Möbius function of the restriction of Young's lattice to triangular partitions. We obtain a formula for the number of triangular partitions whose Young diagram fits inside a square, deriving, as a byproduct, a new proof of Lipatov's enumeration theorem for balanced words. Finally, we present an algorithm that generates all the triangular partitions of a given size, which is significantly more efficient than previous ones and allows us to compute the number of triangular partitions of size up to $10^5$.

A barcode is a finite multiset of intervals on the real line. Jaramillo-Rodriguez (2023) previously defined a map from the space of barcodes with a fixed number of bars to a set of multipermutations, which presented new combinatorial invariants on the space of barcodes. A partial order can be defined on these multipermutations, resulting in a class of posets known as combinatorial barcode lattices. In this paper, we provide a number of equivalent definitions for the combinatorial barcode lattice, show that its Möbius function is a restriction of the Möbius function of the symmetric group under the weak Bruhat order, and show its ground set is the Jordan-Hölder set of a labeled poset. Furthermore, we obtain formulas for the number of join-irreducible elements, the rank-generating function, and the number of maximal chains of combinatorial barcode lattices. Lastly, we make connections between intervals in the combinatorial barcode lattice and certain classes of matchings.

In this paper, we investigate decompositions of the partition function $p(n)$ from the additive theory of partitions considering the famous Möbius function $μ(n)$ from multiplicative number theory. Some combinatorial interpretations are given in this context. Our work extends several analogous identities proved recently relating $p(n)$ and Euler's totient function $\varphi(n)$. Keywords: Lambert series; Möbius function; $q$-series; partition function

This paper introduces and develops Möbius homology, a homology theory for representations of finite posets into abelian categories. Although the connection between poset topology and Möbius functions is classical, we go further by establishing a direct connection between poset topology and Möbius inversions. In particular, we show that Möbius homology categorifies the Möbius inversion, as its Euler characteristic coincides with the Möbius inversion applied to the dimension function of the representation. We also present a homological version of Rota's Galois Connection Theorem, relating the Möbius homologies of two posets connected by a Galois connection. Our main application concerns persistent homology over general posets. We prove that, under a suitable definition, the persistence diagram arises as an Euler characteristic over a poset of intervals, and thus Möbius homology provides a categorification of the persistence diagram. This furnishes a new invariant for persistent homology over arbitrary finite posets. Finally, leveraging our homological variant of Rota's Galois Connection Theorem, we establish several results about the persistence diagram.

We introduce and study the lattice of generalized partitions, called weighted partitions. This lattice possesses similar properties of the lattice of partitions. By use of the pictorial representation of a weighted partition, the total number is given by the successive Stirling transforms of the Stirling number of the second kind. We construct an explicit $EL$-labeling on the lattice, which implies this lattice is $EL$-shellable and hence shellable. We compute the Möbius function and the characteristic polynomial by use of a pictorial representation of a maximal decreasing chain. Further, a maximal decreasing chain is shown to be bijective to a labeled rooted complete binary tree.