Abstract:We investigate the complexity of uniform OR circuits and AND circuits of polynomial-size and depth. As their name suggests, OR circuits have OR gates as their computation gates, as well as the usual input, output and constant (0/1) gates. As is the norm for Boolean circuits, our circuits have multiple sink gates, which implies that an OR circuit computes an OR function on some subset of its input variables. Determining that subset amounts to solving a number of reachability questions on a polynomial-size directed graph (which input gates are connected to the output gate?), taken from a very sparse set of graphs. However, it is not obvious whether or not this (restricted) reachability problem can be solved, by say, uniform AC^0 circuits (constant depth, polynomial-size, AND, OR, NOT gates). This is one reason why characterizing the power of these simple-looking circuits in terms of uniform classes turns out to be intriguing. Another is that the model itself seems particularly natural and worthy of study. Our goal is the systematic characterization of uniform polynomial-size OR circuits, and AND circuits, in terms of known uniform machine-based complexity classes. In particular, we consider the languages reducible to such uniform families of OR circuits, and AND circuits, under a variety of reduction types. We give upper and lower bounds on the computational power of these language classes. We find that these complexity classes are closely related to tallyNL, the set of unary languages within NL, and to sets reducible to tallyNL. Specifically, for a variety of types of reductions (many-one, conjunctive truth table, disjunctive truth table, truth table, Turing) we give characterizations of languages reducible to OR circuit classes in terms of languages reducible to tallyNL classes. Then, some of these OR classes are shown to coincide, and some are proven to be distinct. We give analogous results for AND circuits. Finally, for many of our OR circuit classes, and analogous AND circuit classes, we prove whether or not the two classes coincide, although we leave one such inclusion open.

A model-theoretic characterization of constant-depth arithmetic circuits

Separation of AC$^0[\oplus]$ Formulas and Circuits

Constant-Depth Arithmetic Circuits for Linear Algebra Problems

Tight Correlation Bounds for Circuits Between AC0 and TC0

Logical characterizations of algebraic circuit classes over integral domains

On the Constant-Depth Circuit Complexity of Generating Quasigroups

Smaller ACC0 Circuits for Symmetric Functions

CC-circuits and the expressive power of nilpotent algebras

Finite models for positive combinatorial and exponential algebra

AND and/or OR: Uniform Polynomial-Size Circuits

Unifying and generalizing known lower bounds via geometric complexity theory

Near-Optimal Lower Bounds on the Threshold Degree and Sign-Rank of AC^0

On the Computational Power of QAC0 with Barely Superlinear Ancillae

Some Lower Bounds in Parameterized AC^0.

On the Pauli Spectrum of QAC0

A Polyhedral Model for Enumeration and Optimization over the Set of Circuits

Low-degree approximation of QAC$^0$ circuits

On the consistency of circuit lower bounds for non-deterministic time

On Acc And Threshold Circuits

Lower Bounds for Symmetric Circuits for the Determinant

Approximation of hyperarithmetic analysis by $ω$-model reflection