Algorithmica

, Volume 70, Issue 1, pp 47–75

Lower Bounds Against Weakly-Uniform Threshold Circuits

Article

DOI: 10.1007/s00453-013-9823-y

Cite this article as:
Chen, R., Kabanets, V. & Kinne, J. Algorithmica (2014) 70: 47. doi:10.1007/s00453-013-9823-y
  • 110 Downloads

Abstract

An ongoing line of research has shown super-polynomial lower bounds for uniform and slightly-non-uniform small-depth threshold and arithmetic circuits (Allender, in Chicago J. Theor. Comput. Sci. 1999(7), 1999; Koiran and Perifel, in Proceedings of the 24th Annual IEEE Conference on Computational Complexity (CCC 2009), pp. 35–40, 2009; Jansen and Santhanam, in Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), I, pp. 724–735, 2011).

We give a unified framework that captures and improves each of the previous results. Our main results are that Permanent does not have threshold circuits of the following kinds.
  1. (1)

    Depth O(1), no(1) bits of non-uniformity, and size nO(1).

     
  2. (2)

    Depth O(1), polylog(n) bits of non-uniformity, and size s(n) such that for all constants c the c-fold composition of s, s(c)(n), is less than 2n.

     
  3. (3)

    Depth o(loglogn), polylog(n) bits of non-uniformity, and size nO(1).

     
(1) strengthens a result of Jansen and Santhanam (Jansen and Santhanam, in Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), I, pp. 724–735, 2011), who obtained similar parameters but for arithmetic circuits of constant depth rather than Boolean threshold circuits. (2) and (3) strengthen results of Allender (Allender, in Chicago J. Theor. Comput. Sci. 1999(7), 1999) and Koiran and Perifel (Koiran and Perifel, in Proceedings of the 24th Annual IEEE Conference on Computational Complexity (CCC 2009), pp. 35–40, 2009), respectively, who obtained results with similar parameters but for completely uniform circuits. Our main technical contribution is to simplify and unify earlier proofs in this area, and adapt the proofs to handle some amount of non-uniformity. We also develop a notion of circuits with a small amount of non-uniformity that naturally interpolates between fully uniform and fully non-uniform circuits. We use this notion, which we term weak uniformity, rather than the earlier and essentially equivalent notion of succinctness used by Jansen and Santhanam because the notion of weak uniformity more fully and easily interpolates between full uniformity and non-uniformity of circuits.

Keywords

Advice complexity classes Alternating Turing machines Counting hierarchy Permanent Succinct circuits Threshold circuits Uniform circuit lower bounds Weakly-uniform circuits 

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.School of Computing ScienceSimon Fraser UniversityBurnabyCanada
  2. 2.Indiana State UniversityTerre HauteUSA

Personalised recommendations