English
Related papers

Related papers: Clonoids of Boolean functions with a monotone or d…

200 papers

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…

Logic in Computer Science · Computer Science 2020-04-14 Patrick Cegielski , Serge Grigorieff , Irene Guessarian

In this article, we consider the singularity of an arbitrary homogeneous polynomial with complex coefficients $f(x_0,\dots,x_n)$ at the origin of $\mathbb C^{n+1}$, via the study of the monodromy characteristic polynomials $\Delta_l(t)$,…

Algebraic Geometry · Mathematics 2017-11-15 Le Quy Thuong , Nguyen Phu Hoang Lan , Pho Duc Tai

Fomin and Zelevinsky show that a certain two-parameter family of rational recurrence relations, here called the (b,c) family, possesses the Laurentness property: for all b,c, each term of the (b,c) sequence can be expressed as a Laurent…

Combinatorics · Mathematics 2007-05-23 Gregg Musiker , James Propp

Boolean network models have gained popularity in computational systems biology over the last dozen years. Many of these networks use canalizing Boolean functions, which has led to increased interest in the study of these functions. The…

Discrete Mathematics · Computer Science 2015-04-29 Qijun He , Matthew Macauley

In recent years, there has been increasing interest in explanation methods for neural model predictions that offer precise formal guarantees. These include abductive (respectively, contrastive) methods, which aim to compute minimal subsets…

Machine Learning · Computer Science 2023-05-03 Ouns El Harzli , Bernardo Cuenca Grau , Ian Horrocks

The subsumption problem with respect to terminologies in the description logic ALC is EXPTIME-complete. We investigate the computational complexity of fragments of this problem by means of allowed Boolean operators. Hereto we make use of…

Logic in Computer Science · Computer Science 2012-05-04 Arne Meier

We extend to several variables an earlier result of ours, according to which an entire function of one variable of sufficiently small exponential type, having all derivatives of even order taking integer values at two points, is a…

Complex Variables · Mathematics 2021-12-07 Michel Waldschmidt

We present a proof of polynomial identities related to finite analogues of the branching functions of the coset $\widehat{sl(n)_1} \otimes \widehat{sl(n)_1} / \widehat{sl(n)_2}$.

q-alg · Mathematics 2009-10-28 O. Foda , M. Okado , S. O. Warnaar

The associativity property, usually defined for binary functions, can be generalized to functions of a given fixed arity n>=1 as well as to functions of multiple arities. In this paper, we investigate these two generalizations in the case…

Rings and Algebras · Mathematics 2011-03-02 Miguel Couceiro , Jean-Luc Marichal

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them…

Discrete Mathematics · Computer Science 2019-02-19 Valentin Bakoev

It is known that a countable $\omega$-categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone…

Logic · Mathematics 2023-06-22 Manuel Bodirsky , Michael Pinsker , András Pongrácz

We give the cumulative distribution functions, the expected values, and the moments of weighted lattice polynomials when regarded as real functions of independent random variables. Since weighted lattice polynomial functions include…

Probability · Mathematics 2008-02-19 Jean-Luc Marichal

We simplify the proof of some widely used theoretical theorems, extending their applicability, while correcting some erroneous results. We also generalize key results and present new results that contribute to the development of the theory.…

Classical Analysis and ODEs · Mathematics 2025-10-02 V. E. Sándor Szabó

Let $D_n$ denote the set of monotone Boolean functions with $n$ variables. Elements of $D_n$ can be represented as strings of bits of length $2^n$. Two elements of $D_0$ are represented as 0 and 1 and any element $g\in D_n$, with $n>0$, is…

Combinatorics · Mathematics 2023-10-20 Bartłomiej Pawelski , Andrzej Szepietowski

On an infinite base set X, every ideal of subsets of X can be associated with the clone of those operations on X which map small sets to small sets. We continue earlier investigations on the position of such clones in the clone lattice.

Rings and Algebras · Mathematics 2008-07-02 Mathias Beiglböck , Martin Goldstern , Lutz Heindorf , Michael Pinsker

In this note, we establish a functional central limit theorem for the capacity of the range for a class of $\alpha$-stable random walks on the integer lattice $\mathbb{Z}^d$ with $d > 5\alpha/2$. Using similar methods, we also prove an…

Probability · Mathematics 2020-09-16 Wojciech Cygan , Nikola Sandrić , Stjepan Šebek

We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with…

Combinatorics · Mathematics 2024-05-28 Ferdinand Ihringer

The purpose of this article is to investigate the combinatorial properties of the cross section lattice of a $J$-irreducible monoid associated with a semisimple algebraic group of one of the types $A_n$, $B_n$, or $C_n$. Our main tool is a…

Combinatorics · Mathematics 2010-02-05 Mahir Bilen Can

In this work we establish a connection between two classical notions, unrelated so far: Harmonic functions on the one hand and absolutely monotonic functions on the other hand. We use this to prove convexity type and propagation of…

Analysis of PDEs · Mathematics 2015-12-09 Gabor Lippner , Dan Mangoubi

In this paper we offer a definition of monogenicity for functions defined on $\rr^{n+1}$ with values in the Clifford algebra $\rr_n$ following an idea inspired by the recent papers \cite{gs}, \cite{advances}. This new class of monogenic…

Complex Variables · Mathematics 2010-03-30 F. Colombo , I. Sabadini , D. C. Struppa