Related papers: The M\"obius Function on Implication sublattices o…

In this paper, we study the sum of additive characters over finite fields, with a focus on those of specified \(\mathbb{F}_q\)-Order. We establish a general formula for these character sums, providing an additive analogue to classical…

Apostol's Mobius functions of order k are generalized to depend on a second integer parameter m. Asymptotic formulas are obtained for the partial sums of these generalized functions.

We investigate the join semilattice of modal operators on a Boolean algebra $B$. Furthermore, we consider pairs $(f,g)$ of modal operators whose supremum is the unary discriminator on $B$, and study the associated bi--modal algebras.

Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as…

For integer $n\geqslant 1$ and real number $z\geqslant 1$, define $M(n,z):=\sum_{d|n,\,d\leqslant z}\mu(d)$ where $\mu$ denotes the M\"obius function. Put ${\cal L}(y):=\exp\left\{(\log y)^{3/5}/(\log_2y)^{1/5}\right\}$ $(y\geqslant 3)$. We…

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…

We consider several distinct characterizations of finite implication algebras. One of these leads to a new characterization of Boolean polymatroids.

In this paper, we investigate the M{\"o}bius function $\mu\_{\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…

We associate to each Boolean function a polynomial whose evaluations represents the distances from all possible Boolean affine functions. Both determining the coefficients of this polynomial from the truth table of the Boolean function and…

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…

We prove an inversion formula for summatory arithmetic functions. As an application, we obtain an arithmetic relationship between summatory Piltz divisor functions and a sum of the M\"obius function over certain integers, denoted by…

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 L be a lattice ordered effect algebra. We prove that the lattice uniformities on L which make uniformly continuous the operations $\ominus$ and $\oplus$ of L are uniquely determined by their system of neighbourhoods of 0 and form a…

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…

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…

We prove that there is a lattice embedded from every countable distributive lattice into the Boolean algebra of computable subsets of $\mathbb{N}$. Along the way, we discuss all relevant results about lattices, Boolean algebras and…

We supplement the Herglotz-Nevanlinna integral representation of so-called Pick functions by adding the formula for M\"obius transforms and the positivity characterization near boundary supports.

For $p_1,...,p_n>0$, let $\mathbb E=\{z\in\mathbb C^n:\sum_{j=1}^n|z_j|^{2p_j}<1\}$ be a complex ellipsoid. We present effective formulas for the generalized M\"obius and Green functions $m_{\mathbb E}(A,\cdot)$, $g_{\mathbb E}(A,\cdot)$ in…

We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…

In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of…