arXiv++ Combinatorics

We establish two expansions of the Potts model partition function of a graph. One is along the deletions of a graph, a rewritten formula given in Biggs (1977). The other is along the contractions of a graph. Then, we specialize the partition function to the chromatic or flow polynomial by the Möbius inversion formula, and prove two known equations of the two polynomials. One expresses the chromatic polynomial as a weighted sum of flow polynomials of deletions, the other expresses the flow polynomial as a weighted sum of chromatic polynomials of contractions. The proof of the former by Biggs formula is due to Bychkov et al. (2021). The two expressions are considered to be dual in the sense of their forms, and transfer to each other with plane duality. This relation also holds in our expansions of the Potts model partition function. We clarify this duality by using matroid duality. Partition functions can be extended to matroids, and the two expansions can also be extended. The two expansions transfer to each other with matroid duality, so in addition to an elementary combinatorial proof of the two, we give another proof by the "duality" relation between them.

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.

We introduce Orthogonal Möbius Inversion $\mathsf{OI}$, a concept analogous to Möbius inversion on finite posets, which is applicable to order-preservings functions from a finite poset to the Grassmannian $\mathsf{Gr}(V)$ of an inner product space $V$. This notion critically relies on the inner product structure on $V$ enabling it to capture much finer information than standard integer-valued persistence diagrams. Orthogonal Inversion is a special case of the broader concept of Orthomodular Inversion, where the target space is any orthomodular lattice, which we also identify. We apply Orthogonal Inversion in order to construct a "non-negative" persistence diagram for any given multiparameter filtration $\mathsf{F}$ of a finite simplicial complex $K$, indexed over an arbitrary finite poset $P$. This is done by applying it to the birth-death spaces of $\mathsf{F}$. Analogously to $1$-parameter classical persistence diagrams, these multiparameter Grassmannian persistence diagrams offer straightforward interpretability. Specifically, to a segment $(b, d) \in \mathsf{Seg}(P)$, (1) the Grassmannian persistence diagram canonically assigns a vector subspace of $C_ρ^K$ consisting of cycles that are born at $b$ and become boundaries at $d$ and (2) this assignment is exhaustive at the homology level. Finally, we relate our Grassmannian persistence diagrams to the recently introduced notion of Möbius homology, thus enhancing its interpretability through the lens of our framework.

