English
Related papers

Related papers: Functional reducts of Boolean algebras

200 papers

We present new algorithms to compute fundamental properties of a Boolean function given in truth-table form. Specifically, we give an O(N^2.322 log N) algorithm for block sensitivity, an O(N^1.585 log N) algorithm for `tree decomposition,'…

Computational Complexity · Computer Science 2007-05-23 Scott Aaronson

An algebraic structure with two constants and one ternary operation, which is not completely commutative, is put forward to accommodate ternary Boolean algebras. When the ternary operation is interpreted as Church's conditioned disjunction,…

Rings and Algebras · Mathematics 2022-03-16 J. P. Fatelo , N. Martins-Ferreira

We study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We…

Representation Theory · Mathematics 2025-09-16 Geoffrey Powell

Idempotent Boolean functions form a highly structured subclass of Boolean functions that is closely related to rotation symmetry under a normal-basis representation and to invariance under a fixed linear map in a polynomial basis. These…

Cryptography and Security · Computer Science 2026-02-03 Claude Carlet , Marko Ðurasevic , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

We classify Nichols algebras of irreducible Yetter-Drinfeld modules over nonabelian groups satisfying an inequality for the dimension of the homogeneous subspace of degree two. All such Nichols algebras are finite-dimensional, and all known…

Quantum Algebra · Mathematics 2011-05-31 M. Graña , I. Heckenberger , L. Vendramin

In this paper, we count all non-isomorphic lattices on $n$ elements, containing four reducible elements and having nullity three. This work is in respect of Birkhoff's open problem (which is NP-complete) of counting all finite lattices on…

Combinatorics · Mathematics 2025-09-26 Ashok Nivrutti Bhavale

How many endomorphisms does a Boolean algebra have? Can we find Boolean algebras with as few endomorphisms as possible? Of course from any ultrafilter of the Boolean algebra we can define an endomorphism, and we can combine finitely many…

Logic · Mathematics 2011-05-20 Saharon Shelah

The main result of the paper establishes the irreducibility of a large family of nonzero central charge induced modules over Affine Lie algebras for any non standard parabolic subalgebra. It generalizes all previously known partial results…

Representation Theory · Mathematics 2018-04-09 Vyacheslav Futorny , Iryna Kashuba

We introduce the notion of amenability for affine algebras. We characterize amenability by Folner-sequences, paradoxicality and the existence of finitely invariant dimension-measures. Then we extend the results of Rowen on ranks, from…

Rings and Algebras · Mathematics 2007-05-23 Gabor Elek

In this paper, Lie conformal superalgebras of rank (2 + 1) are completely classified (up to isomorphism) and their automorphism groups are determined. Furthermore, we give the classification of the finite irreducible conformal modules over…

Rings and Algebras · Mathematics 2025-05-07 Jinrong Wang , Xiaoqing Yue

Although algebraic structures are frequently analyzed using unary and binary operations, they can also be effectively defined and unified through ternary operations. In this context, we introduce structures that contain two constants and a…

Rings and Algebras · Mathematics 2024-10-31 Jorge Fatelo , Nelson Martins-Ferreira

In this article, we give a full description of the Wadge degrees of Borel functions from $\omega^\omega$ to a better quasi ordering $\mathcal{Q}$. More precisely, for any countable ordinal $\xi$, we show that the Wadge degrees of…

Logic · Mathematics 2017-05-23 Takayuki Kihara , Antonio Montalbán

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

Logic · Mathematics 2016-02-02 Tapani Hyttinen , Vadim Kulikov , Miguel Moreno

We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of…

Operator Algebras · Mathematics 2015-03-13 Ilijas Farah , Andrew S. Toms , Asger Törnquist

In this paper, we introduce a class of infinite Lie conformal algebras $\mathfrak{B}(\alpha,\beta,p)$, which are the semi-direct sums of Block type Lie conformal algebra $\mathfrak{B}(p)$ and its non-trivial conformal modules of $\Z$-graded…

Representation Theory · Mathematics 2020-07-21 Haibo Chen , Yanyong Hong , Yucai Su

The problem of finding graph structure of functions commuting with a given function in terms of their functional graphs is considered. Structure of functional graphs of commuting functions is described. The problem is reduced to describing…

Combinatorics · Mathematics 2015-01-05 Peteris Daugulis

Functional integrals are defined in terms of locally compact topological groups and their associated Banach-valued Haar integrals. This approach generalizes the functional integral scheme of Cartier and DeWitt-Morette. The definition allows…

Mathematical Physics · Physics 2015-01-08 J. LaChapelle

We classify finite irreducible conformal modules over a class of infinite Lie conformal algebras ${\frak {B}}(p)$ of Block type, where $p$ is a nonzero complex number. In particular, we obtain that a finite irreducible conformal module over…

Rings and Algebras · Mathematics 2017-12-20 Yucai Su , Chunguang Xia , Lamei Yuan

This paper studies partitions in the space of antimonotonic boolean functions on sets of n elements. The antimonotonic functions are the antichains of the partially ordered set of subsets. We analyse and characterise a natural partial…

Number Theory · Mathematics 2011-03-16 Patrick De Causmaecker , Stefan De Wannemacker

We study the finite basis problem for $4$-element additively idempotent semirings whose additive reducts have two minimal elements and one coatom. Up to isomorphism, there are $112$ such algebras. We show that $106$ of them are finitely…

Group Theory · Mathematics 2025-09-23 Miaomiao Ren , Zexi Liu , Mengya Yue , Yizhi Chen