A nonuniform circuit class with multilayer of threshold gates having super quasi polynomial size lower bounds against NEXP

Abstract

Recently, Williams [STOC’14] proved a separation between NEXP and ACC ◦ THR, where an ACC ◦ THR circuit has a single layer of threshold gates at the bottom and an ACC circuit at the top. Two main ideas of his strategy are a closure property of circuit class and an algorithm for counting satisfying assignments of circuits. In this paper, we show that this general scheme based on these two ideas can be applied for a certain class of circuits with multi layer of threshold gates. The circuit class we give has the symmetric gate at the top and poly-log layers of threshold gates to which an extra condition on the dependency is imposed. Two gates in a circuit are dependent, if the output of the one is always greater than or equal to the other one. An independent gate set is a set of gates in which two arbitrary gates are not dependent. We show that, if the size of a maximum independent gate set of each layer of threshold gates is at most n γ for sufficiently small γ > 0, then two key ingredients needed to apply his strategy can be established. Namely, (i) we can efficiently find a circuit in our class being equivalent to the AND of two input circuits in our class, and (ii) we can construct a faster than brute-force algorithm for counting satisfying assignments for this class by introducing a partial order to represent the dependency of gates. As a result, we give super quasi-polynomial size lower bounds for our class against NEXP.