English
Related papers

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

200 papers

We study the problem of determining the Boolean product of two n\times n Boolean matrices in an unconventional computational model allowing for mechanical operations. We show that O(n^2) operations are sufficient to compute the product in…

Data Structures and Algorithms · Computer Science 2020-05-25 Andrzej Lingas , Mia Persson

We give an estimate for sums appearing in the Nyman-Beurling criterion for the Riemann Hypothesis. These sums contain the M\"obius function and are related to the imaginary part of the Estermann zeta function. The estimate is remarkably…

Classical Analysis and ODEs · Mathematics 2018-06-14 Helmut Maier , Michael Th. Rassias

We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…

Rings and Algebras · Mathematics 2011-02-23 Tamás Waldhauser

Mitsch's natural partial order on the semigroup of binary relations is here characterised by equations in the theory of relation algebras. The natural partial order has a complex relationship with the compatible partial order of inclusion,…

Group Theory · Mathematics 2015-07-21 D. G. FitzGerald

The incidence algebra of a partially ordered set (poset) supports in a natural way also a coalgebra structure, so that it becomes a m-weak bialgebra even a m-weak Hopf algebra with M\"obius function as antipode. Here m-weak means that…

Quantum Algebra · Mathematics 2012-09-20 Dieter Denneberg

We prove Sarnak's M\"obius disjointness conjecture for all unipotent translations on homogeneous spaces of real connected Lie groups. Namely, we show that if $G$ is any such group, $\Gamma\subset G$ a lattice, and $u\in G$ an Ad-unipotent…

Number Theory · Mathematics 2018-11-14 Ryan Peckner

Let $\gcd(m,n)$ denote the greatest common divisor of the positive integers $m$ and $n$, and let $\mu$ represent the M\" obius function. For any real number $x>5$, we define the summatory function of the M\" obius function involving the…

Number Theory · Mathematics 2024-03-06 Isao Kiuchi , Sumaia Saad Eddin

We construct the counter-example for polynomial version of Sarnak's conjecture for minimal systems, which assets that the M\"obius function is linearly disjoint from subsequences along polynomials of deterministic sequences realized in…

Dynamical Systems · Mathematics 2021-05-21 Zhengxing Lian , Ruxi Shi

Given a parametrised weight function $\omega(x,\mu)$ such that the quotients of its consecutive moments are M\"obius maps, it is possible to express the underlying biorthogonal polynomials in a closed form \cite{IN2}. In the present paper…

Classical Analysis and ODEs · Mathematics 2015-06-26 Arieh Iserles , Syvert Paul Nørsett

The question whether a set of formulae G implies a formula f is fundamental. The present paper studies the complexity of the above implication problem for propositional formulae that are built from a systematically restricted set of Boolean…

Computational Complexity · Computer Science 2010-06-02 Olaf Beyersdorff , Arne Meier , Michael Thomas , Heribert Vollmer

We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties…

Rings and Algebras · Mathematics 2015-08-18 Agata Pilitowska , Anna Zamojska-Dzienio

We initiate the effective study of conditional expectations onto subfactors. Our main result is that if $M$ is an existentially closed II$_1$ factor with a w-spectral gap subfactor $N$, then the conditional expectation function onto $N$ can…

Operator Algebras · Mathematics 2020-02-10 Isaac Goldbring

The interval poset of a permutation is the set of intervals of a permutation, ordered with respect to inclusion. It has been introduced and studied recently in [B. Tenner, arXiv:2007.06142]. We study this poset from the perspective of the…

Combinatorics · Mathematics 2024-06-11 Mathilde Bouvel , Lapo Cioni , Benjamin Izart

A conformal structure on a manifold $M^n$ induces natural second order conformally invariant operators, called M\"obius and Laplace structures, acting on specific weight bundles of $M$, provided that $n\ge 3$. By extending the notions of…

Differential Geometry · Mathematics 2015-05-20 Florin Belgun

We consider a multiple arithmetical sum involving the Moebius function which despite its elementary appearance is in fact of a highly intriguing nature. We establish an asymptotic formula for the quadruple case that raises the first…

Number Theory · Mathematics 2007-05-23 Yoichi Motohashi

We study in an explicit manner the partial sums of the multiplicative inverse of the Riemann zeta function and its derivative.

Number Theory · Mathematics 2024-04-25 Florian Daval

If there exists a completely bounded projection of B(H) onto a von Neumann algebra M on H, then M is injective. If there exists a bounded projection and M is properly infinite, the same conclusion holds.

funct-an · Mathematics 2008-02-03 Erik Christensen , Allan M. Sinclair

We introduce the Birkhoff completion as the smallest distributive lattice in which a given finite lattice can be embedded as semi-lattice. We discuss its relationship to implicational theories, in particular to R. Wille's…

Discrete Mathematics · Computer Science 2024-05-07 Mohammad Abdulla , Johannes Hirth , Gerd Stumme

In the present article, we study Bell based Euler polynomial of order {\alpha} and investigate some useful correlation formula, summation formula and derivative formula. Also, we introduce some relation of string number of the second kind.…

Number Theory · Mathematics 2021-04-20 Nabiullah Khan , Saddam Husain

We define analogues of Boolean operations on not necessarily complete partial orders, they often have as results sets of elements rather than single elements. It proves useful to add to such sets X if they are intended to be sup(X) or…

Logic in Computer Science · Computer Science 2018-10-10 Karl Schlechta