loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06)
Lower bounds for circuits with MOD_m gates
Berkeley, California
October 21-October 24
ISBN: 0-7695-2720-5
Arkadev Chattopadhyay, McGill University, Canada
Navin Goyal, McGill University, Canada
Pavel Pudlak, Czech Academy of Sciences, Czech Republic
Denis Therien, McGill University, Canada
Let CC_{o(n)} \left[ m \right] be the class of circuits that have size o(n) and in which all gates are MOD_m gates.

--We show that CC[m] circuits cannot compute MOD_q in sub-linear size when m, q \ge 1 are co-prime integers. No non-trivial lower bounds were known before on the size of CC[m] circuits of constant depth for computing MOD_q. On the other hand, our results show circuits of type MAJ \circ CC_{o(n)} \left[ m \right] need exponential size to compute MOD_q. Using Bourgain's recent breakthrough result on estimates of exponential sums, we extend our bound to the case where small fan-in AND gates are allowed at the bottom of such circuits i.e. circuits of type MAJ \circ CC_{o(n)} \left[ m \right] \circ AND_{ \in \log n,} where \in > 0 is a sufficiently small constant.

--CC[m] circuits of constant depth need superlinear number of wires to compute both the AND and MOD_q functions. To prove this, we show that any circuit computing such functions has a certain connectivity property that is similar to that of superconcentration. We show a superlinear lower bound on the number of edges of such graphs extending results on superconcentrators.

Citation:
Arkadev Chattopadhyay, Navin Goyal, Pavel Pudlak, Denis Therien, "Lower bounds for circuits with MOD_m gates," focs, pp.709-718, 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.