Related papers: An Introduction to the Moebius Function
The M\"obius polynomial is an invariant of ranked posets, closely related to the M\"obius function. In this paper, we study the M\"obius polynomial of face posets of convex polytopes. We present formulas for computing the M\"obius…
Recently a new kind of approximation to continuum topological spaces has been introduced, the approximating spaces being partially ordered sets (posets) with a finite or at most a countable number of points. The partial order endows a poset…
The paper presents some results for reducing the computation of the M\"obius functon of a M\"obius category that arises from a combinatorial inverse semigroup to that of locally finite partially ordered sets. We illustrate the computation…
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\"obius inversion to give analogous results which…
Considering a linearly ordered set, we introduce its symmetric version, and endow it with two operations extending supremum and infimum, so as to obtain an algebraic structure close to a commutative ring. We show that imposing symmetry…
Bipartitional relations were introduced by Foata and Zeilberger in their characterization of relations which give rise to equidistribution of the associated inversion statistic and major index. We consider the natural partial order on…
In this paper we describe a novel a procedure to build a linear order from an arbitrary poset which (i) preserves the original ordering and (ii) allows to extend monotonic and antitonic mappings defined over the original poset to monotonic…
We investigate the poset of strata of a Schubert-like stratification of certain natural compactification of the space of hermitian $n\times n$ matrices. We prove that this poset is a modular ortholattice, we compute its M\"{o}bius function…
By using exclusively real analysis, we give explicit estimates of some classical summatory functions involving the M\"obius function.
We show that every complemented modular lattice can be converted into a left residuated lattice where the binary operations of multiplication and residuum are term operations. The concept of an operator left residuated poset was introduced…
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized M\"obius function. Under the product this generalized M\"obius function is a one sided inverse of the zeta function…
Posets are discrete mathematical structures which are ubiquitous in a broad range of data analysis and machine learning applications. Research connecting posets to the data science domain has been ongoing for many years. In this paper, a…
We prove that the M\"obius function is orthogonal to polynomials over $\mathbb{F}_q[x]$ (up to a characteristic condition). We use this orthogonality property to count prime solutions to affine-linear equations of bounded complexity in…
Let $P$ be a locally finite poset with the interval space $\Int(P)$, and $R$ a ring with identity. We shall introduce the M\"{o}bius conjugation $\mu^\ast$ sending each function $f:P\to R$ to an incidence function $\mu^\ast(f):\Int(P)\to R$…
A poset is called upper homogeneous (or "upho") if every principal order filter of the poset is isomorphic to the whole poset. We observe that the rank and characteristic generating functions of upho posets are multiplicative inverses of…
We investigate Sarnak's conjecture on the M\"obius function in the special case when the test function is the indicator of the set of integers for which a real additive function assumes a given value.
We consider two generalizations of Pollack's uncertainty principle for M\"obius inversion to locally finite posets. The first generalization was previously studied by Goh. Here, we provide a simplified sufficient criterion for the…
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\"obius inversion formula, the support of at least one of $f$ and…
We introduce vincular pattern posets, then we consider in particular the quasi-consecutive pattern poset, which is defined by declaring $\sigma \leq \tau$ whenever the permutation $\tau$ contains an occurrence of the permutation $\sigma$ in…