Free cumulants are multilinear functionals defined in terms of the moment functional with the use of the family of lattices of noncrossing partitions. In the univariate case, they can be identified with the coefficients of the Voiculescu transform of the moment functional which plays a role similar to that of the logarithm of the Fourier transform. The associated linearization property is connected with free independence. In turn, the family of much smaller lattices of interval partitions is used to define Boolean cumulants connected with Boolean independence. In order to bridge the gap between these two families of lattices and the associated cumulants we introduce and study the family of lattices of noncrossing partitions adapted to Motzkin paths and define the associated operator-valued `Motzkin cumulants'. We prove the corresponding Möbius inversion formula which plays the role of a lattice refinement of the formula expressing free cumulants in terms of Boolean cumulants. We apply this concept to free probability and obtain the additive decomposition of free cumulants in terms of scalar-valued counterparts of Motzkin cumulants.

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 give conditions for a locally finite poset $P$ to have the property that for any functions $f:P\to {\bf C}$ and $g:P\to {\bf C}$ not identically zero and linked by the Möbius inversion formula, the support of at least one of $f$ and $g$ is infinite. This generalises and gives an entirely poset-theoretic proof of a result of Pollack. Various examples and non-examples are discussed.

We introduce a universal approach for applying the partition rank method, an extension of Tao's slice rank polynomial method, to tensors that are not diagonal. This is accomplished by generalizing Naslund's distinctness indicator to what we call a partition indicator. The advantages of partition indicators are two-fold: they diagonalize tensors that are constant when specified sets of variables are equal, and even in more general settings they can often substantially reduce the partition rank as compared to when a distinctness indicator is applied. The key to our discoveries is integrating the partition rank method with Möbius inversion on the lattice of partitions of a finite set. Through this we unify disparate applications of the partition rank method in the literature. We then use our theory to address a finite field analogue of a question of Erdős, thereby generalizing results of Hart and Iosevich and independently Shparlinski. Furthermore we generalize work of Pach, et al. on bounding sizes of sets avoiding right triangles to bounding sizes of sets avoiding right $k$-configurations.

By a {\em Riemann function} we mean a function $f\colon{\mathbb Z}^n\to{\mathbb Z}$ such that $f({\bf d})$ is equals $0$ for $d_1+\cdots+d_n$ sufficiently small, and equals $d_1+\cdots+d_n+C$ for a constant, $C$, for $d_1+\cdots+d_n$ sufficiently large. By adding $1$ to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions. To each Riemann function we associate a related function $W\colon{\mathbb Z}^n\to{\mathbb Z}$ via Möbius inversion that we call the {\em weight} of the Riemann function. We give evidence that the weight seems to organize the structure of a Riemann function in a simpler way: first, a Riemann function $f$ satisfies a Riemann-Roch formula iff its weight satisfies a simpler symmetry condition. Second, we will calculate the weight of the Baker-Norine rank for certain graphs and show that the weight function is quite simple to describe; we do this for graphs on two vertices and for the complete graph. For the complete graph, we build on the work of Cori and Le Borgne who gave a linear time method to compute the Baker-Norine rank of the complete graph. The associated weight function has a simple formula and is extremely sparse (i.e., mostly zero). Our computation of the weight function leads to another linear time algorithm to compute the Baker-Norine rank, via a formula likely related to one of Cori and Le Borgne, but seemingly simpler, namely $$ r_{{\rm BN},K_n}({\bf d}) = -1+\biggl| \biggl\{ i=0,\ldots,{\rm deg}({\bf d}) \ \Bigm| \ \sum_{j=1}^{n-2} \bigl( (d_j-d_{n-1}+i) \bmod n \bigr) \le {\rm deg}({\bf d})-i \biggr\} \biggr|. $$ Our study of weight functions leads to a natural generalization of Riemann functions, with many of the same properties exhibited by Riemann functions.

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$.

Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiabrata, and A. St. Dizier conjectured that $\mathfrak{G}_w$ can be easily computed from $\mathfrak{S}_w$ via Möbius inversion on a certain poset. We prove this conjecture.

We initiate the study of a large class of species monoids and comonoids which come equipped with a poset structure that is compatible with the multiplication and comultiplication maps. We show that if a monoid and a comonoid are related through a Galois connection, then they are dual to each other. This duality is best understood by introducing a new basis constructed through Möbius inversion. We use this new basis to give uniform proofs for cofreeness and calculations of primitives for the Hopf monoids of set partitions, graphs, hypergraphs, and simplicial complexes. Further, we show that the monoid and comonoid of a Hopf monoid are related through a Galois connection if and only if the Hopf monoid is linearized, commutative, and cocommutative. In these cases, we give a grouping-free formula for the antipode in terms of an evaluation of the characteristic polynomial of a related poset. This gives new proofs for the antipodes of the Hopf monoids of graphs, hypergraphs, set partitions, and simplicial complexes.

The Li--Wan sieve is extended to multisets when the underlying set is symmetric. The main ingredient of the proof is the Mobius inversion formula on the poset of partitions of $\{1,2,\dots,k\}$ ordered by refinement. As illustrative applications, we investigate the problems of partitions over finite fields and zero-sum multisets over the additive group $\mathbb{Z}/n\mathbb{Z}$. .

We establish and explore a relationship between two approaches to moment-cumulant relations in free probability theory: on one side the main approach, due to Speicher, given in terms of Möbius inversion on the lattice of noncrossing partitions, and on the other side the more recent non-commutative shuffle-algebra approach, where the moment-cumulant relations take the form of certain exponential-logarithm relations. We achieve this by exhibiting two operad structures on (noncrossing) partitions, different in nature: one is an ordinary, non-symmetric operad whose composition law is given by insertion into gaps between elements, the other is a coloured, symmetric operad with composition law expressing refinement of blocks. We show that these operad structures interact so as to make the corresponding incidence bialgebra of the former a comodule bialgebra for the latter. Furthermore, this interaction is compatible with the shuffle structure and thus unveils how the two approaches are intertwined. Moreover, the constructions and results are general enough to extend to ordinary set partitions.

Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.

This paper traces a straight line from classical Möbius inversion to Hopf-algebraic perturbative renormalisation. This line, which is logical but not entirely historical, consists of just a few main abstraction steps, and some intermediate steps dwelled upon for mathematical pleasure. The paper is largely expository, but contains many new perspectives on well-known results. For example, the equivalence between the Bogoliubov recursion and the Atkinson formula is exhibited as a direct generalisation of the equivalence between the Weisner--Rota recursion and the Hall--Leroux formula for Möbius inversion.

We introduce a notion of antipode for monoidal (complete) decomposition spaces, inducing a notion of weak antipode for their incidence bialgebras. In the connected case, this recovers the usual notion of antipode in Hopf algebras. In the non-connected case it expresses an inversion principle of more limited scope, but still sufficient to compute the Möbius function as $μ= ζ\circ S$, just as in Hopf algebras. At the level of decomposition spaces, the weak antipode takes the form of a formal difference of linear endofunctors $S_{\textrm{even}} - S_{\textrm{odd}}$, and it is a refinement of the general Möbius inversion construction of Gálvez-Kock-Tonks, but exploiting the monoidal structure.

In the same way decomposition spaces, also known as unital 2-Segal spaces, have incidence (co)algebras, and certain relative decomposition spaces have incidence (co)modules, we identify the structures that have incidence bi(co)modules: they are certain augmented double Segal spaces subject to some exactness conditions. We establish a Möbius inversion principle for (co)modules, and a Rota formula for certain more involved structures called Möbius bicomodule configurations. The most important instance of the latter notion arises as mapping cylinders of infinity adjunctions, or more generally of adjunctions between Möbius decomposition spaces, in the spirit of Rota's original formula.

We find the $E$-polynomials of a family of parabolic $\mathrm{Sp}_{2n}$-character varieties $\mathcal{M}^ξ_{n}$ of Riemann surfaces by constructing a stratification, proving that each stratum has polynomial count, applying a result of Katz regarding the counting functions, and finally adding up the resulting $E$-polynomials of the strata. To count the number of $\mathbb{F}_{q}$-points of the strata, we invoke a formula due to Frobenius. Our calculation make use of a formula for the evaluation of characters on semisimple elements coming from Deligne-Lusztig theory, applied to the character theory of $\mathrm{Sp}{\left(2n,\mathbb{F}_{q}\right)}$, and Möbius inversion on the poset of set-partitions. We compute the Euler characteristic of the $\mathcal{M}^ξ_{n}$ with these polynomials, and show they are connected.

Visontai conjectured in 2013 that the joint distribution of ascent and distinct nonzero value numbers on the set of subexcedant sequences is the same as that of descent and inverse descent numbers on the set of permutations. This conjecture has been proved by Aas in 2014, and the generating function of the corresponding bistatistics is the double Eulerian polynomial. Among the techniques used by Aas are the Möbius inversion formula and isomorphism of labeled rooted trees. In this paper we define a permutation code (that is, a bijection between permutations and subexcedant sequences) and show the more general result that two $5$-tuples of set-valued statistics on the set of permutations and on the set of subexcedant sequences, respectively, are equidistributed. In particular, these results give a bijective proof of Visontai's conjecture.

We consider the problem of fast zeta and Möbius transforms in finite posets, particularly in lattices. It has previously been shown that for a certain family of lattices, zeta and Möbius transforms can be computed in $O(e)$ elementary arithmetic operations, where $e$ denotes the size of the covering relation. We show that this family is exactly that of geometric lattices. We also extend the algorithms so that they work in $e$ operations for all semimodular lattices, including chains and divisor lattices. Finally, for both transforms, we provide a more general algorithm that works in $e$ operations for all R-labelable posets and their non-graded generalization, which we call U-labelable.