English
Related papers

Related papers: Clones of Borel Boolean Functions

200 papers

We study generalized regular bent functions using a representation by bent rectangles, that is, special matrices with restrictions on rows and columns. We describe affine transformations of bent rectangles, propose new biaffine and bilinear…

Combinatorics · Mathematics 2008-04-18 Sergey Agievich

We investigate Boolean degree 1 functions for several classical association schemes, including Johnson graphs, Grassmann graphs, graphs from polar spaces, and bilinear forms graphs, as well as some other domains such as multislices (Young…

Combinatorics · Mathematics 2020-10-08 Yuval Filmus , Ferdinand Ihringer

In this paper we classify some special reducts of the countable atomless Boolean algebra which we call functional reducts. We prove that there are exactly $13$ such structures up to first order interdefinability.

Logic · Mathematics 2020-02-06 Bertalan Bodor , Kende Kalina , Csaba Szabó

We argue that it makes sense to talk about ``typical'' properties of lattices, and then show that there is, up to isomorphism, a unique countable lattice L* (the Fraisse limit of the class of finite lattices) that has all ``typical''…

Rings and Algebras · Mathematics 2008-01-09 Martin Goldstern

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $\Gamma$, then its $\Gamma$-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If…

Logic · Mathematics 2021-03-05 Takayuki Kihara , Kenta Sasaki

This paper generalizes the classification in a paper of Dimitrov and Penkov of Borel subalgebras of gl_infty. Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras along inclusions preserving the root…

Representation Theory · Mathematics 2009-11-13 Elizabeth Dan-Cohen

We prove that for any countable finite dimensional CAT(0) cube complex, the Borel median graph on its Roller compactification has the Borel asymptotic dimension bounded from above by its dimension.

Geometric Topology · Mathematics 2025-05-16 Koichi Oyakawa

It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic…

Combinatorics · Mathematics 2015-10-20 Stuart Margolis , John Rhodes , Pedro V. Silva

We consider abelian length categories, a generalization of module categories over Artin algebras. Let $\mathcal{A}$ be an abelian length category of colocal type. We show that the lattice $\mathsf{S}(\mathcal{A})$ of full additive subobject…

Representation Theory · Mathematics 2018-06-26 Apolonia Gottwald

We show that, on any given finite Borel measure space with the ambient space being a Polish metric space, every Borel real-valued function is almost a bounded, uniformly continuous function in the sense that for every $\varepsilon > 0$…

Functional Analysis · Mathematics 2020-08-04 Yu-Lin Chou

Lattice induced threshold function is a Boolean function determined by a particular linear combination of lattice elements. We prove that every isotone Boolean function is a lattice induced threshold function and vice versa. We also…

Rings and Algebras · Mathematics 2013-07-05 Eszter K. Horváth , Branimir Seselja , Andreja Tepavcevic

Inspired by the work of Izakhian and Rhodes, a theory of representation of hereditary collections by boolean matrices is developed. This corresponds to representation by finite $\vee$-generated lattices. The lattice of flats, defined for…

Combinatorics · Mathematics 2012-10-29 John Rhodes , Pedro V. Silva

Let A be a connected hereditary artin algebra. We show that the set of functorially finite torsion classes of A-modules is a lattice if and only if A is either representation-finite (thus a Dynkin algebra) or A has only two simple modules.…

Representation Theory · Mathematics 2014-02-07 Claus Michael Ringel

We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Phi|| for sentences…

Logic · Mathematics 2016-11-16 Douglas Ulrich , Richard Rast , Michael C. Laskowski

We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size…

Logic · Mathematics 2007-05-23 Sebastiaan A. Terwijn

Let $L$ be the distinguished Laplacian on the Iwasawa $AN$ group associated with a semisimple Lie group $G$. Assume $F$ is a Borel function on $\mathbb{R}^+$. We give a condition on $F$ such that the kernels of the functions $F(L)$ are…

Analysis of PDEs · Mathematics 2024-09-05 Yulia Kuznetsova , Zhipeng Song

Let $H$ and $K$ be the bosonizations of the Jordan and super Jordan plane by the group algebra of a cyclic group; the algebra $K$ projects onto an algebra $L$ that can be thought of as the quantum Borel of $\mathfrak{sl}(2)$ at $-1$. The…

Quantum Algebra · Mathematics 2022-08-26 Nicolás Andruskiewitsch , Dirceu Bagio , Saradia Della Flora , Daiana Flôres

We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative…

Rings and Algebras · Mathematics 2022-10-13 Mike Behrisch

Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-$\theta$ bound are considered. Based on a Poincar\'e inequality, existence of a…

Metric Geometry · Mathematics 2017-04-24 Lukáš Malý

In this paper, we consider the characterization of the bentness of quadratic Boolean functions of the form $f(x)=\sum_{i=1}^{\frac{m}{2}-1} Tr^n_1(c_ix^{1+2^{ei}})+ Tr_1^{n/2}(c_{m/2}x^{1+2^{n/2}}) ,$ where $n=me$, $m$ is even and $c_i\in…

Information Theory · Computer Science 2013-08-14 Chunming Tang , Yanfeng Qi