English
Related papers

Related papers: Irreducible Boolean Functions

200 papers

This paper is a contribution to the study of a quasi-order on the set $\Omega$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tilde{\Omega}$. Using a two-way…

Combinatorics · Mathematics 2009-03-24 Moncef Bouaziz , Miguel Couceiro , Maurice Pouzet

It was proved few years ago that classes of Boolean functions definable by means of functional equations \cite{EFHH}, or equivalently, by means of relational constraints \cite{Pi2}, coincide with initial segments of the quasi-ordered set…

Combinatorics · Mathematics 2007-05-23 Miguel Couceiro , Maurice Pouzet

Let $\Omega \subset \mathbb{C}^m$ be an open, connected and bounded set and $\mathcal{A}(\Omega)$ be a function algebra of holomorphic functions on $\Omega$. In this article we study quotient Hilbert modules obtained from submodules,…

Functional Analysis · Mathematics 2021-04-06 Prahllad Deb

For a hyperbolic polynomial automorphism of C^2 with a disconnected Julia set, and under a mild dissipativity condition, we give a topological description of the components of the Julia set. Namely, there are finitely many "quasi-solenoids"…

Dynamical Systems · Mathematics 2023-09-26 Romain Dujardin , Mikhail Lyubich

We find all irreducible hypergeometric sheaves whose geometric monodromy group is finite, almost quasisimple and has the projective special linear group $PSL_n(q)$ with $n\geq 3$ as a composition factor. We use the classification of…

Group Theory · Mathematics 2024-07-29 Lee Tae Young

It is shown that the countably infinite dimensional pointed vector space (the vector space equipped with a constant) over a finite field has infinitely many first order definable reducts. This implies that the countable homogeneous…

Logic · Mathematics 2021-04-06 Bertalan Bodor , Peter J. Cameron , Csaba Szabó

The existence of quasi-bi-Hamiltonian structures for a two-dimensional superintegrable $(k_1,k_2,k_3)$-dependent Kepler-related problem is studied. We make use of an approach that is related with the existence of some complex functions…

Mathematical Physics · Physics 2020-02-21 Manuel F. Rañada

We consider certain elliptic modular graph functions that arise in the asymptotic expansion around the non--separating node of genus two string invariants that appear in the integrand of the $D^8 R^4$ interaction in the low momentum…

High Energy Physics - Theory · Physics 2021-02-03 Anirban Basu

We extend the notion of amoeba to holomorphic almost periodic functions in tube domains. In this setting, the order of a function in a connected component of the complement to its amoeba is just the mean motion of this function. We also…

Complex Variables · Mathematics 2007-05-23 S. Favorov

Two linear recurrences exhibit mirror symmetry connecting the constants $e$ and $\pi$. When parametrized, their asymptotic connection constants extend to meromorphic functions satisfying additive functional equations with rational…

Number Theory · Mathematics 2026-01-09 Benoit Cloitre

We study self-adjoint semigroups of partial isometries on a Hilbert space. These semigroups coincide precisely with faithful representations of abstract inverse semigroups. Groups of unitary operators are specialized examples of…

Functional Analysis · Mathematics 2013-06-13 Alexey I. Popov , Heydar Radjavi

For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs…

Group Theory · Mathematics 2025-01-15 Sam Hughes , Eduardo Martínez-Pedroza , Luis Jorge Sánchez Saldaña

We show that the coefficients of the representing polynomial of any monotone Boolean function are the values of the M\"obius function of an atomistic lattice related to this function. Using this we determine the representing polynomial of…

Discrete Mathematics · Computer Science 2024-08-07 Jānis Iraids , Juris Smotrovs

We develop further the consequences of the irreducible-Boolean classification established in Ref. [9]; which have the advantage of allowing strong statistical calculations in disordered Boolean function models, such as the…

Mathematical Physics · Physics 2012-08-03 Martha Takane , Federico Zertuche

We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes.…

Combinatorics · Mathematics 2016-04-04 Jacob White

We survey results for Cameron-Liebler sets and low degree Boolean functions for Hamming graphs, Johnson graphs and Grassmann graphs from the point of view of association schemes. This survey covers selected results in finite geometry,…

Combinatorics · Mathematics 2025-06-05 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 study a non-commutative generalization of Stone duality that connects a class of inverse semigroups, called Boolean inverse $\wedge$-semigroups, with a class of topological groupoids, called Hausdorff Boolean groupoids. Much of the paper…

Category Theory · Mathematics 2012-03-16 Mark V Lawson

A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification…

Combinatorics · Mathematics 2016-11-22 Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel

We study the polyregular string-to-string functions, which are certain functions of polynomial output size that can be described using automata and logic. We describe a system of combinators that generates exactly these functions. Unlike…

Logic in Computer Science · Computer Science 2023-04-27 Mikołaj Bojańczyk
‹ Prev 1 2 3 10 Next ›