arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2305.07364

Improved Lower Bounds for Monotone q-Multilinear Boolean Circuits

Andrzej Lingas·Mia Persson
View original source ↗Read source document ↗Export metadata ↓

Abstract

A monotone Boolean circuit is composed of OR gates, AND gates and input gates corresponding to the input variables and the Boolean constants. It is $q$-multilinear if for each its output gate $o$ and for each prime implicant $s$ of the function computed at $o$, the arithmetic version of the circuit resulting from the replacement of OR and AND gates by addition and multiplication gates, respectively, computes a polynomial at $o$ which contains a monomial including the same variables as $s$ and each of the variables in $s$ has degree at most $q$ in the monomial. First, we study the complexity of computing semi-disjoint bilinear Boolean forms in terms of the size of monotone $q$-multilinear Boolean circuits. In particular, we show that any monotone $1$-multilinear Boolean circuit computing a semi-disjoint Boolean form with $p$ prime implicants includes at least $p$ AND gates. We also show that any monotone $q$-multilinear Boolean circuit computing a semi-disjoint Boolean form with $p$ prime implicants has $\Omega(\frac p {q^4})$ size. Next, we study the complexity of the monotone Boolean function $Isol_{k,n}$ that verifies if a $k$-dimensional Boolean matrix has at least one $1$ in each line (e.g., each row and column when $k=2$), in terms of monotone $q$-multilinear Boolean circuits. We show that that any $\Sigma_3$ monotone Boolean circuit for $Isol_{k,n}$ has an exponential in $n$ size or it is not $(k-1)$-multilinear.

Explore related subjects

cs.CC

Keep this discovery

BibTeXRIS

Andrzej Lingas, Mia Persson. 2023-05-12. Improved Lower Bounds for Monotone q-Multilinear Boolean Circuits. https://arxiv.org/abs/2305.07364

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC↗
arXiv2026

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC↗