Abstrakt
Let Addk, N denote the Boolean function which takes as input k strings of N bits each, representing k numbers a(1),MIDLINE HORIZONTAL ELLIPSIS, a(k) in {0,1,MIDLINE HORIZONTAL ELLIPSIS, 2N-1}, and outputs 1 if and only if a(1) +MIDLINE HORIZONTAL ELLIPSIS + a(k) GREATER-THAN OR EQUAL TO 2N. Let MAJt, n denote a monotone unweighted threshold gate, i.e., the Boolean function which takes as input a single string x ELEMENT OF {0,1}n and outputs 1 if and only if x1 +MIDLINE HORIZONTAL ELLIPSIS + xn GREATER-THAN OR EQUAL TO t.
The function Addk,N may be viewed as a monotone function that performs addition, and MAJt, n may be viewed as a monotone gate that performs counting. We refer to circuits that are composed of MAJ gates as monotone majority circuits.
The main result of this paper is an exponential lower bound on the size of bounded-depth monotone majority circuits that compute Addk, N. More precisely, we show that for any constant d GREATER-THAN OR EQUAL TO 2, any depth-d monotone majority circuit that computes Addd, N must have size 2Ω(N1/d).
As Addk, N can be computed by a single monotone weighted threshold gate (that uses exponentially large weights), our lower bound implies that constant-depth monotone majority circuits require exponential size to simulate monotone weighted threshold gates. This answers a question posed by Goldmann and Karpinski (STOC'93) and recently restated by Håstad (2010, 2014).
We also show that our lower bound is essentially best possible, by constructing a depth-d, size-2O(N1/d) monotone majority circuit for Addd, N. As a corollary of our lower bound, we significantly strengthen a classical theorem in circuit complexity due to Ajtai and Gurevich (JACM'87).
They exhibited a monotone function that is in AC0 but requires super-polynomial size for any constant-depth monotone circuit composed of unbounded fan-in AND and OR gates. We describe a monotone function that is in depth-3 AC0 but requires exponential size monotone circuits of any constant depth, even if the circuits are composed of MAJ gates. (C) 2017 ACM.